Diferencia entre revisiones de «Lógica proposicional/Deducciones indirectas»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
m Redacción
Lsanabria (discusión | contribs.)
Línea 127:
== Resumen de la lección ==
 
* La técnica de deducciones indirectas también se conoce como ''reductio ad absurdum''.
* [Punto principal de la lección]
* Inicia asumiendo la negación de la conclusión que se desea probar.
* [Punto principal de la lección]
* Si a partir de la suposición y de las premisas se llega a una contradicción entonces se concluye que la suposición es falsa.
* [...]
* La conclusión se considera verdadera por ser la negación de la suposición.
* Las proposiciones intermedias generadas durante la deducción indirecta no se pueden usar fuera del alcance de esta última porque dependen de una suposición.
 
== Términos clave ==