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