Manual de Ejercicios de Matematicas Discretas

Matem aticas Discretas
Favio Ezequiel Miranda Perea

Evelyn Gabriela Sanchez Olgun
29 de abril de 2010
2
Indice general
1. Introduccion 5
1.1. Expresiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Mecanismos formales para descripcion de expresiones . . . . . . . 5
1.3. Gramaticas y arboles de derivacion . . . . . . . . . . . . . . . . 5
1.4. Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2. Logica Proposicional 15
2.1. Lenguaje de la logica proposicional . . . . . . . . . . . . . . . . . 15
2.2. Evaluacion de Expresiones . . . . . . . . . . . . . . . . . . . . . . 29
2.3. Analisis sintactico de expresiones logicas . . . . . . . . . . . . . . 30
2.4. Equivalencia Logica . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.5. Conceptos Semanticos Importantes . . . . . . . . . . . . . . . . . 36
2.6. Analisis de Argumentos . . . . . . . . . . . . . . . . . . . . . . . 37
2.7. Tableaux en calculo proposicional . . . . . . . . . . . . . . . . . . 48
2.8. Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3. Logica de Predicados 83
3.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.2. Sintaxis de la logica de predicados . . . . . . . . . . . . . . . . . 83
3.3. Especicacion formal . . . . . . . . . . . . . . . . . . . . . . . . 86
3.4. Semantica Informal . . . . . . . . . . . . . . . . . . . . . . . . . . 104
3.5. Predicados y tipos . . . . . . . . . . . . . . . . . . . . . . . . . . 112
3.6. Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
4. Induccion y Recursion 121
4.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
4.2. Los n umeros naturales . . . . . . . . . . . . . . . . . . . . . . . . 121
4.3. Induccion en los n umeros naturales . . . . . . . . . . . . . . . . 121
4.4. Deniciones recursivas . . . . . . . . . . . . . . . . . . . . . . . . 127
4.5. Induccion estructural . . . . . . . . . . . . . . . . . . . . . . . . . 133
4.6. Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
3
4

INDICE GENERAL
5. Conceptos de teoras de gracas 145
5.1. Motivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
5.2. Conceptos y formalizacion . . . . . . . . . . . . . . . . . . . . . . 150
5.3. Representaci on de gracas para su manipulacion . . . . . . . . . 158
5.4. Isomorsmo entre gracas . . . . . . . . . . . . . . . . . . . . . . 164
5.5. Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
6. Exploracion en gracas 177
6.1. Circuitos eulerianos . . . . . . . . . . . . . . . . . . . . . . . . . . 177
6.2. Trayectorias hamiltonianas . . . . . . . . . . . . . . . . . . . . . 184
6.3. Distancias en una graca . . . . . . . . . . . . . . . . . . . . . . 188
6.4. Trayectorias mas cortas . . . . . . . . . . . . . . . . . . . . . . . 189
6.5. N umero de caminos . . . . . . . . . . . . . . . . . . . . . . . . . 193
6.6. Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
7. Modelado con gracas 197
7.1. Coloracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
7.2. Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198
8.

Arboles 199
8.1. Caracterizaci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
8.2.

Arboles generadores . . . . . . . . . . . . . . . . . . . . . . . . . 199
8.3. B usqueda en profundidad(DFS) . . . . . . . . . . . . . . . . . . . 200
8.4.

Arboles generadores de peso mnimo . . . . . . . . . . . . . . . . 201
9. Multigracas y gracas dirigidas 207
9.1. Multigracas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
9.2. Gracas dirigidas . . . . . . . . . . . . . . . . . . . . . . . . . . . 208
9.3. Circuitos eulerianos . . . . . . . . . . . . . . . . . . . . . . . . . . 212
9.4. Distancias en una graca dirigida . . . . . . . . . . . . . . . . . . 216
Captulo 1
Introducci on
1.1. Expresiones
No hay ejercicios para esta seccion.
1.2. Mecanismos formales para descripcion de
expresiones
1.3. Gramaticas y arboles de derivaci on
1. Decida si las siguientes expresiones aritmeticas son correctas o no. Justi-
que su respuesta utilizando las reglas de expresion aritmetica.
a) c (2 o)
b) +(d)
c) (o + (3 d)5)
d) (c 5)(o 5)
e) (c 5) (4 o c d)
f ) 3 + (6 o)
g) 5 max(o +/, c d)
h) o +(/
i ) 75+ mn(3, / c, 4 c)
j ) max(5 c, (3), 1)
5
6 CAP
ITULO 1. INTRODUCCI
ON
2. De acuerdo con la gramatica para generar expresiones aritmeticas decida
si las siguientes expresiones estan bien formadas o no. Justique su res-
puesta (construya el arbol de derivacion para las expresiones que esten
bien formadas)
a) 3r + 2j
b) r o (c + 2)
c) o r
d) 3(o +/)
e) (/ + (/ / 4 o c)) (2 o)
3. Dadas las siguientes producciones de una gramatica escriba tres expresio-
nes que se puedan derivar de ella, junto con sus derivaciones.
o ::= oo o ::= C
o ::= 1 1 ::= ( )
1 ::= (1) 1 ::= (C)
C ::= [ ] C ::= [C]
C ::= [1]
4. Dadas las siguientes producciones de una gramatica escriba tres expresio-
nes que se puedan derivar de ella, junto con sus derivaciones.
o ::=
::= 1 1.1
1 ::= 1 11
1 ::= 0 1 2 3 4 5 6 7 8 9
::= +
5. Considerese la siguiente gramatica:
1 ::= 1
1 ::= 1
1 ::= c
1 ::= 1
1 ::= c
1.3. GRAM
ATICAS Y

ARBOLES DE DERIVACI
ON 7
a) Construir una derivacion correspondiente a la cadena c .
b) Dar el arbol que corresponde a la cadena c .
c) La cadena c est a bien formada ?
6. Considere la siguiente gram atica:
o ::= 1 ::= 1
o ::= o 1 ::= o
o ::= 1 1 ::=
Determine si las siguientes cadenas pertenecen al lenguaje generado por
la gramatica. Si es as escriba una derivacion y un arbol de derivacion
correspondiente a la cadena; en caso contrario explique por que no. El
smbolo inicial es S
a)
b)
c)
7. Exhiba el proceso de generacion de las siguientes expresiones aritmeticas
as como la regla de la gramatica que se ocupo en cada paso.
a) 3 (6 o)
b) +o
c) (c 5) (3 d)
d) 36 +d 3
e) (4,7 o /) + 7
f ) (2,4 o) (3,5 /) c
8. Construya los arboles de derivacion de las siguientes expresiones aritmeti-
cas.
a) 3 (6 o)
b) +o
c) (c 5) (3 d)
9. Decida si las siguientes expresiones aritmeticas estan bien construidas uti-
lizando reglas o derivaciones.
a) (3,0 6)o
b) o +o
c) 56 ((3) (o))
d) / + (2,5 (o +/)
e) / + (2,5 (o +/)
8 CAP
ITULO 1. INTRODUCCI
ON
f ) 96o 54 /
g) 14,3 (c d ) 3)
10. Utilizando la gramatica de parentesis balanceados decida cuales de las
siguientes estan bien construidas.
a) (()()))
b) (())()()(())
c) (()())(())
d) (((()))())
e) (()()())(())
f ) (((()))))()
1.4. Soluciones
Seccion 1.3
1. o) La expresi on es correcta
E
E E
var E
c E
c E
c (E)
c ( E)
c (-E)
c (-E E)
c (- const E)
c (-2 E)
c (-2 E)
c (-2 var)
c (-2 a)
)) La expresion es correcta
1.4. SOLUCIONES 9
E
E E
const E
3 E
3 E
3 E
3 -E
3 E
3 -+E
3 -+(E)
3 -+(EE)
3 -+(constE)
3 -+(6E)
3 -+(6var)
3 -+(6a)
p) La expresion no es correcta
E
E E
const E
5 E
5 E
porque el simbolo no es unario
4. a)
+12.7
S
N
+N
+EE
+EEE
+DEE
+IEE
+IDE
+12E
+12D
+127
b)
10 CAP
ITULO 1. INTRODUCCI
ON
0.53
S
N
EE
DE
0E
0EE
0DE
05E
05D
053
c)
-783
S
N
-N
-E
-EE
-DE
-7E
-7EE
-7DE
-78E
-78D
-783
6. a) No pertenece al lenguaje ya que en las reglas solo se puede terminar
con el smbolo
b)
S
B
S
B
S
B

1.4. SOLUCIONES 11
S
B
S
B
S
c)
S
S
S
S

S
S
S
S
8. a)
12 CAP
ITULO 1. INTRODUCCI
ON
S
E
E
const
3
E
( E
E
const
6
E
var
a
)
b)
S
E
-
E
+
E
var
a
c)
1.4. SOLUCIONES 13
S
E
E
( E
E
var
c
E
const
5
)
-
E
( E
E
const
3
E
var
d
)
10. o) No esta bien construida, no se puede obtener un parentesis izquierdo
solo
E
( E
E
( )
E
( )
)
d)
14 CAP
ITULO 1. INTRODUCCI
ON
E
( E
E
( E
( E
( )
)
)
E
( )
)
Captulo 2
Logica Proposicional
2.1. Lenguaje de la l ogica proposicional
1. Formalice los siguientes argumentos.
a) Si Pablo de Tarso es monotesta, entonces Socrates y Yantipa no
contrajeron matrimonio canonico. Socrates y Yantipa no contrajeron
matrimonio canonico. Por lo tanto Pablo de Tarso era monotesta.
b) Si Mexico limita al sur con Belice, entonces Canada limita al sur de
EUA. Mexico no limita al sur con Belice. Por lo tanto Canada limita
al sur con EUA.
c) Si Jose Luis Gomez es el autor del Beso de la Virreina entonces
Sabines fue un famoso escritor de Mexico. Jose Luis Gomez es el
autor del Beso de la Virreina. Por lo tanto Saramago fue un famoso
escritor de Mexico.
a) Si el programa es eciente, se ejecuta rapidamente: El programa es
eciente, o tiene un error. Sin embargo, el programa no se ejecuta
rapidamente. Por lo tanto tiene un error.
b) Si Juana es mas popular, entonces sera elegida. Si Juana es mas po-
pular, entonces Casilda se resignara. Por lo tanto si Juana es mas
popular, sera electa y Casilda se resignara.
c) La cosecha es buena, pero no hay suciente agua. Si no llueve mucho
o no hay mucho sol, entonces hay suciente agua. Por lo tanto la
cosecha es buena y hay mucho sol.
15
16 CAP
ITULO 2. L
OGICA PROPOSICIONAL
d) Si la publicidad es exitosa, entonces las ventas aumentaran. Ni las
ventas son exitosas ni la tienda cerrara. Las ventas no creceran. Por
lo tanto la tienda cerrara.
e) Rusia tuvo un poder superior, y Francia es fuerte o Napoleon come-
tio un error. Napoleon no cometio un error, pero si el armamento no
fallo, entonces Francia fue fuerte. Por lo tanto el armamento fallo y
Rusia tuvo un poder superior.
f ) No es el caso que si la tarifa de electricidad aumenta, entonces el
uso disminuira, tampoco es cierto que las nuevas plantas de poder se
construiran o las ganancias llegaran despues. Por lo tanto el uso no
disminuira y las ganancias llegaran despues.
g) Si Jose tomo la joya o la se nora Medrano mintio, entonces se come-
tio un crimen. El se nor Medrano no estaba en la ciudad. Si el crimen
no se cometio, entonces el se nor Medrano no estaba en la ciudad. Por
lo tanto Jose no tomo la joya.
a) Si Rosa Mara obtiene el puesto de supervisor y trabaja mucho, en-
tonces obtendra un aumento. Si obtiene el aumento, entonces com-
prara un auto nuevo. Ella no ha adquirido un auto nuevo. Por lo
tanto, Rosa Mara no ha obtenido el puesto de supervisor o no ha
trabajado mucho.
b) Si Domingo va a la carrera de autos, entonces Elena se enojara. Si Ra-
fael juega cartas toda la noche, entonces Carmen se enojara. Si Elena
o Carmen se enojan, le avisara a Veronica (su abogado). Veronica no
ha tenido noticias de estas dos clientes. En consecuencia, ni Domingo
fue a las carreras ni Rafael jugo cartas toda la noche.
c) Si Norma va a su reunion del martes por la ma nana, entonces de-
bera levantarse muy temprano ese da. Si va al concierto de rock el
lunes por la noche, entonces llegara a su casa despues de las 11:00
P.M. Si Norma llega a su casa a esa hora y se levanta temprano al da
siguiente, entonces tendra que ir a trabajar con menos de siete horas.
Por desgracia, Norma no puede trabajar con menos de siete horas de
descanso. Norma no debera de ir al concierto de rock o debera faltar
a su reunion del martes por la ma nana.
d) Si hay cierta probabilidad de lluvia o pierde su cinta roja para el
cabello, entonces Loreta no cortara el cesped. Siempre que la tem-
peratura esta por arriba de los 30
o
C, no hay probabilidad de lluvia.
2.1. LENGUAJE DE LA L
OGICA PROPOSICIONAL 17
Hoy la temperatura es de 35
o
C y Loreta esta usando su cinta roja.
Por lo tanto(en alg un momento del da), Loreta cortara el cesped.
4. Cuales de las siguientes oraciones son proposiciones atomicas, cuales pro-
posiciones no atomicas y cu ales no son proposiciones? Justique su res-
puesta.
a) Cinco al pastor, con todo.
b) \ =
1
|
.
c) Rafael y America fueron a Per u.
d) Si nos encuentran, estamos perdidos.
e) Rafael y America son novios.
f ) Los borrachos o los ni nos dicen la verdad.
g) Hay ping uinos en Paracas.
h) 3r + 8j.
i ) Menelao no dice la verdad.
j )
b
b
2
4ot
2o
.
5. Cuales de las siguientes oraciones son proposiciones?
a) La luna esta hecha de queso verde.
b) Es un hombre indudablemente alto.
c) Dos es un n umero primo.
d) El juego terminara pronto?
e) El proximo a no las tasas de interes aumentaran.
f ) El proximo a no las tasas de interes disminuiran.
g) r
2
4 = 0.
6. Indique cuales de los enunciados siguientes son proposiciones.
a) Cuantos a nos tienes?
b) Pasame la taza!
c) La puerta es grande.
d) La puerta es peque na.
e) No te creo.
f ) Soy guapo.
g) No me enga nes!
h) Es falso que la puerta sea grande.
i ) Voto por Dios!
7. Cuales de estos enunciados son proposiciones?
18 CAP
ITULO 2. L
OGICA PROPOSICIONAL
a) No pasar.
b) Que hora es?
c) No hay moscas negras en Nuevo Leon.
d) 4 +r = 5.
e) 2
n
100.
8. Cuales de estos enunciados son proposiciones?
a) Merida es las capital de Yucatan.
b) Chihuahua es la capital de Tamaulipas.
c) 2 + 3 = 5.
d) 5 + 7 = 10.
e) r + 2 = 11.
f ) Responde esta pregunta.
9. Es la armacion Este enunciado es falso una proposicion?
10. Determine si las siguientes proposiciones estan bien formadas. Justique
su respuesta (en caso de ser armativo construya el arbol de derivacion)
a) j :
b) ((() (j)) (: t)
c) ((j ) ( j))
11. Utilizando las variables proposicionales indicadas en cada oracion traduzca
los siguientes enunciados a expresiones logicas.
a) Si Pedro juega futbol (j), Paco tambien ().
b) Pienso (j), luego existo ().
c) No pienso, entonces no existo.
d) El fuego (j) es la causa del humo ().
e) Pedro ira al dentista (j) tanto si quiere () como si no quiere.
f ) La magia del cuento se revela (j) solo cuando Pinocchio miente ()
o Blanca Nieves muerde la manzana (:).
g) La inacion aumentara (j), a menos que baje la emision de moneda
() u ocurra un milagro (:).
h) Si el mal existe en el mundo (j) y no se origina en las acciones de los
seres humanos (), entonces los Dioses del Olimpo no quieren (:) o
no puede (:) impedirlo.
i ) Este ejercicio no esta difcil.
12. En los siguientes enunciados, identique las proposiciones atomicas asignando-
les variables proposicionales y formalice los enunciados por medio de una
formula logica.
El pasado mes en la tienda de la esquina ocurrio un robo.
a) Solamente Plutarco y Quelonico estuvieron en la tienda el da del
robo y solo uno de ellos es culpable.
b) Plutarco, Quelonico y Runo estuvieron en la tienda juntos, si hay
al menos dos culpables, entonces Plutarco es uno de ellos.
c) Plutarco, Quelonico y Runo estuvieron en la tienda y hay exacta-
mente dos culpables.
13. Sean j, y : los siguientes enunciados:
j: Las rosas son rojas.
: Las violetas son azules.
:: El az ucar es dulce.
Traduzca los siguentes enunciados compuestos en conectivos logicos.
a) Las rosas son rojas y las violetas son azules.
b) Las rosas son rojas, y las violetas son azules o el az ucar es dulce.
c) Cuando las violetas son azules, las rosas son rojas y el az ucar es dulce.
d) Las rosas son rojas solo si las violetas no son azules o el az ucar es
agria.
e) Las rosas son rojas y si el az ucar es agria, entonces ni las violetas son
azules o el az ucar es dulce.
14. De acuerdo a la denicion anterior de j, y : traduzca los siguientes
enunciados en espa nol.
a) :
b) (j :)
c) (: j)
d) : (j )
e) ( :) j
f ) j ( :)
g) (j ) :
15. Usando conectivos logicos traduzca los siguientes enunciados compuestos.
a) Si el caballo esta saludable, entonces el caballero ganara.
20 CAP
ITULO 2. L
OGICA PROPOSICIONAL
b) El caballero ganara solo si el caballo esta saludable y la armadura es
fuerte.
c) Un caballo saludable es una condicion necesaria para que un caballero
gane.
d) El caballero ganara si y solo si la armadura es fuerte.
e) Una condicion suciente para que el caballero gane es que la arma-
dura sea fuerte o el caballo este saludable.
16. Sea j y las proposiciones:
j: Esta helando.
: Esta nevando.
Escriba estas proposiciones usando j y utilizando conectivos logicos.
a) Esta helando y nevando.
b) Esta helando pero no nevando.
c) No esta helando y no esta nevando.
d) Esta nevando o esta helando. (o ambas)
e) Si esta helando, tambien esta nevando.
f ) Esta helando o nevando, pero no esta nevando si esta helando.
g) Que este helando es necesario y suciente para estar nevando.
17. Sean j y las proposiciones:
j: Manejas a m as de 65 kms. por hora.
: Consigues una multa por exceso de velocidad.
Escriba estas proposiciones usando j y utilizando conectivos logicos.
a) No manejas a mas de 65 kms. por hora.
b) Manejas a mas de 65 kms. por hora, pero no consigues una multa
por exceso de velocidad.
c) Conseguiras una multa por exceso de velocidad si manejas a mas de
65 kms. por hora.
d) Si no manejas a mas de 65 kms. por hora, entonces no conseguiras
una multa por exceso de velocidad.
e) Manejando a mas de 65 kms. por hora es suciente para conseguir
una multa por exceso de velocidad.
f ) Consigues una multa por exceso de velocidad, pero no manejas a mas
de 65 kms. por hora.
g) Siempre que consigas una multa por exceso de velocidad, estas ma-
nejando a mas de 65 kms. por hora.
18. Sean j, y : las proposiciones:
j: Obtienes 10 en el examen nal.
: Haces cada ejercicio de este libro.
:: Obtienes 10 en esta clase.
Escriba estas proposiciones usando j, y : utilizando conectivos logicos
a) Obtienes 10 en esta clase, pero no haces cada ejercicio de este libro.
b) Obtienes 10 en el examen nal, haces cada ejercicio de este libro, y
obtienes 10 en esta clase.
c) Obtienes 10 en esta clase, para ti es necesario obtener 10 en el examen
nal.
d) Obtienes 10 en el examen nal, pero no haces cada ejercicio de este
libro; sin embargo, obtienes 10 en esta clase.
e) Obteniendo 10 en el examen nal y haciendo cada ejercicio de este
libro es suciente para obtener 10 en esta clase.
f ) Conseguiras 10 en esta clase si y solo si haces los ejercicios de este
libro u obtienes 10 en el examen nal.
19. Sean j, y : las proposiciones:
j: Los osos grizzly han sido vistos en el area.
: La caminata es segura en el sendero.
:: Las moras estan a lo largo del sendero.
Escriba estas proposiciones usando j, y : utilizando conectivos logicos.
a) Las moras estan a lo largo del sendero, pero los osos grizzly no han
sido vistos en el area.
b) Los osos grizzly no han sido vistos en el area y la caminata en el
sendero es segura, pero las moras estan a lo largo del sendero.
c) Si las moras estan a lo largo del sendero, la caminata es segura si y
solo si los osos grizzly no han sido vistos en el area.
d) No es segura la caminata en el sendero, pero los osos grizzly no han
sido vistos en el area y las moras estan a lo largo del sendero.
e) Para que la caminata sea segura en el sendero, es necesario pero no
suciente que las moras no esten a lo largo del sendero y que los osos
grizzly no sean vistos en el area.
22 CAP
ITULO 2. L
OGICA PROPOSICIONAL
f ) La caminata no es segura en el sendero siempre que los osos grizzly
sean vistos en el area y las moras esten a lo largo del sendero.
20. Exprese las siguientes especicaciones de un sistema usando las proposi-
ciones j y junto con conectivos logicos.
j: El mensaje se busca por el nombre del virus.
: El mensaje se envio por un sistema desconocido.
a) El mensaje se busca por el nombre del virus siempre que el mensaje
sea enviado por un sistema desconocido.
b) El mensaje se envio por un sistema desconocido pero no se busco por
el nombre del virus.
c) Es necesario buscar el mensaje por el nombre del virus siempre que
cada uno sea enviado por un sistema desconocido.
d) Cuando un mensaje es enviado por un sistema desconocido no es
buscado por el nombre del virus.
21. Utilice letras para los enunciados compuestos, trad uzcalos a conectivos
logicos.
a) Si los precios suben, entonces la vivienda sera abundante y cara; pero
si la vivienda no es cara, entonces aun as sera abundante.
b) Ni ir a la cama o nadar es condicion suciente para cambiar de ropa;
sin embargo, el cambio de ropa no signica ir a nadar.
c) Llovera o nevara pero no ambos.
d) Si Juana gana o si pierde, estara cansada.
e) Juana ganara o, si pierde, estara cansada.
22. Formalice las siguientes proposiciones.
a) Los animales, como las plantas, son seres vivos.
Los animales son seres vivos (p) y las plantas son seres vivos (q)
b) El fenomeno de la nutricion separa de una manera tajante los seres
vivientes de los no vivientes.
El fenomeno de la nutricion separa los seres vivientes (p) y los seres
no vivientes (j)
c) Dos rectas son paralelas si tienen la misma direccion.
tienen la misma direccion (q), dos rectas paralelas (p)
d) Decir que la suma de sucesiones positivas es una sucesion positiva y
el producto de sucesiones positivas es una sucesion positiva equivale
a decir que la suma y el producto de dos n umeros reales positivos es
un n umero real positivo.
(La suma de las sucesiones positivas es una sucesion positiva (p) y
el producto de sucesiones positivas es una sucesion positiva (q)) si
y solo si (la suma de dos n umero reales positivos es un n umero real
positivo (r) y el producto de dos n umero reales es un n umero real
positivo (s))
e) Si perseveras en tus decisiones y no cedes al desaliento frente a los
obtaculos, comprobaras como el exito te sonre.
perseveras en tus decisiones (p), cedes al desaliento frente a los obstacu-
los (q), entonces comprobaras como el exito te sonre (r)
f ) Si Frankestein cruza nuestras calles, ha de indicar que y cuantos nes
persigue, y si miente, le daremos con la puerta en las narices, pero si
dice la verdad, le invitaremos a cenar.
(Frankestein cruza nuestras calles (p), ha de indicar que nes persigue
(q), cuantos nes persigue (r), le daremos con las puertas en las
narices (t)),(dice la verdad (s), le invitaremos a cenar (w)))
g) El hidroxido de aluminio es maleable y, a igualdad de peso, mejor
conductor de electricidad que el cobre.
(El hidroxido de aluminio es maleable (p)), tiene igual peso que el
cobre (q), entonces es mejor conductor de electricidad que este (r)
h) Por el puente se va a casa, que no por el agua.
Por el puente se va a casa (p), por el agua se va a casa (q)
i ) El nitrogeno se usa en los laboratorios y reemplaza el aire de ciertos
aparatos cuando el oxgeno es perjudicial en las operaciones.
(el oxgeno es perjudicial (q), el nitrogeno se usa (p) y reemplaza (r))
j ) Si el hombre es moral, no esta determinado unvocamente por el am-
biente y cabe exigirle cuentas de sus elecciones.
El hombre es moral (p), determinado unvocamente...(q), cabe exi-
girle cuenta...(r)
k) La persona humana tiene creencias sobre multitud de cosas, pero tal
multitud no forma un caos, sino que esta organizada psicologicamen-
te.
La persona humana tiene...(p), Tal multitud forma un caos (q), esta or-
ganizada psicologicamente (r)
23. Exprese las siguientes especicaciones de un sistema usando las proposi-
ciones j, y : junto con conectivos logicos.
j: Los usuarios introducen una clave correcta.
: El acceso se concede.
:: El usuario ha pagado la cuota de suscripcion.
24 CAP
ITULO 2. L
OGICA PROPOSICIONAL
a) El usuario ha pagado la cuota de suscripcion, pero no introduce la
clave correcta.
b) El acceso se concede siempre que el usuario haya pagado la cuota de
suscripcion e introducido la clave correcta.
c) El acceso es denegado si el usuario no ha pagado la cuota suscripcion.
d) Si el usuario no ha introducido la clave correcta pero ha pagado la
cuota de suscripcion, entonces el acceso es concedido.
24. Exprese cada una de las siguientes proposiciones compuestas en enuncia-
dos en espa nol
j: Nadar a Quintana Roo por la orilla esta permitido.
: Los tiburones se han hecho notar cerca de la orilla.
a)
b) j
c) j
d) j
e) j
f ) j
g) j
h) j (j )
25. Hallar el antecedente y el consecuente de cada enunciado.
a) Las plantas saludables crecen con suciente agua.
b) Incrementar la disponibilidad de informacion es una condicion nece-
saria para los avances tecnologicos.
c) Los errores se introduciran solo si hay una modicacion en el progra-
ma.
d) Un ahorro de combustible implica un buen aislamiento o tormentas
por todas partes.
26. Determine si lo siguiente es verdadero o falso. Aqu j, y : son proposi-
ciones arbitrarias.
a) Una forma equivalente para expresar la recproca de p es suciente
para q es p es necesaria para q.
b) Una forma equivalente para expresar la inversa de p es suciente
para q es es suciente para j.
c) Una forma equivalente para expresar la contrapositiva de p es ne-
cesaria para q es es necesaria para j.
d) Una forma equivalente para expresar la recproca de j ( :) es
( :) j.
27. Hugo, Paco y Luis son sospechosos de robar los dulces de la cafetera de
la escuela de junto. Supon que j, y : simbolizan los enunciados Hugo
es inocente, Paco es inocente y Luis es inocente, respectivamente.
Construya formulas proposicionales que indiquen en que caso se hacen
verdaderas.
a) Hay a lo sumo un inocente.
b) Hay a lo sumo un culpable.
c) Si hay alg un culpable, entonces hay mas de uno.
d) Hay mas culpables que inocentes.
e) Hay mas inocentes que culpables.
28. Escriba las siguientes proposiciones en la forma p si y solo si q en es-
pa nol.
a) Para que consigas 10 en este curso, es suciente y necesario que apren-
das a resolver problemas de Matematicas Discretas
b) Si lees el periodico todos los das, estaras informado, y viceversa
c) Llueve si es un da de n de semana, y es un da en n de semana si
llueve
d) Puedes ver al hechicero solo si el hechicero no esta dentro, y el he-
chicero no esta dentro solo si puedes verlo
29. En cada enunciado condicional establezca la inversa y la contrapositiva.
a) Si nieva hoy, esquiare ma nana.
b) Vengo a clase cuando hay examen.
c) Un entero positivo es primo solo si no tiene otros divisores que sean
1 y el mismo.
30. En cada enunciado condicional establezca la inversa y la contrapositiva.
a) Si nieva esta noche, entonces permanecere en casa.
b) Voy a la playa siempre que sea un da soleado de verano.
c) Cuando me levanto tarde, es necesario que duerma hasta la media
noche.
31. Escriba la recproca, la inversa y la contrapositiva de cada una de las si-
guientes implicaciones. Para cada implicacion, determine su valor de ver-
dad, as como el valor de verdad de la recproca, la inversa y la contrapo-
sitiva correspondiente.
26 CAP
ITULO 2. L
OGICA PROPOSICIONAL
a) Si hoy es el da del trabajo, entonces ma nana es martes.
b) Si 1 < 3 y 3 + 7 = 10, entonces
3
2
= 1.
c) Si Paco vive en Nepal, entonces Paco vive en Vietnam.
32. Escriba el recproco, la inversa, la contrapositiva y la negacion de la si-
guiente proposicion Si Sandra termina su trabajo, entonces ira al juego
de basketball, a menos que nieve.
33. Construya la tabla de verdad para las siguientes proposiciones compuestas.
a) j ( :)
b) j ( :)
c) (j ) (j :)
d) (j ) (j :)
e) (j ) ( :)
f ) (j ) ( :)
34. Sean j, , : proposiciones simples.
a) Use las tablas de verdad para vericar las siguientes equivalencias
logicas.
1) j ( :) (j ) (j :)
2) ((j ) :) ((j :) ( :))
3) (j ( :)) (: (j ))
b) Use las reglas de sustitucion para ver que (j (:)) ((j)
:)
35. Para la tabla de verdad j , el resultado es verdadero si j es verdadero,
si es verdadero, o si ambos son verdaderos. Cuando el resultado de
ambos componentes es verdadero se le llama o inclusivo. Lo anterior se
ejemplica con el enunciado: Tendremos lluvia o relampagos ma nana.
Otro uso de la palabra o es la o exclusiva que algunas veces se escribe
XOR, cuyo resultado es falso cuando ambos componentes son verdaderos.
El o exclusivo se ejemplica en el enunciado: En la interseccion, deberas
dar vuelta al norte o sur El o exclusivo se simboliza como j .
a) Escriba la tabla de verdad de la o exclusiva
b) Muestre que j (j ) es una tautologa
36. Construya la tabla de verdad para las siguientes proposiciones compuestas.
a) (j ) (j )
b) (j ) (j )
c) (j ) (j :)
d) (j ) (j )
e) (j ) (j )
f ) (j ) (j )
37. Dados los valores de verdad j como verdadero, falso y : verdadero, Cual
es el valor de verdad de los siguientes formulas bien formadas?
a) j ( :)
b) (j ) :
c) (j ) :
d) j ( :)
38. Resuelva las siguientes tablas de verdad.
a) (j )
b) (j j) ( )
c) (j ) j
d) (j j) :
e) j ) ( :)
f ) (j ) ( j)
g) (j ) (j )
h) (j ) (j :) (j :) (j :)
i ) ((j ) : (j :)) ( :)
j ) ( : j) (: : j )
k) (j ( :)) (t t) ((: :))
l ) ((j ) j) (( :) ( :))
m) (j ) ((j ) (j ))
n) ((j ) :) (: (j ))
n) ((j :) (: :)) (: :) (j :)
o) ((j ) ( :)) (j :)
p) (j :) ( :) (j : :)
39. Demuestre que todas las formulas de las formas indicadas a continuacion
son tautologas:
a) j j
b) j ( j )
c) j
d) (j :) (( :) (j :))
28 CAP
ITULO 2. L
OGICA PROPOSICIONAL
e) j (j )
f ) j ( j)
40. Determine si las siguientes formulas son tautologas, contradiccion o con-
tingencia.
a) j (j j)
b) (j )
c) (j ) ( j)
d) (j ) ( j)
e) ((j ) j)
f ) (j ) (j )
41. Construya las tablas de verdad para las siguientes formulas bien formadas.
a) (j ) j
b) (j ) : j ( :)
c) j (j )
d) j j
e) (j ) ((j :) ( :))
f ) j ( j)
g) j j
h) (j ) (j )
i ) ((j ) :) j :
42. Muestre que cada unos de los enunciados condicionales es una tautologa
por medio de tablas de verdad.
a) (j ) j
b) j (j )
c) (j ) j
d) j (j )
e) (j ) (j )
f ) (j )
43. Utilice tablas de verdad para vericar que j ( :) (j ) : es
una tautologa.
44. Construyendo tablas de verdad, verique que las siguientes formulas bien
formadas son tautologas.
a) j j
b) (j) j
2.2. EVALUACI
ON DE EXPRESIONES 29
c) j
d) j j
e) (j ) j (Ley de De Morgan)
f ) (j ) j (Ley de De Morgan)
45. Demostrar que la expresion
((j ) :) ((j :) )
es una tautologa.
46. Responda utilizando tablas de verdad si los argumentos del ejercicio 1 de
la seccion 2.1 son correctos.
47. Puede construir una argumentacion valida cuyas premisas sean verdade-
ras y cuya conclusion sea falsa? Por que?
48. Traduzca los siguientes argumentos logicos indicando el signicado de las
variables proposicionales usadas. Ademas decida si son correctos utilizando
tablas de verdad.
a) Ra ul esta comiendo pastel. Si Ra ul esta comiendo pastel, no esta ju-
gando con su PS3. Si no esta jugando con su PS3 entonces su padre
no pagara el seguro de la casa. Por tanto el padre de Ra ul no pagar a el
seguro de la casa.
b) Que el auditorio este lleno es condicion necesaria y suciente para
que la banda de rock toque. Si la banda de rock toca entonces todos
estan cantando. Nadie canta. Por tanto el auditorio no esta lleno.
2.2. Evaluaci on de Expresiones
1. Eval ue las expresiones en los estados dados.
Expresiones Estado Evaluacion
i = 1 , = 0
(o c),/ a=30, b=4, c=6
(j ) : j = 1, = 1, : = 0
j : j = 0, = 0, : = 1
(j :) j = 1, : = 1
2. Eval ue las expresiones en los estados dados.
Expresiones Estado Evaluacion
i = 10 , = 10
(o /),c a=1, b=-1, c=1, d=7
(j ) : j = 1, = 0, : = 0
((j ) ( :)) j = 0, = 0, : = 0
(j ) (j ) j = 1, = 0
30 CAP
ITULO 2. L
OGICA PROPOSICIONAL
3. Restaure los parentesis en la siguiente formula.
j : : :
4. Realice las siguientes sustituciones textuales:
a) (j j :)[j := j ][ := : j]
b) (j (j :))[j, := j , :][j, := j, :]
c) ((j ( j :)[j, := :, j ])[: := j]
d) ((j ) j[j, := : , j] )[: := j]
e)
(
(: )[: := j :] (: )[ := j :]
)
[j, , : := , : t, :]
5. Realiza las siguientes sustituciones y elimina los parentesis innecesarios en
el resultado:
a) (j )
(
(
j (: t)
)
)
[:, := j , : :]
b)
(
(
:
)
[, j := j, :] (: (: j))
)
[:, j := :, : j]
c)
(
(
j :
)
[ := : ]
(
(j ) (j :)
)
)
[, :, j := :, j, (: )]
2.3. Analisis sintactico de expresiones l ogicas
1. Para cada una de las siguientes formulas proposicionales identique su
esquema al restaurar todos los parentesis.
a) j : :
b) j
c) : (t j :)
d) (n j) : j
e) n n : :
f ) : j :
g) (j ) (j ) j
h) : :
i ) n t (j )
j ) : t (j )
2.3. AN
ALISIS SINT
ACTICO DE EXPRESIONES L
OGICAS 31
2. Considere las siguientes formulas proposicionales:
a) j : : j
b) j : :
c) j ( j)
d) : :
Realice lo siguiente para cada una de ellas:
a) Restaure todos los parentesis.
b) Muestre su esquema as como el o los rangos respectivos.
c) De dos estados tales que uno eval ue la formula a verdadero y el otro
a falso.
3. Para cada una de las siguientes formulas, identique el conectivo principal
as como su rango o rangos y restaure los parentesis.
a) j : :
b) j
c) : (t j :)
d) (n j) : j
e) n n : :
f ) n (n (: :))
g) : j :
h) (j ) (j ) j
i ) : :
j ) n t (j )
k) : t (j )
4. Sean j, , : y : proposiciones atomicas. Construye el arbol de analisis
sintactico.
a) (j ) (: :)
b) j ( : :)
c) ((j true) ( false)) (: : true)
5. Encuentre el dual de cada una de las proposiciones compuestas (la formu-
la dual de , denotada
1
intercambiando con y cambiando cada
variable j por su negacion j)
a) j :
b) (j :) :
c) (j false) ( true)
32 CAP
ITULO 2. L
OGICA PROPOSICIONAL
6. Cuando pasa que :
:? Donde : es una proposicion compuesta.

