Prawo kontrapozycji, prawo transpozycji – prawo rachunku zdań (tautologia) mówiące o równoważności dwóch rodzajów implikacji:
Są one nazywane odpowiednio implikacją prostą oraz przeciwstawną. Czasem prawo transpozycji definiuje się nieco inaczej, nazywając tak każdą z czterech blisko związanych implikacji. Oprócz dwóch tworzących powyższą równoważność wyróżnia się też dwie inne:
Kontrapozycja to podstawa reguły wnioskowania modus tollens, na przykład dowodów nie wprost. Jest przedstawiana na kwadracie logicznym przez przekątne. Była znana już w IV wieku p.n.e. – pojawia się w pismach Arystotelesa syllogistic , Encyklopedia Britannica, britannica.com [dostęp 2023-05-27], A last type of inference is called contraposition and is produced by the fact that some propositions imply the proposition that results from the original proposition when both of its term variables are negated and their order reversed..