还需说明，一般地说谓词P(x)，Q(x, y)是命题形式而不是命题。因为这里没有指定谓词符号P, Q的含义，即它们是谓词变项。再者，个体词x, y也是个体变项。从而不可能确定P(x), Q(x, y)的真值是取真还是取假。仅当谓词变项取定为某个谓词常项，并且个体词取定为个体常项时，命题形式才化为命题。如P(x)表x是有理数，那么P(3)是命题。真值为T。Q(x, y)表x大于y，那么Q(2, 3)是命题取值为F。 　　有时将不带个体变元的谓词称为零元谓词，例如，F(a)，G(a,b)，P(a1,a2,…,an)等都是零元谓词，当F，G，P为谓词常项时，零元谓词为命题。这样一来，命题逻辑中的命题均可以表示成零元谓词，因而可将命题看成是特殊的谓词。例如： 例题 　　将下列命题在一阶逻辑中用零元谓词符号化，并讨论它们的真值： 　　（1） 只有2是素数，4才是素数。 　　（2） 如果5大于4，则4大于6。 　　解：（1）设一元谓词P(x)：x是素数。a：2。b：4。（1）中命题符号化为零元谓词的蕴涵式： 　　F(b)→F(a) 　　由于此蕴涵前件为假，所以（1）中命题为真。 　　（2）设二元谓词G(x,y)：x大于y。a：4。b：5。c：6。G(b,a)，G(a,c)是两个零元谓词，把（2）中命题符号化为 　　G(b,a)→G(a,c) 　　由于G(b,a)为真，而G(a,c)为假，所以（2）中命题为假。