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