>>6
P⇒Qと¬Q⇒¬Pの真偽が一致するのはなぜですか