设A为任一命题公式，若A在它的各种赋值下取值均为假，则称A是矛盾式。

矛盾式又称为永假式。