From 2b94b4435a451c4fa7906f591af13080b32b648f Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Wed, 10 Sep 2025 14:07:01 +0200
Subject: [PATCH] MacBook-Pro-de-Oscar.local 2025-9-10:14:7:1

---
 formule logique.md             | 34 ++--------------------------------
 poids d'une formule logique.md | 24 ++++++++++++++++++++++++
 théorème de lecture unique.md  | 25 +++++++++++++++++++++++++
 3 files changed, 51 insertions(+), 32 deletions(-)
 create mode 100644 poids d'une formule logique.md
 create mode 100644 théorème de lecture unique.md

diff --git a/formule logique.md b/formule logique.md
index 4d524032..5b12143c 100644
--- a/formule logique.md	
+++ b/formule logique.md	
@@ -24,36 +24,6 @@ aliases:
 
 # Propriétés
 
-> [!proposition]+ Théorème
-> Pour toute formule $f \in \mathcal{F}_{v}$
-> une et une seule des assertions suivantes est verrifée :
->  1. $f = [0]$
->  2. $f = [1]$
->  3. $\exists v \in V,\quad f = [v]$
->  4. $\exists f' \in \mathcal{F}_{v},\quad f = \neg f'$
->  5. $\exists f_1, f_2 \in \mathcal{F}_{v},\quad f = [\vee f_1 f_2]$
->  6. $\exists f_1, f_2 \in \mathcal{F}_{v},\quad f = [\wedge f_1 f_2]$
->  7. $\exists f_1, f_2 \in \mathcal{F}_{v},\quad f = [\implies f_1 f_2]$
->  8. $\exists f_1, f_2 \in \mathcal{F}_{v},\quad f = [\iff f_1 f_2]$
-> De plus :
->  - dans 3. $v$ est unique et déterminé 
->  - dans 4. $f'$ est unique et déterminé
->  - 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.
+- [[théorème de lecture unique]]
+- [[poids d'une formule logique]]
 
diff --git a/poids d'une formule logique.md b/poids d'une formule logique.md
new file mode 100644
index 00000000..fd70460b
--- /dev/null
+++ b/poids d'une formule logique.md	
@@ -0,0 +1,24 @@
+---
+up:
+tags:
+aliases:
+---
+
+> [!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})$
+> 
+> On a alors le théorème suivant :
+> Un mot $f$ est une formule (bien formée) 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.
+^thm
+
diff --git a/théorème de lecture unique.md b/théorème de lecture unique.md
new file mode 100644
index 00000000..c0edf5db
--- /dev/null
+++ b/théorème de lecture unique.md	
@@ -0,0 +1,25 @@
+---
+up:
+  - "[[formule logique]]"
+tags:
+  - s/maths/logique
+aliases:
+---
+
+> [!proposition]+ Théorème de lecture unique
+> Pour toute formule $f \in \mathcal{F}_{v}$
+> une et une seule des assertions suivantes est verrifée :
+>  1. $f = [0]$
+>  2. $f = [1]$
+>  3. $\exists v \in V,\quad f = [v]$
+>  4. $\exists f' \in \mathcal{F}_{v},\quad f = \neg f'$
+>  5. $\exists f_1, f_2 \in \mathcal{F}_{v},\quad f = [\vee f_1 f_2]$
+>  6. $\exists f_1, f_2 \in \mathcal{F}_{v},\quad f = [\wedge f_1 f_2]$
+>  7. $\exists f_1, f_2 \in \mathcal{F}_{v},\quad f = [\implies f_1 f_2]$
+>  8. $\exists f_1, f_2 \in \mathcal{F}_{v},\quad f = [\iff f_1 f_2]$
+> De plus :
+>  - dans 3. $v$ est unique et déterminé 
+>  - dans 4. $f'$ est unique et déterminé
+>  - dans 5. 6. 7. et 8. $f_1$ et $f_2$ sont uniques et déterminés
+^thm
+