永假式

永假式所屬現代詞，指的是設A為任一命題公式，若A在它的各種賦值下取值均為假，則稱A是永假式。

contradictory（矛盾式或永假式）
設A為任一命題公式，若A在它的各種賦值下取值均為假，則稱A是永假式。
永假式又稱為矛盾式。