あれ、おかしいな
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 おしまい