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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Діаграма Венна до 

Venn0101.svg Venn1100.svg Venn0100.svg Venn1011.svg

Матеріа́льна неімпліка́ція (англ. 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)

Див. також[ред. | ред. код]

Примітки[ред. | ред. код]