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

 Definición

Una regla válida fundamental de inferencia que establece que a partir de las premisas A → B y A se puede deducir B; a menudo formulada como 'si A entonces B; A; por tanto B.'

 

 

 

 

 

 





## Principio

Principio

Desprendimiento del consecuente: cuando un condicional y su antecedente están disponibles dentro de una prueba o conjunto de aserciones, el consecuente puede inferirse como consecuencia garantizada conforme a las reglas de inferencia del sistema.

 

 

 

 

 





## Demostración

Demostración

Dado «Si la alarma se dispara entonces el edificio está en alerta» y «La alarma se dispara», el modus ponens produce como conclusión directa «El edificio está en alerta».

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Usar modus ponens cuando el antecedente A solo se presume hipotéticamente o de forma defeasible sin estar establecido en el contexto actual, o aplicarlo a condicionales probabilísticos donde A → B no es una implicación material.

 

 

 

 

 





## Consecuencia

Consecuencia

Sirve como columna vertebral del razonamiento deductivo y de los sistemas basados en reglas: permite encadenar implicaciones, inferencia hacia adelante en sistemas de prueba y está presente en deducción natural y calculi estilo Hilbert.

 

 

 

 

## Inversión

Inversión

La regla inversa (de B inferir A) no es válida; la regla relacionada de 'negar el antecedente' es falaz, mientras que modus tollens es una regla complementaria válida que usa la negación del consecuente.

 

 

 

 

 





## Límite

Límite

Se mantiene en prácticamente todos los sistemas deductivos estándar que cuentan con implicación material o un condicional apropiado y una regla de desprendimiento; surgen matices en lógicas con condicionales no materiales o donde se distingue aserción y suposición.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Hay tensión entre leer condicionales como implicaciones materiales (donde modus ponens es directo) y leerlos como condicionales causales, normativos o probabilísticos donde el desprendimiento puede ser problemático o requerir premisas adicionales.

 

 

 

 

 





## Síntesis

Síntesis

Modus Ponens operacionaliza el vínculo entre enunciados condicionales y antecedentes afirmados: es la regla canónica de desprendimiento que permite extraer consecuentes, pero su uso legítimo depende del estatus lógico del condicional y del antecedente dentro del sistema.