Matemticas Discretas

Captulo 1: Lgica Matemtica Y Demostraciones

Lgica Matemtica
La lgica: Estudio del razonamiento. Se analiza si un razonamiento es correcto. Se centra en las relaciones entre los enunciados No se centra en el contenido (significado) de un enunciado particular.

Lgica Matemtica

Lgica Matemtica

Cont...
Por ejemplo:
Todos los estudiantes llevan calculadora Los que usan calculadora son estudiosos Por lo tanto:

Cont...
A la lgica no le interesa el significado de las dos premisas. La lgica no permite determinar si estos enunciados son verdaderos, pero si los dos primeros son ciertos entonces la lgica garantiza que el tercer enunciado (conclusin) es verdadero. Los mtodos lgicos son usados en matemticas para probar teoremas, en computacin para determinar si un programa realiza lo que se propone y en sistemas digitales para calcular las salidas de los circuitos.

Todos los estudiantes son estudiosos.

Lgica Matemtica

Lgica Matemtica

Proposiciones
Una proposicin o enunciado es una oracin que declara que algo es verdadero o falso pero no ambas cosas. Se expresa con una afirmacin declarativa y no como una pregunta, instruccin, etc. Son los bloques de construccin bsicos para cualquier teora de la lgica. Generalmente se las representa con letras minsculas: p, q, r (variables positivas)

Cont...
Ejemplo:
Son proposiciones: Ayer llovi El sol esta brillando hoy 7 es un nmero primo 1+1 = 3 Margaret Michell escribi Lo que el viento se llev No son proposiciones: Qu bonita tarde! Mira si esta lloviendo Si n fuera nmero primo es 4.5 entero?

Lgica Matemtica

Lgica Matemtica

Conectores
Sirven para combinar proposiciones o variables positivas Son la conjuncin y y la disyuncin El resultado de unir dos o ms proposiciones se llama proposiciones compuestas La negacin no es un conector pero tambin nos da una proposicin compuesta.

Cont...
Negacin
Si p es una proposicin, la negacin de p es la proposicin no p denotada por ~p o p
~p : no es el caso p

De esta definicin se desprende que:

si p es verdadera entonces ~p es falsa si p es falsa entonces ~p es verdadera

La tabla de verdad es:

p V F

~p F V

Lgica Matemtica

Lgica Matemtica

Cont...
Conjuncin
Su smbolo en lgica es el : p q En programacin generalmente se usa el &: p&q Otras representaciones son: pq, pq En texto normal se identifica claramente por la conjuncin y

Cont...
Cont..
Sean p y q proposiciones. La conjuncin de p y q denotado pq es la proposicin p y q Si p: 1 + 1 = 3 q: Un decenio tiene 10 aos La conjuncin de p y q es pq: 1 + 1 = 3 y un decenio tiene 10 aos
p q V F V F pq V F F F

La tabla de verdad es:

V V F F

Lgica Matemtica

Lgica Matemtica

Cont...
Disjuncin
Su smbolo en lgica es el : p q En programacin generalmente se usa el |: p | q Otra representacin es: p+q En texto normal se identifica claramente por la disjuncin o

Cont...
Cont..
Sean p y q proposiciones. La disjuncin de p y q denotado pq es la proposicin p o q Si p: 1 + 1 = 3 q: Un decenio tiene 10 aos La disjuncin de p o q es p q: 1 + 1 = 3 un decenio tiene 10 aos
p q V F V F

La tabla de verdad es:

pq V V V F

V V F F

Lgica Matemtica

Lgica Matemtica

Cont...
Tablas de Verdad
Son el enunciado de todos los valores de verdad que pueden tomar las proposiciones dentro de una proposicin compuesta.

Cont...
Representacin de texto natural
Se puede transformar un texto natural a expresiones lgicas dividindolo en proposiciones y operadores (disjuncin, conjuncin y negacin) Esta conversin nos ayuda a determinar ms fcilmente el valor de verdad de la expresin.

Lgica Matemtica

Lgica Matemtica

