##  [Modus Ponens](/es/node/59242) 

 Definición

Regla de inferencia fundamental: a partir de 'Si P entonces Q' (P → Q) y 'P', inferir 'Q'. Es la regla de desprendimiento primaria usada para aplicar condicionales y obtener consecuentes.

 

 

 

 

 

 





## Principio

Principio

La idea organizadora es el desprendimiento: un condicional junto con un antecedente verdadero autoriza el consecuente bajo la relación de consecuencia de la lógica en cuestión.

 

 

 

 

 





## Demostración

Demostración

Escenario ilustrativo: si 'Si está lloviendo, el suelo está mojado' y 'Está lloviendo' son aceptados, se infiere 'El suelo está mojado'. En cálculo proposicional, esta es una regla válida de un solo paso.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Confundir modus ponens con la afirmación del consecuente (a partir de 'Si P entonces Q' y 'Q' inferir 'P') o aplicarlo cuando el condicional no se usa como implicación material (por ejemplo condicionales causales, probabilísticos o contrafácticos) conduce a conclusiones inválidas.

 

 

 

 

 





## Consecuencia

Consecuencia

Modus ponens sustenta gran parte del razonamiento deductivo y la aplicación de reglas: permite encadenar condicionales para derivar resultados, apoya la construcción de pruebas y forma la columna vertebral de muchos sistemas formales.

 

 

 

 

## Inversión

Inversión

La inversión no es una regla válida: la afirmación del consecuente es la inversión errónea común. Un contraste legítimo es el modus tollens, que infiere ¬P a partir de P → Q y ¬Q.

 

 

 

 

 





## Límite

Límite

Válido en la mayoría de las lógicas clásicas y muchas no clásicas que adoptan condicionales similares a la implicación material; se requiere precaución en sistemas con reglas condicionales restringidas (lógicas de relevancia, ciertas lógicas modales o subestructurales) o cuando los condicionales expresan relaciones causales/explicativas.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Tensión entre tratar 'si...entonces' como implicación material (donde modus ponens se aplica directamente) y tratarlo como expresión de causalidad, relevancia o probabilidad (donde la regla puede ser aceptable pero con matices).

 

 

 

 

 





## Síntesis

Síntesis

Modus ponens es la regla canónica de desprendimiento: cuando se sostiene un condicional y su antecedente, sigue el consecuente; es central para la deducción clásica pero debe aplicarse con atención a la interpretación de los condicionales.