Equisatisfiable
Definition, Meaning & Examples
Part of speech adjective
Quick meaning: Equisatisfiable is an adjective meaning (logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
Meaning
(logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
Example Sentences
The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.
Related Words
Related dictionary entries include equisummable, valid, equibounded, quasiequational, equinumerous, equibipartite.
Related Dictionary Tools
Sources & Attribution
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.