#s/maths/logique

----

Schéma minimal de raisonnement valide qui permet de produire de nouvelles [[proposition|propositions]] à partir de [[prémisses]] qui sont soit des [[théorème|théorèmes]], soit des [[axiome|axiomes]].


# Notation
$$P1, P2,\ldots Pn\vdash C$$
On peux lire que "$C$ découle de $P1,P2,\ldots Pn$".

# Exemple : le _modus ponens_
Le _modus ponens_ est une des règles les plus simples. Elle utilise les propriétés de l'implication.
Exemple de _modus ponens_ :
$$\begin{array}{lll}
\text{Prémisses} & (P1) & \text{Si A alors B}\\
                 & (P2) & \text{A}\\
\hline
\text{Conséquence} & (T) & \vdash B
\end{array}$$