谓词

---

❶ 也叫“用词”。同“体词”相对。由实词作第一次分类得出的词的类别。主要的语法功能是用以作谓语，也能用以作主语和宾语。包括动词、形容词及一部分谓词性代词。
❷ 也叫“述词”。数理逻辑中表示个体的性质和个体间关系的词项。如在“是无理数”和“a等于b”中，“是无理数”是表示个体的性质的，“等于”是表示个体间的关系的，它们都是谓词。表示个体性质的谓词叫一元谓词，表示两个个体间关系的谓词叫二元谓词，表示三个个体间关系的谓词叫三元谓词，如“…在…之间”，以此类推。谓词有常项和变项之分。表示某一论域中的特定的性质或关系的称为谓词常项或谓词常元，如“是无理数”、“等于”都是谓词常项。不表示某一确定论域中的特定性质或关系的称为谓词变项或谓词变元。谓词变项通常用符号F、G、H等表示。谓词式F(x)，表示个体x具有性质F；G(x，y)表示个体x与y具有关系G；H(x，y，z)，表示个体x、y、z之间具有关系H。