五、变形(推理)规则 　　1.代入规则 将合式公式A中出现的某一符号p到处都代以某一合式公式B, 从而得到合式公式 叫代入。 　　代入规则说， 如果├A， 那么├ 。 　　2.分离规则 如果├A, ├A?B那么├B。 　　3.置换规则 定义的左右两方可互相替换。 　　设公式A, 替换后为B。 　　置换规则说，如果├A, 那么├B。 　　有了上述这些规定便可证明定理了。 六、定理的推演 　　命题逻辑公理系统是完全形式化了的符号系统，在这里对定理的证明，其依据必须是公理或已证明的定理，证明的过程（符号的变换过程），必须依据变形规则。 　　第二章所给出的等值式、推理式都可由这公理系统推导出，即它们都是这个公理系统的定理。 　　要推演的定理很多，这里仅举几个说明推演的方法。证明过程中，为方便省略了部分括号。 　　定理3.2.1 ├(Q→R)→((P→Q)→(P→R)) 　　定理3.2.2 ├ P→P 　　定理3.2.3 ├P∨P 　　定理3.2.4 ├P∨P 　　定理3.2.5 ├P→P 　　定理3.2.6 ├P→P 　　定理3.2.7 ├(P→Q)→(Q→P)