Closed Formulas
A closed formula, also ground formula or sentence, is a formula in which there are no free occurrences of any variable. If A is a formula of a first-order language in which the variables v1, ..., vn have free occurrences, then A preceded by v1 ... vn is a closure of A.
Read more about this topic: Well-formed Formula
Famous quotes containing the words closed and/or formulas:
“One mans observation is another mans closed book or flight of fancy.”
—Willard Van Orman Quine (b. 1908)
“It is sentimentalism to assume that the teaching of life can always be fitted to the childs interests, just as it is empty formalism to force the child to parrot the formulas of adult society. Interests can be created and stimulated.”
—Jerome S. Bruner (20th century)