Fundamentos de la Validez Deductiva en la Lógica Formal
Clasificado en Español
Escrito el en
español con un tamaño de 1,1 KB
Fundamentos de la Validez Deductiva
En este primer argumento, la conclusión (c) se sigue necesariamente de las premisas (a y b). Es un argumento deductivamente válido: la conclusión se deduce necesariamente de las premisas; es decir, si estas son verdaderas, entonces la conclusión no puede ser falsa, o, lo que es lo mismo, necesariamente ha de ser verdadera.
La relación de implicación lógica
En este tipo de argumentos se da una relación de implicación lógica entre las premisas y la conclusión: las primeras implican lógicamente la segunda. Esta relación se da exclusivamente en virtud de la forma del argumento y no del contenido de los enunciados que lo componen.
Características de la lógica formal
- Todo argumento que tenga esta forma