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

Дано две суждения: - A: Вся вкусная еда вредна для здоровья. Формально: T(x) → H(x). - B: Ни один овощ не вреден для здоровья. Формально: O(x) → ¬H(x). Из A следует контрапозиция: ¬H(x) → ¬T(x). Теперь применим это к овощам: - из B следует: O(x) → ¬H(x). - по контрапозиции A: ¬H(x) → ¬T(x). Соединяя: O(x) → ¬T(x). Значит, ни один овощ не является вкусной едой. Правильный выбор: 4. Ни один овощ не является вкусной едой. Дополнительно заметка: это же следует и из варианта 1 (Все овощи не являются вкусной едой) — они эквивалентны в рамках классической логики. Но чаще ожидают именно формулировку 4. Почему варианты 2 и 3 неверны: - 2: Все овощи являются вкусной едой — противоречит выводу O(x) → ¬T(x). - 3: Все то, что вредно для здоровья, — вкусная еда — напрямую не следует из dadoй пары суждений.