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

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

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

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

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