En
lógica, la
consecuencia 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.