Cont...
Cont ...
En cierto pas esta prohibido tener ms de tres gatos y tres perros en una casa. Si una persona tiene 6 perros, pero ningn gato, esta infringiendo la ley? Convirtiendo:
p: tiene ms de tres gatos q: tiene ms de tres perros Si p q es verdadero, infringen la ley Para el hombre q es verdadero, y p es falso por tanto p q es falso, por tanto no infringe la ley.

Proposiciones Condicionales
Cuando tenemos una proposicin de la forma si p entonces q, decimos que tenemos una proposicin condicional. Esto significa que si p es verdadero, q tiene que ser verdadero tambin para que la expresin sea verdadera. Si p es falso, no importa el valor de q, la expresin ser verdadera. Se representan como:

pq
A p se la conoce como hiptesis y a q como conclusin.

Lgica Matemtica

Lgica Matemtica

Cont...
Definicin:
Si p y q son proposiciones, la proposicin compuesta: si p entonces q es una proposicin condicional y se denota: pq
p es la hiptesis o antecedente q es la conclusin o consecuente

Cont...
En el lenguaje natural tiene varias formas de ser expresado:
Si p entonces q p solo si q q es condicin necesaria para p p es condicin suficiente para q

Ejemplo:
1) p: tengo hambre q: comer pq: Si tengo hambre, entonces comer p: est nevando q: 3 + 5 = 8 pq: Si est nevando, entonces 3 + 5 = 8

2)

Lgica Matemtica

Lgica Matemtica

Cont...
Ejercicio en clases 1.2.3:
Enuncie cada proposicin en forma de proposicin condicional.
a) b)

Cont...
resolucin:
a)

b)

c) d)

e)

Mara ser una buena estudiante si estudia mucho. Juan puede cursar clculo slo si est en su segundo, tercer o cuarto ao de estudio de licenciatura. Cuando cantas, me duelen los odos. Una condicin necesaria para que los cochorros ganen la serie mundial es que consigan un lanzador relevista derecho. Una condicin suficiente para que Rafael visite California es que vaya a Disneylandia.

c) d)

e)

Si Mara estudia mucho, entonces ser una buena estudiante. Si Juan cursa clculo, entonces est en segundo, tercer o cuarto ao de estudio de licenciatura. Si cantas, entonces me duelen los odos. Si los cachorros ganan la serie mundial, entonces ha contratado un lanzador relevista derecho. Si Rafael va a Disneylandia, entonces estar visitando California.

Lgica Matemtica

Lgica Matemtica

Cont...
Ejercicio en clases 1.2.6:
Si p es verdadera, q es falsa y r es verdadera, determine el valor de verdad de cada proposicin condicional. a) (p q) r b) (p q) ~r c) p (q r) d) p (q ~r)

Recproco
Las proposiciones condicionales son vlidas en un solo sentido: Que p q no es lo mismo que q p A q p se le llama el recproco de pq Una proposicin condicional puede ser verdadera y su recproca puede ser falsa

Lgica Matemtica

Lgica Matemtica

Cont...
Ejemplo 1:
Si me saco la loteria entonces soy millonario Si soy millonario entonces me saco la loteria.

Proposicin Bicondicional o Equivalencia

Equivalencia
ya que ambas proposiciones tienen siempre los mismos valores de verdad. A las equivalencias se las representa como:

Ejemplo 2:
Si 1<2, entonces 3<6
p: 1<2 q: 3<6 pq qp Verdadero Verdadero Verdadero El reciproco es Verdadero

PQ

Bicondicional
cuando la implicacin (proposicin compuesta) va en los dos sentidos se Se representa por:

Ejemplo 3:
Si 1>2, entonces 3<6
p: 1>2 q: 3<6 pq qp Falso Verdadero Verdadero El reciproco es Falso

pq
pq

Lgica Matemtica

Lgica Matemtica

Cont...
Definicin:
Supongamos que las propociones compuestas P y Q estn formadas por las proposiciones p1, p2,...,pn. Decimos que P y Q son lgicamente equivalentes y escribimos

Cont...
Es verdadero solamente cuando p y q tienen el mismo valor de verdad. El valor de verdad de la proposicin de define por la siguiente tabla de verdad:
p V V F F q V F V F pq V F F V

