※ 引述《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