Tecnicas de Demostracion

Matemticas Discretas
Oscar Bedoya
oscar.bedoya@correounivalle.edu.co
http://eisc.univalle.edu.co/~oscarbed/MD/
TCNICAS DE DEMOSTRACIN
* Reglas de inferencia
* Demostracin directa
* Demostracin indirecta
* Demostracin por contraejemplo
* Induccin matemtica
Tcnicas de demostracin
Reglas de inferencia
Demostracin directa
Demostracin indirecta
Demostracin por contraejemplo
Induccin matemtica
A partir de un conjunto de sentencias que son ciertas,
permite conocer otras que se derivan de dicho conjunto
1. Si es viernes entonces hay audicin
2. Hoy es viernes
2. Hoy es viernes
Hay audicin
2. Hoy es viernes
3. Hay audicin, modus ponens(1,2)
Modus ponens
p
q
p
q
1. El carro es rojo o es negro
2. El carro no es rojo
El carro es negro
3. El carro es negro, silogismo disyuntivo(1,2)
Silogismo disyuntivo
p q
p
q
Regla de
inferencia
Simplificacin
p q
p
p q
p
q
p
q
Nombre
Silogismo disyuntivo
q
Modus tollens
p
p
p
q
pq
qr
pr
Modus ponens
Silogismo hipottico
Aplicar las siguientes reglas:
Simplificacin sobre
1. q
Silogismo disyuntivo sobre

1. t
2. p
Modus tollens sobre

1. q t
2. t
Suponga que se conoce que las siguientes sentencias son
verdaderas:
1.
p q
2. rp
3.
rs
4. st
Demuestre que t es cierto
verdaderas:
1.
p q
2. rp
3.
rs
4. st
5.
p, simplificacin(1)
6.
r, modus tollens(2,5)
7. s, modus ponens(3,6)
8. t, modus ponens(4,7)
verdaderas:
1. sq
2.
pr
3. rs
Demuestre que
pq es cierto
verdaderas:
1. sq
2.
pr
3. rs
4.
ps, silogismo hipottico(2,3)
5.
pq, silogismo hipottico(4,1)
verdaderas:
1. p q
2.
3.
ps
4.
qr
Demuestre que s es cierto
verdaderas:
1. p q
2.
3.
ps
4.
qr
5. q, modus tollens(2,4)
6.
p, modus tollens(1,5)
7. s, modus ponens(3,6)
verdaderas:
1. p
2.
p r
3.
q s
4. s t
Demuestre que t es cierto
verdaderas:
1. p
2.
p r
3.
q s
4. s t
5. p, simplificacin(2)
6.
q, silogismo disyuntivo(1,5)
7.
s, modus ponens(3,6)
8. t, silogismo disyuntivo(4,7)
verdaderas:
1. u w
2. p
3. tq
4.
w s
5. ut
Demuestre que s es cierto
1. u w
2. p
3. tq
4.
w s
5. ut
6. q, simplificacin(2)
7.
t, modus tollens(3,6)
8.
u, modus tollens(5,7)
9. w, silogismo disyuntivo(1,8)
10. s, silogismo disyuntivo(4,9)
Demostracin directa
Induccin matemtica
Demostracin directa
Se parte de la hiptesis y se intenta llegar a la conclusin
Demuestre que si n y m son impares, la suma es par
Demuestre que si n es impar, entonces 3n+2 es impar
Demuestre que si n es impar, entonces n2 es impar

Demuestre que si n es impar, entonces n3+5 es par
Demuestre que si n y m son impares, la suma es par
Si n y m son nmeros impares, se pueden expresar de la
forma:
n=2 k1+1
m=2 k2+1
La suma n+m ser:

