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.