Неімплікація

Матеріа́льна неімпліка́ція (англ. material nonimplication) або аб'ю́нкція (англ. abjunction, від лат. ab — «з», junctio — «сполучення») — це заперечення логічної імплікаціі. Тобто, для будь-яких двох висловлень P та Q неімплікація з P до Q є істинною тоді й лише тоді, коли істинним є заперечення імплікації з P до Q. Природніше це формулюється як те, що неімплікація з P до Q є істинною лише якщо P є істинним, а Q — хибним.

Діаграма Венна до ${\displaystyle A\nrightarrow B}$

${\displaystyle \land }$ ${\displaystyle \Leftrightarrow }$ ${\displaystyle \Leftrightarrow \neg }$

Її можна записувати із застосуванням логічних позначень як

p⊅q

Lpq

p↛q

І вона є рівнозначною до

p∧~q