4. Понятие формулы логики предикатов

В логике предикатов будем пользоваться следующей символикой:

1. Символы р, q, r, ... – переменные высказывания, принимающие два значения: 1 – истина, 0 – ложь.

2. Предметные переменные – х, y,z,..., которые пробегают значения из некотopoгo множества М;,... – предметные константы, то есть значения предметных переменных.

3.– одноместные предикатные переменные;– n-местные предикатные переменныесимволы постоянных предикатов.

4. Символы логических операций: &, , →, –.

5. Символы кванторных операций: .

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

Определение формулы логики предикатов.

1. Каждое высказывание как переменное, так и постоянное, является формулой (элементарной).

2. Если – n-местная предикатная переменная или постоянный предикат, а– предметные переменные или предметные постоянные, не обязательно все различные, тоесть формула. В этой формуле предметные переменные являются свободными. Формулы вида 1 и 2 называются элементарными.

3. Если А и В – формулы, причем такие, что одна и та же предметная переменная не является в одной из них связанной, а в другой свободной, то А ∨В, А& В, А→В есть формулы. В этих формулах те переменные, которые в исходных формулах были свободными, являются свободными, а те, которые были связанными, являются связанными.

4. Если А – формула, то – формула, и характер предметных переменных при переходе от формулы А к формулене меняется.

5. Если А(х) – формула, в которую предметная переменная х входит свободно, то словаиявляются формулами, причем предметная переменная в них входит связанно.

6. Никакая другая строка символов формулой не является.

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

5. Значение формулы логики предикатов

О логическом значении формулы логики предикатов можно говорить лишь тогда, когда задано множество М, на котором определены входящие в эту формулу предикаты. Логическое значение формулы логики предикатов зависит от значений трех видов переменных: 1) значений входящих в формулу переменных высказываний, 2) значений свободных предметных переменных из множества М, 3) значений предикатных переменных.

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

6. Равносильные формулы логики предикатов

Определение 1. Две формулы логики предикатов А и В называются равносильными на области М, если они принимают одинаковые логические значения при всех значениях входящих в них переменных, отнесенных к области М.

Определение 2. Две формулы логики предикатов А и В называются равносильными, если они равносильны на всякой области.

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

Ясно, что все равносильности алгебры высказываний будут верны, если в них вместо переменных высказываний подставить формулы логики предикатов. Но, кроме того, имеют место равносильности самой логики предикатов. Рассмотрим основные из этих равносильностей. Пусть А(х) и В(х) – переменные предикаты, а С – переменное высказывание. Тогда

1. 

2. 

3. 

4. 

5. 

6. 

7. 

8. 

9. 

10. 

11. 

12. 

13. 

14. 

15. 

Равносильность 1 означает тот простой факт, что, если не для всех x истинно А(х), то существует x, при котором будет истиной.

Равносильность 2 означает тот простой факт, что, если не существует x, при котором истинно А(х), то для всех х будет истиной.

Равносильности 3 и 4 получаются из равносильностей 1 и 2. Соответственно, если от обеих их частей взять отрицания и воспользоваться законом двойногo отрицания.

Докажем равносильность 5. Если предикаты А(х) и B(х) одновременно тождественно истинные, то будет тождественно истинным и предикат А(х)&B(х), а поэтому будут истинными высказывания:

,

То есть в этом случае обе части равносильности 5 принимают значение –«истина».

Пусть теперь хотя бы один из предикатов, например А(х), будет не тождественно истинным. Тогда нетождественно истинным будет и предикат А(х)& В(х), а поэтому ложными будут высказывания

,

то есть и в этом случае обе части равносильности 5 принимают одинаковые (ложные) значения. Этим исчерпывается доказательство равносильности 5.

Докажем равносильность 8. Пусть переменное высказывание С принимает значение «ложь». Тогда тождественно истинным будет предикат С → В(х) и, очевидно, истинными будут высказывания и, то есть в этом случае обе части равносильности 8 принимают одинаковые (истинные) значения.

Пусть теперь переменное высказывание С принимает значение «истина». Если при этом переменный предикат является тождественно истинным, то будет тождественно истинным и предикат С → В(х), и, значит, истинными будут высказывания ,,, то есть и в этом случае обе части равносильности 8 принимают одинаковые (истинные) значения.

Если же предикат В(х) не является тождественно истинным, то не будет тождественно истинным и предикат , а поэтому ложными будут высказывания,,.

Следовательно, и здесь обе части равносильности 8 принимают одинаковые (ложные) значения. Этим исчерпывается доказательство равносильности 8.

Аналогично доказывают остальные из перечисленных равносильностей.

В заключение отметим, что формула не равносильна формулеа формулане равносильна формуле.

Однако, справедливы равносильности