[請益] 邏輯問題，證明論證為有效或無效
這是邏輯課的考古題，可是我算了很久算不出來
老師也沒有提供答案
題目是
上帝有意願或有能力去消滅魔鬼。如果上帝有意願去消滅魔鬼，也有能力去消滅他，
則魔鬼不存在。如果上帝有意願去消滅魔鬼，卻沒有能力去消滅他，則上帝是無能的。
如果上帝有能力去消滅魔鬼，卻沒有意願去消滅他，則上帝是邪惡的。
/∴如果魔鬼存在，則上帝是無能的或邪惡的。
我假設的是
A:上帝有意願消滅魔鬼
B:上帝有能力消滅魔鬼
C:魔鬼存在
D:上帝是無能的
E:上帝是邪惡的
列的式子是:
1.A∪B
2.(A∩B)→~C
3.(A∩~B)→D
4.(~A∩B)→E/∴C→(D∪E)
可是用自然演繹法我推不出來算不出來T^T
我們只有教過自然演繹法、條件證法、間接證法
麻煩高手了，萬分感謝!!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.122.36.159
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 4 篇)：