谓词( Predicate) 口如果x是整数,“x大于2”不是命题,它的真值 依赖于x的取值 口可以将“x大于2表示为P(x) 口谓词:P(x)可以视同关于x的一个属性的取值( 个函数) 口P的定义域是整数集,其值域是{TF} 口P(3)是一个取值为T的命题 口“for叫lIx,P(x)”是一个取值为F的命题 口“存在一个x,P(x)”是一个真值为T的命题谓词（Predicate）  如果 x 是整数，“x 大于2” 不是命题，它的真值 依赖于 x 的取值  可以将“x 大于2”表示为 P(x)。  谓词：P(x)可以视同关于x的一个属性的取值(一 个函数）  P 的定义域是整数集，其值域是 { T, F }  P(3)是一个取值为T 的命题  “for all x, P(x)”是一个取值为 F 的命题  “存在一个x，P(x)”是一个真值为T 的命题