1. Prüfen Sie mithilfe der numerischen und symbolischen Auswertung, ob 4i ein Mitglied der Menge komplexer Zahlen ist.
2. Prüfen Sie mithilfe der numerischen und symbolischen Auswertung, ob -3/4 ein Mitglied der Menge rationaler Zahlen ist.
Wie erwartet, schlägt die numerische Auswertung fehl, wenn die Zahlenmenge ℚ angegeben wird.
3. Prüfen Sie mithilfe der numerischen und symbolischen Auswertung, ob 2 ein Mitglied der Menge reeller Zahlen ist.
4. Prüfen Sie mithilfe der numerischen und symbolischen Auswertung, ob 1.3 ein Mitglied der Menge ganzer Zahlen ist.
5. Zeigen Sie, dass genaue Gleitkommadarstellungen von Ganzzahlen von der symbolischen Auswertung als rationale Zahlen behandelt werden.
◦ Die numerische Auswertung schlägt fehl, da nur die symbolische Auswertung zulässig ist, wenn die Menge ℚ angegeben wird.
◦ Die symbolische Auswertung schlägt fehl, da die Prüfung einer Gleitkommazahl auf Mitgliedschaft in ℚ nicht definiert ist.
◦ Die numerische Auswertung schlägt fehl, da nur die symbolische Auswertung zulässig ist, wenn die Menge ℚ angegeben wird.
◦ Die symbolische Auswertung wird durchgeführt, denn wenn die Menge ℚ angegeben ist, wird die genaue Gleitkommadarstellung 10.0 der Ganzzahl 10 als eine rationale Zahl behandelt, und daher besteht sie die Prüfung auf Mitgliedschaft in ℚ.