>>459
P、Qを命題として、命題 P⇒Q に対して、P、Qの真偽にかかわらず
その対偶 ¬Q⇒¬P を取れることは高校の話の筈だが。