Hola que tal?
Mi duda es la siguiente. Considerando que tengo un conjunto C inductivo definido por dos o más reglas inductivas, para probar que x no pertenece a C, es necesario probar que no cumple con cada una de las reglas o alcanza (a mi entender) con probar que no cumple con al menos una?
Desde ya, muchas gracias.
Hola.
El otro día en teórico discutimos eso.
Hay que probar que no cumple conn ninguna.
Supongamos que tenemos los naturales y queremos probar que 
.
Formalmente, lo que se prueba es el siguiente teorema:
T) 
Para probar esto, se verifica que el conjunto 
cumple con las reglas de 
Prueben hacerlo que no es difícil.
Saludos
FDO.