[高等教育]第2章谓词逻辑.pptVIP

第二章 谓词逻辑（Predicate Logic） 2.1谓词的概念与表示(Predicate and its expression) 2.2谓词公式与翻译(Predicate formulae) 2.3变元的约束(Bound of variable) 2.4谓词演算的等价式与蕴含式(Equivalences implications of predicate calculus) 2.5前束范式(Prenex normal form) 2.6谓词演算的推理理论(Inference theory of predicate calculus) 第二章 谓词逻辑（Predicate Logic）  2.1 谓词的概念与表示(Predicate and Its Expression) 命题逻辑的局限性： 在命题逻辑中，命题是命题演算的基本 单位，不再对原子命题进行分解，因而无法 研究命题的内部结构、成分及命题之间的内 在联系，甚至无法处理一些简单而又常见的 推理过程。 第二章 谓词逻辑（Predicate Logic）  2.1 谓词的概念与表示(Predicate and Its Expression) 例如，下列推理： 所有的人都是要死的。