Разделительным (дизъюнктивным) называется суждение, выражаемое формулой вида (А Ú В) (нестрогая дизъюнкция) или (А º В) (строгая дизъюнкция).
В нестрого разделительном суждении утверждается об истинности по крайней мере одного из дизъюнктов. Например: “Подозреваемый является организатором или исполнителем преступления.” .
В строго разделительном суждении утверждается об истинности только одного из дизъюнктов. Например: “Подозреваемый является либо организатором, либо исполнителем преступления.” .
Простые суждения “Подозреваемый является организатором преступления.” и ”Подозреваемый является исполнителем преступления.” называются дизъюнктами данного разделительного высказывания.
Дизъюнкция (как и конъюнкция) имеет свойства:
(а) симметричность: (А Ú В) равносильно (В Ú А);
(б) ассоциативность: ((А Ú В) Ú С) равносильно (А Ú (В Ú С)).
Кроме того, дизъюнкция и конъюнкция обладают свойством дистрибутивности относительно друг друга, то есть:
((А Ú В) & С) равносильно ((А & С) Ú (В & С));
((А & В) Ú С) равносильно ((А Ú С) & (В Ú С)).
В естественном языке нестрогая дизъюнкция выражается, как правило, союзом “или”, а строгая дизъюнкция — союзами “либо… , либо…”, ”или… , или…”.