作者littleshan (我要加入剑道社!)
看板ask-why
标题Re: [请益] 逻辑
时间Thu May 25 22:31:39 2006
不考虑一般人说话时用的逻辑
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
1F：推 manphage:嘻，结论是「如果阿三是小偷则发言者是骑士」是真的XD 05/26 06:35