- 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.
- White Salmon River (Wikipedia)
The White Salmon River is a 44-mile (71 km) tributary of the Columbia River in the U.S. state of Washington. Originating on the slopes of Mount Adams, it flows into the Columbia Gorge near the community of Underwood. Parts of the river have been designated Wild and Scenic. The principal tributaries of the White Salmon River include Trout Lake and Buck, Mill, Dry, Gilmer, and Rattlesnake Creeks.