Äquivalenzrelation/Aussagen/Beispiel
Es sei eine Menge von Aussagen. Dann ist die Äquivalenz, also die logische Gleichwertigkeit, von Aussagen eine Äquivalenzrelation auf dieser Menge. Beispielsweise ist die Aussage aufgrund des Kontrapositionsprinzips äquivalent zu , oder die Aussage „ ist ein Teiler von “ ist äquivalent zu „ ist ein Vielfaches von “ oder zu „ “.
