Дизъюнкция

Дизъюнкция (от латинского disjunctio - различие) — логическая операция (соединение) двух простых высказываний A и B в одно составное с помощью союза "или", употребляемого в неисключающем смысле, называется логическим сложением или дизъюнкцией, а полученное составное высказывание - логической суммой. Например, возьмем два высказывания: "Мел черный" - (А). "Доска черная" - (В). Высказывание "Мел черный или доска черная" будет истинным, т.к. одно из исходных высказываний (В) истинно. Получаем определение функции Дизъюнкции: Дизъюнкцией двух высказываний называется такое новое высказывание, которое истинно тогда и только тогда, когда истинно хотя бы одно из этих высказываний.
Дизъюнкцию высказываний А и В обозначается символом А V В и читатся: А или В. Определение дизъюнкции может быть записано в виде таблицы истинности:

Определение дизъюнкции двух высказываний естественным образом распространяется на любое конечное число составляющих: дизъюнкция А1 V А2 V А3 V...V АN истинна тогда и только тогда, когда истинно хотя бы одно из высказываний А1, А2, А3, ..., АN (а следовательно, ложна, когда ложны все эти высказывания).

Свойства дизъюнкции:



Ссылки:
1. http://www.iteach.ru/
2. http://www.websib.ru
3. http://logika.doco.ru/.