超星 - 4.1个体、谓词、量词和函词 - 查题吧

填空题

不确定的个体称为____,用字母表中靠后的小写英文字母x, y, z, …或带下标表示表示。

填空题

不确定的个体称为个体变元其英语为____,用字母表中靠后的小写英文字母x, y, z, …或带下标表示表示。

填空题

在讨论个体时, 通常要指定个体讨论的范围,称为或,用D表示。

填空题

在讨论个体时, 通常要指定个体讨论的范围,称为个体域其英语为或论域其英语为,用D表示。

填空题

把世界上所有能想象得到的对象,如所有的动物、所有植物、所有字母、所有数字等组成的集合称为, 简称,它是最大的个体域。

填空题

把表示个体性质以及个体之间关系的词称为____。

填空题

表示一个个体性质的谓词称为, 表示n个个体之间关系的谓词称为。

填空题

对于n元谓词P(x1, x2,…,xn)(n>=1), 当个体变元取定个体域D中元素后就是一个, 如G(3, 2): 3 > 2, 它是关于命题的函数, 称为。

填空题

不受任何量词约束的变元称为____。

填空题

要把如“张三的父亲”、“两个数的平方和”等表示出来, 就要用函数, 在谓词逻辑中习惯称为____。

1