contraposée

FONDEMENTS DES MATHEMATIQUES

« La proposition A implique la proposition B » est équivalente à « non B implique non A ».
Cette dernière formulation est la contraposée de la précédente.