Propositional quantifiers · Study