Prawo kontrapozycji

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

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)