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