Taller 1: Logica y Demostraciones

Matematicas Discretas
Profesor: Fabio Martnez
Escuela de Ingeniera de Sistemas e Informatica
October 14, 2016

L
ogica
1. Sean p, q, r las siguientes proposiciones acerca de un triangulo ABC particular; p: El tri
angulo ABC es isoceles; q: El triangulo ABC es equilatero;
r: El tri
angulo ABC es equiangular. Traduzca cada una de las siguentes
proposiciones en una frase en espa
nol.
qp
p q
p q
2. Los siguientes tres argumentos son validos Establezca la validez de cada
uno por medio de una tabla de verdad. En cada caso, determine las filas
de la tabla que son cruciales para evaluar la validez del argumento y las
que pueden dejarse de lado.
[p (p q) r] [(p q) r]
[[p (q r)] q] (p r)
3. Utilice reglas de inferencia para demostrar que si x(P (x) (Q(x)S(s)))
y x(P (x) R(x)) son verdaderos entonces x(R(x) S(x)) es verdadero.

Demostraciones
1. Utilice una prueba por contradiccion para demostrar que no hay un numero racional r para el cual r3 + r + 1 = 0. [Pista: asuma que r = a/b
es una raz, donde a y b son enteros y a/b tiene los mnimos terminos.
Obtenga una ecuaci
on que involucre enteros al multiplicarla por b3 . Despues es solo decidir si a y b son pares o impares.].
2. Encuentre el error en la siguiente demostracion.
Pruebe que = 3
x = ( + 3/2)
2x = + 3

 2x( 3) = ( + 3)( 3)
2x 6x = 2 9
9 6x = 2 2x
9 6x + x2 = 2x + x2
(3 x)2 = ( x)2
3x=x
=3

Inducci
on Matem
atica
1. Para n Z+ , si n > 10, demuestre que
n2<

n2 n
.
12

2. Demuestre por inducci

on matematica que 5 divide a n5 n cuando n es
un entero no negativo.
3. Demuestre que 12 22 + 32 ... + (1)n1 n2 = (1)n1 n(n + 1)/2 cuando
n es un entero positivo.
4. Demuestre por inducci
on matematica que 1 1! + 2 2! + ... + n n! =
(n + 1)! 1 cuando n es un entero positivo.
5. Demuestre por inducci
on matematica que la funcion f (x) = xn su derivada
0
n1
es f (x) = nx
.