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: