这部分内容，主要需要掌握谓词推理，而前提是掌握将自然语言符号化为谓词、用量词来限定辖域，量词的消去、剩下就是推理过程。还需要掌握的是主析取、主和取范式和前束范式。
存在量词**∃**：至少有一个
全称量词**∀**：全都是，所有
前束范式：通过逻辑计算，将量词放到整个式子的最前面
注意：主析取范式括号内的叫做小项，当对其编码时，真值为1；
主合取范式括号内的叫做大项，当对其编码时，真值为0
主析取范式：将式子化为如下模式：
（∧ __ ）v（∧ __ ）v（∧ ）
主和取范式：将式子化为如下模式：
（v ）∧ （v ）∧（v ）
对于推理证明来说，照着逻辑推就是，但是注意如果是全称量词∀，那么就可以取任何值，但是要注意存在量词∃就不能去所有值而是某个特例。