From e093fb57e68db854d8202b69c996229116c2147e Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Sun, 14 Sep 2025 13:50:02 +0200
Subject: [PATCH] device-60.home 2025-9-14:13:50:2

---
 .../plugins/obsidian-style-settings/data.json |  2 +-
 M1 LOGOS . logique.md                         |  7 ++--
 formule logique.md                            |  5 ++-
 notes de cours logique.md                     | 38 +++++++++++++++++++
 4 files changed, 45 insertions(+), 7 deletions(-)
 create mode 100644 notes de cours logique.md

diff --git a/.obsidian/plugins/obsidian-style-settings/data.json b/.obsidian/plugins/obsidian-style-settings/data.json
index 4acb9bfc..ad1a1cec 100644
--- a/.obsidian/plugins/obsidian-style-settings/data.json
+++ b/.obsidian/plugins/obsidian-style-settings/data.json
@@ -83,7 +83,7 @@
   "Appearance-dark@@theme-dark-style-select": "theme-dark-background-darker",
   "Appearance-dark@@card-layout-open-dark": true,
   "Plugin@@colorful-checkbox": false,
-  "pane-relief@@pr-sliding-panes-desktop-width": "calc(50vw - 0.6*var(--ribbon-width))",
+  "pane-relief@@pr-sliding-panes-desktop-width": "calc(40vw - 0.6*var(--ribbon-width))",
   "minimal-edge-settings@@disable-border": false,
   "minimal-edge-settings@@background-theme": "eclipse-theme",
   "minimal-style@@file-header-font-size": "1.2em",
diff --git a/M1 LOGOS . logique.md b/M1 LOGOS . logique.md
index c039ce53..8d693ef8 100644
--- a/M1 LOGOS . logique.md	
+++ b/M1 LOGOS . logique.md	
@@ -23,13 +23,12 @@ author:: [[George Boole]]
 [[formule logique]]
 
 ## 1.3 - Evaluation
-
 - [[valuation d'une formule logique]]
-    - 
+    - [[formule logique satisfaite par une valuation]]
 
 ## Tautologies
-
-[[tautologie]]
+- [[formule logique satisfiable|formule satisfiable]]
+- [[tautologie]]
 
 ## Formes normales
 
diff --git a/formule logique.md b/formule logique.md
index 9378d729..7aaf63cf 100644
--- a/formule logique.md	
+++ b/formule logique.md	
@@ -25,6 +25,7 @@ aliases:
 
 # Propriétés
 
-- [[théorème de lecture unique]]
-- [[poids d'une formule logique]]
+![[théorème de lecture unique#^thm]]
+
+![[poids d'une formule logique#^thm]]
 
diff --git a/notes de cours logique.md b/notes de cours logique.md
new file mode 100644
index 00000000..c8f0f68b
--- /dev/null
+++ b/notes de cours logique.md	
@@ -0,0 +1,38 @@
+---
+up:
+tags:
+aliases:
+share_link: https://share.note.sx/xzzaxdak#KdgUZAwfCaPF6AdawA6qWtCmu2uGfkyeIbDZi4wHHe8
+share_updated: 2025-09-14T13:38:02+02:00
+---
+
+# 1 - Calculer
+## 1.1 - Le calcul booléen
+![[calcul booléen]]
+
+## 1.2 - Formules
+![[formule logique]]
+
+## 1.3 - Evaluation
+![[valuation d'une formule logique]]
+
+![[formule logique satisfaite par une valuation]]
+
+## Tautologies
+![[formule logique satisfiable|formule satisfiable]]
+![[tautologie]]
+
+## Formes normales
+![[forme normale disjonctive]]
+
+# 2 - Bibliographie
+[page du cours de logique](https://webusers.imj-prg.fr/~antoine.chambert-loir/enseignement/2025-26/logique/index.xhtml)
+
+livres de logique :
+ - (R.Cori, D.Lascar)
+ - E.Mendelson
+ - J.L.Krivine
+
+
+
+