2007-10-18 教科書の論理の記述が気に食わない件 雑感 数学 先ず、p→q≡¬p∨qに何で言及しないんだろう…。てかp→qを脇に置いてp⇒q だけ教えてるのも酷い。『p⇒qが真の時』とか悪い冗談としか…。後、記号法が気にいらない。何で∨∧を教えないんだろ。 まぁメタレヴェルの記号と普通の記号の区別は難しいけど、だったら何で⇒だけ教えるのか分からない。まぁ集合論が古典集合論なのはしょうがないし、妥当な選択だと思う。論理と集合の対応のさせ方も解り易い。あとひとつなんだよな…。