离散数学笔记 命题的可满足性

命题的可满足性

大一下学期刚开学，继线性代数之后又一次被离散数学教会了怎么做人。。

最近被离散里命题的可满足性绕晕了，看ppt看定义总是不是很懂到底是什么意思，上网到处翻，翻到了一个比较合理的解释：

设A为任意命题公式，若A在各种真值指派下至少有一组为真指派，则A为可满足式；反之，A为矛盾式。

这和规范性说明有异曲同工之妙，只不过系统规范性说明针对对象是一连串命题，这个是针对一个特定的命题。其意思大概就是对其命题变元赋予一系列特值，如果找到了至少有一组特值使得这个命题为真，则其为可满足的。如果找不到这么一组特值，则这个命题就是不可满足的（即为永假式）。

————————————————————————————————
好好学习吧，上学期高数线代双双扑街，这学期一定要努力学好高数和离散。共勉。