Act. 3 Reconocimiento Unidad 1
Enviado por cristo127 • 19 de Marzo de 2013 • 214 Palabras (1 Páginas) • 576 Visitas
En lógica, modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.
Otra manera de presentar el modus ponens con el condicional es:
Y aún otra manera es a través de la notación del cálculo de secuentes: Con condicional:
En la axiomatización de la lógica proposicional propuesta por Jan Łukasiewicz, el modus ponens es la única regla de inferencia primitiva. Esto ha motivado que mucha de la discusión en torno al problema de la justificación de la deducción se haya centrado en la justificación del modus ponens.
En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice:
O bien A, o bien B
A
Por lo tanto, no B
Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser:
O bien es de día, o bien es de noche.
Es de día.
Por lo tanto, no es de noche.
Otra manera de presentar el modus ponendo tollens es:
Y aún otra manera es a través de la notación del cálculo de secuentes:
...