Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Разделительные (дизъюнктивные) суждения.

Получить выполненную работу или консультацию специалиста по вашему учебному проекту
Узнать стоимость

Разделительным (дизъюнктивным) называется суждение, выражаемое формулой вида (А Ú В) (нестрогая дизъюнкция) или (А º В) (строгая дизъюнкция).

В нестрого разделительном суждении утверждается об истинности по крайней мере одного из дизъюнктов. Например: “Подозреваемый является организатором или исполнителем преступления.” .

В строго разделительном суждении утверждается об истинности только одного из дизъюнктов. Например: “Подозреваемый является либо организатором, либо исполнителем преступления.” .

Простые суждения “Подозреваемый является организатором преступления.” и ”Подозреваемый является исполнителем преступления.” называются дизъюнктами данного разделительного высказывания.

Дизъюнкция (как и конъюнкция) имеет свойства:

(а) симметричность: (А Ú В) равносильно (В Ú А);

(б) ассоциативность: ((А Ú В) Ú С) равносильно (А Ú (В Ú С)).

Кроме того, дизъюнкция и конъюнкция обладают свойством дистрибутивности относительно друг друга, то есть:

((А Ú В) & С) равносильно ((А & С) Ú (В & С));

((А & В) Ú С) равносильно ((А Ú С) & (В Ú С)).

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные корректировки и доработки. Узнайте стоимость своей работы.

В естественном языке нестрогая дизъюнкция выражается, как правило, союзом “или”, а строгая дизъюнкция — союзами “либо... , либо...”, ”или... , или...”.