推 fallenball:其實你列得蠻不錯的，用想得的確也想得出來，但不好 06/02 14:08
→ fallenball:表達 06/02 14:09
※ 引述《benson12345 (benson)》之銘言：
: 一個村莊裡,只住著兩種類型的人,"騎士"與"小偷"!!
: 其中,騎士只說真話,小偷只說假話!!
: 有一天 有個人說: 如果我不是騎士!!阿三就是小偷
: 那說話的人跟阿三各是什麼身份阿??
設說話的人叫 A, 阿三叫 B
p 表 "A 為騎士", q 表 "B 為小偷"
則 A 所說的那句話可表為
S1 : ~p -> q
S1 的真值表為
q\p T F
T T T
F T F
當 p 為真時，表 A 為騎士，因而 S1 為真。
對照真值表可知此時 q 之真假未定。
當 p 為假時，表 A 為小偷，S1 應為假，
對照真值表可知 q 亦為假，此時情況為 A 是小偷，B 是騎士。
---
和上面分段討論的網友解法類似，不過符號能讓我們避過語言的弔詭之處。
一來自然語言多半邏輯 "不夠" 明確，二來是容易 "習慣" 它而落入陷阱。
--
鬼壓床怎麼辦
騎上去啊
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.217.134