Problem 15
Aが絶望的に自己中心的(hopelessly egocentric)なとき、
各鳥xについてAxも絶望的に自己中心的であることを証明せよ
解
1 | (Ax)x = Axより成り立つ |
Problem16
一般的にAx=Ayであってもx=yであるとは限らない
ただしKx = Ky ならばx=yであることを証明せよ(left cancellation law for kestrels)
解
1 | 任意のzについて |
Problem 17
ある鳥が2つ以上の鳥を好きなことはありうる
しかしある鳥が2つ以上の鳥から固定化されることはない
それを証明せよ
解
1 | ある鳥Aが鳥Bと鳥C(BはCと異なる)に固定化されているとすると |
Problem 18
任意のKestrel Kと鳥xについて
KがKxを好きならばKはxを好きなことを証明せよ
解
1 | KKx = Kxが成り立っているので |
Problem 19
誰かが言った
どんな自己中心的なKestrelは極端に寂しがり屋
なぜこれが正しいか
解
1 | Kはegocentricなので |