Вопрос 5.Приведите примеры отрицания сложных суждений (по одному на каждый вид), разберите их, выделив простые суждения и логические связки, запишите их с помощью символов.

Соединительные суждения (конъюнкция):

Все курсанты изучают логику, и все студенты изучают логику

Некоторые курсанты не изучают логику, и некоторые студенты не изучают логику

А – курсанты изучают логику;

В – студенты изучают логику;

связка – союз «и»;

схема – ^А v ^В.

Разделительные суждения (дизъюнкция):

Идет дождь или идет снег.

Нет дождя и нет снега

А – идет дождь;

В – идет снег

связка – союз «или»;

схема – ^А ^ ^В.

Условные суждения (импликация):

Если человек закаляется, значит он здоров

Возможно, что человек закаляется, но здоровым не является .

А – человек закаляется;

В – он здоров;

связка – союз «значит»;

схема – (А^ В)v( ^А → ^В).

Эквивалентные суждения (двойная импликация):

Студент допускается к экзамену лишь при условии, что он сдал все зачеты.

Студент допускается к экзамену, хотя он не сдал все зачеты

А – Студент допускается к экзамену;

В – он сдал все зачеты;

связка – союз «лишь при условии, что»;

схема – А ^ ^В.

Суждения с внешним отрицанием:

Неверно, что он был талантливым или тщеславным

Верно, что он не был талантливым и не был тщеславным.

А – он был талантливым;

В – он был тщеславным;

связка – «неверно»;

схема – (^А ^В)v (А^^В.)

Вопрос 6.Подберите суждения А, Е, О, сделайте из них вывод путем противопоставления предикату. Проверьте правильность вывода с помощью превращения и обращения. Отношения между терминами изобразите с помощью кругов Эйлера.

А: все S есть Р

Все хищники есть млекопитающие

----------------------------------------------------------------------------------------------------------

ни одно не-P не есть S

Ни одно не млекопитающее не есть хищник

Проверка:

превращение

Все хищники (S) есть млекопитающие (P)

Ни один хищник (S) не есть не млекопитающее (¬P).

обращение

Ни один хищник (S) не есть не млекопитающее (¬P).

Ни одно не млекопитающее (¬P) не есть хищник (S).

Е: ни одно S не есть P

Ни один моллюск не является позвоночным животным

----------------------------------------------------------------------------------------------------------

некоторые не-P есть S

Некоторые беспозвоночные являются моллюсками

Проверка:

превращение

Ни один моллюск (S) не является позвоночным животным (P)

Все моллюски (S) являются позвоночными животными (¬P)

обращение

Все моллюски (S) являются позвоночными животными (¬P)

Некоторые беспозвоночные (¬P) являются моллюсками (S)

О: некоторые S не есть P

Некоторые моряки не являются подводниками

----------------------------------------------------------------------------------------------------------

некоторые не-P есть S

Некоторые люди, не служащие на подлодке, являются моряками.

Проверка:

превращение

Некоторые моряки (S) не являются подводниками(P)

Некоторые моряки (S) являются не подводниками (¬P).

обращение

Некоторые моряки (S) являются не подводниками (¬P).

Некоторые люди, не служащие на подлодке (¬P), являются моряками (S)

Вопрос 7.Приведите пример неправильного простого категорического силлогизма и сделайте его полный разбор, (установите структуру, изобразите в круговых схемах отношения между терминами; осуществите проверку правильности различными способами, укажите ошибки; определите фигуру и модус).

(A) Сотрудник, нарушивший внутренний устав предприятия (М⁺), привлекается к административной ответственности (Р ^- ).

(O) Петров (S ^- ) внутренний устав предприятия не нарушал (М⁺).

----------------------------------------------------------------------------------------------------------

(O) Петров (S ^- ) не привлекается к административной ответственности (Р⁺).

фигура силлогизма: круговые схемы:

МР

S М

Большой термин (Р), не распределенный в посылке, оказался распределенным в заключении.

Вывод: данный силлогизм является неправильным (заключение не следует с необходимостью из посылок), т.к. модус АОО является неправильным для первой фигуры силлогизма.