un argumento formal es,
sintácticamente válido en L, syss su conclusión se sigue de sus premisas y de los axiomas de L, si los hay, mediante las reglas de inferencia de L;
semánticamente válido en L, syss su conclusión es verdadera en todas las interpretaciones de L en las que todas sus premisas son verdaderas.
Un argumento informal es válido syss sus premisas no pueden ser verdaderas y su conclusion falsa. (Haack, 1978).
Es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es deductivamente válido. De las inducciones a veces se dice que son buenas o malas, en vez de válidas o inválidas. (Wikipedia).
Un argumento es válido syss el conjunto de proposiciones compuesto por sus premisas y la contradictoria de su conclusión es inconsistente.