Implication réciproque

Cet article est une ébauche concernant les mathématiques et la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, plus précisément en calcul propositionnel, une implication réciproque est une proposition interchangeant la prémisse et la conclusion d'une implication.

Quelques faits modifier

La réciproque de la réciproque est alors l'implication initiale.

Lorsque l'implication comporte plusieurs prémisses, l'échange de la conclusion avec seulement une partie des prémisses est parfois^[Quand ?] aussi appelée réciproque, comme pour le théorème de Thalès où les conditions d'alignement restent en prémisse pour la réciproque.

Contrairement à la contraposée d’une implication^[a], la réciproque ne se déduit pas de cette implication^[b]. Le faire sans précaution^{[Laquelle ?]} conduit au sophisme de l’affirmation du conséquent.

Notation logique et interprétation modifier

L'implication « si A alors B » soit $A\Rightarrow B$ a pour réciproque, « si B alors A » soit $B\Rightarrow A.$ .

On étend parfois^[Quand ?] cette notion d'implication réciproque au calcul des prédicats en disant que : $\forall x(Ax\Rightarrow Bx)$ soit « tout A est B » et $\forall x(Bx\Rightarrow Ax)$ soit « tout B est A » sont des implications réciproques l'une de l'autre.

Cependant, une phrase de la forme « aucun A n'est B » est équivalente à « aucun B n'est A ». Leur réciproque commune peut s'énoncer sous la forme « tout ce qui n'est pas A est B ».

Table de vérité d’une implication et de sa réciproque
P	Q	P → Q	Q → P (réciproque)
V	V	V	V
V	F	F	V
F	V	V	F
F	F	V	V

Réciproque partielle modifier

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Lorsque la réciproque d'une implication n'est pas vraie, sauf si certaines hypothèses supplémentaires sont vérifiées, on peut parler de réciproque partielle.

Exemple modifier

Soit $p$ un nombre premier^[c]. L'implication suivante, démontrée par Euclide, est vraie :

Si le nombre de Mersenne

2^{p}-1

est premier, alors le nombre

2^{p-1}(2^{p}-1)

est un nombre parfait.

Leonhard Euler a démontré une réciproque partielle de cette implication :

Si un nombre

N

est un nombre parfait et si

N

est pair, alors

N

est de la forme

2^{p-1}(2^{p}-1)

où

p

est un nombre premier et

2^{p}-1

est un nombre de Mersenne premier.

Comme on ignore s'il existe des nombres parfaits impairs, on ne peut pas dire si l'on peut se passer de la condition de parité dans la réciproque partielle d'Euler.

Notes et références modifier

Notes modifier

↑ À condition d'être en logique classique.
↑ Si c'est le cas, la prémisse et la conclusion sont équivalentes
↑ En fait, si $2^{p}-1$ est premier, alors $p$ l'est aussi. En revanche la réciproque est fausse. Seule une quarantaine de nombres de Mersenne premiers, et donc de nombres parfaits pairs, est connue en 2019.

Références modifier

Voir aussi modifier

Sur les autres projets Wikimedia :

réciproque, sur le Wiktionnaire
Implication et équivalence, sur Wikiversity

[1] À condition d'être en logique classique.

[2] Si c'est le cas, la prémisse et la conclusion sont équivalentes

[3] En fait, si $2^{p}-1$ est premier, alors $p$ l'est aussi. En revanche la réciproque est fausse. Seule une quarantaine de nombres de Mersenne premiers, et donc de nombres parfaits pairs, est connue en 2019.

[a]

[b]

[c]