ベン図描けベン図
PならばQってのはつまりQの集合の中にPの集合が入ってる状態
で、Qでない部分を青で、Pでない部分を赤で塗ってみると青が赤ン中に全部含まれてる状態になんだろ
だからQでないならPでないってことになんだよ