2-1.4论域(个体域) °定义:在命题函数中客体变元的取值范 围,称之为论域,也称之为个体域。 例如S(x):x是大学生,论域是:人类 G(x,y):x>y,论域是:实数。 论域是一个集合。 °定义:由所有客体构成的论域,称之为 全总个体域。它是个“最大”的论域 约定:对于一个命题函数,如果没有给定 论域,则假定该论域是全总个体域。2-1.4 论域(个体域) • 定义：在命题函数中客体变元的取值范 围，称之为论域，也称之为个体域。 例如 S(x):x是大学生，论域是:人类。 G(x,y)：x>y， 论域是:实数。 论域是一个集合。 • 定义：由所有客体构成的论域，称之为 全总个体域。它是个“最大”的论域。 • 约定:对于一个命题函数，如果没有给定 论域，则假定该论域是全总个体域