Dentro de los lenguajes lógicos podemos distinguir dos tipos de relaciones de consecuencia entre premisas y conclusión: la consecuencia lógica y la deducibilidad.