第2章一阶逻辑 F表示"是学生"; G表示"整除” H表示"加.等于." 这时F、G、H表示的是具体的谓词,称为谓词常 元,否则,称为谓词变元。显然,单独的一个谓词 (即使是谓词常元)并不能构成一个完整的句子,必 须以个体词取代"."方能构成一个句子第2章 一阶逻辑 F表示"……是学生" ； G表示"……整除……" ； H表示"……加……等于……" 。 这时F、G、H表示的是具体的谓词，称为谓词常 元，否则，称为谓词变元。显然，单独的一个谓词 （即使是谓词常元）并不能构成一个完整的句子，必 须以个体词取代"……"方能构成一个句子