Философская энциклопедия - дизъюнкция

ДИЗЪЮНКЦИЯ

ДИЗЪЮНКЦИЯ

(от лат. disjunctio — разобщение, обособление), в широком смысле — сложное высказывание, образованное из двух или более предложений с помощью союза «или», выражающего альтернативность, или выбор.

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

пропозициональные связки. Традиционно принято отличать рассмотренную (нестрогую) Д. от строгой (разделительной) Д., для крой характерно то, что соответствующее высказывание истинно при условии, когда истинен один и только один дизъюнктивный член.

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

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

.