La semántica es el estudio del significado atribuible a expresiones sintácticamente bien formadas.