para que un argumento sea válido debe tener
Nótese que para que un argumento sea deductivamente válido, no es necesario que las premisas o la conclusión sean verdaderas. Solo se requiere que la conclusión sea una consecuencia lógica de las premisas. La lógica formal exige únicamente una relación condicional entre las premisas y la conclusión. Esto es: que "si" las premisas son verdaderas, entonces la conclusión también lo es (esta es la caracterización semántica de la noción de consecuencia lógica); o alternativamente: que la conclusión sea deducible de las premisas conforme a las reglas de un sistema lógico (esta es la caracterización sintáctica de la noción de consecuencia lógica). Si un argumento, además de ser válido, tiene premisas verdaderas, entonces se dice que es sólido.