Условие:
Определить значение формулы вида
(((В ⊃ А) ∨ (┐С & (А ∨ ┐В))) ↓ ┐ ((В ∨ А) ⊃ (С ≡ ┐В))) ≡ ((А ⊃ ┐ В) ┐ (В & С)),
если А – «Киев расположен на реке Днепр», В – «Все медведи живут в лесу», С – «Существует наибольшее простое число».
Решение:
А – «Киев расположен на реке Днепр» – истинно (Т).
В – «Все медведи живут в лесу» – истинно (Т).
С – «Существует наибольшее простое число» – ложно (Л).
Теперь подставим эти значения в формулу и будем вычислять шаг за шагом.
- Рассмотрим первую часть формулы: (В ⊃ А).
В ⊃ А = Л ⊃ Т = Т (импликация истинна, если следствие истинно).
- Теперь вычислим вторую часть: (┐С & (А ∨ ┐В)).
┐С = ┐Л = Т.
┐В = ┐Т = Л.
А ∨ ┐В = Т ∨ Л = Т.
Следоват...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи