第四章单元测试
在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。
一个个体常项不能命名多个对象。
一个对象不能有多个名字。
在Tarski’s World的模块语言中，只有（ ）个一元谓词。
在Tarski’s World的模块语言中，只有（ ）个三元谓词。
在Tarski’s World的模块语言中，只有（ ）个二元谓词。
在Tarski’s World的模块语言中，个体常项是（）。
在Tarski’s World的模块语言中，个体变项是（）。
在Tarski’s World的模块语言中，刻画性质和关系的谓词有（ ）。
A:错 B:对
答案:对
A:错 B:对
A:错 B:对
A:1 B:25 C:12 D:6
A:6 B:12 C:1
D:25
A:6 B:25 C:1 D:12
A:
y
B:x C:a D:bA:x B:
b
C:a D:yA:二元谓词 B:三元谓词 C:
四元谓词
D:一元谓词A:错 B:对
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
