永假式是什麼

永假式，也被稱為矛盾式，是邏輯演算中的一類特殊公式。它的特點是對於所有的真值指派，其真值都為假。換句話說，不論其命題變項取何值，永假式的值恆為假。例如，公式p∧¬p和¬（p∨¬p）都是永假式。在真值表中，永假式的主聯結詞的真值均為假，因此也可以通過真值表來判定一命題形式是否為永假式。