※ 引述《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 : 很明显哪里出错了... 不过我不知道是哪一点有问题， : 是否语句逻辑不足表达原文的意思，还是原文前提本身就有不一致? : 请点一下迷津!! 我认为是语句逻辑没办法彻底表达它的意思+前提本身就是不一致的。 我想这里要先来做的厘清︰ 先来做原本的句子︰ 1. P → Q 2. (P．R) → ~Q 从这两个前提开始 3. ~Q → ~P 1,Contra 4. (P．R) → ~P 2.3,HS 5. ~(P．R) V ~P 4,Impl 6. (~P V ~R) V ~P 5,DeM 7. ~P V ~R 6,Taut 8. P → ~R 7,Impl 9. R → ~P 8,Contra 这样看来， 如果小明服毒药，那麽小明就不能服解毒剂，反之亦然。 所以按照这样的翻译小明不能既服毒药又服解毒剂，否则就是矛盾。 但是实际的意思似乎不是这样， 考虑以下情况︰ 1. P → Q 这代表什麽意思呢？ 在所有P为真的情形下，Q一定为真， 所以在任何小明服毒药的情况下，小明一定会中毒。 也就是说，如果1.为真， 那麽就算小明服毒药後服下解毒剂(P．Q)，那麽小明应该还是会中毒。 但这种解释实在与一般的常识悖离，所以前提应该要有所修正。 我的想法是这样的，在这里应该要考虑时间先後这个状况， 前提可以表示成这样的(设时间点t1.t2依先後可以量化)︰ 如果 小明在时间点t1服下毒药(没做的话t值=0) 在时间点t2服下解药 又 如果 时间点 t1 > t2 那麽小明会中毒。 1. (t1 > t2) → Q 反过来， 如果 小明在时间点t1服下毒药 在时间点t2服下解药 又 如果 时间点 t2 > t1 那麽小明不会中毒。 1. (t1 < t2) → ~Q 如果 t1=t2=0的话，那麽小明不会中毒。 如果 t1=t2!=0的话...不考虑吧 囧> 在这里有一点我觉得是值得注意的是， 有时候在做日常语翻译逻辑符号的时候， 逻辑上的因果必然性 与， 时间上的因果必然性， 是要去做一些区分的。 小弟拙见， 请多指教。 -- The man: "God, how long is a million years?" God: "To me, it's about a minute." The man: "God, how much is a million dollars?" God: "To me it's a penny." The man: "God, may I have a penny?" God: "Wait a minute." --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.119.135.60 ※ 编辑: bagaqq 来自: 140.119.135.60 (07/23 17:03) ※ 编辑: bagaqq 来自: 140.119.135.60 (07/23 17:08)