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

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

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

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

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

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

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