>>73267
>¿alguna explicación lógica?
1.Para cualquier cliente arbitrario x, sea KFC(x)=y el menú del KFC
2. y={m1,m2, ..., m} /* demostrar que no existe un z tal que z=nugget de pollo y z pertenece a y
3. Supóngase que existe un nugget de pollo z en el menú del KFC y que z pertenece a y
4. caso base: z=m1
5. pero m1 es un bucket de pollo, por tanto z es diferente de m1
6 . Por hipótesis inductiva se asume que z es diferente de toda m hasta mn
7.Supóngase que se agrega un nuevo producto mn+1 al menú y que mn+1=z
8. Pero esto ya no es el menú y de KFC y por lo tanto se demuestra que no existe un z tal que z=nugget de pollo y z pertenece a y QED