diff --git a/src/math/logique/implication.md b/src/math/logique/implication.md index d256291..3d65e4c 100644 --- a/src/math/logique/implication.md +++ b/src/math/logique/implication.md @@ -18,4 +18,4 @@ P | Q | P ⇒ Q - **Réciproque** : P ⇒ Q : Q ⇒ P (n'est pas équivalent) -- **Réciproque** : P ⇒ Q : \\( \neg{P} ⇒ \neg{Q} \\) (est equivalent) +- **Contraposée** : P ⇒ Q : \\( \neg{P} ⇒ \neg{Q} \\) (est equivalent)