PQ
siempre que dados cualesquiera valores de verdad de p1, p2,...,pn, P y Q sean ambas verdaderas o falsas.

Lgica Matemtica

Lgica Matemtica

Cont...
En el lenguaje natural tiene varias formas de ser expresado:
p si y solo si q p es equivalente a q p ssi q p es condicin necesaria y suficiente para q

Cont...
Ejemplo 1: Soy buen alumno s y solo s tengo buenas notas Ejemplo 2: La afirmacin 1<5 si y solo si 2<8 se puede escribir p
q

Definimos:
p: 1<5 Verdadera q: 2<8 Verdadera Entonces p q es verdadera

Otra manera de expresar la afirmacin es:

Una condicin necesaria y suficiente para 1<5 es que 2<8

Lgica Matemtica

Lgica Matemtica

Cont...
Ejemplo: (Leyes de DeMorgan)
Los teoremas de DeMorgan son:
~(p v q) ~p ~q ~(p q) ~p v ~q

Cont...
Ejercicio en clases:
Demostrar que la negacin de p q es lgicamente equivalente a p ~q Demostrar que: p q (p q)(q p)
~(p v q) ~p ~q F F F V F F F V

Demostracin por tabla de verdad.

Para la primera:
p V V F F q V F V F

Dados cualesquiera valores de verdad de p y q, P y Q son ambas verdaderas o ambas falses, entonces P Q

Lgica Matemtica

Lgica Matemtica

Contrarrecproco o contrapositiva
Definicin:
El contrareciproco de una proposicin condicional pq es la proposicin
~q ~p

Cont...
Ejemplo 1:
Demostrar que la proposicin condicional y su contrapositiva son equivalentes:
p V V F F q V F V F ~p F F V V ~q F V F V pq V F V V ~q ~p V F V V

Se puede demostrar que:

p q ~q ~p
Ejemplo 2:

Ntese que no es lo mismo el recproco que el contrarecproco.

Si 1<4, entonces 5>8

p: 1<4, q: 5>8

Simblicamente: p q (Falso) Reciprocamente: q p (Verdadero) Si 5>8, entonces 1<4 Contrapositiva: ~q ~ p (Falso) Si 5 no es mayor que 8, entonces 1 no es menor que 4

Lgica Matemtica

Lgica Matemtica

Cont...
Deber:
Hacer los ejercicios Impares de la pagina 16, 17, 18

Cuantificadores
Cuando se usa variables en las sentencias, necesitamos de cuantificadores para convertirlas en proposiciones.
n es primo (no es una proposicin, no tiene un valor de verdad, depende de cuanto valga n) Todo n es primo (es una proposicin, ya que su valor de verdad es falso)

Lgica Matemtica

Lgica Matemtica

Cont...
Definicin:
Sea P(x) un enunciado que contiene la variable x y sea D un conjunto. P es una funcin preposicional (con respecto a D) si para cada x en D, P(x) es una proposicin. D es el dominio de discurso de P.
P(x) es la propiedad que tienen en comn los elementos de un conjunto. As un elemento de {x | P(x)} es un objeto t para el cual la proposicin P(t) es verdadera. En una oracin de estas P(x) es el predicado.

Cont...
Ejemplo
Sea A = {x | x es un entero menor que 8}
P(x) es la oracin: x es un entero menor que 8 La proposicin comn es: es un entero menor que 8 Como P(1) es verdadero, 1 A

Lgica Matemtica

Lgica Matemtica

Cont...
Cuantificador Universal
Cuando aseveramos que todos los elementos de un conjunto dado, cumplen cierta condicin usamos el cuantificador universal. Se representa como: x en D, P(x)
Donde x es la variable, D es el conjunto o dominio de referencia y P es la proposicin que x debe hacer verdadera para todos sus valores, para que toda la expresin sea verdadera. La cuantificacin universal de un predicado P(x) es la proposicin Para todos los valores de x, P(x) es verdad

Cont...
Cont..
En lenguaje natural se expresa de esta manera:
Para todo x en D, se cumple P(x) Para cualquier x en D, es verdad que P(x)

