12.

ТЕОРИЯ ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА

12.1. Понятие предиката

Существуют такие логические схемы рассуждений, которые не могут быть
обоснованы в логике высказываний. Рассмотрим умозаключение: «Все люди
смертны (А). Сократ  человек (В). Следовательно, Сократ смертен (С)».
Очевидно, что С следует из А и В, однако, логическое следование А, В |= С
недоказуемо в алгебре высказываний. Причина заключается во внутренней
структуре высказываний.
Внутреннюю структуру высказывания можно разделить на субъект и
предикат, где субъект есть подлежащее – понятие про предмет мысли, а
предикат определяет свойство субъекта – понятие про особенность предмета
мысли, наличие которой в нем утверждается или отрицается. (рис. 12.1).

Высказывание

Субъект Предикат

Сократ есть человек

x есть человек

P(x): x – человек

Рис.12.1. Структура высказывания

Например, Сократ  это субъект, который обладает свойством быть

человеком. Это «чистое» свойство представляет собой одноместный предикат,
определенный на множестве людей: «__ есть человек». Обозначим его P(x), где
x  переменная, обозначающая так называемое «свободное место предиката».
Подставляя на место переменной х объекты из области определения предиката,
получаем высказывания. Таким образом, одноместный предикат,
определенный на некотором множестве объектов, задает свойство, которым
эти объекты могут обладать или не обладать. При подстановке на свободное
место предиката какого-либо объекта из его области определения предикат
обращается в высказывание, истинное или ложное. Таким образом, предикат
разбивает это множество на две области: области истинности и ложности.
Определение 12.1. Одноместным предикатом P(x), определенным на
множестве М, называется выражение, которое после подстановки в него вместо
x предмета из области определения М обращается в высказывание. Область
определения предиката называется предметной областью. Элементы из
области определения называются предметными постоянными (предметами).
Переменная, от которой зависит предикат, называется предметной переменной.

1
 Одноместные предикаты традиционно служат для формализации понятий.
Понятие представляет собой единицу мышления. Абстрактное мышление
основывается на понятиях, отображающих действительность, поэтому
абстрактное мышление называют понятийным. Понятия возникают как
результат обобщения множества предметов по системе признаков, общей
только для этих выделенных предметов.
Признак – это наличие или отсутствие свойства у предмета, а также наличие
или отсутствие отношения между предметами. Понятие характеризуется своим
содержанием и объемом.
Содержание понятия – это система признаков, на основе которой
множество предметов обобщается в понятии. Например, понятие «квадрат»
характеризуется признаками: равные стороны, 4 прямых равных угла и т.д.
Объем понятия – это множество предметов, обобщаемых и выделяемых в
понятии, т.е. множество предметов, которые характеризуются системой
признаков, составляющих содержание понятия. Например, объемом понятия
«лес» служит не множество деревьев (это можно отнести к содержанию
понятия), а «Черный лес», «Овруцкий лес», «тот лес, который возле дома».
Например, понятие «рыба» можно охарактеризовать как множество всех
живых существ (объем понятия), которые обладают признаками: живут в воде,
плавают, имеют жабры, плавники и хвост (содержание понятия). Каждое из
перечисленных свойств можно задать одноместным предикатом,
определенным на множестве всех живых существ: V(x)  x живет в воде, P(x)
 x плавает, G(x)  x имеет жабры, L(x)  x имеет плавники, R(x)  x имеет
хвост. Таким образом, понятие рыба может быть описано выражением:
V(x)&P(x)&G(x)&L(x)&R(x). Область истинности этого выражения составляет
объем понятия – это все существующие рыбы.
Между объемом и содержанием понятия существует обратная зависимость:
чем больше объем, тем меньше содержание, т.е. тем оно более абстрактно,
растекаемо. Например, понятие «обитатели водных глубин» можно определить
как «множество всех существ, живущих в воде». Содержание этого понятия
описывается предикатом V(x)  x живет в воде. Добавив свойство P(x)  x
плавает, мы увеличим содержание понятия, но уменьшим объем: будут
исключены моллюски, ракообразные и прочие обитатели водных глубин,
которые не плавают. Добавив новые свойства, мы еще более уменьшим объем
понятия.
Тождественные или равнозначные понятия совпадают по объему.
Перекрестные понятия – понятия, объем каждого из которых имеет часть
общих элементов. Если объем одного понятие полностью входит в объем
другого, то между понятиями можно установить отношение подчиненности.
Двуместный предикат задает отношение между двумя объектами. Объекты
могут принадлежать одной и той же, либо разным областям определения.
Например, предикат P(x, y): x > y, где x, y  R, задает отношение «больше» на
множестве действительных чисел; подставив в него значения, получим
высказывания, например: 5 > 2 = T, 6.8 > 10 = F. Если в предикат P(x, y): x > y,
подставить значение y = 0, получим одноместный предикат: x > 0, который

2
задает свойство действительных чисел быть (или не быть) больше нуля и
определяет понятие «положительные действительные числа». На место
переменной в предикат можно подставить функцию. Например, если в
предикат P(x, y) подставить на место x функцию f(u, v) = u + v, получим новый
предикат: R(f(u, v), y): u + v > y, определяющий отношение между суммой двух
чисел и третьим числом.
Другой пример двуместного предиката: S(x, y): «x родился в y году», где
x  {люди}, y  N. Предикат S(x, y) задает отношение на множестве людей и
множестве целых чисел. При замене y на объект из области определения,
например, y = 1814, получим одноместный предикат S(x, 1814), определяющий
свойство: «человек x родился в 1814 году». При замене обеих переменных
получим высказывание, например, «Лермонтов родился в 1814 году».
Таким образом, двуместный предикат задает некоторое бинарное отношение
на заданных множествах, причем при замене одной переменной местность
предиката понижается (двуместный предикат становится одноместным), а при
замене обеих переменных на предметные постоянные он обращается в
высказывание.
В общем случае n-местный предикат определяет n-местное отношение.
Определение 12.2. N-местным предикатом, определенным на множествах
М1, М2,…, Мn, называется выражение, которое обращается в высказывание
при замене каждой предметной переменной на элемент из ее области
определения. Если все предметные переменные определены на одном и том же
множестве, то предикат называется однородным.
Примеры. R(x, y, z, t): «x родился в году y в городе z, имеет образование t»,
x  {люди}, y  N, z {города}, t  {начальное, среднее, высшее}. R(x, y, z, t) 
неоднородный четырехместный предикат. Однородный предикат: Q(x, y, z):
«параллелепипед имеет высоту x, ширину y, длину z», где x, y, z  R.

