补变元 解释：它是以反^作为一组一组的，因此，对于P反^Q来说，P是一组，Q是一组，又有以下：对缺少变元的项要补齐，P缺少Q，Q缺少P。因此，补齐。

用分配律展开 解释： 

 

 比如P->Q，就找这一列中为T的那些。

命题逻辑推理一：直接推理  命题逻辑推理二：间接推理

 

例3也可以用条件真推结论真这个道理去解释。 

 

 第一步解释，将结论"变成"条件

 其余的，以条件真推结论真。每一步都是真的

对于第七步，因为我们之前把结论变成条件，因此，我们要证明的就是所有东西推S

对于第八步，我们要变回原来题目要求的东西，因此，要利用CP原则。

 

谓词逻辑的基本概念