Modus Ponendo ponens

En lgica proposicional, modus ponendo ponens (en latn significa "la forma en que se
afirma afirmando", generalmente abreviado MP o modus ponens o eliminacin del
implica es una forma simple de argumento vlido y regla de inferencia. Se puede resumir
como "Si P implica Q y P es verdad, Q es tambin verdad." La historia del modus ponens
se remonta a la antigedad.
Si bien el modus ponens es uno de los conceptos ms utilizados en la lgica no debe
confundirse con una ley lgica; ms bien, es uno de los mecanismos aceptados para la
construccin de pruebas deductivas que incluye la "regla de definicin" y la "regla de
sustitucin". Modus ponens permite eliminar una sentencia condicional de una prueba
lgica o argumento (los antecedentes) y por lo tanto no llevan estos antecedentes adelante
en una cadena alargada y constante de smbolos; por esta razn el modus ponens a veces se
denomina la regla de la separacin. Enderton, por ejemplo, observ que "el modus ponens
puede producir frmulas ms cortas de las ms largas", y Russell seal que "el proceso de
la inferencia no puede reducirse a los smbolos. Su nico registro es la ocurrencia de q [el
consecuente]... una inferencia es el lanzamiento de una premisa verdadera, sino que es la
disolucin de una implicacin".
Una justificacin para la "la confianza en la inferencia es la creencia de que si los dos ex
afirmaciones [los antecedentes] no estn en un error, la afirmacin final de [el consecuente]
no es un error". En otras palabras: si un enunciado o proposicin implica una segunda, y la
primera afirmacin o proposicin es verdadera, entonces la segunda, tambin es verdadera.
Si P implica Q y P es verdadera, entonces Q es verdadera.
Un ejemplo es:
Si est lloviendo, te esperar en el teatro.
Est lloviendo.
Por lo tanto, voy a cumplir en el teatro.
El modus ponens puede establecerse formalmente como:
Donde la regla es que cada vez que una instancia de "P Q" y "P" aparece por s mismos
en lneas de una prueba lgica, Q puede ser colocado vlidamente en una lnea posterior;
adems, la premisa de P y la implicacin "disuelve", su nico rastro siendo el
smbolo Q que se mantiene para su uso posterior, por ejemplo, en una deduccin ms
compleja.
Est estrechamente relacionado con otra forma vlida de argumento, modus tollens. Ambas
tienen apariencia similar pero tienen formas invlidas, como la afirmacin del
consecuente, negando el antecedente, y evidencia de ausencia. El dilema constructivo es la
versin disyuntiva del modus ponens. El silogismo hipottico est estrechamente
relacionado con el modus ponens y a veces se lo considera como el "ponens modus doble."

Notacin formal
La regla del modus ponens puede escribirse en subsiguiente notacin:

Donde es un smbolo metalgico que significa que Q es una consecuencia

sintctica de P Q y P en algn sistema lgico;
O como la afirmacin de una tautologa verdad-funcional o teorema de la lgica
proposicional:

Donde P, y Q son proposiciones expresadas en algn sistema formal.

Explicacin
La forma de argumento tiene dos premisas (hiptesis). La primera premisa es la "si-
entonces" o reclamacin de condicional, a saber: que P implica Q. La segunda premisa es
que P, el antecedente de la alegacin condicional, es cierto. A partir de estas dos premisas
se puede concluir lgicamente que Q, el consecuente o apdosis de la reclamacin de
condicional, tambin debe ser verdad. En inteligencia artificial, el modus
ponens usualmente se lo denomina encadenamiento hacia adelante.
Un ejemplo de un argumento que se ajuste a la forma modus ponens:
Si hoy es martes, entonces Juan se ir a trabajar.
Hoy es martes.
Por lo tanto, Juan ir a trabajar.
Este argumento es vlido, pero esto no tiene nada que ver con si alguna de las declaraciones
en el argumento es verdadera; para que modus ponens sea un argumento slido, las
premisas debern ser verdaderas para cualquier instancia verdadera de la conclusin.
Un argumento puede ser vlido, pero, no obstante, poco slido si una o ms premisas son
falsas; si un argumento es vlido y todas las premisas son verdaderas, entonces el
argumento es slido. El argumento solo es slido los martes (cuando Juan va a trabajar),
pero es vlido en todos los das de la semana. Un argumento proposicional usando modus
ponens dice que es deductivo.
En clculo secuencial de conclusin nica, el modus ponens es la regla de corte. El teorema
de eliminacin del corte para un clculo dice que cada prueba que implica Corte puede ser
transformada (por lo general, por un mtodo constructivo) en una prueba sin corte, y de ah
que el corte sea admisible.
La correspondencia de Curry-Howard entre pruebas y programas relaciona el modus
ponens a la funcin aplicacin: si f es una funcin del tipo P Q y x es de tipo P, entonces
f x es de tipo Q.

Relacin con el Modus Tollens

Cualquier regla Modus ponens puede probarse mediante una regla Modus Tollens y de
transposicin. La prueba es el siguiente.
1. P Q
2. P / Q
3. ~Q ~P 1 Transposicin
4. ~~ P 2 Doble Negacin
5. ~~ Q 3,4 Modus Tollens
6. 5 Doble negacin
Justificacin mediante tabla de verdad

La validez del modus ponens en la lgica clsica de dos valores se puede demostrar
claramente demostrada utilizando una tabla de verdad.

p q pq

V V V

V F F

F V V

F F V
En los casos de modus ponens se asume como premisa que p q es verdadera y p es
verdadera. Solo una lnea de la tabla de verdad la primera satisface estas dos
condiciones (p y p q). En esta lnea, q tambin es verdad. Por lo tanto, cada vez
que p q sea verdadero y p es verdadero, q debe tambin ser verdadero.
Va tollendo ponens

Paso Proposicin Derivacin

1 Premisa

2 Premisa

3 Implicacin material (1)

4 Modus tollendo tollens (2,3)

https://es.wikipedia.org/wiki/Modus_ponendo_ponens

Silogismo hipottico
En lgica clsica, el silogismo hipottico es una forma de argumento vlido que es un
silogismo que tiene una sentencia condicional para una o ambas de sus premisas.
Si no me despierto, entonces no voy a ir a trabajar.
Si no voy a trabajar, entonces no me pagan mi sueldo.
Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.
En la lgica proposicional, el silogismo hipottico es el nombre de una regla de
inferencia vlida (a veces abreviado SH y, a veces tambin llamado argumento
cadena, regla de cadena, o el principio de transitividad de la implicacin). El silogismo
hipottico es una de las reglas de lgica clsica, que no siempre es aceptado en
ciertos sistemas de lgica no clsica. La regla puede afirmar:
Donde la regla es que cada vez que las instancias de "" y "" aparecen en las lneas
de demostracin, "" se puede colocar en una lnea posterior.
El silogismo hipottico est estrechamente relacionado y es similar al silogismo disyuntivo,
ya que tambin es un tipo de silogismo, y tambin es el nombre de una regla de inferencia.
Notacin formal
La regla de silogismo hipottico puede escribirse en la notacin subsiguiente:
Donde es un smbolo metalgico que significa que es una consecuencia sintctica de ,
y en algn sistema lgico; y expresado como una tautologa verdad-funcional o teorema de
la lgica proposicional donde , y son proposiciones expresadas en algn sistema formal.

https://es.wikipedia.org/wiki/Silogismo_hipot%C3%A9tico