22 lines
656 B
Markdown
22 lines
656 B
Markdown
#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}$$
|
|
|