>>876
>このような場合[p⇒q]は真だが、[q⇒p]は偽である。
これで終わりじゃん