existential quantifier

 

noun

Logic
  • a formal expression used in asserting that something exists of which a stated general proposition can be said to be true.