Erstens habe ich mich auf den Wortsinn bezogen. Zweitens ist die Verwendung nicht streng einheitlich, siehe z.B. im oben genannten Skript der Uni Wien, wo ein Zirkelschluß für einen Äquivalenzbeweis verwendet wird. Zitat: "Hat man mehr als zwei Aussagen, von denen man die Äquivalenz zeigen möchte, etwa A, B und C, so kann man einen sogenannten Zirkelschluss A ⇒ B, B ⇒ C, C ⇒ A durchführen, um die Äquivalenz der Aussagen sicher zu stellen. Vorsicht: Solche Zirkelschlüsse beweisen nur die Äquivalenz von Aussagen. Über deren Wahrheitswert wird durch solch einen Beweis nichts bekannt." Drittens kann man auch die Aussage formulieren und ggf. beweisen: "Die Aussagen A1 bis An sind äquivalent." -- Benutzer202009220755 02:27, 1. Okt. 2020 (CEST)