Логика
Свежая лекция в текстовом виде.
6. Разделительное (дизъюнктивное) суждение
Определение
📌 Дизъюнктивное суждение – это сложное суждение, в котором части соединены союзом «или» (∨).
Пример:
✅ «Завтра будет солнечно или пойдет дождь.»
Виды дизъюнкции
1. Не строгая (логическая дизъюнкция, слабая дизъюнкция)
- Истинна, если хотя бы одно из суждений истинно.
- Ложна, если оба суждения ложны.
| P | Q | P ∨ Q |
|---|---|---|
| И | И | И |
| И | Л | И |
| Л | И | И |
| Л | Л | Л |
📌 Пример:
- «Я куплю чай или кофе» – даже если куплю и чай, и кофе, высказывание будет истинным.
2. Строгая (исключающая дизъюнкция, жесткая дизъюнкция, XOR)
- Истинна, если только одно из суждений истинно.
| P | Q | P ⊕ Q |
|---|---|---|
| И | И | Л |
| И | Л | И |
| Л | И | И |
| Л | Л | Л |
📌 Пример:
- «Я куплю чай или кофе, но не оба сразу» – если куплены оба напитка, высказывание ложное.