Sentence examples for bound variable from inspiring English sources

I'm going to need to know the bound variable list and the body.

The procedure of replacing some variable in a quantifier, together with every occurrence of that variable in its scope, by some other variable that does not occur elsewhere in its scope is known as relettering a bound variable.

But, we need to note that Mitchell's subscript does not function as a bound variable.

On such an understanding of (18), the occurence of 'Ernest' is interpreted, not referentially, but as an existentially bound variable.

Hence on the reading in question, which I shall call the Geach Reading, the pronoun 'she' is not a bound variable.

The receiver contains a timer bound variable interval (default 500 ms) that gives the number of seconds to wait for the second in-order packet.

But if statements like *10·1 are schemata and yet have bound variables, how do we assign types to the entities over which the bound variables range?

One effective method for finding the PNF of any given wff is the following: Reletter bound variables as far as is necessary to ensure (a) that each quantifier contains a distinct variable and (b) that no variable in the wff occurs both bound and free.

Free and bound variables.

Sometimes, bound variables are thought to signify "ontological commitments".

The provision (1) keeps us from replacing bound variables.