■ noun Logic conversion of a proposition from all A is B to all not-B is not-A .
Derivatives
contrapositive adjective &noun
Origin
C16: from late L. contrapositio(n-) , from contraponere 'place against'.
■ noun Logic conversion of a proposition from all A is B to all not-B is not-A .
Derivatives
contrapositive adjective &noun
Origin
C16: from late L. contrapositio(n-) , from contraponere 'place against'.
Concise Oxford English vocab. Сжатый оксфордский словарь английского языка. 2004