作者momotalon (毛毛)
看板logic
标题[请益] 中毒的矛盾
时间Fri Jul 23 15:39:49 2010
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
很明显哪里出错了... 不过我不知道是哪一点有问题，
是否语句逻辑不足表达原文的意思，还是原文前提本身就有不一致?
请点一下迷津!!
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 116.59.133.133
※ 编辑: momotalon 来自: 116.59.133.133 (07/23 15:40)
1F：推 kuoll:服毒未必会中毒 服毒且未服解药才会中毒 前提是否应修正？ 07/23 16:10
2F：→ momotalon:我也觉得是前提很有问题|| 谢谢你的回文 :) 07/24 01:11