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

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

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

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

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

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

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

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

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.