#s/maths/logique

----
Un raisonnement est dit _valide_ ssi sa conclusion est la conséquence logique de ses prémisses.

# Notation
$$P1, \ldots, Pn \models B$$
Le raisonnement Est valide ssi $B$ est bien [[modèle|modélisé]] par $P1,\ldots,Pn$.