Diferencia entre revisiones de «Lógica proposicional/Deducciones indirectas»
Contenido eliminado Contenido añadido
m Corrigiendo enlace |
+contenido |
||
Línea 1:
{{título lección|título=Lección 12|texto=Deducciones indirectas}}
La deducción indirecta es una técnica para realizar deducciones lógicas con orígenes en la antigüedad clásica y también se le conoce como ''reductio ad absurdum''.<ref name="klement" /> En la lógica en general, ''reductio ad absurdum'' es un mecanismo de argumentación que trata de probar un argumento al derivar una situación absurda o contradictoria a partir de su negación, concluyendo que el argumento original debe ser aceptado para evitar la contradicción.<ref name="rescher" /> Esta conclusión se base en el principio de que a partir de premisas y supuestos verdaderos solo se pueden seguir conclusiones verdaderas. Por lo tanto, si a partir de las premisas y supuestos se ha llegado a una conclusión falsa entonces al menos uno de ellos debe ser falso, concretamente la suposición que niega la conclusión a la que se trata de llegar.<ref name="brugger2005" />
En la lógica proposicional, el objetivo de una derivación indirecta es demostrar que una fórmula bien formada es falsa a partir de las premisas.<ref name="klement" />.
=== [Subtema 1] ===▼
▲=== [Subtema 1] ===
[Texto del subtema 1]
{{comentario|Texto del comentario.}}
Línea 35 ⟶ 36:
<ref name="klement">
Klement, Kevin. Propositional Logic (en inglés) [En línea]. Massachusetts, Estados Unidos: The Internet Encyclopedia of Philosophy. Consultada: 2015-12-10. Disponible en: http://www.iep.utm.edu/prop-log/
</ref>
<ref name="rescher">
Rescher, Nicholas. Reductio ad Absurdum (en inglés) [En línea]. Massachusetts, Estados Unidos: The Internet Encyclopedia of Philosophy. Consultada: 2016-01-19. Disponible en: http://www.iep.utm.edu/reductio/
</ref>
<ref name="
Brugger, Walter. Diccionario de filosofía. 1.ª ed., Barcelona, España: Herder, 2005, 734p.
</ref>
| |||