Follow along with the video below to see how to install our site as a web app on your home screen.
Note: This feature may not be available in some browsers.
You are using an out of date browser. It may not display this or other websites correctly. You should upgrade or use an alternative browser.
ground
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.
In first-order logic with identity with constant symbols
a
{\displaystyle a}
and
b
{\displaystyle b}
, the sentence
Q
(
a
)
∨
P
(
b
)
{\displaystyle Q(a)\lor P(b)}
is a ground formula. A ground expression is a ground term or ground formula.