| Property | Value | Sources |
|---|
|
abstract
|
Alapkifejezésnek a matematikai logikában egy logikai nyelv azon kifejezéseit (termjeit és formuláit) nevezzük, melyek nem tartalmaznak logikai változókat. A fogalom elsősorban az elsőrendű nyelvek elméletében fordul elő (a nulladrendű nyelvek formulái alapból nem tartalmaznak logikai változókat, mivel maguk a nulladrendű nyelvek sem tartalmaz ilyeneket). Megjegyezzük, hogy az elnevezés félreérthető, mert „kifejezésen” sokak által elfogadott szóhasználat szerint csak a nyelv termeit szoktuk érteni, a formulákat nem; holott az alapkifejezésekbe a formulák egy részét (az ún. alapformulákat) is beleértjük. Szemléletesen e fogalmat valahogy úgy képzelhetjük el, hogy az alapkifejezések írják le a „konkrét”, a „rögzített” objektumokat és a róluk szóló (igaz vagy hamis) állításokat a nyelvben, míg a többi, nem-alapkifejezés inkább valami általánosságot vagy határozatlanul eldönthető állítást ír le. De hangsúlyozzuk, ez csak egy nem precíz, köznapi, elmosódott interpretálása a fogalomnak. A pontosabb és formális definíciót lásd lentebb.
|
G2
|
|
abstract
|
In mathematical logic, a ground term of a formal system is a term that does not contain any variables at all, and a closed term is a term that has no free variables. In first-order logic all closed terms are ground terms, but in lambda calculus the closed term λ x. x (λ y. y) is not a ground term. Similarly, a ground formula is a formula that does not contain any variables, and a closed formula or sentence is a formula that has no free variables. In first-order logic with identity, the sentence <math>\forall</math> x (x=x) is not a ground formula. A ground expression is a ground term or ground formula.
|
G2
|
|
abstract
|
então uma expressão atômica obtida a partir de <math>S</math> substituindo todas as variáveis por elementos do Universo de Herbrand <math>H</math> de <math>S</math> é chamada de átomo básico. O conjunto de todos os átomos que podem ser formados a partir de símbolos predicados de <math>S</math> e termos a partir de <math>H</math> é chamado de Base de Herbrand.
|
G2
|
|
hasPhotoCollection
|
http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Ground_expression
|
G2
|
|
reference
|
http://web.engr.oregonstate.edu/~afern/classes/cs532/notes/fo-ss.txt
|
G2
|
|
comment
|
Alapkifejezésnek a matematikai logikában egy logikai nyelv azon kifejezéseit (termjeit és formuláit) nevezzük, melyek nem tartalmaznak logikai változókat. A fogalom elsősorban az elsőrendű nyelvek elméletében fordul elő (a nulladrendű nyelvek formulái alapból nem tartalmaznak logikai változókat, mivel maguk a nulladrendű nyelvek sem tartalmaz ilyeneket).
|
G2
|
|
comment
|
In mathematical logic, a ground term of a formal system is a term that does not contain any variables at all, and a closed term is a term that has no free variables. In first-order logic all closed terms are ground terms, but in lambda calculus the closed term λ x. x (λ y. y) is not a ground term. Similarly, a ground formula is a formula that does not contain any variables, and a closed formula or sentence is a formula that has no free variables.
|
G2
|
|
comment
|
então uma expressão atômica obtida a partir de <math>S</math> substituindo todas as variáveis por elementos do Universo de Herbrand <math>H</math> de <math>S</math> é chamada de átomo básico. O conjunto de todos os átomos que podem ser formados a partir de símbolos predicados de <math>S</math> e termos a partir de <math>H</math> é chamado de Base de Herbrand.
|
G2
|
|
label
|
Alapkifejezés
|
G2
|
|
label
|
Ground expression
|
G2
|
|
label
|
Átomo básico
|
G2
|
|
sameAs
|
http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000006674cf
|
G2
|
|
subject
|
http://dbpedia.org/resource/Category:Mathematical_logic
|
G2
|
|
sourceURL
|
Ground expression
|
G1
|
|
page
|
http://en.wikipedia.org/wiki/Ground_expression
|
G2
|
|
is
redirect
of
|
http://dbpedia.org/resource/Closed_term
|
G2
|
|
is
redirect
of
|
http://dbpedia.org/resource/Ground_atom
|
G2
|
|
is
redirect
of
|
http://dbpedia.org/resource/Ground_clause
|
G2
|
|
is
redirect
of
|
http://dbpedia.org/resource/Ground_predicate
|
G2
|
|
is
redirect
of
|
http://dbpedia.org/resource/Ground_sentence
|
G2
|
|
is
redirect
of
|
http://dbpedia.org/resource/Ground_term
|
G2
|
|
|
|
|