Дизъюнкция (лат.
— разделять) — логическая операция, образующая сложное высказывание из
объединения двух высказываний с помощью логического союза «или». Символическая
запись: А V В (читается А или В). В классической математической логике
различают два вида Д.: нестрогая (соединительная) и строгая (разделительная).
Нестрогая Д. образует сложное высказывание, к-рое истинно тогда, когда истипно
хотя бы одно пз входящих в него высказываний, и ложно тогда, когда ложны все
входящие в него высказывания. В естественном языке примерно соответствует
неразделительному значению союза «или». Строгая Д. образует сложное
высказывание, истинное только в том случае, когда истинен лишь один из его
членов. В естественном языке примерно соответствует разделительному значению
союза «или» (в значении «либо, либо»).