12.2. Формулы логики предикатов

12.2.1. Операции над предикатами

Предикат можно рассматривать как функцию, определенную на некотором
множестве объектов и принимающую два значения, T и F, т.е. как булеву
функцию. Поэтому над предикатами определены все булевы операции: 
(отрицание), & (конъюнкция),  (дизъюнкция),  (импликация), 
(эквивалентность), а также две новые операции  операции навешивания
кванторов:   всеобщности и   существования.
Если P(x) определяет некоторое свойство на множестве М, то формула
xP(x) обозначает высказывание: «для всякого предмета x  М свойство P(x)
выполнено», или «все x обладают свойством P(x)». Значение формулы |xP(x)|
= T (истинно), если свойство P выполнено для всех объектов из М, и |xP(x)| =
F (ложно), если существует хотя бы один элемент x = a, a  М, для которого
свойство P не выполнено, т.е. |P(a)| = F. Например: если P(x): x смертен,
x  {люди}, то xP(x) – «все люди смертны» (значение формулы |xP(x)| = T);

3
если P(x): x > 0, x  R, то xP(x) – «все действительные числа положительны»
(|xP(x)| = F).
Формула xP(x) означает: «существует по крайней мере один предмет x,
обладающий свойством P(x)», или: «некоторые x обладают свойством P(x)».
Значение формулы |xP(x)| = T (истинно), если существует хотя бы один
элемент x = a, a  М, для которого свойство P выполнено: |P(a)| = T, значение
|xP(x)| = F (ложно), если свойство P не выполнено для всех объектов из М.
Например: если P(x): x > 0, x  R, то xP(x) – это высказывание: «некоторые
действительные числа положительны», тогда |xP(x)| = T; если P(x): x
смертен, x  {люди}, то xP(x) – «существуют бессмертные люди» (ложное
высказывание).
Если М = {a1, a2, …, an} -- конечная область определения предиката P(x), то
формулы с кванторами могут быть выражены через конъюнкцию и
дизъюнкцию:
xP(x) = P(a1)&P(a2) &…& P(an), xP(x) = P(a1)  P(a2) …
P(an).
Таким образом, квантор всеобщности является обобщением конъюнкции, а
квантор существования – обобщением дизъюнкции на бесконечную область
определения.
Кванторы  и  связаны друг с другом по принципу двойственности (по
законам де Моргана):
xP(x)  xP(x), xP(x)  xP(x).
Например, если P(x): «x смертен», x  {люди}, то формула xP(x)
обозначает высказывание: «не все люди смертны», которое эквивалентно
высказыванию «существуют бессмертные люди», т.е. xP(x), а формула
xP(x)  «не существует смертных людей» эквивалентна высказыванию «все
люди бессмертны», т.е.xP(x).

12.2.1. Определение формулы

Основными символами языка логики предикатов являются:
 пропозициональные символы  и ,
 кванторы всеобщности  и существования ,
 вспомогательные символы ( и ),
 предметные переменные x1, x2, …, xn, …,
 предметные постоянные a1, a2, …, an, …,
 функциональные символы f11, f12, …, fkj, …,
 предикатные символы P11, P12, …, Pkj, ….
Нижний индекс предикатного или функционального символа  это номер,
который служит для различения одноименных символов с одинаковым числом
аргументов, верхний индекс указывает число аргументов.
Определим понятия терма и формулы.

4
 Определение терма.
Каждая предметная переменная есть терм.
Каждая предметная постоянная есть терм.
Функциональный символ f(t1,…,tn), где t1,…,tn  термы, есть терм.
Других термов нет.
Определение формулы.
Pin(t1,…,tn), где Pin  предикатный символ, t1,…,tn  термы, есть атомарная
(элементарная) формула.
Если А и В  формулы и x  предметная переменная, то формулами
являются (А), (А  В), (xА), (xA).
Других формул нет.
Выражения A&B, A  B, A  B определяются так же, как в исчислении L.
Приоритет операций установлен следующий: ,  и , &, , , .
Определение 12.3. Формула, на которую распространяется действие
квантора, называется областью действия квантора. Переменные, по которым
навешивается квантор и попадающие в его область действия, называются
связанными переменными. Переменные, лежащие вне области действия
квантора, называются свободными.
Формула, не содержащая свободных переменных, называется замкнутой.
Замкнутые формулы являются высказываниями.
Область действия квантора ограничивается скобками, если она содержит
более одного предиката.
Примеры.
1. На рис. 12.2 приведены примеры формул логики предикатов и указаны
свободные и связанные переменные.
Область действия Область действия
квантора квантора

x(P(x)  Q(x,y)) xP(x)  Q(x,y)

Связанные Свободная Связанная Свободные

переменные переменная переменная переменные

Рис. 12.2. Свободные и связанные переменные.

2. Пусть Q(x, y): «x родился в году y», x  {люди}, y  {годы}, тогда формула
xyQ(x, y) обозначает высказывание: «Каждый человек родился в каком-
нибудь году», а формула yxQ(x, y) – высказывание: «Существует такой год,
в котором родились все люди». Из этого примера видно, что разноименные
кванторы в общем случае не перестановочны.
Определение 12.4. Частным случаем формулы А(х) называется формула,
полученная подстановкой некоторой формулы вместо всех вхождений
некоторой переменной в А(х).
Формула А(y), полученная из А(х) заменой всех вхождений переменной х на
y, также является частным случаем формулы А(х).

5
 Определение 12.5. Говорят, что у свободно для х в формуле А(х), если при
замене х на у никакое свободное вхождение х не становится связанным в
результате замены.
Пример. x(x = 2y), x, y  R. В этой формуле z свободно для y: x(x = 2z), но y
не свободно для x, так как в результате замены x на y получим совсем другую
формулу: y(y = 2y).

12.3. Интерпретация формул логики предикатов

