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

一个量化语句是一个重言式当且仅当它的真值函项形式是一个（）。
A.矛盾式
B.可满足式
C.重言式
D.永假式
正确答案：重言式