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.
Exemple
Si P et Q sont deux propositions, alors la proposition réciproque de P → Q est la proposition Q → P.