El cuantificado universal se lee:

Para cada Para todo Para cualquier

Lgica Matemtica

Lgica Matemtica

Cont...
Cont..
Ejemplo 1:
Para todo x en los reales, si x>1 entonces x+1>1 x en R, x>1 x+1>1

Cont...
Cuantificador Existencial
Cuando aseveramos que al menos un elemento de un conjunto cumple con una condicin, estamos utilizando el cuantificador existencial. Se representa como:
x en D, P(x)
Donde x es la variable que tiene como dominio el conjunto D y se afirma que al menos uno de los elementos de este conjunto da un valor verdadero a P(x) al ser reemplazado

Ejemplo 2:
Sea Q(x): x + 1 < 4 Entonces x 0, Q(x) es una proposicin falsa porque Q(5) no es verdadera.

10

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
En el lenguaje natural se expresa como:
Para algn x en D, se cumple P(x) Para al menos un x en D, es verdad que P(x) Existe al menos un x en D, tal que P(x)

Cont...
Veracidad de Cuantificadores
Para determinar que una proposicin cuantificada universalmente es falsa basta con hallar un contraejemplo (valor de la variable que haga que la proposicin sea falsa) Para determinar que una proposicin existencial es falsa hay que probar que todos los elementos no cumplen con la proposicin.

Ejemplo:
Existen x en los Reales, tales que x>0 x en R, x>0

Lgica Matemtica

Lgica Matemtica

Cont...
Leyes Generalizadas de DeMorgan
Son reglas aplicadas a los cuantificadores:
~(xP(x)) x~P(x) ~( xP(x)) x~P(x)

Cont...
Cont...
Ejemplo: No todo lo que brilla es oro es igual a decir Hay cosas que brillan y no son oro
p: x brilla q: x es oro P(x): p q ~(xP(x)) x~P(x)

Demostracin por enumeracin y leyes de DeMorgan tradicionales.

11

Lgica Matemtica

Lgica Matemtica

Cont...
Cuantificadores con mltiples variables
Se pueden tener varios cuantificadores para varias variables. Ejemplo:
Para todo nmero real, hay otro nmero real, tal que sumados, el resultado es 0 xy en R, x+y=0

Cont...
Deber
Ejercicios impares de las paginas 32 y 33

Lgica Matemtica
Propiedades para las operaciones con proposiciones
Propiedades Conmutativas
pvqqp pqqp

Lgica Matemtica
Propiedades para las operaciones de implicacin

Propiedades Asociativas
p (q r) (p q) r p (q r) (p q) r

Propiedades Distributivas

p (q r) (p q) (p r) p (q r) (p q) (p r) ppp ppp

(p q) ((~p) q) (p q) ((~q) ~ p) (p q) ((p q) (q p)) ~(p q) (p ~q) ~(p q) ((p ~q) (q ~p))

Propiedades Idempotentes Propiedades de negacin

~(~p) p ~(pq) (~p) (~q) ~(pq) (~p) (~q)

Ejercicio en clases:
Hacer las tablas de verdad de las dos ltimas

12

Lgica Matemtica
Propiedades para los cuantificadores

Lgica Matemtica

Demostraciones
Sistemas matemticos
Estas formados por:
Axiomas Definiciones Teoremas
Lemas Corolarios

~(x P(x)) x ~P(x) ~(x ~P(x)) x P(x) x (P(x) Q(x)) x P(x) x Q(x) x P(x) x Q(x) x (P(x) Q(x)) x (P(x) Q(x)) x P(x) x Q(x)

Trminos no definidos en definidos en forma explcita sino implcita mediante los axiomas.

Lgica Matemtica

Lgica Matemtica

Cont...
Axiomas
Son verdades establecidas e irrebatibles dentro del sistema. Ejemplos:
Dados dos puntos, existe una y solamente una lnea que los contiene a ambos. Para todos los nmeros reales x y y, xy=yx

Cont...
Definiciones
Nuevos conceptos que se elaboran a partir de los trminos ya existentes. Ejemplos:
Conjunto vaco es aquel que carece de elementos. El valor absoluto |x| de un nmero real x es x si x es positivo o 0 y en caso contrario es -x

