Vorlesungsskripte sind keine gültige Fachliteratur gemäß WP:Q, abgesehen davon ist der dort angegebene "Ringschluss" (bei dem die Äquivalenz von n Aussagen gezeigt wird) etwas anderes als der hier angegebene Zirkelschluss. -- Count Count 21:49, 22. Sep. 2020 (CEST)