Loading AI tools
Aus Wikipedia, der freien Enzyklopädie
Der Schnitt (engl. cut oder cut-rule) ist eine transitive Regel in der Logik, der linearen Optimierung und der Constraintprogrammierung.
Die Aussage der Schnittregel lässt sich im Wesentlichen so zusammenfassen: Wird in einer Ableitung oder einem Suchbaum ein vermeidbarer transitiver „Umweg“ vorgenommen, so ist dieser Umweg wegschneidbar.
In den Logikkalkülen ist die Schnittregel der modus ponens auf metalogischer Stufe und lautet so:
Dass die Schnittregel in den Gentzentyp-Kalkülen zulässig (eliminierbar) ist, besagt der Gentzensche Hauptsatz.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.