Предикаттар логикасының формулаларының тепе-теңдігі

3.5 Предикаттар логикасының формулаларының тепе-теңдігі

А(х) және В(х) – айнымалы предикаттар, ал С – айнымалы тұжырым болсын (немесе х ке тәуелді емес формула). Онда келесі тепе-теңдіктер орынды:

1.

2.

3.

4.

5.

6. .

7.

8.

9.

10.

11.

12.

13.

14.

15.