Formelsammlung Lexikon Herbrand-Struktur


Startseite	Bookmark setzen Sitemap Impressum

» Formelsammlung:

» Interaktiv:

» Informationen:

» Partnerseiten:

» Partner:

Herbrand-Struktur

Sie befinden Sie in: Formelsammlung Lexikon > h > Herbrand-Struktur

Herbrand-Struktur

Eine, zu einer prädikatenlogischen Formel F passende Struktur, heißt Herbrand-Struktur wenn folgende Eigenschaften erfüllt sind:

Die Struktur sei $A=\left(U,I\right)$ .

Das Universum ist das aus F generierte Herbrand-Universum, also $U=D\left(F\right)$ .
Die Interpretationen I sind Herbrand-Interpretationen.

Dokument als PDF downloaden

Dieser Artikel stammt aus Wikipedia, der freien Enzyklopädie
und steht unter der GNU Free Documentation Licence.

» Unterstüzt von:

» Anzeigen: