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

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

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

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

Пусть А(х) и В(х) – переменные предикаты, а С – переменное высказывание (или формула, не содержащая х). Тогда имеют место равносильности:

1.

2.

3.

4.

5.

6. .

7.

8.

9.

10.

11.

12.

13.

14.

15.

ЗАКОНЫ ЛОГИЧЕСКИХ ОПЕРАЦИЙ

(общезначимые формулы логики предикатов)

16. . 17. . 18. . 19. . 20. . 21. . 22. . 23. . 24. . 25. . 26. . 27. . 28. . 29. . .

30. . . 31. . 32. . 33. . 34. . 35. . 36. . 37. . 38. 39.

Дата добавления: 2014-01-04