Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
Tcnicas de demostracin
Reglas de inferencia
Demostracin directa
Demostracin indirecta
Demostracin por contraejemplo
Induccin matemtica
Tcnicas de demostracin
Reglas de inferencia
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
Tcnicas de demostracin
Reglas de inferencia
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
Hay audicin
Tcnicas de demostracin
Reglas de inferencia
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
3. Hay audicin, modus ponens(1,2)
Modus ponens
p
q
p
q
Tcnicas de demostracin
Reglas de inferencia
A partir de un conjunto de sentencias que son ciertas,
permite conocer otras que se derivan de dicho conjunto
1. El carro es rojo o es negro
2. El carro no es rojo
Tcnicas de demostracin
Reglas de inferencia
A partir de un conjunto de sentencias que son ciertas,
permite conocer otras que se derivan de dicho conjunto
1. El carro es rojo o es negro
2. El carro no es rojo
El carro es negro
Tcnicas de demostracin
Reglas de inferencia
A partir de un conjunto de sentencias que son ciertas,
permite conocer otras que se derivan de dicho conjunto
1. El carro es rojo o es negro
2. El carro no es rojo
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
Tcnicas de demostracin
Aplicar las siguientes reglas:
Simplificacin sobre
1. q
2. p
Tcnicas de demostracin
Suponga que se conoce que las siguientes sentencias son
verdaderas:
1.
p q
2. rp
3.
rs
4. st
Demuestre que t es cierto
Tcnicas de demostracin
Suponga que se conoce que las siguientes sentencias son
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)
Tcnicas de demostracin
Suponga que se conoce que las siguientes sentencias son
verdaderas:
1. sq
2.
pr
3. rs
Demuestre que
pq es cierto
Tcnicas de demostracin
Suponga que se conoce que las siguientes sentencias son
verdaderas:
1. sq
2.
pr
3. rs
4.
5.
Tcnicas de demostracin
Suponga que se conoce que las siguientes sentencias son
verdaderas:
1. p q
2.
3.
ps
4.
qr
Tcnicas de demostracin
Suponga que se conoce que las siguientes sentencias son
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)
Tcnicas de demostracin
Suponga que se conoce que las siguientes sentencias son
verdaderas:
1. p
2.
p r
3.
q s
4. s t
Demuestre que t es cierto
Tcnicas de demostracin
Suponga que se conoce que las siguientes sentencias son
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)
Tcnicas de demostracin
Suponga que se conoce que las siguientes sentencias son
verdaderas:
1. u w
2. p
3. tq
4.
w s
5. ut
Demuestre que s es cierto
Tcnicas de demostracin
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)
Tcnicas de demostracin
Tcnicas de demostracin
Reglas de inferencia
Demostracin directa
Demostracin indirecta
Demostracin por contraejemplo
Induccin matemtica
Tcnicas de demostracin
Demostracin directa
Se parte de la hiptesis y se intenta llegar a la conclusin
Tcnicas de demostracin
Demuestre que si n y m son impares, la suma es par
Demuestre que si n es impar, entonces 3n+2 es impar
Tcnicas de demostracin
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
Tcnicas de demostracin
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
Tcnicas de demostracin
Demuestre que si n es impar, entonces n2 es impar
Si n es impar, se puede expresar de la forma:
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
Tcnicas de demostracin
Demuestre que si n es impar, entonces n3+5 es par
Si n es impar, se puede expresar de la forma:
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
Tcnicas de demostracin
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
Tcnicas de demostracin
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
Tcnicas de demostracin
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
Tcnicas de demostracin
Tcnicas de demostracin
Reglas de inferencia
Demostracin directa
Demostracin indirecta
Demostracin por contraejemplo
Induccin matemtica
Tcnicas de demostracin
Demostracin indirecta
Utiliza la contrapositiva de pq,
q p
Tcnicas de demostracin
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
Tcnicas de demostracin
Demuestre que si 3n+2 es impar, entonces n es impar
Se demuestra que si n es par, entonces 3n+2 es par
Tcnicas de demostracin
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
Si n es impar, se puede expresar de la forma:
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
Tcnicas de demostracin
Demuestre que si 7n-4 es par, entonces n es par
Se demuestra que si n es impar, entonces 7n-4 es impar
Tcnicas de demostracin
Demuestre que si 5n-6 es impar, entonces n es impar
Se demuestra que si n es par, entonces 5n-6 es par
Tcnicas de demostracin
Tcnicas de demostracin
Reglas de inferencia
Demostracin directa
Demostracin indirecta
Demostracin por contraejemplo
Induccin matemtica
Tcnicas de demostracin
Demostracin por contraejemplo
Se muestra un caso donde no se cumple una expresin
cuantificada universalmente
Tcnicas de demostracin
Todos los primos son impares
Para cada nmero primo n, se cumple que n+2 es primo
Tcnicas de demostracin
Todos los primos son impares
Tcnicas de demostracin
1) Demuestre q a partir de las siguientes sentencias:
1. p
2.
3. t
s w
r
4. p w
5.
qs
Tcnicas de demostracin
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