Classical propositional logic

Summary