Дизъюнкция (Ильичёв, 1983)

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

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