PARTE I

LOGICA PROPOSICIONAL Y CALCULO DE PREDICADOS

1. (1Pts) De los siguientes enunciados, indica cuales son proposiciones y cules no.
a)
b)
c)
d)
e)

Alcnzame la toalla!
No es Proposicin
Qu hora es?
No es Proposicin
Lima es la capital del Per.
Es Proposicin
5 + 8 = 10 + 3
Es Proposicin
Miguel Grau es un hroe peruano. Es Proposicin

2. (2Pts) Considere el siguiente argumento de lgica de predicados:

Los parapsiclogos no son conductistas.
Ningn psiclogo es competente en cuestiones extrasensoriales.
Los que no son conductistas son competentes en cuestiones extrasensoriales.
Por lo tanto, los parapsiclogos no son psiclogos
P(x): x es parapsiclogo
C(x): x es conductista
S(x): x es Psiclogo
E(x): x es competente en cuestiones extrasensoriales.
Formule la inferencia lgica correspondiente al clculo de predicados y luego
demuestre su validez usando las leyes lgicas y/o reglas de inferencia:
P(x): x es parapsiclogo

x (Px ~Cx)

C(x): x es conductista

x (Sx ~Ex)

S(x): x es Psiclogo

x (~Cx Ex)

E: es competente en cuestiones Extrasensoriales x (Px ~Sx)

1.- x (Px ~Cx)

2.- x (Sx ~Ex)
3.- x (~Cx Ex)
4.- Pa ~Ca

E.. 1

5.- Sa ~Ea

E.. 2

6.- ~Ca Ea

E.. 3

7.- Pa
E.I. 4,7

9.- Ea

E.I. 6,8

10.- ~Sa

E.I. 5,9

11.- Pa ~ Sa

I.I. 7-10

12.- x (Px Sx)

I.. 11

8.- ~Ca

3. (1Pts) Considere las siguientes premisas vlidas:

P1: (p q) --> s
P2: ~ s V r
Cul es la conclusin si se aplican las siguientes leyes lgicas?
1. Simplificacin a la premisa P2

~s
r
2. Modus Tollens entre la premisa P1 y el resultado del paso 1
P1: (p q) --> s
Paso 1 V(p)=v
V(q)=v el resultado de paso 1 es V

Modus Tollens
p s
~s
----------------------

~P
El resultado es ~P
4. (2Pts) Considere la siguiente inferencia lgica:
P1 : ( p ~ q ) (~ s ~ r )
P2 : ( p ~ t ) (~ u ~ s )
P3 : ~ ( p t )
C: r u

Demuestre la validez del argumento usando las leyes lgicas. Justificar todos
los pasos.

(p v ~q) (~s~r)
(p ^ ~t) (~u~s)
~ (p t)
ru
1) (p V ~q) (~s~r)

Premisa 1

2) (p ~t) (~u~s)

Premisa 2

3) ~ (p t)

Premisa 3

4) ~(~p v t)

implicacin de 3

5) p ~t

Morgan de 4

6) ~u ~s

Modus pones de 5) y 2)

7) s u

Contrapositiva de 6)

8) (~s~r)

implicancia de 1)

9) r s

Contrapositiva de 8)

10) r u

Silogismo Hipotetico entre 9) y 7)

PARTE II INDUCCION MATEMATICA, RELACIONES BINARIAS Y CONTEO

5.

(2Pts) Demuestre por induccin matemtica la siguiente proposicin.

P(n): 7n -1 es divisible por 6

P(0): 70 -1 = 0 no se verifica
P(1): 71 -1 = 1 si verifica
P(2): 72 -1 = 8 si verifica
Prueba Inductiva:
Asumimos que para n = h, P (h) es verdadera
Probaremos que para n = h + 1, P (h+1) tambin es verdadera.
P(n): 7h+1 -1 es divisible por 6 = 7h *71 -1
= 7h *71 -1 + 7- 7
= 7(7h-1)+7-1
6.

(2Pts) Se define la relacin R sobre Z como:

R = { (x, y) Z x Z / x/y = 2n, n Z }
Demuestre que R es una relacin de equivalencia.

7.

(2Pts) Cuantas cadenas pueden formarse mediante las siguientes letras:

P114, 4, 2,1 =

11! = 34650

4! x 4! x 2! x 1!
8.

(2Pts)De cuntas maneras diferentes podr viajar una persona de A a D sin retroceder?

PARTE III

TEORIA DE GRAFOS Y GRAMATICAS FORMALES

9.

(3Pts) Una compaa de reforestacin sembrara rboles en ocho zonas en la

misma rea. Para esto debe desarrollar un sistema de caminos de tierra para
tener acceso a cualquier zona desde cualquier otra. La distancia entre cada par de
zonas viene dada en la siguiente tabla:

Entre qu pares de zonas deben construirse caminos para conectarlas todas

con una longitud total mnima de caminos?
10. (1Pts) Considere los siguientes recorridos PREORDEN e INORDEN de un rbol
binario:
PREORDEN: 210 34 65 12 49 33 90 32 100
INORDEN:
65 12 34 210 33 90 49 100 32
Dibuje el rbol binario correspondiente y escriba su correspondiente recorrido
POSTORDEN.

El recorrido Postorden sera: 12 - 65 - 34 - 90 - 33 - 49 - 100 - 32 210

11. (2Pts) De la siguiente funcin encontrar la funcin cannica en su forma suma de

productos. Use Teorema.