Вы находитесь на странице: 1из 44

Cap tulo 1: Fundamentos: Lgica y o Demostraciones Clase 2: Lgica de Predicados y Mtodos de o e Demostracin o

Matemtica Discreta - CC3101 a Profesor: Pablo Barcel o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

1 / 34

Predicados

La lgica proposicional no puede expresar adecuadamente el o signicado de ciertos razonamientos muy usuales en matemtica: a

Todo nmero natural es par o impar. u Existen nmeros irracionales x, y tal que x y es racional. u

Podemos pensar que un predicado es una proposicin que adems o a menciona a ciertas variables: x > 3, x = y + 5, x = y2

Los predicados no son verdaderos ni falsos por si solos; su valor de verdad dependen del valor que tomen las variables.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

2 / 34

Cuanticacin o
Denotamos los predicados por: P(x), Q(x, y ), R1 (x, y , z), . . . La frmulas de la lgica de predicados se forman desde los o o predicados, usando los conectivos lgicos , , y los o cuanticadores y . Los cuanticadores son otra forma de crear una proposicin a o partir de una frmula con variables. Por ejemplo, o

xP(x) dice que todo elemento del dominio tiene la propiedad P (esto puede ser verdadero o falso); xP(x) dice que existe un elemento del dominio que tiene la propiedad P (esto puede ser verdadero o falso).

Pregunta: Existen otros cuanticadores posibles?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

3 / 34

El dominio de discurso y las variables ligadas

El valor de verdad de una oracin ahora depende del dominio de o discurso. Ejemplo: La oracin xy (x < y z(x < z z < y )) es cierta o en los nmero reales pero no en los nmeros enteros. u u Si un cuanticador es usado sobre una variable x, entonces decimos que la variable x aparece cuanticada o ligada en la frmula. o Para que una frmula tenga un valor de verdad entonces todas sus o variables deben estar ligadas.

Ejemplo: El valor de verdad de x(x + y = 1) depende del valor que tome y .

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

4 / 34

Equivalencias lgicas o

Sean y dos frmulas sin variables libres (las llamamos o oraciones). Decimos que y son equivalentes, si el valor de ambas frmulas o a o es el mismo, no importa cul sea el dominio de discurso y cmo interpretemos los predicados en se dominio. Ejercicio: Demuestre que las oraciones x(P(x) Q(x)) y xP(x) xQ(x) son equivalentes. Haga lo mismo para x(P(x) Q(x)) y xP(x) xQ(x). Ejercicio: A qu oracin es equivalente la negacin de xP(x)? e o o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

5 / 34

Ejemplo de Lewis Carroll


Podemos representar en el lenguaje lgico algunos elementos o importantes del lenguaje natural. Ejemplo: Considere las siguientes armaciones:

Todos los leones son eros; Algunos leones no toman caf; e Algunas criaturas eras no toman caf. e

Podemos representarlas por: x(P(x) Q(x)); x(P(x) R(x)); x(Q(x) R(x)).

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

6 / 34

Ejemplo de Lewis Carroll


Podemos representar en el lenguaje lgico algunos elementos o importantes del lenguaje natural. Ejemplo: Considere las siguientes armaciones:

Todos los leones son eros; Algunos leones no toman caf; e Algunas criaturas eras no toman caf. e

Podemos representarlas por: x(P(x) Q(x)); x(P(x) R(x)); x(Q(x) R(x)).

e o Pregunta: Por qu no podemos escribir la segunda armacin como x(P(x) R(x))?


P. Barcel o Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 6 / 34

Ejercicios

Ejercicio: Escriba los axiomas de los grupos conmutativos en lgica o de predicados. Ejercicio: Exprese que limxa f (x) = p en la lgica de predicados. o Ejercicio: Exprese que el limxa f (x) no existe en la lgica de o predicados. Ejercicio: Cmo podr expresar que el tamao de un grupo es o a n par en lgica de predicados? o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

7 / 34

Reglas vlidas de inferencia a


Luego, estudiaremos demostraciones. Las demostraciones son argumentos vlidos que establecen la verdad de una proposicin a o matemtica. a Por argumento nos referimos a las secuencias de armaciones que o terminan en una conclusin. Que el argumento sea vlido signica que la verdad de la a conclusin debe seguirse de la verdad de las premisas. i.e. es o imposible que las premisas sean verdaderas y la conclusin falsa. o Las reglas lgicas de inferencia son patrones que nos aseguran la o validez del argumento. Son los bloques con los que construimos argumentos ms complejos. a

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

