fixup! .

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)