La consecuencia lógica o vinculación es uno de los conceptos fundamentales en lógica, que describe la relación entre los estados o estamentos lógicos que son verdaderos cuando se sigue uno, provocado por otro u otros.

Un argumento lógico válido es uno en que las conclusiones se derivan de sus locales o premisas.

Un análisis filosófico preguntaría, por ejemplo: ¿en qué sentido se desprenden de sus premisas una consecuencia lógica? ¿Qué significa para una conclusión, ser consecuencia de sus premisas?

También, para un idioma determinado, una frase se dice que es una consecuencia lógica de un conjunto de oraciones, si y solo si, en virtud de la sola lógica, la sentencia será verdadera siempre y cuando sus partes lo sean.

Si la frase X es una consecuencia lógica de un conjunto de oraciones K, entonces podemos decir que K implica o conlleva X, o que uno puede inferir correctamente la verdad de X de la verdad de las oraciones en K.