логічна операція, за допомогою якої з двох висловлювань утворюється умовне висловлювання за схемою: «Якщо..., то»
