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