Válido

Válido. Categoría aplicable a los argumentos deductivos. Dícese  que un argumento deductivo [v. inferencia deductiva]  es válido cuando de sus premisas se sigue necesariamente la conclusión. La validez de un argumento es determinada por su estructura lógica y no por la verdad o falsedad de los enunciados que lo componen [v. tautología]. Suppes define la "validez universal, la consecuencia lógica o implicación lógica y la consistencia" de la manera siguiente: "Una fórmula es universalmente válida si y sólo si es verdadera toda interpretación de la misma en todo dominio de individuos no vacío".