СОДЕРЖАНИЕ

TOC o «1-1» u 1. Обобщите и ограничьте следующие понятия PAGEREF _Toc409529151 h 3
2. Изображение отношений объемов понятий PAGEREF _Toc409529152 h 4
3. В следующих атрибутивных суждениях найдите термины, установите тип сужения по количеству и качеству PAGEREF _Toc409529153 h 6
4. Являются ли следующие формулы тождественно-истинными, тождественно-ложными, выполнимыми? PAGEREF _Toc409529154 h 8
5. Сделайте вывод путем противопоставления предикату исходного суждения PAGEREF _Toc409529155 h 10
6. Проверьте правильность простого категорического силлогизма с помощью круговых схем PAGEREF _Toc409529156 h 11
Список литературы PAGEREF _Toc409529157 h 13

1. Обобщите и ограничьте следующие понятия:
Четное число, квадрат, существительное, береза, город, учебник, осень, рыночная экономика, посол, банк.
Ответ:
Обобщение – логическая операция перехода от видового понятия к родовому.
Четное число – число.
Квадрат – геометрическая фигура.
Существительное – часть речи.
Береза – дерево.
Город – населенный пункт.
Учебник – книга.
Осень – время года.
Рыночная экономика – экономика.
Посол – дипломатический представитель.
Банк – финансово-кредитное учреждение.

Ограничение понятия – логическая операция перехода от родового понятия к видовому.
Четное число – шестнадцать.
Квадрат – черный квадрат.
Существительное – «стол».
Береза – стройная береза.
Город – родной город.
Учебник – учебник логики.
Осень – золотая осень.
Рыночная экономика – рыночная экономика России.
Посол – посол России.
Банк – Российский банк.

2. Изображение отношений объемов понятий:
А – множество четных чисел;
В – множество чисел, делящихся на 5;
С – множество чисел, делящихся на 3.
Ответ:
Понятия находятся между собой в определенных отношениях: сравнимость/несравнимость, совместимость/несовместимость, совместимость делится на тождество, перекрещивание и подчинение, несовместимость делится на соподчинение, противоположность и противоречие.
АВ – отношение сравнимости, несовместимости.
АС – отношение сравнимости, несовместимости.
ВС – отношение сравнимости, совместимости, перекрещивания.
Общая схема:
А В С

Заштрихуйте области, соответствующие сложным классам:
Ответ:
а) А+В+С
А В

С

б) А х В х С

А В

С

в) (А х В) — С
А В

С

г) А — (В + С)
А В

С

д) (А + В) х С
А В

С

е) (А х В) +С
А В

С

ж) (А + В + С) — (А х В х С)
А В

С

з) (А х В) + (В х С) + (А х С)
А В

С

