数学は計算ではなく、論理を学ぶ学問です。定義を理解し、情報を整理して、適切な解を導く。「場合分け」と共に「論理（式）」は数学の根幹をなすものです。論理（式）では「p⇒q」⇔「P⊂Q」が重要な役割を果たします。論理は、ときに感覚を欺きます。論理式はコンピューターなどに必須の知識となっています。

動画
数Ⅰ教科書解説「命題と条件〜集合を用いて考える〜」
https://youtu.be/vMt0uT3nUq8