Das Kefk Network Wiki befindet sich im Testbetrieb.
Satz von Herbrand
Aus Kefk.
| <imagemap>-Fehler: Bild ist ungültig oder nicht vorhanden | 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) |
 | Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Satz_von_Herbrand, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation. |
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
| | Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Satz_von_Herbrand, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation. |
