Namespaces
Variants
Actions

Closed formula

From Encyclopedia of Mathematics
Revision as of 17:17, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

See Arithmetic, formal.

Comments

A closed formula is a formula in a formal (logical) language not containing free variables.

How to Cite This Entry:
Closed formula. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Closed_formula&oldid=16475
Retrieved from "https://encyclopediaofmath.org/index.php?title=Closed_formula&oldid=16475"