En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.