Задание: Имеется два суждения. Какой вывод можно сделать, опираясь только на эти два суждения? Выберите один вариант из четырех. А. Вся вкусная еда часто вредна для здоровья. Б. Ни один овощ не вреден для здоровья. Все овощи не являются вкусной едой; Все овощи являются вкусной едой; Все то, что вредно для здоровья - вкусная еда; Ни один овощ не является вкусной едой;

Ответ: 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 эквивалентны по смыслу.)