Validar Semantica de expresiones