A la noción de consecuencia lógica definida de esta manera se la llama consecuencia sintáctica, para distinguirla de otras concepciones de la misma noción.