## [Ableitungsregel](/de/node/59896) Definition Ein Schema oder Vorbild, das es erlaubt, eine Konklusionsformel aus einer oder mehreren Prämissenformeln innerhalb eines deduktiven Systems abzuleiten; Ableitungsregeln legen zulässige Schritte in formalen Beweisen fest. ## Prinzip Prinzip Eine Ableitungsregel transformiert Prämissen in eine Konklusion und bewahrt dabei eine bestimmte Relation (typischerweise Wahrheits‑ oder Ableitbarkeitsrelation); rationale Regeln erhalten die Wahrheit von Prämissen zur Konklusion unter der intendierten Semantik. ## Demonstration Demonstration Modus ponens ist eine Ableitungsregel: aus 'P' und 'Wenn P dann Q' folgt 'Q'. In der Aussagenlogik liefert die Anwendung von modus ponens auf die Formeln P und P→Q giltiges Ableitungsergebnis Q. ## Fehlanwendung Fehlanwendung Eine Regel außerhalb ihres formalen Kontexts anzuwenden (z. B. modale Regeln in einer rein klassischen Herleitung) oder eine ungesunde/unsichere Regel zu verwenden (die Wahrheit nicht bewahrt) führt zu ungültigen Beweisen oder trügerischen Schlussfolgerungen. ## Konsequenz Konsequenz Ableitungsregeln erzeugen die Struktur von Beweisen und bestimmen, was als Ableitung zählt; zusammen mit Axiomen definieren sie Beweisbarkeit, ermöglichen Theorembeweise und bilden die Grundlage metatheoretischer Eigenschaften wie Korrektheit und Vollständigkeit. ## Umkehrung Umkehrung Die Umkehrung kontrastiert syntaktische Regeln mit semantischer Konsequenz: statt Schlussfolgerungen durch Regeln zu gewinnen, kann man prüfen, ob Konklusionen in allen Modellen der Prämissen folgen (semantische Folgerung statt syntaktischer Ableitung). ## Abgrenzung Abgrenzung Eine Ableitungsregel ist relativ zu einer gewählten formalen Sprache und einem deduktiven Kalkül festgelegt; sie ist selbst keine semantische Aussage, und verschiedene Systeme nutzen unterschiedliche Regeln (natürliche Deduktion, Sequenzenkalkül, Hilbert‑Systeme). ## Semantische Spannung Semantische Spannung Es besteht eine Spannung zwischen algorithmischer Beweissuche (Regeln als operationale Schritte in automatischer Deduktion) und normativer Rechtfertigung (Regeln als Wahrheitsbewahrer); praktische Strategien bevorzugen mitunter Regelvarianten, die von philosophischen Auffassungen abweichen. ## Synthese Synthese Eine Ableitungsregel ist der formale Mechanismus, der aus Prämissen zulässige Konklusionen gemäß dem deduktiven Apparat erzeugt; sie operationalisiert Deduktion, verbindet Axiome mit Theoremen und stellt sicher, dass Beweise die intendierte semantische Relation respektieren.