Assertion: quantifier | /r/CapableOf | bind variable
Facets:
value: in one formula
type: OTHER
Source sentences:
text: Gottlob Frege, in his 1879 Begriffsschrift, was the first to employ a quantifier to bind a variable ranging over a domain of discourse and appearing in predicates.
text: Syntactically, they are operators binding one variable in one formula.
text: The scope of a quantifier is the portion of a formula where it binds its variables.
text: Gottlob Frege, in his 1879 Begriffsschrift, was the first to employ a quantifier to bind a variable ranging over a domain of discourse and appearing in predicates.
text: A quantifier that binds no variables is vacuous.