命题可满足公式(satisfiable propositional for- mina)一种命题公式'在某个指派下其值为真的命题公式称为命题的可满足公式.公式介绍 命题可满足公式(satisfiable propositional for- mina)一种命题公式'在某个指派下其值为真的命题公式称为命题的可满足公式.例如,公式P~q 是可满足公式,因为对于指派(F,T),该公式的真值为T.所有永真公式皆是可满足公式,但可满足公式未必都是永真公式.上面所给出的可满足公式P~q 就不是永真公式,因为对于指派(T,F),其真值为 F.一个永假公式不是可满足的公式. [1] 参考资料 1. 数学辞海第4卷