Разделительное (дизъюктивное) суждение, его строение и условия истинности

Разделительное суждение или дизъюнкция (от лат. disjunction – разобщение)

Используется союз или (либо).

Поскольку союз или (либо) употребляется в естественном языке в двух значениях – соединительно-разъединительном и исключающе-разделительном, то следует различать и два типа дизъюнкции:

    1. слабую (нестрогую) и
    2. сильную (строгую).

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

Например: «Ученик может допустить в диктанте орфографическую или пунктуационную ошибку».

В данном примере два простых суждения, соединенных между собой союзом или:

  1. «Ученик может допустить в диктанте орфографическую ошибку»,
  2. «Ученик может допустить в диктанте пунктуационную ошибку».

Поскольку ученик может допустить в диктанте либо только орфографическую, либо только пунктуационную ошибку, либо и ту, и другую – это суждение является слабой дизьюнкцией. Члены подобного суждения не исключают друг друга.

Слабая дизъюнкция обозначается знаком «v».

Схема суждения «а v в» читается «А или В».

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

Например: «Человек либо жив, либо мертв».

В данном примере два простых суждения, соединенных между собой союзом либо:

  1. «Человек жив»,
  2. «Человек мертв».

Строгая дизъюнкция обозначается галочкой с точкой наверху. Суждение читается: «либо А, либо Б». Члены строгой дизъюнкции исключают друг друга, поэтому называются альтернативами.

Условия истинности разделительного суждения

Слабая дизъюнкция

 Суждение «а» Суждение «в» «а v в»
истинно истинно истинно
истинно ложно истинно
ложно истинно истинно
ложно ложно ложно

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

Правило истинности слабой дизъюнкции:

  • слабая дизъюнкция истинна всегда, кроме случая ложности всех членов.

Строгая дизъюнкция

 Суждение «а» Суждение «в» «а ⊕ в»
истинно истинно ложно
истинно ложно истинно
ложно истинно истинно
ложно ложно ложно


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

Правило истинности строгой дизъюнкции:

  • строгая дизъюнкция истинна только при разном значении членов.
1 1 1 1 1 1 1 1 1 1

Нормативные правовые акты в Российской Федерации

Постановление Пленума Верховного Суда Российской Федерации от 25 декабря 2018 года № 50 "О практике рассмотрения судами дел об оспаривании нормативных правовых актов и актов, содержащих разъяснения законодательства и обладающих нормативными свойствами"

Постановление Пленума Верховного Суда Российской Федерации от 25 декабря 2018 года № 49 "О некоторых вопросах применения общих положений Гражданского кодекса Российской Федерации о заключении и толковании договора"

Постановление Пленума Верховного Суда Российской Федерации от 25 декабря 2018 года № 48 "О некоторых вопросах, связанных с особенностями формирования и распределения конкурсной массы в делах о банкротстве граждан"

Постановление Пленума Верховного Суда Российской Федерации от 25 декабря 2018 года № 46 "О некоторых вопросах судебной практики по делам о преступлениях против конституционных прав и свобод человека и гражданина (статьи 137, 138, 138.1, 139, 144.1, 145, 145.1 Уголовного кодекса Российской Федерации)"

Постановление Пленума ВС РФ от 29 ноября 2018 года № 41 "О судебной практике по уголовным делам о нарушениях требований охраны труда, правил безопасности при ведении строительных или иных работ либо требований промышленной безопасности опасных производственных объектов"

Согласно Федеральному закону от 28.11.2018 N 451-ФЗ "О внесении изменений в отдельные законодательные акты Российской Федерации" пересмотрен порядок разрешения гражданских и административных дел в судах (со дня начала деятельности кассационных судов общей юрисдикции и апелляционных судов общей юрисдикции, но не позднее 1 октября 2019 года).