矛盾式

编辑:年糕网互动百科 时间:2019-12-06 01:19:00
编辑 锁定
本词条缺少名片图,补充相关内容使词条更完整,还能快速升级,赶紧来编辑吧!
中文名
矛盾式
外文名
contradictory
又    称
永假式
学    科
数学
contradictory(矛盾式或永假式)
设A为任一命题公式,若A在它的各种指派情况下,其取值均为假,则称A是矛盾式或永假式
若命题公式A不是矛盾式,则称A为可满足式
例如,在离散数学中,全体小项的合取式矛盾式。
词条标签:
理学