作者cmlrdg (心之語)
看板logic
標題Re: [請益] 建設性的兩難
時間Fri Jan 9 03:36:30 2009
※ 引述《qwertop (暴力娃!!)》之銘言：
: 在邏輯作業中碰到了難題=___=""(並非上來求答案的，是求思考方向，謝謝^^a)
: 題目是: 將下來論證轉換成語句邏輯形式(自己設定)，再判定是否有效，並簡單說明理由
: 倘若超人能夠並願防止邪惡，他就會這樣做。如果超人不能防止邪惡，那他就
: 是無能的;如果他不願意防止邪惡，那他就是壞心腸的。我們知道，超人並沒有
: 防止邪惡。如果超人是存在的，則他既非無能亦非壞心腸。因此，超人並不存
: 在。
: 我設定 A:超人能夠防止邪惡 B:超人願意防止邪惡
: C:超人會防止邪惡 D:超人是無能的
: E:超人是壞心腸的 G:超人存在(怕與錯誤的F混淆)
: 語句邏輯形式: A&B --> C
: ~A --> D
: ~B --> E
: ~C
: G --> (~D&~E)
: _________________________________
: 所以 ~G
有效:)
原因如下
理由
--------------------
1. A and B -> C
2. ~A -> D
3. ~B -> E
4. ~C
5. G -> (~D and ~E)
6. ~A or ~B modus tollens(1.,4.)
7. D or E rule of constructive
dilemma(2.,3.,6.)
-------------------------------
∴ ~G modus tollens(5.,7.)
: 但我無法判斷究竟是有效還是無效，因為我本身不太董建設性的兩難公式所要表達的意思
: A V B P V Q
: A --> C P -->X
: B --> C Q -->Y
: _____________ _________________
: 所以 C 所以 X V Y
: 完全不知道該如何著手，請版上好心的大大指點一下謎津，謝謝
建設性兩難(rule of constructive dilemma)的形式如下:
p -> r
q -> s
p or q
--------------
∴ r or s
意思很簡單, 就是
已知:
p 導致 r,
q 導致 s, 並且
p 或者 q
則結論:
r 或者 s
不知道這樣你了解了嗎? ^^
深深覺得做題目想問題是練好邏輯思考的不二法門!
加油! ;)
--
我是新手@@, 感謝各位的指教 <(_ _)>
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.5.39
1F：推 dementia:後面那段是……廢話嗎？？ 01/09 05:07
2F：→ cmlrdg:樓上說的是建設性兩難的形式嗎? ^^" 如果你覺得它是廢話, 01/09 12:43
3F：→ cmlrdg:那麼你就已經得到它了XD...能夠把推論規則看得稀鬆平常是 01/09 12:45
4F：→ cmlrdg:一件好事:) 01/09 12:45
5F：→ cmlrdg:表示你打從心底接受它是真理^^ 01/09 12:47
6F：推 dementia:不是……而是因為 我看不出你的解釋有什麼解釋效果 01/09 16:54
7F：→ dementia:似乎只是把相同的話重說一次 01/09 16:57
8F：→ cmlrdg:喔喔...@@其實我也不知道該怎麼解釋.XD對我而言,這條規則 01/09 23:30
9F：→ cmlrdg:滿直覺的.很多推論規則都是這樣.如果真的要探究為什麼, 大 01/09 23:31
10F：→ cmlrdg:概就是畫成真值表後,發現它是tautology,所以是對的^^" 01/09 23:33
11F：→ cmlrdg:後面那一段我用白話敘述,希望讓原po能夠直覺上接受它是對的 01/09 23:36