> 数学 >
证明:P∨Q→R 蕴含(两横的箭头)P∧Q→R
人气:212 ℃ 时间:2020-04-15 00:43:39
解答
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...
推荐
猜你喜欢
© 2024 79432.Com All Rights Reserved.
电脑版|手机版