8 / 34

Reglas de inferencia
Quizs la regla ms famosa de inferencia de la lgica proposicional a a o es el modus ponens: p pq q Tambin tenemos el modus tollens: e q pq p ... y el razonamiento transitivo: pq qr pr
P. Barcel o Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 9 / 34

Reglas de inferencia
Tenemos reglas de inferencia, adems, para la lgica de predicados. a o o Por ejemplo, la instanciacin universal: xP(x) P(c) ... o la generalizacin universal: o P(c) para un c arbitrario xP(x) ... o la generalizacin existencial: o P(c) para algn c u xP(x)
P. Barcel o Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 10 / 34

Combinando reglas de inferencia

Nuestros argumentos sern en realidad largas secuencias con a variadas combinaciones de las reglas de inferencias. Por ejemplo, podr amos combinar modus ponens e instanciacin o universal en una sola regla: x(P(x) Q(x)) P(a) para algn a u Q(a)

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

11 / 34

Mtodos de demostracin: Introduccin e o o


o e a Introduciremos la nocin de demostracin, y los mtodos ms o utilizados para construir demostraciones. Una demostracin se construye a partir de las hiptesis del teorema o o a demostrar, los axiomas que sabemos que son verdad, y teoremas previamente demostrados. A partir de estos se utilizan las reglas de inferencia lgica. o Pregunta: Cun formal debe ser una demostracin? a o Los metodos de demostracin presentados aqu son relevantes no o slo en matemticas, sino tambin en varias aplicaciones o a e computacionales.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

12 / 34

Qu es un teorema? e

o a Un teorema es una proposicin matemtica que puede ser demostrada que es verdad.

Se asume que un teorema es una proposicin matemtica o a importante, de otra forma se llama simplemente proposicin. o Resultados intermedios se llaman lemas. Un corolario es un teorema que puede ser probado fcilmente a de otro teorema probado anteriormente. Una conjetura es algo que se piensa que es verdadero, pero para lo cual no existe demostracin. o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

13 / 34

Cmo se enuncia un teorema? o


Generalmente un teorema es de la forma: Todos los elementos de un dominio dado tienen cierta propiedad. Sin embargo, el cuanticador universal generalmente se omite: Ejemplo: El enunciado:

Si x e y son nmeros reales positivos tal que x > y , entonces u x 2 > y 2, Para todo par x, y de nmeros reales positivos, si x > y u 2 > y 2. entonces x

realmente signica:

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

14 / 34

Metodos de demostracin o

Muchos teoremas son de la forma x(P(x) Q(x)). Una idea entonces es tomar un objeto c arbitrario en el dominio, y o demostrar que P(c) Q(c). Luego, por generalizacin podemos asumir que el teorema es cierto. Cmo demostrar que p q es cierto? o Slo nos basta demostrar que q es cierto cuando p es cierto (por la o tabla de verdad). Para demostrar esto es que mostraremos diferentes tipos de tcnicas. e

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

15 / 34

Demostraciones directas
Una demostracin directa de p q se construye de la siguiente o forma:

Asuma que p es verdadero. Deduzca otras proposiciones a partir de p utilizando las reglas de inferencias y los axiomas. Detngase una vez que haya obtenido la proposicin q. e o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

16 / 34

Demostraciones directas
Una demostracin directa de p q se construye de la siguiente o forma:

Asuma que p es verdadero. Deduzca otras proposiciones a partir de p utilizando las reglas de inferencias y los axiomas. Detngase una vez que haya obtenido la proposicin q. e o

Ejemplo: Demuestre directamente que si n es un entero impar entonces n2 tambin es un entero impar. e

Tome un entero impar n arbitrario; n = 2k + 1, para algn entero k (axioma); u n2 = (2k + 1)2 = 4k 2 + 4k + 1 (inferencia); n2 = 2(2k 2 + 2k) + 1 (inferencia); n2 es impar (axioma).
Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 16 / 34

P. Barcel o

Demostraciones directas
Una demostracin directa de p q se construye de la siguiente o forma:

Asuma que p es verdadero. Deduzca otras proposiciones a partir de p utilizando las reglas de inferencias y los axiomas. Detngase una vez que haya obtenido la proposicin q. e o

Ejemplo: Demuestre directamente que si n es un entero impar entonces n2 tambin es un entero impar. e

Tome un entero impar n arbitrario; n = 2k + 1, para algn entero k (axioma); u n2 = (2k + 1)2 = 4k 2 + 4k + 1 (inferencia); n2 = 2(2k 2 + 2k) + 1 (inferencia); n2 es impar (axioma).
Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 16 / 34

P. Barcel o

Demostraciones directas
Una demostracin directa de p q se construye de la siguiente o forma:

Asuma que p es verdadero. Deduzca otras proposiciones a partir de p utilizando las reglas de inferencias y los axiomas. Detngase una vez que haya obtenido la proposicin q. e o

Ejemplo: Demuestre directamente que si n es un entero impar entonces n2 tambin es un entero impar. e

Tome un entero impar n arbitrario; n = 2k + 1, para algn entero k (axioma); u n2 = (2k + 1)2 = 4k 2 + 4k + 1 (inferencia); n2 = 2(2k 2 + 2k) + 1 (inferencia); n2 es impar (axioma).
Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 16 / 34

P. Barcel o

Demostraciones directas
Una demostracin directa de p q se construye de la siguiente o forma:

Asuma que p es verdadero. Deduzca otras proposiciones a partir de p utilizando las reglas de inferencias y los axiomas. Detngase una vez que haya obtenido la proposicin q. e o

Ejemplo: Demuestre directamente que si n es un entero impar entonces n2 tambin es un entero impar. e

Tome un entero impar n arbitrario; n = 2k + 1, para algn entero k (axioma); u n2 = (2k + 1)2 = 4k 2 + 4k + 1 (inferencia); n2 = 2(2k 2 + 2k) + 1 (inferencia); n2 es impar (axioma).
Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 16 / 34

P. Barcel o

Demostraciones directas
Una demostracin directa de p q se construye de la siguiente o forma:

Asuma que p es verdadero. Deduzca otras proposiciones a partir de p utilizando las reglas de inferencias y los axiomas. Detngase una vez que haya obtenido la proposicin q. e o

Ejemplo: Demuestre directamente que si n es un entero impar entonces n2 tambin es un entero impar. e

Tome un entero impar n arbitrario; n = 2k + 1, para algn entero k (axioma); u n2 = (2k + 1)2 = 4k 2 + 4k + 1 (inferencia); n2 = 2(2k 2 + 2k) + 1 (inferencia); n2 es impar (axioma).
Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 16 / 34

P. Barcel o

Demostraciones directas
Una demostracin directa de p q se construye de la siguiente o forma:

Asuma que p es verdadero. Deduzca otras proposiciones a partir de p utilizando las reglas de inferencias y los axiomas. Detngase una vez que haya obtenido la proposicin q. e o

Ejemplo: Demuestre directamente que si n es un entero impar entonces n2 tambin es un entero impar. e

Tome un entero impar n arbitrario; n = 2k + 1, para algn entero k (axioma); u n2 = (2k + 1)2 = 4k 2 + 4k + 1 (inferencia); n2 = 2(2k 2 + 2k) + 1 (inferencia); n2 es impar (axioma).
Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 16 / 34

P. Barcel o

Demostraciones directas: Ejercicios

Ejercicio: Demuestre directamente que si m, n, p son enteros y (m + n) y (n + p) son enteros pares, entonces m + p tambin es un e entero par. Ejercicio: Demuestre directamente que si m y n son cuadrados perfectos, entonces mn es tambin cuadrado perfecto. e
Recuerde que a es cuadrado perfecto si existe un entero b tal que a = b 2 .

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

17 / 34

Demostraciones por contraposicin o

Muchas veces es dif encontrar una demostracin directa de un cil o resultado (lo veremos luego). En tales casos podemos intentar demostraciones que no empiecen con p y busquen q por medio de las reglas de inferencias: Buscamos una demostracin indirecta. o Las demostraciones por contraposicin estn basadas en que para o a o demostrar p q basta demostrar q p (equivalencia lgica). o En realidad lo que hacemos es construir una demostracin directa del contrapositivo de p q.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

