Введение квантора существования

Исключения квантора существования

Исключения квантора общности

(x)(х) ├ (x→ А);

(x)(х) ├ (x→ А);

(х) ├ (x)(x→ А);

Здесь (х) — произвольная формула логики предикатов, имеющая связанную квантором общности или существования переменную х; (x→ А) — формула (х), в которой все вхождения переменной х заменены на константу А.