什麼是矛盾式

矛盾式(contradictory formula)又稱永假式、不可滿足公式，是邏輯演算的一類公式。如果對任意一個賦值V，都有V[A]=0，即公式A對任一賦值均取“假”值，則公式A爲矛盾式。

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

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