MacBookPro.lan 2026-5-31:16:45:55

formule logique close.md

@@ -4,6 +4,7 @@ up:
 tags:
   - s/maths/logique
 aliases:
+  - formule close
 ---
 
 > [!definition] Définition

langage des prédicats du premier ordre.md

@@ -1,5 +1,7 @@
 ---
+aliases:
+  - langage
+  - 
 up:
 tags:
-aliases:
 ---

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
+

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