Non-Fregean Propositional Logic with Quantifiers