第2章谓祠逻桶 类似的，用Fx)表示个体变元x具有性质F;用G(x,y)表 示个体变元x和y具有关系G;…,用P(x1x2,…xm(n21)表示 个体变元x,x2,…x,具有关系P。如果谓词后面有n个个体变 元，则称为n元命题函数。例如Fx)、G(x,y)小P(x1x2,…xn) 分别叫做一元命题函数、二元命题函数、n元命题函数 (n≥1)。因为命题函数中包含个体变元，因此命题函数没有 确定的真值，它不是命题。只要用个体常元取代所有的个体 变元，就得到了命题。 例如，用H(x,y):+20,显然此命题函数不是命题，因 为它无法判断真假。令 a:5,b:-7 用a,b分别取代x,y,就得到H(a,b),它表示5+(-7)≥0， 这是个假命题，它的真值为假 。 其实，用个体常元取代命题函数的所有个体变元所得到 的表达式就是前面所说的谓词填式。因为它由个体常元取代 命题函数中所有的个体变元而得到，所以也把谓词填式叫做第2章 谓词逻辑 类似的，用F(x)表示个体变元x具有性质F；用G(x, y)表 示个体变元x和y具有关系G；…，用P(x1 ,x2 ,…,xn )(n≥1)表示 个体变元x1 , x2 , …,xn具有关系P。如果谓词后面有n个个体变 元，则称为n元命题函数。例如F(x)、G(x，y)、P(x1 ,x2 , …,xn ) 分别叫做一元命题函数、二元命题函数、n元命题函数 (n≥1)。因为命题函数中包含个体变元，因此命题函数没有 确定的真值，它不是命题。只要用个体常元取代所有的个体 变元，就得到了命题。 例如，用H(x,y)：x+y≥0，显然此命题函数不是命题，因 为它无法判断真假。令 a：5, b：－7 用a,b分别取代x,y，就得到H(a,b)，它表示5+(－7)≥0， 这是个假命题，它的真值为假。 其实，用个体常元取代命题函数的所有个体变元所得到 的表达式就是前面所说的谓词填式。因为它由个体常元取代 命题函数中所有的个体变元而得到，所以也把谓词填式叫做