4.3. Сделайте вывод из следующих суждений, используя операцию противопоставления предикату: Образец: Всякое государство является политическим институтом. - Ни один неполитический институт не является государством. a) Некоторые европейские страны не

6 ноября 2025
Логика

Условие:

4.3. Сделайте вывод из следующих суждений, используя операцию противопоставления предикату:
Образец: Всякое государство является политическим институтом. - Ни один неполитический институт не является государством.
a) Некоторые европейские страны не являются членами НАТО.
б) Люди не бессмертны.
в) Ни одного человека не следует держать в неволе.
г) Карфаген должен быть разрушен.
д) Все студенты нашей группы отличники.

Решение:

Ниже приводится пошаговый разбор каждого пункта с использованием операции «противопоставления предикату». В примере «Всякое государство является политическим институтом» мы получили его эквивалентное отрицательное утверждение «Ни один неполитический институт не является государством». То есть правило выглядит так: если утверждение имеет вид «Для всякого x: если x – A, то x – B», то его «противопоставление предикату» имеет вид «Для всякого x: если x не обладает свойством B, то x не обладает свойством A», или в разговорной форме: «Ни один не-B не является A». При этом надо внимательно см...