| Property |
Value |
| dbo:abstract
|
- Eine zu einer prädikatenlogischen Formelmenge F passende Struktur heißt Herbrand-Struktur, wenn folgende Eigenschaften erfüllt sind:
* Das Universum ist das aus F generierte Herbrand-Universum, also .
* Die Interpretationen I sind Herbrand-Interpretationen. Bei einer Interpretation werden den Funktions- und Konstantensymbolen tatsächliche Funktionen und Konstanten zugeordnet. Bei der Herbrand-Interpretation weist man jedem Funktionsterm eine Interpretation durch sich selbst zu. Dies ist möglich, da das Herbrand-Universum genau aus der Menge aller möglichen Terme mit Funktions- und Konstantensymbolen besteht. Damit ist eine Herbrand-Struktur eine Terminterpretation. Beispiel: Sei das Herbrand-Universum . Dann lautet die Zuordnung zwischen Funktionssymbolen und Elementen aus dem Universum: ... Herbrand-Strukturen werden im Satz von Herbrand verwendet und sind nach Jacques Herbrand benannt. (de)
- Eine zu einer prädikatenlogischen Formelmenge F passende Struktur heißt Herbrand-Struktur, wenn folgende Eigenschaften erfüllt sind:
* Das Universum ist das aus F generierte Herbrand-Universum, also .
* Die Interpretationen I sind Herbrand-Interpretationen. Bei einer Interpretation werden den Funktions- und Konstantensymbolen tatsächliche Funktionen und Konstanten zugeordnet. Bei der Herbrand-Interpretation weist man jedem Funktionsterm eine Interpretation durch sich selbst zu. Dies ist möglich, da das Herbrand-Universum genau aus der Menge aller möglichen Terme mit Funktions- und Konstantensymbolen besteht. Damit ist eine Herbrand-Struktur eine Terminterpretation. Beispiel: Sei das Herbrand-Universum . Dann lautet die Zuordnung zwischen Funktionssymbolen und Elementen aus dem Universum: ... Herbrand-Strukturen werden im Satz von Herbrand verwendet und sind nach Jacques Herbrand benannt. (de)
|
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- Eine zu einer prädikatenlogischen Formelmenge F passende Struktur heißt Herbrand-Struktur, wenn folgende Eigenschaften erfüllt sind:
* Das Universum ist das aus F generierte Herbrand-Universum, also .
* Die Interpretationen I sind Herbrand-Interpretationen. Beispiel: Sei das Herbrand-Universum . Dann lautet die Zuordnung zwischen Funktionssymbolen und Elementen aus dem Universum: ... Herbrand-Strukturen werden im Satz von Herbrand verwendet und sind nach Jacques Herbrand benannt. (de)
- Eine zu einer prädikatenlogischen Formelmenge F passende Struktur heißt Herbrand-Struktur, wenn folgende Eigenschaften erfüllt sind:
* Das Universum ist das aus F generierte Herbrand-Universum, also .
* Die Interpretationen I sind Herbrand-Interpretationen. Beispiel: Sei das Herbrand-Universum . Dann lautet die Zuordnung zwischen Funktionssymbolen und Elementen aus dem Universum: ... Herbrand-Strukturen werden im Satz von Herbrand verwendet und sind nach Jacques Herbrand benannt. (de)
|
| rdfs:label
|
- Herbrand-Struktur (de)
- Herbrand-Struktur (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
