Правильный вывод: 4. Ни один овощ не является вкусной едой.
Пошаговое решение:
- Перепишем условия более формально:
- А: Вся вкусная еда часто вредна для здоровья. Можно трактовать как: если что-то вкусное, то оно часто вредно (T -> O, где O = «часто вредно»).
- В: Ни один овощ не вреден для здоровья. Можно трактовать как: если что-то овощ, то оно не вредно (V -> ¬H).
Связь между O и H: если что-то часто вредно, то в общем случае вредно. То есть «часто вредно» подразумевает «вредно» в контексте логики рассуждений. Это позволяет использовать контрапозицию: если не часто вредно, то не вкусно (¬O -> ¬T).
Применим контрапозицию к А с учётом В: из В следует ¬H для всех овощей. Тогда можно сделать вывод ¬O (поскольку если что-то часто вредно, то оно вредно, а у овощей вредности нет). Поэтому для любых овощей выполняется не часто вредно, следовательно не вкусно: ¬O -> ¬T. Следовательно, овощи не вкусны.
Следствие в вариантах: варианты 1 и 4 формулируют одно и то же утверждение «Все/ни один овощ не вкусен». Вариант 2 противоречит B (утверждает вкусность овощей), а вариант 3 утверждает, что всё вредное относится к вкусной еде, чего из A следовать не может.
Итого, правильный выбор: 4. Ни один овощ не является вкусной едой.