Was ist in dieser Darstellung das Beweisziel? Was sind am Ende die gültigen aussagen? Beim Ringschluss ist es immer für alle Aussagen des rings "p ist äquivalent zu q". Im Zirkelschlus ist es: "Es gilt p, den P folgt aus q - gilt den q? - ja, denn q folgt aus p". Selbst wenn hier "p äquivalent q" tatsächlich gilt (das sagt das Lexikon nicht, es scheribt nicht "wenn eine Aussage A aus B folgt" sondern "wenn eine Aussage A aus B gefolgert wird"), können wir nicht korrekt schließen, dass p wahr ist, sondern nur, das p wahr sein müsste, wenn q wahr wäre und umgekehrt. Der Ringschluss ist zudem kein Fehlschluss, sondern eine gültige Beweisstrategie. Schon das legt nahe, dass die beiden Begriffe verschieden sind.-- Leif Czerny 22:35, 3. Okt. 2020 (CEST)