作者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