定义中的【谓词】是什么

前言

相当于真假性取决于一个或多个变量值的命题。

• n是一个完全平方数描述的一个谓词。只有知道变量n的值，才能确定它的真假
• 比如n=4时，这个谓词就是一个真命题。
• n=5，就是一个假命题

这种谓词表示跟普通函数非常像。