Genug von Schnee und Schlittenfahren! Es ist Zeit für den Sommer.
Ist bei einem Satz mit Implikation auch die Umkehrung des Satzes gültig, so spricht man von äquivalenten Aussagen. Die Implikationen und von Satz und Kehrsatz kann man zusammengefasst aufschreiben mit einem Äquivalenzpfeil :
Sieht man einen Äquivalenzpfeil, so bedeutet das, dass die Aussage von beiden Seiten gelesen werden kann.
Für das Sommerzeit-Beispiel gilt also:
Sommer länger hell
