矛盾式（contradictory formula）是邏輯演算中的一類特殊公式，也被稱為永假式或不可滿足公式。一個公式如果對於任意的賦值V，都有V[A]=0，即對於任一賦值，該公式A都取「假」的值，那麼這個公式A就被稱為矛盾式。