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