In predicate logic, an existential quantification is the predication of a property or relation to at least one member of the domain. It is denoted by the logical operator symbol ∃ (pronounced "there exists" or "for some"), which is called the existential quantifier. Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for any members of the domain.

Symbols are encoded U+2203 ∃ there exists (HTML: ∃ ∃ as a mathematical symbol) and U+2204 ∄ there does not exist (HTML: ∄).

Consider a formula that states that some natural number multiplied by itself is 25.

0·0 = 25, or 1·1 = 25, or 2·2 = 25, or 3·3 = 25, and so on.

This would seem to be a logical disjunction because of the repeated use of "or". However, the "and so on" makes this impossible to integrate and to interpret as a disjunction in formal logic. Instead, the statement could be rephrased more formally as

For some natural number n, n·n = 25.

This is a single statement using existential quantification.

Vanessa Anne Hudgens (born December 14, 1988) is an American actress and singer.

Hudgens rose to prominence playing Gabriella Montez in the High School Musical series. Hudgens also has appeared in several television programs including Quintuplets, Still Standing, The Brothers García, Drake & Josh, and The Suite Life of Zack & Cody. In 2009, she earned critical acclaim for her role in the film Bandslam.

In addition to acting, Hudgens released her debut album V on September 26, 2006 which entered the Billboard 200 at number twenty four, and was later certified Gold. Her second album, Identified, was released on July 1, 2008 in the United States.

Hudgens was born in Salinas, California, and has lived with her parents throughout the West Coast from Oregon to Southern California. Her mother, Gina (née Guangco), held a succession of office jobs, and her father, Gregory Hudgens, was a firefighter. She has a younger sister, Stella Hudgens, who is also an actress. She was raised as a Roman Catholic. Hudgens is of mixed ethnic background, as her father is of Irish and Native American descent, and her mother, a native of Manila, Philippines, is of Chinese-Filipino-Spanish descent. All of her grandparents were musicians.

Melissa Arnette "Missy" Elliott (born July 1, 1971) is an American rapper, singer-songwriter, record producer, dancer and actress. A five-time Grammy Award winner, Elliott, with record sales of over seven million in the United States, is the only female rapper to have six albums certified platinum by the RIAA, including one double platinum for her 2002 album Under Construction. Elliott is known for a series of hits and diverse music videos, including "The Rain (Supa Dupa Fly)", "Hot Boyz", "Get Ur Freak On", "One Minute Man", "4 My People", "Work It", "Pass That Dutch", and "Lose Control". In addition, she has worked extensively as a songwriter and producer for other artists, both alone and with her fellow producer and childhood friend Timbaland, with whom she received her first production credit on R&B singer Ginuwine's 1996's album Ginuwine...the Bachelor.

Elliott was born on July 1, 1971, in Portsmouth, Virginia. She is the only child of mother Patricia, a power-company coordinator, and father Ronnie, a Marine. At the age of four in 1975, she wanted to be a performer, though she knew no one took her seriously, as she was always the class clown. While her father was a Marine, the family lived in Jacksonville, North Carolina, in a mobile home. Elliott enjoyed school for the friendships she formed and had little interest in school work, though an IQ test classified her above average and she was able to jump two years ahead of her class. This made her feel increasingly isolated, so she purposely failed all her classes, eventually returning to her age-appropriate class. When her father returned from the Marines, they moved back to Virginia, where they lived in a vermin-infested shack.