Формулы имеют смысл только тогда, когда имеется какая-либо
интерпретация входящих в нее символов.
Определение 12.6. Под интерпретацией будем понимать систему,
состоящую из непустого множества D, называемого областью интерпретации,
а также соответствия, ставящего каждой предикатной букве Pin некоторое
отношение на области D, каждой предметной постоянной ai  некоторый
элемент из области D, каждой функциональной букве fin  некоторую m-
местную операцию на области D (т.е. функцию Dn D).
При заданной интерпретации все предметные переменные пробегают все
значения из области D, а логические связки имеют обычный логический смысл.
Для заданной интерпретации всякая замкнутая формула представляет собой
высказывание, которое истинно или ложно, а формула со свободными
переменными выражает отношение на области D, которое может быть
истинно (выполнено) при одних значениях переменных и ложно (не
выполнено) при других.
Примеры.
1. В таблице 12.1. приведены три интерпретации одной и той же формулы.
Таблица 12.1.
Область Высказывание
Интерпретация
интерпретации D x(P(x) Q(x))
P(x): x – рыба,
Множество Все рыбы живут в
Q(x): x живет в
живых существ воде.
воде.
P(x): x –
Множество
человек, Все люди смертны.
живых существ
Q(x): x смертен.
P(x): x делится
Все числа, которые
Множество целых на 6,
делятся на 6, делятся
чисел Q(x): x делится
на 3.
на 3.

2. Формула xyP(f(x, y), a) является высказыванием. Предикат P(v, u) 

двуместный, переменные х, у  связанные, а  предметная постоянная.
Истинность или ложность этого высказывания можно узнать лишь при
заданной интерпретации. Зададим следующую интерпретацию: область
интерпретации D  множество действительных чисел R, константа a = 1,

6
функциональный символ f(x, y) = x2 + y2, предикат P(u, t): u = t. Тогда формула
имеет вид: xy(x2 + y2 = 1) и задает уравнение окружности. Она истинна, так
как существуют такие x и y, что x2 + y2 = 1.
3. Интерпретация может быть частичной, например, f(x, y) = x2 + y2, t = r2.
Тогда формула xy(x2 + y2 = r2)  одноместный предикат, который определяет
свойство точек на действительной плоскости принадлежать (или не
принадлежать) некоторой окружности с радиусом r.

Определение 12.7. Интерпретация называется моделью для данного

множества формул , если каждая формула из  истинна в данной
интерпретации.

Определение 12.8. Формула называется выполнимой, если существует хотя

бы одна интерпретация, на которой формула истинна.

Определение 12.9. Формула называется логически общезначимой (ЛОЗ),

если она истинна на любой интерпретации для любых значений переменных.
Так же, как тавтологии, логически общезначимые формулы обозначаются: |=
A(x).

Определение 12.10. Формула, которая ложна на любой интерпретации при

любых значениях переменных, называется противоречием.

Логически общезначимые формулы являются выделенными формулами

алгебры предикатов.

Так как область определения предиката может быть бесконечной, то,

очевидно, что построение таблицы истинности не может служить алгоритмом
для определения логической общезначимости формул. Однако существуют
другие способы, которые в частных случаях позволяют определить логическую
общезначимость, выполнимость или эквивалентность формул. Можно строить
таблицы истинности формул алгебры предикатов для частичных
интерпретаций на ограниченных областях. Например, возьмем область
интерпретации, состоящую из двух произвольных элементов: D = {a, b}.
Построим таблицу истинности формул: E1 = xP(x) и E2 = xP(x).
Одноместный предикат на области определения из двух элементов может
принимать одно из четырех значений, которые определяются таблицами
истинности (табл. 12.2).
Таблица.12.2
x Р1(.) Р2(.) Р3(.) Р4(.)
a F F T T
b F T F T

7
 Формулы Е1 и Е2 будут принимать на этих интерпретациях следующие
значения (табл. 12.3).
Таблица.12.3
P(.) xP(x) xP(x)
P1 F F
P2 T F
P3 T F
P4 T T

Построим таблицы истинности на области интерпретации из двух элементов

D = {a, b} для следующих формул:
E1 = yP(y)  xQ(x), E2 = y(P(y)  xQ(x)), E3 = y x(P(y)  Q(x)). Для
этих формул существует 16 интерпретаций, так как каждый из одноместных
предикатов P и Q принимает по 4 значения в соответствии с таблицей 12.2.
Рассмотрим вычисление значений формул на интерпретации P2, Q1.
E1 = yP2(y)  xQ1(x) = F  F = T;
 P ( 1)  xQ1( x )  F  F T 
E2 = y(P2(y)  xQ1(x)) = y 2   y  F
T  F  F 
 P2( 2)  xQ1( x ) 
