Definition:Decision Procedure/Tautologies

From ProofWiki
Jump to navigation Jump to search

Definition

Let $U$ be the set of propositional formulas that are tautologies.


Then a decision procedure for $U$ is called a decision procedure for tautologies.


Also see


Sources