离散数学那-2-2命题函数与量词.pptVIP

第二章谓词逻辑 2-2 命题函数与量词 授课人：李朔 Email:chn.nj.ls@ 一、命题函数 与命题逻辑中命题常量和命题变元的概念类似，代表个体的个体标识符也可以表示客体（个体常量）或客体变元（个体变元） 表示具体或特定个体的标识符称作个体常元，一般用小写英文字母a、b、c、…或这些英文字母带下标表示。 将表示任意个体或泛指某类个体的标识符称为个体变元，常表示为x、y、z、…等或这些英文字母带下标。 一、命题函数 设H是谓词“能到达山顶” i表示客体李四、t表示老虎，c表示汽车 H(i)、H(t)、H(c)分别表示了三个不同命题，它们有一个共同的共同的形式，即H(x) x取l时表示：李四能到达山顶 x取t时表示：老虎能到达山顶 x取c时表示：汽车能到达山顶 同理，若L(x,y)表示“x小于y”,那么L(2,3)表示一个真命题：2小于3。而L(5,1)则表示假命题:5小于1 又如A(x,y,z)表示“x+y=z”,则A(3,2,5)是一个真命题，而A(1,2,4)是一个假命题。 一、命题函数 上述三例中H(x),L(x,y),A(x,y,z)（其中x,y,z为客体变元）本身不是一个命题，只有当x,y,z取特定客体时，才确定了一个命题。 定义2-2.1 由一个谓词，一些客体变元组成的表达式称为简单命题函数。 由这个定义可知，n元谓词就是有n个客体变元的命题函数。