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.

Essayez des activités de Netmath gratuitement

et voyez comment elles peuvent vous aider.