前言相当于真假性取决于一个或多个变量值的命题。n是一个完全平方数描述的一个谓词。只有知道变量n的值，才能确定它的真假比如n=4时，这个谓词就是一个真命题。n=5，就是一个假命题这种谓词表示跟普通函数非常像。