13

Lgica Matemtica

Lgica Matemtica

Cont...
Teoremas
Los teoremas se pueden derivar de proposiciones que se han probado, son correctas. Es una proposicin cuya verdad se ha demostrado. Algunos se conocen como lemas y corolarios. Ejemplo: x es un nmero real, si x>1 entonces x+1>1 Si los tres lados de un triangulo son iguales, entonces los ngulos opuestos a ellos son iguales. (a)

Cont...
Lemas
Son teoremas que por si mismos no tienen gran uso, pero sirven para demostrar otros teoremas. Ejemplo:
Si x es un entero positivo, entonces x -1 es positivo o x -1 =0

Lgica Matemtica

Lgica Matemtica

Cont...
Corolarios
Son teoremas que se deducen fcilmente de otro teorema. Ejemplo:
Si un tringulo es equiltero, tiene sus 3 ngulos iguales Si un triangulo es equiltero, entonces es equingulo. (a partir de (a))

Las Pruebas
Las pruebas son el argumento de que nos valemos para establecer la validez de un teorema Hay muchos tipos de pruebas, dos de las ms sencillas son:
La prueba directa (Demostracin Directa) La prueba por contradiccin (Demostracin por Contradiccin)

14

Lgica Matemtica

Lgica Matemtica

Cont...
Prueba Directa
Frecuentemente los teoremas tienen la forma:
Para todo x1, x2, x3, ... , xn, si p(x1, x2, x3, ... , xn), entonces q (x1, x2, x3, ... , xn)

Cont...
Cont...
Para demostrar esto suponemos que x1, x2, x3, ... , xn son elementos arbitrarios del dominio en discurso. Si p(x1, x2, x3, ... , xn) es falsa entonces (1) es verdadero As slo es necesario considerar el caso en que p(x1, x2, x3, ... , xn) sea verdadera.

Esta afirmacin cuantificada universalmente es verdadera siempre que la proposicin condicional

1.

si p(x1, x2, x3, ... , xn), entonce q (x1, x2, x3, ... , xn) sea verdadera para todo x1, x2, x3, ... , xn en el dominio en discurso

Entonces debemos probar que q(x1,...,xn) es verdadero, usando a p(x1,...,xn), dems axiomas y teoremas previamente derivados.

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...

Cont...
Prueba por Contradiccin
Se asume que la conclusin es falsa, siendo la hiptesis verdadera:
p y ~q son verdadero y se trata de llegar a una contradiccin de la forma: ~rr

Ejemplo:
Para todos los nmeros reales d, d1, d2 y x Si d = min[d1, d2] y xd, entonces xd1 y xd2 Demostracin
Asumimos que d, d1, d2 y x son nmeros reales arbitrarios Suponemos d = min[d1, d2] y xd es verdadero y tratamos de probar que xd1 y xd2 tambin lo es. Por la definicin de mnimo dd1 o dd2 Si xd entonces xd1 Si xd y dd2 entonces xd2 Entonces xd1 y xd2

A esta prueba tambin se la conoce como prueba indirecta. Colocado en notacin lgica es igual a:
p ~q ~rr

15

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
La demostracin por contradiccin puede justificarse observando que pq y p~qr~r son equivalentes.
p V V V V F F F F q V V F F V V F F R V F V F V F V F pq V V F F V V V V p ~q F F V V F F F F r~r F F F F F F F F p ~q r ~ r V V F F V V V V

Cont...
Cont...
Otra manera de verla es que: Este mtodo se basa en la tautologa ( ( pq ) ( ~q ) ) ( ~p ) En consecuencia la regla de inferencia pq ~q es vlida ~p Esto establece que si una proposicin p implica una proposicin falsa q, entonces p debe ser falsa.

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...

Cont...
Cont...

Ejemplo 1:
Para todos los reales x y y, si x+y2 entonces x1 o y1

Ejemplo 2:
Demuestre que no hay nmero racional alguno p/q cuyo cuadrado sea 2. En otras palabras demuestre que 2 es irracional.

