Условие:
Если завтра будет холодно и рукав будет почищен, то я надену теплое пальто. Завтра будет холодно, а рукав не будет почищен. Следовательно, я не надену теплое пальто.
Решение:
Пусть H – «завтра будет холодно», C – «рукав будет почищен», W – «я надену теплое пальто». Из условия следует утверждение в виде импликации: если H и C, то W, то есть (H ∧ C) → W.
Чтобы доказать, что из того, что H истинно, а C ложно, следует ¬W, рассмотрим следующий ход рассуждений.
- Из условного утверждения (H ∧ C) → W читаем, что для того чтобы я надел теплое пальто (W) должно выполняться одновременно и H, и C.
- По дополнительным предпосылкам нам известно, что H истинно («завтра будет холодно»), а C ложно («рукав не будет почищен»...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи