Условие:
Если студенты освоят теоретический материал, то решат эту задачу. Студенты, без сомнения, не освоили теоретический материал. Значит, они не решат эту задачу.
Решение:
- Формализация высказываний.
Обозначим:
A – "студенты освоили теоретический материал".
B – "студенты решат задачу".
Тогда данное рассуждение можно записать в виде посылок и заключения:
Посылка 1: Если A, то B, что записывается как A → B.
Посылка 2: ¬A.
Заключение: ¬B.
Таким образом, формула аргумента выглядит как: ((A → B) ∧ ¬A) → ¬B.
- Построение таблицы истинности.
Рассмотрим все варианты значений A и B:
A | B | A → B | ¬A | ¬B | (A → B) ∧ ¬A | ((A → B) ∧ ¬A) →...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи