From 07d24301af6c8e05ebc25b7634e18131a7a5bf33 Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Tue, 9 Sep 2025 14:11:04 +0200
Subject: [PATCH] MacBook-Pro-de-Oscar.local 2025-9-9:14:11:4

---
 M1 LOGOS . logique.md     | 13 +++++++++++++
 M1 LOGOS.md               |  2 +-
 cours M1 LOGOS.md         | 17 -----------------
 théorème de complétude.md | 11 +++++++++++
 4 files changed, 25 insertions(+), 18 deletions(-)
 create mode 100644 M1 LOGOS . logique.md
 delete mode 100644 cours M1 LOGOS.md
 create mode 100644 théorème de complétude.md

diff --git a/M1 LOGOS . logique.md b/M1 LOGOS . logique.md
new file mode 100644
index 00000000..73dfbd3c
--- /dev/null
+++ b/M1 LOGOS . logique.md	
@@ -0,0 +1,13 @@
+---
+up:
+  - "[[M1 LOGOS]]"
+tags:
+  - s/fac
+  - s/maths/logique
+---
+
+- ? est-ce que les formules sont non-ambigües ? (une même formule donne toujours lieu à la même interprétation)
+    - p oui, par théorème
+
+
+
diff --git a/M1 LOGOS.md b/M1 LOGOS.md
index 512ead77..75a67472 100644
--- a/M1 LOGOS.md	
+++ b/M1 LOGOS.md	
@@ -4,7 +4,7 @@ up:
 tags:
   - s/fac
 ---
-
+    
 ```breadcrumbs
 title: "Sous-notes"
 type: tree
diff --git a/cours M1 LOGOS.md b/cours M1 LOGOS.md
deleted file mode 100644
index 1da3f559..00000000
--- a/cours M1 LOGOS.md	
+++ /dev/null
@@ -1,17 +0,0 @@
----
-up:
-  - "[[M1 LOGOS]]"
-tags:
-  - s/fac
----
-
-```breadcrumbs
-title: "Sous-notes"
-type: tree
-collapse: false
-show-attributes: [field]
-field-groups: [downs]
-depth: [0, 0]
-```
-
-
diff --git a/théorème de complétude.md b/théorème de complétude.md
new file mode 100644
index 00000000..bff52c8e
--- /dev/null
+++ b/théorème de complétude.md	
@@ -0,0 +1,11 @@
+---
+up:
+  - "[[logique]]"
+tags:
+  - s/maths/logique
+---
+
+> [!definition] Définition
+> Si un énoncé n'a aucun contre-exemple, alors il existe une démonstration de cet énoncé.
+^definition
+