谓词_0101 谓词 名 数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。