herbrandscher Satz
herbrandscher Satz [εrˈbrã-],
von dem französischen Mathematiker und Logiker Jacques Herbrand (* 1908, † 1931) 1929 bewiesener Satz: Ist A eine Aussage der Prädikatenlogik, so lässt sich eine Disjunktion A1 ∨ ... ∨ An von aussagenlogischen Aussagen konstruieren (»herbrandsche Disjunktion«) mit folgender Eigenschaft: Ist A beweisbar, so auch A1 ∨ ... ∨
Informationen zum Artikel
Quellenangabe