谓词常项:表示具体性质或关系的谓词,用大 写英文字母F,G, 表示 谓词变项:表示抽象的或泛指的性质或关系的 谓词,也用大写字母表示。 般根据上、下文区分常项与变项。 个体变项項!有性质F:记作F(x 个体变项X與有关系L:记作L(xy 将(1)、(2)两命题符号化:谓词常项：表示具体性质或关系的谓词，用大 写英文字母F，G，……，表示。 谓词变项：表示抽象的或泛指的性质或关系的 谓词，也用大写字母表示。 一般根据上、下文区分常项与变项。 个体变项x具有性质F：记作F(x) 个体变项x、y具有关系L：记作L(x,y) 将(1)、(2)两命题符号化：