Diferencia entre revisiones de «Lógica proposicional/Deducciones indirectas»
Contenido eliminado Contenido añadido
m Redacción |
|||
Línea 127:
== Resumen de la lección ==
* La técnica de deducciones indirectas también se conoce como ''reductio ad absurdum''.
* Inicia asumiendo la negación de la conclusión que se desea probar.
* 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 ==
|