- In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier ∀ in the first order formula ∀xP(x) expresses that everything in the domain satisfies the property denoted by P. On the other hand, the existential quantifier ∃ in the formula ∃xP(x) expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable.
- Star Tales - Horologium (ianridpath.com)
One of the small southern constellations introduced by the Frenchman Nicolas Louis de Lacaille after he mapped the southern stars in 1751–52. Lacaille wrote that the constellation represented a pendulum clock beating seconds, as used for timing his observations. Lacaille introduced it on his first chart in 1756 under the French name l’Horloge, but this was Latinized to Horologium on the second edition of 1763.