Ringschluss (Mathematik)

Als Ringschluss wird eine mathematische Beweistechnik bezeichnet, mit der die paarweise Äquivalenz mehrerer Aussagen bewiesen werden kann, ohne alle paarweisen Äquivalenzen direkt beweisen zu müssen.

Um zu beweisen, dass die Aussagen ${\phi }_1,\dots ,{\phi }_n$ jeweils paarweise äquivalent sind, werden Beweise für die Implikationen ${\phi }_1\Rightarrow {\phi }_2$, ${\phi }_2\Rightarrow {\phi }_3$, $\dots$, ${\phi }_{n-1}\Rightarrow {\phi }_n$ und ${\phi }_n\Rightarrow {\phi }_1$ geführt.

Die paarweise Äquivalenz der Aussagen ergibt sich dann durch das logische Prinzip des Kettenschlusses und wird nicht mehr explizit bewiesen.

Beispiel

Bei $n=4$ werden die Beweise für ${\phi }_1\Rightarrow {\phi }_2$, ${\phi }_2\Rightarrow {\phi }_3$, ${\phi }_3\Rightarrow {\phi }_4$ und ${\phi }_4\Rightarrow {\phi }_1$ geführt. Die Äquivalenz von ${\phi }_2$ und ${\phi }_4$ ergibt sich mittels der nicht mehr explizit angegebenen Kettenschlüsse Vorlage:Schlusstabelle Vorlage:Schlusstabelle

Das heißt ${\phi }_2\iff {\phi }_4$.

Motivation

Die Technik spart vor allem Schreibaufwand. Durch den Verzicht auf die formal notwendigen Kettenschlüsse müssen an Stelle von $n(n-1)$ direkten Beweisen für ${\phi }_i\Rightarrow {\phi }_j$ lediglich $n$ direkte Beweise geführt werden. Für den Mathematiker ergibt sich die Schwierigkeit, eine Reihenfolge der Aussagen zu finden, die möglichst elegante direkte Beweise erlaubt.

Siehe auch

• Der Begriff sollte nicht mit dem ungültigen Zirkelschluss, auch Kreisschluss genannt, verwechselt werden.