单项选择题 重言式一定是（）。

单项选择题 一个公式有成真的情况，则该公式是（）。

单项选择题 永真式又称为（）。