Каталог статей
| Главная » Статьи » Алгебра высказываний |
Если я пойду завтра на первое занятие (А), то должен буду встать рано (В). А → В. Если я пойду вечером на танцы (С), то лягу спать поздно (D). С → D. Если я лягу поздно (D), а встану рано (Е), то буду вынужден обойтись пятью часами сна (F). (D ˄ Е) → F. Значит, я должен или пропустить завтра первое занятие (А), или не ходить на танцы (С). (А ˅ С ). Схема рассуждения (А → В) ˄ (С → D) ˄ [(D ˄ Е) → F] → (А ˅ С ). ∑= (А → В) ˄ (С → D) ˄ [(D ˄ Е) → F]. ∑→ (А ˅ С ). А → В. С → D. (D ˄ Е) → F. --------------- А ˅ С.
Схема вывода ложна. А → В. (=1) С → D. (=1) (D ˄ Е) → F. (=1) ----------------- А ˅ С. (=1 или =0) | ||||
| Категория: Алгебра высказываний | Добавил: алхимик (13.12.2022) | ||||
| Просмотров: 83 | ||||
| Всего комментариев: 0 | |
