Universidad de San Carlos

Facultad de Ingeniera
Matem
atica para Computaci
on 1
Lic. Carlos Morales

TAREA 1
 L
ogica y Tecnicas de Demostracion 
Instrucciones: realice los ejercicios que se le piden a continuacion.
1. Escribir las tablas de verdad de:
a) p q
b) p q
c) p q
d) p Y q
e) p q
f) p q
2. Demuestre la equivalencia de las siguientes proposiciones
a) (p q) [(p q) (q p)]
b) (p q) (q p)
c) (p q) (p q)
d ) (p q) (p Y q)
e) [(p q) (p q)] (p q)
3.

a) Escribir (p q) utilizando exclusivamente el conectivo NAND denotado por , y definido as:

(p q) (p q)
b) Escribir (p Y q) utilizando exclusivamente el conectivo NOR denotado por , y definido as:
(p q) (p q)

4.

a) De dos ejemplos de contradicci

on, escribiendo las tablas de verdad correspondientes.
b) De dos ejemplos de tautologa escribiendo las tablas de verdad correspondientes.

5. Escriba cada metodo de demostracion mostrando las reglas de inferencia o la equivalencia l

ogica
correspondiente.
6. Negar las siguientes proposiciones indicando la regla utilizada. En estos ejercicios N es el conjunto
de los n
umeros naturales, y R es el de los reales.
a) Si x es primo, entonces x + 1 es par.
b) Hoy es martes si y s
olo si 2009 es bisiesto.
c) x es par o x es impar.
d ) x U [z U, x 6= z]

e) x N[y N, x y]
h
f ) x (0, 1) h R, x =

1
1+h

7. Demuestre por contrapositiva la siguiente proposicion: Si n2 es par, entonces n es par.

8. Demuestre el teorema de Pit
agoras empleando un metodo directo.
9. Demuestre por reducci
on al absurdo que: Si n2 es par, entonces n es par.
10. Demuestre por inducci
on matem
atica:
12 + 2 2 + 3 2 + . . . + n2 =

n(n + 1)(2n + 1)
,
6

para n 1, n N

11. Demuestre por contradicci

on: El conjunto de los n
umeros primos es infinito.
12. Pagina 97, ejercicios 7,8,9 y 10.
13.

a) Escribir la definici
on de argumento valido.
b) De dos ejemplos de argumentos validos con las tablas de verdad correspondientes.

14. Construya la tabla de verdad de:

[(p q) (r s)] (p r)