MacBookPro.lan 2026-5-31:14:45:55

conséquence formelle.md

@@ -0,0 +1,5 @@
+---
+up:
+tags:
+aliases:
+---

daily/2026-02-17.md

@@ -1,8 +1,8 @@
 # Todo
 
 - [ ] #task trouver pompe à vélo
-- [ ] #task acheter billet de train 🔺
+- [x] #task acheter billet de train 🔺 ✅ 2026-05-31
-- [ ] #task mail prof de computational semantics
+- [x] #task mail prof de computational semantics ✅ 2026-05-31
     - [ ] possible de suivre le cours maintenant ?
     - [ ] question sur le lab 1 (is my solution too hacky ?)
 

daily/2026-05-31.md

@@ -0,0 +1,20 @@
+# Todo
+
+```tasks
+due 2026-05-31
+not done
+```
+
+# I did
+
+> [!smallquery]- Modified files
+> ```dataview
+> LIST file.mtime
+> where file.mtime > date(this.file.name) and file.mtime < (date(this.file.name) + dur(1 day)) sort file.mtime asc
+> ```
+```tasks
+done 2026-05-31
+short mode
+```
+# I am gratefull to
+

démonstration.md

@@ -3,4 +3,4 @@
 ---
 Une _démonstration formelle_ est l'application successive de plusieurs [[règle d'inférence|règles d'inférence]] à partir d'un ensemble [[axiome|d'axiomes]] ou de [[théorème|théorèmes]] déjà démontrés.
 
-Une Démonstration produit systématiquement de nouveaux théorèmes qui sont la [[conséquence formelle]]
+Une Démonstration produit systématiquement de nouveaux théorèmes qui sont la [[conséquence]]

modèle.md

@@ -1,7 +1,22 @@
-#s/maths/logique
+---
+up:
+  - "[[théorie des modèles]]"
+tags:
+  - "#s/maths/logique/modèles"
+---
 
-----
 
+> [!definition] [[modèle]]
+> Soit une [[théorie d'une ]]
+^definition
+
+# Propriétés
+
+# Exemples
+
+
+
+---
 Un modèle logique est  **une [[interprétation]] particulière d'une [[proposition]]**.
 
 On dit qu'une interprétation $I$ est un [[modèle]] d'une [[proposition]] logique $\Phi$ ssi $I(\Phi) = \mathbb{V}$.

théorie des modèles.md

@@ -0,0 +1,13 @@
+---
+up:
+tags:
+aliases:
+---
+```breadcrumbs
+title: "Sous-notes"
+type: tree
+collapse: true
+show-attributes: [field]
+field-groups: [downs]
+depth: [0, 0]
+```