Truth-functional propositional logic