您当前的位置为:首页>

问答

234游戏网|

问答

坚决打造绿色网络安全环境,禁止发布不当信息,发布需实名认证,已清理未实名用户
求解一道逻辑学自然推理证明题?
写回答有奖励

求解一道逻辑学自然推理证明题?

0
写回答有奖励
0个回答
提交优质回答,评论可获得积分,积分可抽奖
查看规则

234专属回答:

2022-09-14 02:26:40

用自然推理法(1){1}A∨(B∧C) P(3){2}AD P(2){3}DC P /∴C(4){1}(A∨B)∧(A∨C) T(1)分配律(5){1}(A∨C) T(4)合取分解(6){2.3}AC T(2)(3)蕴含连锁(7){4}~C P(8){1.4}A T否定肯定(9){2.3.4}~A T否定后件(10){1.2.3.4}A ∧~A T合取组合(11){1.2.3}~~C 归谬(7)(10)(12){1.2.3})C T双否
0
更多回答(0

分享到

微信分享

方式1:复制链接发送

https://wdfc.game234.com/q/30541825.html

方式2:二维码方式

长按二维码保存,在微信分享给好友或朋友圈

求解一道逻辑学自然推理证明题?

最佳答案 2022-09-14 02:26:40

用自然推理法(1){1}A∨(B∧C) P(3){2}AD P(2){3}DC P /∴C(4){1}(A∨B)∧(A∨C) T(1)分配律(5){1}(A∨C) T(4)合取分解(6){2.3}AC T(2)(3)蕴含连锁(7){4}~C P(8){1.4}A T否定肯定(9){2.3.4}~A T否定后件(10){1.2.3.4}A ∧~A T合取组合(11){1.2.3}~~C 归谬(7)(10)(12){1.2.3})C T双否
回答:
 
其它答案