18 / 34

Demostraciones por contraposicin: Ejemplo o

Ejercicio: Trate de demostrar directamente que si n es un entero y 3n + 2 es impar, entonces n es impar. Ejercicio: Demustrelo ahora por contraposicin. e o Ejercicio: Demuestre por contradiccin que si n = ab, donde o ambos a y b son enteros positivos, entonces a n o b n. Pregunta: Cul parecer entonces ser una estrategia razonable a a para demostrar una proposicin de la forma p q? o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

19 / 34

Demostraciones por contradiccin o

Asuma que queremos demostrar p. Entonces, si encontrramos a una contradiccin q tal que p q es cierto, podr o amos concluir que p es cierto (por qu?). e o Esto es lo que llamamos demostracin por contradiccin. o Ejercicio: Demuestre por contradiccin que o 2 es irracional.

o Recuerde que un nmero x es racional si y slo si existen dos enteros m y u n tal que n = 0 and x = m/n.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

20 / 34

2 es irracional
o Asuma por contradiccin que 2 es irracional. Luego, 2 = a/b, donde a y b son enteros sin factores en comn y u b = 0. Por tanto, 2 = a2 /b 2 y 2b 2 = a2 . Se sigue, que a2 es par. Pero entonces, a tambin es par e (demostracin por contradiccin). o o Luego, a = 2c, para algn entero c, y b 2 = 2c 2 . u Por tanto, b 2 es par y, por lo mencionado anteriormente, b tambin lo es. e o Luego, 2 es factor comn de a y b. Contradiccin. u

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

21 / 34

Contraposicin vs contradiccin o o

Una proposicin de la forma p q tambin puede ser probada por o e contradiccin. o Basta asumir que p q nos lleva a una contradiccin. o Adems, toda demostracin por contraposicin puede convertirse a o o en una demostracin por contradiccin (cmo?). o o o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

22 / 34

Bicondicionales

Cmo podemos demostrar un teorema de la forma p q? o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

23 / 34

Bicondicionales

Cmo podemos demostrar un teorema de la forma p q? o

Basta demostrar que p q y que q p (tablas de verdad).

No necesariamente las dos direcciones se demuestran siguiendo el mismo mtodo. e Ejemplo: Sea n un entero positivo. Demuestre que n es impar si y slo si n2 es impar. o Pregunta: Cmo podemos demostrar un teorema de la forma o p1 p2 pn ?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

23 / 34

Errores en las demostraciones

Pregunta: Dnde est el error en el siguiente razonamiento? o a Sean a y b dos enteros cualesquiera,y asuma que a = b. Luego, 1. a2 = ab; 2. a2 b 2 = ab b 2 ; 4. a + b = b; 5. 2b = b; 6. 2 = 1. 3. (a + b)(a b) = b(a b);

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

24 / 34

Demostraciones por casos

Asumamos que queremos demostrar p q, y que sabemos que p (p1 p2 pn ). Algunas veces es ms facil demostrar (p1 p2 pn ) q. A a o esto lo llamamos demostracin por casos. Nota: Basta demostrar que (p1 q) (p2 q) (pn q). Ejercicio: Demuestre por casos que si n es un entero, entonces n2 n. Ejercicio:Demuestre por casos que |xy | = |x||y |, donde x e y son nmeros enteros. u

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

25 / 34

Demostraciones por casos


e A veces utilizamos la frase Sin prdida de generalidad... en una demostracin para referirnos al hecho de que demostrar slo o o algunos de los casos es suciente para demostrar todos los otros. Ejercicio: Demuestre que para todo par x, y de nmeros reales u positivos, y para todo nmero real 0 < r < 1, se tiene que u (x + y )r < x r + y r .

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

26 / 34

Demostraciones por casos


e A veces utilizamos la frase Sin prdida de generalidad... en una demostracin para referirnos al hecho de que demostrar slo o o algunos de los casos es suciente para demostrar todos los otros. Ejercicio: Demuestre que para todo par x, y de nmeros reales u positivos, y para todo nmero real 0 < r < 1, se tiene que u (x + y )r < x r + y r . Asumimos sin prdida de generalidad que x + y = 1. e Sino, asumamos que hemos demostrado el teorema para este caso y que x + y = t = 1. Entonces x/t + y /t = 1, y por tanto, (x/t + y /t)r < (x/t)r + (y /t)r . Multiplicando a ambos lados por t r , obtenemos (x + y )r < x r + y r .
P. Barcel o Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 26 / 34

