- 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.
- A Bivouac of the Dead (online-literature.com)
Away up in the heart of the Allegheny mountains, in Pocahontas county, West Virginia, is a beautiful little valley through which flows the east fork of the Greenbrier river. At a point where the valley road intersects the old Staunton and Parkersburg turnpike, a famous thoroughfare in its day, is a post office in a farm house. The name of the place is Travelers’ Repose, for it was once a tavern. Crowning some low hills within a stone’s throw of the house are long lines of old Confederate fortifications, skilfully designed and so well"preserved"that an hour’s work by a brigade would put them into serviceable shape for the next civil war. This place had its battle–what was called a battle in the"green and salad days"of the great rebellion.