多项选择题

如果S是一个重言式，那么它也是（）语句。

A.逻辑真
B.矛盾的
C.不可满足的
D.Tarskis’World必然真

你可能感兴趣的试题

多项选择题

如果S是一个重言式，那么S是（）。

A.Tarskis’World必然真的
B.逻辑真的
C.逻辑必然的
D.逻辑不可能的

单项选择题

有一些Tarskis’World必然真语句是（）。

A.矛盾式
B.永假式
C.可满足式
D.重言式