任意の集合Ｘに対して空集合は部分集合であることの証明は、
「ｘ∈φ　⇒　ｘ∈Ｘ」を示せばよく、ｘ∈φ　は起こらないので
偽である。ｘ∈Ｘ　も起こらないので偽である。
「偽である命題」⇒「偽である命題」は真なので、φはＸの部分集合
である。
このような示し方で良いのですか？