eduroam-prg-og-1-28-119.net.univ-paris-diderot.fr 2025-10-7:14:53:14

2025-10-07 14:53:14 +02:00
parent 8c01888213
commit 791ea1a8b4
1 changed files with 8 additions and 2 deletions
--- a/logique.md
+++ b/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 :