Prawo kontrapozycji

Prawo kontrapozycji (transpozycji) – równoważność implikacji prostej i przeciwstawnej, wynikająca z kwadratu logicznego twierdzeń:

$(p \implies q)\iff(\neg q\implies \neg p)$