You are on page 1of 16

89

Aplicacin: circuitos lgicos


digitales

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:

Todos los alumnos de Ingeniera estudian Matemticas


discretas. Florinda es alumna de Ingeniera. Por lo tanto,
Florinda estudia Matemticas discretas.

p(x) : x es alumno de Ingeniera.


q(x) : x estudia Matemtica Discreta.
llamando f a Florinda
Comprobacin

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

Dados los predicados p(x),q(x) y r(x) donde la variable x


pertenece a un universo cualquiera, estudiar la validez del
siguiente razonamiento

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:

Demostrar que el cuadrado de un numero entero par tambin


es par.

Demostracin

Para cualquier entero n, si n es par, entonces n^2 es par


p(n) : n es par.
D:par,
Todos
los nmeros
enteros
Si n es
entonces
existir
un entero k tal que n = 2k
Elevando al cuadrado, obtengamos n^2 = 4k^2 = 2(2k^2)
y como el cuadrado de un nmero entero tambin es entero,
2k^2 ser entero (lo llamaremos m).
As pues, hemos encontrado un entero m tal que n^2 = 2m.
Por lo tanto, concluimos que n^2 es par.

102

Demostracin por Contrarrecproca


Cuando suponiendo que la conclusin, Q, es falsa y utilizando la
hiptesis P y otros teoremas y equivalencias lgicas establecidas
previamente, se concluye que P es falso.
basada en la equivalencia lgica
P Q Q P
si probamos que Q P es una tautologa,
habremos probado que P Q tambin lo es,
luego P Q

Ejemplo:

Demostrar, para cada entero n, que si 5n +3 es par, entonces


n es impar

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

Demostracin por Contrarrecproca


Demostrar, para cada entero n, que si 5n +3 es par, entonces
n es impar
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

sea n cualquier nmero entero.

104

G4. Impares
G5. Pares