- Existential quantification (Wikipedia)
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as “there exists”, “there is at least one”, or “for some”. It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or “∃(x)” or “(∃x)”). Existential quantification is distinct from universal quantification (“for all”), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.
- Hammurabi (Wikipedia)
Hammurabi (/ˌxæmʊˈrɑːbi/; Old Babylonian Akkadian: 𒄩𒄠𒈬𒊏𒁉, romanized: Ḫâmmurapi;[a] c. 1810 – c. 1750 BC), also spelled Hammurapi, was the sixth Amorite king of the Old Babylonian Empire, reigning from c. 1792 to c. 1750 BC. He was preceded by his father, Sin-Muballit, who abdicated due to failing health. During his reign, he conquered the city-states of Larsa, Eshnunna, and Mari. He ousted Ishme-Dagan I, the king of Assyria, and forced his son Mut-Ashkur to pay tribute, bringing almost all of Mesopotamia under Babylonian rule.
