Professional Documents
Culture Documents
90
91
92
Demostraciones
Demostracin:
la prueba de algo,
partiendo de verdades
universales y evidentes
En matemticas
una serie de pasos lgicos,
donde cada paso se sigue de
manera lgica de los
anteriores, encontrndose
que el ltimo escaln es
justamente la afirmacin
que se quiere probar.
93
Definiciones matemticas
En las deniciones, y nicamente en las deniciones, un
condicional puede leerse e interpretarse correctamente
como un bicondicional.
Si un tringulo tiene sus tres lados iguales, entonces es
equiltero
Si un tringulo es equiltero, entonces tiene sus tres lados
iguales
p(x) : x tiene tres lados iguales.
q(x) : x es un triangulo equiltero.
94
Ejemplo
Para cada par de enteros x e y, decimos que x es divisible
por y si x es mltiplo de y
p(x,y) : x es mltiplo de y
q(x,y) : x es divisible por y
Solucin
Para cada par de enteros x e y, diremos que x es divisible por y si, y solo si x es
mltiplo de y
x es mltiplo de y, si puede encontrarse otro numero entero k tal que x = ky
Si llamamos r(x,y) : x = ky
Para cada par de nmeros enteros x e y, diremos que x es divisible por y si, y
solo si existe un entero k tal que x = ky
95
Ejemplo
Para cada entero x, x es par si, y slo si x es divisible por 2
Para cada entero x, x es par si, y solo si puede encontrarse
un entero k tal que x = 2k
Solucin: 16,26 y 36
si x = 16 y 16 = 2k, entonces k = 8 que es entero,
luego x = 2*8, es decir, x es par
si x = 26 y 26 = 2k, entonces k = 13 que es entero,
luego x = 2*13, es decir, x es par
Y para el resto de nmeros?
96
Regla de Particularizacin
Si un predicado se transforma en una proposicin
verdadera para todos los elementos de un universo del
discurso, entonces es una proposicin verdadera, en
particular, para cada elemento del universo.
Si x, p(x) es verdad,
entonces p(a) es verdad para cada a en el universo del discurso.
Ejemplo:
97
E
J
E
M
P
L
O
Regla de Particularizacin
Consideremos el universo de los nmeros enteros, elijamos
un nmero a que no sea mltiplo de 2 y estudiemos la
validez del siguiente razonamiento
El nmero a no es mltiplo de 2.
Si un nmero es par, entonces es divisible por 2.
Si un nmero es divisible por 2, entonces es mltiplo de 2
Por lo tanto, el nmero a no es par.
Solucin:
Comprobacin
p(x) : x es par.
q(x) : x es divisible por 2.
r(x) : x es mltiplo de 2.
98
Regla de Generalizacin
Si un predicado es una proposicin verdadera para
cualquier elemento elegido de forma arbitraria en nuestro
universo del discurso, entonces es verdadera para todos los
elementos del universo.
Si p(a) es verdadera, siendo a un elemento arbitrario del universo,
entonces x, p(x) es verdad.
Ejemplo:
Solucin
99
Mtodos de Demostracin
una demostracin es un razonamiento que establece la
veracidad de un teorema,
es decir demostrar un teorema equivale a probar que
la proposicin condicional P Q es una tautologa o
lo que es igual P Q.
Mtodos ms comunes:
Demostracin Vaca
Demostracin Trivial
Demostracin Directa
Demostracin por la Contrarrecproca
Demostracin por Contradiccin
Bsqueda de Contraejemplos
100
Mtodos de Demostracin
Demostracin Vaca
Una demostracin de este tipo se construye estableciendo
que el valor verdadero de la hiptesis P es falso
si podemos establecer la falsedad de P,
entonces P Q siempre es verdad,
luego P Q es una tautologa
y, consecuentemente, P Q
Demostracin Trivial
Se construye una demostracin de este tipo, probando que
el valor verdadero de la conclusin es verdad.
Si es posible establecer la veracidad de la conclusin Q,
entonces el condicional P Q ser una tautologa,
luego P Q
101
Demostracin Directa
muestra que la verdad de la conclusin Q, se sigue
lgicamente de la verdad de la hiptesis P.
La demostracin empieza asumiendo que P es verdad para despus, utilizando
cualquier informacin disponible, as como teoremas probados con
anterioridad, probar que Q es verdad.
Ejemplo:
Demostracin
102
Ejemplo:
p(n) : n es par
q(n) : n es impar
D: nmeros enteros
contrarrecproca: Para cada entero n, si n no es
impar, entonces 5n +3 no es par
103
104
G4. Impares
G5. Pares