diff --git a/formule logique.md b/formule logique.md
new file mode 100644
index 00000000..76098f1f
--- /dev/null
+++ b/formule logique.md	
@@ -0,0 +1,7 @@
+---
+up:
+  - "[[M1 LOGOS . logique . calculer]]"
+---
+> [!definition] Définition
+> Soit $V$
+^definition
\ No newline at end of file