Explore relationships

Ground expression

In mathematical logic, a ground term of a formal system is a term that does not contain any variables. Similarly, a ground formula is a formula that does not contain any variables.

Use + to expand a branch. Click a topic name to open its summary.