命題可滿足公式

公式介紹

命題可滿足公式(satisfiable propositional for- mina)一種命題公式‘在某個指派下其值為真的命題公式稱為命題的可滿足公式.例如，公式P~q 是可滿足公式，因為對於指派(F,T)，該公式的真值為T.所有永真公式皆是可滿足公式，但可滿足公式未必都是永真公式.上面所給出的可滿足公式P~q 就不是永真公式，因為對於指派(T,F)，其真值為 F.一個永假公式不是可滿足的公式.