E3 = y x(P2(y)  Q1(x)) =
  P2 (1)  Q1 (1)     F  F T  
 x    x  F  F  T   T 
 x( P2 (1)  Q1 ( x)    2 P (1)  Q (2)    y   
= y    y 
1
F
 x ( P (2)  Q ( x )   P (2)  Q (1)     T  F  F  
2 1
 x  2 1
  
 T  F  F 
x  F 
  P2 (2)  Q1 (2)      

Истинностные значения Е1, Е2, Е3 для восьми интерпретаций приведены в

табл. 12.4. Из таблицы видно, что формула Е1 не эквивалентна формулам Е2 и
Е3, а формулы Е2 и Е3, возможно, эквиваленты, – для окончательного решения
нужно рассмотреть оставшиеся интерпретации.
Таблица. 12.4.
P(.) Q(.) E1 E2 E3
P1 Q1 T T T
P1 Q2 T T T
P1 Q3 T T T
P1 Q4 T T T
P2 Q1 T F F
P2 Q2 T T T
P2 Q3 T T T
P2 Q4 T T T

8
12.4. Логически общезначимые формулы логики предикатов

12.4.1. Основные логически общезначимые формулы алгебры

предикатов
Основные логически общезначимые формулы логики предикатов приведены
в таблице 12. 5.

Таблица 12.5.
1. xP(x)  P(y) правило универсальной
конкретизации;
2. P(a)  x(P(x)) правило экзистенциального
обобщения;
3. xP(x)  xP(x) правило де Моргана

4. xP(x)  xP(x) правило де Моргана

5. x(P(x)&Q(x))  xP(x)&xQ(x) закон пронесения через &

6. x(P(x)  Q(x))  xP(x)  xQ(x) закон пронесения  через 

7. xP(x)  xQ(x)  x(P(x)  Q(x)) закон пронесения через 

8. x(P(x)&Q(x))  xP(x)&xQ(x) закон пронесения  через &

9. (x(P(x)  Q(x))  (xP(x)  xQ(x)) закон пронесения через 

10.(xP(x)  xQ(x))  x(P(x)  Q(x)) закон пронесения  через 

11.x(P(x)  Q(x))  (xP(x)  xQ(x)) закон пронесения через 

12.x(P(x)&B)  xP(x)&B B не содержит вхождений х

13.x(P(x)  B)  xP(x)  B B не содержит вхождений х

14.x(P(x)&B)  xP(x)&B B не содержит вхождений х

15.x(P(x)  B)  xP(x)  B B не содержит вхождений х

16.x(P(x)  B)  (xP(x)  B) B не содержит вхождений х

17.x(P(x)  B)  (xP(x)  B) B не содержит вхождений х

18.xyP(x, y)  yxP(x, y) закон перестановки

кванторов 
19.xyP(x, y)  xP(x, x)

20.xyP(x, y)  yxP(x, y) закон перестановки

кванторов 

9
 21.xP(x, x)  xyP(x, y)

22.yxP(x, y)  xyP(x, y) закон перестановки

кванторов  и 
23.xP(x)  xP(x)

24.(xP(x)  xQ(x))  x(P(x)  Q(x))

25.(xP(x)  xQ(x))  x(P(x)  Q(x))

26.xP(x)  yP(y) если у свободно для x в P(x)

27.xP(x)  yP(y) если у свободно для xв P(x)

Каждая логически общезначимая формула выражает некоторое истинное

высказывание относительно свойств объектов. Например, логически
общезначимая формула x(P(x)&Q(x))  xP(x)&xQ(x) выражает тот факт,
что если некоторые объекты обладают сразу двумя свойствами P и Q, то
существуют объекты, обладающие свойством P, и объекты, обладающие
свойством Q. Так, если существуют врачи-шарлатаны, то существуют люди,
которые являются врачами, и существуют шарлатаны. Очевидно, что обратная
импликация xP(x)&xQ(x)  x(P(x)&Q(x)) будет истинна далеко не всегда:
из того, что существуют врачи и существуют шарлатаны, еще не следует, что
существуют врачи-шарлатаны, – эти два множества могут не пересекаться.
Ниже приводятся интерпретации некоторых логически общезначимых
формул.
xP(x)  P(y) Если все люди смертны, то смертен любой
человек.
P(a)  x(P(x)) Если кошка a – серая, то существуют серые
кошки.
xP(x)  xP(x) Не все кошки серые  Существуют не серые
кошки.
xP(x)  xP(x) Не существует серых кошек  Все кошки не
серые.
x(P(x)&Q(x))  xP(x)&xQ(x) Все кошки с усами и с хвостами  Каждая
кошка имеет усы и каждая кошка имеет
хвост.
x(P(x)  Q(x))  xP(x)  xQ(x) Некоторые кошки белые или черные 
Существует хотя бы одна белая кошка или
существует хотя бы одна черная кошка.
x(P(x)  Q(x))  (xP(x)  xQ(x)) Если все сторожевые собаки злы, то если все
собаки – сторожевые, то все они злы.
Обратное не всегда верно.
(xP(x)  xQ(x))  x(P(x)  Q(x)) Если из того, что существуют собаки,
следует, что существуют лающие существа,
то существуют такие собаки, которые лают.
Обратное не всегда верно.

10
12.4.2. Проверка общезначимости формул алгебры предикатов
Проверка логической общезначимости формул может быть осуществлена
сведением к противоречию, т.е. методом редукции. Предполагаем, что
существует такая интерпретация формулы Е, на которой она принимает
ложное значение, т.е. |Е*| = F, и пробуем найти такую интерпретацию. Если в
результате получаем противоречие, это означает, что таких интерпретаций не
существует, и, следовательно, формула логически общезначима.
Пример. Рассмотрим формулу х(A(x)  B)  xA(x)  B, где B не зависит от
х. Предположим, что существует такая интерпретация, на которой формула
ложна: |x(A*(x)  B*)  xA*(x)  B*| = F. Это возможно, если
|x(A (x)  B )| = T, а |xA (x)  B | = F. Из последнего равенства следует, что
* * * *

|B*| = F и |x(A*(x))| = F. Если |x(A*(x))| = F, то существует хотя бы одно

значение x = a, такое, что |A*(a)| = F.
Формула |x(A*(x)  B*)| = T. Но в области интерпретации данной формулы
существует значение x = a, для которого |A*(a)| = F и |B*| = F. Возможно, что
существует другое значение x = b, для которого |A*(b)| = F. Тогда
|x(A*(x)  B*)| =   A (a)  B  F  F  F   F , что противоречит предположению
* *

 A (b)  B  T  F  T 

* *

|(A*(x)  B*)| = T.
Проверим выполнение общезначимости в другую сторону. Предположим,
что |xA*(x)  B*  x(A*(x)  B*)| = F. Тогда |x(A*(x)  B*)| = F, и
|xA*(x)  B*| = T. Из |x(A (x)  B*)| = F следует, что существует такое x = a,
*

что |A*(a)  B*| = F. Отсюда следует, что |A*(a)| = F, |B*| = F. Следовательно, в

области определения предиката А(x) существует значение x = a, при котором
предикат |А*(а)| = F, значит, |xA*(x)| = F. Тогда формула |xA*(x)  F| = F, что
противоречит предположению. Следовательно, формула
х(A(x)  B)  xA(x)  B логически общезначима.

12.5. Логическое следование в логике предикатов

12.5.1. Определение логического следования

Определение 12.11. Говорят, что формула В логически следует из формулы
А, если в любой интерпретации, в которой А принимает истинные значения, В
также принимает истинные значения. Обозначение: A |= В.
В общем случае формула В является логическим следствием множества
формул , если она истинна на всех тех интерпретациях, на которых
выполнены (истинны одновременно) все формулы из .

Определение 12.12. Говорят, что формула А равносильна, или логически

эквивалентна, формуле В, если каждая из них логически влечет другую, т.е.
если A |= В и B |= A. Обозначение: А  В.

11
 Утверждения.
А |= В тогда и только тогда, когда |= А  В.
А1, А2, ..., An |=B, тогда и только тогда, когда |= А1&А2&...&An  B.
A  B тогда и только тогда, когда |= А  В.
Если А |= В и |А| = Т, то |В| = Т в некоторой интерпретации.
Если Г |=В и i(|Гi| = Т), то |В| = Т.

12.5.2. Основные правила вывода логики предикатов

Рассмотрим некоторые логические следования, которые выполнены в логике
предикатов. Каждое такое логическое следование задает правило вывода в
логики предикатов; некоторые из них будут использованы в формальной
теории предикатов.
1. Правило универсальной конкретизации (УК):
хА(х) |= А(у), если у свободно для х в А(х).
Доказательство. Нужно доказать, что если |xA*(x)| = T, то |A*(y)| = T в
некоторой интерпретации D. Допустим |A*(y)| = F. Тогда существует y = b,
b  D, такое что |A*(b)| = F. Но по условию на области D формула |xA*(x)| = T,
а так как bD, то |xA*(x)| = F на D. Полученное противоречие доказывает
теорему.
2. Правило экзистенциальной конкретизации (ЭК):
xA(x) |=A(b), где b  D.
Доказательство. Допустим, |xA*(x)| = T в некоторой интерпретации D.
Тогда существует такое x = b, b  D, что |A*(b)| = T, и следовательно,
|xA*(x)| = T.
3. Правило экзистенциального обобщения:
A(y) |= xA(х), где х свободно для y в A(у).
Доказательство. Если |A*(y)| = Т в некоторой интерпретации D, то
существует у = b, b  D, такое что |A*(b)| = T. Следовательно, |xA*(x)| = T в
интерпретации D.
4. Правило всеобщности:
C  A(х) |= C  x(A(х)).
Доказательство. По условию |C  A*(x)| = T в интерпретации D. Это
возможно, если
a) |C| = F, тогда |CA*(x)| = T и |CxA*(x)| = T;
b) |C| = T, |C  A*(x)| = T, следовательно, |A*(x)| = T в интерпретации D для
любого х, значит |C  xA*(x)| = T.
5. Правило существования:
A(x)  C |= xA(x)  C.
Доказательство. |A*(x)  C| = T в некоторой интерпретации D. Допустим
|xA*(x)  C| = F в интерпретации D. Тогда |C| = F, (C не зависит от x) и
|xA*(x)| = T, следовательно, существует х = b, такое что |A*(b)| = T и
|A*(b)  C| = F, в то время как по условию |A*(x)  C| = T. Полученное
противоречие доказывает теорему.

12
 6. Правило обобщения Gen (от английского слова Generalization):
если  |= А(х), то  |= хA(х), если х не входит свободно ни в одну из формул
.
Доказательство. Предположим, выбрана область интерпретации D и
произведена замена в А всех свободных переменных на элементы из D,
например, х = b  D. Тогда |A*(b)| = T, так как |i| = T для всякого i. Так как х не
входит свободно ни в одну из формул , то во множестве  замены х на b не
было и, следовательно, для x  D, такого что |A*(х)| = Т, |= A*(х),
следовательно,  |= хA*(х).

12.6. Исчисление предикатов первого порядка

12.6.1. Формальная теория K

Поскольку построение таблиц истинности для любой формулы не
представляется возможным для проверки общезначимости формул теории
предикатов, аксиоматический метод необходим для исследования формул,
содержащих кванторы. Рассмотрим формальную теорию K  исчисление
предикатов первого порядка.

Исчисление предикатов, которое не содержит предметных констант,

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

Символами теории K служат те же символы логики предикатов:

пропозициональные связки , , , , вспомогательные символы (, ),
множества предметных переменных: x1, x2, ..., предметных постоянных:
a1, a2, ..., функциональные символы: fin, i = 1, …, k, n = 0, …, m, предикатные
символы: Pin, i = 1, …, k, n = 0, …, m. Определения терма, формулы и
пропозициональных связок &, ,  остаются в силе для теории первого
порядка.

13
 Аксиомы теории K разбиваются на логические аксиомы и собственные.
Логические аксиомы. Каковы бы ни были формулы А, В, С теории K,
следующие формулы являются логическими аксиомами теории K.
А1 А  (В  А).
А2 (А  (В  С))  ((А  В)  (А  С).
А3 (В  А)  ((В  А)  В).
А4 хА(х)  А(y), если у свободно для х в формуле А(х).
А5 х(А  В(х))  (А  хВ(х)), если А не содержит свободных вхождений х.
Собственные аксиомы формулируются отдельно для каждой конкретной
содержательной предметной области.
Теория первого порядка, не содержащая собственных аксиом, называется
исчислением предикатов первого порядка.
Правилами вывода во всякой теории первого порядка являются:
1) modus ponens (МР): из А и А  В следует В,
2) правило обобщения Gen: из  |= А(х), следует  |= хA(х), если х не
входит свободно ни в одну из формул .
Моделью теории первого порядка K называется всякая интерпретация, в
которой истинны все аксиомы теории K. Если правила вывода МР и Gen
применяются к истинным в данной интерпретации формулам, то результатом
являются формулы, также истинные в той же интерпретации. Следовательно,
всякая теория K истинна во всякой ее модели.
Множество логических следствий логических аксиом теории K совпадает с
множеством теорем теории K. Для исчисления предикатов первого порядка
множество его теорем совпадает с множеством логически общезначимых
формул. Аксиомы А1, А2, А3 теории K и правило МР определены в теории L,
следовательно, все теоремы теории L включены во множество теорем теории
K.
Метатеорема о дедукции в теории K может быть сформулирована в
ослабленном виде.
Метатеорема о дедукции. Если существует вывод формулы В из множества
гипотез  и формулы А, и в этом выводе ни при каком применении правила
Gen к формулам, зависящим от А, не связывается квантором никакая свободная
переменная формулы А, то   А  В.
Следствие 1. Если существует вывод , А |— В, и в этом выводе ни разу не
применялось правило Gen к формулам, зависящим от А, то   АВ.
Следствие 2. Если существует вывод , А  В, где А  замкнутая формула,
то   АВ.

