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 ∨ ... ∨

Quellenangabe

Kostenlos testen
  • redaktionell geprüfte und verlässliche Inhalte

  • altersgerecht aufbereitet im Schullexikon

  • monatlich kündbar

oder
Sie sind Lehrkraft? Starten Sie Ihren kostenlosen Test hier.