contraposée [latin : contra, contre ; et ponere, poser] (2) :
La contraposée de l'implication p⇒q est l'implication ØqÞØp.
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.