Ground expression

（重定向自Ground atom）

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. In first-order logic with identity, the sentence $\forall$ x (x=x) is a ground formula.

单词	Ground atom
释义	Ground atom 英语百科 Ground expression （重定向自Ground atom） 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. In first-order logic with identity, the sentence $\forall$ x (x=x) is a ground formula.
随便看	comprehensive bonus comprehensive breaking strength Comprehensive budget comprehensive budgeting Comprehensive Cancer Center comprehensive capability comprehensive cardiovascular care unit comprehensive cardiovascular community control program comprehensive care comprehensive care clinic comprehensive care organization comprehensive case comprehensive channel therapy comprehensive characteristics comprehensive chart comprehensive chemical kinetics comprehensive city comprehensive codification comprehensive coke ratio comprehensive communication control program comprehensive communication control system comprehensive compensation comprehensive confirming house shipment policy comprehensive consideration comprehensive consideration of both complexion and pulse manifestation