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

---
 .obsidian/appearance.json                     |  2 +-
 .../obsidian-minimal-settings/data.json       |  2 +-
 M1 LOGOS . logique . calculer.md              | 10 ---------
 M1 LOGOS . logique.md                         | 13 +++++++++--
 formule logique.md                            | 22 +++++++++++++++----
 5 files changed, 31 insertions(+), 18 deletions(-)
 delete mode 100644 M1 LOGOS . logique . calculer.md

diff --git a/.obsidian/appearance.json b/.obsidian/appearance.json
index 2d7be77a..e16fdb53 100644
--- a/.obsidian/appearance.json
+++ b/.obsidian/appearance.json
@@ -1,7 +1,7 @@
 {
   "theme": "system",
   "cssTheme": "Minimal",
-  "baseFontSize": 25,
+  "baseFontSize": 24.5,
   "enabledCssSnippets": [
     "pdf_darkmode",
     "query_header_title",
diff --git a/.obsidian/plugins/obsidian-minimal-settings/data.json b/.obsidian/plugins/obsidian-minimal-settings/data.json
index 250158bb..25f47e1e 100644
--- a/.obsidian/plugins/obsidian-minimal-settings/data.json
+++ b/.obsidian/plugins/obsidian-minimal-settings/data.json
@@ -8,7 +8,7 @@
   "lineWidth": 40,
   "lineWidthWide": 50,
   "maxWidth": 98,
-  "textNormal": 25,
+  "textNormal": 24.5,
   "textSmall": 18,
   "imgGrid": false,
   "imgWidth": "img-default-width",
diff --git a/M1 LOGOS . logique . calculer.md b/M1 LOGOS . logique . calculer.md
deleted file mode 100644
index 1550a4a1..00000000
--- a/M1 LOGOS . logique . calculer.md	
+++ /dev/null
@@ -1,10 +0,0 @@
----
-up:
-  - "[[M1 LOGOS . logique]]"
-tags:
-  - s/fac
-  - s/maths/logique
----
-# 1. Le calcul booléen
-author:: [[George Boole]]
-[[calcul booléen]]
diff --git a/M1 LOGOS . logique.md b/M1 LOGOS . logique.md
index d2fd1d92..e08555ea 100644
--- a/M1 LOGOS . logique.md	
+++ b/M1 LOGOS . logique.md	
@@ -9,10 +9,19 @@ tags:
 - ? 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
 
-# Chapitres
+# 1 - Calculer
 1. [[M1 LOGOS . logique . calculer]]
+## 1.1 - Le calcul booléen
+author:: [[George Boole]]
+[[calcul booléen]]
 
-# Bibliographie
+## 1.2 - Formules
+[[formule logique]]
+
+## 1.3 - Evaluation
+
+
+# 2 - Bibliographie
 [page du cours de logique](https://webusers.imj-prg.fr/~antoine.chambert-loir/enseignement/2025-26/logique/index.xhtml)
 
 livres de logique :
diff --git a/formule logique.md b/formule logique.md
index b588a781..60011dc7 100644
--- a/formule logique.md	
+++ b/formule logique.md	
@@ -15,10 +15,10 @@ up:
 >  - si $v \in V$ alors $[v] \in \mathcal{F}_{v}$
 >  - si $f \in F_{v}$ alors $\neg f \in \mathcal{F}_{v}$
 >  - si $f_1, f_2 \in F_{v}$ alors :
->      - $(f_1 \vee f_2) \in \mathcal{F}_{v}$ ou, autrement : $[\vee f_1 f_2] \in \mathcal{F}_{v}$
->      - $(f_1 \wedge f_2) \in \mathcal{F}_{v}$ ou, autrement : $[\wedge f_1 f_2] \in \mathcal{F}_{v}$
->      - $(f_1 \implies f_2) \in \mathcal{F}_{v}$ ou, autrement : $[\implies f_1 f_2] \in \mathcal{F}_{v}$
->      - $(f_1 \iff f_2) \in \mathcal{F}_v$ ou, autrement : $[\iff f_1 f_2] \in \mathcal{F}_{v}$
+>      - $[\vee f_1 f_2] \in \mathcal{F}_{v}$ sous entendu $(f_1 \vee f_2)$
+>      - $[\wedge f_1 f_2] \in \mathcal{F}_{v}$ sous entendu $(f_1 \wedge f_2)$
+>      - $[\implies f_1 f_2] \in \mathcal{F}_{v}$ sous entendu $(f_1 \implies f_2)$
+>      - $[\iff f_1 f_2] \in \mathcal{F}_{v}$ sous entendu $(f_1 \iff f_2)$
 
 # Propriétés
 
@@ -39,5 +39,19 @@ up:
 >  - dans 5. 6. 7. et 8. $f_1$ et $f_2$ sont uniques et déterminés
 
 > [!proposition]+ 
+> On définit une fonction $p$ qui à un symbole associe un poids :
+> $p(0) = p(1) = p(v) = -1$ pour tout $v \in V$
+> $p(\neg) = 0$
+> $p(\wedge) = p(\vee) = p(\implies) = p(\iff) = 1$
+> $p(\emptyset) = 0$
+> Puis par réccurence, avec $m = [a_1, \dots ,a_{n}]$ avec $a_{i} \in V \cup L$
+> $p(m) = p(a_1) + \cdots + p(a_{n})$
 > 
+> A a alors le théorème suivant :
+> Un mot $f$ est une formule  si et seulement si on a :
+> 1. $p(f) = -1$
+> 2. pour tout préfixe $f'$ de $f$, $f' \neq f$ on a $p(f') \geq 0$
+> 
+> > [!corollaire] 
+> > Un préfixe $f'$ d'une formule $f$ (tel que $f' \neq f$) n'est pas uen formule.