1、一阶语言FOL有无穷多个变项。
A、对
B、错
2、一个语句（闭公式）是一个没有自由变项的公式。
A、对
B、错
3、每个逻辑真语句都是重言式。
A、对
B、错
4、一个一阶语言FOL不可以没有常项。（ ）
A、对
B、错
5、
A、自由出现
B、约束出现，但不是自由出现
C、不出现
D、 出现
6、
A、约束出现，但不是自由出现
B、自由出现
C、不出现
D、出现
7、一个量化语句是一个重言式当且仅当它的真值函项形式是一个（ ）。
A、矛盾式
B、可满足式
C、重言式
D、永假式
8、
A、
B、
C、
D、
9、所有重言式都是（ ）。
A、一阶有效的
B、逻辑真的
C、不是一阶有效式
D、塔斯基世界必然真的
10、下面哪些公式是亚里士多德语句形式。
A、
B、
C、
D、
