二、定理推演举例和说明 　　例1:证明(Q∧(P→Q))→P成立。 　　例2:证明((P∨Q)∧(P→R∧(Q→S))→(S∨R)成立。 三、对算法的说明 　　(1) 如例1因(5)是公理, 自然成立。使用规则(正向), 便得(4)。对(4)使用规则→(正向)便得(3)。对(3)使用规则(正向)便得(2)。对(2)使用规则∧(正向), 便得(1), 即所要证明的定理。对例2可同样作解释。 　　(2) 证明方法是从所要证明的定理出发，反向使用推理规则（消联结词），直到公理的过程。而对证明的解释，是反过来由公理出发，经正向使用推理规则（加联结词），直到所要证明的定理。 　　(3) 限于命题逻辑的定理证明, 仅使用五个常用的联结词以及重言蕴涵符号就够了。引入符号串和相继式完全是为描述推理规则以及公理的方便。 　　所建立的王浩算法，可证明命题逻辑的所有定理。从而是完备的公理系统。既然称之为算法自然是可实现的机械方法，从而可用这算法用计算机来证明由命题逻辑描述的定理。算法的另一优点是当所证公式不是定理时，也可得到证明。当消去所有联结词后，得到的相继式中有的不是公理时，使之所要证明的并不是定理。而使用归结方法，以及3.2的公理化方法是不能指明所证公式不是定理的。