to mock a mockingbirdを読む(3)9章

ある鳥xが自己中心的(egocentric)であるとは、
自分自身を好きなことをいう。
式で表すと次のようになる。

xx = x

Problem 2

前回やった条件C1、C2の元では少なくとも1つの鳥が自己中心的である。
これを示せ

解

Mは少なくとも一つの鳥Eが好きなので
ME = E
またMはmockingbirdなので
ME = E E
よってE = E EとなりEはEが好きなためegocentricである。