P∨－R,Q∨S,R→(S∧P)⇒S→P用基本等价公式转换的方法验证论断是否有效

来源：蜘蛛抓取(WebSpider) 时间：2017-04-13 15:50 标签： P Q S
求大神解答... 求大神解答
· 关注我鈈会让你失望

前提：P→(Q→)﹁S∨P，Q

你对这个回答的评价是

下载百度知道APP，抢鲜体验

使用百度知道APP立即抢鲜体验。你的手机镜头里或许囿别人想知道的答案

· TA获得超过3.7万个赞

））为假则s為假，且p为真且（

为假则为真。至此得到

p∧q∧为真且s为假，可得（

）为假与前面的假设矛盾。

因为格式的原因用真值表很不方便，这样写应该也能看明白

你对这个回答的评价是？

下载百度知道APP抢鲜体验

使用百度知道APP，立即抢鲜体验你的手机镜头里或许有别人想知道的答案。

用离散数学的推理规则怎么证明P→Q,(￢Q∨) ∧￢,￢(￢P∧S)=>￢S

我要回帖

更多关于 P Q S 的文章

 

随机推荐