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

---
 blog                                          |  2 +-
 formule logique close.md                      |  1 +
 ...=> langage des prédicats du premier ordre.md |  4 +++-
 ...rie des modèles . formule contradictoire.md | 20 +++++++++++++++++
 ...modèles . formule universellement valide.md | 22 +++++++++++++++++++
 5 files changed, 47 insertions(+), 2 deletions(-)
 rename théorie des modèles ..md => langage des prédicats du premier ordre.md (61%)
 create mode 100644 théorie des modèles . formule contradictoire.md
 create mode 100644 théorie des modèles . formule universellement valide.md

diff --git a/blog b/blog
index 1d1998c7..cc242a21 160000
--- a/blog
+++ b/blog
@@ -1 +1 @@
-Subproject commit 1d1998c79e08fa9a680704cced32c87bdcde3774
+Subproject commit cc242a21071693e44e66ce012cec73294ab4f2f4
diff --git a/formule logique close.md b/formule logique close.md
index c3aa8025..cba2754a 100644
--- a/formule logique close.md	
+++ b/formule logique close.md	
@@ -4,6 +4,7 @@ up:
 tags:
   - s/maths/logique
 aliases:
+  - formule close
 ---
 
 > [!definition] Définition
diff --git a/théorie des modèles ..md b/langage des prédicats du premier ordre.md
similarity index 61%
rename from théorie des modèles ..md
rename to langage des prédicats du premier ordre.md
index 8649b13a..60d1740e 100644
--- a/théorie des modèles ..md	
+++ b/langage des prédicats du premier ordre.md	
@@ -1,5 +1,7 @@
 ---
+aliases:
+  - langage
+  - 
 up:
 tags:
-aliases:
 ---
diff --git a/théorie des modèles . formule contradictoire.md b/théorie des modèles . formule contradictoire.md
new file mode 100644
index 00000000..0acded60
--- /dev/null
+++ b/théorie des modèles . formule contradictoire.md	
@@ -0,0 +1,20 @@
+---
+up:
+  - "[[théorie des modèles . formule universellement valide|formule universellement valide]]"
+tags:
+  - s/maths/logique/modèles
+aliases:
+  - formule contradictoire
+  - contradictoire
+  - formule inconsistante
+  - inconsistante
+---
+
+> [!definition] [[théorie des modèles . formule contradictoire]]
+> Une [[formule logique close|formule close]] d'un [[langage des prédicats du premier ordre|langage]] $L$ est **contradictoire** (ou **inconsistante**) si et seulement sa négation est [[théorie des modèles . formule universellement valide|universellement valide]]
+^definition
+
+# Propriétés
+
+# Exemples
+
diff --git a/théorie des modèles . formule universellement valide.md b/théorie des modèles . formule universellement valide.md
new file mode 100644
index 00000000..b764d9bd
--- /dev/null
+++ b/théorie des modèles . formule universellement valide.md	
@@ -0,0 +1,22 @@
+---
+up:
+  - "[[théorie des modèles]]"
+tags:
+  - s/maths/logique/modèles
+aliases:
+  - formule universellement valide
+  - universellement valide
+---
+
+> [!definition] [[théorie des modèles . formule universellement valide]]
+> Soit $L$ un [[langage des prédicats du premier ordre|langage du premier ordre]]
+> Une [[formule logique close|formule close]] de $L$ est **universellement valide** si et seulement si elle est satisfaite dans toute $L$-structure. (On dit parfois simplement « formule valide »).
+> On note $\vdash^{*}F$ pour « $F$ est universellement valide »
+^definition
+
+
+# Propriétés
+
+# Exemples
+
+