命题逻辑公理系统.pptVIP

├ ?x(P(x)?Q(x))? (?xP(x) ??x Q(x)) A1= (?x(P(x)?Q(x))?(P(x)?Q(x)) A2=(P(x)?Q(x))?((?xP(x)? P(x))?(?xP(x) ?Q(x))) A3= (?x(P(x)?Q(x))? ((?xP(x)?P(x))?(?xP(x) ?Q(x))) A4= (?x(P(x)?Q(x))? (?xP(x) ?Q(x)) A5=?x ((?x(P(x)?Q(x))? (?xP(x) ?Q(x))) A6= ?x(P(x)?Q(x))??x (?xP(x) ?Q(x)) A7=?x (?xP(x) ?Q(x)) ?(?xP(x) ??x Q(x)) A8=?x(P(x)?Q(x))? (?xP(x) ??x Q(x)) 第63页，共116页。 ├ (?xP(x) ??xQ(x)) ? ?x(P(x) ?Q(x)) A1= (?xP(x) ??xQ(x)) ? ?xP(x) A2= ?xP(x) ?P(x) A3= (?xP(x) ??xQ(x)) ? P(x) A4= (?xP(x) ??xQ(x)) ? ?xQ(x) A5= ?xQ(x) ?Q(x) A6= (?xP(x) ??xQ(x)) ? Q(x) A7= (?xP(x) ??xQ(x)) ? P(x) ? Q(x) A8=?x((?xP(x)