La relación de consecuencia lógica es una relación "semántica" en el sentido de que es una relación entre las premisas bajo una interpretación y la conclusión bajo la misma interpretación.