第七章单元测试
S是一个重言式当且仅当S的真值表的每一行的真值（ ）。
有一些Tarski s’World 必然真语句是（ ）。
如果S是一个重言式，那么S是（ ）。
如果S是一个重言式，那么它也是（ ）语句。
有些Tarski s’World 必然真语句不是（ ）。
A:对 B:错
答案:对
A:对 B:错
A:对 B:错
A:错 B:对
A:
B:
C:
D:
A:都为假 B:有真有假 C:都为真 D:有假有真
A:永假式 B:重言式 C:可满足式 D:矛盾式
A:逻辑不可能的 B:
Tarski s’World 必然真的
A:逻辑真 B:Tarski s’World 必然真 C:不可满足的
A:逻辑真语句 B:重言式 C:
矛盾式
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
