Modus ponens
De Viquipèdia
 |
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. |
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:
on 
representa l'asserció lògica.
