第2章谓闹逻辑 把与一个个体相关联的谓词叫做一元谓词。F是一元谓 词;把与两个个体相关联的谓词叫做二元谓词。G是二元谓 词;把与三个个体相关联的谓词叫做三元谓词。H是三元谓 词;…。一般的,把与n个个体相关联的谓词叫做n元谓词。 设F是一元谓词,a是个体常元,用F(a)表示个体常元a 具有性质F;设G是二元谓词,ab是个体常元,用Ga,b)表 示个体常元a和b具有关系G;… 于是上面三个命题就表示为: F(a):李玲是优秀共产党员。 G(b,c):张华比李红高。 H(de2:小高坐在小王和小刘的中间。 将谓词后面填上相关联的个体常元所得的式子叫做谓 词填式。F(a),G(b,c),H(d,e都是谓词填式。谓词填式表 示的是命题。第2章 谓词逻辑 把与一个个体相关联的谓词叫做一元谓词。F是一元谓 词；把与两个个体相关联的谓词叫做二元谓词。G是二元谓 词；把与三个个体相关联的谓词叫做三元谓词。H是三元谓 词；…。一般的，把与n个个体相关联的谓词叫做n元谓词。 设F是一元谓词，a是个体常元，用F(a)表示个体常元a 具有性质F；设G是二元谓词，a,b是个体常元，用G(a,b)表 示个体常元a和b具有关系G；… 于是上面三个命题就表示为： F(a)：李玲是优秀共产党员。 G(b,c)：张华比李红高。 H(d,e,f)：小高坐在小王和小刘的中间。 将谓词后面填上相关联的个体常元所得的式子叫做谓 词填式。F(a)，G(b,c)，H(d,e,f)都是谓词填式。谓词填式表 示的是命题