命题可满足公式名词解释：一种命题公式.在某个指派下其值为真的命题公式称为命题的可满足公式.例如,公式p→q是可满足公式,因为对于指派(F,T),该公式的真值为T.所有永真公式皆是可满足公式,但可满足公式未必都是永真公式.上面所给出的可满足公式p→q就不是永真公式,因为对于指派(T,F),其真值为F.一个永假公式不是可满足的公式.