12.6.2. Теория первого порядка с равенством

Рассмотрим теорию первого порядка K, в числе предикатных символов
которой содержится предикат равенства А12(t, s), который для сокращения
будем обозначать t = s, а вместо А12(t,s) соответственно будем писать t  s.

14
 Определение 12.13. Теория K называется теорией первого порядка с
равенством, если следующие формулы являются теоремами теории K:
А6. х1(х1 = х1) (рефлексивность равенства);
А7. (х = y)  (А(x, x)  А(x, y)) (подстановочность равенства),
где х, y  предметные переменные, А(x, x)  произвольная формула, А(x, y)
получается заменой каких-нибудь (не обязательно всех) свободных схождений
x на y, если y свободно для тех вхождений x, которые заменяются.

Докажем основные теоремы теории первого порядка с равенством.

Теорема 12.1.  t = t для любого терма t.
Доказательство. Из А6: х1(х1 = х1) по правилу универсальной
конкретизации получаем  t = t.
Теорема 12.2.  х = y  y = х.
Доказательство. Пусть А(x, x) есть х = х, А(x, y) есть х = y. Тогда:
 (х = y)  (х = х  х = y) согласно А7;
 х = х согласно теореме 12.1;
 х = y  y = x по правилу удаления средней
посылки.
Теорема 12.3.  х = y  (y = z  х = z).
Доказательство. Пусть А(y, y) есть y = z, А(y, x)  х = z. Тогда, заменив х
на y и y на х, получим:
 (y = x)  (y = z  х = z) согласно А7;
  y = x согласно теореме 12.2;
 х = y  (y = z  х = z) по правилу силлогизма.

