1. Utilizzare la valutazione numerica e simbolica per verificare se 4i è un membro dell'insieme di numeri complessi.
2. Utilizzare la valutazione numerica e simbolica per verificare se -3/4 è un membro dell'insieme di numeri razionali.
Come previsto, la valutazione numerica non riesce se si specifica l'insieme di numeri ℚ.
3. Utilizzare la valutazione numerica e simbolica per verificare se 2 è un membro dell'insieme di numeri reali.
4. Utilizzare la valutazione numerica e simbolica per verificare se 1.3 è un membro dell'insieme di numeri interi.
5. Mostrare che le rappresentazioni in virgola mobile esatte di numeri interi vengono trattate come numeri razionali dalla valutazione simbolica.
◦ La valutazione numerica non riesce perché quando si specifica l'insieme ℚ, è consentita solo la valutazione simbolica.
◦ La valutazione simbolica non riesce perché non è stata definita la verifica dell'appartenenza di un numero a virgola mobile all'insieme ℚ.
◦ La valutazione numerica non riesce perché quando si specifica l'insieme ℚ, è consentita solo la valutazione simbolica.
◦ La valutazione simbolica riesce perché quando si specifica l'insieme ℚ la rappresentazione in virgola mobile esatta 10.0 del numero intero 10 viene trattata come numero razionale e pertanto supera la verifica relativa all'appartenenza all'insieme ℚ.