管理离散前三章总结20081209.pptVIP

用反证法（即F规则）证明（?x）(?A(x) ?B(x)), （?x）?B(x) ?(?x)A(x) 解：1、?(?x)A(x) P规则（假设前提） 2、（?x）? A(x) T规则和1 3、? A(x) US规则和2 4、（?x）(?A(x) ?B(x)) P规则 5、?A(x) ?B(x) US规则和4 6、B(x) T规则3和5 7、（?x）?B(x) P规则 8、?B(x) US规则和7 9、B(x) ? ?B(x) T规则6和8 10、(?x)A(x) F规则1和9 用CP规则证明下式：  （?x）（?y）(P(x) ?Q(y)) ?(?x)P(x) ?(?y)Q(y) 解：1、(?x)P(x) P规则（附加前提） 2、P(a) ES规则和1 3、（?x）（?y）(P(x) ?Q(y)) P规则 4、（?y）(P(a) ?Q(y)) US规则和3 5、P(a) ?Q(y) US规则和4 6、Q(y)