Question

用等值演算法判断公式┐（p→q）∧p

Answer 1

问：用等值演算法判断公式┐（p→q）∧p

答：亲您好，用等值演算法判断公式┐（p→q）∧p：┐(p→q)∧p= (4 pVq) AqAr=pA( qAq) Ar. = pAOAr=0它为矛盾式。

答：亲， 如果两个公式A与B含有相同的命题变元，如果在所有指派下，A与B的真值都相同，则说明这两个公式是等值的。判断两个公式是否等值，最直接的方法就是用真值表法，判断A与B是否在所有指派下同真值，或者判断A等价B是否是重言式。但是当命题变元较多的是时候，真值表法判断公式等值的工作量是很大的。这时，等值演算法的强大功能就凸显出来了。等值演算法是利用已知的等值式通过代换得到新的等值式。

问：可以的话能发个手写的版本吗，感觉这个文字扫描有很多错误

问：手写的图片

答：亲，您好，根据您的问题描述很抱歉平台这边是无法为您提供图片的哦，您可以在网上下载作业帮软件搜题的哦~