作者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