In the Vinony graph
Within Vinony's link graph, equisatisfactibilidad is referenced by 12 other articles, and connects out to logic, International Standard Book Number and mathematical logic.
Vinony files it under Concepts in logic, Metalogic and Model theory.
Its subject is documented across 5 Wikipedia language editions.
Wikidata facts
Show 2 more facts
- facet of
- classical logic
- has characteristic
- satisfiability
via Wikidata · CC0
Article · Español
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.
Abstract from DBpedia / Wikipedia · CC BY-SA