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

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