device-60.home 2025-9-14:13:50:2

.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",

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
 

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

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