Lexique

contraposée
La contraposée de l'implication P\Rightarrow Q est l'implication (\mbox{non }Q)\Rightarrow (\mbox{non }P).
L'implication « Si la fonction f est dérivable en a, alors la fonction f est continue en a » a pour contraposée « Si la fonction f n'est pas continue en a, alors la fonction f n'est pas dérivable en a ».