Hallo André,
> während bei Aussagen das Äquivalenzzeichen ⟺ benutzt wird.
Welchen Sinn sollte " Aussage 1 ⇔ Aussage 2 " haben ?
⇔ benutzt man nicht zwischen Aussagen sondern zwischen Aussageformen, die (über der Grundmenge) die gleiche Lösungsmenge haben.
Gruß Wolfgang