¿Qué es?
Significa demostrar que el paso de las premisas a la conclusión es legítimo.
Un razonamiento es válido cuando el paso de las premisas a la conclusión puede hacerse siguiendo una serie de reglas previamente aceptadas. Las reglas aceptadas para pasar de unas premisas a una conclusión se denominan reglas de inferencia o reglas de deducción.
Esto quiere decir construir una deducción que, partiendo de las premisas dadas, llegue a la conclusión o, lo que es lo mismo, que sea una demostración de la conclusión. Esto se puede simbolizar de la siguiente manera:
A1....An |- C
donde |- se puede leer como ‘permite deducir’, ‘se desprende de ello’, ‘da’, ‘se sigue de ello’, etc.