Modus ponens
 |
Aquest article és manifestament incomplet. Ajudeu a desenvolupar-lo de forma que l'exposició de conceptes o idees sigui coherent, o com a mínim sigui un esborrany amb una estructuració acceptable. |
[[Categoria:Articles incomplets des Plantilla:Deod']]
Modus ponens (llatí: mode que afirma) és una regla d'inferència simple:
- Si P, llavors Q.
- P.
- Llavors, Q.
Expressat en la notació d'operadors lògics:
- <math> p \rightarrow q </math>
- <math> \vdash p, </math>
- <math> \vdash q </math>
on <math>\vdash</math> representa l'asserció lògica.