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. In first-order logic with identity, the sentence Q(a) ∨ P(b) is a ground formula, with a and b being constant symbols. A ground expression is a ground term or ground formula.
Closed termConstraint logic programmingDescription logicGroundGround atomGround clauseGround predicateGround sentenceGround termHerbrand interpretationHerbrand structureInductive logic programmingMarkov logic networkMethod of analytic tableauxPrologProlog syntax and semanticsReasoning systemRewritingSatisfiabilitySentence (mathematical logic)Set constraintStable model semanticsSubstitution (logic)Subsumption latticeTermTerm (logic)Term algebraTree automatonVariable-freeWarren Abstract MachineWell-formed formulaWord problem (mathematics)
Link from a Wikipage to another Wikipage
primaryTopic
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. In first-order logic with identity, the sentence Q(a) ∨ P(b) is a ground formula, with a and b being constant symbols. A ground expression is a ground term or ground formula.
has abstract
Considere uma cláusula (disjun ...... é chamado de base de Herbrand.
@pt
In mathematical logic, a groun ...... ground term or ground formula.
@en
У математичній логіці замкнени ...... ний терм, чи замкнена формула.
@uk
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,006,228,598
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Considere uma cláusula (disjun ...... é chamado de base de Herbrand.
@pt
In mathematical logic, a groun ...... ground term or ground formula.
@en
У математичній логіці замкнени ...... ний терм, чи замкнена формула.
@uk
label
Ground expression
@en
Átomo básico
@pt
Замкнений вираз
@uk