※ 引述《qwertop (暴力娃!!)》之銘言： : 在邏輯作業中碰到了難題=___=""(並非上來求答案的，是求思考方向，謝謝^^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 ^^^^^^^ ^^^^^^^^^^ 這個是rule for proof by cases 這個是rule of constructive dilemma 原po可以看一下底下這本書: Discrete and Combinatorial Mathematics, An Applied Introduction, by R. P. Grimaldi 它的第二章就在探討基礎的邏輯^^ : 完全不知道該如何著手，請版上好心的大大指點一下謎津，謝謝 -- 我是新手@@, 感謝各位的指教 <(_ _)> --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.5.39