用自然推理的方法证明下述推理的有效性。A∨(B∧C) (A→D)∧(D→C)。所以,C
1个回答
展开全部
(1)｛1｝A∨(B∧C) P
(3)｛2｝A→D P
(2)｛3｝D→C P /∴C
(4)｛1｝(A∨B)∧(A∨C) T(1)分配律
(5)｛1｝(A∨C) T(4)合取分解
(6)｛2.3｝A→C 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双否
(3)｛2｝A→D P
(2)｛3｝D→C P /∴C
(4)｛1｝(A∨B)∧(A∨C) T(1)分配律
(5)｛1｝(A∨C) T(4)合取分解
(6)｛2.3｝A→C 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双否
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
