INET L ogica Pr actico Inducci on Ejercicio 1 1. Considere el conjunto R de los n umeros reales.

D e ejemplos de conjuntos A R que satisfagan los siguientes conjuntos de clausulas: (a) (b) (a) (b) (a) (b) (c) (a) 0A Si n A entonces (n + 1) A 2A Si n A entonces n + 2 A 3A Si n A entonces (n + 1) A Si n A entonces (n 1) A Si (n + 1) A entonces n A

2. Para cada conjunto de cl ausulas, indique cu al es el m nimo subconjunto de R que satisface las cl asulas. 3. Para cada uno de los conjuntos m nimos de 3 elementos que pertenezcan al conjunto y justique su pertenecia en t erminos de la aplicaci on de las cl ausulas.

Ejercicio 2 Dena inductivamente los siguientes conjuntos: El conjunto de los naturales m ultiplo de 3 (o sea {0, 3, 6, 9, . . .}). El conjunto de los enteros m ultiplos de 3. El conjunto de los naturales que sean potencias de 2 (o sea {1, 2, 4, 8, 16, . . .}).

Ejercicio 3 Sea = {a, b, c}, dena inductivamente el conjunto .

Ejercicio 4 Sea = {a, b, c}. Sea denido inductivamente por las clausulas: 1

1.

2. Si entonces bbc 3. Si entonces bba Escriba 3 palabras que pertenezcan a y 3 que no pertenezcan. Escriba y demuestre el principio de inducci on primitiva para .

Ejercicio 5 Sea = {a, b, c}. Sea denido inductivamente por las clausulas: 1.

2. a 3. Si y entonces bcb a) Cu ales de las siguientes armaciones son correctas? bcb bacab bccb bacbcbb

b) Enuncie el principio de inducci on primitiva para .

Ejercicio 6 Dena inductivamente los siguientes conjuntos: { , a, aa, aaa, aaaa, . . .} {b} { , ab, aabb, aaabbb, . . .} { {1, 2, 3} / es capicua }

Ejercicio 7 Considere el conjunto N de los n umeros naturales y su denici on inductiva. Pruebe utilizando el principio de inducci on primitiva para N que para todo n N se cumple n2 + n es par. 2

Ejercicio 8 Enuncie el principio de inducci on primitiva para el conjunto P denido inductivamente por: 1. 0 P 2. Si n P entonces (n + 2) P Demuestre el principio de inducci on primitiva enunciado anteriormente. Pruebe utilizando dicho principio que para todo n P existe m N tal que n = m + m.

Ejercicio 9 Sea = {a, b} y considere denido inductivamente por las cl ausulas: 1. a 2. Si entonces bb a) Enuncie y demuestre el principio de inducci on primitiva para . b) Pruebe inductivamente que para todo tiene un n umero par de s mbolos b.

Ejercicio 10 Sea = {a, b, c}. Sea el conjunto denido en el ejercicio 4). 1. Enuncie el principio de inducci on primitiva para . 2. Sea long () la longitud de la palabra . Cu ales de las siguientes armaciones son correctas?.Justique su respuesta en todos los casos. Si entonces long () > 0. Si entonces long () es par. Si entonces long () es m ultiplo de 3. Si entonces tiene el mismo n umero de a que de c. Si entonces tiene al menos el doble de s mbolos b que de s mbolos a.

Ejercicio 11 Sea = {a, b, c}. Sea denido inductivamente por las cl ausulas: 1.

2. Si entonces b 3. Si entonces a a) Cu ales de las siguientes armaciones son correctas? Justique su respuesta en t erminos de la aplicaci on de las cl ausulas. b a c aba babab aaaa

b) Considere denido inductivamente por las cl ausulas: 1.

2. Si entonces b 3. Si entonces a Cu ales de las siguientes armaciones son correctas? Justique su respuesta en t erminos de la aplicaci on de las clausulas. b a c aba babab aaaa

c) Cu ales de las siguientes armaciones son correctas? = .

Ejercicio 12 Considere la siguiente denici on inductiva del conjunto S N N . 1. Si n N entonces (n, n) S 2. Si (n, m) S entonces (n, m + 1) S a) Indique cuales de las siguientes armaciones son correctas y justique su respuesta usando la denici on de S : (0, 0) S 0S (, ) S (2, 3) S (3, 2) S

b) Enuncie el principio de inducci on primitiva para S . c) D e una denici on por comprensi on del conjunto S . d) Considere la siguiente denici on inductiva del conjunto Q N N :

1. Si n N entonces (0, n) Q 2. Si (n, m) Q entonces (n + 1, m + 1) Q Cu ales de las siguientes armaciones son correctas? Justique su respuesta. SQ QS SQ QS Q=S