7. Considere la siguiente proposicion 1:
(( (j :)) (: ))
a) Construya el arbol de analisis sintactico para 1.
b) Corresponde 1 al esquema 1C 1) ? Justique su respuesta.
c) Corresponde 1 al esquema (1 C) 1)? Justique su res-
puesta.
8. Construya los arboles sintacticos de las siguientes formulas y determina
su esquema.
a) j t j
b) j :
c) (j ) ( :) j :
d) (j :) : : :
e) (j ) (j ) :
9. Use las reglas de sustitucion para vericar que cada una de las siguientes
proposiciones es una tautologa.(En este caso j, y : son proposiciones
atomicas.)
a) (j ( :)) (j ( :))
b) ((j ) :) (: (j ))
c)
(
(
(j) :
)
(:t)
)
(
(
(
(j) :
)
:
)
(
(
(j) :
)
t
)
)
10. Para las proposiciones atomicas j, .
a) Verique que j [ (j )] es una tautologa.
b) Verique que (j) [ ] es una tautologa, usando el resultado
de la parte (a), las reglas de sustitucion y las leyes de la logica.
c) Es (j ) [ (j )] una tautologa?
2.4. Equivalencia L ogica
1. Muestre que las siguientes proposiciones son logicamente equivalentes.
a) j y j
b) j y j
c) (j ) y j
2.4. EQUIVALENCIA L
OGICA 33
d) (j ) y j
e) (j ) (j :) y j ( :)
f ) (j :) ( :) y (j ) :
g) (j ) (j :) y j ( :)
h) (j :) ( :) y (j ) :
i ) j ( :) y (j :)
j ) j y (j ) ( j)
k) j y j
2. Transforme la formula (j) (j:) en otra logicamente equivalente que
solo use los conectivos y
3. Transforme la formula resultante del ejercicio anterior en otra logicamente
equivalente que solo use los conectivos y
4. Muestre que las siguientes proposiciones no son equivalentes.
a) (j ) : y j ( :)
b) (j ) : y (j :) ( :)
c) (j ) (: :) y (j :) ( :)
5. Demuestre usando leyes de equivalencia logica.
a) = (j ) ( j)
b) = (j ) ( :) (j :)
c) = (j ( )) j
d) = (j j) j
e) = (j j)
f ) = j (j )
6. Utilice las leyes de equivalencia logica para simplicar las formulas siguien-
tes:
a) (j ) j
b) (j ) j
c) (j )
d) j (j )
e) (j ) j
f ) (j ) j
7. Muestre que para j, proposiciones atomicas,
j [(j ) (j )] (j )
34 CAP
ITULO 2. L
OGICA PROPOSICIONAL
8. Verique que
(j ) ( :) (: j) (j ) ( :) (: j)
para las proposiciones atomicas j, y :.
9. Dena el conectivo NAND o No...y... como (j ) =
Jc}
(j ),
para las proposiciones j, . Represente lo siguiente utilizando solamente
este conectivo.
a) j
b) j
c) j
d) j
e) j
10. El conectivo NOR o NO...o... se dene para las proposiciones j,
como (j ) =
Jc}
(j ) Represente las proposiciones de las partes a) a
e) del ejercicio anterior utilizando solamente este conectivo.
11. Para las proposiciones j, , demuestre que:
a) (j ) =
Jc}
(j )
b) (j ) =
Jc}
(j )
12. Muestre que () es una coleccion funcionalmente completa de operaciones
logicas, con ayuda de lo siguiente.
a) Muestre que j j es logicamente equivalente a j.
b) Muestre que (j ) (j ) es logicamente equivalente. a j
13. Encuentre una proposicion logicamente equivalente a j usando solo
el operador logico
14. Sean j, y : proposiciones atomicas. Demuestre la verdad o falsedad (con
un contraejemplo) de lo siguiente:
a) j : (j ) :
b) j ( :) (j ) :
15. Pruebe que:
j ( :) (j ) :
utilizando una serie de equivalencias.
16. Para las proposiciones atomicas j, , :, verique que las proposiciones com-
puestas
j ( :)
(j ) (j :)
son logicamente equivalentes.
2.5. CONCEPTOS SEM
ANTICOS IMPORTANTES 35
a) Utilizando tablas de verdad.
b) Recurriendo a las leyes de la logica, las reglas de sustitucion y cual-
quier otra equivalencia logica que convenga.
17. Pruebe que hay enunciados compuestos que no son equivalentes a ning un
enunciado usando solo los conectivos y
18. Utilizando las propiedades de los conectivos logicos y las leyes de equiva-
lencia demuestre que los siguientes pares de formulas proposicionales son
equivalentes:
a) j (j ) y true
b) (j ) y j
c) (j ( )) j y j
d) (j ) (j ) y j
19. Sean j, y : proposciones at omicas. Encuentre una forma de la contrapo-
sitiva de j ( :) con:
Solo una presencia del conectivo
Sin que aparezca el conectivo
20. Construya la tabla de verdad del operador NAND.
21. Construya la tabla de verdad del operador NOR.
22. Pruebe que cada componente de la formula bien denida es equivalente a
una formula bien denida usando solo los conectivos:
a) y
b) y
2.5. Conceptos Semanticos Importantes
1. Verique que cada una de las siguientes proposiciones es una implicacion
logica, mostrando que es imposible que el consecuente tenga el valor de
verdad 0 mientras que el antecedente tenga el valor de verdad 1
a) (j ) j
b) j (j )
c) [(j ) j]
d) [(j ) (: :) (j :)] ( :)
e) [(j ) (: :) ( :)] (j :)
2. En cada uno de los siguientes casos, decida si el conjunto de formulas
indicado es satisfacible o insatisfacible
36 CAP
ITULO 2. L
OGICA PROPOSICIONAL
a) j ,
b) j , :, j :
c) j :, ((j ) :)
3. Calcule el valor de verdad de las siguientes formulas, en una interpretacion
tal que (j) = 1, () = 0,(:) = 1
a) j j
b) j j
c) j j
d) (j ) (j )
e) j ( :)
f ) (j ) : ( j)
4. Analice la consecuencia logica en cada caso:
a) o (/ o) = /
b) (o /) (o (/ c)) = (o c)
c) ((c d) c) = ((c d) d)
d) o (o /) = /
e) (o (/ c)) (o d) / = (d c)
f ) (o /) / (o c) = c
g) (o /) (/ (c d)) (o (/ c)) = (o d)
h) (o (/ c)) = (/ (o c))
i ) (o /) = (o /)
5. Analice la consecuencia logica en cada caso:
a) (j ) j =
b) (j ) = ( j)
c) ( j) = (j )
d) j = j j
e) j j =
f ) ((j ) :) = (j ( :))
g) j j =
h) j ( :) = (j ) (j :)
i ) j ( :) = (j ) (j :)
6. Establezca la validez del argumento:
((j ) (( :) :) :) = (j :)
2.6. AN
ALISIS DE ARGUMENTOS 37
7. Determine cuales de las siguientes son consecuencias logicas validas y cua-
les no lo son:
a) j = j
b) j =
c) j :, : = j
d) (j ) j = j
2.6. Analisis de Argumentos
1. Utilice logica proposicional para probar la validez de los argumentos.
a) j (j )
b) (j ) (j )
c) (j ) (j :) ( :)
d) (j ) ( :) (: :) (j :)
e) (j ) (j :) ( :) :
f ) (j ) (: j) (: ) j
g) (j ( :)) (: :) (: t) (t j)
2. Formalice la siguiente argumentacion en logica de proposiciones y decida
si es valida o no utilizando tablas de verdad.
Si Carlos no esta en la barbera,
entonces si Alejandro no esta tampoco, Bernardo tiene que estar
Si Allen no esta, entonces Bernardo tampoco esta
Si Carlos no esta, entonces Alejandro esta
3. Considere en la tabla de verdad asociada al siguiente argumento todos los
renglones que hacen falsa a la conclusion y compruebe que en cada uno
de ellos se hace falsa al menos una premisa
Los matrimonios podran ser buenos, al menos durante un cierto tiem-
po, si hubiera en ellos armona y satisfaccion sexual. Pero para que esto
ocurriera hara falta una educacion que favoreciera la sexualidad, una ex-
periencia sexual prenupcial y una emancipacion con respecto a la moral
convencional. Ahora bien: estos mismos factores, que son los que permi-
tiran realizar buenos matrimonios, signican al mismo tiempo la condena
de esta institucion. Luego en los matrimonios no hay armona y satisfac-
cion sexual.
4. Los siguientes tres argumentos son validos. Establezca la validez de cada
uno por medio de una tabla de verdad. En cada caso, determine las las
de la tabla que son cruciales para evaluar la validez del argumento y las
que pueden dejarse de lado.
38 CAP
ITULO 2. L
OGICA PROPOSICIONAL
a) (j (j ) :) ((j ) :)
b)
(
((j ) :) (j :)
)
(j )
c)
(
(j ( :))
)
(j :)
5. Demostrar la validez del siguiente argumento mediante interpretaciones.
Si lo Uno esta en movimiento, este habra de ser, o de movimiento sin cam-
bio en el estado, o de alteracion.
No puede tratarse de un movimiento de alteracion, porque entonces lo
Uno dejara de ser Uno.
Si se trata de lo primero, tendra que ser, o bien de rotacion de lo Uno
sobre s mismo en el propio lugar en el que se encuentra, o bien cambio de
un lugar a otro. Ninguna de las dos cosas ocurre.
Luego lo Uno no esta sujeto a ning un tipo de movimiento.
p: Lo Uno esta en movimiento.
q: Lo Uno sufre un movimiento sin cambio en el estado.
r: Lo Uno sufre un movimiento de alteracion.
s: Lo Uno rota sobre s mismo.
t: Lo Uno cambia de un lugar a otro.
6. Use interpretaciones para probar que los argumentos del ejercicio 2 seccion
2.1 son validos.
7. Use interpretaciones para probar que el siguiente argumento es valido.
Si mi cliente es culpable, entonces el cuchillo estaba en el cajon. Ni el
cuchillo estaba en el cajon o Juan Pulido vio el cuchillo. Si el cuchillo no
estaba ah el 10 de octubre, signica que Juan Pulido no vio el cuchillo.
Ademas, si el cuchillo no estaba ah el 10 de ocutubre, entonces el cuchillo
estaba en el caj on y tambien el martillo estaba en el establo. Pero todos
sabemos que el martillo no estaba en el establo. Por lo tanto, se noras y
se nores del jurado, mi cliente es inocente.
8. Considere cada uno de lo siguientes argumentos. Si el argumento es valido,
identique la regla de inferencia que establece su validez. Si no, indique si
el error se debe a un intento de argumentacion por la recproca o por la
inversa.
a) Andrea puede programar en Pascal y puede programar en FOR-
TRAN. Por lo tanto, Andrea puede programar en Pascal.
b) Una condicion suciente para que Berta gane el torneo de golf es que
su oponente Mirna no haga un birdie en el ultimo hoyo.
Mirna no hizo un birdie en el ultimo hoyo.
Berta gano el torneo de golf.
Por lo tanto Mirna, la oponente de Berta, no hizo un birdie en el
ultimo hoyo.
2.6. AN
c) Si el programa de Ronaldo es correcto, entonces podra terminar su
tarea de Ciencias de la Computacion.
Ronaldo tarda mas de dos horas en terminar su tarea de Ciencias de
la Computacion.
Por lo tanto, el programa de Ronaldo es incorrecto.
d) Las llaves del auto de Elisa estan en su bolso o sobre la mesa de la
cocina
Las llaves del auto de Elisa no estan sobre la mesa de la cocina.
Por lo tanto, las llaves del auto de Elisa estan en su bolso.
e) Si bajan los tipos de interes, entonces subiran las acciones de la bolsa.
Los tipos de interes no estan bajando.
Por lo tanto, no subiran las acciones de la bolsa.
f ) Si Alejandro recibe un aguinaldo, entonces viajara al suroeste de
Estados Unidos.
Si Alejandro viaja al suroeste de Estados Unidos, entonces visitara el
Gran Ca non.
Por lo tanto, si Alejandro recibe un aguinaldo, entonces visitara el
Gran Ca non.
9. Establezca la validez de los siguientes argumentos:
a) ((j ) :) ((j :) )
b) (j (j ) ( :)) :
c) j , : (j :)
d) j , : , :, j
e) j ( :), j, j, :
f ) j , j (: ), : (: t), :, t
g) j ( :), j :, t , :, : t
h) j , j :, :,
10. Escriba cada uno de los argumentos del ejercicio 3 seccion 2.1 en forma
simbolica. Establezca despues la validez del argumento o de un contra-
ejemplo para mostrar que no es valido.
11. Escriba cada uno de los siguientes argumentos en forma simbolica. Esta-
blezca despues la validez del argumento o proporcione un contraejemplo
para mostrar que no es valido.
a) Si hace fro el viernes, entonces Cristobal utilizara su abrigo si los
bolsillos estan remendados. El pronostico para el viernes es de clima
fro, pero los bolsillos no estan remendados. Por lo tanto, Cristobal
no usara su abrigo este viernes.
40 CAP
ITULO 2. L
OGICA PROPOSICIONAL
b) El contrato se cumplira si y solo si las nuevas ventanas se instalan en
la casa en junio. Si las nuevas ventanas se instalan en junio, entonces
Cristina podra mudarse a su nueva casa el primero de julio. Si no se
puede cambiar el primero de julio, debera pagar la renta de julio de
su departamento. Las ventanas se instalaron en junio o Cristina debe
pagar la renta de julio de su departamento. Por lo tanto, Cristina no
tendra que pagar la renta de su departamento para el mes de julio.
12. Utilice interpretaciones para analizar la validez del siguiente razonamiento:
:, j ( :), :, : : j
13. Demostrar la validez de los siguientes esquemas de inferencia.
a) j , : :, : , :
j
b) j , : j, : t, (: :), t :
n
c) : :, j , (j :),
:
d) j ( :),
j :
e) j ( :), j :,
:
f ) (j ) :, (j ) :, j
: :
g) : t, t j, : n, n
j
h) (j ) :, (: :) t
(j :) t
14. Justique cada uno de los pasos en la siguiente derivacion para mostrar
que el siguiente argumento es valido.
[j ( :)] [j ( :)]
Pasos Razones
1) j
2) j
3)
4) :
5) :
6) :
7 ): :
8) :
9) : t
2.6. AN
15. Pruebe la correccion de las siguientes inferencias usando derivaciones; en
caso de usar reglas derivadas, estas tambien deben probarse
a) j ( :), (: :) t, (: t) n j ( n)
b) (j ) (: :), ( :) t, t j :
16. Pruebe la validez de las siguientes inferencias usando derivaciones; en caso
de utilizar reglas derivadas, estas tambien deben probarse:
a) t (j ), j (: n), n t (: n)
b) j j
17. Utilice derivaciones para demostrar la validez del siguiente razonamiento
(j ) :, j : (: :)
18. Pruebe la correccion de las siguientes inferencias usando derivaciones; en
caso de utilizar reglas derivadas, estas tambien deben probarse:
a) j , j t, t : :
b) (j j)
19. Utilice derivaciones para estudiar la correccion del siguiente razonamiento:
(: ) (: :), (j ((: ) (j :))) j :
20. Prueba la validez de las siguientes inferencias usando derivaciones; en caso
de utilizar reglas derivadas, estas tambien deben probarse
a) j ( :), j t, (t :) : :
b) (j ) (j )
21. Demostrar la siguiente inferencia por medio de derivaciones:
j (j )
22. Decida si los siguientes razonamientos son correctos por medio de deriva-
ciones
42 CAP
ITULO 2. L
OGICA PROPOSICIONAL
a) Si la tormenta contin ua o anochece, nos quedaremos a cenar o a
dormir; si nos quedamos a cenar o a dormir no iremos ma nana al
concierto; pero si iremos ma nana al concierto. As pues, la tormenta
no contin ua
Formalizacion
p: la tormenta contin ua
q: anochece
r: nos quedamos a cenar
s: nos quedamos a dormir
t: ir ma nana al concierto
(j ) (: :), (: :) t, t, j
b) Si r = 1 e j = 2, entonces . = 3. Si, j = 2 implica que . = 3 entonces
n = 0. Ademas r = 1. Por consiguiente n = 0.
Formalizacion:
p: r = 1
q: j = 2
r: . = 3
s: n = 0
(j ) :, ( :) :, j :
c) Si un triangulo tiene tres angulos, un cuadrado tiene cuatro angulos
rectos. Un triangulo tiene tres angulos y su suma vale dos angulos
rectos. Si los rombos tienen cuatro angulos rectos, los cuadrados no
tienen cuatro angulos rectos. Por lo tanto, los rombos no tienen cua-
tro angulos rectos
Formalizacion:
p: un trangulo tiene 3 angulos
q: un cuadrado tiene 4 angulos rectos
r: la suma vale dos angulos rectos
s: los rombos tiene cuatro angulos rectos
j , j :, : :
d) Si la gorila es atractiva, el gorila sonreira abiertamente o sera infe-
liz. Si no es feliz, no procreara en cautiverio. Por consiguiente, si la
gorila es atractiva, entonces, si el gorila no sonre abiertamente no
procreara en cautiverio
Formalizacion:
p: la gorila es atractiva
q: el gorila sonreira
r: el gorila es feliz
2.6. AN
s: procreara en cautiverio
j ( :), : : j ( :)
e) Si el ejercito marcha contra el enemigo, tiene posibilidades de exito;
y arrasara la capital enemiga, si tiene posibilidades de exito. O el
ejercito marcha contra el enemigo, o se repliega rapidamente. Si se
repliega rapidamente, el enemigo atacara su retaguardia; y perdera la
guerra, si el enemigo ataca su retaguardia. Por tanto, si no arrasa la
capital enemiga, perder a la guerra
Formalizacion:
p: el ejercito marcha contra el enemigo
q: tiene posibilidades de exito
r: arrasara la capital enemiga
s: se repliega rapidamente
t: el enemigo atacara la retaguardia
u: perdera la guerra
(j ) ( :), j :, (: t) (t n) : n
f ) Si no es cierto que se puede ser rico y dichoso a la vez, entonces la
vida esta llena de frustraciones y no es un camino de rosas. Si se es
dichoso, no se puede ser rico. Por consiguiente, la vida esta llena de
frustraciones
Formalizacion:
p: se puede ser rico
q: se puede ser dichoso
r: la vida esta llena de frustraciones
s: es un camino de rosas
(j ) (: :), j :
g) Si la descripcion bblica de la cosmologa es estrictamente correcta,
el Sol no fue creado hasta el cuarto da. Si el Sol no fue creado hasta
el cuarto da, no puede haber producido la sucesion del da y la no-
che durante los tres primeros das. Pero, o bien las Escrituras usan
la palabra da en un sentido diferente al aceptado usualmente, o
bien el Sol debe haber sido la causa de la sucesion del da y la noche
durante los tres primeros das. De todo ello se desprende que, o bien
la descripcion bblica de la cosmologa no es estrictamente correcta,
o bien da es utilizado en las Escrituras en diferente sentido al que
usualmente se acepta
Formalizacion:
p: La descripcion bblica de la cosmologa...
44 CAP
ITULO 2. L
OGICA PROPOSICIONAL
q: El Sol fue creado el cuarto da
r: puede haber producido la sucesion...
s: Las Escrituras usan la palabra da...
j , :, : : j :
h) Si los astronomos observan un nuevo planeta con atmosfera fuera de
nuestro sistema solar, la Tierra no sera el unico planeta habitable en
el Universo. O la Tierra no es el unico planeta habitable o hay siste-
mas inexplorados. Por tanto, o los astronomos no observan un nuevo
planeta con atmosfera, fuera de nuestro sistema solar, o la Tierra es
el unico planeta habitable del Universo
Formalizacion:
p: Los astr onomos observan...
q: La Tierra sera el unico...
r: Hay sistemas inexplorados
j , : j
i ) No existe una estrella gemela al Sol fuera de la Va Lactea o existe
un planeta en esa estrella llamda Nemesis. Los dinosaurios desapare-
cieron de la faz de la Tierra debido a un cataclismo producido por la
aproximacion a nuestro planeta de un cuerpo celeste de considerable
tama no. Si existe una estrella gemela al Sol fuera de la Va Lactea,
su planeta Nemesis destruira la Tierra, entonces no es cierto que los
dinosaurios desaparecieron de la faz de la Tierra debido a un cata-
clismo producido por la aproximacion a nuestro planeta de un cuerpo
celeste de considerable tama no. Por tanto, no es cierto que sea cierto
que existe un planeta llamado Nemesis en la estrella gemela al Sol
que se halla fuera de la Va Lactea, destruya la Tierra
Formalizacion:
p: existe una estrella gemela...
q: existe un planeta llamado Nemesis
r: los dinosaurios desaparecieron...
s: Nemesis destruira la Tierra
j , :, (j :) : ( :)
23. Formalizar y resolver el siguiente argumento con derivaciones
Si no hay control de nacimientos entonces la poblacion crece ilimitada-
mente. Pero si la poblacion crece ilimitadamente aumentara el ndice de
pobreza. Por consiguiente, si no hay control de nacimientos aumentara el
ndice de pobreza
24. Formalizar y resolver el siguiente argumento
2.6. AN
Si los estudiantes de la UNAM apoyan a Gonzo, entonces renuncian al
seguro popular. Y si combaten a Gonzo, entonces favorecen a Bob Esponja.
Pero uno de los dos: o apoyan a Gonzo o lo combaten. Por consiguiente,
habran de renunciar al seguro popular o favorecer a Bob Esponja
25. Resuelva el siguiente argumento
: j j :
26. Resuelva por derivaciones el siguiente argumento
j , j j
27. Demostrar que las siguientes deducciones, correspondientes a Axiomas de
Kleene, son correctas
a) (j ) ((j ( :) (j :))
b) (j :) (( :) (j ) :)
28. Comprobar si las siguientes deducciones son correctas mediante derivacio-
nes
a) j , j : :
b) (j ) , j
29. Comprobar si las siguientes deducciones son correctas mediante derivacio-
nes
a) j :, : (j : :)
b) j : :, : j :
30. Comprobar si la siguiente deduccion es o no correcta, utilizando deriva-
ciones
Solo si llego pronto no se me enfriara el cafe. No llego pronto a menos que
el traco vaya bien, suene el despertador y no me quede dormido. Pero
o no suena el despertador o estoy sordo. Oigo bien, luego se me enfra el
cafe
31. Comprobar si la siguiente deduccion es o no correcta, utilizando deriva-
ciones
Si alguien ve o alguien oye, hay alguien que esta alerta. Si es cierto que
alguien ve solo si no es posible la total sorpresa, entonces hay algo pre-
visible. Luego, o bien nada hay previsible, o es posible la total sorpresa
aunque haya alguien alerta
46 CAP
ITULO 2. L
OGICA PROPOSICIONAL
32. Determinar si las siguientes deducciones son correctas o no mediante de-
rivaciones
a) j ( :), :, : : j : :
b) j : : t, t , : n j n :
33. Formalizar y comprobar si las siguientes deducciones son correctas me-
diante derivaciones
a) Hace sol y no llueve. Si hace sol entonces, si es miercoles, vamos al
cine. Llueve, luego como palomitas
b) Es primavera y es suciente comerse un helado para calmar la sed.
Si no calmas tu sed entonces no te sientes bien. Te sientes bien si es
primavera. Luego si es primavera calmas tu sed
34. Formalizar y comprobar si la siguiente es una deduccion correcta mediante
derivaciones
Cuando el perro no ladra, y el gallo canta, siempre bala la oveja. Solo si
canta la calandria, se da que o ladra el perro o ma ulla el gato. He visto
que o canta el gallo, o canta la calandria, asi que, o bala la oveja, o canta
la calandria
35. Realice las siguiente demostraciones usando derivaciones
a) : p j, j t c c, c , c : t c p
b) c d, c t , , , d
c) d n, , d c , c , .
36. Resuelva usando derivaciones
a) j , : :, j : :
b) j , j c, c j c
c) j , :, j : : :
d) j ( :) (j :)
37. Resuelva los siguientes argumentos usando derivaciones
a) j , : :, : (t :), j t :
b) (j ) (: :), : ( t), : t j ( :)
c) (j ) [( :) (j :)]
d) (j ) (: :) [(j :) (j :)] [( :) ( :)]
e) (j :) ( t), (: t :) (: n :) j :
2.7. TABLEAUX EN C
ALCULO PROPOSICIONAL 47
38. Demostrar la validez de los siguientes esquemas de inferencia por medio
de derivaciones
a) (j ) : (j :) ( :)
b) : :, j , (j :), j :
c) (j ) :, : t, : : t
d) j , ( :), j : : t
e) j , : j j ( :)
f ) (j ) :, : :, : j
g) (j ) (: :), (t j), t t j
h) j , : j, : :, t :, : t
i ) (j :) :, t, (: t) n, j (n n), n (j :)
39. Comprobar si la siguiente deduccion es correcta, mediante derivaciones
Si voy a la monta na entonces disfruto. Voy a la monta na, por tanto, si no
voy a la monta na o no disfruto entonces sale el sol
40. Comprobar que las siguientes deducciones son correctas, mediante deriva-
ciones
a) Si corro o si tomo un taxi o si tengo coche, llego a tiempo. Luego, si
no llego a tiempo, es que no tomo un taxi
b) Compro una dona o un helado. Si odio el chocolate, no compro una
dona. Si compro un helado o compro un pastel, tengo que invitar.
Luego, o no odio el chocolate, o tengo que invitar
c) Si estudio Logica, me aburro y acabo abandonando. Pero si me abu-
rro, o me falta inspiracion, o es que no he abandonado. Pero no me
falta inspiracion Por tanto, es que no estudio Logica
41. Formalice el siguiente argumento y demuestre por medio de derivaciones
que es correcto
O es un avion, o es un pajaro, o es superman y tiene plumas. Si es un
avion o es superman, entonces no tiene plumas. Luego, si tiene plumas, es
un pajaro
42. Construya una derivacion de
j, n:, t, ::, nj t:
2.7. Tableaux en calculo proposicional
1. Analice los siguientes argumentos usando tableaux
48 CAP
ITULO 2. L
OGICA PROPOSICIONAL
a) Si se admite la teora del eterno retorno, se debe admitir la existencia
de entidades corpusculares identicables a traves de tiempo y que se
pueda hablar de un estado del universo denido en cada instante
individual. Ahora bien, no es cierto que haya entidades corpusculares
permanentes y estados del universo denidos en cada instante. Por
tanto, la teora del eterno retorno es inadmisible
Si se admite la teora del eterno retorno...:p
Si se admite la existencia de entidades...:q
Se habla de un estado del universo...:r
b) Si la noche es clara, Dracula agitara sus alas y alara sus dientes. Si
agita sus alas y encuentra mi ventana abierta, pasara, me despertara,
pero le dare un fuerte tiron de orejas. Si ala sus dientes y la encuen-
tra cerrada, se enojara, rompera los cristales y le dare un fuerte tiron
de orejas. As pues, si la noche es clara y Dracula encuentra la venta
abierta o cerrada, le dare un fuerte tiron de orejas
La noche es clara...:p
Dracula agitara sus alas...:q
Alara sus dientes...:r
Encuentra mi ventana abierta...:s
La encuentra cerrada (no abierta)...::
Pasara...:t
Me despertara...:w
Le dare un tiron de orejas...:m
Se enojara...:n
Rompera los cristales...:k
c) Si la pena de muerte antepone la defensa de la sociedad a la conser-
vacion de la persona, entonces, si supone la destruccion total de la
persona, imposibilita la correccion del penado. Imposibilita la correc-
cion del penado solo si es condenable eticamente. La pena de muerte
antepone la defensa de la sociedad a la conservacion de la persona.
Por tanto, si la pena de muerte supone la destruccion total de la
persona e imposibilita la correccion del penado, es condenable etica-
mente
La pena de muerte antepone la defensa...:p
Supone la destruccion total de la...:q
Posibilita la correccion del...:r
Es condenable eticamente...:s
d) Si los habitantes de Venus invaden la tierra, entonces los hombres
se pondran nerviosos o las mujeres se entusiasmaran. Si los hombres
se ponen nerviosos, las mujeres se entusiasmaran. Por tanto, si los
habitantes de Venus invaden la Tierra, las mujeres se entusiasmaran
Los habitantes de Venus invaden...:p
Los hombres se pondran nerviosos...:q
2.7. TABLEAUX EN C
Las mujeres se entusiasmaran...:r
e) Si las autoridades prohiben fumar en pipa a los feos, entonces los
guapos se alzaran indignados porque no venden pipas. Si los guapos
no venden pipas o las autoridades no crean nuevos puestos de trabajo,
entonces la nacion no saldra de la crisis econonica. La nacion sale de
la crisis economica y los guapos no venden pipas. Por lo tanto, las
autoridades no prohibiran fumar en pipa a los feos
Las aurotidades prohiben fumar...p
Los guapos se alzaran...q
Los guapos venden pipas...r
Las autoridades crean nuevos...s
La nacion saldra de la crisis...t
f ) Si los losofos callasen, la nieve quemara y los crculos seran cua-
drados. Si los crculos fuesen cuadrados, entonces los matematicos se
dedicaran a cazar brujas y las abejas a fabricar acero. Ni los ma-
tematicos se dedican a cazar brujas, ni las abejas a fabricar acero.
Por tanto, los losofos no callaran
Los losofos callasen...p
La nieve quemara...q
Los crculos seran cuadrados...r
Los matematicos se dedicaran...s
Las abejas se dedicaran...t
2. Usando el procedimiento de los tableaux decida cuales de entre las formu-
las siguientes son tautologas. Para aquellas que no lo sean, encuentre un
modelo de la negacion
a) (j :) (( :) (j :))
b) (j ) (j )
c) (j ) ( j)
d) (j ) : ( j)
e) (j ) (j :) (j :)
f ) (j ) ( j)
3. Utilice tableaux para resolver el siguiente argumento
(j ) ((j :) )
(: ( :)) ((: ) (j :))
j ((: j) ((j :) ))
4. Utilice tableaux para resolver lo siguiente
(j ) (j :) = : (j )
5. Utilice tableaux para estudiar la validez de la siguiente consecuencia logica
(j ) (: ), (: j) (: :) = : j
50 CAP
ITULO 2. L
OGICA PROPOSICIONAL
6. Demuestre mediante el metodo de tableaux que todas las formulas de la
forma que se indica a continuacion son tautologas
a) j j
b) j (j )
c) j ( j)
d) (j j) (j )
e) j ( j) j
f ) ((j ) j) j
g) (j :) ( :) (j :)
h) (j ( :)) (j ) (j :)
7. Demuestre usando el metodo de los tableaux que las siguientes consecuen-
cias logicas son validas
a) j , j = j
b) j :, j = :
c) j :, j : = : :
8. Formalice cada una de las argumentaciones siguientes en logica de propo-
siciones y use el metodo del tableaux para probar su validez
a) Si la gente no estuviera embrutecida, rechazara el mundo en que vi-
vimos o desesperara. Por otra parte, la gente no rechaza este mundo.
Luego la gente anda embrutecida o desesperada
b) Si la causa Palestina fuese justa y el gobierno de Israel no fuese
obstinado, la paz en Oriente Medio sera posible. Es as que la causa
Palestina es justa. Por consiguiente, si la paz de Oriente Medio no
resulta posible, sera por la obstinacion del Gobierno de Israel
c) Tres famosos polticos pronuncian un discurso en television. Pode-
mos estar seguros que si cualquier de los tres no miente, tambien lo
hara alguno de los dos restantes. Por otra parte, es indudable que
alguno de los tres sera un mentiroso. Por consiguiente, podemos con-
cluir que en el mejor de los casos, uno solo de entre los tres es digno
de credito
9. Decida por el procedimiento de los tableaux cuales de entre las siguientes
consecuencias logicas son validas
a) j , : = : j
b) j :, : = j
c) j , j = j
d) j , j = j
2.7. TABLEAUX EN C
10. En un texto de Lewis Carrol, el to Joe o el to Kim discuten acerca de la
barbera del pueblo, atendida por tres barberos: Allen, Brown y Carr. Los
dos tos aceptan las siguientes premisas:
a) Si Carr no esta en la barbera, entonces ocurrira que si tampoco
esta Allen, Brown tendra que estar para atender al establecimiento
b) Si Allen no esta, tampoco estara Brown que siempre lo acompa na
El to Joe concluye de todo esto que Carr no puede estar ausente, mientras
que el to Jim arma que solo puede concluirse que Carr y Allen no pueden
estar ausentes a la vez. Decida con el metodo de los tableaux cual de los
dos tiene razon
11. Decida con ayuda de tableaux cuales de entre los siguientes conjuntos de
formulas son satisfacibles
a) j ,
b) j , :, j :
c) j :, :, j
d) (j ) :, ((j ) :)
12. Demostrar la validez de los siguientes esquemas de inferencia
a) j (j ) j
b) j j j
c) j ( :) (j :)
13. Resolver la siguiente argumentacion:
- Empecemos pues. Si lo uno no es cierto que no podra ser muchos?
j
-Como podra serlo? -Y entonces no podra tener partes ni ser un todo
(: :)
-Por que?
-Porque la parte, parte es de un todo
-Ciertamente
-Y no es un todo aquello a lo que no falta parte alguna?
-Desde luego
-Y en ambos casos -ya se lo considere como un todo, ya se le considere
como dotado de partes- lo uno habra de ser compuesto (: :) t
-Necesariamente
- De modo que en ambos casos lo uno resultara ser muchos y no uno t
-Cierto
-Pero necesariamente lo uno no es muchos sino uno
-As es
-Luego si lo uno es uno, ni es un todo ni tiene partes j (: :)
52 CAP
ITULO 2. L
OGICA PROPOSICIONAL
A efectos de formalizacion hemos dado por identicos el enunciado lo uno
existe (como tal uno) y el enunciado lo uno es uno, esquematizado
ambos por p
14. Demostrar los siguientes argumentos usando tableaux
a) : t, :, j :, t : j :
b) (j ) (: :), (j :), t (j :) :
c) j (( :) :), ( :) (j :)
d) j ( t n), j, : , : t, n : : :
e) j , :, : t, : j : t
15. Estudiar la correctud de los siguientes argumentos
a) (j ) ((j :) (: )) (: j) (j )
b) j , :, : j, j j
c) (j ) ( :), : : t (j :)
d) (j ) (: :), ( :) t, t j :
16. Utilice derivaciones para estudiar la validez del siguiente razonamiento:
(((j ) (: :)) :) t (t j) (: j)
17. Decida si los siguientes razonamientos son correcto o no por medio de
tableux
a) Si el cometa Halley pasa cerca de la Tierra, podremos observarlo con
un telescopio; pero no pasara cerca de la Tierra, si las condiciones
no son propicias. Si se enva una sonda espacial a su encuentro, las
condiciones seran propicias. Si pasa cerca de la Tierra y las condi-
ciones son propicias, podremos apreciar la belleza del Halley. O las
condiciones no son propicias o podremos observar el Halley con un
telescopio. As pues si el cometa Halley pasa cerca de la Tierra o se
enva una sonda espacial a su encuentro, podremos apreciar la belleza
del cometa Halley
Formalizacion:
p: El cometa Halley pasa cerca de la Tierra
q: podremos observarlo con telescopio
r: las condiciones son propicias
s: se enva una sonda
t: apreciaremos la belleza del Halley
2.8. SOLUCIONES 53
j , : j, : :, (j :) t, : (j :) t
b) Si Elvira opina que hay que hacer lo que sea para ser feliz, aban-
donara a su amante o se dedicara a su profesion. Si se dedica a su
profesion, no dejara a su marido. En conclusion, si Elvira opina que
hay que hacer lo posible para ser feliz , entonces, dejara a su marido
aunque no abandone a su amante
Formalizacion:
p: Elvira opina que ...
q: abandonara a su amante
r: se dedicara a su profesion
s: dejara a su marido
j ( :), : :, j ( :)
2.8. Soluciones
Seccion 2.1
3. /) j : Domingo va a la carrera de autos.
: Elena no se enojara.
: : Rafael juega cartas toda la noche.
: : Carmen se enojara.
t : Veronica tiene noticias.
j
: :
: t
t
j :
4. a) No es proposicion.
b) No es proposicion.
c) Si es proposicion, no es atomica.
d) Si es proposicion, no es atomica.
e) Si es proposicion, no es atomica.
f ) Si es proposicion, no es atomica.
g) Si es proposicion, si es atomica.
h) No es proposicion.
i ) Si es proposicion, si es atomica.
j ) No es proposicion.
54 CAP
ITULO 2. L
OGICA PROPOSICIONAL
5. a) Si.
b) Si.
c) Si.
d) No.
e) Si.
f ) Si.
g) No.
7. a) No.
b) No.
c) Si.
d) No.
e) No.
13. a) j
b) j ( :)
c) (j :)
d) j ( :)
e) j (: ( :))
20. a) j
b) j
c) j
d) j
28. a) j : Conseguir 10 en el curso
: aprender a resolver problemas de Matematicas Discretas
Conseguir 10 en el curso si y solo si aprendo a resolver problemas de
Matematicas Discretas
j
b) j : Leer el periodico todos los das
: estar informado
Estare informado si y solo si leo el periodico todos los das
j
c) j : Llueve
: es un da de n de semana
Llueve si y solo si es un da del n de semana
j
d) j : Ver al hechicero
: el hechicero no esta adentro
Puedes ver al hechicero si y solo si el hechicero esta dentro
j
2.8. SOLUCIONES 55
35. a)
p q p q (p q)
0 0 0 0 1
0 1 1 1 0
1 0 1 1 0
1 1 0 0 1
b)
p q ( p q)
0 1 0
1 1 1
1 1 1
0 1 0
36.
o)
p q (p q) (p q)
0 0 0 1 0
0 1 1 1 1
1 0 1 1 1
1 1 1 0 0
c)
p q r (p q) ( p r)
0 0 0 1 0 1
0 0 1 1 1 0
0 1 0 0 1 1
0 1 1 0 0 0
1 0 0 0 0 0
1 0 1 0 1 1
1 1 0 1 1 0
1 1 1 1 0 1
d)
p q (p q) (p q)
0 0 0 1 1
0 1 1 0 0
1 0 1 0 0
1 1 0 1 1
37. a) Verdadero.
b) Verdadero.
c) Verdadero.
d) Falso.
56 CAP
ITULO 2. L
OGICA PROPOSICIONAL
38. o)
p q (p q) q
0 0 1 0
0 1 1 1
1 0 1 0
1 1 1 1
d)
p r (p p) r
0 0 1 0 0
0 1 1 0 1
1 0 1 0 0
1 1 1 0 1
/)
2.8. SOLUCIONES 57
p q r s t (p (q r)) (t t) (( s s))
0 0 0 0 0 1 0 1 1 1 1
0 0 0 0 1 1 0 1 1 1 1
0 0 0 1 0 1 0 0 1 0 0
0 0 0 1 1 1 0 0 1 0 0
0 0 1 0 0 1 0 1 1 1 1
0 0 1 0 1 1 0 1 1 1 1
0 0 1 1 0 1 0 0 1 0 0
0 0 1 1 1 1 0 0 1 0 0
0 1 0 0 0 1 0 1 1 1 1
0 1 0 0 1 1 0 1 1 1 1
0 1 0 1 0 1 0 0 1 0 0
0 1 0 1 1 1 0 0 1 0 0
0 1 1 0 0 1 1 1 1 1 1
0 1 1 0 1 1 1 1 1 1 1
0 1 1 1 0 1 1 0 1 0 0
0 1 1 1 1 1 1 0 1 0 0
1 0 0 0 0 0 0 1 1 1 1
1 0 0 0 1 0 0 1 1 1 1
1 0 0 1 0 0 0 1 1 0 0
1 0 0 1 1 0 0 1 1 0 0
1 0 1 0 0 0 0 1 1 1 1
1 0 1 0 1 0 0 1 1 1 1
1 0 1 1 0 0 0 1 1 0 0
1 0 1 1 1 0 0 1 1 0 0
1 1 0 0 0 0 0 1 1 1 1
1 1 0 0 1 0 0 1 1 1 1
1 1 0 1 0 0 0 1 1 0 0
1 1 0 1 1 0 0 1 1 0 0
1 1 1 0 0 1 1 1 1 1 1
1 1 1 0 1 1 1 1 1 1 1
1 1 1 1 0 1 1 0 1 0 0
1 1 1 1 1 1 1 0 1 0 0
39. d)
p q r (p r) ((q r) (p q r))
0 0 0 1 1 1 1 0 1
0 0 1 1 1 1 1 0 1
0 1 0 1 1 0 1 1 0
0 1 1 1 1 1 1 1 1
1 0 0 0 1 1 0 1 0
1 0 1 1 1 1 1 1 1
1 1 0 0 1 0 1 1 0
1 1 1 1 1 1 1 1 1
c)
58 CAP
ITULO 2. L
OGICA PROPOSICIONAL
p q p (p q)
0 0 1 1
0 1 1 1
1 0 1 0
1 1 1 1
40. /)
p q (p q) q
0 0 0 0
0 1 1 1
1 0 1 0
1 1 0 1
c)
p q ((p q) p)
0 0 1 0
0 1 1 0
1 0 0 1
1 1 1 1
))
p q (p q) (p q)
0 0 1 1 1
0 1 0 0 1
1 0 0 0 1
1 1 1 1 0
43.
p q r p (q r) (p q) r
0 0 0 1 1 1 0 1
0 0 1 1 1 1 0 1
0 1 0 1 0 1 0 1
0 1 1 1 1 1 0 1
1 0 0 1 1 1 0 1
1 0 1 1 1 1 0 1
1 1 0 0 0 1 1 0
1 1 1 1 1 1 1 1
45.
p q r ((p q) r) ((p r) q)
0 0 0 0 1 1 0 1
0 0 1 0 1 1 0 1
0 1 0 0 1 1 0 1
0 1 1 0 1 1 0 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 0 1
1 1 0 1 0 1 1 0
1 1 1 1 1 1 0 1
2.8. SOLUCIONES 59
Seccion 2.2
1.
Evaluacion
i = 1
45
0
1
0
2.
Evaluacion
i = 10
-1
0
0
0
4. a) ((j ) (j ) :)[ := : j]
((j (: j)) (: j) (j (: j)) :)
b) ((j ) : ((j ) :))[j, := j, :]
(j :) : ((j :) :)
c) (j ((j ) ( :) :))[: := j])
j ((j ) ( j) j
Seccion 2.3
4. o)
(j ( :)) :
Conectivo principal:
Rango izquierdo: j ( :)
Rango derecho: :
c)
Hay varias opciones:
1) (n n) (: :)
Rango izquierdo: n n
Rango derecho : :
2) n (n (: :))
Rango izquierdo: n
Rango derecho: n (: :)
60 CAP
ITULO 2. L
OGICA PROPOSICIONAL
,)
(:) ((t) (j ))
Rango izquierdo: :
Rango derecho: ((t) (j ))
Seccion 2.4
1. d)
(j ) ((j ) (j )) (j ) (j )
(j ) (j ) ( j) (j ) (j )
Seccion 2.6
16. Basta mostrar j :, j :, : :
1. j : Hip.
2. j : Hip.
3. Hip.
4. ncp: Hip.
5. (j ) M.T. 1,4
6. j Equiv. Logica 5
7. j S.D. 6,3
8. : M.P. 7,2
20.
1. j Hip.
2. j Sup.
3. j E ,1
4. S.D. 2.3
5. E,1
6. (j ) Inc. 4,5
21. o)
Demostracion
1.(j ) (: :) Hipotesis
2.(: :) t Hipotesis
3.t Hipotesis
4.(j ) t S.H. 1,2
5.(j ) M.T. 5,3
6.j De Morgan 6
7.j E. 7
/)
2.8. SOLUCIONES 61
Demostracion
1.(j ) : Hipotesis
2.( :) : Hipotesis
3.j Hipotesis
4.: Supuesto
5.( :) M.T. 2,4
6. : Equiv. Logica 5
7. E. 6
8.: E. 6
9.j I. 6
10.: M.P. 1,9
c)
Demostracion
1.j Hipotesis
2.j : Hipotesis
3.: Hipotesis
4.j E. 2
5. M.P. 1,4
6.j Equiv. Logica 5
7.: M.T. 6,3
d)
Demostracion
1.j ( :) Hipotesis
2.: : Hipotesis
3.j Supuesto
4. Supuesto
5. : M.P. 1.3
6.: Sil. Disy. 5,4
7.: M.P. 2,6
8. : I.I. 4-7
9.j ( :) I.I. 3-8
c)
Demostracion
1.(j ) ( :) Hipotesis
2.j : Hipotesis
3.(: t) (t n) Hipotesis
4.: Supuesto
5.j : S.H. 1
6.: n S.H.3
7.j M.T. 5,4
8.: Sil. Disy. 2,7
9.n M.P. 6,8
10.: n I.I. 4-9
))
62 CAP
ITULO 2. L
OGICA PROPOSICIONAL
Demostracion
1.(j ) (: :) Hipotesis
2. j Hipotesis
3.: Supuesto
4. j Equiv. Logica 2
5.(j ) De Morgan 4
6.: : M.P. 1,5
7.: E. 6
p)
Demostracion
1.j Hipotesis
2. : Hipotesis
3.: : Hipotesis
4.(j :) Supuesto
5.j : S.H. 1,2
6.j : De Morgan 4
7.j E. 6
8.: M.P. 5,7
9.: E. 6
10.: Sil. Disy. 3,9
) El razonamiento no es valido
i)
Demostracion
1.j Hipotesis
2.: Hipotesis
3.(j :) : Hipotesis
4.(j :) M.T. 3,2
5.j : Equiv. Logica 4
6.j E. 5
7. S.O. 6
8.: E. 6
9. : I. 7,8
10.( :) Equiv. Logica 9
26. a)
1. j Hip.
2. j ( :) Hip.
3. j Hip.
4. M.P. 1.3
5. : M.P. 2,3
6. : M.P. 4,5
b)
2.8. SOLUCIONES 63
1. j : Hip.
2. : Hip.
3. j Hip.
4. j Equiv. Log. 3
5. : S.H. 4,1
6. : C.S. 2,5
a)
1. j : Hip.
2. : Hip.
3. Hip.
4. j : Hip.
5. : Sup.
6. j S.D. 4,5
7. : M.P. 1,6
8. S.D. 7,2
9. : Inc. 3,8
31. a)
1. j : Hip.
2. : Hip.
3. : : Hip.
4. j Hip
5. : M.P. 1,4
6. : Equiv. Log 5
7. : C.S. 2,6
8. : : I. 7
b) Basta con mostrar:
j : : t, t , : n, j n, :
1. j : : t Hip.
2. t Hip.
3. : n Hip.
4. j n Hip
5. Hip.
6. j I.5
7. j : I.6
8. : t M.P.2,5
9. t Mt. 2,5
10. : S.D. 8,9
34. /)
64 CAP
ITULO 2. L
OGICA PROPOSICIONAL
1. c d Hip.
2. c t Hip.
3. , Hip.
4. c E, 1
5. t M.P. 2,4
6. E, 5
7. , M.P. 6,3
8. d E, 1
9. , d I, 7, 8
c) Basta probar:
d n, , d c , c , , (, .)
1. d n Hip.
2. , d c Hip.
3. c Hip.
4. Hip.
5. c M.T. 3,4
6. I, 4
7. ( n) Equiv. Log 6
8. d M.T. 1,7
9. d c I, 8, 5
10. d c I, 9, 4
11. (d c ) Equiv. Log. 10
12. , M.T. 11,2
13. , . I, 12
14. (, .) Equiv. Log 13
37. o) Basta con:
j :, (j :), :
1. j : Hip.
2. (j :) Hip.
3. Hip.
4. j I., 3
5. : M.P. 1,4
c)
1. (j ) : Hip.
2. : t Hip.
3. : : Hip.
4. : E, 1
5. : M.P. 3,4
6. t M.P. 2,5
7. t I, 6
2.8. SOLUCIONES 65
c)
1. j Hip.
2. : j Hip.
3. j Hip.
4. M.P. 1,3
5. : S.D. 2,3
6. : I. 4, 5
p)
1. j : : Hip.
2. (t j) Hip.
3. t Hip.
4. t j Equiv. Log 2
5. j t I3
6. j t Equiv. Log. 5
7. (t j) (j j) I4, 6
8. t j Equiv. Log 7
Seccion 2.7
1. o) Formalizacion:
j :
( :)
j
66 CAP
ITULO 2. L
OGICA PROPOSICIONAL
j :
( :)
j
j
X
:
:
X
:
j
X
:
X
c) Formalizacion:
j ( :)
: :
j
: :
2.8. SOLUCIONES 67
j ( :)
: :
j
( : :)
:
:
:
:
X
:
X
c) Formalizacion:
j (: )
: : t
t :
j
68 CAP
ITULO 2. L
OGICA PROPOSICIONAL
j (: )
: : t
t :
j
t
:
j
X
:
:
X
(: :)
:
:
X
t
X
2. o) Si es tautologa
2.8. SOLUCIONES 69
((j :) (( :) (j :)))
j :
(( :) (j :))
(j :)
j
:
j
j
X
X
:
X
:
X
c) Si es tautologa
70 CAP
ITULO 2. L
OGICA PROPOSICIONAL
((j ) ( j))
j
( j)
j
j
X
X
c) Si es tautologa
2.8. SOLUCIONES 71
((j ) (j :) (j :))
(j ) (j :)
(j :)
j : (j :) (: j)
j
( :)
j
X
X
:
j :
: j
j
X
:
X
4. Incorrecta
(:) = 1
(j) = 1
72 CAP
ITULO 2. L
OGICA PROPOSICIONAL
() = 0
(j ) j :
(: (j ))
(j ) j :
j
: (j )
:
:
X
(j )
j
6. /)
(j j )
j
(j )
j
X
d)
2.8. SOLUCIONES 73
((j j) (j ))
(j j)
(j )
j
j
X
j
X
f)
(((j ) j) j)
(j ) j
j
(j )
j
X
j
X
)
74 CAP
ITULO 2. L
OGICA PROPOSICIONAL
((j ( :)) (j ) (j :))
j ( :)
((j ) (j :))
(j :)
j
:
j
X
j
X
X
:
X
8. /) Formalizacion:
j : Causa Palestina
: Gobierno de Israel
: : Paz posible
j :
j
:
2.8. SOLUCIONES 75
j :
j
(: )
:
(j )
j
X
X
:
X
9. o) Incorrecto
Contraejemplo:
() = 0
(j) = 0
(:) = 1
76 CAP
ITULO 2. L
OGICA PROPOSICIONAL
(: j )
: j
X
:
j
X
j
X
:
j
X
c) Incorrecto
(j) = 1
() = 1
2.8. SOLUCIONES 77
(j )
j
j
j
X
X
j
j
X
j
X
X
j
j
11. /) Insatisfacible
78 CAP
ITULO 2. L
OGICA PROPOSICIONAL
j
j :
j
:
j
X
X
:
X
d) Insatisfacible
j :
((j ) :)
(j )
:
(j )
X
:
X
pues (j ) j
14. o) Correcto
2.8. SOLUCIONES 79
: t
:
j :
t :
j
:
( :)
:
j
X
:
X
t
j
X
:
t
X
:
X
c) Correcto
80 CAP
ITULO 2. L
OGICA PROPOSICIONAL
j ( :) :
:
j
:
j
X
( :) :
( :)
X
:
X
c) Correcto
2.8. SOLUCIONES 81
: t
: j
(: t)
:
t
j
:
:
X
:
X
j
X
X
:
X
82 CAP
ITULO 2. L
OGICA PROPOSICIONAL
Captulo 3
Logica de Predicados
3.1. Introducci on
3.2. Sintaxis de la l ogica de predicados
1. Sea C = {o, d, c} un conjuntos de smbolos de constante y 1 = {), p}
un conjunto de smbolos de funcion de ndices dos y tres respectivamente
Cuales de las siguientes cadenas son terminos bien formados?(Dibuje el
arbol de analisis para cada una)
a) p(/, c, d)
b) p()(o, r), j, p(n, , n))
c) p(r, )(j, .), d)
d) )(o, p()(o, .), )()(j, j), c), p(., o, .)))
2. Sea F= {d,f,g}, donde d es una constante , ) un smbolo funcion con dos
argumentos y p un smbolo de funcion con tres argumentos
a) Cuales de las siguientes cadenas son terminos sobre F? Dibuje el
arbol de analisis de estas cadenas las cuales son, de hecho terminos
1) p(d, d)
2) )(r, p(j, .), d)
3) p(r, )(j, .), d)
4) )()(d(d, r), )(p(d, r), j, p(j, d)), p(d, d)), p()(d, d, r), d), .)
b) La longitud de los terminos sobre F es la longitud de la representacion
de la cadena, donde se cuentan todas las comas y parentesis. Por
ejemplo, la longitud de )(r, p(j, .), .) es 13. Liste todos los terminos
con variables libres sobre F de longitud menor que 10
83
84 CAP
ITULO 3. L
OGICA DE PREDICADOS
c) La altura de los terminos sobre F se dene como 1 mas la longitud
del camino mas largo en su arbol de analisis. Liste todos los terminos
con variables libres sobre F de altura menor a 4
3. Cuales de las siguientes cadenas son formulas en logica de predicados?
Especique una razon de error para las cadenas que no lo son, dibuje los
arboles de todas las cadenas que lo son
a) Sea : una constante, ) un smbolo de funcion con un argumento y
o y 1 dos smbolos de predicado, cada uno con dos argumentos:
1) o(:, r)
2) 1(:, )(:))
3) )(:)
4) 1(1(:, r), j)
5) o(1(:), .)
6) (1(r, j) (.o(., j)))
7) (o(r, j) o(j, )()(r))))
8) (1(r) 1(1(r)))
b) Sea 1 = C 1 1 con C = {/}, 1 = {), p}, 1 = {o, 1}, ) con un
argumento, p con tres argumentos,, o y 1 con dos argumentos
1) (1(r, /) o(j, .))
2) o(1(/, r), n)
3) (p(r, /, /) 1(r, j))
4) o(n, .) 1()(/), /)
4. Sea c y d constantes, ) un smbolo de funcion con un argumento, p un
smbolo de funci on con dos argumentos y un smbolo de funcion con tres
argumentos. Ademas, 1 y Q son smbolos de predicado con tres argumen-
tos:
a) r1()(d), (p(c, r), d, j))
b) j1()(d), (1(r, j), d, j))
c) rQ(p((r, )(d), r), p(r, r)), (r, r, r), c)
d) .(Q(., ., .) 1(.))
e) rj(p(r, j) 1(r, j, .))
f ) Q(c, d, c)
5. Exprese en palabras cada una de las siguientes representaciones simbolicas
a) r(1(r) 1(r))
b) r(o(r) Q(r))
c) r(o(r) T(r))
d) r(o(r) Q(r))
3.2. SINTAXIS DE LA L
OGICA DE PREDICADOS 85
e) r(1(r) Q(r) o(r))
6. Exprese en palabras cada una de las siguientes representaciones simbolicas.
a) r(((r) 1(r)) ((r) 1(r)))
b) rj(1(r, j) 1(j, r))
c) r(1(r) (j)Q(r, j))
d) r((r) (j)1(r, j))
e) (r(r) (r)1(r)) r((r) 1(r))
7. Identique el alcance de cada uno de los cuanticadores en las siguientes
formulas bien formadas e indique las variables que aparecen libres
a) r(1(r) Q(j)
b) r((r) (j)1(j))
c) r((j)1(r, j) Q(r, j))
d) rj(r, j) 1(j, .) (o, .))
8. Identique las variables ligadas y las variables libres de cada una de las si-
guientes expresiones. En los inicisos o) y /) el universo comprende todos los
n umeros reales, excepto...{5,2, 3,2, ,2, ,2, 3,2, 5,2, ...} En los
demas casos, el universo est a formado por todos los n umeros reales
a) rj[:cc
2
j :cc
2
j = ton
2
r ton
2
j]
b) j.[co:(r +j) = :cn(. r)]
c) rj[r
2
j
2
= .]
d) r[rj = j]
9. Resuelva
a) La variable r es libre en la formula
r(1r Gr)?
b) La variable r es libre en la formula
1r Gr?
c) Cuales son las subformulas de la formula
1r Gr?
d) Sustituya todas as presencias libres de r en la formula por o
1r Gr
e) Sustituya todas as presencias libres de r en la formula por o
1r 1rj
f ) Sustituya todas as presencias libres de r en la formula por o
j(1r 1rj)
g) 1rj es una subformula de la formula
j(1r 1rj)
86 CAP
ITULO 3. L
OGICA DE PREDICADOS
h) La variable r esta ligada en la formula
j(1r 1rj)?
i ) Cual es el alcance de j en la formula
j(1r 1rj)?
j ) La variable j esta ligada en la formula
j(1r 1rj)?
10. Halle las variables libres de cada una de las siguientes formulas
a) r1(r, j) 1(r, o)
b) r(1(r, j) 1(r, o))
c) r(j1(r, p(o, j)) .1(j, .))
d) r(1(r) Q(r, n)) 1(r)
e) njQ(j, n, n) 1(r, n)
f ) .j(T(n, .) Q(j, o)) 1(., n)
11. Para cada una de las siguientes formulas, determine el conjunto de varia-
bles libres y el conjunto de las variables ligadas de la formula. Si estos
dos conjuntos no son disjuntos, construya una variante de la formula en
la cual ninguna variable aparezca a la vez libre y ligada
a) r(p(r, )(.)) = j)
b) rj(1(r, j) r(j = p(r, r)))
c) j(p((r, r), (j, j)) = (., .))
d) r(1(r, j) j(p(j, j) = r))
12. Para cada uno de los siguientes enunciados, construya una formula que
tenga como variables libres las que aparecen en el enunciado, y que al ser
interpretada en signique lo que arma el enunciado
a) x es un n umero par
b) x es un n umero impar
c) z es el maximo de x,y
d) x es primo
e) x e y son primos entre s
3.3. Especicacion formal
1. Utilice los smbolos de predicado mostrados y cuanticadores apropiados,
escriba cada enunciado en espa nol como una formula bien formada.
1(r) es x es un da
o(r) es x esta soleado
1(r) es x esta lluvioso
3.3. ESPECIFICACI
ON FORMAL 87
` es Lunes
T es Martes
a) Todos los das esta soleado.
b) Algunos das no llueve.
c) Cada da esta soleado y no llueve.
d) Algunos das esta soleado y llueve.
e) Siempre es un da soleado solo si es un da lluvioso.
f ) Ning un da es soleado.
g) El lunes estuvo soleado; por lo tanto todos los das estara soleado.
h) Llovio el Lunes y el Martes.
i ) Si alg un da llueve, entonces cada da estara soleado.
escriba cada enunciado en espa nol como una formula bien formada
1(r) es x es una persona
T(r) es x es un tiempo
1(r, j) es x pone es ridculo a y
a) Puedes poner en ridculo a algunas personas todo el tiempo
b) Puedes poner en ridculo a todas las personas alg un tiempo
c) No puedes poner en ridculo a todas las personas todo el tiempo
J(r) es x es un juez
1(r) es x es un abogado
\(r) es x es una mujer
C(r) es x es un qumico
(r, j) es x admira a y
a) Hay algunas abogadas que son qumicas
b) No hay mujer abogada y qumica
c) Algunos abogados admiran solo a jueces
d) Todos los jueces admiran solo a jueces
e) Solo los jueces admiran a jueces
f ) Todas las abogadas admiran a alg un juez
88 CAP
ITULO 3. L
OGICA DE PREDICADOS
g) Algunas mujeres admiran a los que no son abogados
1(r) es x es una abeja
1(r) es x es una or
1(r, j)es x ama a y
a) Todas las abejas aman las ores
b) Algunas abejas aman las ores
c) Solo las abejas aman las ores
d) No hay abejas que amen las ores
e) Algunas abejas aman algunas ores
f ) Cada abeja odia a las ores
g) Cada abeja odia solo las ores
h) Cada abeja ama solo las ores
i ) Cada abeja odia algunas ores
j ) Ninguna abeja odia todas las ores
escriba cada enunciado en espa nol como una formula bien formada.
o(r) es x es una novela de espas
`(r) es x es un misterio
1(r) es x es largo
1(r, j) es x es mejor que y
a) Todas las novelas de espas son largas
b) No todos los misterios son novelas de espas
c) Solo los misterios son largos
d) Algunas novelas de espas son misteriosas
e) Las novelas de espas son mejores que las de misterio
f ) Algunos misterios son mejores que todas las novelas de espas
g) Solo las novelas de espas son mejores que los misterios
6. Exprese cada enunciado en terminos de 1(r), Q(r), cuanticadores y co-
nectivos logicos. El dominio para los cuanticadores consiste en todos los
estudiantes de tu escuela
3.3. ESPECIFICACI
ON FORMAL 89
1(r): x puede hablar en Ruso
Q(r): x conoce el lenguaje de programacion C++
a) Hay un estudiante en tu escuela que puede hablar Ruso y sabe el
lenguaje de programaci on C + +
b) Hay un estudiante en tu escuela que puede hablar Ruso pero no
conoce el lenguaje de programacion C + +
c) Cada estudiante en tu escuela siempre que pueda hablar Ruso conoce
el lenguaje de programacion C + +
d) Ning un estudiante en tu escuela puede hablar Ruso o conocer el len-
guaje de programacion C + +
7. Sean 1(r), Q(r) y 1(r) los enunciados x es un profesor, x es un igno-
rante y x es un in util respectivamente. Exprese cada enunciado usando
cuanticadores, conectivos l ogicos. El dominio consiste en todas las per-
sonas
a) Ning un profesor es ignorante
b) Toda la gente ignorante es in util
c) Ning un profesor es in util
d) El inciso (c) se deduce de (a) y (b)?
8. Sean 1(r), Q(r) y 1(r) los enunciados x es una explicacion clara, x es
satisfactoria y x es una disculpa respectivamente. Suponga que el do-
minio de r consiste en todos los textos en espa nol. Exprese cada enunciado
usando cuanticadores y conectivos logicos
a) Todas las explicaciones claras son satisfactorias
b) Algunas disculpas son insatisfactorias
c) Algunas disculpas no son explicaciones claras
d) El iniciso (c) se deduce de (a) y (b)?
9. Sean 1(r), Q(r), 1(r) y o(r) los enunciados x es un bebe, x es logico,
x puede controlar un cocodrilo y x es despreciado respectivamente.
Suponga que el dominio consiste en toda la gente. Exprese cada enunciado
usando cuanticadores y conectivos logicos
a) Los bebes son ilogicos
b) Nadie que pueda controlar un cocodrilo es despreciado
c) Las personas ilogicas son despreciadas
d) Los bebes no pueden controlar cocodrilos
e) El inciso (d) se deduce de (a), (b) y (c)? Si no es as Hay alguna
conclusion correcta?
90 CAP
ITULO 3. L
OGICA DE PREDICADOS
10. Sean 1(r), Q(r), 1(r) y o(r) los enunciados x es un pato, x es una
de mis aves de corral, x es un ocial y x esta dispuesto a bailar vals
respectivamente. Exprese cada enunciado usando cuanticadores y conec-
tivos logicos
a) Ning un pato esta dispuesto a bailar vals
b) Ning un ocial nunca se niega a bailar vals
c) Todas mis aves de corral son patos
d) Mis aves de corral no son ociales
e) El inciso (d) se deduce de (a), (b) y (c)? Si no es as Hay alguna
conclusion correcta?
11. Para el universo de los enteros, sean 1(r), Q(r), 1(r), o(r) y T(r) las
siguientes proposiciones abiertas
1(r) : r 0
Q(r) : x es par
1(r) : x es un cuadrado perfecto
o(r) : x es(exactamente) divisible entre 4
T(r) : x es(exactamente) divisible entre 5
a) Escriba las siguientes proposiciones en forma simbolica
1) Al menos un entero es par
2) Existe al menos un entero positivo que es par
3) Para cualquier r que es par, entonces x no es divisible entre 5
4) Ning un entero par es divisible entre 5 y entre 4
5) Existe al menos un entero par divisible entre 5
6) Para cualquier r que es par, x es un cuadrado perfecto, entonces
x es divisible entre 4
b) Determine si cada una de las seis proposiciones de la parte anterior es
verdadera o falsa. Para cada proposicion falsa, de un contraejemplo
12. Exprese cada enunciado en terminos de C(r), 1(r), 1(r) cuanticadores
y conectivos logicos. El dominio para los cuanticadores consiste en todos
los estudiantes de tu clase
C(r): x tiene un gato
1(r): x tiene un perro
1(r): x tiene un huron
a) Un estudiante en tu clase tiene un gato, un perro y un huron
b) Todos los estudiantes en tu clase tienen un gato, un perro, o un huron
c) Algunos estudiantes en tu clase tienen un gato y un huron, pero no
un perro
3.3. ESPECIFICACI
ON FORMAL 91
d) Ning un estudiante en tu clase tiene un gato, un perro, o un huron
e) Por cada tres animales, gatos, perros y hurones, hay un estudiante
en tu clase quien tiene uno de estos animales como mascota
13. Formalice los siguientes enunciados en el lenguaje de la logica de predi-
cados de primer orden. Explique en cada caso que universo de discurso y
que signicados tiene en mente para los diferentes smbolos
a) Madonna es una cantante
b) Ramon Mercader asesino a Leon Trotski
c) La esposa del rey Arturo fue la asesina de Ginebra
d) Al sobrino de Groucho Marx le gustaba mas Elvis Presley que Greta
Garbo
e) Todas las mujeres son inefables
f ) Algunos logicos son incorregibles
g) Todo n umero primo mayor que 2 es impar
h) La reina Ginebra solo fue amada por caballeros
i ) Entre los vampiros se dan casos de hemolia
j ) Cierto reformador religiosos que intento reconciliar el cristianismo
con el judasmo, murio a manos de un fanatico
k) Siempre hay un espa nol que invento las cosas antes que sus inventores
reconocidos
l ) Es posible enga nar a todo el mundo durante alg un tiempo, y enga nar
a alguien durante todo el tiempo, pero no es posible enga nar a todo
el mundo durante todo el tiempo
14. Formalice los siguientes razonamientos indicando el universo de discurso
y el signicado de cada predicado usado
a) Todo estudiante es inquieto. Luis es un estudiante. Por tanto, Luis
es inquieto
b) El sucesor de todo n umero natural par es impar. 6 es un natural
par. Por tanto, 6 es impar
c) Hay quien, a un siendo coherente, solo se preocupa de sus problemas.
Todo el mundo se preocupa por cuestiones del medio ambiente, a
menos que sea un irresponsable. Por tanto, hay quien es coherente y
toma como propio el problema del medio ambiente
d) No es cierto que cualquier losofo sea mas sabio que cualquier qumi-
co. Los losofos son mas sabios que los acionados a los crucigramas.
Por tanto, si ning un qumico es losofo hay quien no es losofo ni
acionado a los crucigramas
92 CAP
ITULO 3. L
OGICA DE PREDICADOS
e) Todas las enfermedades infecciosas son controlables. Quien padece
una enfermedad controlable, no se preocupa por la enfermedad o se
automedica. Luis es un deportista que nunca se automedica, pero que
padece de una enfermedad infecciosa. Por tanto, hay deportistas que
no se preocupan por la enfermedad que padecen
f ) El padre de Juan es poeta y autor de poesa. Hay poetas que no
publican libro alguno. Quien tiene un padre poeta, solo compra libros
de poesa si su padre ha publicado alg un libro. Por lo tanto, Juan
compra libros de poesa
15. Formalice en la logica de predicados de primer orden los siguientes ra-
zonamientos indicando el universo de discurso y el signicado de cada
predicado usado
a) Todos los alumnos de esta clase tienen mas de 18 a nos
b) Todo el que plagia el trabajo ajeno es un inepto. Es sabido que los
expertos en programacion no son ineptos y que algunos expertos en
programacion dominan las tecnicas de la programacion paralela. Por
tanto, algunos de los que dominan las tecnicas de la Programacion
Paralela, no plagian el trabajo ajeno
c) Todo estudiante que deja la adquisicion de conocimientos sobre la
materia para la semana antes del examen, tiene una disculpa intere-
sante. Hay estudiantes aburridos interesantes. As pues, de lo dicho se
concluye que no hay quien, preocupandose de adquirir conocimientos
sobre una materia durante todo el curso, sea aburrido
16. Formalice cada una de las argumentaciones siguientes mediante formulas
de primer orden
a) Cualquier pitufo es azul o gandul. No todos los pitufos son gandules.
Todos los pitufos azules son cascarrabias
Algunos cascarrabias no son gandules.
b) Todos los aliengeneas son canijos. Ning un marciano se emborracha.
Cualquier individuo canijo y desgraciado se emborracha. Algunos
aliengenas son desgraciados
No todos los aliengenas son marcianos
c) Todos los peregrinos se ba nan. Quienes se ba nan y no se cambian
de ropa, huelen mal. Algunos peregrinos no se ba nan. Ning un devoto
del Santo Patrono huele mal
No todos lo peregrinos son devotos del Santo Patrono
d) Cualquier dragon es verde o amarillo. El padre de un dragon amarillo
siempre es amarillo. La madre de un dragon verde siempre es verde.
Hay un dragon cuya madre no es verde
Hay un dragon cuyo padre es amarillo
3.3. ESPECIFICACI
ON FORMAL 93
e) Isolda ama a la reina de Ginebra. El rey Arturo ama a Isolda. Un
caballero leal solo ama si es amado. La reina de Ginebra solo es
amada por caballeros. El rey Arturo solo ama a los leales. Ning un
caballero amado por la reina de Ginebra ama al rey Arturo. Quien
siendo amado no ama es un homosexual
Isolda es homosexual
f ) Todas las porte nas alegres son amigas de los marineros. Ning un por-
te no feliz esta casado con una porte na triste. Los porte nos casados
con amigas de marineros son cornudos o marineros. Hay porte nos
felices, casados con porte nas, y que no son marineros
Algunos cornudos son felices
g) Un vampiro solo es feliz si se emborracha o pernocta en un cementerio.
Quien pernocta en un cementerio viola la ley o es sepulturero. Una
bruja solo es feliz si convive con un vampiro feliz, sobrio y respetuoso
con la ley. No faltan brujas felices
Algunos vampiros son sepultureros
h) Los protozoos se dividen en peque nos, peludos y suaves. Los na-
turalistas que no tienen microscopio solamente observan protozoos
grandotes. Algunos naturalistas pobres observan protozoos asperos.
Ning un pobre le falta un microscopio
No faltan naturalistas que observen protozoos peludos.
17. Para cada una de las siguientes parejas de proposiciones, determine si
la negacion propuesta es la correcta. Si es correcta, determine cual es
verdadera: la proposicion original o la negacion propuesta. Si la negacion
propuesta es incorrecta, escriba una version corregida de la negacion y
determine a continuacion si la proposicion original o la version corregida
de la negacion es verdadera
a) Proposicion: Para todos los n umeros reales r, j si r
2
j
2
, entonces
r j.
Negacion propuesta: Existen n umeros reales r, j tales que r
2
j
2
pero r j
b) Proposicion: Existen n umeros reales r, j tales que ambos son racio-
nales pero r +j es irracional
Negacion propuesta: Para todos los n umeros reales r, j si r + j es
racional, entonces r y j son racionales
c) Proposicion: Para todo n umero real x, si no es 0, entonces x tiene un
inverso multiplicativo
Negacion propuesta: Existe un n umero real distinto de cero que no
tiene un inverso multiplicativo
d) Proposicion: Existen enteros impares cuyo producto es impar
Negacion propuesta: El producto de cualesquiera dos n umeros enteros
impares es impar
94 CAP
ITULO 3. L
OGICA DE PREDICADOS
e) Proposicion: El cuadrado de todo n umero racional es racional
Negacion propuesta: Existe un n umero real x tal que si x es irracional,
entonces r
2
es irracional
18. Escriba la negacion de cada una de las siguientes proposiciones como una
frase en espa nol sin notacion simbolica (En este caso, el universo consta de
todos los estudiantes de una universidad donde imparte clases el profesor
Linares)
a) Todo estudiante del grupo de Pascal del profesor Linares esta en la
especialidad de ciencias de la computacion o matematicas
b) Al menos un estudiante del grupo de Pascal del profesor Linares
esta en la especialidad de historia
c) Un estudiante del grupo de Pascal del profesor Linares ha ledo todos
sus artculos de investigacion sobre estructuras de datos
19. Escriba la negacion de cada una de las siguientes proposiciones verdaderas.
Para las partes (a), (b) y (c), el universo consta de todos los enteros; para
las partes (d) y (e), el universo abarca todos los n umeros reales
a) Para todo entero n, si n no es (exactamente) divisible entre 2, enton-
ces n es impar
b) Si el cuadrado de un entero es impar, entonces el entero es impar
c) Si /, :, n son enteros tales que / : y :n son impares, entonces
/ n es par
d) Si r es un n umero real tal que r
2
16, entonces r < 4 o r 4
e) Para todo n umero real r, si r 3 < 7, entonces 4 < r < 10
20. Considere las signatura 1
n
=
Jc}
1, Q, 1, formada por tres smbolos de
predicado monadicos. Teniendo en cuenta que en cualquier 1
n
-estructura
1, Q, 1 se van a interpretar como subconjuntos del universo de discurso,
construye 1
n
- formulas cerradas que formalicen las siguientes armacio-
nes:
a) P esta inlcuido en Q
b) P es el complementario de Q
c) P es la uni on de Q y R
d) P es la interseccion de Q y R
21. Las dos formulas cerradas siguientes se pueden construir con la signatura
vaca, y por lo tanto pertencen a todos los lenguajes de primer orden
,
2
=
Jc}
r
0
r
1
(r
0
= r
1
)
3.3. ESPECIFICACI
ON FORMAL 95
,
2
=
Jc}
r
0
r
1
j(j = r
0
j = r
1
)
a) ,
2
formalice la armacion hay al menos dos individuos en el uni-
verso discurso, mientras que ,
2
formalice la armacion hay a lo
sumo dos individuos en el universo de discurso. Razone por que
b) Demuestre que para cualquier n umero natural n 1 se pueden cons-
truir dos formulas cerradas ,
n
y ,
n
que formalizan las arma-
ciones hay al menos n individuos y hay a lo sumo n individuos,
respectivamente
c) Suponiendo construidas ,
n
y ,
n
, explique el signicado de las tres
formulas siguientes:
,
n
,
n
,
n
,
n
22. Sea R un smbolo de relaci on binaria. Construya tres formulas cerradas
1
:}
, 1
sn
, 1
|:
que formalicen, respectivamente, las tres armaciones: R es
reexiva, R es simetrica y R es transitiva. De este modo, las tres
formulas formalizaran los axiomas de una relacion de equivalencia
23. Considere las dos formulas siguientes:
1
1
=
Jc}
rj(1(j, j) 1(r, j))
1
2
=
Jc}
rj(1(j, j) 1(r, j))
a) Construya un modelo de 1
1
y demuestra que 1
2
es insatisfacible
b) La llamada paradoja del barbero surge de suponer un pueblo donde
hay un barbero que afeita a todos aquellos habitantes del pueblo que
no se afeitan a s mismos, y solo a ellos. Estudie como corresponde
esta paradoja con la insatisfacibilidad de la formula 1
2
24. Considere ahora que es un smbolo de relacion binaria que se podra uti-
lizar en notacion inja. Usando formulas cerradas, formalice:
a) Los axiomas de una relacion de orden
b) Los axiomas de una relacion de orden total
c) Los axiomas de una relacion de orden total denso
25. Sean 1(r), C(r, j) los enunciados x tiene conexion a Internet y x y y
tienen una platica acerca de Internet respectivamente. El dominio de las
variables r y j consiste en todos los estudiantes de tu clase. Use cuanti-
cadores para expresar cada enunciado
96 CAP
ITULO 3. L
OGICA DE PREDICADOS
a) Gerardo no tiene conexion a Internet
b) Raquel no tiene una platica acerca de Internet con Cleotilde
c) Juana y Sandra nunca han tenido una platica acerca de Internet
d) Nadie en la clase tiene una platica acerca de Internet con Bernardo
e) Sonia ha tenido una platica acerca de Internet con todos excepto con
Juan
f ) Alguien en tu clase no tiene conexion a Internet
g) Exactamente un estudiante en tu clase tiene conexion a Internet
h) Todos excepto un estudiante en tu clase tiene conexion a Internet
i ) Todos en tu clase con una conexion a Internet han platicado acerca
de Internet con al menos otro estudiante en tu clase
j ) Alguien en tu clase tiene conexion a Internet pero no ha tenido una
platica acerca de Internet con nadie mas en su clase
k) Hay dos estudiantes en tu clase quienes no han platicado con otros
acerca de Internet
l ) Hay un estudiante en tu clase quien ha platicado con todos en tu
clase acerca de Internet
m) Hay al menos dos estudiantes en tu clase quienes no han platicado
acerca de Internet con la misma persona en tu clase
n) Hay dos estudiantes en la clase quienes entre ellos han platicado
acerca de Internet con alguien mas en la clase
26. Sean `(r, j) y T(r, j) los enunciados x ha enviado un correo electronico
a y y x ha llamado por telefono a y donde el dominio consiste en
todos los estudiantes de tu clase. Utilice cuanticadores para expresar cada
enunciado (Asuma que todos los correos electronicos que fueron enviados
se recibieron, que no es como funcionan las cosas en el mundo real)
a) Carlos nunca ha enviado un correo electronico a Karina
b) Ana nunca ha enviado un correo electronico o ha llamado por telefono
a Sara
c) Jose nunca ha recibido un correo electronico de Diana
d) Todo estudiante en tu clase ha enviado un correo electronico a Ale-
jandro
e) Nadie en tu clase ha llamado por telefono a Nadia
f ) Todos en tu clase no han llamado por telefono a Andres o enviado
un correo electronico
g) Hay un estudiante en tu clase quien ha enviado a todos en tu clase
un correo electronico
h) Hay alguien en tu clase quien ha enviado un correo electronico o
llamado por telefono a todos en tu clase
3.3. ESPECIFICACI
ON FORMAL 97
i ) Hay dos estudiantes diferentes en tu clase quienes se han enviado un
correo electronico
j ) Hay un estudiante en tu clase quien no ha recibido un correo electroni-
co de alguien mas en la clase y quien no ha llamado por telefono a
otro estudiante en la clase
k) Todo estudiante en la clase ha recibido un correo electronico o reci-
bido una llamada por telefono de otro estudiante en la clase
l ) Hay al menos dos estudiantes en tu clase de los cuales el primer estu-
diante ha enviado a otro un correo electronico y el segundo estudiante
ha llamado por telefono al primer estudiante
m) Hay dos estudiantes diferentes en tu clase quienes entre ellos han
enviado correo electronico o llamado por telefono a alguien mas en
la clase
27. El grupo de mecanica cuantica del Profesor Olmedo esta formado por 29
estudiantes, de los cuales exactamente
a) Tres estudiantes de fsica estan en su pen ultimo a no
b) Dos estudiantes de ingeniera electrica estan en su pen ultimo a no
c) Cuatro estudiantes de matematicas estan en su pen ultimo a no
d) Doce estudiantes de fsica estan en su ultimo a no
e) Cuatro estudiantes de ingeniera electrica estan en su ultimo a no
f ) Dos estudiantes de ingeniera electrica son de posgrado
g) Dos estudiantes de matematicas son de posgrado
Considere los siguientes predicados
J(r) : El estudiante x esta en su pen ultimo a no
o(r) : El estudiante x esta en su ultimo a no
G(r) : El estudiante x es de posgrado
1(r) : El estudiante x esta en la especialidad de fsica
1(r) : El estudiante x esta en la especialidad de ingeniera electrica
`(r) : El estudiante x esta en la especialidad de matematicas
Escriba cada una de las siguientes oraciones en terminos de cuanticadores
y las proposiciones abiertas C(r), J(r), o(r), G(r), 1(r), 1(r) y `(r), y
determine cuales de las siguientes oraciones son verdaderas o falsas. En
este caso, el universo esta formado por los 12,500 estudiantes inscritos en
la universidad donde imparte clases el profesor Olmedo. Ademas, en esta
universidad cada estudiante tiene solamente una especialidad
a) En la clase existe un estudiante de matematicas que esta en su
pen ultimo a no
98 CAP
ITULO 3. L
OGICA DE PREDICADOS
b) En la clase existe un estudiante del ultimo a no que no esta en la
especialidad de matematicas
c) Todo estudiante de la clase esta en la especialidad de matematicas o
fsica
d) Ning un estudiante de posgrado en la clase esta en la especialidad de
fsica
e) En la clase, todo estudiante del ultimo a no esta en la especialidad de
fsica o de ingeniera electrica
f ) Alg un estudiante de posgrado de la clase no esta en la especialidad
de matematicas ni en la de fsica
28. Para el siguiente segmento de programa en Pascal : y n son variables ente-
ras. es una tabla de dos dimensiones [1, 1], [1, 2], . . . , [1, 20], . . . [10, 1],
. . . , [10, 20] con 10 las (indexadas de 1 a 10) y 20 columnas (indexadas
de 1 a 20)
For m:= 1 to 10 do
For n : = 1 to 20 do
A[m,n] : = m + 3*n;
Escriba las siguientes proposiciones en forma simbolica.(El universo de la
variable : contiene unicamente los enteros del 1 al 10 inclusive; para n,
el universo consta de los enteros del 1 al 20 inclusive)
a) Todas las entradas de A son positivas
b) Todas las entradas de A son positivas y menores o iguales que 70
c) Algunas de las entradas son mayores que 60
d) Las entradas de cualquier la de A tienen un orden (estrictamente)
ascendente
e) Las entradas de las primeras tres las de A tienen un orden (estric-
tamente) ascendente
f ) Las entradas de las primeras tres las de A son distintas
g) Las entradas de cualesquiera tres las consecutivas de A son distintas
h) Para cualquier par de las consecutivas de A, la suma de las entradas
de la segunda la (aquella que tiene el ndice de la la mas grande)
es 20 unidades mayor que la suma de las entradas de la la anterior
29. Traduzca cada enunciado a expresiones logicas usando predicados, cuan-
ticadores y conectivos logicos. Ademas dena el universo o dominio
a) Algo no esta en su lugar
b) Todas las herramientas estan en su lugar y en excelentes condiciones
c) Todo esta en su lugar y en excelentes condiciones
3.3. ESPECIFICACI
ON FORMAL 99
d) Nada esta en su lugar y s en excelentes condiciones
e) Una de tus herramientas no esta en su lugar, pero si en excelentes
condiciones
30. Traduzca cada enunciado en expresiones logicas de tres formas diferentes,
variando el dominio y utilizando predicados con una y dos variables
a) Alguien en tu escuela ha visitado Almoloya de Alquisiras
b) Todos en tu clase han estudiado Calculo y C + +
c) Nadie en tu escuela es due no de una bicicleta o una motocicleta
d) Hay una persona en tu escuela que no esta feliz
e) Todos en tu escuela nacieron en el siglo AA1
31. Traduzca cada enunciado en expresiones logicas de tres formas diferentes,
variando el dominio y utilizando predicados con una y dos variables
a) Un estudiante en tu escuela ha vivido en Vietnam
b) Hay un estudiante en tu escuela que no puede hablar Otom
c) Un estudiante en tu escuela sabe Java, Prolog y C++
d) Todos en tu clase disfrutan la comida china
e) Alguien en tu clase no juega hockey
32. Exprese cada especicacion del sistema usando predicados, cuanticadores
y conectivos logicos
a) Cuando hay al menos 30 megabytes libres en el disco duro, se enva
un mensaje de alerta a los usuarios
b) Ning un directorio se puede abrir en el sistema de archivos y ning un
archivo se puede cerrar cuando se han detectado errores del sistema
c) El sistema de archivos no puede hacer una copia de seguridad si hay
un usuario conectado en ese momento
d) El video de baja demanda esta disponible cuando hay al menos 8
megabytes de memoria disponible y la conexion es de al menos 56
kilobits por segundo
y conectivos logicos
a) Todo usuario tiene acceso a una cuenta de correo electronico
b) Se puede acceder al sistema de correo electronico por todos en el
grupo si el sistema de archivos esta bloqueado
c) El rewall se encuentra en estado de diagnostico si el servidor se
encuentra en estado de diagnostico
100 CAP
ITULO 3. L
OGICA DE PREDICADOS
d) Al menos un router esta funcionando de manera normal si el servidor
tiene un rendimiento de entre 100 kbps y 500 kbps y no esta en modo
diagnostico.
34. Traduzca de dos formas los enunciados en expresiones logicas usando pre-
dicados, cuanticadores, y conectivos logicos. Primero, que el dominio con-
sista en los estudiantes de tu clase y segundo, que consista en toda la gente
a) Alguien en tu clase puede hablar Hindi
b) Todos en tu clase son amigables
c) Hay una persona en tu clase que no nacio en Puebla
d) Un estudiante en tu clase ha estado en una pelcula
e) Ning un estudiante en tu clase ha tomado un curso de programacion
logica
35. Traduzca de dos formas los enunciados en expresiones logicas usando pre-
dicados, cuanticadores, y conectivos logicos. Primero, que el dominio con-
sista en los estudiantes de tu clase y segundo, que consista en toda la gente
a) Todos en tu clase tienen un telefono celular
b) Alguien en tu clase ha visto una pelcula extranjera
c) Hay una persona en tu clase que no puede nadar
d) Todos los estudiantes en tu clase pueden resolver ecuaciones cuadrati-
cas
36. Traduzca cada enunciado a expresiones logicas usando predicados, cuan-
ticadores y conectivos logicos
a) Nadie es perfecto
b) No todo el mundo es perfecto
c) Todos tus amigos son perfectos
d) Al menos uno de tus amigos es perfecto
e) Todos son tus amigos y son perfectos
f ) No todos son tus amigos o alguien no es perfecto
y conectivos logicos si es necesario
a) Cada usuario tiene acceso a exactamente una cuenta de correo
b) Hay un proceso que continua corriendo durante todas las condiciones
de error solo si el kernel esta trabajando correctamente
c) Todos los usuarios en la red de la facultad pueden acceder a todos
los sitios web de los cuales su URL tenga la extension .edu
d) Hay exactamente dos sistemas que monitorean cada servidor remoto
3.3. ESPECIFICACI
ON FORMAL 101
y conectivos logicos si es necesario
a) Al menos una consola debe ser accesible durante cada condicion de
fallo
b) La direccion de correo electronico de cada usuario puede ser obtenida
siempre que la recuperacion contenga al menos un mensaje enviado
por cada usuario en el sistema
c) Para cada falta de seguridad hay al menos un mecanismo que puede
detectar la falta si y solo si hay un proceso que no ha sido compro-
metido
d) Hay al menos dos caminos de conexion cada dos criterios de valora-
cion distintos en la red
e) Nadie sabe la clave de cada usuario en el sistema excepto el adminis-
trador del sistema, quien sabe todas las claves
39. Traduzca las especicaciones del sistema al espa nol donde o(r, j): x
esta en estado y y donde el dominio de r e j consiste en todos los sistemas
y todos los estados posibles respectivamente
a) ro(r, o/ic:to)
b) r(o(r, :o|)nnciono:icnto) o(r, diagnostico))
c) ro(r, o/ic:to) ro(r, diagnostico)
d) ro(r, di:joni/|c)
e) ro(r, t:o/o,ondo)
40. Traduzca las especicaciones al espa nol donde 1(j) es Impresora p esta fue-
ra de servicio, 1(j) es Impresora p esta ocupada, 1(,) es Trabajo de
impresion j esta perdido y Q(,) es Trabajo de impresion esta en cola
a) j(1(j) 1(j)) ,1(,)
b) j1(j) ,Q(,)
c) ,(Q(,) 1(,)) j1(j)
d) (j1(j) ,Q(,)) ,1(,)
41. Utilice cuanticadores y predicados con mas de una variable para expresar
los enunciados
a) Hay un estudiante en tu clase que puede hablar Otom
b) Todo estudiante en tu clase juega alg un deporte
c) Alg un estudiante en tu clase ha visitado Alaska pero no ha visitado
Hawaii
d) Todos los estudiantes en esta clase han aprendido al menos un len-
guaje de programacion
102 CAP
ITULO 3. L
OGICA DE PREDICADOS
e) Hay un estudiante en esta clase que ha tomado cada curso ofrecido
por todos los departamentos en esta escuela
f ) Alg un estudiante en esta clase crecio en el mismo pueblo exactamente
como otro estudiante en esta clase
g) Cada estudiante en esta clase ha platicado con al menos otro estu-
diante en al menos un grupo de platica
42. Utilice cuanticadores y predicados con mas de una variable para expresar
los enunciados
a) Cada estudiante de Ciencias de la Computacion necesita un curso de
Matematicas Discretas
b) Hay un estudiante en esta clase a quien pertenece una laptop
c) Cada estudiante en esta clase ha tomado al menos un curso de Cien-
cias de la Computacion
d) Hay un estudiante en esta clase que ha estado en cada edicio de la
facultad
e) Hay un estudiante en esta clase que ha estado en cada salon de al
menos un edicio de la facultad
f ) Cada estudiante en esta clase ha estado en al menos un salon de cada
edicio de la facultad
43. Considere el universo de todos los polgonos con tres o cuatro lados y de-
na las siguientes proposiciones abiertas para este universo
(r) : todos los angulos internos de x son iguales
1(r) : x es un triangulo equilatero
H(r) : todos los lados de x son iguales
1(r) : x es un triangulo isoceles
1(r) : x tiene un angulo interno mayor que 180
o
Q(r) : x es un cuadrilatero
1(r) : x es un rectangulo
o(r) : x es un cuadrado
T(r) : x es un triangulo
Traduzca cada una de las siguientes formulas en una frase en espa nol,
y determine si es verdadera o falsa
a) r(Q(r) T(r))
b) r(1(r) 1(r))
c) r(T(r) 1(r))
d) r((r) 1(r))
e) r(((r) T(r)) 1(r))
f ) r(Q(r) 1(r))
3.3. ESPECIFICACI
ON FORMAL 103
g) r(1(r) o(r))
h) r((H(r) Q(r)) o(r))
i ) r(T(r) 1(:))
j ) r(o(r) ((r) H(r)))
k) r(H(r) 1(r))
l ) r(Q(r) 1(r))
m) r((r) (1(r) 1(r)))
n) r(T(r) ((r) H(r)))
44. Escribe las siguientes formulas bien formadas en espa nol tomando en cuen-
ta:
1(r, j) es x ama a y
H(r) es x es guapo
`(r) es x es un hombre
1(r) es x es bonita
, es Francisco
/ es Karla
\(r) es x es una mujer
a) H(,) 1(/, ,)
b) (r)[`(r) H(r)]
c) (r)(\(r) (j)[1(r, j) `(j) H(j)])
d) (r)[`(r) H(r) 1(r, /)]
e) (r)(\(r) 1(r) (j)[1(r, j) H(j) `(j)])
f ) (r)[\(r) 1(r) 1(,, r)]
45. Especicar los siguientes argumentos (El universo consta de todas las per-
sonas que residen actualmente en Mexico.)
a) Todos los carteros llevan una lata de aereosol irritante.
El se nor Beltran es cartero.
Por lo tanto, el se nor Beltran lleva una lata de aereosol irritante.
b) Todos los ciudadanos respetuosos de la ley pagan sus impuestos.
El se nor Perez paga sus impuestos.
Por lo tanto, el se nor Perez es una persona que obedece la ley.
c) Todas las personas que se preocupan por el ambiente reciclan sus
recipientes de plastico.
Margarita no se preocupa por el ambiente.
Por lo tanto, Margarita no recicla sus recipientes de plastico.
104 CAP
ITULO 3. L
OGICA DE PREDICADOS
d) Ning un estudiante consciente deja las tareas inconclusas.
Antonieta no deja inconclusas sus tareas.
Por lo tanto, Antonieta es una estudiante consciente.
46. Formalizar y resolver el siguiente argumento con derivaciones
Si dos gases tienen la misma temperatura entonces sus moleculas tienen
el mismo promedio de energa cinetica. Vol umenes iguales de dos gases
tienen el mismo n umero de moleculas. Las presiones de dos gases son
iguales si es el mismo n umero de moleculas y sus energas cineticas son
iguales. Por consiguiente, si dos gases tienen la misma temperatura y el
mismo volumen, tienen la misma presion
3.4. Semantica Informal
1. Considere el universo de discurso formado por todos los seres humanos, y
los predicados siguientes:
a) La propiedad de ser hombre
b) La propiedad de ser mujer
c) La relacion ternaria se da entre una persona y sus dos progenitores
Elija una signatura
un
adecuada y dena una
un
-estructura A que
represente el universo de los seres humanos, junto con los tres predicados
citados
2. Considere la
un
-estructura A del ejercicio anterior. Construya
un
-
formulas que al ser interpretadas en A exprese lo que dicen los siguien-
tes enunciados. Cada formula debera tener como variables libres las que
aparezcan en el enunciado correspondiente, y solamente podran utilizar
smbolos de la signatura
un
(aparte de los smbolos logicos y auxilia-
res)
a) x e y tienen el mismo sexo
b) x es padre de y
c) x es madre de y
d) x e y son hermanos (no importa el sexo)
e) x es progenitor de y (los sexos de x e y no importan)
f ) x es abuelo de y
g) x es abuela de y
h) x es to o ta de y
i ) x e y son primos(sus sexos no importan)
3. Considera la
o:
estructura N cuyo dominio es los n umeros naturales
y donde los smbolos c, f,g,h, R se interpretan, respectivamente, como el
n umero 0, las operaciones :nc, +, , y la relacion <
3.4. SEM
ANTICA INFORMAL 105

