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.
随便看	Nosocomial pneumonia的意思 nosocomialtion的意思 nosocomiu的意思 nosocomium的意思 nosode的意思 Nosodendridae的意思 nosode的意思 nosodochium的意思 nosogenesis的意思 nosogenetic的意思 Nosogenic的意思 nosogeny的意思 nosogeographic的意思 nosogeographical的意思 nosogeographic range的意思 nosogeography的意思 nosographer的意思 nosographer的意思 nosographic的意思 nosographical的意思 nosographically的意思 nosographies的意思 nosography的意思 nosohemia的意思 nosohusial的意思