Natürlich steht das in WP:Q: "Grundsätzlich sind daher wissenschaftliche Publikationen, insbesondere Standardwerke, begutachtete Veröffentlichungen und systematische Übersichtsarbeiten, die für das Fachgebiet des jeweiligen Lemmas relevant sind, zu bevorzugen." Die gibt es im Bereich der Logik in Massen, also verwenden wir keine Universitätsskripte. Der in den Skripten angegebene Ringschluss ist eine Beweismethode für die Äquivalenz von n Aussagen, man zeigt nämlich nur A1 => ... => An => A1 und es folgt: für alle i,j≤n: Ai< =>Aj. Das ist etwas völlig anderes als der umseitig beschriebene Beweisfehler. -- Count Count 22:13, 22. Sep. 2020 (CEST)