En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus
ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
- Si A, entonces B
- A
- Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
- Si está soleado, entonces es de día.
- Está soleado.
- Por lo tanto, es de día.
- Si deseas ampliar la información entra a: http://es.wikipedia.org/wiki/Modus_ponendo_ponens
No hay comentarios:
Publicar un comentario