Предварённая нормальная форма. Общезначимость и выполнимость формул

1. Предикаты Лекция 3

§7. Предварённая нормальная форма
§8. Общезначимость и выполнимость формул

2. §7. Предварённая нормальная форма

Определение. Говорят, что формула логики предикатов имеет
нормальную форму, если она содержит только операции
конъюнкции, дизъюнкции и кванторные операции, а операция
отрицания отнесена к элементарным формулам.
Очевидно, что, используя равносильности алгебры высказываний
и логики предикатов, каждую формулу логики предикатов можно
привести к нормальной форме.

3. §7. Предварённая нормальная форма

Например, приведем к нормальной форме формулу
(∃