Diremos que un argumento es válido si formula_5 es verdadero cada vez que las premisas formula_4 sean verdaderas.