Definition:Decision Procedure/Satisfiability

From ProofWiki
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