✨ ベストアンサー ✨
先に⊃と∋の違いですが、集合なのか要素なのかの違いです。
具体例をあげると、
A⊃B (Bは集合)
A∋{a1、a2、……} (a1,a2,……は要素)
といった感じです。
そして今回の問題ですが、「p⇒q」を言い換えると
「pはqに含まれる」になります。
これを満たすには、Pの全ての要素がQを満たしていればいいので、P⊂Q(②)になります。
ちなみに本番でそっくりな問題が出てきたら、
p:xは自然数 q:xは正の数
みたいな感じで置いてやるとそれでも解けます。
必要条件か十分条件かを判断するような問題では自力で見つける必要があるので万能ではないですが、パッと思いつかない時にはこういうやり方に頼るのも手です。