「AならばB」 A⇒B

論理記号一覧から「AならばB 　A⇒B 」を「含意の命題をあらわす論理記号　A⇒B」に分離独立したのに伴って、論理記号一覧の記事「AならばB 　A⇒B 」の重複箇所をできるだけ消去。