Adapta los ejercicios resueltos a tu asignatura. Regístrate gratis
Validez y Consecuencia Lógica
Validez de argumentos
Un argumento es válido cuando es imposible que las premisas sean verdaderas y la conclusión falsa. La validez es una propiedad formal que depende de la estructura del argumento, no del contenido de las proposiciones.
Características de la validez:
- La validez es una propiedad sintáctica
- Un argumento válido preserva la verdad
- La validez no garantiza la verdad de las premisas
- Un argumento puede ser válido con premisas falsas
Consecuencia lógica
Una proposición φ es consecuencia lógica de un conjunto de premisas Γ si y sólo si en toda interpretación en que todas las fórmulas de Γ son verdaderas, φ también es verdadera.
Notación: Γ ⊨ φ
Métodos de demostración
Existen varios métodos para demostrar la validez de un argumento:
1. Tablas de verdad
Se construye una tabla con todas las posibles combinaciones de valores de verdad. El argumento es válido si no existe ninguna fila donde las premisas sean verdaderas y la conclusión falsa.
2. Deducción natural
Se aplican reglas de inferencia para derivar la conclusión a partir de las premisas mediante una serie de pasos lógicamente válidos.
3. Diagramas de Venn
Para argumentos con estructuracategórica, se representan las relaciones entre conjuntos mediante diagramas de Venn para verificar la validez.
Argumentos inválidos
Un argumento es inválido cuando existe al menos una interpretación (o fila en la tabla de verdad) en la que todas las premisas son verdaderas pero la conclusión es falsa. Esta interpretación se llama contraejemplo.
Relación con otros conceptos
- Argumento sólido: válido y con premisas verdaderas
- Argumento correcto: válido con conclusión verdadera
- Tautología: fórmula válida sin premisas (siempre verdadera)