proposition réciproque

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.

Exemple

Si P et Q sont deux propositions, alors la proposition réciproque de P → Q est la proposition Q → P.