Definition of contrapositive in English:

contrapositive

Pronunciation /ˌkäntrəˈpäzədiv/ /ˌkɑntrəˈpɑzədɪv/

adjective & noun

Logic

See contraposition

‘The contrapositive of the inference is logically equivalent - X simulates Y, X does not have P therefore Y does not - where P is understands Chinese.’
  • ‘And you know also the contrapositive, that your being at place X entails that you are not then in a tank on Alpha Centauri.’
  • ‘Then the contrapositive not-PN entails not-MN is also true.’