重言式（Tautology ）又称为永真式，它的汉语拼音为：Chóng yán shì，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式......
