[лат. disjunctio]логическая операция, образующая сложное высказывание из объединения двух высказываний с помощью логического союза .