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