先ず、p→q≡¬p∨qに何で言及しないんだろう…。てかp→qを脇に置いてp⇒q だけ教えてるのも酷い。『p⇒qが真の時』とか悪い冗談としか…。後、記号法が気にいらない。何で∨∧を教えないんだろ。 まぁメタレヴェルの記号と普通の記号の区別は難しいけど、だったら何で…