２重線の「⇒」は，「命題」を作る記号．１重線の「→」は，高校教科書には登場しないですが，前後に「命題」や「条件」と伴って「ならば」を表すものです． この点をちょっと説明します． 適当な集合Aを全体集合として，「条件」の p(x)→q(x) （p(x)ならばq(x…