From 791ea1a8b492f3c622d68d72a81bb5b730faed02 Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Tue, 7 Oct 2025 14:53:14 +0200
Subject: [PATCH] eduroam-prg-og-1-28-119.net.univ-paris-diderot.fr
 2025-10-7:14:53:14

---
 M1 LOGOS . logique.md | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/M1 LOGOS . logique.md b/M1 LOGOS . logique.md
index 10142ff2..071f1455 100644
--- a/M1 LOGOS . logique.md	
+++ b/M1 LOGOS . logique.md	
@@ -35,9 +35,15 @@ author:: [[George Boole]]
 - [[filtre]]
 - [[ultrafiltre]]
 
-## 
+# 3 - Théorie de la démonstration
 
-# 3 - Bibliographie
+> [!idea] Principe
+> Définir (par récurrence) la notion de formule démontrable à partir d'un ensemble $T$ de formules.
+> $T \vdash f$
+
+ - [[modus ponens]]
+
+# 4 - Bibliographie
 [page du cours de logique](https://webusers.imj-prg.fr/~antoine.chambert-loir/enseignement/2025-26/logique/index.xhtml)
 
 livres de logique :