Proposiciones generales y cuantificadores