El modus ponendo ponens es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional. Se puede resumir como “si P implica Q; y si P es verdad; entonces Q también es verdad.
El nombre modus ponendo ponens se puede explicar de la siguiente manera: esta regla de inferencia es el método (modus), que afirma (ponens) el consecuente, afirmando (ponendo) el antecedente.
En modo general significa: Modo que afirmando afirma.
Consideremos algunos ejemplos del uso de esta regla en la deducción de conclusiones a partir de premisas.
Ejemplo:
Sea,
Premisa 1: La biología estudia la vida, entonces, estudia las células de todos los seres vivos.
Premisa 2: La biología estudia la vida.
Conclusión: La biología estudia las células de los seres vivos.
Simbólicamente este primer ejemplo se expresa así:
Otro ejemplo de un argumento que se ajuste a la forma modus ponens:
Si hoy es miércoles, entonces Laura se irá a trabajar.
Hoy es miércoles.
Por lo tanto, Laura irá a trabajar.
Este argumento es válido, pero esto no nos dice nada sobre si las premisas requeridas por el argumento son verdaderas. Para que modus ponens sea un argumento sólido además de válido las premisas deberán ser verdaderas. Un argumento válido pero sin solidez podría ser o no falso. El argumento del ejemplo solo es sólido los miércoles y cuando en efecto, se sabe que Laura realmente va a trabajar los miércoles.
Fuentes:
http://ri.uaemex.mx/bitstream/handle/20.500.11799/32525/secme-28839.pdf?sequence=1&isAllowed=y