IMPLYIES

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