求助 离散数学 证明：P∨Q→R 蕴含（两横的箭头）P∧Q→R
1个回答
展开全部
P∨Q→R => P∧Q→R
方法一： 用CP规则
(1) P∧Q P(附加前提)
（2）P T（1）I
（3）P∨Q T（2）I
（4）P∨Q→R P
（5）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
方法一： 用CP规则
(1) P∧Q P(附加前提)
（2）P T（1）I
（3）P∨Q T（2）I
（4）P∨Q→R P
（5）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
本回答被提问者采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
黄先生
2024-12-27 广告
北京蓝宝、广州宏控、广州迈拓维矩、广州快捷等。在性价比方面，选择广州迈拓维矩矩阵切换器，性价比较高，6道测试工序，质量有保证。有以下优点：1.所有产品都是模块化设计，方便维护。2.矩阵都有输出长线驱动的设计，即插即用，不需要设置。3.软硬件...
点击进入详情页
本回答由黄先生提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
