diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 2b770dd..fb35711 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -9,6 +9,7 @@
 	- [induction](./math/logique/induction.md)
 	- [Ensembles](./math/logique/ensembles.md)
 	- [Fonction, Domaine et Image](./math/logique/fonctions.md)
+	- [Technique de preuve](./math/logique/preuves.md)
 - [Inéquations](./math/ineq/summary.md)
 	- [Second Degrés](./math/ineq/second_degres.md)
 	- [Valeurs Absolue](./math/ineq/abs.md)
diff --git a/src/math/logique/preuves.md b/src/math/logique/preuves.md
new file mode 100644
index 0000000..9941d1d
--- /dev/null
+++ b/src/math/logique/preuves.md
@@ -0,0 +1,6 @@
+# Technique de preuve
+
+## Preuve par contraposée
+
+- **But** Prouver que \\(P \implies Q\\)
+- **Méthode** Prouver \\(\neg P \implies \neg Q\\)