Gibt “x² = + 4”, “x = + 2..x = ‒ 2”? D.h. sind die Wahrheitsfunktionen nötig? Oder auch: Liefert die Transformation nach den Regeln die beiden Gleichungen in der Verknüpfung “x = + 2..x = ‒ 2”?