离散数学 课件 第2章谓词逻辑.pptx

引例1设命题p:刘明是大学生，q:王芳是大学生，r:松树是植物。p与q在内部关系上，应该比r密切得多。然而，命题逻辑无法反映这种区别，也无法反映p和q之间的共同性。

引例2苏格拉底三段论：所有的人都是要死的，苏格拉底是人，所以，苏格拉底是要死的。

;?;定义在原子命题中，所研究对象中可以独立存在的具体或抽象的客体，称作个体词。如引例中的刘明、王芳、松树、人、苏格拉底均是个体词。

注

1个体常项表示具体的事物，用a,b,c表表示。

个体变项表示抽象、泛指的事物，用x,y,z表示。

2个体变项的取值范围称作个体域。在未指明个体域时，默认为全总个体域，即由宇宙