Hallo encoder,
Deine Aussage (A1∪A2∪A3)
Das ist keine Aussage, sondern ein Term.
Die Ausdrücke "es gibt ein x für das gilt ..." ist keine Gleichung, hätte grad keine Idee wie man das sonst korrekt bezeichnet.
Als Aussage.
Bis demnächst
Matthias
--
Rosen sind rot.
Rosen sind rot.