永假式

永假式，也被稱為矛盾式、不可滿足公式，是邏輯演算中的一類特殊公式。如果一個公式對於任意的賦值都取「假」值，那麼這個公式就是永假式。換句話說，如果對於任意的賦值V，都有V[A]=0，那麼公式A就是永假式。永假式的別名還包括常假式、不可滿足式。在謂詞邏輯中，永假式是指那些值永遠為假的公式。任何一個公式肯定屬於永真式、永假式和可滿足式中的一種，而判定一個公式屬於這三類中的哪一類，通常被稱為公式的判定問題。目前，我們可以通過真值表來有效判定一個公式是否為永假式。