a) Calcula los valores en N de los siguientes terminos cerrados: c,f(c),f(f(c)),
g(f(c),f(c)), h(f(c),f(c))
4. Cual es el valor de verdad de cada una de las siguientes formulas bien
formadas en las interpretaciones donde el dominio consiste en los n umeros
enteros, O(r) es x es impar, 1(r) es r < 10 y G(r) es r 9?
a) rO(r)
b) r(1(r) O(r))
c) r(1(r) G(r))
d) r(1(r) G(r))
e) r(j)(r +j = r)
f ) j(r)(r +j = r)
g) r(j)(r +j = 0)
h) j(r)(r +j = 0)
i ) r(j)(r < j j < r)
j ) r(r < 0 (j)(j 0 r +j = 0))
k) r(j)(r
2
= j)
l ) r(r
2
0)
5. Para cada enunciado encuentre un dominio donde el enunciado sea verda-
dero y uno para el cual sea falso
a) Todos son estudiantes de Matematicas Discretas.
b) Todos son mayores de 21 a nos.
c) Cada dos personas tienen la misma madre.
d) Dos personas diferentes tienen la misma abuela.
6. Considere el dominio {o, /} y la siguiente formula verdadera:
(1o 1/ 1oo 1o/ 1/o 1//)
Decida si las siguientes formulas son verdaderas o falsas, justique su
respuesta.
a) r1r
b) r1ro
c) r1ro
d) r1/r
e) r(1r 1or)
f ) r(1ro 1/r)
g) r(1r)
h) r((1/r 1/) 1r)
106 CAP
ITULO 3. L
OGICA DE PREDICADOS
i ) r(1or 1/r)
7. Considere el dominio {o, /} y la siguiente formula verdadera:
1o 1/ 1oo 1o/ 1/o 1//
Decida si las siguientes formulas son verdaderas o falsas, justique su
respuesta.
a) r1rr r(1r 1/r)
b) r(1rr 1r) r(1r |rr)
c) r(1r (1or 1r/))
d) r(1r/ 1r) (1o/ 1o)
e) r(1rr 1r/) (1o/ 1/o)
f ) r((1/r 1r) (1r/ 1r))
g) r((1rr 1r) (1or 1ro))
h) r(1or 1r/) r(1or 1r/)
i ) r(1rr (1r 1oo)) r(1o/ 1rr)
j ) r((1r (1or 1r/)) (1r 1rr))
8. Determine el valor de verdad de los siguientes enunciados en esta inter-
pretacion. En cada caso justique su respuesta. Para cada enunciado di-
ga cuales son verdaderos o falsos seg un la interpretacion. Ademas de un
enunciado general informal para explicar su respuesta, usando el hecho
que conoce el signicado de ser millonario, ser feliz y la relacion entre
ellos. Ademas use la siguiente denicion:
`r : x es un millonario
Hr : x esta feliz
Or : x es impar
1rj : x es mayor o igual a y
Todos los enteros se denotan por o junto con un n umero. Es decir el 17 se
denota por o
17
a) r`r
b) rHr
c) rHr `r
d) r`r Hr
e) r((`r Hr) (`r Hr))
f ) r((`r Hr) (`r Hr))
g) r((Hr `r) (`r Hr))
h) r(`r Hr) (r)(`r Hr)
i ) r(Hr `r) r`r
3.4. SEM
ANTICA INFORMAL 107

j ) rOr
k) rOr
l ) r(Or 1rr)
m) r1ro
17
n) rOr Or
n) rOr 1ro
17
o) r(Or (1ro
18
1ro
17
))
p) r(1ro
1
7 1ro
18
) r(1ro
17
1ro
18
)
q) r(Or 1ro
17
) r(Or 1ro
17
)
9. Sean 1(r), Q(r) los siguientes predicados
1(r): r 3
Q(r) : r + 1 es impar
Si el universo consta de todos los enteros Cuales son los valores de verdad
de las siguientes formulas?
a) 1(1)
b) Q(1)
c) 1(3)
d) Q(6)
e) 1(7) Q(7)
f ) 1(3) Q(4)
g) 1(4)
h) (1(4) Q(3))
i ) 1(4) Q(3)
10. Sean 1(r), Q(r) los predicados denidos en el ejercicio anterior. Sea 1(r)
la proposicion abierta r 0. El universo esta formado por todos los
enteros.
a) Determine los valores de verdad de las siguientes formulas
1) 1(3)
(
Q(3) 1(3)
)
2) 1(3)
(
Q(3) 1(3)
)
3) 1(2)
(
Q(2) 1(2)
)
4)
(
1(2) Q(2)
)
1(2)
5) 1(0)
(
Q(1)
)
1(1)
6)
(
1(1) Q(2)
)
1(3)
b) Determine los valores de r para los cuales la formula (1(r) Q(r)
1(r)) es verdadera.
108 CAP
ITULO 3. L
OGICA DE PREDICADOS
c) Encuentre los cinco enteros positivos r mas peque nos para que la
formula abierta 1(r) [Q(r) 1(r)] de como resultado una pro-
posicion verdadera.
11. Sea 1(r) el predicado r
2
= 2r, donde el universo comprende todos los
enteros. Determine si cada una de las siguientes formulas es verdadera o
falsa
a) 1(0)
b) 1(1)
c) 1(2)
d) 1(2)
e) r1(r)
f ) r1(r)
12. Una clase de Matematicas Discretas tiene un matematico que es estudiante
de primer a no, 12 matematicos que son estudiantes de segundo a no, 15
de Ciencias de la Computacion que son estudiantes de segundo a no, 2
matematicos que son de primer semestre y 1 de Computacion que es de
ultimo semestre. Exprese cada enunciado en terminos de cuanticadores
y despues determine su valor de verdad
a) Hay un estudiante en la clase que es de primer semestre
b) Todo estudiante en la clase es de ultimo semestre en Ciencias de la
Computaci on
c) Hay un estudiante en la clase quien no es matematico ni de primer
semestre
d) Todo estudiante en la clase es estudiante de segundo a no o de ultimo
semestre en Ciencias de la Computacion
e) Hay un estudiante de ultimo semestre tal que hay un estudiante en
la clase de cada a no que estudia con el estudiante de ultimo semestre
13. Sean 1(n), Q(n) las proposiciones abiertas
1(n) : n es impar;
Q(n) : n
2
es impar
en el universo de los enteros Cuales de las siguientes proposiciones son
logicamente equivalentes entre si?
a) Si el cuadrado de cualquier entero es impar, entonces el entero es
impar
b) n(1(n) es necesaria para Q(n))
c) El cuadrado de cualquier entero impar es impar
3.4. SEM
ANTICA INFORMAL 109

