Ein Zirkelschluß kann ein gültiger Schluß sein. Ein Fehlschluß wäre die Behauptung, damit allein könnte die Wahrheit der enthaltenen Aussagen bewiesen werden. Das sollte in dem Artikel genauer erläutert werden. Hier noch ein Beleg für einen Zirkelschluß zum Beweis der Äquivalenz von Aussagen: Zitat: "Zyklisches Beweisverfahren: Wollen wir beweisen, dass mehrere Aussagen äquivalent sind, so können wir dies mithilfe mehrerer Folgerungen zeigen. Angenommen wir wollen die Äquivalenz der Aussagen A, B, C, D zeigen. Ohne den Zirkelschluss müssten wir zeigen: (A ⇐⇒ B) ∧ (A ⇐⇒ C) ∧ (A ⇐⇒ D) ∧ (B ⇐⇒ C) ∧ (B ⇐⇒ D) ∧ (C ⇐⇒ D). Wir müssen dabei daran denken, dass ⇐⇒ meist in zwei Richtungen gezeigt wird. Es sind hier also zwölf Richtungen zu zeigen. Mit den Zirkelschluss müssen wir nur noch folgende vier Aussagen zeigen: (A ⇒ B) ∧ (B ⇒ C) ∧ (C ⇒ D) ∧ (D ⇒ A). Dies reicht aus, da wir so implizit schon alle zwölf Richtungen gezeigt haben. Zum Beispiel folgt die Aussage C ⇒ B durch C ⇒ D ⇒ A ⇒ B." Quelle: Vorkurs Mathematik. Barbara Rakitsch und Thomas Nestmeyer. Universität Tübingen, Fakultät für Informations- und Kognitionswissenschaften, Wilhelm-Schickard-Institut für Informatik, April 2012, S. 28: https://silo.tips/downloadFile/viel-spa-im-studium -- Iic7quooD0 18:00, 4. Okt. 2020 (CEST)