Some propositions are true for any truth value of their variables. Such propositions are called tautology.

• 某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。