含意の命題をあらわす論理記号 A⇒B

論理記号一覧の「AならばB 　A⇒B 」を「含意の命題をあらわす論理記号　A⇒B」に分離独立。