d) Existen algunos enteros cuyos cuadrados son impartes
e) Dado cualquier entero cuyo cuadradro sea impar, ese entero tambien
es impar
f ) n[1(n) Q(n)]
g) Todo entero con un cuadradro impar es impar
h) Todo entero con un cuadrado par es par
i ) n[1(n) es suciente para Q(n)]
14. Reescriba cada enunciado de tal forma que la negacion aparezca solo con
predicados (esto es, que ninguna negacion este fuera del cuanticador o
alguna expresion que involucre conectivos logicos)
a) jr1(r, j)
b) rj1(r, j)
c) j(Q(j) r1(r, j))
d) j(r1(r, j) ro(r, j))
e) (r.T(r, j, .) r.l(r, j, .))
15. Reescriba cada enunciado de tal forma que la negacion aparezca solo con
predicados (esto es, que ninguna negacion este fuera del cuanticador o
alguna expresion que involucre conectivos logicos)
a) rj1(r, j)
b) jr(1(r, j) Q(r, j))
c) (rj1(r, j) rjQ(r, j))
d) r(j.1(r, j, .) .j1(r, j, .))
e) jr1(r, j)
16. Exprese las negaciones de cada enunciado de tal forma que todo smbolo
de negacion inmediatamente preceda a un predicado
a) rj.T(r, j, .)
b) rj1(r, j) rjQ(r, j)
c) rj(1(r, j) .1(r, j, .))
d) rj(1(r, j) Q(r, j))
17. Exprese las negaciones de cada enunciado de tal forma que todo smbolo
de negacion inmediatamente preceda a un predicado
a) jjrT(r, j, .)
b) rj1(r, j) rjQ(r, j)
c) rj(Q(r, j) Q(r, j))
d) jr.(T(r, j, .) Q(r, j))
110 CAP
ITULO 3. L
OGICA DE PREDICADOS
18. Exprese cada enunciado usando cuanticadores. Luego forme la negacion
de cada uno de los enunciados tal que no haya negaciones del lado izquierdo
de un cuanticador. Despues exprese la negacion en lenguaje com un (no
utilice las palabras no es el caso que).
a) Todos los perros tienen pulgas.
b) Hay un caballo que puede sumar.
c) Todo koala puede escalar.
d) Ning un chango puede hablar frances.
e) Existe un cerdo que puede nadar y atrapar peces.
de cada uno de los enunciados tal que no haya negaciones del lado izquierdo
utilice las palabras no es el caso que).
a) Nadie ha perdido mas de un millon de dolares jugando lotera
b) Hay un estudiante en esta clase quien ha platicado con exactamente
otro ayudante
c) Ning un estudiante en esta clase ha enviado un correo electronico a
exactamente dos estudiantes en esta clase
d) Alg un estudiante ha resuelto cada ejercicio de este libro
e) Ning un estudiante ha resuelto al menos un ejercicio en cada seccion
de este libro
de cada una de las sentencias tal que no haya negaciones del lado izquierdo
utilice las palabras no es el caso que)
a) Algunos perros viejos pueden aprender trucos nuevos.
b) Ning un conejo sabe Calculo.
c) Todo pajaro puede volar.
d) No hay un perro que pueda platicar.
e) No hay nadie en esta clase que sepa frances y ruso.
21. Usando las leyes de la equivalencia logica, transforme cada una de las
formula siguientes a una formulas en forma prenex logicamente equivalente
a)
1
=
Jc}
r(j1(r, j) 1(r))
b)
2
=
Jc}
r(1(r) j1(r, j))
c)
3
=
Jc}

