Source : WordNet®

existential quantifier
     n : a logical quantifier of a proposition that asserts the
         existence of at least one thing for which the proposition
         is true [syn: {existential operator}]

Source : Free On-Line Dictionary of Computing

existential quantifier
     
        {quantifier}