永真式的否定是永假式。给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T，则称该命题公式为永真公式或者重言式。由联结词∨、∧、→和联结的重言式仍是重言式。