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