看板
[ logic ]
討論串[請益] 邏輯問題，證明論證為有效或無效
共 4 篇文章
首頁
上一頁
1
下一頁
尾頁
內容預覽:
但是，這個上帝論證：. 『上帝有意願或有能力去消滅魔鬼。如果上帝有意願去消滅魔鬼，也有能力去消滅他，. 則魔鬼不存在。如果上帝有意願去消滅魔鬼，卻沒有能力去消滅他，則上帝是無能的。. 如果上帝有能力去消滅魔鬼，卻沒有意願去消滅他，則上帝是邪惡的。. /∴如果魔鬼存在，則上帝是無能的或邪惡的。』. 其
(還有515個字)
內容預覽:
不論我們證明的架構是「條件證法」(CP)：假設「C」得「(DvE)」，. 還是，「間接證法」(IP)：假設「~(C→(DvE))」，矛盾，得「C→(DvE)」，. 我們都會得到「{(AvB), (~AvB), (Av~B), (~Av~B)}」這個「不一致」的語句集合，. 說該集合「不一致」(inc
(還有604個字)
內容預覽:
1. AvB P.. 2. (A&B)→~C P.. 3. (A&~B)→D P.. 4. (~A&B)→E P. /∴C→(DvE). 5. C Assum. for [CP]. 6. ~(DvE) Assum. for [IP]. 7. ~D&~E (6)Dem.. 8. ~D (7)Simp.
(還有467個字)
內容預覽:
這是邏輯課的考古題，可是我算了很久算不出來. 老師也沒有提供答案. 題目是. 上帝有意願或有能力去消滅魔鬼。如果上帝有意願去消滅魔鬼，也有能力去消滅他，. 則魔鬼不存在。如果上帝有意願去消滅魔鬼，卻沒有能力去消滅他，則上帝是無能的。. 如果上帝有能力去消滅魔鬼，卻沒有意願去消滅他，則上帝是邪惡的。.
(還有102個字)
首頁
上一頁
1
下一頁
尾頁