3. В следующих атрибутивных суждениях найдите термины, установите тип сужения по количеству и качеству:
Ответ:
Поскольку в каждом суждении имеется количественная и качественная характеристики, в логике принята объединенная классификация, на основе которой выделяются четыре типа суждений: А – общеутвердительное, I – частноутвердительное, E – общеотрицательное, O – частноотрицательное.
а) Некоторые современники динозавров не вымерли до сих пор.
S, субъект (предмет мысли) – «современники динозавров».
Р, предикат (свойство предмета мысли) – «вымерли».
Связка – в виде частицы «не», подразумевается отрицание.
Кванторное слово – «некоторые».
Суждение вида O, частноотрицательное: Некоторые S не есть Р.
б) Один в поле – не воин.
S, субъект (предмет мысли) – «один в поле».
Р, предикат (свойство предмета мысли) – «воин».
Связка – в виде частицы «не», подразумевается отрицание.
Кванторное слово – отсутствует, подразумеваются все.
Суждение вида E, общеотрицательное: Ни один S не есть Р.
в) Электроны имеют отрицательный заряд.
S, субъект (предмет мысли) – «электроны».
Р, предикат (свойство предмета мысли) – «имеют отрицательный заряд».
Связка – отсутствует, подразумевается утверждение.
Кванторное слово – отсутствует, подразумеваются все.
Суждение вида А, общеутвердительное: Все S есть Р.
г) Квадрат – это прямоугольник с равными сторонами.
S, субъект (предмет мысли) – «квадрат».
Р, предикат (свойство предмета мысли) – «прямоугольник с равными сторонами».
Связка – тир, подразумевается утверждение.
Кванторное слово – отсутствует, подразумеваются все.
Суждение вида А, общеутвердительное: Все S есть Р.
д) Часто успех нас ослепляет.
S, субъект (предмет мысли) – «успех».
Р, предикат (свойство предмета мысли) – «ослепляет».
Связка – отсутствует, подразумевается утверждение.
Кванторное слово – «часто».
Суждение вида I, частноутвердительное: Некоторые S есть Р.
е) Люди – несвободны от общества, в котором живут.
S, субъект (предмет мысли) – «люди».
Р, предикат (свойство предмета мысли) – «свободны от общества, в котором живут».
Связка – тире. По смыслу свойство отрицается, хотя и слитно написано слово «несвободны».
Кванторное слово – отсутствует, подразумеваются все.
Суждение вида Е, общеотрицательное: Ни один S не есть Р.
ж) Мы все глядим в Наполеоны.
S, субъект (предмет мысли) – «мы».
Р, предикат (свойство предмета мысли) – «глядим в Наполеоны».
Связка – отсутствует, подразумевается утверждение.
Кванторное слово – «все».
Суждение вида А, общеутвердительное: Все S есть Р.
з) Нет повести печальнее на свете, чем повесть о Ромео и Джульетте.
S, субъект (предмет мысли) – «повесть, которая печальнее повести о Ромео и Джульетте».
Р, предикат (свойство предмета мысли) – «нет», то есть не существует.
Связка – отсутствует, едет отрицание существования.
Кванторное слово – отсутствует, подразумеваются все.
Суждение вида E, общеотрицательное: Ни один S не есть Р.
и) Ни одно произведение С. не издано в нашей стране.
S, субъект (предмет мысли) – «произведение С.».
Р, предикат (свойство предмета мысли) – «издано в нашей стране».
Связка – в виде частицы «не», подразумевается отрицание.
Кванторное слово – «ни одно».
Суждение вида E, общеотрицательное: Ни один S не есть Р.
к) Истинный ученый, как правило, скромен.
S, субъект (предмет мысли) – «истинный ученый».
Р, предикат (свойство предмета мысли) – «как правило, скромен».
Связка – отсутствует, подразумевается утверждение.
Кванторное слово – отсутствует, подразумеваются все.
Суждение вида А, общеутвердительное: Все S есть Р.

4. Являются ли следующие формулы тождественно-истинными, тождественно-ложными, выполнимыми?
г) (p → q) ↔ (q → (р r)).
д) (((p → q) → р) → р).
е) ((p q) (р r)) → (р (q r)).
Ответ:
Таблица истинности
для формулы г) (p → q) ↔ (q → (р r)):

1 4 3 2

р q r р q (p → q) ↔ (q → (р r))
1 и и и л л и и и и
2 и и л л л и и и л
3 и л и л и и и и и
4 и л л л и и л л л
5 л и и и л и и и л
6 л и л и л и и и л
7 л л и и и л и л л
8 л л л и и л и л л

Формула выполнимая.
Таблица истинности
для формулы д) (((p → q) → р) → р):

1 2 3

р q (((p → q) → р) → р))
1 и и и и и
2 и л л и и
3 л и и л и
4 л л и л и

Формула тождественно-истинная.

Таблица истинности
для формулы е) (( p q) (р r)) → (р (q r)):

1 3 2 6 5 4

