实验逻辑学答案2023秋

第七章测试

1.

A:对 B:错
答案:A
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:不可满足的

C:矛盾的 D:Tarski s’World 必然真 10.

有些Tarski s’World 必然真语句不是（ ）。

A:重言式 B:

矛盾式

C:逻辑真语句 D:可满足式