第二章第二章 谓词逻辑谓词逻辑（Predicate Logic）2-1谓词的概念与表示谓词的概念与表示2-2 命题函数与量词命题函数与量词2-3谓词公式与翻译谓词公式与翻译2-4变元的约束变元的约束2-5谓词演算的等价式与蕴含式谓词演算的等价式与蕴含式2-7前束范式前束范式2-7谓词演算的推理理论谓词演算的推理理论计算机学院计算机学院第二章第二章 谓词逻辑谓词逻辑（Predicate Logic）2-1 2-1 谓词的概念与表示谓词的概念与表示(Predicate and Its Expression)Predicate and Its Expression)n命题逻辑的局限性命题逻辑的局限性：在命题逻辑中，命题是命题演算的基本在命题逻辑中，命题是命题演算的基本单位，不再对原子命题进行分解，因而无法单位，不再对原子命题进行分解，因而无法研究命题的内部结构、成分及命题之间的内研究命题的内部结构、成分及命题之间的内在联系，甚至无法处理一些简单而又常见的在联系，甚至无法处理一些简单而又常见的推理过程。推理过程。计算机学院计算机学院n例如，下列推理：例如，下列推理：所有的人都是要死的。所有的人
