equisatisfactibilidad

En lógica, dos fórmulas son equisatisfactibles si la primera fórmula es siempre que la segunda fórmula lo fuera también, y viceversa. En otras palabras: o bien las dos fórmulas son satisfactibles o ninguna es. Dos fórmulas equisatisfactibles pueden tener diferentes modelos, ya que ninguna de ellas o ambas tienen un cierto estilo. Como resultado, tenemos que la equisatisfactibilidad es distinta de la equivalencia lógica porque dos fórmulas lógicamente equivalentes siempre tienen los mismos modelos. En general, el concepto de equisatisfactibilidad se utiliza en la conversión de fórmulas, es decir, se puede afirmar que una conversión es correcta si la fórmula original y el resultante son equisatisfactibles. Los ejemplos de las conversiones que implican este concepto son Skolemización y algunas transformaciones para llegar a la forma normal conjuntiva.