离散数学教程-王元元-第2章 逻辑代数（下）：谓词演算.pptVIP

离散数学 第2章 逻辑代数（下）：谓词演算 第2章 逻辑代数（下）：谓词演算 第2章 逻辑代数（下）：谓词演算 问题1：为何要讲谓词演算？ 例1：数学中的常用判断无法用命题逻辑的形式准确描述。 如： x 5 实数的平方非负 例2：无法很好地刻画推理机制。 如： 所有的人都是要死的 苏格拉底是人 苏格拉底是要死的 命题演算不足的原因——忽略了命题内部的细节。 第2章 逻辑代数（下）：谓词演算 问题2：原子命题内部究竟有那些细节？ 例2： 所有的人都是要死的 苏格拉底是人 苏格拉底是要死的 三个命题涉及两个概念： 1）表示事物的性质： “…是人”、“…是要死的” ——称谓词。 2）表示主体： “所有的人”、“苏格拉底” ——称个体。 “所有的人”中还使用了数量词“所有”——称量词。 2.1.1 个体 个体：谓词演算中的一切讨论对象。 个体可以是客观世界中的具体客体，也可以是抽象的客 体，诸如数字、符号等。 确定的个体：常