1

2
d)
4
=
Jc}

1

2
3.4. SEM
ANTICA INFORMAL 111

22. Para cada argumento, determine cual es valido o no valido. Si no es valido,
muestrelo dando un contraejemplo. Si es valido, explique su razonamiento
mostrando lo razon de porque es valido. Utilice un tipo de razonamiento
informal
a)
r1rc
r1rc
b)
1oc
r1rc
c)
r1rc
1oc
d)
r1r 1rc
r1r
e)
r1r 1rc
r1r
f )
r1r r1ro
r1r 1ro
g)
r(1r 1rc) r(1r 1ro)
r((1r 1rc) (1r 1ro))
23. Para la cena de Nochebuena prepare un men u en el que haba bacalao,
pavo y ensalada. A la hora de servir, un comensal llamado Pablo me in-
dico lo siguiente:
Comere alguno de los 3 platos, pero si como bacalao y no como pavo
entonces como ensalada. O como pavo o como ensalada o bien no como
ninguno de los tres platos. Comere pavo solo si como bacalao. Luego o
como bacalao o no como pavo
Se trata de averiguar si el argumento es correcto respondiendo lo siguiente
a) Cuando se decide que un argumento es correcto?
b) Formalizarlo con la sintaxis del lenguaje proposicional.
c) Demuestre la correctud del argumento proposicional usando interpre-
taciones.
d) Formalizarlo con la sintaxis del lenguaje de predicados
24. Considere las siguientes argumentaciones. Responda para cada una: Son
verdaderas todas las premisas? Es verdad la conclusion? Es valida la
argumentacion?
a)
Algunos poetas escribieron libros de ensayo
El autor del Poema del Mo Cid era poeta
El autor del Poema del Mo Cid escribio libros de ensayo
112 CAP
ITULO 3. L
OGICA DE PREDICADOS
b)
Todos los psicologos conductistas son partidarios del psicoanalisis
Watson era partidario del psicoanalisis
Watson era un psicologo conductista
c)
Todos los revolucionarios usan uniforme
Mussolini no usaba uniforme
Mussolini no era revolucionario
d)
Ning un n umero par mayor que 2 es primo
36 es un n umero par mayor que 2
36 es primo
3.5. Predicados y tipos
1. Formalice las siguientes especicaciones acerca de un tipo (r) y el tipo
de ujo de informacion que consta de elementos de , denotado o(r).
Debe agregar cualquier predicado, funcion o constante necesaria:
El primer elemento de un ujo de informacion es un elemento de A.
La operaci on de eliminar el primer elemento de un ujo es nueva-
mente un ujo.
La mezcla uno a uno de los ujos es nuevamente un ujo.
Empaquetar dos ujos resulta en un ujo que tiene como elementos
parejas de elementos.
2. Formalice las siguientes especicaciones acerca de un tipo (r) y el tipo de
arboles binarios con informacion en los nodos de tipo , denotado T(r).
Debe agregar cualquier predicado, funcion o constante necesaria:
El arbol vaco es un arbol binario con informacion en los nodos.
Unir dos arboles con un elemento de es un arbol.
Un arbol tiene (siempre) dos subarboles.
Cualquier nodo interno de un arbol es un elemento de .
Cualquier arbol con n nodos contiene exactamente n + 1 subarboles
vacos.
El arbol vaco tiene altura 1.
La altura de un arbol es 1 mas el maximo de la altura de sus subarbo-
les.
Si un arbol tiene altura n entonces tiene a lo mas 2
n
1.
3.6. SOLUCIONES 113
3.6. Soluciones
Seccion 3.2
3. a) 2)
E
pred
B
(listadeterm)
term,
cte
m
listadeterm
term
func
f
(listadeterm)
term
cte
m
3) Una funcion no es una formula solo es un termino.
6)
114 CAP
ITULO 3. L
OGICA DE PREDICADOS
E
(E)
E
pred
B
(listadeterm)
term,
var
x
listadeterm
term
var
y
E
(E)
var
z
E
pred
S
(listadeterm)
term,
var
z
listadeterm
term
var
y
b) 1) El predicado debe tener 3 argumentos y en la formula solo tiene
dos: )(d) y (p(c, r), d, j).
5) Una funcion no es una formula, por lo tanto p(r, j) 1(r, j, .)
no es una formula.
6)
3.6. SOLUCIONES 115
E
pred
Q
(listadeterm)
term,
cte
C
listadeterm
term,
cte
d
listadeterm
term
cte
C
5. c) Ning un objeto que cumple con S cumple con T.
d) Existe un objeto tal que si cumple S entonces cumple Q.
6. o) El alcance de r es la subformula (1(r) Q(j)).
La variable r esta ligada.
La variable j esta libre.
c) El alcance de r es la subformula (j1(r, j) Q(r, j)).
El alcancede j es la subformua 1(r, j).
Las presencias de la variable r estan ligadas en 1(r, j) j esta ligada
y en Q(r, j) j esta libre.
9. o) En 1(r, j) j esta libre.
En 1(r, o) r esta libre.
c) En 1(r, p(o, j)) no hay variables libres.
En 1(j, .) j esta libre
c) En Q(j, n, n) n esta libre.
En 1(r, n) ambas variables estan libres.
Seccion 3.3
1. a) r(1(r) o(r))
b) r(1(r) 1(r))
116 CAP
ITULO 3. L
OGICA DE PREDICADOS
c) r(1(r) o(r) 1(r))
d) r(1(r) o(r) 1(r))
e) r(1(r) o(r) 1(r))
f ) r(1(r) o(r))
g) o(`) r(1(r) o(r))
h) 1(`) 1(T)
i ) r(1(r) 1(r)) r(1(r) o(r))
4. a) rj(1(r) 1(j) 1(r, j))
b) rj(1(r) 1(j) 1(r, j))
c) rj(1(j) 1(r, j) 1(j))
d) r(1(r) j(1(j) 1(r, j)))
e) rj(1(r) 1(j) 1(r, j))
f ) rj(1(r) 1(j) 1(r, j))
g) rj(1(r) 1(r, j) 1(j))
h) rj(1(r) 1(r, j) 1(j))
i ) rj(1(r) 1(j) 1(r, j))
j ) r(1(r) j(1(j) 1(r, j)))
7. a) r(1(r) Q(r))
b) r(Q(r) 1(r))
c) r(1(r) 1(r))
d) No
11. a) 1) rQ(r)
2) r(1(r) Q(r))
3) r(Q(r) T(r))
4) r(Q(r) (T(r) o(r)))
5) r(Q(r) T(r))
6) r(Q(r) 1(r) o(r))
b) 1) Verdadera.
2) Verdadera.
3) Falsa, r = 10 es par y es divisible entre 5.
4) Falsa, r = 20 es par y es divisible entre 5 y entre 4.
5) Verdadera.
6) Verdadera.
3.6. SOLUCIONES 117
16. o)
P(x): x es pitufo.
A(x): x es azul.
G(x): x es gandul.
C(x): x es cascarrabias.
r(1(r) (r) G(r))
r(1(r) G(r))
r(1(r) (r) C(r))
r(C(r) G(r))
))
P(x): x es porte na
Q(x): x es porte no
A(x): x esta alegre
F(x): x es amigo de marineros
C(x): x es cornudo
C(x,y): x esta casado con y
M(x): x es marinero
H(x): x esta feliz
r(1(r) (r) 1(r))
r(Q(r) H(r) j(1(j) (j) C(r, j)))
rj(Q(r) 1(j) 1(j) C(r, j) C(r) `(r))
rj(Q(r) H(r) 1(j) C(r, j) `(r))
r(C(r) H(r))
p)
V(x): x es vampiro
H(x): x esta feliz
B(x): x se emborracha
P(x): x pernocta en un cementerio
L(x): x viola la ley
S(x): x es seputurero
W(x): x es bruja
C(x,y): x convive con y
r(\ (r) H(r) 1(r) 1(r))
r(1(r) 1(r) o(r))
r(\(r) H(r) j(\ (j) H(j) 1(j) 1(j) C(r, j)))
r(\(r) H(r))
r(\ (r) o(r))
19. a) Existe un entero que es divisible entre 2 y es par.
b) Existe el cuadrado de un entero que es impar y ese entero es par.
c) Existen tres enteros /, :, n tales que /:, :n y /n son impares.
d) Existe un n umero real r tal que r
2
16 pero r 4 y r < 4.
118 CAP
ITULO 3. L
OGICA DE PREDICADOS
e) Existe un n umero real r tal que r 3 < 7 y 4 r 10.
20. a) r(1r Qr)
b) r(Qr 1r)
c) r(1r Qr 1r)
d) r(1r Qr 1r)
24. Relacion de orden.
o) r(r r)
/) rj((r j) (j r) r = j)
c) rj.((r j) (j .) (r .))
Relacion de orden total
1)- 3) y rj((r j) (j r))
Relacion de orden total denso
1)- 3) y rj((r < j) .((r < .) (. < j)))
25. o) 1(Gc:o:do)
c) C(Jnono, oond:o)
)) r1(r)
) rj(1(r) 1(j) r = j)
/) rj.(C(r, .) C(j, .) r = j)
:) rj.(C(r, .) C(j, .))
27. /) r(o(r) `(r))
d) r(G(r) 1(r))
)) r(G(r) `(r) 1(r))
29.
U: objetos del taller.
L(x): x esta en su lugar.
E(x): x esta en excelentes condiciones.
H(x): x es una herramienta.
a) r1(r)
b) r(H(r) 1(r) 1(r))
c) r(1(r) 1(r))
d) r(1(r) 1(r))
3.6. SOLUCIONES 119
e) r(H(r) 1(r) 1(r))
33.
U(x): x es usuario.
C(x): x accede al sistema de correo electronico.
A(x): x tiene acceso a una cuenta de correo.
B(x): x esta bloqueado.
o
1
: es sistema de archivos.
f: es el rewall.
D(x): x esta en estado diagn ostico.
o
2
: es el servidor.
r: es el router.
N(x): x funciona de manera normal.
K(x): x tiene un rendimiento entre 100 kbps y 500 kbps.
R(x): x es un router.
a) r(l(r) (r))
b) 1(o
1
) j(l(j) C(j))
c) 1(o
2
) 1())
d) (1(o
2
) 1(o
2
)) r(1(r) (r))
40. a) Si hay una impresora fuera de servicio y ocupada entonces hay una
trabajo de impresion perdido.
b) Si toda impresora esta ocupada entonces hay un trabajo de impresion
en la cola.
c) Si existe un trabajo de impresion en la cola que esta perdido entonces
hay una impresora furea de servicio.
d) Si toda impresora esta ocupada y todo trabajo de impresion esta en
la cola entonces existe un trabajo de impresion perdido.
42.
E(x,y): x ha estado en y.
E(x): x es un estudiante de Ciencias de la Computacion.
M(x): x curso Matematicas Discretas.
N(x,y): x necesita y.
L(x): x es una laptop.
P(x,y): x pertence a y.
C(x): x es un curso de Ciencias de la Computacion.
T(x,y): x toma y.
B(x): x es un edicio de la facultad.
S(x): x es un salon.
a) r((r) j(`(j) (r, j)))
120 CAP
ITULO 3. L
OGICA DE PREDICADOS
b) r(1(r) j(1(j) 1(j, r)))
c) r(1(r) j(C(j) T(r, j)))
d) r(1(r) j(1(j) 1(r, j)))
e) j(1(r) j(1(j) .(o(.) 1(., j) 1(r, .))))
Secci on 3.4
11. a) Verdadera.
b) Falsa.
c) Verdadera.
d) Falsa.
e) Verdadera.
f ) Falsa.
Captulo 4
Inducci on y Recursi on
4.1. Introducci on
No hay ejercicios para esta seccion
4.2. Los n umeros naturales
No hay ejercicios para esta seccion
4.3. Inducci on en los n umeros naturales
1. Hay un n umero innito de estaciones en la ruta de un tren. Suponga que
el tren para en la primera estacion y suponga que si el tren para en una
estacion, entonces para en la siguiente estacion. Muestre que el tren para
en todas las estaciones
2. Suponga que sabe que un golsta juega en el primer hoyo de un curso de
golf con un n umero innito de hoyos y que si el golsta juega un hoyo,
entonces el golsta jugara el siguiente hoyo. Pruebe que este golsta juega
cada hoyo en el curso
3. Pruebe que un tablero de ajedrez de tres dimensiones de 2
n
2
n
2
n
al que
le falta un cubo de 1 1 1 se puede completar cubriendolo con cubos de
2 2 2 a los que se les remueve un cubo de 1 1 1
4. Sea 1(n) el enunciado
1
2
+ 2
2
+... +n
2
= n(n + 1)(2n + 1),6
para el entero positivo n
121
122 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
a) Cual es el enunciado P(1)?
b) Muestre que P(1) es verdadero, completando el paso base de esta
prueba
c) Cual es la hipotesis inductiva?
d) Que necesita probar para el paso inductivo?
e) Complete el paso inductivo
f ) Explique porque estos pasos muestran que esta formula es verdadera
siempre que n sea un entero positivo
5. Sea 1(n) el enunciado
1
3
+ 2
3
+... +n
3
= (n(n + 1),2)
2
para el entero positivo n
a) Cual es el enunciado P(1)?
b) Muestre que P(1) es verdadero, completando el paso base de esta
prueba
c) Cual es la hipotesis inductiva?
d) Que necesita probar para el paso inductivo?
e) Complete el paso inductivo
f ) Explique porque estos pasos muestran que esta formula es verdadera
6. Pruebe que
1
2
+ 3
2
+ 5
2
+... + (2n + 1)
2
= (n + 1)(2n + 1)(2n + 3),3
siempre que n sea un natural
7. Pruebe que
1 1! + 2 2! +... +n +n! = (n + 1)! 1
siempre que n sea un natural no cero
8. Pruebe que
3 + 3 5 + 3 5
2
+... + 3 5
n
= 3(5
n+1
1),4
siempre que n es un natural
9. Pruebe que
2 2 7 + 2 + 7
2
... + 2(7)
n
= (1 (7)
n+1
),4
4.3. INDUCCI
ON EN LOS N
UMEROS NATURALES 123

10. Encuentre la formula para la suma de los primeros n enteros positivos
pares. Pruebela usando induccion.
11. Encuentre una formula para
1
(1 2)
+
1
(2 3)
+. . . +
1
n(n + 1)
probando la expresion con valores peque nos de n. Pruebela usando induc-
cion
12. Encuentre una formula para
1
2
+
1
4
+
1
8
+. . . +
1
2
n
probando la expresion con valores peque nos de n
13. Pruebe que
n
=0
1
2
=
2
n+1
+ (1)
n
3 2
n
siempre que n sea un entero natural.
14. Pruebe que
1
2
2
2
+ 3
2
... + (1)
n1
n
2
= (1)
n1
n(n + 1),2
siempre que n sea un natural no cero.
15. Pruebe que para cada natural n, se cumple
n
|=1
/2
|
= (n 1)2
n+1
+ 2
1 2 + 2 3 +... +n(n + 1) = n(n + 1)(n + 2),3
1 2 3 + 2 3 4 +... +n(n + 1)(n + 2) = n(n + 1)(n + 2)(n + 3,4)
18. Pruebe que
n
=1
,
4
= n(n + 1)(2n + 1)(3n
2
+ 3n 1),30
124 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
19. Pruebe que 2 divide a n
2
+n siempre que n sea un natural no cero.
3
+ 2n siempre que n sea un natural no cero.
5
n siempre que n sea un natural no cero.
3
n siempre que n sea un un natural no cero.
23. Pruebe que n
2
1 es divisible entre 8 siempre que n sea un un natural no
cero.
24. Pruebe que 21 divide a 4
n+1
+5
2n1
25. Pruebe que si n es un entero positivo, entonces 133 divide a 11
n+1
+12
21
26. Pruebe que que si
1
,
2
, ...,
n
y 1
1
, 1
2
, ..., 1
n
son conjuntos tales que
para , = 1, 2, ..., n entonces

n
=1
=1
1
27. Pruebe que que si

1
,
2
, ...,
n
y 1
1
, 1
2
, ..., 1
n
son conjuntos tales que
para , = 1, 2, ..., n entonces

n
=1
=1
1
28. Pruebe que si

1
,
2
, ...,
n
y B son conjuntos, entonces
(
1

2
...
n
) 1 = (
1
1) (
2
1) ... (
n
1)
29. Pruebe que si
1
,
2
, ...,
n
(
1

2
...
n
) 1 = (
1
1) (
2
1) ... (
n
1)
30. Pruebe que si
1
,
2
, ...,
n
(
1
1) (
2
1) ... (
n
1) = (
1

2
...
n
) 1
31. Pruebe que si
1
,
2
, ...,
n
(
1
1) (
2
1) ... (
n
1) = (
1

2
...
n
) 1
32. Pruebe que si
1
,
2
, ...,
n
son subconjuntos de un conjunto universo l,
entonces
n
|=1
|
=
n
|=1
|
33. Pruebe que un conjunto con n elementos tiene n(n 1),2 subconjuntos
que contienen exactamente dos elementos siempre que n 2.
34. Pruebe que un conjunto con n elementos tiene n(n 1)(n 2),6 subcon-
juntos que contienen exactamente tres elementos siempre que n 3.
4.3. INDUCCI
ON EN LOS N
UMEROS NATURALES 125

35. Pruebe que en un conjunto de n + 1 enteros positivos, tal que ninguno
excede a 2n, hay al menos un natural que divide a otro en el conjunto.
36. Suponga que 1(:, n) es una armacion concerniente a los n umeros natura-
les : y n, ademas que pueden demostrarse las dos armaciones siguientes:
a) 1(0, 0) es verdadera
b) Para cualesquiera n umeros naturales i y ,, si 1(i, ,) es verdadera,
entonces 1(i, , + 1) y 1(i + 1, ,) tambien lo son
Puede concluirse que 1(:, n) es verdadera para todos los n umeros na-
turales : y n? Exponga las razones de su respuesta
37. Pruebe que n lneas rectas dividen el plano en
n
2
+n+2
2
regiones, ademas
ninguna de las lneas son paralelas y no hay tres lneas que se intersecten
en un punto
38. Pruebe que para cada n
+
el entero 10
n+2
2 10
n
+7 es divisible por 3
39. Los n umeros de Fibonacci tienen ciertas propiedades particulares. Pruebe
las siguientes:
a) 1
4n
es divisible por 3 para cada n 1
b) 1 < (1
n+1
,1
n
) < 2 para toda n 2
c) (1
n
)
2
= 1
n1
1
n+1
+ (1)
n+1
40. Suponga que n es un entero con 7 n. Use induccion para probar que
3
n
< n!
41. Una barra de chocolate se compone de un n umero n cuadros (n 0) or-
ganizados en un patron rectangular. Parta la barra en sus n cuadrados
peque nos haciendolo siempre a lo largo de las lneas entre los cuadrados
Cual es el menor n umero de rupturas?
42. Utilice induccion matematica para mostrar que (j
1
j
2
... j
n
) es
equivalente a j
1
j
2
...j
n
siempre que j
1
, j
2
, ..., j
n
son proposiciones
43. Muestre que ((j
1
j
2
) (j
2
j
3
) ... (j
n1
j
n
)) ((j
1
j
2
...
j
n1
) j
n
)
es una tautologa siempre que j
1
, j
2
, ..., j
n
son proposiciones, cuando n 2
44. Para cada n 0, se denen las cadenas, o
n
y /
n
en {0, 1}
como sigue:
o
0
= 0;
/
0
= 1;
126 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
para n 0, o
n
= o
n1
/
n1
; /
n
= /
n1
o
n1
Demuestre, para cada n 0, que las armaciones siguientes son verdade-
ras:
a) Las cadenas o
n
y /
n
tienen la misma longitud.
b) Las cadenas o
n
y /
n
dieren en cada posicion.
c) Las cadenas o
2
y /
2
son palndromos.
d) La cadena o
n
no contiene las subcadenas 000 o 111.
45. Use induccion fuerte para mostrar que cada entero positivo n se puede
escribir como la suma de distintas potencias de dos, esto es, como una su-
ma de elementos del conjunto {1, 2, 4, . . . , 2
n
, 2
n+1
}.(Ayuda: Para el paso
inductivo, considere por separado los casos cuando / + 1 es par o impar.
Cuando es par note que (/ + 1),2 es un entero)
46. Se denen los n umeros de Fibonacci 1
1
, 1
2
, 1
3
, ... mediante las relaciones
de recursion 1
1
= 1, 1
2
= 1, y 1
n
= 1
n1
+ 1
n2
para n 2. Estos
n umeros de Fibonacci son 1, 1, 2, 3, 5, 8, 13, 21, ... Pruebe que los n umeros
de Fibonacci satisfacen 1
1
+1
2
+... +1
n
= 1
n+2
1
47. Usando inducci on fuerte pruebe que para cualquier formula proposicional
,, donde es el unico conectivo , es verdadera si y solo si todas sus
formulas atomicas son verdaderas.
48. Pruebe que para cualquier formula proposicional ,, donde es el unico
conectivo , es verdadera si y solo si todas sus formulas atomicas son
verdaderas.
49. Se dene la sucesion o
1
, o
2
, ... por o
1
= 1, o
2
= 3, y o
n
= o
n1
+o
n2
para
n 2. Pruebe que o
n
< (7,4)
n
para toda n
+
50. Se dene /
1
, /
2
, ... por /
1
= 11, /
2
= 21, y /
n
= 3/
n1
2/
n2
para n 2.
Pruebe que /
n
= 5 2
n
+ 1 para toda n
+
51. Sea 1
n
el n umero de formas para cubrir el tablero de 2 n usando chas
de domino planas. Entonces es facil ver que 1
1
= 1, 1
2
= 2, 1
3
= 3.
Calcule otros valores para 1
n
y deduzca una expresion para 1
n
ademas
use induccion para probar que la formula es correcta
52. Pruebe que cualquier n umero mayor o igual que 12 se puede formar su-
mando multiplos de 4 y/o 5, es decir 4 r + 5 j. Pruebe por medio de
induccion fuerte
53. Pruebe que el n-esimo n umero de Fibonacci 1
n
satisface 1
n
2
n
4.4. DEFINICIONES RECURSIVAS 127
54. Todos los n umeros de Fibonacci son pares
55. Pruebe que 1
2
1
+1
2
2
+... +1
2
n
= 1
n
1
n+1
cuando n es un entero positivo
56. Pruebe que 1
1
+1
3
+... +1
2n1
= 1
2n
57. Pruebe que 1
n+1
1
n1
1
2
n
= (1)
n
58. Pruebe que 1
0
1
1
+ 1
1
1
2
+ ... + 1
2n1
1
2n
= 1
2
2n
cuando n es un entero
positivo
59. Muestre que 1
0
1
1
+1
2
... 1
2n1
+1
2n
= 1
2n1
1 cuando n es un
entero positivo
60. Sea T un arbol binario. Sea (T) el n umero de hojas de T e 1(T) el n ume-
ro de nodos internos ed T. Pruebe por medio de induccion fuerte que
1(T) = 1(T) + 1
61. Sea y 1
1
, 1
2
, ..., 1
n
letras de enunciados. Pruebe la extension nita de
las equivalencias distributivas de logica proposicional:
(1
1
1
2
... 1
n
) (
1
1
1
) ( 1
2
) ... ( 1
n
) y
(1
1
1
2
... 1
n
) ( 1
1
) ( 1
2
) ... ( 1
n
)
para n 2
62. Sea 1
1
, 1
2
, ..., 1
n
letra de enunciados. Pruebe la extension nita de las
leyes de De Morgan:
(1
1
1
2
... 1
n
)
1
1
2
... 1
n
y
(1
1
/
2
... 1
n
)
1
1
2
... 1
n
para n 2
4.4. Deniciones recursivas
1. Un caballo en una mesa de ajedrez puede mover un espacio horizontal-
mente (en cualquier direccion) y dos espacios verticalmente (en cualquier
direccion) o dos espacios horizontalmente (en cualquier direccion) y un es-
pacio verticalmente (en cualquier direccion) Suponga que se tiene tablero
de ajedrez innito, hecho por los cuadros (m,n) donde m y n son enteros
no negativos. Use induccion matematica para mostrar que el caballo em-
pieza en (0,0) puede pasar por cada cuadro usando una secuencia innita
de movimientos.(Sugerencia: Use induccion en la variabe : = :+n)
2. A continuacion se dan algunas dimensiones para tableros de ajedrez. Ave-
rigue en que casos se puede cubrir el tablero usando triminos. Justique
su respuesta
a) 3 2
n
128 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
b) 6 2
n
c) 3
n
3
n
d) 6
n
6
n
3. Use induccion fuerte para mostrar que si puedes correr uno o dos kilome-
tros, y si siempre puedes correr dos kilometros mas una vez que hayas
corrido un n umero especco de kilometros, entonces puedes correr cual-
quier n umero de kilometros
4. Que cantidades de dinero se pueden formar usando billetes de de 20 pesos
y billetes de cincuenta pesos? Compruebe su respuesta usando induccion
fuerte
5. Encuentre )(1), )(2), )(3) y )(4) si )(n) se dene recursivamente por
)(0) = 1 y para n = 0, 1, 2, . . .
a) )(n + 1) = )(n) + 2
b) )(n + 1) = 3)(n)
c) )(n + 1) = 2
}(n)
d) )(n + 1) = )(n)
2
+)(n) + 1
6. Encuentre )(1), )(2), )(3), )(4) y )(5) si )(n) se dene recursivamente por
)(0) = 3 y para n = 1, 2, . . .
a) )(n + 1) = 2)(n)
b) )(n + 1) = 3)(n) + 7
c) )(n + 1) = )(n)
2
2)(n) 2
d) )(n + 1) = 3
}(n)3
7. Encuentre )(2), )(3), )(4) y )(5) si ) se dene recursivamente por )(0) =
1, )(1) = 2 y para n = 1, 2 . . .
a) )(n + 1) = )(n) + 3)(n 1)
b) )(n + 1) = )(n)
2
)(n 1)
c) )(n + 1) = 3)(n)
2
4)(n 1)
2
d) )(n + 1) = )(n 1),)(n)
8. Encuentre )(2), )(3), )(4) y )(5) si ) se dene recursivamente por )(0) =
)(1) = 1 y para n = 1, 2, . . .
a) )(n + 1) = )(n) )(n 1)
b) )(n + 1) = )(n))(n 1)
c) )(n + 1) = )(n)
2
+)(n 1)
3
d) )(n + 1) = )(n),)(n 1)
9. Determine si cada una de las deniciones propuestas es una denicion
recursiva valida para una funcion ) del conjunto de naturales al conjunto
de enteros. Si ) esta bien denida, encuentre una formula para )(n) cuando
n es un natural y pruebe que la formula es valida
a) )(0) = 0, )(n) = 2)(n 2) para n 1
b) )(0) = 1, )(n) = )(n 1) 1 para n 1
c) )(0) = 2, )(1) = 3, )(n) = )(n 1) 1 para n 2
d) )(0) = 1, )(1) = 2, )(n) = 2)(n 2) para n 2
e) )(0) = 1, )(n) = 3)(n 1) si n es impar y n 1 y )(n) = 9)(n 2)
si n es par y n 2
10. Determine si cada una de las deniciones propuestas es una denicion
recursiva valida para una funcion ) del conjunto de naturales al conjuntos
de enteros. Si ) esta bien denida, encuentre una formula para )(n) cuando
n es un entero no negativo y pruebe que la formula es valida
a) )(0) = 1, )(n) = )(n 1) para n 1
b) )(0) = 1, )(1) = 0, )(2) = 2, )(n) = 2, )(n) = 2)(n 3) para n 3
c) )(0) = 0, )(1) = 1, )(n) = 2)(n + 1) para n 2
d) )(0) = 0, )(1) = 1, )(n) = 2)(n 1) para n 1
e) )(0) = 2, )(n) = )(n 1) si n es par y n 1 y )(n) = 2)(n 2) si
n 2
11. La siguiente denicion recursiva dene correctamente una funcion que
verica potencias de 2? Primero aseg urese que la denicion recursiva tiene
un n
Test. prim
f(n) =
{
)o|:o si n es impar
1(
n
2
) si n es par
(n es una potencia de dos si y solo si n es par y
n
2
es una potencia de dos,
para cualquier entero positivo n)
12. Los n umeros especiales se denen:
a) 1 es especial.
b) Si n es par, n es especial, si
n
2
lo es.
c) Si n es impar, n es especial, si 3n + 1 lo es.
Puede decir que naturaes son especiales? S(1)= verdadero (1 es especial)
Para n par, se tiene o(n) = o(
n
2
)
Para n impar, n 1, se tiene o(n) = o(3n + 1)
130 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
13. De una denicion recursiva de la sucesion o
n
, n = 1, 2, 3, ..., si
a) o
n
= 6n
b) o
n
= 2n + 1
c) o
n
= 10
n
d) o
n
= 5
14. De una denicion recursiva de la sucesion o
n
, n = 1, 2, 3, ... si
a) o
n
= 4n 2
b) o
n
= 1 + (1)
n
c) o
n
= n(n + 1)
d) o
n
= n
2
15. Sea 1 una funcion tal que 1(n) es la suma de los primeros n enteros
positivos. De una denicion recursiva para 1(n)
16. De una denicion recursiva de una funcion de max y mn tal que max(o
1
, o
2
, ..., o
n
)
y mn (o
1
, o
2
, ..., o
n
) son el maximo y mnimo de los n n umeros o
1
, o
2
, ..., o
n
,
respectivamente
17. Sean o
1
, o
2
, ..., o
n
y /
1
, /
2
, ..., /
n
n umeros reales. Use la denicion recursiva
dada en el ejercicio anterior para probar lo siguiente
a) max(o
1
, o
2
, ..., o
n
) =-mn(o
1
, o
2
, ..., o
n
)
b) max(o
1
+/
1
, o
2
, ..., o
n
+/
n
) max(o
1
, o
2
, ..., o
n
)+max(/
1
, /
2
, ..., /
n
)
c) mn(o
1
+/
1
, o
2
+/
2
, ..., o
n
+/
n
) mn(o
1
, o
2
, ..., o
n
)+mn(/
1
, /
2
, ..., /
n
)
18. De una denicion recursiva para el conjunto de enteros que son m ultiplos
de 5
19. Sea o el conjunto de pares ordenados de naturales denido recursivamente
por
Paso Base: (0, 0) o
Paso Recursivo: Si (o, /) o, entonces (o+2, /+3) o y (o+3, /+2) o
a) Liste los elementos de o que se obtienen al aplicar 5 veces la denicion
recursiva
b) Use induccion fuerte sobre el n umero aplicaciones del paso recursivo
de la denicion para mostrar que 5o +/ cuando(o, /) o
c) Use induccion estructural para mostrar que 5o +/ cuando (o, /) o
20. Sea o el conjunto de los pares ordenados de naturales denido recursiva-
mente por
Paso Base:(0, 0) o
Paso Recursivo: Si (o, /) o, entonces (o, / + 1) o, (o + 1, / + 1) o, y
(o + 2, / + 1) o
a) Liste los elementos de o que se obtienen al aplicar 4 veces la denicion
recursiva
b) Use induccion fuerte sobre el n umero aplicaciones del paso recursivo
de la denicion para mostrar que o 2/ cuando(o, /) o
c) Use induccion estructural para mostrar que o 2/ cuando (o, /) o
21. De una denicion recursiva de n
.
, donde n s una cadena e i es un entero
no negativo.(Aqu n
.
representa la concatenacion de i copias de la cadena
n)
22. Use induccion matematica para mostrar que |(n
.
) = i|(n), | es la funcion
de longitd n donde n es una cadena e i es un natural.
23. Muestre que (n
1
)
.
= (n
.
)
1
siempre que n es una cadena e i es un entero
no negativo; esto es, muestre que la iesima potencia de la reversa de una
cadena es la reversa de la iesima potencia de la cadena.
24. Considere el conjunto T X denido recursivamente de la siguiente
forma:
a) (0, 0) T
b) Si (:, n) T entonces (:+ 1, n), (:+ 1, n + 1), (:+ 1, n + 2) T
a) Liste 6 elementos de T
b) Demuestre que si (:, n) T, entonces 2: n, n
25. Dado un alfabeto cualquiera dena recursivamente la funcion 1(n) que
devuelve el n umero de palndromos de longitud n
26. Para los ejercicios siguientes, escriba los primeros 5 valores en las secuen-
cias
a) S(1)=10
S(n)=S(n-1)+10 para n 2
b) A(1)=2
(n) =
1
.(n1)
para n 2
c) B(1)=1
1(n) = 1(n 1) +n
2
para n 2
d) S(1)=1
o(n) = o(n 1) +
1
n
para n 2
e) T(1)=1
T(n)=nT(n-1) para n 2
f ) P(1)=1
1(n) = n
2
1(n 1) + (n 1) para n 2
132 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
g) M(1)=2
M(2)=2
M(n)=2M(n-1)+M(n-2) para n 2
h) D(1)=3
D(2)=5
D(n)=(n-1)D(n-1)+(n-2)D(n-2) para n 2
i ) W(1)=2
W(2)=3
W(n)=W(n-1)W(n-2) para n 2
j ) T(1)=1
T(2)=2
T(3)=3
T(n)=T(n-1)+2T(n-2)+3T(n-3) para n 3
27. Una coleccion T de n umeros se dene recursivamente por
a) 2 pertenece a T
b) Si X pertenece a T, entonces tambien X+3 y 2*X
Cuales de los siguientes pertenecen a T?
a) 6
b) 7
c) 19
d) 12
28. Una coleccion M de n umeros se dene recursivamente por
a) 2 y 3 pertencen a M
b) Si X e Y pertencen a M, entonces tambien X*Y
Cuales de los siguientes pertenecen a M?
a) 6
b) 9
c) 16
d) 21
e) 26
f ) 54
g) 72
h) 218
29. Una coleccion de S de cadenas de caracteres se dene recursivamente por
4.5. INDUCCI
ON ESTRUCTURAL 133
a) a y b pertenece a S
b) Si X pertenece a S, tambien hacer Xb
Cuales de los siguientes pertenecen a S?
a) a
b) ab
c) aba
d) aab
e) bbbbb
30. Una coleccion W de cadenas de smbolos se dene recursivamente por
a) a,b y c pertenecen a W
b) Si X pertenece a W, entonces hacer a(X)c
Cuales de las siguientes pertencen a W?
a) a(b)c
b) a(a(b)c)c
c) a(ab)c
d) a(a(a(a)c)d)c
e) a(aacc)c
31. De una denicion recursiva para el conjunto de todas las formulas bien
formadas de enteros, que incluyen enteros junto con operadores aritmeticos
como +,-,*, y /
32. De una denicion recursiva para el conjunto de cadenas de los parentesis
bien balanceados
33. De una denicion recursiva para el conjunto de todas las cadenas de bits
que contienen un n umero impar de ceros
4.5. Inducci on estructural
1. Use induccion estructural para mostrar que n(T) 2(T) + 1, donde T
es una arbol binario completo, n(T) igual al n umero de vertices de T, y
(T) es la altura de T
2. Use induccion estructural para mostrar que |(T), el n umero de hojas de
una arbol binario completo T, es 1 mas que i(T), el n umero de vertices
internos de T
3. Suponga que el lenguaje 1 {o, /}
se dene como sigue:

134 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
a) o 1
b) Para cada r 1, or 1
c) Para cada r y j en 1, las cadenas /rj, r/j y rj/ son parte de 1
d) Ninguna otra cadena forma parte de 1
Utilizando induccion estructural demuestre que si n 1 entonces n tiene
mas aes que bes
4. Sea 1 = {i, (, ), +, } La siguiente es una denicion del lenguaje 1 de
expresiones algebraicas encerradas totalmente entre parantesis que abar-
can los operadores binarios + y , as como el identicador i. La frase
expresion encerrada totalmente entre parentesis signica exactamente un
par de parentesis por cada operador
a) i 1
b) Para cada r, j 1, tanto (r + j) como (r j) son elementos de
1
c) Una cadena no esta en 1 a menos que pueda obtenerse con las
reglas 1 y 2
Algunas cadenas de 1 son i, (i +i), (i i), ((i +i) i)j((i i)) +i
De acuerdo a lo anterior, demuestre que si r es cualquier cadena en 1,
entonces todo prejo de r contiene por lo menos tantos parentesis izquier-
dos como derechos.
5. Pruebe que en una cadena de bits, la cadena 01 ocurre a lo mas una vez
mas que la cadena 10
6. De una denicion recursiva para la funcion nno(t), la cual cuenta el n umero
de unos en una cadena de bit t. Use induccion estructural para probar que
nno:(:t) = nno:(:) +nno(t)
7. De una denicion recursiva para la funcion :(:), la cual es igual al dgito
mas peque no en una cadena no vaca de dgitos decimales. Use induccion
estructural para probar que :(:t) = :in(:(:), :(t))
8. De una denicion recursiva del conjunto de cadenas de bit que son palndro-
mos
9. Dena recursivamente al conjunto de cadenas de bit que tienen mas ceros
que unos
10. Demuestre que {, , } es un conjunto completo de conectivos
11. Demuestre que {, } es un conjunto completo de conectivos
4.6. SOLUCIONES 135
14. Dada una formula proposicional , se dene la formula complementaria
t
como el resultado de sustituir en cada presencia de un smbolo de
proposicion j por j.
a) Dena
t
b) Demuestre que es una tautologa si y solo si lo es
t
15. Demuestre que el siguiente principio de dualidad se verica para formulas
proposicionales construidas usando solamente los conectivos true, false,
, ,
a) 1 es una tautologa si y solo si lo es 1
J

J
b) y 1 son logicamente equivalentes si y solo si lo son
J
y 1
J
16. Pruebe, por induccion estructural, que el n umero de parentesis izquierdos
en cualquier formula es igual al n umero de smboles de disyuncion (Solo
se usan conectivos y )
17. Pruebe que cualquier formula c es o una variable proposicional o comienza
con un parentesis ( o comienza con una cadena de uno o mas smbolos de
negacion )
18. Muestre que (:
:. Donde : es una proposicion compuesta

19. Use la induccion estructural para demostrar que n(T) 2(T) +1, donde
T es el arbol binario completo, n(T) es el n umero de nodos y (T) es la
altura del arbol T. Demuestre que para todo arbol binario completo T
n(T) 2
(T)+1
1
20. Demuestre que alg un arbol no vaco de n nodos contiene exactamente n+1
subarboles vacos
4.6. Soluciones
Seccion 4.3
15.
1 2
1
= 2 = (2 1)2
1+1
+ 2
Para n=1
1 2
1
= 2 = (1 1)2
1+1
+ 2
136 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
Paso inductivo:
P.D.
|=1
/2
|
= n2
n+2
+ 2
|=1
/2
|
=
|=1
/2
|
+ (n + 1)2
n+1
=
J.J.
(n 1)2
n+1
+ 2 + (n + 1)2
n+1
= n 2
n+1
2
n+1
+n 2
n+1
+ 2
n+1
+ 2
2 n 2
n+1
+ 2 = n 2
n+2
+ 2
21. Base: n = 0 se cumple pues 5 divide a 0.
H.I. 5 divide a n
5
n, digamos n
5
n = 5/
P.I. P.D. 5 divide a (n + 1)
5
(n 1)
(n + 1)
5
n = n
5
+ 5n
4
+ 20n
3
+ 60n
2
+ 120n + 1 n 1
= n
5
n + 5(n
4
+ 4n
3
+ 12n
2
+ 24n)
= 5(/ +n
4
+ 4n
3
+ 12n
2
+ 24n)
24. Base: n = 1 21 divide a 4
2
+ 5
2n1
pues 4
2
+ 5
21
= 21
H.I. 21 divide a 4
n+1
+ 5
2n1
, digamos 4
n+1
+ 5
2n1
= 21 /
P.I. P.D. 21 divide a 4
n+2
+ 5
2n+1
4
n+2
+ 5
2n+1
= 4 4
n+1
+ 5
2n1
5
2
= 4 4
n+1
+ 25 5
2n1
= 4 4
n+1
+ 4 5
2n1
+ 21 5
2n1
4(4
n+1
+ 5
2n1
) + 21 5
2n1
= 21/ + 21 5
2n1
21(/ + 5
2n1
)
21 divide a 4
n+2
+ 5
2n+1
32. Induccion sobre n
Base: n = 2
2
|=1
|
=
1

2
=
1

2
de De Morgan
=
2
|=1
|
H.I.
n
|=1
|
=
n
|=1
|
P.I.
n+1
|=1
|
=
n
|=1
|

|+1
=
n
|=1
|

|+1
4.6. SOLUCIONES 137
=
J.J.
n
|=1
|

|+1
=
n+1
|=1
|
33. Base: n = 2 = {o
1
, o
2
}
2(21)
2
= 1 y claramente A tiene un unico sub-
conjunto de 2 elementos que es A mismo.
H.I. Si = {o
1
, . . . o
n
} entonces tiene exactamente
n(n1)
2
subconjunto
de 2 elentos.
P.I. Sea 1 = {o
1
, . . . , o
n
, o
n+1
} P.D. 1 tiene exactamente
(n+1)n
2
subcon-
junto de 2 elementos.
Los subconjuntos de 1 con 2 elementos son o subconjuntos de con 2
elementos o bien tienen a o
n+1
como elemento, de esto ultimo, el otro ele-
mento se toma de , por lo que hay n sunconjuntos de 1 con 2 elementos
que tienen o
n+1
As el n umero total de subconjuntos de 1 con 2 elementos es:
n(n1)
2
+2 =
n(n1)+2n
2
=
n
2
n+2n
2
=
n
2
+n
2
=
n(n+1)
2
37. Induccion sobre n
Caso Base: n=0. Con cero lneas el plano tiene una region
0
2
+0+2
2
= 1 por
tanto se cumple
H.I. Sea i 0 Con i lneas (ninguna paralela y no hay 3 que se intersecten
en un punto) se tiene
.
2
+.+2
2
regiones
Tomando i + 1 lneas, ninguna paralela y no hay 3 que se intersecten
en un punto. Por H.I., las primeras i lneas dividen la region en
.
2
+.+1
2
regiones. La ultima lnea es la dibujada. La ultima lnea atraviesa cada
una de las primera i lneas (dado que no son paralelas) una a la vez
(dado que no hay 3 que se intersecten en un punto) Ademas esta pasa
por a traves de i + 1 regiones y divide cada una de estas regiones en
2. Esto agrega i + 1 regiones al total. Ademas con i + 1 lneas se tiene
.
2
+.+2
2
+(i+1) =
.
2
+.+2+2.+2
2
=
(.+1)
2
+(.+1)+2
2
regiones, como se requiere.
38. Sea 1(n) el enunciado 10
n+2
2 10
n
+ 7 es divisible por 3
El enunciado 1(1) asegura que 10
3
2 10+7 es divisible por 3, lo cual es
facil de comprobar por medio del siguiente calculo 10
3
2 10+7 = 3 329
Ahora se asume que 1(/) es verdadero para alguna /
+
, entonces
10
|+2
2 10
|
+7 es divisible por 3 signica que existe una tal que
10
|+2
2 10
|
+ 7 = 3
Si se multiplica ambos lados por 10 y se resta 63 de ambos lados se obtiene:
10
|+2
2 10
|
+ 7 = 3 10
|+3
2 10
|+1
+ 70 = 30
10
|+3
2 10
|+1
63 = 30 63
10
|+3
2 10
|+1
+ 7 = 3(10 21)
La ultima igualdad muestra que 10
|+3
2 10
|+1
+ 7 es divisible por 3,
por lo tanto 1(/ + 1) es verdadero, por lo tanto el enunciado se cumple
138 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
41. Se requieren n 1 rupturas
Demostracion:
Sea 1(n) el n umero de rupturas para partir la barra en n cuadros
Paso Base: 1(1) = 0 es verdadero
Paso Inductivo: Se asume que se cumple para 1(/) para 2 / n
Se prueba que 1(n + 1) = n
Rompa la barra en 2 piezas de tama no n
1
y n
2
, tal que n
1
+ n
2
= n + 1
Por hipotesis de induccion
1(n
1
) = n
1
1
1(n
2
) = n
2
1
el n umero total de rupturas es 1 + (n
1
1) + (n
2
1) = n se cumple
j(n + 1)
45. Supongamos que / n / es suma de potencias de dos
a) Si n + 1 es par, entonces n + 1 = 2 / para alg un / n
Por H.I. / = 2
o1
+. . . + 2
o
entonces n + 1 = 2 / = 2 2
o1
+. . . + 2 2
o
= 2
o1+1
+. . . + 2
o
+l
n + 1 es suma de potencias de dos
b) Si n + 1 es impar
entonces
n+1
2
es un natural y
n+1
2
< n + 1
por H.I.
n+1
2
= 2
o1
+. . . + 2
o
entonces n + 1 = 2
n+1
2
= 2(2
o1
+. . . + 2
o
)
= 2
o1+1
+. . . + 2
o
+1
n + 1 es suma de dos potencias de dos.
53. La prueba se hace por induccion fuerte. Sea 1(n) el enunciado 1
n
2
n
.
Como 1
1
= 1, claramente 1(1) es verdadero. Se asume para alguna /
+
tal que 1(1), ..., 1(/) son verdaderas. Se debe probar que 1(/+1) es tam-
bien verdadero. Entonces se tienen las siguientes desigualdades:
1
1
2
1
, 1
2
2
2
. . . 1
|1
2
|1
, 1
|
2
|
usaremos 1(/ + 1) :
1
|+1
2
|+1
. . .(2)
Entonces como
1
|+1
= 1
|
+1
|1
Con las dos ultimas desigualdades se llega a
1
|+1
= 1
|
+1
|1
, 2
|
+ 2
|1
, 2
|
+ 2
|
, 2 2
|
, 2
|+1
Esto prueba (2), excepto por un detalle: la igualdad 1
|+1
= 1/ + 1
|1
solo se cumple si / 1 entonces por (2) la prueba se rompe si / = 1 Pero
para / < 1, (2) se puede vericar directamente 1
2
= 1 2. A pesar del
4.6. SOLUCIONES 139
valor de k se cumple 1(1), 1(2), ..., 1(/) 1(/ + 1) entonces por induc-
cion fuerte se cumple P para toda n.
54. Se demuestra por induccion fuerte:
Paso Base: 1
0
= 1
1
= 1 que es par
Hipotesis de Induccion: Supongamos que se para 1
|
par para todo 0
/ n
Se necesita que 1
n+1
sea par. Por denicion 1
n+1
= 1
n
+1
n1
pero
1
n
y 1
n1
son pares por H.I. Entonces 1
n+1
es par
52. Caso Base: Se divide en los siguientes casos:
12 = 4 + 4 + 4 = 4 3 + 5 0
13 = 4 + 4 + 5 = 4 2 + 5 1
14 = 4 + 5 + 5 = 4 1 + 5 2
15 = 5 + 5 + 5 = 4 0 + 5 3
H.I.: Suponga que los n umeros entre 12 y n es el resultado de sumar
multiplos de 4 y/o 5 donde n 15
P.I.: Se debe mostrar que cualquier n + 1
Para n + 1 se usa el resultado de n 3 (el cual satisface la hipotesis) y se
suma un 4 a eso
Note que los subcasos para el caso base se necesitan de otra manera la
induccion no funcionara con 13,14 y 15
60. Induccion sobre la profundidad d del arbol
H.I.: Sea d 0 y suponga que para cualquier arbol binario T si la profun-
didad T es estrictamente menor que d entonces 1(T) = 1(T) + 1
P.I. Ahora sea T un arbol de profundidad d. Hay dos casos. Si la raz del
arbol es una hoja, en cuyo caso 1(T) = 1, 1(T) = 0 entonces 1(T) =
1(T) + 1, o la raz tiene dos hijos, r, j
El arbol l con r como raz tiene profundidad estrictamente menor que
d el arbol o que tiene a j como raz. Por H.I. 1(l) = 1(l) + 1 y
1(o) = 1(o) +1. Tambien 1(T) = 1(l) +1(o) e 1(T) = 1+1(l) +1(o)
Por lo tanto 1(T) = 1(l) + 1(o) = (1(l) + 1) + (1(o) + 1) = 1(T) + 1
como se requera.
Por la induccion fuerte, el resultado es cierto para los arboles binarios de
cualquier profundidad
Seccion 4.4
10. o) Si es valida.
)(0) = 1
)(1) = )(0) = 1
140 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
)(2) = )(1) = 1
)(3) = )(2) = 1
Induccion sobre n
Base n = 0
)(0) = 1 correcto pues 0 es par.
H.I. )(n) se dene correctamente con la formula dada. P.I. n + 1 es
par, entonces n es impar y por H.I. )(n) = 1
)(n + 1) = )(n) = (1) = 1
correcto pues n + 1 es par.
c) La dencion es incorrecta, el valor de )(n) depende de un valor pos-
terior )(n + 1) que `a un no se ha denido.
d) )(0) = 0, )(1) = 1, )(n) = 2)(n 1) con n 1
)(2) = 2)(1) = 2
)(3) = 2)(2) = 4
)(4) = 2)(3) = 8
)(n) = 2
n1
f(n) =
{
0 si n =0
1(2
n1
) si n0
Induccion:
n = 0 )(0) = 0 es correcto por denicion.
H.I. f(n) se dene correctamente con al formula dada.
P.I. )(n + 1) = 2)(n) =
J.J.
2(2
n1
= 2
n
) )(n + 1) esta denido
correctamente.
c) Denicion invalida. Por ejemplo:
)(2) = )(1) = )(0) = 2 y tambien )(2) = 2)(0) = 4 As ) no es
funcion.
11. Esta denicion no cumple. 1 es potencia de 2 pero el procedimiento regre-
sara falso.
12. Se conjetura que todos lo n umeros naturales son especiales, es decir,
r( o(r)). Por ejemplo si se considera o(5) se cumple ya que o(35+1)
es decir o(16). La armacion se cumple si y solo si o(8), si y solo si o(2) si
y solo si o(1) entonces es verdadero. Sin embargo se trata de un problema
abierto conocido como la conjetura de Collatz.
16. max(o
1
) = o
1
max(o
1
, . . . o
n
, o
n+1
) =max(max(o
1
, . . . o
n
), o
n+1
)
mn(o
1
) = o
1
mn(o
1
, . . . o
n
, o
n+1
) =mn(mn(o
1
, . . . o
n
), o
n+1
)
18. Sea o = {/ k es m ultiplo de 5 }
4.6. SOLUCIONES 141
a) 0 o
b) oi/ o entonces / + 5 o
20. /) H.I. Si es paso recursivo se usa / o menos veces para obtener (o, /)
o, entonces o 2/.
P.I. Supongase que (c, d) se obtuvo aplicando / + 1 veces el paso
recursivo, siendo (o, /) el par obtenido en / aplicaciones.
1) c = o, d = / + 1.
Por H.I. o 2/
As c = o o 2/ < 2(/ + 1) = 2d
c 2d
2) c = o + 1, d = / + 1
Por H.I. o /, as c = o + 1 / + 1 < 2(/ + 1) = 2d
r 2d
3) c = o + 1, d = / + 1
Por H.I. o 2/,
as c = o + 2 / + 2 2/ + 2 = 2(/ + 1) = 2d
r 2d
c) Base (0, 0) o y 0 2 0 = 0
H.I. (o, /) o cumple o 2/
P.I.
1) (o, / + 1) o, por H.I. o 2/
entonces o 2/ < 2(/ + 1)
o 2(/ + 1)
2) (o + 1, / + 1) o, por H.I o 2/
entonces o + 1 2/ + 1 < 2/ + 2 = 2(/ + 1)
o + 1 2(/ + 1)
3) (o + 2, / + 1) o, por H.I. o 2/
entonces o + 2 2/ + 2 = 2(/ + 1)
o + 2 2(/ + 1)
50. Base: n = 1 /
1
= 11 = 5 2
1
+ 1
H.I. /
|
= 5 2
|
+ 1 para toda / n
P.I. P.D. /
n
= 5 2
n
+ 1
/
n
= 3/
n1
2/
n2
= 3(5 2
n1
+ 1) 2(5 2
n2
+ 1)
= 15 2
n1
+ 3 10 2
n2
2
= 2
n1
+ 14 2
n1
5 2 2
n2
+ 1
= 2
n1
+ 7 2
n
5 2
n1
+ 1
= 7 2
n
4 2
n1
+ 1
= 7 2
n
2 2 2
n1
+ 1
= 7 2
n
2 2
n
+ 1
= 5 2
n
1
142 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
Seccion 4.5
3. Induccion estructural sobre n 1.
Base: n = o, se tiene #a(a)=1 0=#b(a)
H.I. #a(w)#b(w), #a(v)#b(v)
P.I.
a) Sea r = on, por H.I. #a(w)#b(w)
entonces #a(x)=1+#a(w) y #b(x)=#b(w), as #a(x)=1+#a(w)#a(w)#b(w)=
#b(x)
b) Sea r = /n
#a(x)= #a(w)+#a(v)
#b(x)=1+#b(w)+#b(v)
Por H.I. #a(w)#b(w)
entonces #a(w)1+ #b(w) y #a(v)#b(v) entonces #a(w)+ #a(v)
1+ #b(w)+ #b(v)
es decir #a(x) #b(x).
Los otros casos para r = n/ y r = n/ son analogos.
7. :(d) = d
:(dn) =mn{d, :(n)}
P.D. :(:t) =mn(:(:), :(t:))
Induccion sobre s:
Base : = (d) entonces :(dt) =mn{d, :(t)}
= mn{:(d), :(t)}
= mn{:(:), :(t)}
H.I. :(:t) =mn(:(:), :(t))
P.I. P.D. :((d:)t) =mn(:(d:), :(t:))
:((d:)t) =mn(d(:t)) =mn(d, :in(:t)) =
J.J.
mn(d,mn:(:), :(t))
=mn(mnd, (:(:)), :(t))
=mn(:(d:), :(t)).
8. 0 y 1 son palndromos.
Si n es palndromo entonces n0n y n1n son palndromos.
Si n es palndromo entonces nn es palndromo.
13. Basta mostrar que cualquier , es logicamente equivalente a una formula
t(,) que solo usa y .
Denimos t(,) recursivamente como:
t(,) = j, t(t:nc) = t:nc, t()o|:c) = )o|:c
t(,) = t(,) t(, ) = t(,) t()
t(, ) = t(,) t()
t(, ) = (t(,) t())
Claramente en t(,) solo guran los conectivos e
Veamos por induccion sobre , que , t(,).
4.6. SOLUCIONES 143
Base:, = Como j j y t(j) = j entonces j t(j)
H.I. , t(,) y t()
P.I.
a) Caso , t(,) = t(,) ,
b) Caso , t(, ) = (t(,) t())
J.J.
(, ) , Los casos faltantes son analogos.
16. Caso Base: Sea = j, una variable proposicional.1 no tiene ning un
parentesis ni ning un conectivo .
H.I.: Suponga que , c son formulas y tiene tantos parentesis izquier-
dos como conectivos (dgase n) y c tiene : parentesis izquierdos y :
conectivos
As tiene n parentesis izquierdos y n conectivos .
Por otra parte (, ) tiene 1 +n +: parentesis izquierdos y n + 1 +:
conectivos , entonces son iguales
Esto completa el paso inductivo entonces la propiedad es verdadera para
todas las formulas.
17. Caso Base: c es una proposicion lo cual es verdadero
H.I.: c es o una letra o comienza con o (o empieza con al menos una .
Lo mismo para )
c comienza con al menos una , hecho
(c ) comienza con o(, queda resuelto.
144 CAP
ITULO 4. INDUCCI
ON Y RECURSI
ON
Captulo 5
Conceptos de teoras de
gracas
5.1. Motivaci on
1. El proyecto OMEGA, cuyo objetivo es el lanzamiento de un nuevo pro-
ducto al mercado, consta de las actividades indicadas en la tabla siguiente:
Actividad Precedentes Duracion(en semanas)
Mas probable
A Compra de las materias primas - 2
B Produccion del inventario inicial A 4
C Envasado del inventario inicial B,H 1
D Estudio del mercado - 6
E Estudio de la campa na de publicidad G 3
F Realizacion de la campa na de publicidad E 5
G Estudio y dise no de los envases D 2
H Preparacion de los envases G 2
I Seleccion del equipo de vendedores D 3
J Entrenamiento del equipo de vendedores I 4
K Seleccion de los posibles distribuidores D 3
L Venta de distribuidores J,K 5
M Envo de los primeros pedidos C,L 2
a) Aplicar la tecnica PERT para calcular los tiempos mas tempranos y
los tiempos mas tardos posibles
b) Calcular el camino crtico
2. El proyecto PILSEN consta de la siguiente lista de actividades:
145
146 CAP
ITULO 5. CONCEPTOS DE TEOR
IAS DE GR
AFICAS
Actividad Precedentes Duracion (en semanas)
Mas probable
A - 1
B - 2
C - 3
D A 4
E A 3
F C 2
G C 1
H D 7
I D 8
J B,E,F 7
K B,E,F 7
L G 5
M H 1
N I,J 2
O K,L 3
P M,N 4
Q O,P 2
3. El proyecto de construccion de una casa consta de las siguientes tareas:
Actividad Descripcion Precedentes Tiempo(en semanas)
A Preparacion - 2
B Cimientos A 4
C Alba nilera B 4
D Desag ues B 1
E Tejado C 5
F Piso D 1
G Instalacion Electrica E 3
H Instalacion Hidraulica E 4
I Carpintera E,F 6
J Pintura Interior G,H,I 8
K Pintura Exterior I 2
L Limpieza J,K 1
4. La empresa EF esta preparando la planicacion, de un proyecto informati-
co aplicando la tecnica PERT, cuyas actividades se indican en la tabla
5.1. MOTIVACI
ON 147
inferior:
Actividad Precedentes Estimacion mas probable
A - 2
B A 4
C B,H 1
D - 6
E G 3
F E 5
G D 2
H G 2
I D 3
J I 4
K D 3
L J,K 5
M C,L 2
5. CMP (empresa de mobiliario) esta desarrollando el dise no de una nue-
va silla. El desarrollo de este proyecto requiere diez actividades. Estas se
muestran en la tabla siguiente:
No. actividad Nombre actividad Precendete inmediato Tiempo estimado
1 A - 1
2 B A 4
3 C A 5
4 D B 3
5 E B 1.5
6 F C 1.5
7 G C 3.5
8 H D,F 2.5
9 I E 1
10 J G,J 4
6. Una compa na que monta espectaculos musicales acaba de rmar un con-
trato para un nuevo show. El productor ha identicado las siguientes tareas
que necesitan hacerse antes de presentar el espectaculo:
148 CAP
IAS DE GR
AFICAS
Tarea Descripcion Tiempo normal
A Preparar cada parte 5
B Instrumentar la m usica 3
C Contratar a los artistas 4
D Dise nar la coreografa 3
E Ensayo de danza 4
F Preparar el escenario 6
G Preparar el vestuario 5
H Ensayo de vestuario 6
I Ensayo general 4
J Ensayo nal 2
7. Considera la siguiente lista de actividades y realice lo siguiente:
Actividad Predecesor Tiempo
A - 3
B A 3
C A 2
D B,C 4
E B 7
F C 2
G E 1
H G,D,F 5
I F 8
J I 3
K H 6
8. Dibuje una graca que represente las rutas aereas diarias de una com-
pa na que ofrece los siguiente vuelos: Todos los das hay cuatro vuelos que
unen Boston y Nueva York, dos Nueva York y Miami, uno entre Miami y
Madrid, cuatro Madrid y Barcelona, uno Barcelona-Boston, uno Madrid-
Nueva York y uno Barcelona-Nueva York
9. Estudie cuales de las siguiente gracas son simples. Para las gracas no
simples Cual es el mnino n umero de aristas que se pueden quitar para
hacerlas simples?
5.1. MOTIVACI
ON 149
a)
o /
c
d
b)
o /
c
d
c)
o /
c
d
d)
o /
c
d
c
10. Determine cuales de las siguientes gracas son bipartitas:
a)
o /
c
d
c
b)
150 CAP
IAS DE GR
AFICAS
o /
c
d
c
c)
o /
c
d
c
)
d)
o /
c
d
c
)
e)
o
/
c
d
c
)
5.2. Conceptos y formalizacion
1. Determine el grado de cada vertice para las siguientes gracas
5.2. CONCEPTOS Y FORMALIZACI
ON 151
a)
1

