Herbrand-Expansion

Question

Herbrand-Expansion

Frage:

Sei $F=\forall x_1,\: \forall x_2,\dots \forall x_n \: F^*$ eine Aussage in Skolemform. Wie ist die entsprechende Herbrand-Expansion $E(F)$ definiert?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Herbrand-Expansion

Herbrand-Expansion

Frage:

Antwort:

Kommentare