Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung.

Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (bspw. Einzelnachweisen) ausgestattet. Die fraglichen Angaben werden daher möglicherweise demnächst entfernt. Hilf bitte der Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst. Näheres ist eventuell auf der Diskussionsseite oder in der Versionsgeschichte angegeben. Bitte entferne zuletzt diese Warnmarkierung.

Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h. eine syntaktische Regel, nach der es erlaubt ist, von bestehenden Ausdrücken einer formalen Sprache zu neuen Ausdrücken überzugehen. Dieser regelgeleitete Übergang stellt eine Schlussfolgerung dar.

Allgemeines

Eine gültige Schlussregel soll nur den Übergang zu solchen Ausdrücken erlauben, deren Aussagen auch semantisch aus der Aussage der bestehenden Ausdrücke folgt (siehe logische Ableitung).

Die genaue Beschaffenheit der Schlussregeln hängt davon ab, für welches logische System der Kalkül aufgestellt wird. Für die traditionelle und die klassische Logik, die dem Prinzip der Zweiwertigkeit genügen, müssen Schlussfolgerungen wahrheitserhaltend sein („aus Wahrem folgt nur Wahres“). Aufgrund diese Eigenschaft verstehen sich moderne Aussagenkalküle und prädikatenlogische Systeme als Beweiskalküle, obwohl Schlussregeln per se noch keine Beweisregeln sind. Schlussregeln unterscheiden sich innerhalb der klassischen Logik von Axiomen oder Axiomenschemata, insofern sie keine konkreten semantischen Voraussetzungen an das Diskursuniversum stellen.

Moderne Logikkalküle verwenden insbesondere den Modus ponens, sowie Einführungs- und Eleminationsregeln für bestimmte logische Junktoren.

Fünf traditionelle Schlussregeln

Die folgenden fünf Regeln stammen aus der traditionellen Aussagenlogik, deren Tradition spätestens in der Stoa (megarische Aussagenlogik) beginnt.

1) Modus ponendo ponens (lat. das zu Setzende setzend, auch Schnittregel) gilt als Grundform des direkten Beweises:

<math> p \rightarrow q \qquad p \over q </math>

In Worten: Wenn p eine hinreichende Bedingung für q ist und p wahr ist, dann ist auch q wahr. (semantisch)

Wird p behauptet, kann auch q behauptet werden. Nun wird p behauptet, also: q. (syntaktisch)

2) Modus tollendo tollens (lat. das Aufzuhebende Aufhebend): der indirekte Beweis

<math> p \rightarrow q \qquad \neg q \over \neg p</math>

In Worten: Wenn p eine hinreichende Bedingung für q ist und q nicht wahr ist, dann ist auch p nicht wahr.

3) Kettenschluss (gelegentlich – eigentlich falsch, weil nach einer anderen Bedeutung des Wortes „Kettenschluss“ – Modus Barbara genannt)

<math> p \rightarrow q \qquad q \rightarrow r \over p \rightarrow r </math>

In Worten: Wenn p eine hinreichende Bedingung für q ist und q eine hinreichende Bedingung für r ist, dann ist p eine hinreichende Bedingung für r.

4) Modus tollendo ponens (gelegentlich falsch Disjunktiver Syllogismus genannt)

<math> p \or q \qquad \neg p \over q </math>

In Worten: Wenn p oder q gilt und p nicht wahr ist, dann ist q wahr.

5) Indirekter Beweis durch reductio ad absurdum

<math> \neg p\rightarrow (q\land \neg q) \over p</math>

In Worten: Wenn nicht-p eine hinreichende Bedingung dafür ist, dass ein Widerspruch (q und nicht-q) wahr wird, dann ist nicht-p falsch (denn ein Widerspruch kann ja nicht wahr sein, also darf auch seine hinreichende Bedingung nicht wahr sein), also ist p wahr.

Weitere Schlussregeln

Andere bekannte Schlussregeln sind u. a.

• Modus ponendo tollens
• Kontraposition

<math> p \rightarrow q \over \neg q \rightarrow \neg p</math>

• Einsetzungsregel
• Ersetzungsregel

Kalküle des natürlichen Schließens umfassen üblicherweise eine größere Zahl von Schlussregeln; für weitere Beispiele üblicher Schlussregeln siehe daher den Artikel Systeme natürlichen Schließens.

Logische Aussagen lassen sich auch durch Resolutionsregeln umformulieren. Auf diese Weise lassen sich bestimmte Typen von Schlussfolgerungen als Widerspruchsbeweise automatisieren.

Keine gültige Schlussregel ist die Abduktion. Sie wird dennoch in der Künstlichen Intelligenz und Wissensrepräsentation eingesetzt, um „gesunden Menschenverstand“ zu simulieren.

Ein regelgerechter Schluss, der nur eine seiner Prämissen als Folgerung hat, ist ein Zirkelschluss und stellt zwar eine Schlussfolgerung, aber keinen Beweis oder kein Argument für die Folgerung dar (siehe auch petitio principii).