Consecuencia lógica

Carta Común · N.º 278293

En lógica, la consecuencia lógica (también vinculación, o bien, implicación lógica) es la relación entre las premisas y la conclusión de un argumento deductivamente válido. La relación de consecuencia lógica es un concepto central a la lógica. Dos características generalmente aceptadas de la relación de consecuencia lógica son que es «necesaria» y además «formal».