2
4

5
b)
3

6
10
2
2. Cual es el maximo orden posible para una graca con 17 aristas si todos
sus vertices tienen grado mayor o igual a 3? Existe una graca con dicha
cantidad de vertices? En caso armativo constr uyala
3. Dibuje una graca que tenga por lo menos 2 vertices cuyos grados son
iguales
4. a) Hallar el grado de cada vertice de la siguiente graca
b) Cuantas aristas tiene dicha graca?
c) Cuantos vertices de grado impar tiene?
o
/
c
d
c
)
p
i
5. Cuales de los siguientes pares de conjuntos de \ y 1 denen una graca
con vertices \ y aristas 1? Dibuje dichas gracas y explique cuales no son
a) \ = {o, /, c, d},1 = {c, ), p, }, con c = {o, o}, ) = {/, /}, p = {c, c},
= {c, d}
b) \ = {o, /, c, d}, 1 = {c, ), p, } con c = {o, o}, ) = {c, c}, p = {c, c},
= {c, d}
152 CAP
IAS DE GR
AFICAS
c) \ = {o, /, c, d}, 1 = {c, ), p, } con c = {o, o}, ) = {o, o}, p = {o, o},
= {o, o}
d) \ = {c, ), p, }, 1 = {o, /, c, d} con c = {o, o}, ) = {o, o}, p = {o, o},
= {o, o}
6. Al aproximarse la fecha prevista para el campeonato en el cual inter-
vendran los equipos A, B, C y D, los organizadores necesitan determinar
el n umero mnimo de das que este puede durar, sabiendo que:
a) Cada equipo debe jugar una vez contra cada uno de los participantes
b) Un mismo equipo puede jugar dos veces el mismo da
c) Solo debe descansar un equipo por da
Formule el termino planteado en terminos de gracas. Construya la graca
que corresponda al problema
7. Sea G la graca de la gura siguiente:
1

