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