离散数学(DiscreteMathematics第二章谓词逻辑（Predicate Logic)2026/3/15
2026/3/15 1 离散数学(Discrete Mathematics) 第二章 谓词逻辑（Predicate Logic）
苏格拉底（英译：Socrates；（公元前469一公元前399年），古希腊著名的思想家、哲学家、教育家、公民陪审员，他和他的学生柏拉图，以及柏拉图的学生亚里士多德被并称为“古希腊三贤”，更被后人广泛认为是西方哲学的奠基者。2026/3/15计算机科学与工程系2
2026/3/15 计算机科学与工程系 2 苏格拉底（Σωκράτης）；英 译：Socrates；(公元前469—公元前399 年），古希腊著名的思想家、哲学家、 教育家、公民陪审员，他和他的学生柏 拉图，以及柏拉图的学生亚里士多德被 并称为“古希腊三贤”，更被后人广泛 认为是西方哲学的奠基者
苏格拉底三段论所有的人都是要死的。苏格拉底是人。苏格拉底是要死的。2026/3/15计算机科学与工程系3
2026/3/15 计算机科学与工程系 3 苏格拉底三段论 所有的人都是要死的。 苏格拉底是人。 苏格拉底是要死的
第二章谓词逻辑（PredicateLogic）2.1谓词的概念与表示（PredicateandItsExpression）命题逻辑的局限性：在命题逻辑中，命题是命题演算的基本单位，不再对原子命题进行分解，因而无法研究命题的内部结构、成分及命题之间的内在联系，甚至无法处理一些简单而又常见的推理过程。例如，下列推理：所有的人都是要死的。苏格拉底是人。苏格拉底是要死的。众所周知,这是真命题。但在命题逻辑中,如果用P,Q,R表示以上三个命题，则上述推理过程为：（P^Q）一R。借助命题演算的推理理论不能证明其为重言式算机科学与工程系4
2026/3/15 计算机科学与工程系 4 第二章 谓词逻辑（Predicate Logic） 2.1谓词的概念与表示(Predicate and Its Expression) ◼ 命题逻辑的局限性： 在命题逻辑中，命题是命题演算的基本单位，不再对原子 命题进行分解，因而无法研究命题的内部结构、成分及命 题之间的内在联系，甚至无法处理一些简单而又常见的推 理过程。例如，下列推理： 所有的人都是要死的。 苏格拉底是人。 苏格拉底是要死的。 众所周知,这是真命题。但在命题逻辑中,如果用P,Q,R表 示以上三个命题，则上述推理过程为：（P∧Q）→R。借 助命题演算的推理理论不能证明其为重言式
第二章谓词逻辑（PredicateLogic)2.1谓词的概念与表示（PredicateandItsExpression原因：命题逻辑不能将命题之间的内在联系和数量关系反映出来。解决办法：将命题进行分解。2.1谓词的概念与表示(Predicateanditsexpression)在谓词逻辑中，可将简单命题划分为个体词和谓词两部分。个体词：可以独立存在的具体事物的或抽象的概念。例如，电子计算机、李明、玫瑰花、黑板、实数、中国、思想、唯物主义等2026/3/15S计算机科学与工程系
2026/3/15 计算机科学与工程系 5 第二章 谓词逻辑（Predicate Logic） 2.1谓词的概念与表示(Predicate and Its Expression) 原因：命题逻辑不能将命题之间的内在联系和数量关 系反映出来。 解决办法：将命题进行分解。 2.1谓词的概念与表示(Predicate and its expression) ◼ 在谓词逻辑中，可将简单命题划分为个体词和谓词两 部分。 个体词：可以独立存在的具体事物的或抽象的概念。 例如，电子计算机、李明、玫瑰花、黑板、实数、中国、 思想、唯物主义等