Ground expression

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

• Formal system
• Free variables and bound variables
• Logic
• Mathematical logic
• Term (logic)

External links

• Ground expression @ Wikipedia