V logice je kontrapozice formou bezprostředního odvozování, kdy se z dané propozice odvozuje jiná, která má za subjekt kontradikci původního predikátu a v některých případech zahrnuje změnu kvality (afirmaci nebo negaci).
V tradiční logice je proces kontradikce schématem sestávajícím z několika kroků odvozování zahrnujících kategoriální propozice. Kategoriální propozice obsahuje subjekt a predikát, přičemž existenční dopad kopuly implikuje propozici jako nepodmíněnou na rozdíl od podmíněné formy hypotetických nebo věcně implikačních propozic, které jsou složeninami jiných propozic, např. jestliže P, pak Q, kde P i Q jsou propozice.
Konverze kontrapozicí je současná záměna a negace subjektu a predikátu a platí pouze pro propozice typu „A“ a typu „O“ aristotelské logiky. To je považováno za úplnou kontrapozici. Protože v procesu kontrapozice lze u všech čtyř typů tradičních propozic získat obverzi, čímž vzniknou propozice s kontradikcí původního predikátu, získává se kontrapozice nejprve konverzí obverze původní propozice. Částečnou kontrapozici lze tedy získat podmíněně v propozici typu „E“ se změnou kvantity. Protože v definici kontrapozice není nic řečeno o predikátu odvozené propozice, může jím být buď původní subjekt, nebo jeho kontradikce, čímž vznikají dvě kontrapozice, které jsou vzájemnými obverty v propozicích typu „A“, „O“ a „E“.
Na příkladu: z původní kategorické věty typu „A“,
která předpokládá, že všechny třídy mají členy a existenciální import předpokládaný ve formě kategoriálních propozic, lze nejprve obverzí odvodit propozici typu „E“,
Protiklad původní věty je pak odvozen převodem na jinou větu typu „E“,
Proces je ukončen další obverzí, jejímž výsledkem je propozice typu „A“, která je obvertovaným protikladem původní propozice,
Schéma kontrapozice:
Všimněte si, že propozice je platnou formou bezprostřední inference pouze tehdy, když se aplikuje na propozice „A“ a „O“. Neplatí pro propozice „I“, kde je obverzí propozice „O“, která nemá žádnou konverzí. Kontrapozice propozice „E“ je platná pouze s omezením (per accidens). Je tomu tak proto, že obverzí propozice „E“ je propozice „A“, kterou nelze platně konvertovat jinak než omezením, tj. kontrapozicí plus změnou kvantity propozice z univerzální na partikulární.
Všimněte si také, že propozice je metoda odvozování, která může vyžadovat použití jiných pravidel odvozování. Protiklad je produktem metody protikladu, přičemž výsledky se liší podle toho, zda je protiklad úplný, nebo částečný. Postupné aplikace konverze a obverze v rámci procesu kontrapozice mohou mít různá pojmenování.
Postup logické ekvivalence výroku a jeho protikladu, jak je definován v této části, není jedním z axiomů výrokového kalkulu. V tradiční logice je z každého původního výroku odvozen více než jeden protiklad. Pokud jde o větu „A“, je to v symbolice moderní logiky obcházeno pravidlem transpozice neboli zákonem kontrapozice. V odborném použití v rámci filosofické logiky mohou logici (např. Irving Copi, Susan Stebbingová) omezit pojem „kontrapozice“ na tradiční logiku a kategoriální propozice. V tomto smyslu se použití termínu „kontrapozice“ nevztahuje na hypotetické propozice nebo materiální implikace.
V moderní logice je zákon kontrapozice tautologií a jeho důkaz je stejný jako pravidlo transpozice, jak je uvedeno ve výrokovém kalkulu. Formy hypotetických a disjunktních propozic se lépe hodí v kondicionálech moderní logiky.