p⇒qとその対偶が同値となることを示しました。