作者qwertop (暴力娃!!)
看板logic
标题[请益] 建设性的两难
时间Thu Jan 8 22:51:25 2009
在逻辑作业中碰到了难题=___=""(并非上来求答案的，是求思考方向，谢谢^^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
1F：推 kaiteinomen:结论为什麽冒出H出来 01/08 23:27
2F：→ qwertop: sorry 一时打错>< 01/08 23:41
※ 编辑: qwertop 来自: 140.127.186.3 (01/08 23:42)
3F：推 mikechan:真值表 01/10 22:59