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

Идея решения

Задано две сентенции: A) Ни один школьник не снимается в кино. B) Все дети — школьники.

Перепишем в логической форме:

• A: ∀x (Школьник(x) → ¬СнимаетсяВКино(x))
• B: ∀x (Дети(x) → Школьник(x))

Делаем вывод:

• Из B следует, что каждый ребенок является школьником. Тогда применяем A: для каждого ребенка верно, что он не снимается в кино.
• Следовательно, ∀x (Дети(x) → ¬СнимаетсяВКино(x)). То есть вывод: ни один ребенок не снимается в кино.

Дополнительно замечание:

• Из A прямо следует, что ни один школьник не снимается в кино (это уже дано).
• Но через B вывод усиливается до того, что ни один ребенок не снимается в кино (то же самое по сути, но для всех детей).

Ответ Верный вывод: ни один ребенок не снимается в кино. (Если в вариантах есть пункт «Ни один школьник не снимается в кино» — он тоже верен, но основной и наиболее информативный вывод по данным суждениям — именно про детей: ни один ребенок не снимается в кино.)