Add propositional logic.