Modus Ponens y Modus Tollens
Integrantes:Willy Gael Hernández Tapía Rogelio Sorcia González Axel Javier Bautista Cruz Dafne Mónico Torres Eva Sofía Juárez Hernández Kenia Gutiérrez Hernández
Modus Ponenes
El modus ponendo ponens es un tipo de argumento lógico, de inferencia razonada, perteneciente al sistema formal de las reglas de deducción de la conocida lógica proposicional. Esta estructura argumentativa es la pauta inicial que se transmite en la lógica proposicional y se relaciona directamente con los argumentos condicionales.
Características del Modus Ponenes
El modus ponendo ponens puede establecerse formalmente como: donde la regla es cuando "P → Q" 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.
Orígen del Modus Ponenes
Este modo afirmativo, como parte de la aplicación de la lógica deductiva, tiene sus orígenes en la antigüedad. Apareció de la mano del filósofo griego Aristóteles de Estagira, del siglo IV a. C.
Aristóteles planteaba con el modus ponens —como también es llamado— obtener una conclusión razonada por medio de la validación tanto de un precedente como de un consecuente en una premisa. En este proceso el antecedente es eliminado, quedando solamente el consecuente.
El pensador heleno quiso sentar las bases del razonamiento lógico descriptivo con el fin de explicar y conceptualizar todos los fenómenos próximos a la existencia del hombre, producto de su interacción con el medio ambiente.
Ejemplos del Modus Ponenes
Premisa 1: “Si quieres pasar el examen de mañana, entonces debes estudiar mucho”.Premisa 2: “Quieres pasar el examen de mañana”. Concluyente: “Por lo tanto, debes estudiar mucho”. Premisa 1: “Si quieres llegar rápido a la escuela, entonces debes tomar ese camino”. Premisa 2: “Quieres llegar rápido a la escuela”. Concluyente: “Por lo tanto, debes tomar ese camino”.
Premisa 1: “Si quieres comer pescado, entonces debes ir a comprar en el mercado”.
Premisa 2: “Quieres comer pescado”.
Concluyente: “Por lo tanto, debes ir a comprar en el mercado”.
MODUS TOLLENS
Modus Tollens
El modus tollendo tollens (latín: "el modo que, al negar, niega", conocido como modus tollens, negación del consecuente o ley de contraposición) es una forma de argumento válida y una regla de inferencia en lógica proposicional. Se puede resumir como "Si P implica Q, y Q no es cierto, entonces P no es cierto".
Características del Modus Tollens
El modus ponendo tollens establece que, si no es posible que dos términos sean simultáneamente verdaderos; y uno de ellos es verdadero; entonces se puede inferir que el otro término no puede ser verdadero.
Orígen del Modus Tollens
El concepto de sesgos cognitivos fue introducido y popularizado por el trabajo de Amos Tversky y Daniel Kahneman en 1972.
Ejemplos del Modus Tollens
Premisa 1: "Si el cielo es azul, entonces no llueve".
Premisa 2: "Esta lloviendo". Concluyente: "Por lo tanto, el cielo no es azul". Premisa 1: "Si es un coche, entonces tiene ruedas". Premisa 2: "No tiene ruedas". Concluyente: "Por lo tanto, no es un coche". Premisa 1: "Si el perro detecta un intruso, entonces ladrara ". Premisa 2: "El perro no está ladrando". Concluyente: "Por lo tanto, el perro no detecto un intruso".
¡Gracias!
PRESENTACIÓN MODUS PONENS Y TOLLENS
Rogelio Sorcia Gonzalez
Created on December 1, 2022
Start designing with a free template
Discover more than 1500 professional designs like these:
View
Smart Presentation
View
Practical Presentation
View
Essential Presentation
View
Akihabara Presentation
View
Pastel Color Presentation
View
Visual Presentation
View
Relaxing Presentation
Explore all templates
Transcript
Modus Ponens y Modus Tollens
Integrantes:Willy Gael Hernández Tapía Rogelio Sorcia González Axel Javier Bautista Cruz Dafne Mónico Torres Eva Sofía Juárez Hernández Kenia Gutiérrez Hernández
Modus Ponenes
El modus ponendo ponens es un tipo de argumento lógico, de inferencia razonada, perteneciente al sistema formal de las reglas de deducción de la conocida lógica proposicional. Esta estructura argumentativa es la pauta inicial que se transmite en la lógica proposicional y se relaciona directamente con los argumentos condicionales.
Características del Modus Ponenes
El modus ponendo ponens puede establecerse formalmente como: donde la regla es cuando "P → Q" 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.
Orígen del Modus Ponenes
Este modo afirmativo, como parte de la aplicación de la lógica deductiva, tiene sus orígenes en la antigüedad. Apareció de la mano del filósofo griego Aristóteles de Estagira, del siglo IV a. C. Aristóteles planteaba con el modus ponens —como también es llamado— obtener una conclusión razonada por medio de la validación tanto de un precedente como de un consecuente en una premisa. En este proceso el antecedente es eliminado, quedando solamente el consecuente. El pensador heleno quiso sentar las bases del razonamiento lógico descriptivo con el fin de explicar y conceptualizar todos los fenómenos próximos a la existencia del hombre, producto de su interacción con el medio ambiente.
Ejemplos del Modus Ponenes
Premisa 1: “Si quieres pasar el examen de mañana, entonces debes estudiar mucho”.Premisa 2: “Quieres pasar el examen de mañana”. Concluyente: “Por lo tanto, debes estudiar mucho”. Premisa 1: “Si quieres llegar rápido a la escuela, entonces debes tomar ese camino”. Premisa 2: “Quieres llegar rápido a la escuela”. Concluyente: “Por lo tanto, debes tomar ese camino”. Premisa 1: “Si quieres comer pescado, entonces debes ir a comprar en el mercado”. Premisa 2: “Quieres comer pescado”. Concluyente: “Por lo tanto, debes ir a comprar en el mercado”.
MODUS TOLLENS
Modus Tollens
El modus tollendo tollens (latín: "el modo que, al negar, niega", conocido como modus tollens, negación del consecuente o ley de contraposición) es una forma de argumento válida y una regla de inferencia en lógica proposicional. Se puede resumir como "Si P implica Q, y Q no es cierto, entonces P no es cierto".
Características del Modus Tollens
El modus ponendo tollens establece que, si no es posible que dos términos sean simultáneamente verdaderos; y uno de ellos es verdadero; entonces se puede inferir que el otro término no puede ser verdadero.
Orígen del Modus Tollens
El concepto de sesgos cognitivos fue introducido y popularizado por el trabajo de Amos Tversky y Daniel Kahneman en 1972.
Ejemplos del Modus Tollens
Premisa 1: "Si el cielo es azul, entonces no llueve". Premisa 2: "Esta lloviendo". Concluyente: "Por lo tanto, el cielo no es azul". Premisa 1: "Si es un coche, entonces tiene ruedas". Premisa 2: "No tiene ruedas". Concluyente: "Por lo tanto, no es un coche". Premisa 1: "Si el perro detecta un intruso, entonces ladrara ". Premisa 2: "El perro no está ladrando". Concluyente: "Por lo tanto, el perro no detecto un intruso".
¡Gracias!