命题的可满足性
大一下学期刚开学,继线性代数之后又一次被离散数学教会了怎么做人。。
最近被离散里命题的可满足性绕晕了,看ppt看定义总是不是很懂到底是什么意思,上网到处翻,翻到了一个比较合理的解释:
设A为任意命题公式,若A在各种真值指派下至少有一组为真指派,则A为可满足式;反之,A为矛盾式。
这和规范性说明有异曲同工之妙,只不过系统规范性说明针对对象是一连串命题,这个是针对一个特定的命题。其意思大概就是对其命题变元赋予一系列特值,如果找到了至少有一组特值使得这个命题为真,则其为可满足的。如果找不到这么一组特值,则这个命题就是不可满足的(即为永假式)。
————————————————————————————————
好好学习吧,上学期高数线代双双扑街,这学期一定要努力学好高数和离散。共勉。