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

如果S是一个重言式，那么它也是（）语句。
A.逻辑真
B.Tarski s’World 必然真
C.矛盾的
D.不可满足的
正确答案：逻辑真；Tarski s’World 必然真