Difference between revisions of "Ground expression"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "In mathematical logic, a '''ground term''' of a formal system is a term that does not contain any [[Free variables and bound variables|free variables]...") |
(No difference)
|
Latest revision as of 10:21, 7 December 2016
In mathematical logic, a ground term of a formal system is a term that does not contain any free variables.
Similarly, a ground formula is a formula that does not contain any free variables.
See also
External links
- Ground expression @ Wikipedia
