永真式的否定是什麼

1、永真式的否定是永假式。

2、給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永爲T，則稱該命題公式爲永真公式或者重言式。

3、由聯結詞∨、∧、→和聯結的重言式仍是重言式。

4、如果對任意一個賦值V，都有V[A]=0，即公式A對任一賦值均取“假”值，則公式A爲矛盾式。

5、在邏輯演算中，公式按取值情況分爲三種：對任一賦值都取“真”值的爲恆真式，恆真式在命題演算中爲重言式，在謂詞演算中即爲普遍有效式；對某些賦值取“真”值、對某些賦值取“假”值的爲可滿足但非恆真式；還有一類即爲矛盾式。

6、其中普遍有效式表達一定的邏輯規律，而矛盾式則表達一的邏輯矛盾