在邏輯學中，永真式是指一個命題公式，無論對變量進行怎樣的賦值，其對應的真值始終為T。這樣的公式被稱為永真公式或重言式。特別地，由聯結詞∨（或）、∧（與）、→（蘊含）等構成的復合命題，如果它們本身是重言式，那么由它們構成的復合命題也同樣是重言式。另一方面，如果一個公式A對任意一個賦值V都有V[A]=0，即公式A在任何賦值下都取“假”值，那么這個公式就被稱為矛盾式。在邏輯演算中，公式根據其取值情況可以分為三類：對所有賦值都取“真”值的稱為恒真式，也就是重言式；只對某些賦值取“真”值、對某些賦值取“假”值的稱為可滿足但非恒真式；而矛盾式則是對所有賦值都取“假”值的公式，它表達了一種邏輯上的矛盾。普遍有效式和矛盾式在邏輯學中扮演著重要的角色。普遍有效式表達的是普遍有效的邏輯規律，是邏輯學中的基石之一。而矛盾式則揭示了邏輯上的矛盾，是邏輯學中的反例和錯誤思維的代表。通過理解和分析這兩種類型的公式，我們可以更深入地理解邏輯學的原理和規則。