656 B
656 B
#s/maths/logique
Schéma minimal de raisonnement valide qui permet de produire de nouvelles proposition à partir de prémisses qui sont soit des théorème, soit des axiome.
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}$$