这部分内容，主要需要掌握谓词推理，而前提是掌握将自然语言符号化为谓词、用量词来限定辖域，量词的消去、剩下就是推理过程。还需要掌握的是主析取、主和取范式和前束范式。 存在量词∃：至少有一个 全称量词∀：全都是，所有 前束范式：通过逻辑计算，将量词放到整个式子的最前面 注意：主析取范式括号内的叫做小项，当对其编码时，真值为1；            主合取范式括号内的叫做大项