[請益] 建設性的兩難
在邏輯作業中碰到了難題=___=""(並非上來求答案的，是求思考方向，謝謝^^a)
題目是: 將下來論證轉換成語句邏輯形式(自己設定)，再判定是否有效，並簡單說明理由
倘若超人能夠並願防止邪惡，他就會這樣做。如果超人不能防止邪惡，那他就
是無能的;如果他不願意防止邪惡，那他就是壞心腸的。我們知道，超人並沒有
防止邪惡。如果超人是存在的，則他既非無能亦非壞心腸。因此，超人並不存
在。
我設定 A:超人能夠防止邪惡 B:超人願意防止邪惡
C:超人會防止邪惡 D:超人是無能的
E:超人是壞心腸的 G:超人存在(怕與錯誤的F混淆)
語句邏輯形式: A&B --> C
~A --> D
~B --> E
~C
G --> (~D&~E)
_________________________________
所以 ~G
但我無法判斷究竟是有效還是無效，因為我本身不太董建設性的兩難公式所要表達的意思
A V B P V Q
A --> C P -->X
B --> C Q -->Y
_____________ _________________
所以 C 所以 X V Y
完全不知道該如何著手，請版上好心的大大指點一下謎津，謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.127.186.3
推
01/08 23:27, , 1F
01/08 23:27, 1F
→
01/08 23:41, , 2F
01/08 23:41, 2F
※ 編輯: qwertop 來自: 140.127.186.3 (01/08 23:42)
推
01/10 22:59, , 3F
01/10 22:59, 3F
討論串 (同標題文章)