什麼是矛盾式

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

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

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