矛盾式

標籤: 暫無標籤

52

更新時間: 2013-07-31

廣告

contradictory(矛盾式或永假式)
設A為任一命題公式,若A在它的各種指派情況下,其取值均為假,則稱A是矛盾式或永假式。
若命題公式A不是矛盾式,則稱A為可滿足式。

廣告

廣告