Перегляд вихідного коду сторінки Неімплікація

{{Картка:Логічний сполучник
| title        = 
| other titles = NIMPLY
| Venn diagram = Venn0100.svg
| definition   = <math>a \nrightarrow b</math>
| truth table  = <math>(0100)</math>
| logic gate   = Puerta NCM.svg
| DNF          = <math>a \cdot \overline{b}</math>
| CNF          = <math>a \cdot \overline{b}</math>
| Zhegalkin    = <math>a \oplus ab</math>
| 0-preserving = {{aye}}
| 1-preserving = {{n&}}
| monotone     = {{n&}}
| affine       = {{n&}}
| self-dual    = {{n&}}
}}
[[Файл:Venn0100.svg|міні|240x240пкс|[[Діаграма Венна]]&nbsp;до <math>A \nrightarrow B</math><br/>
<br/>
[[Файл:Venn0101.svg|32x32пкс]] <math>\land</math> [[Файл:Venn1100.svg|32x32пкс]] <math>\Leftrightarrow</math> [[Файл:Venn0100.svg|40x40пкс]] <math>\Leftrightarrow \neg</math> [[Файл:Venn1011.svg|32x32пкс]] ]]
'''Матеріа́льна неімпліка́ція''' ({{lang-en|material nonimplication}}) або '''аб'ю́нкція''' ({{lang-en|abjunction}}, від {{lang-la|ab}}&nbsp;— «з», ''junctio''&nbsp;— «сполучення»)&nbsp;— це [[заперечення]] [[Логічна імплікація|логічної імплікації]]. Тобто, для будь-яких двох [[Висловлення|висловлень]] P та Q неімплікація з P до Q є істинною [[тоді й лише тоді]], коли істинним є заперечення імплікації з P до Q. Природніше це формулюється як те, що неімплікація з P до Q є істинною лише якщо P є істинним, а Q&nbsp;— хибним.

Її можна записувати із застосуванням логічних позначень як
:: '''p⊅q'''
:: '''Lpq'''
:: '''p↛q'''
І вона є рівнозначною до
:: '''p∧~q'''

== Визначення ==

=== Таблиця істинності ===
{{2-ary truth table|<!-- T=1|F=0| -->0|0|1|0|<math>A \nrightarrow B</math>}}

== Властивості ==
'''збереження хибності''': Інтерпретація, за якої всім змінним призначено [[значення істинності]] «хиба», в результаті неімплікації дає значення істинності «хиба».

== Символ ==
Символом неімплікації є просто перекреслений символ імплікації. Її символом в [[Юнікод]]і є 8603 (десятковий).

== Природна мова ==

=== Граматична ===

=== Риторична ===
«p, але не q.»

== Булева алгебра ==
{{Докладніше|Булева алгебра}}
(A'+B)'

== Інформатика ==
Побітова операція: A&(~B)

Логічна операція: A&&(!B)

== Див. також ==
* [[Логічна імплікація]]

== Примітки ==
{{Примітки}}

{{Без джерел|дата=червень 2017}}

{{Логічні операції}}


{{Математика-доробити}}
{{Логіка-доробити}}

[[Категорія:Незавершені статті з логіки]]
[[Категорія:Логічні операції]]