下面先介绍一些本节中用到的必要概念： 　　一阶逻辑：谓词中不再含有谓词的逻辑关系式。 　　个体词：表示主语的词 　　谓词：刻画个体性质或个体之间关系的词 　　量词：表示数量的词 　　个体常量：a,b,c 　　个体变量：x,y,z 　　谓词符号：P,Q,R 　　量词符号：, 　　归结原理正确性的根本在于，如果在子句集中找到矛盾可以肯定命题是不可满足的。