>>9
【理系ラボ 命題とは?逆裏対偶】6.2 逆・裏・対偶の真偽の説明を再度確認してみてください

この説明を証明にすれば、
したがって、「もとの命題と対偶の真偽が一致」または「命題:P⇒Qの真偽と対偶:¬Q⇒¬Pの真偽は一致する」
となるかと思います