离散数学(2.1谓词的概念与表示).pptVIP

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