永真公式，也稱為重言式，是一種命題公式。其特點是對於任何指派，無論輸入什麼樣的真值，其結果總是真的。例如，公式 (P \lor \lnot P)，無論 (P) 的真假，其結果都是真的，反映了排中律。另一個例子是 (\lnot(P \land \lnot P))，這個公式表示不能同時為真和為假，反映了矛盾律。永真公式是命題邏輯的研究重點，因為它們揭示了命題的邏輯規律。在一個融貫的命題演算公軸系統中推演出的公式都是永真公式。
永真公式，也稱為重言式，是一種命題公式。其特點是對於任何指派，無論輸入什麼樣的真值，其結果總是真的。例如，公式 (P \lor \lnot P)，無論 (P) 的真假，其結果都是真的，反映了排中律。另一個例子是 (\lnot(P \land \lnot P))，這個公式表示不能同時為真和為假，反映了矛盾律。永真公式是命題邏輯的研究重點，因為它們揭示了命題的邏輯規律。在一個融貫的命題演算公軸系統中推演出的公式都是永真公式。