Cuando a estas variables les damos un contenido semántico, construimos un modelo sobre la base de un cálculo lógico-matemático.