4.2. Сделайте выводы из следующих суждений, используя операцию обращения:
Образеч: Все студенты нашей группы сдали зачет, - Некоторые сдавшие зачет студенты нашей группы.
a) Некоторые ученые работают в университете.
б) Кит - не рыба.
в) Не всякий генерал от природы полный.
г) Природа не терпит пустоты.
д) Некоторые законы не имеют обратной силы.
Ниже приведём подробно, как можно получить обращённые суждения для каждого пункта, исходя из следующего правила:
• Для утверждения вида «Некоторые A – B» можно, меняя местами подлежащее и сказуемое, вывести логически эквивалентное суждение «Некоторые B – A».
• Для утверждения вида «Все A – B» (или «Ни один A не является B») аналогичная операция (при условии непустоты множества A) приводит к суждению «Некоторые B – A» (или «Ни одна B не является A» соответственно).
Приступим к анализу каждого пункта:
──────────────────────────────
а) Исходное суждение:
«Некоторые ученые работают в унив...