1、一阶语言FOL有无穷多个常项。
A、对
B、错
2、一个语句（闭公式）是一个没有自由变项的公式。
A、对
B、错
3、每个逻辑真语句都是Tarski’s World必然真语句。
A、对
B、错
4、
A、自由出现
B、约束出现，但不是自由出现
C、不出现
D、出现
5、
A、约束出现，但不是自由出现
B、自由出现
C、不出现
D、出现
6、在Tarski’s World中，（ ）表示个体常项。
A、P
B、w
C、a
D、y
7、
A、
B、
C、
D、
8、下面哪些公式是亚里士多德语句形式。
A、
B、
C、
D、
9、一个语言FOL可以没有谓词。（ ）
A、对
B、错
10、一个开公式是至少有一个自由变项的公式。（ ）
A、对
B、错
