IMPLYIES

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