Неімплікація
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/240px-Venn0100.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Venn0101.svg/32px-Venn0101.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/31/Venn1100.svg/32px-Venn1100.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/40px-Venn0100.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1e/Venn1011.svg/32px-Venn1011.svg.png)
Матеріа́льна неімпліка́ція (англ. material nonimplication) або аб'ю́нкція (англ. abjunction, від лат. ab — «з», junctio — «сполучення») — це заперечення логічної імплікації. Тобто, для будь-яких двох висловлень P та Q неімплікація з P до Q є істинною тоді й лише тоді, коли істинним є заперечення імплікації з P до Q. Природніше це формулюється як те, що неімплікація з P до Q є істинною лише якщо P є істинним, а Q — хибним.
Її можна записувати із застосуванням логічних позначень як
- p⊅q
- Lpq
- p↛q
І вона є рівнозначною до
- p∧~q
p | q | ↛ |
---|---|---|
І | І | Х |
І | Х | І |
Х | І | Х |
Х | Х | Х |
збереження хибності: Інтерпретація, за якої всім змінним призначено значення істинності «хиба», в результаті неімплікації дає значення істинності «хиба».
Символом неімплікації є просто перекреслений символ імплікації. Її символом в Юнікоді є 8603 (десятковий).
«p, але не q.»
(A'+B)'
Побітова операція: A&(~B)
Логічна операція: A&&(!B)
Ця стаття не містить посилань на джерела. (червень 2017) |
![]() |
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |
![]() |
Це незавершена стаття з логіки. Ви можете допомогти проєкту, виправивши або дописавши її. |