/takker/(¬P⇒¬Q)⇒(Q⇒P)

generated at 2/12/2025, 7:17:14 PM

(¬P⇒¬Q)⇒(Q⇒P)
#対偶の除去
/sno2wman/対偶の除去より拝借