2
4

5
7

8
c
11
c
2
, c
1
c
13
c
14
c
6
c
12
c
7
c
9
c
8
c
10
c
3
c
4
c
5
15 16
Responda las siguiente preguntas, explicando el porque de sus respuestas
a) G es una multigraca?Es una graca simple?Es conexa?Es com-
pleta?
b) Cuales son los vertices adyacentes a v3?
c) Cual es el grado de v3?
8. Con motivo de su regreso al pas, Horacio desea invitar a su casa a sus
antiguos amigos de estudios:
Pablo, Diego, Alejandro, Julian y Nicolas. Sin embargo, a pesar de que
Horacio mantiene buenas relaciones con cada uno de sus compa neros, entre
ellos han surgido diferencias al pasar de los a nos:
Nicolas y Alejandro discutieron por cuestiones de trabajo
Pablo es ahora derechista mientras que Nicolas sigue siendo izquier-
dista
Julian le debe dinero a Nicolas
ON 153
Pablo, Julian y Diego son fanaticos de distintos equipos de beisbol,
por lo que siempre terminan peleando
Ante esta situacion, Horacio se da cuenta que sera necesario hacer mas
de una reunion para poder verlos a todos sin que se presenten situaciones
incomodas, pero por otro lado la situacion economica lo obliga a realizar
el mnimo n umero de reuniones posibles
a) Modele utilizando gracas el problema que se le plantea a Horacio.
Indique que representan los vertices y aristas de su graca y especi-
cque si debera ser orientada o no
b) Resuelva el problema, indicando a Horacio tantas soluciones como le
sea posible
c) Es la graca bipartita? Justique su respuesta
9. Construir una graca de orden 5 cuyos vertices tengan grado 1,2,2,3,4
Cuales son las aristas de la graca?
10. A una esta asisten 20 invitados. Cada uno de ellos conoce a un n umero
diferente de invitados Es esto posible? Probar que toda graca sin ciclos
de orden n 2 tiene al menos dos vertices con el mismo grado
11. En un mapa de carreteras de una region aparecen 25 tramos de carretera.
Sabiendo que los cruces de carretera se producen siempre en una poblacion
y que de cada lugar parten al menos cuatro caminos, Cuantos lugares
aparecen en el mapa?
12. Si G es una graca simple con 52 aristas,cual es el menor n umero de
vertices que puede tener G?
13. Cuantas aristas tiene una graca simple si sus vertices tiene los siguientes
grados 4,3,3,2,2? Dibuje dichas aristas
14. En los siguientes ejercicios, trace una graca simple con las propiedades
dadas o explique por que no existe tal graca
a) 6 vertices, cada uno de grado 3
b) 5 vertices, cada uno de grado 3
c) 4 vertices, cada uno de grado 1
d) 4 aristas; 4 vertices con grados 1,2,3,4
e) 4 vertices con grados 1,2,3,4
f ) 6 vertices con grados 1,2,3,4,5,5
g) 5 vertices con grados 2,3,3,4,4
h) 5 vertices con grados 2,2,4,4,4
154 CAP
IAS DE GR
AFICAS
15. Estudie si existe una graca simple con 5 vertices y con los siguientes gra-
dos:
a) 3,3,3,3,2
b) 1,2,3,4,5
c) 1,2,3,4,4
d) 3,4,3,4,3
e) 0,1,2,2,3
f ) 1,1,1,1,1
16. Explique si puede existir o no gracas simples que tengan algunas de las
siguientes sucesiones de grados:
a) (1,1,1,1,2,7,7) (graca de 7 vertices)
b) (1,1,1,1,6,6,6) (graca de 7 vertices)
c) (1,2,2,2,2,2,2,2,2,2,3,3,3,3,3,4,4,5,5,5) (20 vertices)
En caso de que exista alguna de las gracas dib ujela y diga cuantas aristas
tiene. En caso negativo razone su respuesta
17. Una sucesion o
1
, o
2
, ..., o
n
es graca si y solo si existe una graca G =<
\, 1 tal que el dcp(\
.
) = o
.
Estudie si las siguientes sucesiones son
gracas
3,3,3,3,2
3,3,2,2,2,2,1,1
1,2,3,4,4
6,4,4,4,3,3,3,3
3,4,3,4,3
5,3,3,3,2,2,1,1
5,5,4,4,3,3,3,1,0,0
18. Pueden los 15 vertices de una graca simple tener grado 5?
19. Cuantas aristas tiene una graca simple si sus vertices tienen los siguien-
tes grados 4,3,3,2,2? Dib ujelo
20. Si G es una graca con 25 aristas y el grado de cada vertice es al menos
4 Cual es el maximo n umero de vertices que puede tener G?
21. Cuales de las siguientes gracas se pueden dibujar? Las que no se puedan
explica la razon
a) Una graca simple con 1 arista y 2 vertices.
ON 155
b) Una graca simple con 2 aristas y 2 vertices.
c) Una graca no simple sin ciclos.
d) Una graca no simple con aristas multiples.
e) Una graca con 6 vertices y la secuencia de grados {1, 2, 3, 4, 5, 5}
f ) Una graca simple con 6 vertices y la secuencia de grados {1, 2, 3, 4, 5, 5}
g) Una graca simple con 6 vertices y la secuencia de grados {2, 3, 3, 4, 5, 5}
22. Una graca es regular si todos sus vertices tienen el mismo grado.
Estudie la regularidad de las gracas 1
n
, C
n
y \
n
para los diferentes
valores de n
23. Se dene el complemento de una graca simple G como la graca simple
G con un conjunto de vertices \ (

G) = \ (G) en los cuales sus dos vertices
son adyacentes si y solo si ellos no son adyacentes en G
Dibuje las siguientes gracas
a) El complemento de una graca nula
5
b) El complemento de una graca completa 1
7
c) El complemento de una graca bipartita 1
3,5
y su complemento
d) La rueda \
5
y su complemento
e) Cuales son los complementos de
J
y 1
J
? Es el complemento de
una graca conexa necesariamente conexa?
24. Sea G una graca simple con n vertices y q aristas, cuyos vertices tienen
grado / o / +1. Demuestre que si G tiene n
|
vertices de grado k entonces
n
|
= (/ + 1)n 2
25. Trace el complemento de la siguiente graca
o
/
c
d
c
26. Trace el complemento de la siguiente graca
o /
c
d
c
)
156 CAP
IAS DE GR
AFICAS
27. Sea G una graca con n vertices Cuantos vertices de

G tienen grado par
si G solo tiene vertices de grado par?
28. Sea G una graca simple con : aristas c
1
, ..., c
n
Denimos la graca de
lneas 1(G) de G como sigue: 1(G) tiene : vertices \
1
, ..., \
n
y \
.
, \
es
una arista de 1(G) si y solo si las aristas c
1
y c
son incidentes para alg un

vertice de G
a) Dibuje la graca de lneas de 1
3
, 1
1,3
, C
6
y \
5
b) Encuentre una expresion para el n umero de aristas de 1(G) en termi-
nos de los grados de los vertices de G
c) Muestre que si G es una graca simple regular de grado / entonces
1(G) es regular de grado 2/ 2
d) Muestre que 1(1
5
) es el complemento de la graca de Petersen
29. Dada la graca G dibujar y denir:
a) La Graca Complemento
b) La Graca Lneas
o
/
c
d
c
30. Muestre que si G es una graca simple, entonces G o

G es conexa
31. Una graca simple G es autocomplementaria si G y

G son isomorfas
a) Determine una graca autocomplementaria con cinco vertices
b) Determine otra graca autocomplementaria
32. Sea G
1
y G
2
gracas simples. Muestre que G
1
y G
2
son isomorfas si y solo
si

G
1
y

G
2
son isomorfas
33. Dadas dos gracas G
1
y G
2
, suponga que existe una funcion biyectiva ) y
sobre, f, de los vertices de G
1
a los vertices de G
2
y una funcion biyectiva
) y sobre, g, de las aristas de G
1
a las aristas de G
2
de modo que si una
arista c es incidente en y n en G
1
, la arista p(c) es incidente en )() y
)(n) en G
2
Son G
1
y G
2
isomorfas?
34. Si G =< \, 1 es una graca con 1 = 17 y dcp() 3 para todo
vertice \ Cual es el maximo valor de \ ?
ON 157
35. Sea G una graca simple con n 2 vertices Puede G tener un vertice de
grado 0? Puede G tener un vertice de grado n 1? Puede G tener un
vertice de grado n o mayor a n?
a) Muestre que G no puede tener secuencia de grados (0, 1, ..., n 1)
Considere que el vertice de grado 0 y para n 1
b) Muestre que G debe tener 2 vertices del mismo grado
36. Cuales de las siguientes podran ser subgracas de graca de Petersen,
graca completa bipartita 1
3,3
o el cubo?
a)
b)
c)
d)
37. a) Determine el orden de una graca 3-regular con 9 aristas
b) Dibuje una graca con 10 aristas, dos vertices de grado 4 y los demas
de grado 3
c) Existen tales gracas? En caso armativo constr uyalas
158 CAP
IAS DE GR
AFICAS
38. En una clase con 9 alumnos, cada alumno le manda 3 tarjetas de navidad
a otros 3 Es posible que cada alumno reciba tarjetas de los mismos 3
compa neros a los cuales el le mando una tarjeta?
39. Una pas asiatico va a comenzar la construccion de una red de autopistas
por todo su territorio, pretendiendo unir sus 51 ciudades (la Capital y 50
ciudades). Se va a construir una autopista directa entre la capital y cada
una de las 50 ciudades y ademas, cada ciudad se va a unir con otras tres
ciudades mediante una autopista directa a cada una Cuantas autopistas
se van a construir? y si en lugar de 50 ciudades importantes hubiera 51?
(Ayuda: Identique el mapa de carreteras con una graca cuyos vertices
sean las ciudades y la capital y las aristas sean las autopistas)
40. Una empresa va a cambiar su red interna de computadoras, para implan-
tar una red con gran servidor central y 100 computadoras de usuarios. La
computadora central esta conectada con todas los computadoras de usua-
rio y cada computadora de usuario va a conectarse con dos computadoras:
con el servidor central y con otra computadora de usuario Cuantos ca-
bles de red son necesarios para completar esta red? y si en lugar de 100
computadoras de usuario hay 101? (Ayuda: Identique la red informatica
con una graca cuyos vertices sean las computadoras y las aristas sean los
cables de red)
41. Si n y G es una graca simple de n vertices:
a) Cual es el valor maximo que puede alcanzar el grado de cualquier
vertice de G? y el mnimo? Razone su respuesta
b) Cual es el n umero maximo de aristas que puede tener G? y el
mnimo? Justique su respuesta
42. Trace una graca con 6 vertices, cada uno de grado 3. En caso de no poder
realizarlo explique por que no es posible dibujar tal graca
5.3. Representaci on de gracas para su manipu-
laci on
1. Obtener la lista de adyacencias y las matrices de adyacencias e incidencias
para las siguientes gracas
a)
o /
c
d
5.3. REPRESENTACI
ON DE GR
AFICAS PARA SU MANIPULACI
ON 159
b)
o /
c
d
c
)
c)
o /
c
d
c
)
2. Para cada una de las siguientes gracas obtenga la matriz de adyacencias,
matriz de incidencias, listas de adyacencias y lista de incidencias ademas
del n umero de vertices, el n umero de arcos y el grado de cada vertice
a)
o / c
d
c
)
b)
o /
c
d
c
c)
o / c d
c
)
p
i
3. Representa la matriz de adyacencia de cada una de las siguientes gracas:
a) 1
4
160 CAP
IAS DE GR
AFICAS
b) 1
1,4
c) 1
2,3
d) C
4
e) \
4
f ) 1
n
g) 1
n,n
h) C
n
i ) \
n
4. Dada la siguiente matriz de adyacencias de una graca G con 5 vertices
1
,
2
,
3
,
4
,
5
, hallar la sucesion de los grados de los vertices y n umero
de aristas de la graca G
1

2

3

4

5
1
0 1 0 1 1
2
1 2 1 0 1
3
0 1 0 1 0
4
1 0 1 0 0
5
1 1 0 0 0
5. Sea G = (\, 1) donde V={0,1,2,3,4,5,6,7,8,9} y E={01, 12, 23, 34, 04, 05,
16, 27, 38, 49, 56, 67, 78, 89, 59} Dibujar G. Hallar la lista de incidencias y
la matriz de adyacencias de G.
6. En los siguientes ejercicios, escriba la matriz de adyacencias de cada graca
a)
r
1
r
2
r
4
r
8
r
3
r
5
r
6
r
7
o
c
/
c
d
b)
5.3. REPRESENTACI
ON DE GR
ON 161
r
1
r
2
r
8
r
4
r
1
0
r
9
r
6
r
7
o /
/
c
p
d
)
5
3
c)
r
1
r
2
r
3
r
4
o
/
c
c
d
d) La graca completa de cinco vertices 1
5
e) La graca bipartita completa 1
2,3
7. En lo siguientes ejercicios, trace la graca representada por cada matriz
de adyacencias
a)
o / c d c
o 1 0 0 1 0
/ 0 0 1 0 1
c 0 1 1 1 1
d 1 0 1 0 0
c 0 1 1 0 0
b)
o / c d c
o 0 1 0 0 0
/ 1 0 0 0 0
c 0 0 0 1 1
d 0 0 1 0 1
c 0 0 1 1 1
162 CAP
IAS DE GR
AFICAS
c)
o / c d c )
o 0 0 1 0 0 1
/ 0 1 0 1 1 0
c 1 0 0 0 0 1
d 0 1 0 0 1 0
c 0 1 0 1 0 0
) 1 0 1 0 0 0
d)
o / c d c )
o 1 1 1 1 0 1
/ 1 0 1 1 1 0
c 1 1 0 1 1 1
d 1 1 1 0 1 1
c 0 1 1 1 0 1
) 1 0 1 1 1 0
8. Muestre que las gracas simples G

1
y G
2
son isomorfas si y solo si sus
vertices se pueden ordenar de modo que sus matrices de adyacencia sean
identicas
9. La zona Z-72 de gestion de carreteras se ocupa de la red viaria entre las
6 ciudades de area. Hay carretera entre A y C, A y E, B y C, B y D, B y
F, C y D, C y E y entre E y D.
a) Dibuje la graca para modelar la situacion
b) En una redistribucion zonal, la ciudad B pasa a depender de la nueva
zona Z-80 y las carreteras que la unan con las ciudades de la Z-72
pasan a depender de la Interzonal 3
Que graca describira la nueva situacion de la nueva Z-72? Hay
alguna peculiaridad relevante?
c) Si es C, en lugar de B, quien pasa a depender de la zona Z-80
Que graca describira entonces la nueva zona Z-72? Hay alguna
pecularidad relevante?
d) Obtener la matriz M de adyacencia de la graca inicial y las matrices
`
1
y `
2
de las subgracas construidas en los incisos anteriores Co-
mo se reejan en las matrices las peculiaridades observadas antes?
10. Escriba la matriz de incidencias de cada graca del ejercicio 6 de las sec-
cion 5.3
5.3. REPRESENTACI
ON DE GR
ON 163
11. En los siguientes ejercicios, trace las gracas representadas por las matri-
ces de incidencias
a)
1 2 3 4 5 6
o 1 0 0 0 0 1
/ 0 1 1 1 1 0
c 1 0 0 0 0 0
d 0 1 0 0 0 0
c 0 0 0 1 1 1
b)
1 2 3 4 5 6
o 0 1 0 0 0 1
/ 0 1 1 0 1 0
c 0 0 0 0 0 1
d 1 0 0 1 0 0
c 1 0 0 1 0 0
12. Como debe verse una graca si alg un renglon de su matriz de incidencias
consta solo de ceros?
13. Escriba la lista de adyacencias de cada graca del ejercicio 6 de la seccion
5.3
14. En lo siguientes ejercicios, trace la graca representada por cada lista de
adyacencia
a)
o / c d c
o 1 0 0 1 0
/ 0 0 1 0 1
c 0 1 1 1 1
d 1 0 1 0 0
c 0 1 1 0 0
b)
o / c d c
o 0 1 0 0 0
/ 1 0 0 0 0
c 0 0 0 1 1
d 0 0 1 0 1
c 0 0 1 1 1
164 CAP
IAS DE GR
AFICAS
c)
o / c d c )
o 0 0 1 0 0 1
/ 0 1 0 1 1 0
c 1 0 0 0 0 1
d 0 1 0 0 1 0
c 0 1 0 1 0 0
) 1 0 1 0 0 0
d)
o / c d c )
o 1 1 1 1 0 1
/ 1 0 1 1 1 0
c 1 1 0 1 1 1
d 1 1 1 0 1 1
c 0 1 1 1 0 1
) 1 0 1 1 1 0
15. Muestre que las gracas simples G

1
y G
2
son isomorfas si y solo si sus
vertices se pueden ordenar de modo que sus listas de adyacencia sean
identicas
16. Escriba la lista de incidencias de cada graca del ejercicio 6 de la seccion
5.3
17. Como debe verse una graca si alg un renglon de su lista de incidencia
consta solo de ceros?
5.4. Isomorsmo entre gracas
1. Dibujar las gracas simples no isomorfas de orden 4
2. Se dispone de 6 computadoras y 9 cables de conexion.Queremos que cada
computadora se conecte con otras 3 computadoras Existe alguna forma
de conectarlos? Es unica?
3. Describe todas las gracas no isomorfas cuya sucesion de grados sea 3,3,2,2,2
4. Determinar cuales de los siguentes pares de gracas son isomorfos
5.4. ISOMORFISMO ENTRE GR
AFICAS 165
a)
o /
c
d
c
)
b)
o
/
c
d
c
)
p
c)
o
/
c
d
c
)
p
i
,
5. Las siguientes gracas son isomorfas?(Justique su respuesta)
166 CAP
IAS DE GR
AFICAS
a)
o
/
c
d
c
)
b)
o
/
c
d
c
)
p
i ,
c)
o / c d
c
)
p
6. En los ejercicios siguientes, determine si las graca G

1
y G
2
son isomor-
fas. Si las gracas son isomorfas, determine las funciones f y g; en caso
contrario, proporcione un invariante no compartido por las gracas
a)
p
o
/
) c
c
d
p
b)
5.4. ISOMORFISMO ENTRE GR
AFICAS 167
o /
c
d
c
)
o
7. Trace todas las gracas simples no isomorfas que tengan tres vertices
8. Trace todas las gracas conexas, sin ciclos, no isomorfas que tengan cinco
vertices
9. Trace todas las gracas conexas, sin ciclos, no isomorfas que tengan seis
vertices
10. Determine cuales de las siguientes pares de gracas son isomorfas:
a)
o
/
c
d
c
b)
o
/
c
d
c
)
c)
o
/
c
d
c
)
p
i
,
11. Dibujar las gracas 1
7
, 1
1,6
y 1
3,4
Calcula sus matrices de adyacencias
y el grado de cada vertice Son isomorfas entre s? Justique su respuesta
168 CAP
IAS DE GR
AFICAS
5.5. Soluciones
Seccion 5.1
10. a) Si, los conjuntos de la particion son {c} y {o, /, d, c}.
b) Si, los conjuntos de la particion son {o, /} y {/, c, c}.
c) No.
d) No.
e) No.
Seccion 5.2
3.
o /
4. a) dcp(o) = 5, dcp(/) = 1, dcp(c) = 1, dcp(d) = 2, dcp(c) = 2, dcp()) =
6, dcp(p) = 1, dcp() = 1.
b) 10
c) 5
7. a) Si, No, Si, No
b)
3
,
1
,
7
c) 2
9.
o
/
c
d
c
13. 7 aristas.
o
/
c
d
c
5.5. SOLUCIONES 169
14. a)
o
/
c d
c
)
b) No, ya que 15 es impar. Por lo tanto no puede ser el doble del n umero
de aristas.
c)
o /
c
d
d) No, porque en tal caso se tendra que cumplir 10 = 2 4.
e) No es posible que exista un vertice con dcp(4) si solo hay 4 vertices
Seccion 5.3
1. a)
Lista de adyacencias
o / d c
/ o d
c o d
d / o c
Matriz de adyacencias
o / c d
o 0 1 1 1
/ 1 0 0 1
c 1 0 0 1
d 1 1 1 0
Matriz de incidencias
1 2 3 4 5
o 1 0 0 1 1
/ 1 1 0 0 0
c 0 0 1 1 0
d 0 1 1 0 1
b)
Lista de adyacencias
o / c
170 CAP
IAS DE GR
AFICAS
/ o c d
c o / c
d / c
)
Matriz de adyacencias
o / c d c )
o 0 1 1 0 0 0
/ 1 0 1 1 0 0
c 1 1 0 0 1 0
d 0 1 0 0 1 0
c 0 0 1 1 0 0
) 0 0 0 0 0 0
Matriz de incidencias
1 2 3 4 5 6
o 1 1 0 0 0 0
/ 1 0 1 1 0 0
c 0 1 1 0 1 0
d 0 0 0 1 0 1
c 0 0 0 0 1 1
) 0 0 0 0 0 0
6. a)
o / c d c
o 0 1 1 1 1
/ 1 0 1 0 0
c 1 1 0 1 1
d 1 0 1 0 1
c 1 0 1 1 0
b)
o / / d c ) p
o 0 1 0 0 0 0 0
/ 1 0 1 0 1 0 0
/ 0 1 1 0 1 0 0
d 0 0 0 1 1 0 1
c 0 1 1 1 0 1 0
) 0 0 0 0 1 0 1
p 0 0 0 1 0 1 0
c)
5.5. SOLUCIONES 171
o / c d c
o 0 1 0 0 0
/ 1 0 0 0 0
c 0 0 0 1 1
d 0 0 1 0 1
c 0 0 1 1 0
7. o)
o
/
c
d
c
d)
o
/
c
d
c
)
Seccion 5.4
1. a)
b)
172 CAP
IAS DE GR
AFICAS
c)
d)
e)
f )
g)
h)
2. Graca simple de orden 6 con 9 aristas y 3-regular.
4. a) No, en la segunda graca hay un vertice de grado 4 y en la primera
no.
b) No, el vertice d es adyacente a los dos vertices de grado 3 situacion
imposible de cumplir en la segunda graca.
c) No, en la primera graca los vertices de grado 4 son adyacentes y
en la segunda graca no.
6. a) Si.
o o
/ c
c c
d p
5.5. SOLUCIONES 173

