Условие:
Докажи теорему A → B, (B ∧ C) → (C ∧ A) Используй аксиомы теоремы правила дедукции и вывода.
Решение:
Для доказательства теоремы
Доказательство:
-
Дано:
- Предположим, что
(предположение 1). - Предположим, что
(предположение 2).
- Предположим, что
-
Найти:
- Доказать, что из этих предположений следует, что
.
- Доказать, что из этих предположений следует, что
3....
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи