Propositional Quantifiers