Beruflich Dokumente
Kultur Dokumente
Tecnicas de demostracion
METODOS DE DEMOSTRACION
Definiciones basicas
Definicion 1. un Teorema es una sentencia que
se puede verificar que es verdadera.
(P1 P2 . . . Pn ) Q) es un teorema donde
los P1 , P2 . . . Pn son los postulados o premisas y
Q la conclusion del teorema.
Ejemplo 1. Sea el siguiente teorema si a y b son
enteros positivos, a b, entonces a0 b0
premisas:
P1 : a y b son enteros positivos.
P2 : a
b
y la conclusion Q es a0 b0 por lo tanto el teorema
sera (P1 P2 )
Q
Definicion 2. Un lema es un teorema sencillo
uti- lizado en la demostracion de otros teoremas.
Definicion 3. Un corolario es una proposicion
que se puede establecer directamente a partir de
un teorema que ya ha sido demostrado.
1.
REGLAS
INFERENCIA.
DE
E.I.S.C
Tecnicas de demostracion
Ejemplo 2. Una regla de inferencia basica es
la
modus ponens
E.I.S.C
Tecnicas de demostracion
p
p q
q
Ejemplo 3. En que regla de inferencia se basa el
siguiente argumento: Ahora estamos bajo cero.
Por tanto estamos bajo cero o bien llueve ahora.
p
pq
Esta es la regla de inferencia de
su tautologa sera p (p q)
la Adicion y
E.I.S.C
Tecnicas de demostracion
E.I.S.C
Tecnicas de demostracion
El argumento en LP:
1) P 1 P 2
2) Q
3) Q R
4) R v P 1
5) R aplicando modus ponens a (2) y (3)
6) v P 1 aplicando modus ponens a (5) y (4)
7) P 2 aplicando el silogismo disyuntivo a (1)
y
(6)
Por lo tanto se concluye que Y cometio el
crimen.
Tambien se puede demostrar la validez de un
argu- mento derivando la conclusion desde las
premisas usando las REGLAS DE INFERENCIA.
Ejemplo 6. Dado el siguiente argumento valido:
Si la banda no pudiera tocar rock o las bebidas
no llegasen a tiempo, entonces la fiesta de Ano
Nue- vo tendra que cancelarse y Alicia se enojar
a. Si la fiesta se cancelara, habra que devolver
el dinero. No se devolvio el dinero. Por lo tanto,
la banda pudo tocar rock. Derive la consecuencia
logica us- ando las reglas de inferencia.
P:
Q:
R:
S:
T:
El argumento v
alido: Premisas:
1)(v P v Q) (R S)
E.I.S.C
Tecnicas de demostracion
2) R T
3) v T
P
Se debe inferir con las premisas 1,2 y 3 y llegar
a derivar P.
1)R T premisa
2) v T premisa
3) v R aplicando modus tollens a (1) y (2)
4) v R v S aplicando ley de adicion con
(3)
5) v (R S) aplicando ley de morgan a (4)
6) (v P v Q) (R S) premisa
7) v (v P v Q) aplicando modus tollens a (5) y
(6)
8) P Q aplicando ley de morgan y de la doble
negacion a (7)
9) P aplicando simplificacion conjuntiva a (8)
Ejemplo 6.1 aplique las reglas de inferencia para
demostrar que q p es una consecuencia logica
de las premisas:
u r; (r s) (p t); q (u s);
t
1) (r s) (p t) premisa
2) v r v s p t aplicacion de la implicacion a
1
3) u r premisa
5) v u v s p t resolucion 2 y
4
E.I.S.C
Tecnicas de demostracion
6) v (u s) p t aplicacion de morgan a 5
7) (u s) (p t) aplicacion implicacion a 6
de
8) q (u s) premisa
9) q (p t) silogismo hipotetico 8 y 7
n2 es impar.
Definicion 2. El numero real r es racional si
ex- isten dos enteros p y q, q = 0, tales que r =
p/q. Un numero real que no es racional es
irracional.
Ejemplo 8. Demuestre que la suma de dos
racionales es un racional.
p: Sean r y s racionales, si r es racional entonces
r = p/q para q = 0 y si s es racional entonces
s = t/u para u = 0. (hipotesis)
q: Hay
(tesis)
racional.
sumamos r + s = q + ut = pu+qt
qu = 0
qu , donde
por que q = 0 y u = 0 por tanto hemos expresado
r + s como la razon de dos enteros pu + qt y qu
POR TANTO r + s es racional.
2.2 Demostracion indirecta. Como la implicacion
p q es equivalente a su contrarecproca v q v p
la implicacion se puede demostrar viendo que su
contrarecproca es verdadera.
Ejemplo 9. Demostrar que si 3n + 2 es impar,
en- tonces n es impar.
p: 3n + 2 es impar.
q: n es impar.
Suponemos la v q es decir que n es par, entonces
IMPAR, s = 2t + 1, t Z, entonces r
2k + 1 2t 1 = 2k 2t = 2 (k
t)
| { z }
Z
Por
tanto r forma
es PAR.
Cuando
s es v
impar
par.
De
ninguna
bajo
la premisa
q, rvyrpsesson
o
pares
o impares por
tanto
se garantiza
2.3 Contraejemplo. Se busca un ejemplo para
refu- tar el
cual la
implicacion o
doble
implicacion sea falsa.
Como 2 = a/b entonces 2 = a2 /b2 y por
tanto 2b2 = a2
Esto significa que a2 es PAR, entonces a es
PAR, y a es de la forma a = 2c para alg
un c Z
Bien entonces 2b2 = 4c2 por lo que b2 = 2c2
esto significa que b2 es PAR, por tanto b es
PAR.
Se ha mostrado que ambos a y b son PARES y
por tanto tienen factor comun 2. Esto es
una CONTRADICCION a la suposicion de
que
en
impar
por tanto 3n + 2 = 2q + 1 = 3n = 2q + 1 2
2q1
n =
=,
para q Z por tanto es una
3
CON- TRADICCIO N por que n es UN
ENTERO PAR.
Esta es una aplicacion de la tautologa ((p q)
q)
Por tanto podemos decir que:
(pn q)]
Ejemplo 14. Demuestre por casos que
| xy |=| x || y |, donde x y y son reales.
x
si x 0
| x |=
x si x 0
Por casos entonces: p: x e y son reales
q: | xy |=| x || y |
p es equivalente a p1 p2 p3 p4
p1 es x 0 y y
0 p2 es x 0 y y <
0 p3 es x < 0 y y
0
p4 es x < 0 y y < 0
Por tanto podemos demostrar: (p1 q) (p2
q) (p3 q) (p4 q)
(p1 q) entonces xy 0 por que x 0
y
y 0, y por tanto | xy |= xy =| x || y
|
(p2 q) si x 0 y y < 0, entonces xy
0, por tanto | xy |= xy = x(y) =| x
|| y | (aqu como y < 0, tenemos que | y |
= y)
2
2
2 (2k
| { z) por tanto n es PAR lo cual es una CON} Z
n2 es IMPAR
por tanto si n2 es impar, entonces n es impar (queda demostrada p q)
2.7 Demostracion por unicidad. Mostrar que
existe un unico elemento x tal que P (x) es lo
mismo que demostrar la sentencia:
x(P (x) y(y = x v P (y)))
Entonces demostramos:
1) Existencia. mostramos que existe un elemento
x con la propiedad deseada.
2) Unicidad. Mostramos que si y = x, entonces y
no tiene la propiedad deseada.
Ejemplo 15.1 Demuestre que todo entero tiene un
unico inverso respecto a la suma.
Esto es si p es un entero, entonces existe un
unico entero q tal que p + q = 0
Existencia: Si p Z, encontramos que p+q =
0 cuando q = p como q tambie es
entero,
por consiguiente, existe un entero q tal que
p+ q= 0
Unicidad: se muestra que dado el entero p, el
entero q tal que p + q = 0 es UNICO.
supongamos que existe r Z tal que r = q
y p + r = 0 entonces p + q = p + r por
tanto q = r lo que contradice la suposicion
de que r = q.
racional es un irracional.
Por contradiccion suponemos que la suma de
un irracional y un racional es racional bajo
la suposicion de que i es irracional y r
es el racional y llegamos a contradiccion
llegan- do a establecer que cualquiera de los
dos no cumple con la condicion de
ser
racional o ir- racional.
k, t Z
s
=
=
donde qt = 0 y pk Z y
k
por tanto
racional.
qt
demostramos que r s es
un
recursiva
formula recurrente
as: tn = 2tn1 para t1 = 5 para 2 n
6
la
inicial a y la diferencia d
{an }.
n
X
aj
j=m
Usamos
la
P5
j=1
P5
j=1
j2
j 2 = 12 + 22 + 32 + 42 +
52
= 1 + 4 + 9 + 16 + 25
= 55
Ejemplo 33. supongamos que tenemos la suma:
5
X
2
j=1
(k + 1)2
k=0
4
3X
X
ij
i=1 j=1
4
4X
X
ij =
(i+2i+3i) =
6i = 6+12+18+24 =
60
i=1 j=1
i=1
i=1
Pn
Pn
ca
=
c
n P
n
i=1
i=1 aP
Pn
n
n
(a
+
b
)
=
a
+
i
i
i
i=1
i=1
Pn
Pn i=1 bi
+ b ) = na + i=1 bi
i=1 (a
Pn i
i = n(n+1)
i=1
2
Pn
n(n+1)(2n+1)
2
i =
i=1
6
P
n
n2 (n+1)2
3
i =
4
P
Pn
Pn+pi=1
np
f
(k)
=
f
(k
p)
=
k=ip f (k + p)
k=iP
k=i+p
n
(aj aj1 ) = an a0 telescopica
j=1 P
n
k = ar n+1 a, r = 1
ar
k=0
r1
Teorema 1. Si a y r son reales y r = 0, entonces:
n
X
ar =
j=0
ar n+1 a
r1
si r = 1
(n + 1)a si r = 1
2 3j = 2 + 2 3 + 2 32 + 2 33 + 2 34 +
2 35
j=0
23
2 35+1 2 2(36 1)
=
= 36 1 = 728
3 1
j=0
k2
k=50
Solucion:
P100
k=1 k
jamos:
P100
P49
k=1
P100
k +
P100
k=50
k2 entonces despe-
P49
2
k
k
k =1
Pn
segun la tabla k=1 k2 = n(n+1)(2n+1)
6
P100 2
100101201495099
k
=
=338.350 -40.425=297.925
6
k=50
6
k=50 k =
k=1
aj
j=m
Ejemplo
37. Cual es
el
Q10
productos
i= 0
Q8i=0
i=5 i = 5 6 7 8 = 1680
Ejemplo 38. Cual es
el
Q
4
productos
j! = 1 2 6 24 = 288
i=0
valor de
estos
valor de
estos
4. INDUCCION MATEMATICA.
Es una tecnica de demostracion que se utiliza
para demostrar muchos teoremas que afirman que
P (n) es
verdadera para todos los
enteros
positivos n. La induccion matematica se usa
para demostrar proposiciones de la forma nP
(n), donde el do- minio es el conjunto de los
enteros positivos.
Una demostracion por induccion de que P (n)
es verdadera para todo n Z+ consiste en dos
pasos:
PASO BASE: Se muestra que la proposicion P(1) es
verdadera.
PASO INDUCTIVO: se muestra que la implicacion
La
induccion matematica
regla de inferencia:
expresada como
para n 1
PASO BASE: Se muestra que P (1) es verdadera.
entonces
1(1+1)
P (1): 1 =
lo cual es verdadera.
2
PASO INDUCTIVO: Se debe demostrar que si P (k) es
verdadera entonces P (k + 1) para k 1
Sea P (k) : (hipotesis de induccion)
k(k + 1)
1+ 2+ 3+ + k=
2
Ahora hay que demostrar la verdad de P (k + 1) :
(tesis de induccion)
1 + 2 + 3 + + (k +
1) =
(k + 1)(k +
2)
2
k(k + 1)
2
+ (k +
1)
k(k + 1) + 2(k +
1)
2
factorizando (k + 1) nos queda:
1 + 2 + 3 + + k + (k +
1) =
(k + 1)(k +
2)
2
Por tanto como se
demostro la tesis de
induccion, entonces P (n) es verdadero para todos
los valores n 1.
1 + 2 + 3 + + k + (k +
1) =
: (hipotesis de induccion)
1 + 2 + 3 + + (2k 1)
= k2
por
induccion
la
D0 ,
=
=
Ck
=
=
Ck + A
A Dk + A
(1)
(2)
A (Dk + 1) Factorizando
A Dk+1 segundo miembro de P(k+1)
PASO INDUCTIVO:
P (s) : Rs N ks = N 2M
(Hipotesis)
P (s + 1) : Rs+1 N ks+1 = N 2M
(Tesis)
Rs+1 Nks+1
=
=
=
=
=
=
Entonces:
f (1) = 2f (0) + 3 = 2,3 + 3 =
9
f (2) = 2f (1) + 3 = 2,9 + 3 =
21
f (3) = 2f (2) + 3 = 2,21 + 3 =
45
f (4) = 2f (3) + 3 = 2,45 + 3 =
93
=
4 3 2 1 f (0) = 4 3 2 1 1 = 24
podemos tamien obtener un codigo simple
para la funcion factorial:
ak
k=0
0
X
ak
= a0
k=0
n+1
X
n
X
ak = (
k=0
ak ) + an+1
k=0
f3=f2+f1=1+1=2,
f4=f3+f2=2+1=3,
f5=f4+f3=3+2=5,
f6=f5+f4=5+3=8,
funcion
fibonacci
(n:entero
positivo)
if n=0 then
fibonacci(0):=0
else
if n=1 then
fibonnaci(1):=1
else
fibonacci(n):=fibonacci(n-1)+ fibonacci (n-2)
end fibonacci
Ejemplo 49. Un algoritmo recursivo para calcular
el maximo comun divisor de dos enteros no
nega- tivos a y b, donde a < b.
procedure mcd (a,b)
si a=0 entonces mcd
(a,b)=b else
mcd(a,b):=mcd (b mod a,a)
end mcd
Ejemplo
50.
Ackermann)
2n
0
A(m, n) =
0
(Funcion
de
si m = 0
si m 1 y n =
2
si m 1 y n
= 1
A(m 1,
A(m, n 1))
si m 1 y n
2
Paso recursivo. 0 y 1 cadenas que se forman recursivamente por primera vez, 00, 01, 10 y 11
cadenas que se forman al aplicar el paso recursivo
por segunda vez.
Definicion 3. Dos cadenas
se
pueden
combinar mediante la
operacion
de
la
concatenacion. Sea un conjunto de smbolos
y el conjunto de las cadenas formadas a
partir de smbolos de . Podemos definir
recursivamente la concatenacion de dos cadenas,
denotada con el smbolo como sigue:
Paso base. Si w , entonces w = w, donde
es la cadena vac
a.
Paso recursivo. Si w1 , w2 y x ,
entonces w1 (w2 x) = (w1
w2 )x
Ejemplo 52. Formulas bien formadas en logica
proposi- cional. Podemos definir el onjunto de
formulas bien formadas con variables proposicionales y operadores logicos, ademas de los valores V y F.