contraposée [latin : contra, contre ; et ponere, poser] (2) :

La contraposée de l'implication p⇒q est l'implication qp.

La contraposée de ["x est multiple de 6"⇒"x est pair"] est : ["x est impair"⇒"x n'est pas multiple de 6"].

contraposée (2)(T) :

Une proposition et sa contraposée sont équivalentes.