q∧4=6 求q＝多少？流浪小狗求助辅警流浪小狗求助辅警！

来源：蜘蛛抓取(WebSpider) 时间：2018-04-26 07:32 标签： 求助
拒绝访问 | www.gkstk.com | 百度云加速
请打开cookies.
此网站 (www.gkstk.com) 的管理员禁止了您的访问。原因是您的访问包含了非浏览器特征(e3437c-ua98).
重新安装浏览器，或使用别的浏览器求助 离散数学 证明：P∨Q→R 蕴含（两横的箭头）P∧Q→R_百度知道
求助 离散数学 证明：P∨Q→R 蕴含（两横的箭头）P∧Q→R
P∨Q→R =& P∧Q→R方法一： 用CP规则(1)
P(附加前提)（2）P
T（1）I（3）P∨Q
T（2）I（4）P∨Q→R
T（3）（4）I（6）P∧Q→R
CP 方法二；要证明P∨Q→R =& P∧Q→R，只需证明P∨Q→R -& P∧Q→R为永真。P∨Q→R -& P∧Q→R&=&┐(P∨Q→R)v(P∧Q→R)&=&┐(┐(P∨Q)vR)v(┐(P∧Q)vR)&=& ((P∨Q)∧┐R)v (┐Pv┐QvR)&=&((P∨Q)∧┐R)v (R v ┐P v ┐Q)&=&( P∨Q∨R v ┐P v ┐Q) ∧ (┐Rv
R v ┐P v ┐Q)&=&1∧1&=&1
采纳率：82%
为您推荐：
其他类似问题
您可能关注的内容
离散数学的相关知识
换一换
回答问题，赢新手礼包
个人、企业类
违法有害信息,请在下方选择后提交
色情、暴力
我们会通过消息、邮箱等方式尽快将举报结果通知您。百度题库旨在为考生提供高效的智能备考服务，全面覆盖中小学财会类、建筑工程、职业资格、医卫类、计算机类等领域。拥有优质丰富的学习资料和备考全阶段的高效服务，助您不断前行！
京ICP证号&&
京网文[3号&&
Copyright (C) 2017 BaiduP∨Q→R永真蕴涵P∧Q→R。。。。离散数学求解答！_百度知道
P∨Q→R永真蕴涵P∧Q→R。。。。离散数学求解答！
P∨Q→R =& P∧Q→R方法一： 用CP规则(1)
P(附加前提)（2）P
T（1）I（3）P∨Q
T（2）I（4）P∨Q→R
T（3）（4）I（6）P∧Q→R
CP方法二；要证明P∨Q→R =& P∧Q→R，只需证明P∨Q→R -& P∧Q→R为永真。P∨Q→R -& P∧Q→R&=&┐(P∨Q→R)v(P∧Q→R)&=&┐(┐(P∨Q)vR)v(┐(P∧Q)vR)&=& ((P∨Q)∧┐R)v (┐Pv┐QvR)&=&((P∨Q)∧┐R)v (R v ┐P v ┐Q)&=&( P∨Q∨R v ┐P v ┐Q) ∧ (┐Rv
R v ┐P v ┐Q)&=&1∧1&=&1
采纳率：82%
p(前提)（2）非R
p(引入否定)（3）P∨Q→R
p（4）非（P∨Q）
T（2）（3）i(5)非p∧非q
T(4)e (6)p∧q∧非p∧非q
T(1)(5)i(7) F
为您推荐：
其他类似问题
离散数学的相关知识
换一换
回答问题，赢新手礼包
个人、企业类
违法有害信息,请在下方选择后提交
色情、暴力
我们会通过消息、邮箱等方式尽快将举报结果通知您。

我要回帖

更多关于 求助 的文章

 

随机推荐