Pが偽ならQはなんであれP⇒Qは真。

>x∈X も起こらないので偽
偽とも言えん