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