推理规则和等值式 推理规则和归属替换规则的等值式 基本的有效论证形式 逻辑等值表达式 1.肯定前件式(M.P.): 10.德摩根律(DeM.): Pp9,p,.9 ~(p·q)I(pV-g) 2.否定后件式（M.T.): (pVg)I(p·-g) ppq,9,∴.p 11.交换律（Com.): 3.假言三段论（H.S.): (pVq)I(qVp) pp9,9pr,∴.pDr (p·q)I(q‘p) 4.析取三段论（D.S.): 12.结合律（Assoc.): pVq,p,∴q [pV (gVr)][(pVg)Vr] [p(g·r)][(p·q)·r] 5.构成式二难推理（CD.): 13.分配律(Dist.): (pg)·(rs),pVr,∴.gVs [p·(qVr)]E[(p·g)V(p·r)] 6.吸收律（Abs.): [pV (q.r)][(pVq).(pVr)] pp9,∴.pp(p·9) 14.双重否定律(D.N.): 7.消去律(Simp.): pI~p p·q,∴p 15.易位律（Trans..): 8.合取律(Conj.): (pq)(~qp) P,9,p·q 16.实质蕴涵律（mpl.): 9.附加律(Add.): (p-q)(-pVq) p,∴.pVg 17.实质等值律（Equiv.): (p=g)[(pq)·(qp)] (p=g)E[(p·g)V(p·g)] 18.输出律（Exp.): [pp(gor)]I[(p·g)pr] 19.重言律(Taut.): pI(pVp) p(p·p)