12.7. Доказательство логических следований в логике

предикатов

12.7.1. Формализация предложений естественного языка

Язык логики предикатов традиционно служит для формализации
высказываний естественного языка. Считается, что «язык предикатов»
является врожденным и лежит в основе усвоения родного языка и форм
познавательной активности.
Суждения естественного языка делятся на единичные, общие и частные.
Единичное суждение выражает принадлежность (или непринадлежность)
предмета классу предметов, например: «Украина – европейская страна»
Общие суждения выражают включение (или не включение) класса
предметов в другой класс, например: «Все судьи – юристы».
Частные суждения выражают частичную принадлежность (или
непринадлежность) предметов одного класса к другому классу, например,
«Некоторые ученые является преподавателями».

15
 Пример. Рассмотрим область определения М = {люди} с заданными на ней
предикатами: J(x)  х поэт; L(x)  х писатель; S(x)  х композитор; A(x, y)  x
любит у.
Понятие «писатель» можно определить как множество всех людей,
пишущих литературные произведения. Понятие «поэт» можно определить как
множество людей, пишущих литературные произведения, но непременно в
стихотворной форме. Таким образом, множество поэтов является
подмножеством множества писателей, т.е. свойство быть поэтом влечет
свойство быть писателем, и область истинности предиката J включена в
область истинности предиката L (см. рис.12.31), т.е. справедливо высказывание:
каждый поэт является писателем, что можно выразить в виде формулы:
x(J(x)  L(x)).

L - писатели L - писатели S-
композиторы

J - поэты J - поэты S-
композиторы

Рис. 12.3. Области определения предикатов

Рассмотрим высказывание: «Некоторые писатели – композиторы». Это

высказывание истинно, если существуют такие объекты, которые являются
одновременно и писателями, и композиторами: x(L(x)&S(x)), т.е. области
истинности предикатов L(x) и S(x) пересекаются: L  S. Следует ли из этого,
что существуют поэты-композиторы? Нет, не следует. Области истинности
предикатов J(x) и S(x) могут пересекаться, а могут и не пересекаться (см.
рис.12.3). Мы могли бы сказать: «Возможно, существуют поэты-
композиторы», – однако категорию возможности нельзя выразить в теории
предикатов 1-го порядка.
Формализуем некоторые другие высказывания:
x(S(x)&y(L(y)  А(x, y))) некоторые композиторы любят
всех писателей;
x(S(x)&y(A(x,y)  L(y))) некоторые композиторы любят
только писателей;
x(S(x)&y(L(y)&A(x, y))) некоторые композиторы любят
некоторых писателей;
x(S(x)y(J(y)A(x,y))) все композиторы не любят
поэтов (или ни один композитор
не любит поэтов).

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

16
12.7.2. Основные схемы суждений
Субъект и предикат называются терминами суждений. Связка в суждении
отображает связь, которая существует между предметом мысли (субъектом) и
соответствующим свойством. Она указывает на наличие или отсутствие у
предмета суждения свойства, признака, о котором идет речь в предикате.
Слова, которые выражают связку, часто опускаются. Например, флегматик -
/это есть/ один из видов темпераментов; три – простое число. Следует четко
разграничивать понятия предмета и субъекта суждений. Предмет суждения –
это реальный предмет, о котором идет речь в суждении, а субъект – понятие о
реальном предмете, который выступает предметом суждения.
В зависимости от объема субъекта суждения делятся на общие (все) и
частичные (некоторые), в том числе и единичные. Общее суждение –
суждение, в котором по каждому мыслимому субъекту элемента множества
утверждается или отрицается определенный признак. Частичное суждение –
суждение, в котором содержится знание о наличии либо отсутствии признака у
части предметов мыслимых в субъекте, а при наличии либо отсутствии этого
признака для остальных предметов, мы можем ничего не знать (единичное
суждение – частный случай частичного, суждение о субъекте, у которого есть
единственное понятие; например, Киев – столица Украины; но в логике,
единичные суждения особым образом не выделяются).
По качеству, то есть по характеру связки, суждения можно разделить на
утвердительные и отрицательные. В утвердительных – объем субъекта
включается в объем предиката. То есть, в суждении констатируется наличие
признака у определенного предмета или множества. А в отрицательных –
объем исключается, в суждении констатируется отсутствие признака у
предметов, мыслимых в субъекте суждения. В целом, отрицательные суждения
несут меньше информации по сравнению с утвердительными. Поэтому в
логике чаще встречаются суждения, отвечающие правилу определения
понятий, согласно которым определения должны быть утвердительными.
Если за основу деления суждений на виды брать и количественную и
качественную характеристику, то можно выделить четыре основных схемы .
Общеутвердительные – наличие признака для каждого предмета.
Все S есть P. Обозначается2 буквой А.
Общеотрицательное – констатирутся отсутствие признака в каждом
предмете, мыслимым в субъекте суждения. Все S не есть P. Обозначается
буквой Е.
Частичноутвердительное – наличие признака для части предмета.
Некоторые S есть P. Обозначается буквой I.
Частичноотрицательное – отсутствие признака для части предметов.
Некоторые S не есть P. Обозначается буквой O.

2
Обозначения видов суждений идет от латинских «affirmo» (утверждаю) - гласными A и I обозначаются два
вида утвердительных суждений, и гласными E и O обозначаются два вида отрицательных суждений от лат.
«nero» (отрицаю).

17
 Соотношение объемов терминов суждения (субъекта и предиката) для
различных схем можно проиллюстрировать следующим образом:

Общеутвердительное А –
два случая
P P=S
S

Общеотрицательное Е S
P

Частичноутвердительное І -
два случая

P
S S
S P

Частичноотрицательное О
(второй случай -некоторые птицы
не летают)

S P S P
S

