V. Propositional logic