第二章逻辑和证明（二）.ppt

第二章 逻辑和证明 谓词和量词 命题在表达逻辑推理时有局限性：没有进一步分析原子命题的构成方式 苏格拉底三段论在命题的框架下无法分析 凡人都是要死的 苏格拉底是人 所以，苏格拉底是要死的 “命题函数”：含变量的判断（陈述句、“命题”） x+13，x+y=z*x，x是夜大学生 不是命题（为什么？），但表示了某种命题的结构 一旦给变量赋予具体值后，它们就成为命题 2.3.1 谓词 陈述句可分解为两个组成成分：主语和谓语 （原子）“命题函数”进一步分解为两个组成成分： 变量（如x,y等）和谓词（P(x), Q(x,y)等） 变量表示某个对象，谓词表示对象的性质或相互之间的关系 例1 语句(“命题函数”)“x3”可用P(x)表示，P(x) 是一元谓词：x3 P(x)不是命题，是“命题函数” P(2) 、P(3)、 P(4) 和P(100)都是命题 P(2) 和P(3)为假， P(4) 和P(100)为真 例2 语句(“命题函数”)“x=y+3”可表示为Q(x,y) Q(x,y)是二元谓词：x=y+3 Q(x,y)、Q(3,y)、Q(x,100)都不是命题，是“命题函数” Q(1,2)、Q