Pruebas de Invalidez e Inconsistencia
Pruebas de Invalidez e Inconsistencia
Pruebas de Invalidez e Inconsistencia
Lógica Alumn@______________________________________
Se trata de utilizar las tablas de verdad para elaborar pruebas de invalidez, y las
reglas de inferencia y equivalencia para evaluar argumentos
Pruebas de invalidez
Para demostrar que un argumento no es válido es necesario probar su invalidez, es decir,
hace notar que es posible que sus premisas sean verdaderas mientras que su conclusión es
falsa. Lo cual puede realizarse mediante una tabla de verdad, o bien, una intuición que
indique un caso en el que se pasa de premisas verdaderas a conclusión falsa.
Ejemplo
• Considérese el siguiente argumento:
P→Q
R→Q / Q→P
• Hágase la tabla de verdad correspondiente:
Pruebas de inconsistencia
Las tablas de verdad también nos permiten demostrar la validez de un argumento: siempre
que no se encuentre un caso de invalidez, el argumento es válido. Las reglas de inferencia y
equivalencia no nos permiten demostrar la invalidez de un argumento pero si nos permiten
detectar inconsistencias. Cuando las premisas de un argumento son inconsistentes, es
posible extraer cualquier conclusión a partir de ellas, pero viola el principio de no
contradicción.
Ejemplo
• Considérese el siguiente argumento:
P
̶ P / Q
• Hágase una Adición y una Disyunción en el método sintáctico:
1. P
2. ̶ P
3. P ˅ Q……………..Ad., 1.
4. Q………………….S.D., 3,2.