Contrapositive

AmE

BrE

контрапозиция, противопоставление, противопоставленный

Термин образован от латинской приставки ‘contra-’ (против) и слова ‘positive’ (от лат. ‘positivus’ — установленный, положительный). В англоязычных странах это слово используется в строгом научном контексте, преимущественно в формальной логике и математике, для обозначения контрапозиции — логического утверждения, образованного путем перестановки и одновременного отрицания условия и следствия исходного высказывания (например, превращение ‘если А, то В’ в ‘если не В, то не А’).

Прочие фразы и выражения

proof by contrapositive — доказательство путем контрапозиции; доказательство от противного
law of contrapositive — закон контрапозиции
contrapositive statement — контрапозитивное утверждение; контрапозитивное высказывание

Однокоренные слова

position — позиция, положение, должность, место, помещать, ставить
posit — постулировать, утверждать, ставить, класть в основу доводов
positive — положительный, позитивный, уверенный, позитив, положительная степень
positively — положительно, несомненно, решительно, безусловно, с уверенностью, категорически
positiveness — положительность, определенность, безапеляционность, уверенность
prepositive — препозитивный, препозиционный
postpositive — постпозитивный, энклитический, постпозиционный
appositive — слово или предложение в функции, относящийся к приложению
contraposition — противоположение, антитеза