※ 引述《momotalon (毛毛)》之铭言： : P：小明服用毒药 : Q：小明中毒 : R：小明服用解毒剂 : 1. P --> Q 若小明服毒则会中毒 : 2. P . R --> ~Q 若小明服毒并服解毒剂则不会中毒 : 3. P . R 小明服毒且服解毒剂 : / Q . ~Q 所以小明中毒且小明没有中毒 : 4. P 3.Simp : 5. Q 4.1. MP : 6. ~Q 2.3. MP : 7. Q . ~Q 5.6. Conj : 很明显哪里出错了... 不过我不知道是哪一点有问题， : 是否语句逻辑不足表达原文的意思，还是原文前提本身就有不一致? : 请点一下迷津!! 这个例子在讨论条件句的哲学是常被讨论的, 它常被用来作为日常条件句为何不完全等同於material conditional的例子。 就是在日常条件句, 特别是subjunctive conditional (或counterfactual cond.) 的例子中, 以下的推论规则不会成立: 1. if A then B 2. therefore, if A&C then B 其它常见的差别, 还有contraposition (见不久前的讨论串 #1C1Yl9EJ), 在counterfactual conditional当中也是不一定会成立。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 81.107.38.67 ※ 编辑: MathTurtle 来自: 81.107.38.67 (07/23 17:36)