Тема 4.4 Понятие предикатной формулы.


Напомним некоторые из определений и введем понятие формулы логики предикатов аналогично тому, как это было сделано в логике высказываний.

Зададим сначала алфавит символов, их которых будем составлять формулы:

· предметные переменные: х, у, z, xi, yi,zi (i – натуральное число);

· предикатные буквы: P, Q, R, …;

· символы операций – отрицания, конъюнкции, дизъюнкции, импликации, эквиваленции;

· кванторы общности и существования;

· вспомогательные символы – скобки, запятая.

Определение.

1. Всякий нуль-местный предикатный символ – формула.

2. Всякий n–местный предикатный символ – формула.

3. Если F – формула, а x - предметная переменная, то "x(F) и $x(F) – формулы.

4. Если F1 и F2 – формулы, то - формулы.

5. Никаких других формул в логике предикатов нет.

Определение. Формулы, определенные в п. 1 и 2, называются элементарными. Формулы, не являющиеся элементарными, называют составными.

Пример

1. Р; Q(x, y, z); R(x1, x2) – элементарные формулы.

2. "х (Р(x, y, z); "x ($y (P(x, y, z))); - составные формулы.

 

Формула F в формулах вида "x(F) и $x(F) называется соответственно областью действия квантора "x или $x.

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

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

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

 



Дата добавления: 2016-07-22; просмотров: 1772;


Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.006 сек.