n + m = (2 k1+1) + (2 k2+1)
= 2 k1 + 2 k2 + 2
= 2 (k1 + k2 + 1)
= 2 k3
Por lo tanto, n+m debe ser un nmero par
Demuestre que si n es impar, entonces 3n+2 es impar
Si n es impar, se puede expresar de la forma:
n=2 k1+1
Al calcular 3n+2 se tiene:
3n+2 = 3(2 k1+1) + 2
= 6 k1 + 3 + 2
= 6 k1 + 4 + 1
= 2(3 k1 + 2) + 1
= 2 k2 + 1
Por lo tanto, 3n+2 debe ser un nmero impar
Demuestre que si n es impar, entonces n2 es impar
n=2 k1+1
Al calcular n2 se tiene:
n2 = (2 k1+1)2
= (2 k1)2 + 2 2 k1 1 + 12
= 4 k12 + 4 k1 + 1
= 4(k12 + k1) + 1
= 2(2 k2) + 1
Por lo tanto, n2 debe ser un nmero impar
Demuestre que si n es impar, entonces n3+5 es par
n=2 k1+1
Al calcular n3+5 se tiene:
n3 = (2 k1+1)3+5
= (2 k1)3 + 3 (2k1)2 1 + 3 2k1 12 + 13 + 5
= 8 k13 + 12 k12 + 6 k1 + 6
= 2(4 k13 + 6 k12 + 3 k1 + 3)
= 2 k2
Por lo tanto, n3+5 debe ser un nmero par
Demuestre que si n es par y m es impar, entonces m-2n es
impar
Demuestre que si m es impar y n es par, entonces
m2+2 m n+n2 es impar
Demuestre que si n es par y m es impar, entonces m-2n
es impar
Si n es par y m es impar, se pueden expresar de la forma:
n=2 k1
m=2 k2+1
Al calcular m-2n se tiene:
m-2n = (2 k2+1)-2(2 k1)
= 2 k2 + 1 - 4k1
= 2(k2 - 2 k1) + 1
= 2 k3 + 1
Por lo tanto, m-2n debe ser un nmero impar
Demuestre que si m es impar y n es par, entonces
m2+2 m n+n2 es impar
Si n es impar y n es par, se pueden expresar de la forma:
m=2 k1+1
n=2 k2
Al calcular m2+2 m n+n2 se tiene:
m2+2 m n+n2 = (2 k1+1)2+2(2 k1+1)(2 k2)+(2 k2)2
= 4 k12 + 4 k1 + 1 + 8 k1 k2 + 4 k2 + 4 k22
= 2(2 k12 + 2 k1 + 4 k1 k2 + 2 k2 + 2 k22) + 1
= 2 k3 + 1
Por lo tanto, m2+2 m n+n2 debe ser un nmero impar
Demostracin directa
Induccin matemtica
Utiliza la contrapositiva de pq,
q p
Toma como hiptesis q e intenta llegar a la conclusin
Demuestre que si 3n+2 es impar, entonces n es impar
Demuestre que si el cuadrado de un nmero n es par,
entonces el nmero n es par
Demuestre que si 7n-4 es par, entonces n es par
Demuestre que si 5n-6 es impar, entonces n es impar
Demuestre que si 3n+2 es impar, entonces n es impar
Se demuestra que si n es par, entonces 3n+2 es par
Si n es par, se puede expresar de la forma:

n=2 k1
Al calcular 3n+2 se tiene:
3n+2 = 3(2 k1) + 2
= 6 k1 + 2
= 2(3 k1 + 1)
= 2 k2 , es decir, 3n+2 es par
Demuestre que si el cuadrado de un nmero n es par,
entonces el nmero n es par
Se demuestra que si n es impar, entonces n2 es impar
n=2 k1+1
Al calcular n2 se tiene:
n2 = (2 k1+1)2
= (2 k1)2 + 2 2 k1 1 + 12
= 4 k12 + 4 k1 + 1
= 4(k12 + k1) + 1
= 4 k2 + 1, es decir, n2 es impar
Demuestre que si 7n-4 es par, entonces n es par
Se demuestra que si n es impar, entonces 7n-4 es impar

n=2 k1+1
Al calcular 7n-4 se tiene:
7n-4 = 7(2 k1+1) - 4
= 14 k1 + 7 - 4
= 14 k1 + 3
= 14 k1 + 2 + 1
= 2(7 k1 + 1) + 1
= 2 k2 + 1, es decir, 7n-4 es impar
Demuestre que si 5n-6 es impar, entonces n es impar
Se demuestra que si n es par, entonces 5n-6 es par
Si n es par, se puede expresar de la forma:

n=2 k1
Al calcular 5n-6 se tiene:
5n-6 = 5(2 k1) - 6
= 10 k1 - 6
= 2(5 k1 3)
= 2 k2, es decir, 5n-6 es par
Demostracin directa
Induccin matemtica
Se muestra un caso donde no se cumple una expresin
cuantificada universalmente
Todos los primos son impares
Para cada nmero primo n, se cumple que n+2 es primo
n2-n+41 es un nmero primo para todos los enteros no

negativos n
Todos los primos son impares
2 es un contraejemplo ya que es par y primo

Para cada nmero primo n, se cumple que n+2 es primo
n=7 es un contraejemplo ya que 7 es primo pero 9 no
n2-n+41 es un nmero primo para todos los enteros no
negativos n
n=40 es un contraejemplo ya que 41|1681
1) Demuestre q a partir de las siguientes sentencias:
1. p
2.
3. t
s w
r
4. p w
5.
qs
2) Demuestre de forma directa que si n y m son impares,

entonces (n2+m2)/2 es impar
1) Demuestre de forma indirecta que si n2+2m es par,
entonces n y m son pares
2) Demuestre por contradiccin que la siguiente afirmacin
no es correcta 2n+1 es un nmero primo para todos los
enteros no negativos n

Tecnicas de Demostracion

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

Tecnicas de Demostracion

Transféré par

Droits d'auteur :

Formats disponibles

Matemticas Discretas

Silogismo disyuntivo sobre

Modus tollens sobre

ps, silogismo hipottico(2,3)

pq, silogismo hipottico(4,1)

Demuestre que s es cierto

10. s, silogismo disyuntivo(4,9)

Demuestre que si n es impar, entonces n2 es impar

La suma n+m ser:

Toma como hiptesis q e intenta llegar a la conclusin

Si n es par, se puede expresar de la forma:

Si n es impar, se puede expresar de la forma:

Si n es par, se puede expresar de la forma:

n2-n+41 es un nmero primo para todos los enteros no

2 es un contraejemplo ya que es par y primo

2) Demuestre de forma directa que si n y m son impares,

Vous aimerez peut-être aussi