Definition:Decision Procedure/Satisfiability

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

 * Definition:Decision Procedure for Tautologies