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

免责声明:本文内容源于网友提供或网络搜集,仅供个人研究、交流学习使用,转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容,请通知本站客服更改或删除。
相关阅读:
河北大学公费研究生新视野大学英语2答案
宏观经济学试题及答案
大学英语2课后答案
实际利率
西安理工大学体育部
2012初试成绩
宁夏大学计算机学院
聊城大学外语教学网
廖青
薛有志