Demostracin
p: x+y2 (verdadera) y q: x1 o y1 (asumimos falso)

Demostracin
Supngase que (p/q)2=2 para algunos enteros p y q, que no tienen factores comunes p2/q2 = 2 entonces p2= 2q2 por lo tanto p2 es par y p es par (el cuadrado de un impar es impar) Entonces p=2n para algn entero n 2q2=p2=(2n)2=4n2 q2=2n2 en consecuencia q2 es par y q es par p y q son par por lo tanto tienen un factor comn de 2, lo cual es una contradiccin a la suposicin Entonces la suposicin es falsa

Negamos la conclusin y aplicamos DeMorgan

x<1 y y<1

Un teorema anterior nos permite sumar las desigualdades

x+y< 1+1 = 2 (~q es falso por lo tanto q es verdadero) Hemos obtenido la contradiccin p ~p

De esta manera concluimos que la afirmacin es verdadera

16

Lgica Matemtica

Lgica Matemtica

Cont...
Prueba por Contrapositiva
Si en una demostracin por contradiccin deducimos ~p entonces hemos demostrado ~q ~p Ejemplo:
Sea n un entero. Demuestre que si n2 es impar entonces n es impar.
p: n2 es impar q: n es impar Debemos demostrar que pq es verdadera En su lugar demostramos la contrapositiva ~q ~p (verdadero) Suponemos: n no es impar n es par n = 2K, donde k es un entero n2 = (2k)2 = 4K2 = 2(2k2) 2 es par, lo cual es la contrapositiva de la Por lo tanto n es par y n proposicin p q ~q ~p (verdadero)

Cont...
Prueba por Contraejemplo
Ejemplo: Si x y y son nmeros reales, (x2 = y2) (x=y).
Por medio de un contraejemplo se demuestra (-3)2 = (3)2 y -3 3 Entonces el resultado es falso

Lgica Matemtica

Lgica Matemtica

Cont...
Argumentos
Consideremos las siguientes proposiciones El problema est en el mdulo 17 o en el mdulo 81 El problema es un error numrico El mdulo 81 no tiene un error numrico Suponiendo que son verdaderas entonces es razonable concluir: El problema est en el mdulo 17

Cont...
Razonamiento deductivo
Es proceso de extraer una conclusin a partir de una serie de proposiciones
Hiptesis o premisas
El problema est en el mdulo 17 o en el mdulo 81 El problema es un error numrico El mdulo 81 no tiene un error numrico

Conclusin
El problema est en el mdulo 17

17

Lgica Matemtica

Lgica Matemtica

Cont...
Argumento deductivo
Consta de ciertas hiptesis y una conclusin

Cont...
Cont
Definicin
Un argumento es una serie de proposiciones que se escriben:
p1 p2 p3 . . . pn q

Su forma es:
Si p1 y p2 y p3 y y pn, entonces q
Hiptesis o Premisas

p1, p2, p3, , pn /q

El argumento es vlido: si p1 y p2 y p3 y y pn son verdaderas, entonces q es verdadera

Conclusin

Lgica Matemtica

Lgica Matemtica

Cont...
Cont
Un argumento es vlido siempre que p1 y p2 y p3 y y pn sean todas verdaderas, entonces q deber ser tambin verdadera, en caso contrario el argumento no es vlido (falacia) No se dice que la conclusin es verdadera; si no que si se garantizan las hiptesis entonces tambin se garantiza la conclusin, pues un argumento es vlido debido a su forma, no a su contenido

Cont...
Cont...
Ejemplo 1:
Determine si el argumento pq p q

es vlido

Solucin 1
Observemos que siempre que las hiptesis pq y p son verdaderas las conclusin q tambin es verdadera Entonces el argumento es vlido

p V V F F

q V F V F

pq V F V V

P V V F F

q V F F F

Solucin 2
Podemos verificar directamente y suponemos que pq y p son verdaderas, entonces q debe ser verdadera , ya que en caso contrario pq debera ser falsa y el argumento por lo tanto es vlido

