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.
Keith Cozart (born August 15, 1995)[citation needed], better known by his stage name Chief Keef is an American rapper from Chicago, Illinois. He has signed a major record deal with Interscope Records, and is the CEO of his own record label Glory Boyz Entertainment.
Keith Cozart was born in Chicago, Illinois, on August 15, 1995.[citation needed] He attended Dulles Elementary School and later Banner High School on the city's South Side. In December 2011, Cozart was arrested on a weapons charge (aggravated unlawful use of a weapon) and put under house arrest at his grandmother’s home.
While under house arrest, Cozart released videos on Youtube. The attention he received grew in the short time between the release of several mixtapes and several of music videos, including 'Bang', '3Hunna' and 'I Don’t Like'. After two locally successful mixtapes, his song 'I Don’t Like' became a local hit in Chicago. It also caught fellow Chicago rapper Kanye West's attention who organized a remix of the song along with Pusha T, Jadakiss and Big Sean. Keef will soon be releasing his third mixtape Finally Rich in which Waka Flocka, Young Jeezy, Yo Gotti and fellow GBE members are to be featured. An interview with Keef is slated to appear as part of an upcoming feature on Chicago artists in Spin Magazine. On July 7, 2012, it was announced that Chief Keef would be performing at Lollapalooza 2012, an annual music festival held in Grant Park, Chicago, IL.
Professor Olusola Adeyeye is a Nigerian biologist and politician who was elected Senator for the Osun Central constituency of Osun State, Nigeria in the April 2011 federal elections. He ran on the Action Congress of Nigeria (ACN) platform.
Sola Adeyeye was born in Ila, Osun State. He attended Obokun High School when it was merged with Ilesa Grammar School. Adeyeye attended the University of Ibadan, where he was the editor of a students' newspaper. When the military government of Olusegun Obasanjo lifted the ban on politics in 1978, he worked for the Unity Party of Nigeria (UPN), the party of Chief Obafemi Awolowo. After Awolowo failed to be elected President in 1979, Adeyeye went abroad where he earned his graduate degree. He attended the University of Georgia, where he earned a PhD, and became a Professor of Biology at Duquesne University, USA.
Adeyeye married Moji Christianah Adeyeye, and they have two daughters and one son. His wife attended the University of Nigeria, obtaining a BsC in pharmaceutics in 1976, and went on to the University of Georgia where she obtained a Ph.D. in pharmaceutics in 1988. She is founder of Drugs for AIDS and HIV Patients, a nonprofit organization committed to prevention, education, care and treatment of HIV/AIDS children in Nigeria. Professor Olusola Adeyeye is Chief Executive Officer of Elim Pediatric Pharmaceuticals Inc., and Professor Mojisola Christianah Adeyeye is Founder, President and Chief Scientist of the company.
Enrique Iglesias (born Enrique Miguel Iglesias Preysler; May 8, 1975) is a Spanish singer, songwriter and occasional actor, popular in both the Latin market and the Hispanic American market in the United States. He is the son of the famous Spanish singer Julio Iglesias. Within five years of beginning his musical career in the 1990s, he became the biggest seller of Spanish-language albums of that decade. He made his crossover into the mainstream English language market before the turn of the millennium, signing a multi-album deal with Universal Music Group for an unprecedented US$50,000,000 with Universal Music Latino to release his Spanish albums and Interscope to release English albums. In 2010, he parted with Interscope and signed with another Universal Music Group label, Universal Republic.
Iglesias has sold over 100 million records worldwide, making him one of the best selling Spanish language artists of all time. He has had five Billboard Hot 100 top five singles, including two number-ones, and holds the record for producing 22 number-one Spanish-language singles on the Billboard's Hot Latin Tracks. He has also had ten number-one songs on Billboard's Dance charts, more than any other single male artist. Altogether, Iglesias has amassed 55 number-one hits on the various Billboard charts. Billboard has called him The King of Latin Pop and The King of Dance. Billboard also named Enrique the number two Latin artist of the years 1986–2011 (Luis Miguel taking the first spot).
Tramar Dillard (born December 16, 1979) better known by his stage name Flo Rida (pronounced /floʊ ˈraɪdə/), is an American rapper. He released his debut album, Mail on Sunday, in March 2008. His debut single "Low", featuring T-Pain, was a No. 1 hit for ten weeks in United States in early 2008. Two other singles resulted from Mail on Sunday: "Elevator" and "In the Ayer". In 2009, his second album R.O.O.T.S. was released; its most successful single "Right Round" was at the top of the Hot 100 for six weeks. Since then, he has released his third studio album titled Only One Flo (Part 1), which will see a sequel titled Wild Ones.