src/SUMMARY.md

@@ -9,7 +9,6 @@
 	- [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)

src/math/logique/preuves.md

@@ -1,6 +0,0 @@
-# Technique de preuve
-
-## Preuve par contraposée
-
-- **But** Prouver que \\(P \implies Q\\)
-- **Méthode** Prouver \\(\neg P \implies \neg Q\\)