Приведем еще несколько примеров.

1). Общеутвердительное суждение:
A : Все S суть P: x(S(x)  P(x)).
Пример. Пусть x  {люди}, y  {произведения}. На этих областях заданы
предикаты: P(x): x – писатель, V(x): x – поэт, W(x, y): x пишет y, N(y): y
– роман, K(y): y – конспект, C(y): y – стихи, U(y): y – учебник. Рассмотрим два
понятия: «учебники» и «конспекты». Понятие «учебники» обладает тем
свойством, что это книги, по которым учатся. Предикат U(x) среди всех книг
выделяет те, по которые являются учебниками. По конспектам также учатся,
однако, конспектыnero обладают еще и тем свойством, что они написаны от
руки. Поэтому конспекты являются подмножеством учебников (см. рис. 12.4).
Отсюда следует, что «каждый конспект является учебником», или «все
конспекты  учебники», что выражается формулой: x(K(x)  U(x)).

18
 U(x): x - учебник
P

K(x): x - конспект
S

Рис. 12.4. x(K(x)  U(x)) – Все конспекты – учебники.

2). Общеотрицательное суждение:

E: Ни одно S не суть P: x(S(x)  P(x)).
Пример. Рассмотрим два понятия: «конспекты» и «романы». Очевидно, что
области истинности этих предикатов не пересекаются (см. рис. 12.5), т.е. «ни
один конспект не является романом», что выражается формулой:
x(K(x)  N(x)).

K(x): x - конспект N(x): x - роман

S P

Рис. 12.5. x(K(x)  N(x)) – ни один конспект не является романом.

3). Частноутвердительное суждение:

I: Некоторые S суть P – x(S(x)&P(x)).
Пример. Понятия «романы» и «стихи» имеют пересекающиеся объемы
(рис.12.6),  как известно, существуют романы в стихах, например, «Евгений
Онегин». Утверждение «некоторые романы написаны в стихах» выражается
формулой: x(N(x)&C(x)).

N(x): x - роман C(x): x - стихи

S P

Рис. 12.6. x(N(x)&C(x)) – некоторые романы – стихи.

4). Частноотрицательное суждение:

O: Некоторые S не суть P: x(S(x)&P(x)).
Пример. Рассмотрим утверждения: «некоторые романы – не стихи»:
x(N(x)&C(x)), «некоторые конспекты – не романы»: x(K(x)&N(x)).
Области истинности соответствующих предикатов могут пересекаться, а могут
и не пересекаться (см. рис. 12.7).

Рис. 12.7. x(N(x)&C(x)) – некоторые романы – не стихи;

x(K(x)&N(x)) – некоторые конспекты – не романы.

Другие примеры формализации высказываний приведены в таблице 12.5.

19
 Таблица 12.6.
Все конспекты – учебники. y(K(y)  U(y))
Конспект по математике (М)  K(М) & U(М)
учебник.
Ни один учебник не написан в y(U(y)  C(y))
стихах.
Некоторые романы написаны в y(N(y)&C(y))
стихах.
«Евгений Онегин» – это роман в N(Е.Онегин.)&C(Е.Онегин.)
стихах.
Все поэты пишут стихи. x(V(x)  y(C(y)  W(x,y)))
Некоторые писатели пишут x(P(x)&y(W(x,y)  N(y)))
только романы.
Писатель Лев Толстой писал P(Толстой)&y(W(Толстой,y)  N(y))
только романы.
Каждый что-нибудь пишет. xyW(x,y)
Каждый, кто пишет что- x(yW(x,y)  W(x,NY))
нибудь, пишет поздравление с
Новым годом (NY).
Некоторые люди ничего не xyW(x,y)
пишут.

Эти четыре типа суждений образуют так называемых логический квадрат,

который показывает связь между схемами суждений (рис. 12.8).

A-Все S суть P Контрарные E- Ни одно S не суть P

п к к п
о о
о н н о
д т т д
р р
ч а а ч
и д и
и и
н к к н
е т т е
о о
н р р н
и н н и
е ы ы е
е е

I- Некоторые S суть P Субконтрарные O- Некоторые S не суть P

Рис. 12.8. Логический квадрат

Логический квадрат3 – искусственная графическая наглядная схема для

изображения связей и свойств суждений A, E, I, O, облегчающая запоминание
характера отношений между видами суждений. Если названные углы квадрата
обозначить буквами суждений, в которых речь идет об одном и том же, то

3
Логический квадрат, по мнению К Прантля, был предложен в ХI веке византийским философом М. Псёллом.

20
линии, соединяющие эти точки, обозначат определенное отношение между
соответствующими суждениями. Знать отношения между суждениями –
значит быть способным определить логическое значение (T или F) одного
значения относительно других.
На рисунке: контрарные – противоположные, контрадикторные –
противоречивые, субконтрарные или подконтрарные – напоминающие
противоположные, но существенно от них отличающие, подчинение –
находящиеся в отношении подчинения.
Горизонтальные стороны квадрата показывают отношения контрарности и
субконтрарности.
Понимание контрарных суждений приводит к тому, что А и Е не могут быть
одновременно истинными, но бывают одновременно ложными. Из этого, что
если одно из них истинно, то другое обязательно ложно. Но если одно из них
ложно, то сделать вывод о значении другого мы не можем, так как оно может
быть как Т, так и F.
Утверждения A: Все S суть P: x(S(x)  P(x)) и E: Ни одно S не суть P :
x(S(x)  P(x)). Они совместимы по ложности, но несовместимы по
истинности, т.е. могут быть одновременно ложными, но не могут быть
одновременно истинными. Например, «все романы написаны в стихах»:
x(N(x)  C(x)) и «ни один роман не написан в стихах»: x(N(x)  C(x)), 
контрарные утверждения; оба они ложны. Утверждения: «все люди смертны» и
«все люди бессмертны»,  также контрарны, первое  истинно, второе ложно.
Субконтрарные утверждения совместимы по истинности, но несовместимы
по ложности, т.е. могут быть одновременно истинными, но не могут быть
одновременно ложными. Утверждения I: Некоторые S суть P: x(S(x)&P(x)) и
O: Некоторые S не суть P: x(S(x)&P(x)). Например, «некоторые романы 
стихи»: x(N(x)&C(x)) и «некоторые романы не стихи»: x(N(x)&C(x)), 
субконтрарны; оба они истинны.
Суждения, соединенные диагоналями, называются контрадикторными.
Контрадикторные утверждения несовместимы по истинности и несовместимы
по ложности, т.е. не могут быть одновременно истинными, и не могут быть
одновременно ложными. Одно является отрицанием другого:
1) A = O, т.е. «не все S суть P»  «некоторые S не суть P». Действительно:
x(S(x)  P(x))  x(S(x)  P(x))  x(S(x)&P(x)). Например,
x(N(x)  C(x)) («все романы написаны в стихах» и x(N(x)&C(x))
(«некоторые романы  не стихи»)  контрадикторные утверждения, одно
является отрицанием другого.
2) E = I , т.е. «неверно, что ни одно S не суть P»  «некоторые S суть P».
x(S(x)  P(x))  x(S(x)  P(x))  x(S(x)&P(x)).
Вертикальные стороны квадраты показывают отношение логического
следования (в логическом квадрате  отношение подчинения): утверждения,
находящиеся снизу, логически следуют из тех, что находятся сверху.
Действительно, если «все S суть P», то и «некоторые S суть P», т.е. выполнено
логическое следование: x(S(x)  P(x)) |= x(S(x)&P(x)), откуда следует, что

