大昔に高校生だった頃,P⇒Qが成り立つとき,QはPであるために必要などと説明されていたが,これは分かりづらい.『Pが成り立つには”少なくとも”Qが必要』『Qでなければ,そもそもPは成り立たない』と説明したほうが分かりやすいように思う.