>>499
→は元来存在しない概念であり、P⇒Qが∀x(p(x)→q(x))の
省略形となるように→を作ったという話だと思うけれど。
⇒と→を積極的に区別して考える立場は標準的ではないよ。
知っていて損はないけどね。あまり得もしない。