(¬P⇒¬Q)⇒(Q⇒P) - くたくたじゅうよん

(¬P⇒¬Q)⇒(Q⇒P)

#対偶の除去

/sno2wman/対偶の除去より拝借