21
|A I|  T. Например, если «все конспекты  учебники», то и «некоторые
конспекты  учебники». Другое логическое следование также очевидно: если
«ни одно S не суть P», то и «некоторые S не суть P»: x(S(x)  P(x)) |=
x(S(x)&P(x)), откуда следует, что |EO|  T. Например, если «ни один
учебник не написан в стихах», то и «некоторые учебники не написаны в
стихах». Но из ложности А (или Е) не следует однозначный ответ
относительно I (или О).
Зависимость истинностных значений суждений типа A, E, I, O, в которых
речь идет об одном и том же, можно передать с помощью таблицы.

A E I O
Т F Т F
F F Т Т
F Т F Т

12.7.4. Доказательство логических следований

В данном разделе мы рассмотрим два способа доказательства логических
следований: неформальный способ. Основанный на доказательстве от
противного и формальный вывод в исчислении предикатов. В дальнейшем
будет рассмотрен более эффективный метод, позволяющий автоматизировать
процесс доказательства логического следования (логической общезначимости).
Рассмотрим несколько схем формализованных задач.
Пример 1. F1: х(D(х)  L(x)),
F2: х(Q(х)  L(x)).
Заключение G: х(D(х)  Q(х)).
Это может соответствовать задаче: все птицы летают, ни одна рыба не
летает, следовательно, ни одна птица не является рыбой.
На области определения «живые существа» мы определили D(x): x  птица,
Q(x): x  рыба, L(x): x летает.
По определению, |F1| = T, |F2| = T. Предположим, что |G| = F.
Из предположения |х(D(х)  Q(х))| = F следует, что существует по
крайней мере одно значение х = a, такое что |D(a)  Q(a)| = F, откуда
получаем, что |D(a)| = T, |Q(a)| = F, т.е. |Q(a)| = T.
Из посылки F1: |х(D(х)  L(x))| = T следует, что раз посылка истинна для
всякого х, в том числе, для х = a, получаем |(D(a)  L(a))| = T, т.е. |(T 
L(a))| = T, откуда |L(a))| = T.
Поскольку посылка F2: |x(Q(х)  L(x)))| = T для всех значений x, то она
истинна и для x = a: |(Q(a)  L( a))| = T. Так как |Q(a)| = T, то |L( a)| = T.
Получаем, что истинны оба утверждения: |L(a)| = T и |L(a)| = T. Полученное
противоречие доказывает логическое следование.
В формальном выводе применяются правила: универсальной конкретизации
(УК), правило MP.

22
 Формальный вывод.
1. х(D(х)  L(x)) Г1
2. x(Q(х)  L(x)) Г2
3. Q(z)  L( z)) УК(2)
4. D(z)  L( z) УК(1)
5. L( z))  Q(z) правило контрапозиции (3)
6. D(z)  Q(z) правило силлогизма (4,5)
7. х(D(х)  Q(х)) Gen (6)

Пример 2. F1: х(D(х)  L(x)),

F2: D(а)
Заключение G: L(а).
Это может соответствовать задаче: редкая птица долетит до середины
Днепра. Пингвин птица редкая, следовательно, пингвин долетит до середины
Днепра.
На области определения «живые существа» мы определили D(x): x  птица,
L(x): x долетит до середины Днепра, и а=«пингвин», константа из области
определения.
По определению, |F1| = T, |F2| = T. Предположим, что |G| = F.
Из предположения | L(а)| = F .
Поскольку посылка F2: | D(а)| = T , то из посылки F1: |х(D(х) 
L(x))| = T следует, что раз посылка истинна для всякого х, в том числе, для
х = a, получаем |(D(a)  L(a))| = T, т.е. |(T  L(a))| = T, откуда |L(a))| = T.
Получаем, что истинны оба утверждения: |L(a)| = T и |L(a)| = T. Полученное
противоречие доказывает логическое следование.
В формальном выводе применяются правила: универсальной конкретизации
(УК), правило MP.
Формальный вывод.
1. х(D(х)  L(x)) Г1
2. D(а) Г2
3. D(z)  L( z) УК(1)
4. L( а) МР(2,3) с подстановкой а= z
GMP (обобщенное правило отделения)

Пример 3.
Изучение правил вывода с точки зрения психологии (середина 30-х годов
прошлого столетия, Р.Вудвортс) привели к открытию феномена, названного
«эффектом атмосферы», согласно которому «атмосфера», создаваемая
посылками, настраивает испытуемого на принятие одних выводов и
отбрасывании других. Этот феномен можно свести к двум принципам. Во-
первых, если, по крайней мере одна посылка отрицательна, то и вывод будет
сформулирован, скорее, в отрицательной форме, хотя предрасположенность к
положительным ответам – характерная черта познавательных процессов у
человека. Во-вторых, если, по крайней мере одна посылка является частной

23
(т.е. содержит квантор «некоторые»), то и вывод будет скорее, частным. В
противном случае он будет сформулирован в универсальной форме, для
которой характерно использование кванторов «все» или «ни один». Одним из
ярких примеров является следующий силлогизм:
«Некоторые пчеловоды – художники»
«Ни один химик не является пчеловодом».
Как показали эксперименты, из 20 испытуемых 12 заявили, что из этих
посылок нельзя сделать однозначного вывода. Лишь двое смогли дать
правильный ответ:
«Некоторые художники – не химики.

24