Операція імплікації

Однією з важливих операцій логіки висловлень є імплікація. Ця операція позначається «». Імплікація визначається наступним чином:

Імплікацією висловлень А і В називається таке висловлення, яке є хибним лише тоді, коли антецедент (перша частина імплікації – висловлення А) є істинним, а консеквент (друга частина імплікації – висловлення В) – хибним, в усіх інших випадках висловлення AB є істинним. Таблиця істинності імплікації подана нижче.