Réciproque

La réciproque d'une implication est l'implication Si les deux implications sont démontrables alors la démonstration de est dite réciproque de la démonstration de