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