Category:Theorems in propositional logic