Условие задачи
Формализовать высказывание.
“Если оделся тепло, то не замерзнешь. Если же замерзнешь, то не оделся тепло. Тогда, или не замерзнешь, или не оделся тепло. Но, не замерзнешь и оделся тепло это не одно и тоже, даже если верно, что не оделся тепло”.
Ответ
Выделим атомы:
x: оделся тепло
y: замерзнешь
Формализуем каждое предложение в отдельности с учетом зафиксированных атомов.
1. Если оделся тепло, то не замерзнешь
2. Если же замерзнешь, то не оделся тепло
Потяни
