View source for Ground expression

In [[mathematical logic]], a '''ground term''' of a [[formal system]] is a [[Term (logic)|term]] that does not contain any [[Free variables and bound variables|free variables]].

Similarly, a ground formula is a formula that does not contain any free variables.

== See also ==

* [[Formal system]]
* [[Free variables and bound variables]]
* [[Logic]]
* [[Mathematical logic]]
* [[Term (logic)]]

== External links ==

* [https://en.wikipedia.org/wiki/Ground_expression Ground expression] @ Wikipedia

[[Category:Logic]]
[[Category:Mathematics]]