レイモンド・スマリヤン『決定不能の論理パズル ゲーデルの定理と様相論理』のp.23-27あたりに載っているパズルについてのメモ。解説が若干分りづらかったので表にして考えてみた。 必ず正しいことを言う騎士と間違ったことしか言わない奇人の二種類の住民が…