В логике составное высказывание с союзом «или» называется дизъюнкцией. Согласно правилам логики, такое высказывание считается истинным, если истинна хотя бы одна из его частей (или обе сразу), и ложным только в том случае, когда ложны обе его части. Ниже приведены подробные примеры классификации таких высказываний. Истинные составные высказывания Чтобы высказывание было истинным, достаточно выполнения хотя бы одного условия.
- Обе части истинны:
«Число 10 является четным или число 10 делится на 5».
(Оба простых высказывания верны, значит, все выражение истинно). - Первая часть истинна, вторая ложна:
«Земля вращается вокруг Солнца или Луна сделана из сыра».
(Первое утверждение верно, что делает все высказывание истинным, несмотря на абсурдность второго). - Первая часть ложна, вторая истинна:
«Пингвины умеют летать или киты живут в воде».
(Первое утверждение ложно, но наличие истинного второго утверждения делает общую фразу правдивой). - Математический пример (нестрогая дизъюнкция):
« » (читается как: больше 5 или равно 5).
При это высказывание истинно.
Ложные составные высказывания Составное высказывание с союзом «или» становится ложным только тогда, когда оба входящих в него утверждения не соответствуют действительности.
- Пример из географии:
«Париж является столицей Японии или Рим находится в Бразилии».
(Обе части ложны, следовательно, все высказывание ложно). - Пример из биологии:
«Муравьи — это млекопитающие или рыбы дышат легкими на суше».
(Ни одно из условий не является верным). - Математический пример:
«Число 7 четное или число 7 меньше 3».
(Оба суждения ложны, поэтому дизъюнкция ложна).
Сводная таблица истинности для союза «или» Для наглядности можно использовать таблицу, где и — простые высказывания, а — истина, — ложь.
| Высказывание A | Высказывание B | Результат (A ИЛИ B) | Статус |
|---|---|---|---|
| Истина (1) | Истина (1) | Истина (1) | Истинное |
| Истина (1) | Ложь (0) | Истина (1) | Истинное |
| Ложь (0) | Истина (1) | Истина (1) | Истинное |
| Ложь (0) | Ложь (0) | Ложь (0) | Ложное |
Я могу составить аналогичный список примеров для логического союза «и» (конъюнкции), если это необходимо для сравнения.