般用大写字母表示谓词， 如F,G,H等， 般用小写字母表示个体， 如a,b,c等。 如：F(a),可表示a是大学生， 就是一个 命题变元。又如F(b),若a表示李中，b表 示李华，则： F (a)AF (b) 表示李中是大学生并且李华也是大学生。 75 75 • 一般用大写字母表示谓词， 如F，G，H等， • 一般用小写字母表示个体， 如a，b，c等。 • 如：F（a），可表示a是大学生，就是一个 命题变元。又如F（b），若a表示李中，b表 示李华，则： F（a） F（b） 表示李中是大学生并且李华也是大学生