大家好,小钱来为大家讲解以上的问题。矛盾式,关于矛盾式介绍这个很多人还不知道,我们一起来看看!
1、 矛盾式(contradictory formula)又称永假式、不可满足公式,是逻辑演算的一类公式。
2、如果对任意一个赋值V,都有V[A]=0,即公式A对任一赋值均取“假”值,则公式A为矛盾式。
3、在逻辑演算中,公式按取值情况分为三种:对任一赋值都取“真”值的为恒真式,恒真式在命题演算中为重言式,在谓词演算中即为普遍有效式;对某些赋值取“真”值、对某些赋值取“假”值的为可满足但非恒真式;还有一类即为矛盾式。
4、其中普遍有效式表达一定的逻辑规律,而矛盾式则表达一的逻辑矛盾 。
关于矛盾式到此分享完毕,希望能帮助到您。