1. Conditional proposition of the form 'if not B then not A' (the contrapositive of 'if A then B')
   "The contrapositive of 'if it's raining, the ground is wet' is 'if the ground is not wet, it's not raining'"

Derived forms: contrapositives

Encyclopedia: Contrapositive