implyies

Лог. влечет a — b implyies ac — bc — из a — b следует, что ac — bc this formula implyies — из этой формулы следует, что — a implyies b — properly implyies — tautologically implyies — theorem implyies — this implyies