adj
Meaning 1
Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
Definition source: English Wiktionary via Wiktextract
Usage: not-comparable
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided