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

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

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

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

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

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

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

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

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.