Esempio: utilizzo dell'operatore È Elemento Di
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 numerica non riesce perché quando si specifica l'insieme ℚ, è consentita solo la valutazione simbolica.