作者m41512 (老兵)
看板logic
標題[請益] 邏輯問題,證明論證為有效或無效
時間Tue Jan 7 23:25:26 2014
這是邏輯課的考古題,可是我算了很久算不出來
老師也沒有提供答案
題目是
上帝有意願或有能力去消滅魔鬼。如果上帝有意願去消滅魔鬼,也有能力去消滅他,
則魔鬼不存在。如果上帝有意願去消滅魔鬼,卻沒有能力去消滅他,則上帝是無能的。
如果上帝有能力去消滅魔鬼,卻沒有意願去消滅他,則上帝是邪惡的。
/∴如果魔鬼存在,則上帝是無能的或邪惡的。
我假設的是
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