Sind diese Skripte in ordentlichen Wissenschaftsverlagen publiziert? Wenn nicht gelten sie nicht als Publikationen. Im Bereich der Logik gibt es genügend Standardwerke. Ohne geeignete Quellen gemäß WP:Q, also keine Vorlesungsskripte, die belegen, dass Ringschluss = Zirkelschluss gibt es hier keine Einfügung. Und nein, ein Ringschluss zur Beweis von Äquivalenz ist etwas anderes als der umseitig beschriebene Zirkelschluss. Beim Zirkelschluss ist das zu Beweisende in der Prämisse enthalten, also z.B. aus P und Q und R => Q. -- Count Count 08:33, 23. Sep. 2020 (CEST)