Para el cálculo de enunciados podemos considerar que el lenguaje natural es un modelo de C si podemos someterlo, es decir, aplicarle una correspondencia en C.