From f3252e23412298766f33feaf77355d68509c8ac7 Mon Sep 17 00:00:00 2001
From: oskar <oscar.plaisant@icloud.com>
Date: Sun, 31 May 2026 18:45:55 +0200
Subject: [PATCH] MacBookPro.lan 2026-5-31:18:45:55

---
 .obsidian/plugins/breadcrumbs/data.json        | 4 ++--
 .obsidian/plugins/notebook-navigator/data.json | 3 ++-
 ensemble de formules contradictoire.md         | 8 ++++++++
 3 files changed, 12 insertions(+), 3 deletions(-)
 create mode 100644 ensemble de formules contradictoire.md

diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json
index 2005ad3f..a55be24e 100644
--- a/.obsidian/plugins/breadcrumbs/data.json
+++ b/.obsidian/plugins/breadcrumbs/data.json
@@ -245,7 +245,7 @@
           "prevs"
         ],
         "lock_view": false,
-        "lock_path": "ensemble de formules satisfaisable.md",
+        "lock_path": "ensemble de formules contradictoire.md",
         "custom_sort_fields": false,
         "custom_sort_field_labels": []
       },
@@ -254,7 +254,7 @@
         "show_attributes": [],
         "merge_fields": false,
         "lock_view": false,
-        "lock_path": "ensemble de formules satisfaisable.md",
+        "lock_path": "ensemble de formules contradictoire.md",
         "field_group_labels": [
           "downs"
         ],
diff --git a/.obsidian/plugins/notebook-navigator/data.json b/.obsidian/plugins/notebook-navigator/data.json
index 3041971d..c98349bd 100644
--- a/.obsidian/plugins/notebook-navigator/data.json
+++ b/.obsidian/plugins/notebook-navigator/data.json
@@ -534,7 +534,8 @@
     "micrometa",
     "obsidan_export",
     "pocket",
-    "-#s"
+    "-#s",
+    "o"
   ],
   "rootPropertyOrder": []
 }
\ No newline at end of file
diff --git a/ensemble de formules contradictoire.md b/ensemble de formules contradictoire.md
new file mode 100644
index 00000000..4a09d598
--- /dev/null
+++ b/ensemble de formules contradictoire.md	
@@ -0,0 +1,8 @@
+---
+up:
+  - "[[calcul propositionnel]]"
+tags:
+  - s/maths/logique
+  - o
+aliases:
+---