Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
En los razonamientos o argumentos deductivos, propiedad por la que, si las premisas son verdaderas, la conclusión ha de ser necesariamente verdadera. O bien, condición que hace que es imposible que las premisas sean verdaderas y la conclusión falsa.
La validez de un razonamiento no depende de que las premisas sean de hecho verdaderas, sino sólo de su forma. La forma ha de ser tal -si es válida- que, en el supuesto de que las premisas sean verdaderas, la conclusión también lo será, pero si las premisas no lo son, la conclusión puede ser verdadera o falsa (ver ejemplo). Mientras que en un razonamiento inválido la forma es tal que hay casos en que, siendo verdaderas las premisas, la conclusión es falsa. A estos casos se les llama contraejemplos (ver ejemplo).
A un razonamiento inductivo sólo impropiamente se le puede llamar válido, pues siempre admite la posibilidad de que, aun siendo verdaderas sus premisas, la conclusión sea falsa. El grado de certeza a que puede llegar la conclusión de un razonamiento inductivo es sólo la probabilidad. En todo caso, del razonamiento inductivo que tiene premisas verdaderas y conclusión probable se dice que es un «buen» razonamiento inductivo (ver ejemplo).
Para los razonamientos deductivos de lógica de enunciados se dispone de un método eficaz para probar su validez: las tablas de verdad que analizan los valores de verdad de las fórmulas que constituyen premisas y la conclusión, de modo que, por su medio, se pone también de manifiesto la definición de validez: si siempre que las premisas son todas ellas verdaderas la conclusión también lo es, el razonamiento -formal, en este caso- es válido (ver ejemplo).
La validez se refiere propiamente a los razonamientos, pero puede también referirse a un enunciado, o fórmula de enunciado. Cualquier fórmula que resulta verdadera para toda asignación de valores de verdad a sus letras de enunciado, o para toda interpretación, es una fórmula universalmente válida; una fórmula válida es una expresión lógicamente verdadera o una tautología (ver ejemplo).