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

Определение

📌 Дизъюнктивное суждение – это сложное суждение, в котором части соединены союзом «или» (∨).

Пример:
✅ «Завтра будет солнечно или пойдет дождь.»

Виды дизъюнкции

1. Не строгая (логическая дизъюнкция, слабая дизъюнкция)

  • Истинна, если хотя бы одно из суждений истинно.
  • Ложна, если оба суждения ложны.
P Q P ∨ Q
И И И
И Л И
Л И И
Л Л Л

 

📌 Пример:

  • «Я куплю чай или кофе» – даже если куплю и чай, и кофе, высказывание будет истинным.

2. Строгая (исключающая дизъюнкция, жесткая дизъюнкция, XOR)

  • Истинна, если только одно из суждений истинно.
P Q P ⊕ Q
И И Л
И Л И
Л И И
Л Л Л

 

📌 Пример:

  • «Я куплю чай или кофе, но не оба сразу» – если куплены оба напитка, высказывание ложное.