Ground expression

From Wiki @ Karl Jones dot com
Revision as of 11:21, 7 December 2016 by 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]...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

Retrieved from "http://wiki.karljones.com/index.php?title=Ground_expression&oldid=19849"