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

Cont...

Cont...

Por ejemplo:

Todos los estudiantes llevan calculadora

Los que usan calculadora son estudiosos
Por lo tanto:

Lgica Matemtica

Todos los estudiantes son estudiosos.

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.

Lgica Matemtica

Proposiciones

Lgica Matemtica

Cont...

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)

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

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.

Lgica Matemtica

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...

Cont...

Conjuncin

Cont..

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

Sean p y q proposiciones.
La conjuncin de p y q denotado p
q 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
La tabla de verdad es:

Lgica Matemtica

Cont..

p
q

Cont...
Disjuncin

q
V

Lgica Matemtica

Cont...

p
V

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

Sean p y q proposiciones.
La disjuncin de p y q denotado p
q 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
La tabla de verdad es:

pq

Lgica Matemtica

Cont...

Lgica Matemtica

Cont...
Tablas de Verdad

Representacin de texto natural

Son el enunciado de todos los valores

de verdad que pueden tomar las
proposiciones dentro de una proposicin
compuesta.

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

Cont...

Lgica Matemtica

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:

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.

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

Lgica Matemtica

Cont...

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




En el lenguaje natural tiene varias

formas de ser expresado:

p es la hiptesis o antecedente
q es la conclusin o consecuente

Ejemplo:

1)

p: tengo hambre
q: comer
pq: Si tengo hambre, entonces comer

2)

p: est nevando
q: 3 + 5 = 8
pq: Si est nevando, entonces 3 + 5 = 8

Si p entonces q
p solo si q
q es condicin necesaria para p
p es condicin suficiente para q

Lgica Matemtica

Cont...

Ejercicio en clases 1.2.3:

Enuncie cada proposicin en forma de

proposicin condicional.
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.

Lgica Matemtica

Cont...

resolucin:
a)

b)

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

Cont...

Lgica Matemtica

Recproco

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)

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

Cont...

Lgica Matemtica

Proposicin Bicondicional o Equivalencia

Ejemplo 1:

Si me saco la loteria entonces soy millonario

Si soy millonario entonces me saco la loteria.

Equivalencia

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

Ejemplo 3:

Si 1>2, entonces 3<6






p: 1>2
q: 3<6
pq
qp

Falso
Verdadero
Verdadero
El reciproco es Falso

ya que ambas proposiciones tienen siempre los

mismos valores de verdad.
A las equivalencias se las representa como:

cuando la implicacin (proposicin compuesta)

va en los dos sentidos se
Se representa por:

p
q
pq

Lgica Matemtica

Cont...

Lgica Matemtica

Cont...

Definicin:

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:

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

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

Lgica Matemtica

Cont...

pq

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

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

Cont...

Cont...

Ejemplo: (Leyes de DeMorgan)

Los teoremas de DeMorgan son:

Lgica Matemtica

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

Para la primera:

Demostrar que la negacin de p q es

lgicamente equivalente a p ~q
Demostrar que: p q (p q)(q p)

Demostracin por tabla de verdad.

Ejercicio en clases:

~(p v q) ~p ~q

Dados cualesquiera valores de verdad de p y q, P y Q son

ambas verdaderas o ambas falses, entonces P Q

Lgica Matemtica

Contrarrecproco o contrapositiva

Lgica Matemtica

Cont...

Definicin:

Demostrar que la proposicin condicional y su contrapositiva

son equivalentes:

El contrareciproco de una proposicin

condicional pq es la proposicin

~q ~p

Se puede demostrar que:

Ejemplo 1:

p q ~q ~p

Ntese que no es lo mismo el recproco que el

contrarecproco.

~p

~q

pq

~q ~p

Ejemplo 2:
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

Cont...

Cuantificadores

Deber:

Lgica Matemtica

Cuando se usa variables en las sentencias,

necesitamos de cuantificadores para
convertirlas en proposiciones.

Hacer los ejercicios Impares de la pagina 16, 17,

18

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

Cont...

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.

Lgica Matemtica

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

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.

Como P(1) es verdadero, 1 A

Lgica Matemtica

Cont...

Lgica Matemtica

Cont...

Cuantificador Universal

Cont..

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)

En lenguaje natural se expresa de esta

manera:

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

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

Cont...

Cont...

Cont..

Ejemplo 1:

Cuantificador Existencial

Cuando aseveramos que al menos un

