From ade3d8ddd958ee49564f15d72099e489237d229d Mon Sep 17 00:00:00 2001
From: Anthony Debucquoy <debucquoy.anthony@gmail.com>
Date: Fri, 11 Nov 2022 15:44:27 +0100
Subject: [PATCH] .

---
 src/SUMMARY.md             | 25 +++++++++++++++++++++++++
 src/math/logique/preuve.md | 19 -------------------
 2 files changed, 25 insertions(+), 19 deletions(-)
 create mode 100644 src/SUMMARY.md
 delete mode 100644 src/math/logique/preuve.md

diff --git a/src/SUMMARY.md b/src/SUMMARY.md
new file mode 100644
index 0000000..fb35711
--- /dev/null
+++ b/src/SUMMARY.md
@@ -0,0 +1,25 @@
+# Summary
+
+-[Introduction](./intro.md)
+
+# Mathématiques élémentaires
+- [Rappel](./math/rappel/flux.md)
+- [Logique](./math/logique/summary.md)
+	- [implication](./math/logique/implication.md)
+	- [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)
+	- [Racines carrées](./math/ineq/sqrt.md)
+- [Géométrie](./math/geo/summary.md)
+	- [Les Vecteurs](./math/geo/vecteurs.md)
+	- [Les Droites](./math/geo/droites.md)
+	- [Les Systems](./math/geo/systems.md)
+	- [Les Plans](./math/geo/plans.md)
+# Programmation et algorithmique I
+# Physique générale I
+- [Mecanique](./phys/meca/index.md)
+	- [Chapitre 1](./phys/meca/chap1.md)
diff --git a/src/math/logique/preuve.md b/src/math/logique/preuve.md
deleted file mode 100644
index 62fe9a5..0000000
--- a/src/math/logique/preuve.md
+++ /dev/null
@@ -1,19 +0,0 @@
-# Preuves
-
-## Formule Logique Propositionelle
-
-- Table de véritée
-
-## Formule logique du première Ordre
-
-- Preuve directe
-- Preuve par indiction (seulement pour les formules de la forme \\(\forall n \in \mathbb{N} P(n)\\))
-- Preuve par contraposée (Pour L'induction)
-	- But: Prouver que \\(P \implies Q\\)
-	- Méthode : Prouver \\(\neg Q \implies \neg P\\)
-- Preuve par l'absurde (Prouver que l'inverse est adverse)
-	- But: Prouver que \\(\varphi\\) est Vraie
-	- Méthode: Pour obtenir \\(\neg \varphi\\)
-		1. On nie la formule \\(\varphi\\), puor obtenir \\(\neg \varphi\\)
-		2. On montre que supposer \\(\neg \varphi\\) Vraie conduit à une absurditée
-	- Conclusion: La formule \\(\varphi\\) est vraie