离散数学课件(第2章)讲述.ppt

《离散数学》教案 计算机科学与技术学院 课程学时：64 主 讲：宋 成 第二章：谓词逻辑 §2.1谓词的概念与表示 §2.2命题函数与量词 §2.3谓词公式与翻译 §2.4变元的约束 §2.5谓词演算的等价式和蕴含式 §2.6前束范式 §2.7谓词演算的推理理论 第二章：谓词逻辑 §2.1 谓词的概念与表示 在研究命题逻辑中，原子命题是命题演算中的最基小单位，不在对原子命题进行分解，这样会产生两大缺点 不能研究命题的结构、成分和内部的逻辑特征； 也不能表达两个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的过程。 例：苏格拉底论证是正确的，但是不能用命题逻辑的推理规则推导出来。 “所有的人都是要死的” A “苏格拉底是人” B “所以苏格拉底是要死的” C 第二章：谓词逻辑 1、客体（个体） 考察下面的三个原子命题： ⑴ 李玲是优秀共产党员。 ⑵ 张华比李红高。 ⑶ 小高坐在小王和小刘的中间。 上述命题中的李玲、张华、李红、小高、小王、小刘等就是客体。所以可以这样说，客体是指所研究对象中可以独立存在的具体的或抽象的个体。它可以是独立存在的人或物体，也可以是抽象的概念，如“马列主义”，“资本主义”等。客体常用小写英