一郎、二郎、三郎の三人で駆けっこをして、その結果を次のように言っています。
一郎：「僕は一番じゃない」
二郎：「僕は一番だ」
三郎：「僕は二番だ」
三人のなかで一人だけウソをついています。それは誰でしょう？
これは、論理的な推論というより、メタ論理的な推論の例ですね*1。モデルの存在／非存在に基づいて公理系（あるいはセオリー）の充足可能性をチェックするって話じゃないのかな。
*1:もっとも、論理学（ロジック）における議論のほとんどはメタ論理的ですがね。
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。