contradictory（矛盾式或永假式）
设A为任一命题公式，若A在它的各种赋值下取值均为假，则称A是永假式。
永假式又称为矛盾式。
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。