18

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
Ejemplo 2:
Represente el argumento Si 2=3, entonces me com mi sombrero me com mi sombrero 2=3

Cont...
Deber
Ejercicios 7, 8, 9, 10-14, 16, 17, 19, 21, 24, 25, 26 de las paginas 40 y 41

En forma simblica
p: 2=3, q: me com mi sombrero

El argumento puede escribirse

pq q p Si el argumento es vlido, entonces siempre que pq y q sean ambas verdaderas, p debera ser verdadera. Supongamos que pq y q son verdaderas. Esto es posible si p es falso y q

es verdadero Pero como p no es verdadero, entonces el argumento no es vlido.

Lgica Matemtica

Lgica Matemtica

Cont...
Prueba por Resolucin
Resolucin es un mtodo de prueba propuesto por J. A. Robinson en 1965. Depende de la regla:
Si p v q y ~p v r son verdaderas, entonces q v r es verdadero.

Cont...
Cont...
Para realizar la prueba por resolucin, la hiptesis y la conclusin deben estar escritas como clusulas. Una clusula consiste en varios trminos separados por o, donde cada trmino es una variable o la negacin de una variable. La siguiente expresin es una clusula:
a v b v ~c v d

Esta regla puede ser probado utilizando las Tablas de verdad

Estas expresiones no son clusulas:

xy v w v ~z (xy no es una variable sino dos) pq (no estn separadas por o)

19

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
Una demostracin directa por resolucin se realiza aplicando varias veces la regla a pares de afirmaciones, para deducir nuevas afirmaciones, hasta que se obtenga la conclusin. Se puede probar por resolucin que si:
1. 2. 3.

Cont...
Cont...
Aplicamos la regla a 1 y 2, deducimos:
4.

bvc bvd

Aplicamos la regla a 3 y 4, deducimos: Esta es la conclusin deseada, con lo cual hemos demostrado la afirmacin

avb ~a v c ~c v d bvd

Son verdaderos b v d es verdadero tambin

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
Casos especiales de la regla de resolucin son:
Si p v q y ~p es verdad, entonces q es verdadera Si p y ~p v r es verdad, entonces r es verdadera

Cont...
Cont...
Ejercicio 1 en clase:
Probar que
1. 2. 3.

a ~a v c ~c v d Concluimos que: d

20

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
Se puede utilizar el reemplazo en caso de tener dos variables juntas:
~(a v b) = ~a ~b a v bc = (a v b) (a v c)

Cont...
Cont...
Ejercicio 3 en clase:
1. 2. 3. 4. 5.

Resolucin
Aplicamos la regla a: 1 y 2, deducimos:
6.

Ejercicio 2 en clase:
Usar remplazo
a v ~bc ~(a v d)

a v ~b ~a v c ~c ~b Concluimos ~b

~bvc ~b ~b

6 y 3, deducimos:
7.

7 y 4, deducimos:
8.

Lgica Matemtica

Lgica Matemtica

Cont...
Deber 3
Ejercicios del 1 al 8 de la pagina 46

Induccin Matemtica
La induccin matemtica establece la siguiente regla:
Si un teorema se cumple para 1 y para n, tambin se cumple para n+1

Dicho de otra manera, si un teorema se cumple para un caso base y para un nmero cualquiera, tambin se cumplira para el siguiente nmero.

21

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
Imaginemos que tenemos un nmero n de esferas. Sabemos que la primera esfera es roja, y que las dems esferas son rojas si todas las anteriores son rojas. A partir de estas dos proposiciones, podemos deducir que todas las esferas son rojas

Cont...
Cont...
Principio de la Induccin Matemtica
Supongamos que para cada entero positivo n tenemos una afirmacin S(n) que es verdadera o falsa. Suponemos que:
a) b)

S(1) es verdadera si S(i) es verdadera, para toda i<n+1, entonces S(n+1) es verdadera

La conclusin a la que podemos llegar de estas dos verdades es que S(n) es verdadera para todo entero positivo n.

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
La prueba por induccin se puede separar en dos pasos:
El paso Base, y El paso Inductivo

