1. Utilice la evaluación numérica y simbólica para probar si 4i es miembro de un conjunto de números complejos.
2. Utilice la evaluación numérica y simbólica para probar si -3/4 es miembro de un conjunto de números racionales.
Según lo previsto, la evaluación numérica falla si se especifica el conjunto de números ℚ.
3. Utilice la evaluación numérica y simbólica para probar si 2 es miembro de un conjunto de números reales.
4. Utilice la evaluación numérica y simbólica para probar si 1.3 es miembro de un conjunto de números enteros.
5. Muestre que la evaluación simbólica trata las representaciones de coma flotante de números enteros como números racionales.
◦ La evaluación numérica falla porque solo se permite la evaluación simbólica cuando se especifica el conjunto ℚ.
◦ La evaluación simbólica falla porque no se ha definido la prueba de pertenencia de un número de coma flotante a ℚ.
◦ La evaluación numérica falla porque solo se permite la evaluación simbólica cuando se especifica el conjunto ℚ.
◦ La evaluación simbólica se realiza correctamente porque al especificar el conjunto ℚ, la representación de coma flotante 10.0 exacta del número entero 10 se trata como un número racional y supera de este modo la prueba de pertenencia a ℚ.