其中1, 2在推理过程中显然是常用的, 正确性是自然的。代入规则置换规则已作过说明, 再明确一下代入规则仅可对重言式使用。分离规则就是基本的推理公式, 由于它的重要性而列为推理规则, 是在A→B, A成立的条件下, 将B分离出来的规则, 最为常用。规则6可将对A1A2→B的证明化为A1∧A2B的证明, 意思是说, 可将要证明的结论A2→B中的A2作为条件来使用, 从而简化了证明。