En lógica, propiedad de un razonamiento consistente en el hecho de que la verdad de las premisas garantiza lógicamente la verdad de la conclusión. Siempre que las premisas son verdaderas, la conclusión debe ser verdadera, debido a la forma del razonamiento. Algunos razonamientos que no logran ser válidos, son aceptables sobre sus bases distintas a las de la lógica formal (p. ej., argumentos inductivamente fuertes), y sus conclusiones se...