永真式

永真式（又稱重言式）指不依賴於命題變元的真值指派，而總是取值為真（T）的命題公式，是邏輯學的名詞。永真式可以定義為：一命題形式是永真式，若且唯若不論其命題變項取何值，命題形式的真值恆為真。在真值表中，如果命題形式的主聯結詞（即最後起作用的聯結詞）的取值均為真，則該命題形式就是永真式。