From cdb3804108a28d1eced623244a57357caf24c394 Mon Sep 17 00:00:00 2001
From: Anthony Debucquoy <debucquoy.anthony@gmail.com>
Date: Fri, 21 Oct 2022 13:54:20 +0200
Subject: [PATCH] fixup! .

---
 src/math/logique/implication.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)