Lexique

réciproque (d'une propriété)
Soit P et Q deux propositions, la réciproque de l'implication P \Rightarrow Q est l'implication Q \Rightarrow P.
Exemple
La proposition « Si un quadrilatère est un parallélogramme alors ses diagonales se coupent en leur milieu » a pour réciproque la proposition « Si les diagonales d'un quadrilatère se coupent en leur milieu alors ce quadrilatère est un parallélogramme ».