From 0ca31c5a5b70b87606b30cc703864dc10eacdbcb Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Tue, 16 Sep 2025 16:17:22 +0200
Subject: [PATCH] MacBook-Pro-de-Oscar.local 2025-9-16:16:17:22

---
 ensemble de formules satisfiable.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 ensemble de formules satisfiable.md

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