Дизъюнкция

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

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

Дизъюнкция (Конт-Спонвиль, 2012)

ДИЗЪЮНКЦИЯ (DISJONCTION). Разделение, разъединение. В логике дизъюнкцией называют высказывание, состоящее из двух или более частей, соединенных раздели-тельным союзом «или»: «р или q» — дизъюнкция. Различают эксклюзивный и инклюзивный виды дизъюнкции. Эксклюзивная дизъюнкция объединяет несовместимые высказывания: «или р, или q». Она истинна, если истинно одно, и только одно, из составляющих ее высказываний (если истинны все или несколько составляющих дизъюнкцию высказываний, такая дизъюнкция ложна). Инклюзивная дизъюнкция объединяет высказывания, которые оба могут быть истинными.

Дизъюнкция (Фролов, 1991)

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