Операция дизъюнкции, или дизъюнкция высказываний
Высказывание С, составленное из двух высказываний А, В при помощи союза «или», называют дизъюнкцией (логической суммой) этих высказываний: (выражение читается: «А или В»).
Сумма является истинным высказыванием тогда, когда, по крайней мере, одно из слагаемых истинно.
Таблица истинности для операции дизъюнкции:
А | В | |
Пусть, например, , . Тогда высказывание или – истинно, т.к. истинно каждое из высказываний А и В, составляющих высказывание С.
Операцию дизъюнкции можно определить и для нескольких высказываний как связку высказываний, объединённых союзом «или»:
А = Аi ; где i = 1; 2; …; n
В этом случае высказывание А истинно, если истинно хотя бы одно из высказываний, входящих в связку.
Дата добавления: 2014-11-29; просмотров: 860;