Proposition réciproque
En calcul propositionnel, une proposition réciproque d'une implication logique est une implication dans laquelle on a inversé la prémisse et la conclusion.
La proposition réciproque de la réciproque d'une implication est ainsi la proposition initiale.