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