Loading AI tools
fait d'inverser une hypothèse et sa conclusion De Wikipédia, l'encyclopédie libre
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.
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[alpha 1], la réciproque ne se déduit pas de cette implication[alpha 2]. Le faire sans précaution[Laquelle ?] conduit au sophisme de l’affirmation du conséquent.
L'implication « si A alors B » soit a pour réciproque, « si B alors A » soit .
On étend parfois[Quand ?] cette notion d'implication réciproque au calcul des prédicats en disant que : soit « tout A est B » et 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 ».
P | Q | P → Q | Q → P (réciproque) |
---|---|---|---|
V | V | V | V |
V | F | F | V |
F | V | V | F |
F | F | V | V |
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.
Soit un nombre premier[alpha 3]. L'implication suivante, démontrée par Euclide, est vraie :
Leonhard Euler a démontré une réciproque partielle de cette implication :
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.