标签: logic
我的讲义中有这些内容,有关骑士总是讲真话和小刀总是撒谎的规则:
A≡(A≡G)
(A≡A)≡G
是≡G
由于A≡(A≡G),因此只能是第一种情况或第三种情况。因此,G为 true和A可以为真或假
笔记到此结束,我只是不明白为什么A不可能撒谎说自己是骑士,而金币却在岛上,我的意思是这只表明A只是个n夫,应该仍然是合法的,即使真相表说要发生这种情况是非法的(最后一行),我也无法内化为什么。