elemento de un conjunto cumple con una
condicin, estamos utilizando el cuantificador
existencial.
Se representa como:

Para todo x en los reales, si x>1 entonces x+1>1

x en R, x>1 x+1>1

Ejemplo 2:

Lgica Matemtica

Sea Q(x): x + 1 < 4

Entonces x 0, Q(x) es una proposicin falsa
porque Q(5) no es verdadera.

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

10

Lgica Matemtica

Cont...

Cont...

Cont...

Veracidad de Cuantificadores

En el lenguaje natural se expresa como:

Lgica Matemtica

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.

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)

Ejemplo:

Existen x en los Reales, tales que x>0

x en R, x>0

Lgica Matemtica

Cont...

Cont...
Leyes Generalizadas de DeMorgan

Son reglas aplicadas a los

cuantificadores:

Lgica Matemtica

~(xP(x)) x~P(x)
~( xP(x)) x~P(x)

Demostracin por enumeracin y leyes

de DeMorgan tradicionales.

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)

11

Lgica Matemtica

Cont...

Cont...

Cuantificadores con mltiples variables

Lgica Matemtica

Se pueden tener varios cuantificadores para

varias variables.

Deber

Ejercicios impares de las paginas 32 y 33

Ejemplo:

Para todo nmero real, hay otro nmero real, tal

que sumados, el resultado es 0
xy en R, x+y=0

Lgica Matemtica
Propiedades para las operaciones con proposiciones

Lgica Matemtica
Propiedades para las operaciones de implicacin

Propiedades Conmutativas

pvqqp
pqqp

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)

(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

ppp
ppp

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

~(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)

Lgica Matemtica

Demostraciones
Sistemas matemticos

Estas formados por:

Axiomas
Definiciones
Teoremas




Lemas
Corolarios

Trminos no definidos en definidos en

forma explcita sino implcita mediante los
axiomas.

Lgica Matemtica

Cont...

Cont...
Axiomas

Lgica Matemtica

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

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

Cont...

Cont...

Teoremas

Lgica Matemtica

Lemas

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.

Son teoremas que por si mismos no

tienen gran uso, pero sirven para
demostrar otros teoremas.

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)

Ejemplo:

Si x es un entero positivo, entonces x -1 es

positivo o x -1 =0

Lgica Matemtica

Cont...

Las Pruebas
Corolarios

Lgica Matemtica

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:

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

La prueba directa (Demostracin Directa)

La prueba por contradiccin (Demostracin
por Contradiccin)

14

Lgica Matemtica

Cont...

Cont...

Prueba Directa

Frecuentemente los teoremas tienen la forma:

Lgica Matemtica

Para todo x1, x2, x3, ... , xn, si p(x1, x2, x3, ... , xn), entonces
q (x1, x2, x3, ... , xn)

Cont...

Esta afirmacin cuantificada universalmente es

verdadera siempre que la proposicin condicional

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

1.

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.

Entonces debemos probar que q(x1,...,xn) es

verdadero, usando a p(x1,...,xn), dems axiomas y
teoremas previamente derivados.

Lgica Matemtica

Cont...

Cont...

Cont...

Ejemplo:

Para todos los nmeros reales d, d1, d2 y x

Si d = min[d1, d2] y xd, entonces xd1 y xd2

Demostracin

Lgica Matemtica

Prueba por Contradiccin

Se asume que la conclusin es falsa,

siendo la hiptesis verdadera:








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

p y ~q son verdadero y se trata de llegar a

una contradiccin de la forma: ~rr

A esta prueba tambin se la conoce

como prueba indirecta.
Colocado en notacin lgica es igual a:

p ~q ~rr

15

Lgica Matemtica

Cont...

Cont...

Cont...

Lgica Matemtica

Cont...

La demostracin por contradiccin puede justificarse

observando que pq y p~qr~r son equivalentes.

pq

p ~q

r~r

p ~q r ~ r

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

Cont...

Cont...

Ejemplo 1:

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

Demostracin



x<1 y y<1

Un teorema anterior nos permite sumar las desigualdades




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

Negamos la conclusin y aplicamos DeMorgan

Cont...

Cont...

Lgica Matemtica

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

Ejemplo 2:

Demuestre que no hay nmero racional alguno p/q cuyo

cuadrado sea 2. En otras palabras demuestre que 2 es
irracional.

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