р q r ((p q) (р r) → (р (q r))
1 и и и и и и и и и
2 и и л и и л и и и
3 и л и л и и и и и
4 и л л л л л и л л
5 л и и л л л и л и
6 л и л л л л и л и
7 л л и л л л и л и
8 л л л л л л и л л

Формула тождественно-истинная.
5. Сделайте вывод путем противопоставления предикату исходного суждения:
Ответ:
Противопоставление предикату – это такое непосредственное умозаключение, при котором (в заключении) предикатом является субъект, субъектом – понятие, противоречащее предикату исходного суждения, а связка меняется на противоположную.
Его схема:
S есть P
Не-P не есть S
а)
(Е) Ни одно европейское государство (S) не является недемократическим (Р).
(I) Некоторые демократические государства (Р) являются европейскими (S).
б)
(А) Все планеты (S) вращаются вокруг своей оси (Р).
(Е) Ничто из того, что не вращается вокруг своей оси (Р), не является планетой (S).
в)
(I) Некоторые правонарушения являются преступлениями.
Из частноутвердительного суждения необходимые выводы не следуют.
г)
(А) Всякая живая ткань (S) – органическая (Р).
(Е) Ничто неорганическое (Р) не относится к живой ткани (S).
д)
(О) Некоторые политики (S) не являются патриотами своей страны (Р).
(I) Некоторые непатриотичные люди (Р) являются политиками (S).
е)
(I) Некоторые организмы – одноклеточные.
Из частноутвердительного суждения необходимые выводы не следуют.
ж)
(I) Некоторые драмы написаны стихами.
Из частноутвердительного суждения необходимые выводы не следуют.

6. Проверьте правильность простого категорического силлогизма с помощью круговых схем.
Ответ:
Категорический силлогизм – это вид дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которых S и Р связаны средним термином.  
а)
Все киты (М) – млекопитающие (Р). А
Все киты (М) – морские животные (S). А
Некоторые морские животные (S) – млекопитающие (Р). I
3 фигура.
S М Р

Правильно.
б)
Все талантливые люди (Р) имеют странности (М). А
N (S) не имеет странностей (М). Е
N (S) – не талантлив (Р). Е
2 фигура.
S М Р

Правильно.
в)
Всякая полезная книга (Р) имеет информацию (М). А
Любой учебник (S) несет информацию (М). А
Каждый учебник (S) – полезная книга (Р). А
2 фигура.
S, Р М

Не правильно.
г)
Все кристаллические вещества (М) имеют определенную температуру плавления (Р). А
Некоторые кристаллические вещества (М) – металлы (S). I
Все металлы (S) имеют определенную температуру плавления (Р). А
3 фигура.
Р М S

Не правильно.
д)
Любой умный человек (Р) не сделает это (М). Е
С. (S) не сделал это (М). Е
Он (S) – умный человек (Р). А
2 фигура.
S М Р

Не правильно.
е)
Большинство работавших на Мюллера (М) не доверяли друг другу(Р).О
Некоторые из людей Шелленберга (S) работали на Мюллера (М). I
Некоторые люди Шелленберга (S) не доверяли друг другу (Р). О
1 фигура.
S М Р

Не правильно.
Список литературы
Гетманова А. Д. Логика: Для педагогических учебных заведений. — М.: Новая школа, 1995. — 416 с.
Ивлев Ю. В. Логика: Учебник / Ю. В. Ивлев. — М.: Наука, 1994. —– 284 с.
Кириллов В. И., Старченко А. А. Логика: Учебник для юридических вузов / под ред. проф. В. И. Кириллова. — Изд. 6-е, перераб. и доп. — М.: ТК Велби, Изд-во Проспект, 2008. — 240 с.
Логика: учебное пособие / сост.: М. Д. Купарашвили, А. В. Нехаев, В. И. Разумов, Н. А. Черняк. – Омск: Изд-во ОмГУ, 2004. – 124 с.
Челпанов Г. И. Учебник логики. — М.: Издательская группа «Прогресс», 1994. — 248 с.

СОДЕРЖАНИЕ TOC o «1-1» u 1 Обобщите и ограничьте следующие понятия PAGEREF _Toc409529151 h 3 2