第2章一阶逻辑 通常我们用小写的英文字母a、b、c(可加下标) 等表示个体。这样,"小王是学生"可符号化为F(a), 其中a表示小王。若用b表示小李,则F(b)就表示"小 李是学生"。若用c1表示2,用c2表示6,则G(c1,c2) 就表示"2整除6" 这里,a、b、c1、c2均是具体的个体,称为个体常 元。一般地,我们用F(x)表示"x是学生",其中的x 称为个体变元(简称变元,亦称个体词)。类似,我 们也可用G(x,y)表示"x整除y"。第2章 一阶逻辑 通常我们用小写的英文字母a、b、c（可加下标） 等表示个体。这样， "小王是学生"可符号化为F（a）， 其中a表示小王。若用b表示小李，则F（b）就表示"小 李是学生" 。若用c1表示2，用c2表示6，则G（c1，c2） 就表示"2整除6" 。 这里，a、b、c1、c2均是具体的个体，称为个体常 元。一般地，我们用F（x）表示"x是学生" ，其中的x 称为个体变元（简称变元，亦称个体词）。类似，我 们也可用G（x，y）表示"x整除y"