el enunciado que ayuda en la regla de tollendo tollens a. Si María reprueba las lecciones entonces perdera el año ayuda :(
Respuestas
El modus tollendo tollens es una aplicación de la verdad general de que, si una declaración es válida, también lo es su contraposición. La historia de la regla modus tollendo tollens se remonta a la antigüedad,[7] siendo los estoicos los primeros en declarar explícitamente esta forma válida de argumento.[8]
El modus tollendo tollens puede establecerse formalmente como:
{\displaystyle {\frac {P\to Q,\neg Q}{\therefore \neg P}}}{\displaystyle {\frac {P\to Q,\neg Q}{\therefore \neg P}}}
donde P → Q significa "P implica Q", ¬Q significa "no es el caso de que Q" ("no Q"), ¬P significa "no P". La regla es que cada vez que P → Q y ¬Q aparezcan por sí mismas en una línea de una prueba lógica, ¬P puede ser escrito válidamente en una línea subsiguiente.
Un ejemplo simple de modus tollendo tollens es:
Si el agua hierve, entonces soltará vapor.
No suelta vapor.
Por lo tanto, no está hirviendo el agua.
En este caso, {\displaystyle P}P es "el agua hierve", {\displaystyle Q}Q es "suelta vapor". Dado que {\displaystyle \neg Q}{\displaystyle \neg Q}, es decir, "no suelta vapor", se puede concluir que {\displaystyle \neg P}{\displaystyle \neg P}, es decir, "el agua no hierve".