MacBook-Pro-de-Oscar.local 2025-9-9:14:11:4

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
+
+
+

cours M1 LOGOS.md

@@ -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]
-```
-
-

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
+