Proves theorems in propositional logic