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

Правильный вывод: Ни один овощ не является вкусной едой. (вариант 4) Пошагово: - Переформулируем суждения: - А: Вся вкусная еда вредна для здоровья. Пусть T — вкусная еда, H — вредно для здоровья. Тогда T -> H. - Б: Ни один овощ не вреден для здоровья. Пусть V — овощ, тогда для любого x: V(x) -> not H(x). - Предположим обратное: существует овощ x, который вкусный, т.е. V(x) и T(x). - Но из А следует H(x) (поскольку T(x) и T -> H). - Это противоречит Б (для овоща не вредно, т.е. not H(x)). - Следовательно, такой овощ не существует: для всех x, если V(x), то не T(x). То есть ни один овощ не вкусен. - Это и есть вывод: "Ни один овощ не является вкусной едой" (вариант 4). Также это эквивалентно варианту 1: "Все овощи не являются вкусной едой." Однако выбираем конкретно вариант 4. Дополнительно: - Вариант 3 не следует из заданных суждений: не доказано, что всё вредное обязательно вкусное. - Вариант 2 противоречит полученному выводу.