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 será lógicamente válido, con independencia del valor de verdad de los enunciados de que conste.
- La lógica formal es la disciplina que tradicionalmente se ha ocupado del estudio de los argumentos considerados como estructuras formales abstractas de deducción.