c /
) d
p )
b) No. Ambas gracas son 3 regulares sin embargo en una hay ciclos de
longitud 3 y en la otra no.
7. a)
b)
c)
d)
8. a)
b)
c)
174 CAP
IAS DE GR
AFICAS
d)
e)
f )
g)
h)
i )
j )
5.5. SOLUCIONES 175
9. a) No, pues una graca tiene 4 aristas y la otra 5.
b) S.
o 1
/ 3
c 2
d 4
c 6
) 5
o
/
c
d
c
)
1 2
4 5
3
6
c) No son isomorfos los vertices de grado 4, son adyacentes en una y no
en la otra.
176 CAP
IAS DE GR
AFICAS
Captulo 6
Exploracion en gracas
6.1. Circuitos eulerianos
1. Para todo natural par n 4 construya una graca conexa 3 regular con
n vertices
2. Demuestre que toda graca conexa con dos o mas vertices tiene dos verti-
ces con el mismo grado
3. En los ejercicios siguientes, indique si el camino dado en la graca es:
Un camino simple
Un ciclo
Un ciclo simple
o /
c
d
c
a) (b,b)
b) (e,d,c,b)
c) (a,d,c,d,e)
d) (d,c,b,e,d)
e) (b,c,d,a,b,e,d,c,b)
f ) (b,c,d,e,b,b)
g) (a,d,c,b,e)
h) (d)
177
178 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
i ) (d,c,b)
4. Determine todos los ciclos simples de la siguiente graca
o
/
c d
c
)
p
5. Determine todos los caminos simples de o a c en la graca del ejercicio
anterior
6. Determine si en la siguiente guras existen los ciclos de Hamilton y Euler
c
3
c
1
c
2
c
4
c
5
2
7. Para la graca siguiente, determine un camino sin aristas repetidas de d
a c que contenga a todas las aristas
o / c
c
i
,
p
)
d
8. Determine todas las subgracas de la graca anexa que contengan a to-
dos los vertices de la graca original y tengan el menor n umero posible
de aristas Cuales son caminos simples? Cuales son ciclos?Cuales son
ciclos simples?
o
/
c d
c
)
p
6.1. CIRCUITOS EULERIANOS 179
9. En los siguientes ejercicios, decida si la graca tiene ciclos de Euler. Si es
as exhbalo
a)
o
/
c d
c
)
p
b)
o
/
d
c
)
i
,
/
p c
10. Contiene un circuito euleriano la graca completa 1
4
?
11. Contiene un circuito euleriano la graca completa 1
5
?
12. En que casos la graca completa 1
n
contiene un ciclo de Euler?
13. Para cuales n tiene 1
n
un recorrido euleriano?
14. Explique por que ninguna de las siguientes gracas de los siguientes ejer-
cicios tienen un ciclo de o a o que pase por cada arista exactamente una vez
a)
c
o
/
d
p
b)
o
/
c
d
180 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
15. Muestre que cada graca de los siguientes ejercicios tiene un ciclo de o a
o que pasa por cada arista exactamente una vez. Proporcionar los ciclos
a)
/
c
o
d
c
)
b)
/
c
o
d
c
)
16. Decida si las gracas tienen un ciclo de Euler. Si lo tienen, exhiba alguno
a)
o
/
c d
c
)
p
b)
3

4
6

7
8
17. Cual es el mnimo n umero de veces que hay que levantar el lapiz del papel
para trazar los siguientes dibujos?
a)
b)
c)
18. En la casa de la gura Es posible entrar y salir de tal manera que cada
puerta se use exactamente una vez?
19. Cuales de las siguientes gr acas tienen circuitos o caminos Eulerianos?
Nota: \
C
= \
J
= \
J
= {o, /, c, d, c}
a) 1
J
={ab, bd ,cd, ac, ad, de, be}
b) 1
C
={ab, be, ae, ec, cd, de}
c) 1
J
={ab, be, ae, ec, cd, de, bc, ad}
d) \
J
={a,b,c,d,e,f,g}
1
J
={ag, gc, cb, bg, ge, ed, df, f,a}
e) \
= {o, /, c, d}
1
={ab, bc, ca, db, cd}

182 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
20. Encuentre un recorrido euleriano para G = (\, 1) con V={a,b,c,d,e,f,g,h,i,j}
y E={ab,ac,ai,bc,cd,ci,de,df,dg,dh,ef,fg,fh,gh,hi,ij}
21. Cuales de las siguientes gracas se pueden dibujar pasando una sola vez
por cada lnea y sin levantar el lapiz del papel? Justique su respuesta
a)
b)
c)
22. La gura que se presenta representa el plano de una planta de un edicio
que consta de 6 habitaciones (1,2,3,4,5 y 6) y un pasillo (7) comunicados
entre si por 9 puertas
1 2 3
4 5 6
7
Se pide:
a) Representar el plano mediante una graca en la que cada habitacion
y el pasillo corresponda con un vertice a cada arista con una puerta
entre dos salas o entre una sala y un pasillo
b) Calcule la matriz de adyacencia de la graca y el grado de cada
vertice
c) Es posible realizar un trayecto de manera que pasemos una unica
vez por todas las puertas de la planta? Justique su respuesta
23. Estudia si son conexas las siguientes gracas, dando el n umero de compo-
nentes conexas de cada una:
a)
b)
c)
24. Se quiere duplicar los tramos de una red de comunicacion que, en caso de
deteriorarse, imposibilitaran la comunicacion entre ciertos puntos Cuales
son los tramos que deben duplicarse?
o /
c
d c
)
p
25. Encuentre las aristas que son puente en las siguientes gracas:
184 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
a)
o
/
c
d c
)
b)
o
/
c d
c
)
c)
o /
c
d
c
)
p
i
6.2. Trayectorias hamiltonianas
1. Para cada graca determine un ciclo hamiltoniano
a)
d
o
i
c
)
/
p
c
,
b)
6.2. TRAYECTORIAS HAMILTONIANAS 185
o /
c
d
c
)
p
i
,
/
|
: n
o
j
2. Muestre que ninguna de las siguientes gracas contiene un ciclo hamilto-
niano
a)
/
c
d
)
i ,
/
p c
o
|
b)
o / c d c
)
p
i ,
3. Proporcione un ejemplo de una graca que tenga un ciclo de Euler pero
no un ciclo hamiltoniano
4. Proporcione un ejemplo de una graca que tenga un ciclo de Euler que
tambien sea un ciclo hamiltoniano
5. Proporcione un ejemplo de una graca que tenga un ciclo de Euler y un
ciclo hamiltoniano pero que no sean identicos
6. Muestre que si n 3, la graca completa de n vertices 1
n
contiene un
ciclo hamiltoniano
186 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
7. Cuando contiene un ciclo hamiltoniano la graca bipartita completa
1
n,n
?
8. Elena y Dora invitan a 10 amigos a cenar. En el grupo de 12, todos conocen
al menos a 6 personas. Demuestre que se pueden sentar a los 12, alrededor
de una mesa circular, de modo que todos conozcan a las 2 personas que
estan sentadas a su lado
9. Encuentre un ciclo hamiltoniano, si existe, para cada graca de la siguien-
te gura
a)
b)
c)
10. Cuales de las siguientes gracas admiten un ciclo hamiltoniano?
a)
1

2
5
6.2. TRAYECTORIAS HAMILTONIANAS 187
b)
2

3
4
11. Dar un ejemplo de una graca que contenga, tanto circuitos eulerianos
como hamiltonianos
12. Dar un ejemplo de una graca que contenga un circuito hamiltoniano pero
no un euleriano
13. Considera las gracas G
1
y G
2
que aparecen en la gura siguiente
a)
2

3
6
b)
2

3
6
Se pide:
a) Calcular el grado de cada vertice y la matriz de adyacencia de cada
graca
b) Son las gracas G
1
y G
2
conexas?
c) Se pueden dibujar sin levantar el lapiz del papel y sin pasar dos veces
por la misma arista? Admiten caminos hamiltonianos? Justique sus
respuestas
14. (Problema chino del cartero, Kwan 1962) Un cartero sale del correo con
las cartas, recorre las calles de su zona y vuelve a la central (representada
188 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
por el vertice c). Debe minimizar la distancia recorrida. Resuelva este pro-
blema si las calles que debe recorrer son las representadas en las siguientes
gracas:
a)
o
/
c
d
c
2 2
7
1
2
3
4
b)
o
/ c
d
c
)
5
5
3
4
6
9
10 14 8
6.3. Distancias en una graca
1. Ejecute el algoritmo BFS en la siguiente graca, iniciando en el vertice r
: : t n
n r j
2. Construir el arbol de la siguiente graca usando BFS. Usar el vertice u
como la raiz
n
n
r
.
:
t
:
6.4. TRAYECTORIAS M
AS CORTAS 189
6.4. Trayectorias mas cortas
1. Un contratista asigna a uno de sus sitios de construccion un n umero va-
riable de trabajadores calicados entre marzo y agosto
Mes Marzo Abril Mayo Junio Julio Agosto
Trabajadores 4 6 7 4 6 2
Los trabajadores pueden ser dados de baja en los sitios de construccion
solo a principio de mes. Suponga que en febrero y en septiembre hay exac-
tamente 3 trabajadores en cada sitio de construccion.
El objetivo del contratista es planear la asignacion de los trabajadores que
minimice la suma de los siguientes costos:
Costos de transferencia: Contratar trabajadores para el sitio en cons-
truccion cuesta 826 pesos y darlos de baja cuesta 1322 pesos.
Normas de transferencia: El contratista puede contratar a lo mas 3
trabajadores a la vez y dar de baja a lo mas un tercio de ellos a la
vez.
Costos de escasez y exceso de trabajadores: Un trabajador superuo
cuesta 1653 pesos, mientras que un trabajador faltante cuesta 3306
pesos. Cuando alguien en el equipo falta, los trabajadores cumplen
horas extras, pero no aceptan trabajar mas de 1/4 de la jornada
normal.
Formule este problema como el problema del camino mas corto y resuelvalo
usando el algoritmo de Dijsktra
2. Suponga que posee un billete de banco de j pesos y quiere cambiarlos
por monedas de o
1
, o
2
, ..., o
n
pesos Es esto posible? Si es as, cual es el
mnimo n umero de monedas? Formule este problema como el problema de
la trayectoria mas corta y resuelvalo usando el algoritmo de Dijkstra
3. Sea d
|
(,) la longitud del camino mas corto entre los vertices : a / con a lo
mas / aristas. Encuentre una denicion recursiva para d
|
(,). Pruebe que
d
n1
(,) = 1(,) =a la distancia mas corta de : a ,. Aqu n es el n umero
de vertices de la graca
4. Para las gracas dadas por las siguientes listas de adyacencias, hallar el
arbol DFS. Utilizar el metodo BFS para responder si son conexos
a)
o / d
/ o c d c
c / d p
190 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
d o / c
c /
) p
p c )
o p
b)
o c i
/ d p
c c ) i
d / p
c o c )
) c c i
p / d
/ d
i o c )
5. Obtenga el camino mas corto entre o y . para las siguientes gracas Cual
es la longitud en cada caso?
a)
o
/ d
.
c c
2
5
2
4
5
3
2
1
b)
o
/ d
.
c c
)
p
4
5 5
7
4
5 6
3
2
3
1 2
6. En la graca de la gura se muestra una red ferroviaria donde la distancia
entre cada par de ciudades se expresa en km:
6.4. TRAYECTORIAS M
AS CORTAS 191
o
i
)
.
/
c
)
p
d
4
10
14
3
6
13
6
15
12
8
9
4
2
3
5
15
3
8
16
Averigue cual es el camino mas corto para viajar de o a .
7. a) Halla la ruta mas corta desde A a cada uno de los vertices restantes
de la matriz de adyacencia que especica la tabla siguiente
B C D E F H
A 4 5
B 4 5 6
C 4
D 4 8
E 6
F 9
b) El conjunto de caminos construidos en la tabla anterior Constituye
un arbol generador de G? Es siempre un arbol generador mnimo?
Justique sus respuestas
8. Se requiere construir un tranva metropolitano que conecte 8 barrios de
la capital: , 1, C, 1, 1, 1, G, H La duracion estimada del viaje directo
entre cada dos barrios se da por la tabla mostrada Que estaciones han de
conectarse para que la red tenga el menor n umero de conexiones posibles,
de forma que la duracion del viaje entre el barrio A y cualquier otro barrio
sea lo mas corto posible?
B C D E F G H
A 3 5 2 6 3 4 2
B 5 4 6 8 3 2
C 1 4 3 8 2
D 4 2 1 4
E 3 5 1
F 2 4
G 3
9. La red de distribucion de una empresa esta formada por 8 centros de al-
macenamiento y distribucion d
1
, d
2
, ..., d
8
. Estos centros estan conectados
192 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
con la fabrica ) a traves de una red de carreteras seg un lo indica la gra-
ca mostrada (Las longitudes de los diferentes tramos de la red aparecen
expresadas en decenas de kms.) Halla el itinerario de la longitud mnima
que conecta la f abrica con cada centro de distribucion.
)
d
1
d
2
d
3
d
4
d
5
d
6
d
7
d
8
3
5
5
3
6
5
4
2 4
3
1
7
3
6
9
4
10. La siguiente tabla ilustra el horario de los conductores de una compa na
de autob uses. Se quiere asegurar al menor costo posible, que al menos un
conductor este en servicio para cada hora de periodo planeado (9 AM a
5 PM) Formule y resuelva este problema de calendarizacion como un pro-
blema del camino mas corto.
Horas de actividad 9-13 9-11 12-15 12-17 14-17 13-16 16-17
Costo 30 18 21 38 20 22 9
11. Construya la trayectoria del algoritmo del camino mas corto de Dijkstra,
asumiendo que se comienza en el vertice D
1
C
1
1
1
G
H
8
4
8
2
4
9
1
4
2
3
12. En los siguientes ejercicios, determine la longitud de una ruta mas corta
entre los vertices dados, de acuerdo a la siguiente graca con pesos.
6.5. N
UMERO DE CAMINOS 193

3
2 3
2
5
6 2
4
5 4 4 6
5
7
2
4
7
4
7
5
6
3
o
/
c
c
)
i
d
p
,
.
a) a,f
b) a,g
c) a,z
d) b,j
e) h,d
6.5. N umero de caminos
1. Encuentre el n umero de caminos de longitud n entre dos vertices diferen-
tes en 1
4
si n es:
a) 2
b) 3
c) 5
2. Encuentre el n umero de caminos de longitud n entre cualesquiera dos
vertices adyacentes en 1
3,3
para los valores de n del ejercicio anterior
3. Encuentre el n umero de caminos de longitud n entre cualesquiera dos
vertices que no sean adyacentes en 1
3,3
para los valores de n del ejercicio
anterior
4. Para cada longitud encuentre el n umero de caminos entre c y d con dicha
longitud
o / c
d
c
)
a) 2
b) 3
c) 5
d) 6
194 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
e) 7
5. Para cada longitud encuentre el n umero de caminos entre c y d con dicha
longitud
o /
c
d
c
)
p
a) 2
b) 3
c) 4
d) 5
e) 6
f ) 7
6.6. Soluciones
Seccion 6.1
3. a) Ciclo.
b) Camino simple.
c) Ninguno.
d) Ciclo simple.
e) Ciclo.
f ) Ciclo.
g) Camino simple.
h) Ninguno.
i ) Camino simple.
4. a) (/, c, p, /)
b) (c, d, ), p, c)
c) (d, c, ), d)
d) (/, c, d, ), p, /)
e) (c, d, c, ), p, c)
6.6. SOLUCIONES 195
f ) (/, c, d, c, ), p, /)
6. No hay ciclo de Euler pues dos vertices tienen grado par.
Ciclo de Hamilton:
1
, c
4
,
3
, c
2
,
2
, c
1
,
1
, c
5
,
4
7. d, o/, c, c, i, , ,, p, ), d, /, c, , p, d, c
9. a) No, el vertice / es de grado impar.
b) S. o, /, d, c, ), i, ,, /, i, , ), p, c, , p, d, c, /, c, o
12. Para n impar, pues en tal caso 1
n
es n 1 regular con n 1 par.
17. a) Uno, pues se trata de dos copias ajenas de 1
3
que es una graca
euleriana.
b) Tres, pues son tres copias ajenas d C
4
y una de C
2
, las cuales son
eulerianas.
21. a) S, pues es euleriana.
b) S, pues es 1
5
que es euleriana.
c) No, hay un vertice de orden 3. Si es posible si no requiere terminar
en el vertice de inicio.
23. a) No, 3 componentes.
b) S, por lo tanto solo una componente.
c) S, por lo tanto solo una componente.
24. /d y dc
Seccion 6.2
1. a) o, d, i, ,, , c, /, p, ), c, o
196 CAP
ITULO 6. EXPLORACI
ON EN GR
AFICAS
Captulo 7
Modelado con gracas
7.1. Coloraci on
1. Encuentre el n umero cromatico de las siguientes gracas
a)
b)
c)
d)
e)
197
198 CAP
ITULO 7. MODELADO CON GR
AFICAS
f )
g)
7.2. Soluciones
Soluciones 7.1
1. a) N umero cromatico = 2 por ser bipartita.
b) N umero cromatico = 2 por ser bipartita.
c) N umero cromatico = 2.
d) N umero cromatico = 2.
e) N umero cromatico = 3.
f ) N umero cromatico = 5 porque N umero cromatico(1
n
) = n.
g) N umero cromatico =2.
Captulo 8
Arboles
8.1. Caracterizaci on
1. Cuantas aristas tiene un arbol de 11 vertices?
2. Cuantos vertices tiene un arbol de 17 aristas?
3. Un arbol tiene dos vertices de grado 2, un vertice de grado 3 y tres vertices
de grado 4 Cuantos vertices de grado 1 tiene el arbol?
4. Un arbol tiene 2n vertices de grado 1, 3n vertices de grado 2 y n vertices
de grado 3. Determine el n umero de los vertices y aristas del arbol
5. Encuentre todos los arboles no isomorfos con 6 vertices
6. Cuantas hojas tiene un arbol con 4 vertices de grado 2, uno de grado 3,
dos de grado 4 y uno de grado 5?
7. Un alcano es un arbol con dos tipos de vertices: Los que estan etiquetados
con C tienen grado 4 y los que estan etiquetados con H tienen grado 1.
Estos son solo los unicos tipos de vertices. Dibuje un alcano con 3 vertices
de tipo C. Si hay n vertices etiquetados con C pruebe que hay 2n + 2
vertices con etiqueta H
8.2.

Arboles generadores
1. Hallar un arbol generador para cada una de las siguientes gracas:
a)
199
200 CAP
ITULO 8.

ARBOLES
b)
c)
d) 1
5
e) 1
4,4
f ) 1
1,6
g) C
5
h) \
5
8.3. B usqueda en profundidad(DFS)
1. Ejecutar el algoritmo DFS en las gracas siguientes, tomando como raz al
vertice indicado. Se asume que las listas de adyacencias esten ordenadas
alfabeticamente por nombre de vertices
a) Vertice d
o /
c
d
b) Vertice f
o / c
d
c
)
8.4.

ARBOLES GENERADORES DE PESO M
INIMO 201
c) Vertice e
o /
c
d
c
d) Vertice a
o /
c
d
c
2. Construir un arbol usando DFS. Usar el vertice u como la raiz
n
n
r
.
:
t
:
8.4.

Arboles generadores de peso mnimo
1. Se va a construir un sistema de carreteras que comunique estas 5 ciudades.
Determine las carreteras que deberan construirse para que el costo de
construccion sea mnimo
Tuxpan Reynosa Jalapa C. Victoria
Reynosa 14 - - -
Jalapa 28 12 - -
C. Victoria 10 35 13 -
Pachuca 26 9 18 28
2. Determine un arbol generador mnimo de cada uno de las gracas siguien-
tes:
a)
202 CAP
ITULO 8.

ARBOLES
2
1 2
9
4
1 9
1
8 1 6 2
6 3 7
1 4 7
6 9
3 2
b)
1
3
1
4
2 3
2 3
3. En la graca de la gura se muestra una red de computadoras que se quiere
construir, los vertices representan las computadoras y las aristas las lneas
de transmision a considerar para conectar algunos pares de ellas. Cada
arista tiene un peso que indica el coste de construir esa lnea especca.
Conecte todas las computadoras con el menor costo posible
5
5
3
2 7
6
2
3 4
1
5
2
3
4. Aplique el algoritmo de Prim a la siguiente graca con pesos mostrando
todos los pasos en la aplicacion del algoritmo. Tambien debe escribir los
pesos totales del arbol de expansion mnima
o /
c
d
c
) p
3
8
6
14
21
18
12
15 17
10
18
5. En la siguiente tabla se muestra las distancias (en kilometros) entre 6 lu-
gares en Mexico:
8.4.

INIMO 203
Baja California Chihuahua Tamaulipas Nayarit Veracruz Jalisco
Baja California - 120 147 142 104 81
Chihuahua 120 - 132 42 157 45
Tamaulipas 147 132 - 102 66 105
Nayarit 142 42 102 - 168 61
Veracruz 104 157 66 66 - 112
Jalisco 81 45 105 105 112 -
Represente la informacion por medio de una graca con pesos. Utilice el
algoritmo de Prim para encontrar el arbol de peso mnimo Cual es el
total de los pesos de este arbol?
6. Aplique el algoritmo de Prim de la siguiente graca de pesos y escriba el
total de pesos del arbol obtenido
o / c d
c
)
p
i , / |
2 1 2
1 1 1
1 1 1
1
2
2
12
1
2
1
1
3 3 3
3 4
3
7. Aplicar el algoritmo de Kruskal sobre la siguiente graca, mostrando el
orden en que se a naden las aristas a la solucion
o /
c
d
c
)
3
3
2
1
5
7
4
8 2
6
8. Aplique el algoritmo de Kruskal para calcular el arbol de expansion de
costO mnimo. Muestre los pasos de ejecucion (de forma breve) y el re-
sultado obtenido para la siguiente graca. En general, en donde todas las
aristas tienen el mismo costo que K Que conclusiones se pueden extraer
sobre el arbol de expansion de costo mnimo?
204 CAP
ITULO 8.

ARBOLES
o
/
c
d
c
)
2 2
2
2 2
2 2
2
2
9. Para la siguiente graca proporcione el arbol generador de peso mnimo
o
/
c
d
c
) p
i
4 2 4
2 2
2
1
2
1
3
3
3 2 1
10. Para la siguiente graca proporcione el arbol generador de peso mnimo
o
/ c
d
c
)
p
1
2
1
2
4
3
3
2
1
3
11. Aplique el algoritmo de Kruskal sobre la siguiente graca, mostrando el
orden en que son a nadidas las aristas a la solucion.
Si se aplicara el algoritmo de Prim Se puede asegurar que se obtendra
siempre la misma solucion? Se puede asegurar que el costo de la solucion
sera el mismo? Por que?
8.4.

INIMO 205
o /
c
d
c
)
3
5
4 6
3 2 1
7
8
2
206 CAP
ITULO 8.

ARBOLES
Captulo 9
Multigracas y gracas
dirigidas
9.1. Multigracas
1. En las siguientes multigracas no dirigidas encuentre el n umero de verti-
ces, el n umero de aristas y el grado de cada vertice. Identique todos los
vertices aislados
a)
o /
c
d
c
b)
o / c d
c
)
p
i
2. En las siguientes gracas determine el n umero de vertices y aristas, ademas
encuentre el grado de cada vertice
a)
207
208 CAP
ITULO 9. MULTIGR
AFICAS Y GR
AFICAS DIRIGIDAS
o /
c
d
b)
o /
c
d
c)
o /
c
d
9.2. Gracas dirigidas
1. Calcule la matriz de adyacencia de las siguientes digracas
a)
o /
c
d
b)
9.2. GR
AFICAS DIRIGIDAS 209

o
/ c
d
c
c)
o /
c
d
d)
o /
c
d
c
2. Determine las componentes fuertemente conexas de la siguiente graca
o / c d
c
)
p
3. Determine las componentes fuertemente conexas de las gracas siguientes

y dibuje cada componente por separado.
a)
210 CAP
ITULO 9. MULTIGR
AFICAS Y GR
AFICAS DIRIGIDAS
o / c
d
c
)
b)
o / c d
c
)
p
c)
o / c
d
c
)
d)
o / c
d
c
)
e)
o / c
d
c
)
f )
o /
c
d
9.2. GR
AFICAS DIRIGIDAS 211

g)
o
/
c
d
c
h)
o
/
c
i )
o /
4. Encuentre las componentes fuertemente conexas de la siguiente graca di-
rigida
1
C
1
1 1
5. Encuentre las componentes fuertemente conexas de la siguiente graca
dirigida
1
2
3
4
5
6
7
8
6. La matriz M representa las direcciones de circulacion de las calles entre 6
plazas A, B,C, D, E y F
212 CAP
ITULO 9. MULTIGR
AFICAS Y GR
AFICAS DIRIGIDAS
` =
0 0 1 0 0 0
1 0 0 0 0 0
1 0 0 1 1 0
0 1 1 0 0 1
0 0 1 0 0 1
0 0 0 1 0 0
a) El problema se modela usando una digraca Porque?

b) Hay calles de doble direccion? Cuales?
c) Si se cierra la plaza B por obras Habra que cambiar (o a nadir)alguna
direccion para poder seguir circulando por las demas calles?
d) En caso de ser la pregunta anterior armativa, indique los cambios
necesarios para resolver el problema. Estudiar todas las posibilidades
de solucion y resaltar las que requieran un menor n umero de cambios
7. En la siguiente graca muestre(si es posible):
n
n r
1
2
3
4
1
6
5
7
a) Un camino de longitud 7 de n a n
b) Ciclos de longitud 1,2,3 y 4
c) Un camino de longitud maxima
9.3. Circuitos eulerianos
1. En las siguientes gracas determine si existe un circuito euleriano. En caso
positivo, constr uyalo.
a)
o /
c
d
b)
o /
c
d
c)
o /
c
d
c
d)
o /
c
d
c
e)
o / c
d
c
)
2. Las siguientes gracas son Hamiltonianas o Eulerianas? De ser posibe
proporcione los ciclos Hamiltonianos y Eulerianos
214 CAP
ITULO 9. MULTIGR
AFICAS Y GR
AFICAS DIRIGIDAS
a)
1 2
3 4
5
b)
1 2
3
4 5
6
3. En cada una de las siguientes gracas, estudie si existe: un camino eule-
riano cerrado, un ciclo hamiltoniano, un camino euleriano no cerrado y un
camino hamiltoniano no cerrado
a)
b)
c)
d)
e)
f )
g)
h)
i )
j )
k)
216 CAP
ITULO 9. MULTIGR
AFICAS Y GR
AFICAS DIRIGIDAS
9.4. Distancias en una graca dirigida
1. Aplique el algoritmo de Dijkstra para el camino mas corto de la graca
dada (comenzando por el nodo A)
1
C
1
1
1
G
H
1
1
2
3
3
4
5
5
1
2
2
2. Aplique el algoritmo de Dijkstra para el camino mas corto de la graca
dada (comenzando por el nodo A)
1 C
1 1
1
8
5
9
4
1
7
4
3
5
3. Explique porque el algoritmo del Dijkstra para el camino mas corto no
da el resultado correcto en la siguiente graca. Mencione que caminos se
calcularon mal. Empiece por el nodo A
1
C
1
1
1
3
4
-2
2
4
6
2
3
4. Ejecute el algoritmo de Dijkstra para la siguiente graca comenzando con
el vertice s
:
n
r j
3
5
2 1
3
3
6
6
2 7
5. A partir de la siguiente graca ejecute el algoritmo BFS para cada vertice
9.4. DISTANCIAS EN UNA GR
AFICA DIRIGIDA 217

1 2
3 4
5
6
7
6. Para a las siguientes gracas realice lo siguiente:
a)
1
2
3
4
5
6
7 9
b)
o / c
d
c
)
p
c)
o / c d
c
)
p
i ,
/
a) Ejecute el algoritmo DFS, la adyacencia de salida ordenada de menor
a mayor y obtenga el arbol de expansion a profundidad
b) Etiquete los arcos
218 CAP
ITULO 9. MULTIGR
AFICAS Y GR
AFICAS DIRIGIDAS
c) Esta graca tiene ciclos?Por que?
d) Es una gr aca fuertemente conexa? Justique su respuesta
7. Ejecutar el algoritmo BFS en las gracas siguientes, tomando como raz el
vertice indicado. Se asume que las listas de adyacencias esten ordenadas
alfabeticamente por nombre de vertices
a) Vertice d
o /
c
d
b) Vertice f
o / c
d
c
)
c) Vertice e
o /
c
d
c
d) Vertice b
o /
c
d
c
e) Vertice a
AFICA DIRIGIDA 219

o /
c
d
c
f ) Vertice e
o / c
d
c
)
p
g) Vertice b
o / c
d
c
)
p
h) Vertice g
o / c
d
c
)
p
i ) Vertice e
220 CAP
ITULO 9. MULTIGR
AFICAS Y GR
AFICAS DIRIGIDAS
o / c
d
c
)
8. Demostrar que el algoritmo de Dijkstra no funciona cuando las aristas
pueden tener coste negativo, aun cuando no existen ciclos en la graca.
Sugerencia: dar un contraejemplo de una graca dirigida sin ciclos en la
que el algoritmo de Dijkstra no de el resultado en correcto
9. Utilizar el algoritmo de Dijkstra para encontrar los caminos mas cortos
que van desde el nodo o hasta los nodos restantes, en la siguiente graca
dirigida. Mostrar todos los pasos de la ejecucion del algoritmo. A partir
del resultado, encontrar cual es el camino mas corto desde a hasta d
o /
c
d
c
)
3
5
6
1
3
2
3
2
1 1
10. Sea G la siguiente graca
1 C
1
1 1
3
2
1
3
3
1
3
2
2
Use el algoritmo de Dijkstra para encontrar el arbol de peso mnimo con
raiz A en el arbol G.
11. En las siguientes gracas encuentre el n umero de caminos existentes entre
cualesquiera dos vertices
AFICA DIRIGIDA 221

a)
n
n r
b)
n
n r
c)
n
n
r
d)
n
n
r
e)
n
n r
1
2
3
4
1
6
5
7

Manual de Ejercicios de Matematicas Discretas

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Manual de Ejercicios de Matematicas Discretas

Încărcat de

Drepturi de autor:

Formate disponibile

Matem aticas Discretas

Favio Ezequiel Miranda Perea

:? Donde : es una proposicion compuesta.

((j ( :)) (j ) (j :))

ANTICA INFORMAL 105

ANTICA INFORMAL 107

ANTICA INFORMAL 109

ANTICA INFORMAL 111

UMEROS NATURALES 123

para , = 1, 2, ..., n entonces

27. Pruebe que que si

para , = 1, 2, ..., n entonces

28. Pruebe que si

UMEROS NATURALES 125

se dene como sigue:

:. Donde : es una proposicion compuesta

ITULO 5. CONCEPTOS DE TEOR

ITULO 5. CONCEPTOS DE TEOR

ITULO 5. CONCEPTOS DE TEOR

ITULO 5. CONCEPTOS DE TEOR

ITULO 5. CONCEPTOS DE TEOR

G con un conjunto de vertices \ (

ITULO 5. CONCEPTOS DE TEOR

son incidentes para alg un

ITULO 5. CONCEPTOS DE TEOR

AFICAS PARA SU MANIPULACI

ITULO 5. CONCEPTOS DE TEOR

AFICAS PARA SU MANIPULACI

ITULO 5. CONCEPTOS DE TEOR

8. Muestre que las gracas simples G

AFICAS PARA SU MANIPULACI

ITULO 5. CONCEPTOS DE TEOR

15. Muestre que las gracas simples G

ITULO 5. CONCEPTOS DE TEOR

6. En los ejercicios siguientes, determine si las graca G

ITULO 5. CONCEPTOS DE TEOR

ITULO 5. CONCEPTOS DE TEOR

ITULO 5. CONCEPTOS DE TEOR

5.5. SOLUCIONES 173

ITULO 5. CONCEPTOS DE TEOR

ITULO 5. CONCEPTOS DE TEOR

={ab, bc, ca, db, cd}

UMERO DE CAMINOS 193

ITULO 7. MODELADO CON GR

AFICAS DIRIGIDAS 209

3. Determine las componentes fuertemente conexas de las gracas siguientes

AFICAS DIRIGIDAS 211

a) El problema se modela usando una digraca Porque?

AFICA DIRIGIDA 217

AFICA DIRIGIDA 219

AFICA DIRIGIDA 221

S-ar putea să vă placă și