1. Все люди считаются разумными. Почти все люди считаются разумными.

«Все люди считаются разумными». Данное суждение типа А – общеутвердительное: Все S есть Р.

«Почти все люди считаются разумными». Данное суждение типа I – частноутвердительное: Неко­торые S есть Р.

Суждения типов А и I находятся в отношении подчинения (I подчиняется А), поэтому если первое – общее суждение (подчиняющее) – истинно, то второе – частное суждение (подчиненное) – истинное также. Если А – ложно, то I – неопределенно. Если же ложно частное, то ложно и общее.

2. Все виды правды достойны похвалы. Некоторые виды правды не достойны похвалы.

«Все виды правды достойны похвалы». Данное суждение типа А – общеутвердительное: Все S есть Р.

«Некоторые виды правды не достойны похвалы». Данное суждение типа О – частноотрицательное: Некоторые S не есть Р.

Суждения типов А и О находятся в отношении противоречия, а по закону исключенного одно истинно, а другое ложно.

16. Подберите в данному суждению контрарное, субконтрарное, подчиняющее, подчиненное, контрадикторное.

Решение:

1. «Часть рыб – речные». Некоторые рыбы (S) являются речными (Р)». Суждение типа I, частноутвердительное: Некоторые S есть Р.

Субконтрарное (подпротивоположное) – суждение типа О, частноотрицательное: Некоторые S не есть Р: «Некоторые рыбы не являются речными». Истинно.

Подчиняющее – суждение типа А, общеутвердительное: Все S есть Р: «Все рыбы являются речными». Ложно.

Контрадикторное (противоречащее) – суждение типа Е, общеотрицательное: Ни одно S не есть Р: «Ни одна рыба не является речной». Ложно.

2. «Киты – млекопитающие». Все киты (S) являются млекопитающими (Р)». Суждение типа А, общеутвердительное: Все S есть Р.

Контрарное (противоположное) – суждение типа Е, общеотрицательное: Ни одно S не есть Р: «Ни один кит не является млекопитающим». Ложно.

Подчиненное – суждение типа I, частноутвердительное: Некоторые S есть Р: «Некоторые киты являются млекопитающими». Истинно.

Контрадикторное (противоречащее) – суждение типа О, частноотрицательное: Некоторые S не есть Р: «Некоторые киты являются млекопитающими». Ложно.

17. Дайте логическую характеристику вопросу.

Решение:

1. Смогут ли люди создать вечный двигатель? Основная (базисная) часть представлена суждением: «люди могут создать вечный двигатель». Суждение является ложным, значит, не корректным. Вид вопроса – уточняющий («ли-вопрос»). По существу – простой. Структура: ?(р). Ответом может быть короткое «да» или «нет», а также полный ответ.

2. Является ли государство самой древней формой организации людей? Этот уточняющий вопрос («ли-вопрос»), по существу, простой и корректный. Структура: ?(р). Ответом может быть короткое «да» или «нет».

3. Сколько лет действующему королю Франции? Основная (базисная) часть ложна, вопрос некорректный, ответа не требует.

4. В каком веке произошло крещение Руси? Этот восполняющий вопрос («что-вопрос»), по существу, простой и корректный. Структура: ?Q(р). Ответ должен быть коротким: «в Х веке».

Контрольная работа по логике №3 Тема «Умозаключение». 1..Практические задания

18. Провести операцию превращения, обращения и противопоставления предикату предложенных в задании суждений.

Решение:

а) «Ни одна морская звезда не является одноклеточной». Суждение типа Е, общеотрицательное: Ни одно S не есть Р: Ни одна морская звезда (S) не является одноклеточной (Р).

Схема вывода превращения:

(Е) Ни одно S+ не есть P+.

(А) Все S+ есть не-Р-.

Выражение на естественном языке:

Ни одна морская звезда не является одноклеточной.

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

Схема вывода обращения:

(Е) Ни одно S+ не есть P+.

(Е) Ни одно Р+ не есть S+.

(чистое обращение)

Выражение на естественном языке:

Ни одна морская звезда не является одноклеточной.

Ни одноклеточное не является морской звездой.

Схема вывода противопоставления предикату:

(Е) Ни одно S+ не есть P+.

(I) Некоторые не-Р- есть S-.

Выражение на естественном языке:

Ни одна морская звезда не является одноклеточной.

Некоторые из не одноклеточных суть морские звезды.

б) «Некоторые слоны живут в Африке». Суждение типа I, частноутвердительное: Некоторые S есть Р: Некоторые слоны (S) живут в Африке (Р).

Схема вывода превращения:

(I) Некоторые S - есть P-.

(О) Некоторые S- не есть не-Р+.

Выражение на естественном языке:

Некоторые слоны живут в Африке.

Некоторые слоны не живут не в Африке.

Схема вывода обращения:

(I) Некоторые S- есть P-.

(I) Некоторые Р- есть S-.

(чистое обращение)

Выражение на естественном языке:

Некоторые слоны живут в Африке.

Некоторые живущие в Африке животные есть слоны.

Схема вывода противопоставления предикату:

(I) Некоторые S есть P

Частноутвердительные суждения данной логической операции не подлежат.

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

Решение:

Схема вывода:

S есть P

не-Р не есть S

Суждение А – «Все птицы имеют крылья».

Схема вывода А:

(А) Все S+ есть P-.

(Е) Ни одно не-Р+ не есть S+.

Выражение на естественном языке:

Все птицы имеют крылья.

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