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

Вот подробное решение с пояснениями. Даны две суждения (пprüche): A. Некоторые виды спорта являются командными играми. B. Все виды спорта развивают тело. Цель: найти вывод, который следует из этих двух суждений. Пошаговое обоснование: 1) Из A следует существование такого спорта s, что s является видом спорта и одновременно командной игрой: существует s: Sport(s) и TeamGame(s). 2) Из B следует обобщённое утверждение для любого x, являющегося спортом: если x — спорт, то он развивает тело: ∀x (Sport(x) → DevelopsBody(x)). 3) Применим это к найденном ранее спорте s из шага 1. Так как Sport(s) истинно, по шагу 2 следует DevelopsBody(s). 4) Комбинация шагов 1–3 даёт новый вывод: Существует спорт s, который является и командной игрой, и развивает тело: ∃s (Sport(s) ∧ TeamGame(s) ∧ DevelopsBody(s)). Итого: - Прямые выводы из отдельных суждений: A и B обе истинны. - Более конкретный вывод, который следует из обоих суждений вместе: существует спорт, который является командной игрой и развивает тело. Если нужно выбрать один из упомянутых вариантов по формулировке задачи, то лучший итог — именно последний вывод: существует спорт, который является командной игрой и развивает тело. A и B сами по себе тоже верны, но они не объединяют оба свойства в одном виде спорта.