题目内容

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

查看答案

搜索结果不匹配？点我反馈

更多问题

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

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

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

以下哪项不是全冠印模的要求

A. 边缘清晰
B. 牙合面清晰
C. 颌关系正确
D. 无变形
E. 印模边缘伸展充分