equisatisfiable (English, adj)
expansion: equisatisfiable (not comparable)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
tags: not-comparable
Forms: