Truth-functional propositional logic

Summary