Tag: Defensa

Lógica 07: Prueba Condicional, Prueba Indirecta y Reductio ad Absurdum

En este apartado quisiera hablar sobre tres tipos de pruebas para demostrar la validez de un argumento. PRUEBA CONDICIONAL La prueba condicional (CP) sirve para demostrar que, si damos por cierto algo, entonces ciertas conclusiones se siguen. CP solo puede ser utilizada en argumentos cuyas conclusiones sean proposiciones condicionales. Veamos el siguiente argumento: (P v…
Leer más

Lógica 05: 10 reglas de reemplazo

En la publicación anterior vimos acerca de las diez reglas de inferencia lógica para la construcción de un argumento válido. Ahora veremos 10 reglas de reemplazo que son útiles a la hora de demostrar la validez de un argumento cuando utilizamos el lenguaje formal. El conector ↔ en este contexto se traduce por “es lógicamente…
Leer más