(解答)
A:春子 天の邪鬼(真、偽)
B:秋子 天の邪鬼(偽、真)
C:夏子 天の邪鬼(真、偽)
D:冬子 天の邪鬼(真、偽、真)
(理由)
1 Aが春子だと仮定する。
すると、Cで秋子と冬子のことを名前で呼んでいるので、Cの夏子が決定。
また、Dが秋子を名前で呼んでいるのでDは秋子ではない。したがって、Dの冬子が決定。
したがって、D1は真。また、残るBが秋子。
また、A1が真なので、春子は正直または天の邪鬼。
すると、B1は偽。したがって、Bの秋子は、嘘つきまたは天の邪鬼。
1-1 春子(A)が正直だと仮定する。
すると、A2が真なので、夏子(C)は正直。
すると、D2が真になり、またD1も真なので、D(冬子)は正直。
しかし、この場合、C2が偽になってしまい、夏子が正直であることと矛盾する。
したがって、春子は正直ではない。
1-2 春子(A)が天の邪鬼だと仮定する。
すると、A2が偽となり、夏子(C)は嘘つきか天の邪鬼。また、B1は偽。D2も偽。
D2が偽であることから、D(冬子)は嘘つきか天の邪鬼。
D1は真なので、Dの冬子は天の邪鬼。
すると、D3は真で、秋子(B)は天の邪鬼。
この場合、B1が偽、B2が真となり、矛盾なく成立する。
また、C1が真、C2が偽となり、Cの夏子が天の邪鬼であれば、すべて矛盾なく成立する。これが答え。
2 Aが春子ではない場合、春子はCまたはD。また、A1は偽。
2-1 Cが春子だと仮定する。
すると、Dが冬子、Aが秋子、Bが夏子で、D1が真。
A1が偽なので、A(秋子)は嘘つきか天の邪鬼のどちらか。
2-1-1 A(秋子)が嘘つきだと仮定する。
すると、A2が偽。また、D2も偽。D1が真だから、D(冬子)は、天の邪鬼。
したがって、D3は真で、秋子(A)は天の邪鬼。これは前提と矛盾する。ゆえに、秋子は嘘つきではない。
2-1-2 A(秋子)が天の邪鬼だと仮定する。
すると、A2は真。また、D2も真。また、D1もD3も真だから、D(冬子)は、正直者。
すると、C1が真、C2が偽だから、C(春子)は天の邪鬼。
この場合、B1は偽となるが、これは、A2、D2で「夏子(B)は正直者」を真としたことと矛盾する。ゆえに秋子は天の邪鬼でもない。
以上により、Cが春子という仮定は成立しない。
2-2 Dが春子だと仮定する。すると、Cは夏子。
この場合、D1が偽なので、春子は嘘つきか天の邪鬼。
2-2-1 春子が天の邪鬼だと仮定する。
すると、D2が真で夏子(C)は正直。
しかしこの場合C1が真、D3が偽でなければならなくなるので矛盾する。
したがって、春子は天の邪鬼ではない。
2-2-2 春子が嘘つきだと仮定する。
すると、B1は真。しかしこの場合、Bが正直だとするとB2が真でなければならないことと矛盾し、Bが天の邪鬼だとすると、今度はB2が偽でなければならないことと矛盾する。
したがって、春子は嘘つきではない。
以上により、Dが春子という仮定も、成立しない。
以上の論証から、解答に示したものが、唯一の答えとなる。
読者数
PC:185
携帯: 68
解答者数 20
正解者数 18
01 (00) 07/27 06:07:21 (π)ペン吉(4.9)
02 (03) 07/27 06:27:23 (壱)毬藻(4.2)
03 (05) 07/27 06:43:22 (弐)バルタン星人(6.1)
04 (07) 07/27 07:41:11 (♪)repy(1.1)
05 (08) 07/27 08:41:28 (π)京美人(4.7)
06 (09) 07/27 10:05:03 (π)サンパウロ 坂本(4.4)
※07 (07) 07/27 15:08:31 (†)との(2.5)
08 (19) 07/27 16:29:13 (π)双子星(3.3)
09 (20) 07/27 18:02:19 (π)Clockwise(1.4)
※10 (10) 07/27 22:08:22 (壱)しゅう(10.4) → 2回目の10ポイント達成!
11 (12) 07/27 22:20:25 (π)ばら(7.9)
12 (09) 07/28 06:57:17 (π)maki(8.9)
13 (17) 07/30 09:28:58 (π)703(5.2)
14 (18) 07/30 11:41:11 (π)キムコウ(5.1)
15 (18) 07/30 17:10:33 (π)ZVX(4.3)
16 (19) 07/31 20:15:48 (π)にく(2.7)
17 (21) 07/31 23:03:13 (π)藪蘭(6.4)
18 (27) 07/31 23:06:52 (π)はる(8.2)
(残念!不正解)
00 (20) 12/31 00:00:00 (壱)Misa(1.6)
(残念!ギブアップ)
00 (00) 12/31 00:00:00 (π)桃燈(1.2)