あれ、おかしいな

http://homepage1.nifty.com/herumi/diary/0808.html#23

最初は同じようににやってたんだけど、

2∧1∧0 = 2(1∧0)

から先に進むには、1∧0が1または0だと分かってないとどうしようもねー。って結論になってあきらめた。
なんかいい方法があったんだろうか。

φ(φ(x)-x) = φ(x)-x

から、非ゼロで r∧0 = r となる元があることに気づいて、その場合だけ進められたんだけども。うーむ。

まあいいや、Problem 30 もやってみるか。こっちは簡単そうだけど。

簡単だったけど、一応書いとく
問題: http://twitter.com/t33f/statuses/895192307

(x*y)*z = x+y+z

a = 0*0 とおく。
任意の x について a*x = (0*0)*x = x だから
任意の x, y について
x*y = (a*x)*y = x+y+a
より
0 = (0*0)*0 = (0+0+a)*0 = (0+0+a)+0+a = 2a
よって a=0
おしまい