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