命題計算のキホンが直感的にわからなくてググったら、wikipedia:論理包含・論理演算を読んで納得。ネットはこういう使い道をすると便利。この命題はガチで真。 ところでTex記法がうまくいかない。なぜだ！

2,3月はいろんな手伝いで臨時収入があったのでやっとパソコン買った。Thinkpad T410。Vaioちゃんはよく6年間がんばってくれた。ソニータイマーはやっぱり都市伝説。惜しむらくは1,2週間前に買ったほうがちょっと安かったこと。 早く届かないかなー。