§5.

Логика предикатов

5.1 Основные понятия

Если объект высказывания, т.е. то о чём говорится в предложении, не

определён, то это предложение называется предикатом (или
высказывательной функцией). Его аргументами являются предметные
переменные (обозначаются строчными буквы латинского алфавита x, y, z,
…, x1, y1, z1). Высказывательная функция (предикат) принимает значения «1»
или «0», что соответствует значениям «истина» или «ложь». Дадим
математическое определение предиката:
Определение. Предикатом называется функция

P( x1, x2 ,..., xn ) : M1  M 2 ...  M n  0,1 ,

где xi  Mi (i  1, n) .
Таким образом, значения аргументов xi  Mi (i  1, n) принадлежат
предметной области M i , аргументы xi называются предметными
переменными, а значения функции принадлежат множеству {0;1}, т.е
принимают значения «ложь» или «истина». Е
Если предикат содержит n переменных, то он называеися n-местным.
Замечание:
1)при n=0, предикат наз. 0-местным и является конкретным
высказыванием..
2)если вместо всех предметных переменных подставить в предикат их
конкретные значения , то предикат тоже превратится в конкретное
высказывание.

Пример.
а) Одноместный предикат: P(x): x2=2, x є R
Этот предикат имеет знчение «истина», т.е. P( x)  1 при x   2 , при
остальных значениях x P ( x)  0 , т.е. принимает значение «ложь».
б) Рассмотрим трёхместный предикат:
P(x, y, z): «сумма квадратов двух натуральных чисел равна квадрату
натурального числа».
Этот предикат можно записать в виде P( x, y, z)  x2  y 2  z 2 , x, y, z  N .
Например, при x  3, y  4, z  5 значение предиката P( x, y, z )  1 .

Обозначение P( x1 , x2 ,..., xn ) может применяться как к обозначению

конкретного предиката, так и к обозначению предикатной переменной.
С помощью логических операций можно составлять формулы с предикатами.
Например, P( x1, x2 )  P1 ( x1, x2 )  P2 ( x1, x2 ) .
Но вводится и новые операции, которых не было в алгебре высказываний –
кванторные операции над предикатами.

5.2 Кванторные операции над предикатами

Определим две новые операции – кванторы существования и общности.

1)квантор общности (всеобщности) : 

Пусть А(x, y1, …, yn) – некоторый предикат. Высказывание «А(x, y1, …, yn)
истинно для всех х» записывается с помощью квантора общности  :
х  А  x, y1 , , yn   .
Квантор х  А  x, y1, , yn   зависит от переменных y1 , , yn , переменная х
- связанная переменная.
Пример. Пусть x  M , M  предметная область предиката. Значение
предиката х  P  x   - « истина», т.е. х  P  x    1 , тогда и только тогда, когда
для любого значения a  M P(a)  1 .

2)квантор существования: 
Пусть А(x, y1, …, yn) – некоторый предикат. Высказывание «Существует
значение переменной x такое, что А(x, y1, …, yn) истинно » записывается с
помощью квантора существования  :
х  А  x, y1 , , yn   .
Квантор х  А  x, y1, , yn  зависит от переменных y1 , , yn , переменная х -
связанная переменная.
Пример. Пусть x  M , M  предметная область предиката. Значение
предиката х  P  x  - « истина», т.е. х  P  x    1 , тогда и только тогда, когда
существует хотя бы одно значение элемента a  M такое что P(a)  1 .

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

В выражениях х  А  x, y1, , yn   и х  А  x, y1, , yn  предикат

А  x, y1 , , yn  называется областью действия квантора. Переменная x
назыается связанной переменной.

Предметная переменная предиката называется свободной переменной , если

по меньшей мере один раз эта переменная входит в формулу свободно от
кванторов.

Применение одной кванторной операции уменьшает число переменных, от

