標籤: 暫無標籤

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

相關評論

同義詞:暫無同義詞