Дизъюнкция

Дизъюнкция — это логическая операция, принятая в формализованных языках (см. Язык формализованный) для образования сложных высказываний (формул) из элементарных (простых) высказываний (см. Высказывание) и по смыслу эквивалентная нестрогому союзу «или» в естественном языке (см. Язык). Дизъюнкция читается: «A или B»; записывается: A ⋁ B; другое название дизъюнкции: логическое сложение. Употреблению дизъюнкции в математической логике соответствует истинностная таблица:

Из таблицы видно, что высказывание A ⋁ B считается ложным лишь в том случае, когда его посылка истинна, а заключение ложно.

Дизъюнкция может быть бинарной операцией (иметь два операнда), тернарной операцией (иметь три операнда), или n-арной операцией (иметь n операндов), но на практике операции более, чем бинарные, используются очень редко.

Понятие дизъюнкции сформировалось в процессе обособления языка логики и его последующей символизации (см. Логика символическая). В классической логике (см. Логика), формальной логике (см. Логика формальная), языках формальных теорий (см. Формализация) и языках программирования дизъюнкция составляет одну из пяти наиболее распространённых логических связок, или логических операций (см. Логические операции), наряду с конъюнкцией (см. Конъюнкция), импликацией (см. Импликация), эквиваленцией (см. Эквиваленция) и отрицанием (см. Отрицание).