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

✓ ?