福西です。
この日（2/26）は論理パズルをしました。
『４人のローマ人』
ローマのある丘に、キケロー、カエサル、ブルートゥス、アントニウスの屋敷が以下のような位置関係で建っています。
１∥３ 北
＝＝＝ ↑
２∥４
さて、そこの住人たちは妙なくせがあって、自分の真北の家についてはうそをつき、それ以外なら正直に言います。そして以下のように述べています。
ブルートゥス：「２はカエサルの屋敷だ」
アントニウス：「３はキケローの屋敷だ」
さてこの発言から、だれがどの屋敷に住んでいると分かるでしょうか？
（答は2通りありますが、その2通り「しかない」ことを説明してください）
（補足）
アントニウスの「３はキケローの屋敷だ」は、もしアントニウスが４に住んでいる場合は、真北である３についての発言なので、「うそ」とならなければなりません。
T君の解答
キケロー＝『キ』 カエサル＝『カ』 ブルートゥス＝『ブ』 アントニウス＝『ア』
矛盾していない順番は、２種類あります。
一つ目は、１＝『ア』、２＝『カ』、３＝『キ』、４＝『ブ』です。なぜなら、『ア』が１でうそをつかないとキケローが３になって、『ブ』は４だけど横の人にはうそをつかないから正直。で『カ』は２にきまって、矛盾がない。
２種類目は、１＝『キ』、２＝『カ』、３＝『ブ』、４＝『ア』です。『カ』は、『ブ』が『カ』の下にいけないから（２に）決定で、『キ』は『ア』の真上にいけないから、４で、残った３は『ブ』が使って３は２にうそはつけないから、矛盾がない。
H君の解答
キケロー＝『キ』 アントニウス＝『ア』 ブルートゥス＝『ブ』 カエサル＝『カ』
この問題は上の人にうそをつくという条件。
つまり『ブ』が「『カ』の屋しきは２だ」と言っていて『ア』が「『キ』のやしきは３」と言っている。
そして家のいちは図のとおりで『ブ』は「『カ』の家は２」と言っている。
しかし２の下はないということで『ブ』の発言は正直にならないといけなくなるから２はカエサルになり、そしてアントニウスは４か３か１。
しかし自分で『キ』の家は３といっているので３は住めないから３は×と言うことは４か１。
アントニウスが１に住めば『キ』が３というのが正直になり、『キ』が３。そして残りの『ブ』を４にすると矛盾無しの答えです。
そしてアントニウスを４にして、『キ』を３に置くとアントニウスの上になり、『ア』はうそをつかなければならない。
しかし『ア』は『キ』の家は３といっているので矛盾。そしてそれをさけて『キ』を１にして残りの『ア』を３に置くとこれも矛盾無しの答えです。
キケロー＝『キ』のように、「定義する」ということにだんだん慣れてきてくれたように思います。また、「矛盾」という言葉を、漢字で率先して書いてくれていました。これからもどんどんその言葉を使ってくれるとうれしいです。