离散数学第二章-命题演算的推理理论-命题演算的公理系统.pptVIP

例 （同定理3） 已知公理 A: P???P B: (P??Q) ?(Q??P) C: (P?Q) ?((R?P) ?(R?Q)) D: (P?Q) ?((Q?R) ?(P?R)) 要证 (P?Q) ?(?Q??P)为本系统中的定理。 公理推理证明定理的方法 对于简单题，可以把待证明的公式变成永真蕴涵式的后件，再证明前件永真。 引理 P?((P?Q)?Q) 证明： (1) (P?(Q?R))?(Q?(P?R)) 公理2 (2) ((P?Q)?(P?Q)) ? (P?((P?Q)?Q)) Q用P代入，R用Q代入，P用P ?Q代入 (3) P?P 公理1 (4) (P?Q)?(P?Q) 代入 (5) P?((P?Q)?Q) 分离(2)(4) 例1(p18) 已知引理，试证明(P??P)? ?P (1) P?((P?Q)?Q) 定理 (2) P?((P??P)