1、在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。
A、对
B、错
2、一个个体常项不能命名多个对象。
A、对
B、错
3、一个对象不能有多个名字。
A、对
B、错
4、在Tarski’s World的模块语言中，只有（ ）个一元谓词。
A、1
B、6
C、12
D、25
5、在Tarski’s World的模块语言中，只有（ ）个三元谓词。
A、1
B、6
C、12
D、25
6、在Tarski’s World的模块语言中，只有（ ）个二元谓词。
A、1
B、6
C、12
D、25
7、在Tarski’s World的模块语言中，个体常项是（）。
A、a
B、x
C、b
D、 y
8、在Tarski’s World的模块语言中，个体变项是（）。
A、a
B、x
C、y
D、 b
9、在Tarski’s World的模块语言中，刻画性质和关系的谓词有（ ）。
A、一元谓词
B、二元谓词
C、三元谓词
D、 四元谓词
10、
A、对
B、错
