离散数学虞慧群1-redicatelogic.ppt

* * * * 几类等值式 （1） 命题公式的推广 e.g. P(x) ? Q(x) ? ? P(x) ? Q(x) （2）否定深入 ? ? x P(x) ? ? x(? P(x)) ? ? xP(x) ? ? x (? P(x)) * （3）量词作用域的扩张与收缩 设B中不含x的自由出现，则 ? x(A(x)? B) ? ? x A(x) ? B ? x(A(x)? B) ? ? x A(x) ? B ? x(A(x)? B) ? ? x A(x) ? B ? x(A(x)? B) ? ? x A(x) ? B * （4）? x(A(x) ? B(x)) ? ? x A(x) ? ? x B(x) ? x(A(x) ? B(x)) ? ? x A(x) ? ? x B(x) （5）多个量词的使用 ? x ? y A(x,y) ? ? y