重言式

重言式(Tautology )又称为永真式，它的汉语拼音为:[Chóng yán shì]，是逻辑学的名词，它的的数学符号是 \models。给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T(True)，则称该命题公式为重言式或永真公式。