La réciproque est une relation d'implication.
Si l'on a deux propositions A et B, voici les deux implications que l'on peut former à l'aide de ces propositions :
Ces implications sont réciproques l'une de l'autre : la première est la réciproque de la seconde et la seconde est la réciproque de la première.
Si on considère la première implication, A est une condition suffisante de B alors que si l'on considère la seconde, A est une condition nécessaire de B.
Lorsqu'une implication et sa réciproque sont vérifiées, il y a alors équivalence :
Exemple d'implication et de réciproque dans le langage courant :
La contraposée est distingue de la réciproque.