ДИЗЪЮНКЦИЯ и СЛОЖЕНИЕ ПО МОДУЛЮ 2 (Логическое сложение)
(от лат. disjunctio — разобщение, обособление, различие), в естественном языке соответствует союзу или, выражающего альтернативность, или выбор.
В алгебре логики дизъюнкция это операция логики, отражающая употребление союза "или" в содержательных логических выводах. Различают соединительный ("или А, или В, или и то и другое вместе") и исключающий ("или А, или В, но не то и другое вместе") смысл союза "или". В традиционной логике это различие влечет выделение соединительно-разделительных и исключающе-разделительных суждений, в математической логике – различение слабой дизъюнкции (неразделительной дизъюнкции, или просто дизъюнкции) и сильной дизъюнкцией (разделительной, или сложение по модулю 2). В классической двузначной логике высказываний слабую дизъюнкцию можно рассматривать как операцию образования из произвольных высказываний А и В такого сложного высказывания которое истинно, если, и только если, истинно по крайней мере одно из составляющих высказываний, а сильную дизъюнкцию – как операцию образования такого высказывания, которое истинно, если истинно одно, и только одно, из высказываний А и В, и ложно в остальных случаях.
Обозначение
Слабую дизъюнкцию обычно обозначают А/В, А˅В, или А+В что читается "А или В"
Сильную – обозначают А +2 В или А ≠ В, читается "либо А, либо В". Запись может быть префиксной ("польская запись") - знак операции ставится перед операндами (≠(А,В)), инфиксной - знак операции ставится между операндами (А ≠ В) и постфиксной - знак операции ставится после операндов (А,В)≠. При числе операндов более 2-х префиксная и постфиксная записи экономичнее инфиксной записи.
| Дизъюнкция | ||||||||||||||||
| Таблица истинности | Диаграмма Эйлера-Венна | |||||||||||||||
| 
|
| Сложение по модулю 2 | ||||||||||||||||
| Таблица истинности | Диаграмма Эйлера-Венна | |||||||||||||||
| 
|
| Сложение по модулю 2 для трех понятий | |||||||||||||||||||||||||||||||||||||
| Таблица истинности | Диаграмма Эйлера-Венна | ||||||||||||||||||||||||||||||||||||
| 
|
ИНВЕРСИЯ (Отрицание)
(от лат. inversio переворачивание, перестановка) В естественном языке соответствует словам неверно, что... или частице не;
В логике — специальная логическая операция. В зависимости от местоположения различают внешнее и внутреннее отрицание, свойства и роли которых существенно различаются.
1. Внешнее отрицание (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем утверждается отсутствие положения дел, описываемого в отрицаемом высказывании. Традиционно отрицательное высказывание считается истинным, если, и только если, отрицаемое высказывание ложно. В естественном языке отрицание обычно выражается оборотом «неверно, что», за которым следует отрицаемое высказывание. В классической логике высказываний формула -А истинна тогда и только тогда, когда формула А ложна.
2. Внутреннее отрицание входит в состав простого высказывания. Различают отрицание в составе связки (отрицательная связка) и терминное отрицание
Отрицание в составе связки выражается с помощью частицы «не», стоящей перед глаголом-связкой (если он имеется) или перед смысловым глаголом. Оно служит для выражения суждений об отсутствии каких-то отношений («Иван не знает Петра»), или для образования отрицательной предицирующей (высказывающей) связки в составе категорических атрибутивных суждений. Терминное отрицание используется для образования негативных терминов. Оно выражается через приставку «не» или близкие ей по смыслу («Все неспелые яблоки — зеленые»).
Обозначение
Для обозначений отрицания обычно используются символы «-» или «».
| Таблица истинности | Диаграмма Эйлера-Венна | ||||||
| 
|