2.1.1个体词和谓词的相关概念 定义2.1-3表示具体性质或关系的谓词称为谓词 常项表示抽象的、泛指的性质或关系的谓词称为谓词 变项 无论是谓词常项或谓词变项都用大写英文字母F: G,H,…表示,可根据上下文区分在上面3个命题 中,(1)、(2)、(3)中谓词F,G,H是常项.一般的,用 F(a)表示个体常项a具有性质F(F是谓词常项或谓词变 项),用F(x)表示个体变项x具有性质F而用F(a,b)表 示个体常项a,b具有关系F,用F(x,y)表示个体变项x, y具有关系F2.1.1 个体词和谓词的相关概念 定义2.1-3 表示具体性质或关系的谓词称为谓词 常项.表示抽象的、泛指的性质或关系的谓词称为谓词 变项. 无论是谓词常项或谓词变项都用大写英文字母F， G，H，…表示，可根据上下文区分.在上面3个命题 中，(1)、(2)、(3)中谓词F，G，H是常项.一般的，用 F(a)表示个体常项a具有性质F(F是谓词常项或谓词变 项)，用F(x)表示个体变项x具有性质F.而用F(a，b)表 示个体常项a，b具有关系F，用F(x,y)表示个体变项x， y具有关系F