在讨论个体时, 通常要指定个体讨论的范围,称为个体域其英语为____或论域其英语为____,用D表示。
查看答案
把世界上所有能想象得到的对象,如所有的动物、所有植物、所有字母、所有数字等组成的集合称为____, 简称____,它是最大的个体域。
表示一个个体性质的谓词称为____, 表示n个个体之间关系的谓词称为____。
对于n元谓词P(x1, x2,…,xn)(n>=1), 当个体变元取定个体域D中元素后就是一个____, 如G(3, 2): 3 > 2, 它是关于命题的函数, 称为____。