靚麗時尚館

位置:首頁 > 健康生活 > 心理

可滿足式的含義

心理1.88W
可滿足式的含義

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

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

標籤: