词语：谓词
语境：另一种选择是使用小写希腊字母来表示这种元变量谓词。
释义：谓词：数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。
构词方式：定中
语素1释义：谈，说。
语素2释义：语言中最小的可自由运用单位。