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

Литералом (литерой) называют любую элементарную формулу, или её отрицание.

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

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

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

Рассмотрим основные равносильности логики предикатов, имеющих кванторы.