可滿足式

satisfiable(可滿足式),設A為任一命題公式,若A在各種真值指派下至少存在一組成真指派,則A是可滿足式,反之為矛盾式。

換言之,對於命題公式A,若A不是矛盾式,則稱A是可滿足式。

相關詞條

相關搜尋

熱門詞條

聯絡我們