# Definition:Decision Procedure/Tautologies

Let $U$ be the set of propositional formulas that are tautologies.
Then a decision procedure for $U$ is called a decision procedure for tautologies.