# Definition:Decision Procedure/Satisfiability

Let $U$ be the set of satisfiable propositional formulas.
Then a decision procedure for $U$ is called a decision procedure for satisfiability.