惠誉风格的证明
惠誉风格的证明
提问于 2014-06-11 06:15:45
嗨，我有困难解决惠誉风格的证明，我希望有人能帮助我。
前提：
A ^ (B v C)
B => D
C => E目标：
~E => D回答 1
Stack Overflow用户
发布于 2014-06-23 15:52:57
(1) A /\ (B \/ C) premise
(2) B -> D premise
(3) C -> E premise
.--------------------------------------------.
(4) | ~E assumption |
(5) | B \/ C /\ elimination of 1 |
| .--------------------------------------. |
(6) | | B assumption | |
(7) | | D -> elimination 2 | |
| '--------------------------------------' |
| .--------------------------------------. |
(8) | | C assumption | |
(9) | | E -> elimination 3 | |
(10) | | cont contradiction | |
(11) | | D ! elimination 10 | |
| '--------------------------------------' |
(12) | D \/ elimination 5, 6-7, 8-11 |
'--------------------------------------------'
(13) ~E -> D -> introduction 4-12页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/24151740
复制相关文章
相似问题
腾讯云开发者
