>>8
そのurlには証明が書いていません

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