Quantifiers and Propositional Functions