To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Modus ponendo ponens

De Wikipedia, la enciclopedia libre

El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens,[1][2][3][4]eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.[5]​ Se puede resumir como "si P implica Q; y si P es verdad; entonces Q también es verdad."[6]​ La historia del modus ponendo ponens se remonta a la antigüedad.[7]

El modus ponendo ponens puede establecerse formalmente como:

donde la regla es cuando "PQ" y "P" aparezcan por sí mismos en una misma línea de una prueba lógica, Q puede ser escrito válidamente en una línea subsiguiente. Nótese que la premisa de P y la implicación se "disuelven", siendo su único rastro el símbolo Q que se mantiene para su uso posterior, por ejemplo, en una deducción más compleja.

Un ejemplo de modus ponendo ponens es:

Si está lloviendo, te espero dentro del teatro.
Está lloviendo.
Por lo tanto, te espero dentro del teatro.

Si bien el modus ponendo ponens es uno de los conceptos más utilizados en la lógica, no debe confundirse con una ley lógica. Más bien, es uno de los mecanismos aceptados para la construcción de pruebas deductivas que incluye la "regla de definición" y la "regla de sustitución".[8]Modus ponendo ponens permite eliminar una sentencia condicional de una prueba lógica o argumento (los antecedentes) y por lo tanto no llevar estos antecedentes adelante en una cadena alargada y constante de símbolos. Por esta razón, el modus ponendo ponens a veces se denomina regla de la separación.[9]​ Enderton, por ejemplo, observó que "el modus ponendo ponens puede producir fórmulas más cortas de las más largas",[10]​ y Russell señaló que "el proceso de la inferencia no puede reducirse a los símbolos. Su único registro es la ocurrencia de ⊦ Q [el consecuente]...una inferencia modus ponendo ponens no es tanto el lanzamiento de una premisa verdadera, sino que es la disolución de una implicación".[11]

El modus ponendo ponens está estrechamente relacionado con otra forma de argumento valida, el modus tollendo tollens. Ambos están relacionados con dos formas no válidas de argumento o falacias: afirmación del consecuente y negación del antecedente. Adicionalmente, el dilema constructivo es la versión disyuntiva del modus ponendo ponens. El silogismo hipotético está estrechamente relacionado con el modus ponendo ponens y a veces se lo considera como el "ponens modus doble."

Notación formal

La regla del modus ponendo ponens puede escribirse en subsiguiente notación:

donde ⊢ es un símbolo metalógico que significa que Q es una consecuencia sintáctica de PQ y P en algún sistema lógico;

o como la afirmación de una tautología verdad-funcional o teorema de la lógica proposicional:

donde P, y Q son proposiciones expresadas en algún sistema formal.

Explicación

La forma de argumento tiene dos premisas (hipótesis). La primera premisa es la "si-entonces" o reclamación de condicional, a saber: que P implica Q. La segunda premisa es que P, el antecedente de la alegación condicional, es cierto. Aceptar las premisas implica necesariamente que Q, el consecuente o apódosis de la reclamación de condicional, también 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 válido, pero esto no nos dice nada sobre si las premisas requeridas por el argumento son verdaderas. Para que modus ponens sea un argumento sólido además de válido las premisas deberán ser verdaderas. Un argumento válido pero sin solidez podría ser o no falso. El argumento de ejemplo solo es sólido los martes y cuando en efecto, se sabe que Juan realmente va a trabajar los martes.

En cálculo secuencial de conclusión única, el modus ponens es la regla de corte. El teorema de eliminación del corte para un cálculo dice que cada prueba que implica Corte puede ser transformada (por lo general, por un método 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 función aplicación: si f es una función del tipo PQ y x es de tipo P, entonces f x es de tipo Q.

Relación con el Modus Tollens

Cualquier regla Modus ponens puede probarse mediante una regla Modus Tollens y de transposición. La prueba es el siguiente.

1. P → Q
2. P /∴ Q
3.~Q → ~P 1 Transposición
4.~~ P 2 Doble negación
5.~~ Q 3,4 Modus Tollens
6. 5 Doble negación

Justificación mediante tabla de verdad

La validez del modus ponens en la lógica clásica 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 pq es verdadera y p es verdadera. Solo una línea de la tabla de verdad —la primera— satisface estas dos condiciones (p y pq). En esta línea, q también es verdad. Por lo tanto, cada vez que pq sea verdadero y p es verdadero, q debe también ser verdadero.

Vía tollendo ponens

Paso Proposición Derivación
1 Premisa
2 Premisa
3 Implicación material (1)
4 Modus tollendo ponens (2,3)

Véase también

Referencias

  1. Stone, Jon R. (1996). Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language. Londres, UK: Routledge: 60. 
  2. Copi y Cohen
  3. Hurley
  4. Moore y Parker
  5. Enderton 2001:110
  6. Jago, Mark (2007). Formal Logic (en inglés). Humanities-Ebooks LLP. ISBN 978-1-84760-041-7. 
  7. Susanne Bobzien (2002). The Development of Modus Ponens in Antiquity, Phronesis 47.
  8. Alfred Tarski 1946:47. Also Enderton 2001:110ff.
  9. Tarski 1946:47
  10. Enderton 2001:111
  11. Whitehead y Russell 1927:9

Bibliografía

  • Alfred Tarski 1946 Introduction to Logic and to the Methodology of the Deductive Sciences 2.ª edición, reprinted by Dover Publications, Mineola NY. ISBN 0-486-28462-X (pbk) (en inglés).
  • Alfred North Whitehead y Bertrand Russell 1927 Principia Mathematica to *56 (Segunda edición) edición de bolsillo 1962, Cambridge at the University Press, Londres, Reino Unido. No ISBN, no LCCCN (en inglés).
  • Herbert B. Enderton, 2001, A Mathematical Introduction to Logic Second Edition, Harcourt Academic Press, Burlington MA, ISBN 978-0-12-238452-3 (en inglés).

Enlaces externos

Esta página se editó por última vez el 14 sep 2021 a las 13:25.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.