Дизъюнкция

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

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

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