2.4 谓词逻辑法Predicate logic method内容提要 Outline1. 逻辑（logic) 2. 命题 propostion3. 谓词演算 predicate calculus4. 谓词公式 predicate formula5. 谓词公式的性质 the nature for predicate formula6. 一阶谓词逻辑知识表示方法(Method)7. 一阶谓词逻辑表示法的特点(Characteristic)8. 置换与合一（substitution and unification) 1 逻辑（logic) 1 逻辑（logic)v 命题逻辑与谓词逻辑命题逻辑与谓词逻辑是最先用于人工智能的两种逻辑，对于知识的形式化表示，特别是定理的证明发挥了重要作用虽然命题逻辑能够把客观世界的各种事实表示为逻辑命题，但是它具有较大的局限性。命题逻辑只能进行命题间关系的推理，无法解决与命题结构和成分有关的推理问题，不适合表示比较复杂的问题。谓词逻辑是在命题逻辑的基础上发展而来的，命题逻辑可以看作是谓词逻辑的一种特殊形式。2 命题 (Proposition)v 命题命题是具有真
