一个量化语句是一个重言式当且仅当它的真值函项形式是一个（）