Satz von Herbrand
aus Wikipedia, der freien Enzyklopädie
| Die Artikel Herbrand-Theorie und Satz von Herbrand überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Die Diskussion über diese Überschneidungen findet hier statt. Bitte äußere dich dort, bevor du den Baustein entfernst. Contributor 14:58, 9. Sep 2006 (CEST) |
Der nach Jacques Herbrand, einem französischer Logiker, benannte Satz von Herbrand (Herbrand's theorem) 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:
