Réciproque
Un article de Wikivisual, l'encyclopédie libre.
| Cet article est une ébauche à compléter concernant les mathématiques, vous pouvez partager vos connaissances en le modifiant. |
- Pour les articles homonymes, voir Réciproque (homonymie). Image:Disambig.svg
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 :
- <math>A \Rightarrow B</math>
- <math>B \Rightarrow A</math>
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 :
- <math>(A \Rightarrow B) \and (B \Rightarrow A) \Rightarrow (A \Leftrightarrow B)</math>
Exemple d'implication et de réciproque dans le langage courant :
Si l'on considère les propositions suivantes : « Il y a du feu » et « Il y a de la fumée » alors :
L'implication « S'il y a du feu, il y a de la fumée » a pour réciproque « S'il y a de la fumée, il y a du feu »
Attention à bien distinguer contraposée et réciproque.
|
|
