About: Ground expression     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Expression104679738, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FGround_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.

AttributesValues
rdf:type
rdfs:label
  • Ground expression
  • Átomo básico
  • Замкнений вираз
rdfs:comment
  • 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.
  • Considere uma cláusula (disjunção de literais) obtida de uma fórmula sentencial do cálculo de predicados de primeira ordem na forma skolemizada: então uma obtida a partir de substituindo todas as variáveis por elementos do Universo de Herbrand de é chamada de átomo básico. O conjunto de todos os átomos que podem ser formados a partir de símbolos predicados de e termos a partir de é chamado de base de Herbrand.
  • У математичній логіці замкнений терм формальної системи є термом, який не містить жодної вільної змінної. Аналогічним чином, замкнена формула - це формула, яка не містить жодної вільної змінної. У логіці першого порядку формула є замкненою фомулою. Замкнений вираз - це замкнений терм, чи замкнена формула.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • 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.
  • Considere uma cláusula (disjunção de literais) obtida de uma fórmula sentencial do cálculo de predicados de primeira ordem na forma skolemizada: então uma obtida a partir de substituindo todas as variáveis por elementos do Universo de Herbrand de é chamada de átomo básico. O conjunto de todos os átomos que podem ser formados a partir de símbolos predicados de e termos a partir de é chamado de base de Herbrand.
  • У математичній логіці замкнений терм формальної системи є термом, який не містить жодної вільної змінної. Аналогічним чином, замкнена формула - це формула, яка не містить жодної вільної змінної. У логіці першого порядку формула є замкненою фомулою. Замкнений вираз - це замкнений терм, чи замкнена формула.
prov:wasDerivedFrom
page length (characters) of wiki page
is foaf:primaryTopic of
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is Wikipage disambiguates of
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software