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

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

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

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

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

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

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 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

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.