Definition:Decision Procedure/Tautologies

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

 * Definition:Decision Procedure for Satisfiability