离散数学(第2.1)陈瑜解释.ppt

计算机科学与工程学院 陈瑜 Email：chenyu.inbox@ * 主要内容 量词化逻辑 1.谓词 2.量词 3.全总个体域 4.自由变元与约束变元 5.两个量词量化谓词的真值 第二章:一阶谓词逻辑 命题逻辑是数理逻辑的基础，主要研究命题和命题演算。原子命题是命题演算的基本单位，并把它看作是不可再分解。这就带来了命题逻辑的局限性。命题逻辑研究的范围限制在命题及其外部关系上，无法研究命题内部的成份、结构，命题之间所具有的逻辑特征（如，共同性和差异性） 例1.1 设基本命题，P：李明是大学生；Q：王芳是大学生 R：松树是植物。 很明显，P与Q在内部关系上，应该比R密切得多。然而，命题逻辑无法反映这种区别，也无法反映P、Q间的共同性。 第二章:一阶谓词逻辑 命题逻辑是数理逻辑的基础，主要研究命题和命题演算。原子命题是命题演算的基本单位，并把它看作是不可再分解。这就带来了命题逻辑的局限性。命题逻辑研究的范围限制在命题及其外部关系上，无法研究命题内部的成份、结构，命题之间所具有的逻辑特征（共同性和差异性） 例1.1 设基本命题，P：李明是大学生；Q：王芳是大学生 R：松树是植物。 很明显，P与Q在内部关系上，应该比R密切得多。然而，命题逻辑无法反映这种区别，也无法反映P、Q间的共同性。 §2.1 量词化逻辑——谓词和量词 一、谓词 P