BackRestricciones de igualdad sobre el dominio de los naturales
Abstract
El objetivo de este proyecto consiste en implementar una aplicación que busca todos los
modelos de una fórmula recibida como entrada. Esta fórmula de entrada pertenece a la
lógica NatEq, la cual es un subconjunto de la lógica de primer orden. Esta lógica consta
de un sólo predicado, que es la igualdad. Además, no contiene símbolos de funciones,
incluye los cuantificadores universal y existencial, y se interpreta sobre el dominio de los números naturales N.