ДИЗЪЮНКЦИЯ

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

см. к ст. Логика высказываний.