quantifiers in discrete mathematics