- Port Macquarie, locally nicknamed Port, is a coastal city the local government area of Port Macquarie-Hastings. It is located on the Mid North Coast of New South Wales, Australia, about 390 km (242 mi) north of Sydney, and 570 km (354 mi) south of Brisbane. The city is located on the Tasman Sea coast, at the mouth of the Hastings River, and at the eastern end of the Oxley Highway (B56). The city with its suburbs had a population of 47,973 in June 2018 and an estimated population of 50,307 in June 2023.
- 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.