Задача Задача №3549466
А
А
Ответ: 4 (и, фактически, 1 тоже является эквивалентом этой формулировки).
Пошаговое объяснение:
- Обозначим: T(x) — x вкусная еда, H(x) — x вредна для здоровья, V(x) — x является овощем.
- Заданное A: для всех x, если T(x), то H(x). (Вся вкусная еда вредна для здоровья.)
- Заданное B: для всех x, если V(x), то не H(x). (Ни один овощ не вреден для здоровья.)
- Из A следует контрапозиция: для всех x, если не H(x), то не T(x). То есть не вредная пища не может быть вкусной.
- Применяем к овощам: если V(x), тогда не H(x) (из B). По контрапозиции A это означает не T(x).
- Следовательно, для всех x, если V(x), то не T(x). То есть все овощи не являются вкусной едой.
Таким образом, вывод: ни один овощ не является вкусной едой. (Это соответствует варианту 4; варианты 1 и 4 эквивалентны по смыслу.)