Théorème, réciproque et contraposée (theorem, converse and contraposition)
Proposition (théorème) / proposition (theorem)
En mathématiques et en logique, une proposition logique (pour simplifier, un théorème au collège) peut se résumer ainsi :
Si A alors B
Par exemple :
Si je suis dans la ville de New York alors Je suis aux Etats-Unis
Contraposée / Contraposition
En mathématiques et en logique, la contraposée (Contraposition en anglais) d'une proposition logique est toujours équivalente à la proposition initiale.
C'est à dire que si la proposition logique est vraie, sa contraposée l'est aussi :
| Proposition | Contraposée (Contraposition) |
| Si A alors B | Si non B alors non A |
Par exemple :
Proposition
Si je suis dans la ville de New York alors Je suis aux Etats-Unis
Contraposée (contraposition)
Si Je ne suis pas aux Etats-Unis alors je ne suis pas dans la ville de New York
Réciproque / Converse
En mathématiques et en logique, la réciproque (converse en anglais) d'une proposition logique n'est pas toujours vraie même si la proposition initiale l'est.
pour simplifier, un théorème n'admet pas toujours de réciproque (par contre sa contraposée est toujours vraie).
C'est à dire que si la proposition logique est vraie, sa réciproque ne l'est pas toujours.
| Proposition | Réciproque (converse) |
| Si A alors B | Si B alors A |
Par exemple :
Proposition
Si je suis dans la ville de New York alors Je suis aux Etats-Unis
Réciproque (converse) fausse dans ce cas
Si Je suis aux Etats-Unis alors je suis dans la ville de New York
Ce qui n'est évidemment pas une proposition toujours vraie, je peux me trouver à Los Angleles
Attention : reciprocal (in english) n'a pas la même signification
Le 'reciprocal' d'un nombre non nul en anglais correspond à l'inverse en français.
In mathematics, a multiplicative inverse or reciprocal for a number x, denoted by 1x or x−1, is a number which when multiplied by x yields the multiplicative identity, 1.
The multiplicative inverse of a fraction ab is ba.
