推 manphage:嘻，結論是「如果阿三是小偷則發言者是騎士」是真的XD 05/26 06:35
不考慮一般人說話時用的邏輯
p: 發言者是騎士
q: 阿三是小偷
原發言為 ~p -> q
等效於 p or q......(1) (為什麼？自己建一下 truth table 就知道了)
否命題為 ~p and ~q...(2)
情況 1. 發言者為騎士則 (1) 成立，且 p = TRUE
既然 p = TRUE 則 p or q 必成立
所以阿三可以是小偷也可以是騎士
情況 2. 發言者為小偷則 (2) 成立，且 p = FALSE, ~p = TRUE
所以 ~q 必為 TRUE， q = FALSE
故阿三為騎士
答案與 starsand 相同：
發言者為騎士且阿三可為小偷也可為騎士
或 發言者為小偷且阿三為騎士
因為每個人認知不同
用我們一般說話所慣用的邏輯是討論不出結果的
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.62.3.35