1、
A、对
B、错
2、
A、对
B、错
3、
A、对
B、错
4、
A、对
B、错
5、
A、
B、
C、
D、
6、S是一个重言式当且仅当S的真值表的每一行的真值（ ）。
A、都为假
B、都为真
C、有真有假
D、有假有真
7、有一些Tarski s’World 必然真语句是（ ）。
A、永假式
B、矛盾式
C、可满足式
D、重言式
8、如果S是一个重言式，那么S是（ ）。
A、逻辑真的
B、逻辑不可能的
C、逻辑必然的
D、 Tarski s’World 必然真的
9、如果S是一个重言式，那么它也是（ ）语句。
A、逻辑真
B、Tarski s’World 必然真
C、矛盾的
D、不可满足的
10、有些Tarski s’World 必然真语句不是（ ）。
A、可满足式
B、逻辑真语句
C、重言式
D、 矛盾式
