前にも教えたな
「p ⇒ q」を説明するのにベン図使うのは高校数学だけだ