用永真公理系统证明下列公式.pptVIP

2．1 用永真公理系统证明下列公式 (1) P?(P?P) 2.2 已知公理： A P?(Q? P) B (Q? R)?((P?Q)?(P?R)) C (P?P)?P D Q?(P?Q) E (P?Q)?(Q?P) 2.2(1)的证明 (1) P?(Q? P) 公理A (2) (Q? R)?((P?Q)?(P?R)) 公理B (3) (P∨P)?P 公理C (4) Q?(P?Q) 公理D (5) (P∨Q)?(Q∨P) 公理E (6) ((P∨P) ?P) ?((P?(P∨P)) ?(P?P)) (2)式中Q用P∨P、R用P代入 (7) (P?(P∨P)) ?(P?P)