Cont...
Cont...
Ejemplo1:
Demostrar que n! 2n-1 para n=1, 2... Paso Base:
1! 21-1 (Verdadero)

Paso Inductivo
Asumimos que n! 2n-1 Vemos si (n+1)! 2n+1-1 Utilizando matemticas llegamos a la conclusin de que es verdadero

El paso Bsico se encarga de demostrar que P(1) es verdadero. El paso Inductivo se encarga de demostrar que si P(n) es verdad, P(n+1) es verdad tambin.

Conclusin n! 2n-1 para n=1, 2...

22

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
Cuando se demuestra que P(i) es verdadero para todos los valores i<n+1, y se prueba que P(n+1) es verdad, se le llama forma fuerte de induccin matemtica. La otra alternativa es asumir que si P(n) es verdadero, y demostrar que a partir de ah que P(n+1) tambin debe ser verdadero.

Cont...
Cont...
Ejemplo 2:
Demostrar que Si n es un entero positivo, entonces n(n+1) es divisible por 2. Paso Base: Sea n = 1 , entonces n( n + 1 ) = 2 ( Verdadero ) Paso Inductivo Hiptesis inductiva: k( k + 1 ) es divisible por 2 Por demostrar: ( k + 1 )( k + 2 ) es divisible por 2 Demostracin: ( k + 1 )( k + 2 ) = k( k + 1 ) + 2( k + 1 ) k ( k + 1 ) es divisible por 2 ( hiptesis ) 2 ( k + 1 ) es divisible por 2 ( entero par ) Conclusin Por lo tanto ( k + 1 )( k + 2 ) es divisible por 2

Lgica Matemtica

Lgica Matemtica

Cont...
Cont...
Ejemplo 3:
2 + 6 + 10 + ........... + ( 4n - 2 ) = Paso Base: 2n2, n=1, 2, ..
Si n = 1, entonces 2 = 2 ( Verdadero )

Cont...
Cont...
Ejemplo 4:
Demostrar que Si n es un entero positivo, entonces 32n + 7 es divisible por 8.

Paso Base:
Sea n = 1, entonces 32n + 7 = 16 ( Verdadero )

Paso Inductivo
Hiptesis inductiva: Por demostrar: 2 + 6 + 10 +...... Demostracin: 2 + 6 + 10 + ..... 2 + 6 + 10 + ..... 2 + 6 + 10 + ..... 2 + 6 + 10 + ..... + ( 4k - 2 ) = 2k2 + ( 4k - 2 ) + ( 4( k + 1 ) - 2) = 2( k + 1 )2 + ( 4k - 2) = 2k2 ( hiptesis ) + ( 4k - 2) + ( 4(k + 1) - 2 ) = 2k2 + (4(k + 1) - 2) + ( 4k - 2) + ( 4(k + 1) - 2 ) = 2(k + 1)2

Paso Inductivo
Hiptesis inductiva: 32k + 7 es divisible por 8 Por demostrar: 32( k + 1 ) + 7 es divisible por 8 Demostracin: 32k + 7 es divisible por 8 ( hiptesis ) 32(k+1) + 7 es divisible por 8 32k * 32 + 7 es divisible por 8 9( 32k) + 7 es divisible por 8 ( 8+1 )( 32k) + 7 es divisible por 8 8 ( 32k) + (( 32k) + 7) es divisible por 8

Conclusin

Se cumple

Conclusin

Por lo tanto 32( k + 1 ) + 7 es divisible por 8

23

Lgica Matemtica
Cont

Demuestra por induccin matemtica que:

1 ) Si n es un entero positivo mayor que 1, entonces 22n - 3n - 1 es divisible por 9. 2 ) Sean a y n enteros positivos, entonces a2n - 1 es divisible por a + 1 3 ) an - bn es divisible por a - b 4 ) a2n - b2n es divisible por a + b 5 ) a2n - 1 - b2n - 1 es divisible por a - b 6 ) 1 * 2 + 2 * 3 + ... + n ( n + 1 ) = n ( n + 1 ) ( n + 2 ) / 3 7 ) 23 + 43 + ... + ( 2n )3 = 2 n2 ( n + 1 )2

24