Definition:Decision Procedure/Satisfiability
< Definition:Decision Procedure(Redirected from Definition:Decision Procedure for Satisfiability)
Jump to navigation
Jump to search
Definition
Let $U$ be the set of satisfiable propositional formulas.
Then a decision procedure for $U$ is called a decision procedure for satisfiability.
Also see
Sources
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2.5.1$