Demostracin por casos o

Ahora continuamos la demostracin para el caso x + y = 1. o Por tanto, 0 < x, y < 1. Adems, dado que 0 < r < 1, tenemos a que 0 < 1 r < 1.

Por tanto, x 1r < 1 y y 1r < 1. Esto implica que x < x r y y < y r . Luego, 1 = x + y < x r + y r y, por tanto, 1 = (x + y )r < x r + y r . Esto demuestra el teorema.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

27 / 34

Demostraciones de existencia

Muchos teoremas enuncian que existe un objeto con cierta propiedad, i.e. son de la forma xP(x). Las demostraciones de este tipo de teoremas se llaman de existencia. Existen demostraciones constructivas de existencia. Lo que hacen es encontrar un elemento a tal que P(a). Ejercicio: Demuestre que existe un entero positivo que puede ser expresado como la suma de cubos de enteros positivos en dos formas diferentes.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

28 / 34

Demostraciones de existencia

Muchos teoremas enuncian que existe un objeto con cierta propiedad, i.e. son de la forma xP(x). Las demostraciones de este tipo de teoremas se llaman de existencia. Existen demostraciones constructivas de existencia. Lo que hacen es encontrar un elemento a tal que P(a). Ejercicio: Demuestre que existe un entero positivo que puede ser expresado como la suma de cubos de enteros positivos en dos formas diferentes.

1729 = 103 + 93 = 123 + 13

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

28 / 34

Demostraciones de existencia

Existen tambin demostraciones no-constructivas de existencia. e Por ejemplo, asuma que no existe elemento a tal que P(a) y obtenga una contradiccin. o Ejercicio: Demuestre que existen nmeros irracionales x e y tal u y es racional. que x

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

29 / 34

Demostraciones de unicidad

Muchos teoremas enuncian que existe un unico objeto con cierta propiedad, i.e. son de la forma x(P(x) y (P(y ) x = y )). Tales resultados se prueban en dos partes:

Existencia: hay un elemento a tal que P(a). Univocidad: si b = a, entonces P(b).

Ejercicio: Demuestre que si a y b son nmeros reales y a = 0, u entonces existe un unico nmero real r tal que ar + b = 0. u

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

30 / 34

Estrategias de demostracin o

Por supuesto, encontrar una demostracin a un teorema no es algo o que pueda ser formalizado. Siempre hay algo por atrs que corresponde a la intuicin a o matemtica. a Ejemplo: Dados dos reales positivos x e y , demuestre que (x + y )/2 > xy , i.e. la media aritmtica es siempre mayor que la e media geomtrica. e

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

31 / 34

Conjeturas

La historia de la matemtica funciona de forma muy distinta a a como aparece en los libros. Primero se exploran conceptos y ejemplos, se formulan conjeturas, se prueban o refutan esas conjeturas, y luego stas se reformulan. e A veces una conjetura parece verdadera y se busca una demostracin. Si esto no funciona se busca un contraejemplo. o La bsqueda de tal contraejemplo, aunque infructuosa, puede u proveer de un mejor entendimiento de la dicultad del problema. Esto puede ayudar en una segunda bsqueda de una demostracin. u o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

32 / 34

Conjeturas famosas

Las conjeturas han sido muy importantes en la historia de la matemtica. Ellas han ayudado a gente que ha tratado de a resolverlas a hacer avances inmensos en las matemticas. a Quizs la conjetura ms famosa de la historia de la matemtica es a a a la que corresponde al ultimo teorema de Fermat (probado hace muy poco por A. Wiles). Fermats last theorem: La ecuacin x n + y n = z n no tiene solucin o o en los enteros positivos, para cualquier n > 2.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

33 / 34

Conjeturas famosas

Otra conjetura famosa es la llamada 3x + 1. Sea f una funcin denida por: o f (x) = x/2 3x + 1 si x es par; si x es impar.

Conjetura: Para cualquier entero positivo x, aplicando repetidamente f sobre x nos llevar a 1. a Ejercicio: Pruebe la conjetura para varios enteros positivos.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

34 / 34