| 1. | In addition, all free variables of the resulting formula are universally quantified.
|
| 2. | A sentences ( formulas with no free variables ) in the language.
|
| 3. | A theory is a set of well-formed formulas with no free variables.
|
| 4. | Thus, the coordinates of all atoms are considered as free variables.
|
| 5. | Various unifiers may produce expressions with varying numbers of free variables.
|
| 6. | In computer programming, the term "'free variable "'refers to parameters of that function.
|
| 7. | In the sentence above, the possessive pronoun " her " is a free variable.
|
| 8. | Within the definition of f, n is a free variable.
|
| 9. | The free variables in the sub expression are the parameters to the function call.
|
| 10. | An expression that contains no free variables is said to be " closed ".
|