16

Lgica Matemtica

Lgica Matemtica

Cont...

Cont...

Prueba por Contrapositiva

Si en una demostracin por contradiccin deducimos ~p

entonces hemos demostrado ~q ~p

Ejemplo:

Prueba por Contraejemplo

Sea n un entero. Demuestre que si n2 es impar entonces n

es impar.







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

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
Por lo tanto n es par y n es par, lo cual es la contrapositiva de la
proposicin
p q ~q ~p (verdadero)

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

Lgica Matemtica

Cont...

Razonamiento deductivo

Es proceso de extraer una conclusin a partir

de una serie de proposiciones

Hiptesis o premisas


Suponiendo que son verdaderas entonces es

razonable concluir:

El problema est en el mdulo 17




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

Cont...

Cont...

Argumento deductivo

Cont

Consta de ciertas hiptesis y una conclusin

Definicin
Un argumento es una serie de proposiciones que se escriben:

Su forma es:


Lgica Matemtica

Si p1 y p2 y p3 y y pn, entonces q

Hiptesis
o
Premisas

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

Conclusin

p1
p2
p3
.
.
.
pn

p1, p2, p3, , pn /q

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

Lgica Matemtica

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

pq

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

Cont...

Lgica Matemtica

Cont...

Cont...

Ejemplo 2:

Represente el argumento
Si 2=3, entonces me com mi sombrero
me com mi sombrero
2=3

p: 2=3,
q: me com mi sombrero




El argumento puede escribirse

Ejercicios 7, 8, 9, 10-14, 16, 17, 19, 21, 24, 25,

26 de las paginas 40 y 41

En forma simblica

Deber

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

Cont...

Cont...

Prueba por Resolucin

Cont...

Si p v q y ~p v r son verdaderas, entonces q

v r es verdadero.

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:

Esta regla puede ser probado utilizando las

Tablas de verdad

Estas expresiones no son clusulas:

Resolucin es un mtodo de prueba

propuesto por J. A. Robinson en 1965.
Depende de la regla:

Lgica Matemtica

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

19

Lgica Matemtica

Cont...

Lgica Matemtica

Cont...

Cont...

2.
3.

Aplicamos la regla a 1 y 2, deducimos:

4.

avb
~a v c
~c v d
bvd

1.

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:

Aplicamos la regla a 3 y 4, deducimos:

bvc
bvd

Esta es la conclusin deseada, con lo cual

hemos demostrado la afirmacin

Son verdaderos
b v d es verdadero tambin

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

Lgica Matemtica

Cont...

Cont...

Ejercicio 1 en clase:

Probar que
1.
2.
3.


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

20

Lgica Matemtica

Cont...

Cont...

Ejercicio 3 en clase:

Se puede utilizar el reemplazo en caso de

tener dos variables juntas:

Cont...

Cont...

Lgica Matemtica

2.

~(a v b) = ~a ~b
a v bc = (a v b) (a v c)

3.
4.
5.

Ejercicio 2 en clase:

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

1.

6.

~bvc

6 y 3, deducimos:

7.

~b

7 y 4, deducimos:
8.

Cont...
Deber 3

Aplicamos la regla a:
1 y 2, deducimos:

~b

a v ~bc
~(a v d)

Lgica Matemtica

Resolucin

Usar remplazo


Lgica Matemtica

Induccin Matemtica

Ejercicios del 1 al 8 de la pagina 46

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...
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

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

Cont...

Cont...
Cont...

Lgica Matemtica

Cont...

La prueba por induccin se puede separar en dos

pasos:
El paso Base, y
El paso Inductivo

Ejemplo1:

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.

Demostrar que n! 2n-1 para n=1, 2...

Paso Base:
Paso Inductivo




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

Conclusin

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

22

Lgica Matemtica

Lgica Matemtica

Cont...

Cont...

Cont...

Cont...

Ejemplo 2:

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.

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, ..




Hiptesis inductiva:
Por demostrar:
2 + 6 + 10 +......
Demostracin:
2 + 6 + 10 + .....
2 + 6 + 10 + .....
2 + 6 + 10 + .....

Conclusin


Ejemplo 4:

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

Paso Base:

Si n = 1, entonces 2 = 2 ( Verdadero )

Se cumple



Paso Inductivo


Cont...

Cont...

Paso Inductivo


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

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

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


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