Контрапозіция (позднелат. contrapositio — протиставило, від латів.(латинський) contra — проти і pono — розташовую, ставлю), закон класичної логіки, що свідчить: якщо з деякої думки А слідує думка В, те з заперечення думки В слідує заперечення думки А (або на мові умовних думок: з істинності думки «Якщо А, то В» слідує істинність думки «Якщо не- В , то не- А »).
Літ.: Черч А., Введення в математичну логіку, пер.(переведення) з англ.(англійський), М., 1960; Тарський А., Введення в логіку і методологію дедуктивних наук, пер.(переведення) з англ.(англійський), М., 1948.
