Diskussion:Satz von Herbrand

Herbrand war französischer Logiker. Der nach ihm benannte Satz in der Prädikatenlogik lautet:

Sei F eine geschlossene Formel in Skolemform

F ist genau dann unerfüllbar, wenn es eine endliche Teilmenge der Herbrand-Expansion E(F) gibt, die - im aussagenlogischen Sinn - unerfüllbar ist.

siehe auch:

• Herbrand-Theorie
• Algorithmus von Gilmore