#s/maths/logique

---

Une [[proposition]] $B$ est la _conséquence sémantique_ d'une [[proposition]] $A$ ssi **tout [[modèle]] de $A$ est un [[modèle]] de $B$**.

# Définition
$A\models B \iff \forall x, x\models A \implies x\models B$

# Notation
"$B$ est la conséquence sémantique de $A$" se note :
$A \models B$

# Exemple
$\text{Paul est beau} \models \text{Paul n'est pas laid}$