如是我闻：在逻辑学中，“析取”、“合取”和“蕴含”这些术语的中文翻译是有其逻辑和哲学基础的，它们准确地反映了这些逻辑操作的本质。虽然他们被翻译的很高级，但并不能让人一下子就明白。 析取 (Disjunction) 原理： 析取对应于逻辑中的“或”操作，表示在两个命题中至少有一个是真的。逻辑表达式为 p ∨ q p \lor q p∨q，读作“ p p p 或 q q q”。理解： “析取”

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