diff --git a/ensemble de formules satisfiable.md b/ensemble de formules satisfiable.md
new file mode 100644
index 00000000..8baa31df
--- /dev/null
+++ b/ensemble de formules satisfiable.md	
@@ -0,0 +1,11 @@
+---
+up:
+  - "[[formule logique|formules logiques]]"
+tags:
+  - s/maths/logique
+aliases:
+---
+
+> [!definition] Définition
+> Soit $\mathcal{F}$ l'ensemble des formules propositionnelles
+^definition
\ No newline at end of file