词语：谓词
语境：在谓词演算中，有时将原子公式简称为原子。
释义：谓词：数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。
构词方式：定中
语素1释义：谈，说。
语素2释义：语言中最小的可自由运用单位。