Logica de Predicados y Metodos de Demos Trac Ion

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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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
16 / 34

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


P. Barcel o


P. Barcel o


P. Barcel o


P. Barcel o


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
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
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
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
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
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
22 / 34
Bicondicionales
Cmo podemos demostrar un teorema de la forma p q? o
P. Barcel 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
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
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
25 / 34

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
26 / 34

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 .
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
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
28 / 34
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
28 / 34
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
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
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
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
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
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
34 / 34

Logica de Predicados y Metodos de Demos Trac Ion

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Logica de Predicados y Metodos de Demos Trac Ion

Transféré par

Droits d'auteur :

Formats disponibles

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

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

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

Pregunta: Existen otros cuanticadores posibles?

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

El dominio de discurso y las variables ligadas

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

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

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

Ejemplo de Lewis Carroll

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

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

Ejemplo de Lewis Carroll

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))?

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

Reglas vlidas de inferencia a

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

Combinando reglas de inferencia

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

Mtodos de demostracin: Introduccin e o o

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

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

Cmo se enuncia un teorema? o

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

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

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

Demostraciones directas: Ejercicios

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

Demostraciones por contraposicin o

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

Demostraciones por contraposicin: Ejemplo o

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

Demostraciones por contradiccin o

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

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

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

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

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

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

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

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

Errores en las demostraciones

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

Demostraciones por casos

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

Demostraciones por casos

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

Demostraciones por casos

Demostracin por casos o

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

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

1729 = 103 + 93 = 123 + 13

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

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

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

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

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

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

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

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

Vous aimerez peut-être aussi