которых зависит предикат, на единицу.
Пример. Предикат А  x, y1, , yn  зависит от переменных  x, y1, , yn  , т.е.
число переменных равно (n+1). Каждое из выражений с квантором
х  А  x, y1 , , yn   или х  А  x, y1 , , yn   зависит от n переменных
 y1, , yn  .

Замечание. Одна и та же переменная может иметь в одной формуле как

свободные, так и связанные вхождения в некоторых подформулах.

Пример. Рассмотрим выражение с кванторами

 х (P(x) →  y(Q(х, y)))
а) в подформулу  y(Q(х, y)) y входит как связанная переменная, а х –
свободная
б) В формуле  х (P(x) →  y(Q(х, y))) х, y – связанные переменные.

5.4 Основные правила преобразования формул, содержащих кванторы

Замечание:для формул логики предикатов справедливы все правила

эквивалентных преобразований из алгебры логики, аналог правила замены на
эквивалентную подформулу.

Рассмотрим правила, относящиеся к кванторам.

5.4.1 Правило переименования связанных переменных

Связанную переменную можно переименовать в кванторе и всюду в области

действия квантора.

Пример. Рассмотрим выражение с кванторами из предыдущего примера

 х (P(x) →  y(Q(х, y))).
Переименуем связанную переменную x на u , получим равносильное
выражение  u (P(u) →  y(Q(u, y))).

Для переименования свободной переменной нужно заменить её во всех

вхождениях в формуле на другую переменную, не являющуюся связанной в
этой формуле.

5.4.2 Правило переноса квантора через отрицание

Пусть x - свободная переменная в формуле A( x ) . Тогда

х  А  х    х( А  х )
х  А  х    х( А  х )
5.4.3 Правило выноса квантора за скобки

Пусть x - свободная переменная в формуле A( x ) и x не содержится в

формуле B . Тогда
 х (А(х) v В) =  х (А(х)) v В.
 х (А(х) & В) =  х (А(х)) & В.
 х (А(х) v В) =  х (А(х)) v В
 х (А(х) & В) =  х (А(х)) & В

5.4.4 Перестановки кванторов

 х  y (А(х, y)) =  y  х (А(х, y))

 х  y (А(х, y)) =  y  х (А(х, y))

§6. Исчисление предикатов

6.1. Теорией первого порядка исчисления предикатов называется

формальная теория, в которой кванторы могут связывать только предметные
переменные, но не могут связывать предикаты или функциональные
символы.
Рассмотрим чистое исчисление предикатов первого порядка. Исчисление
предикатов называется чистым, если оно не содержит предметных констант,
функциональных символов, предикатов и собственных аксиом.
Чистое исчисление предикатов первого порядка:

1) Алфавит: логические связки ¬, →

служебные символы ( , )
кванторы  , 
предметные константы а, в, …, а1, в1, …
предметные переменные x, y, …, x1, y1, …
предикаты P, Q, …
функциональные символы f, g, …
2) Формулы:
(атом)
¬ (формула)
((формула) → (формула)),
 (переменная) (формула)
 (переменная) (формула)

(атом - предикат ( список термов); (термы – константы;

переменные; функциональные символы (список термов))

3) Аксиомы: аксиомы исчисления высказываний

 x( A( x))  A(t ) ,
A(t ))  x( A( x))
терм t – свободен для х в формуле А

4) Правила вывода: 1. Modus Ponens

B  A( x)
2.
B  x( A( x))
A( x)  B
3.
x( A( x))  B

Формула A содержит свободные вхождения переменной x , а формула B их не

содержит.

6.2 Полнота и непротиворечивость чистого исчисления предикатов

первого порядка.

Теорема 1. Всякая теорема чистого исчисления предикатов первого порядка

общезначима.
Верно и обратное утверждение: всякая общезначимая формула является
теоремой чистого исчисления предикатов первого порядка.
Теорема 2. Чистое исчисление предикатов первого порядка является
непротиворечивой теорией.