Erratas detectadas

en el libro “Matemática Discreta y Lógica”

de Grassmann y Tremblay, 1998
Manuel Luque Gallego y José Luis Fernández Vindel
Equipo Docente de la asignatura Lógica y Estructuras Discretas
UNED
31 de Enero de 2011

Este documento pretende recoger las erratas que han sido detectadas en
el libro “Matemática Discreta y Lógica”, de Grassmann y Tremblay, Prentice
Hall, 1998. Dichas erratas han sido detectadas por alumnos, tutores y profesores
durante el desarrollo del curso. Se presentan las erratas ordenadas por el número
de página del libro donde aparecen. Si tienen alguna duda sobre alguna de ellas
pueden escribir un mensaje en el curso virtual.

Página 25, debajo de la tabla 1.11

En la primera línea del párrafo que hay debajo de la table 1.11 de la página 25:
• donde aparece “es imposible que la negación de la conclusión y de las
premisas sean verdaderas simultáneamente”
• debe decir “es imposible que la negación de la conclusión y la conjunción
de las premisas sean verdaderas simultáneamente”.

Página 32, tabla 1.16

En la última línea de la tabla 1.16 de la página 32:
• donde dice ¬(P ∨ Q) ≡ P ∧ ¬Q

• debe decir ¬(P ∨ Q) ≡ ¬P ∧ ¬Q.

Página 37, sección 1.5.9

En la 3ª línea del primer párrafo de la sección 1.5.9, en la página 37:

1
 • donde aparece “véase Sección 1.1.5”
• debe decir “véase Sección 1.5.5”.

Página 39, ejercicio 2

En el apartado b) del ejercicio 39 de la página 39:
• donde aparece ¬(¬P ∧ Q) ∨ P ) ≡ F
• debe decir ¬(¬(P ∧ Q) ∨ P ) ≡ F .

Página 64, 4ª línea

En la 4ª línea de la página 64:
• donde aparece Syx
• debe decir Sxy .

Página 65, ejercicio 6

En el ejercicio 6 de la página 65:
• donde aparece S2x
• debe decir S2y .

Página 67, penúltimo párrafo

En el penúltimo párrafo de la página 67:
• donde aparece:
¬AxP (x) ≡¬(P (a1 ) ∧ ... ∧ P (an ))
≡¬(P (a1 ) ∧ ¬(P (a2 ) ∨ ... ∨ ¬P (an )

• debe decir:
¬∀xP (x) ≡¬(P (a1 ) ∧ ... ∧ P (an ))
≡¬P (a1 ) ∨ ¬P (a2 ) ∨ ... ∨ ¬P (an )

Página 70, antepenúltimo párrafo

En la 4ª línea del antepenúltimo párrafo de la página 70:
• donde aparece “debe de representar ...”
• debe decir “debe representar ...”.

2
Página 90, ejercicio 4
En el ejercicio 4 de la página 90:
• donde aparece “universales ...”
• debe decir “existenciales ...”

Página 93, cerca del final de la página

Cerca del final de la página 93:
• donde aparece ∀x∀y∀x...
• debe decir ∀x∀y∀z....

Página 101, segundo párrafo

En el segundo párrafo de la página 101:
• donde aparece (x ◦ y) ◦ z = x ◦ (x ◦ y)
• debe decir (x ◦ y) ◦ z = x ◦ (y ◦ z).

Página 104, ejemplo 2.45

En el ejemplo 2.45 de la página 104:
• donde aparece ∀s
• debe decir ∀x.

Página 236, ejercicio 22

En el ejercicio 22 de la página 236:
• donde dice (A ∩ B) ∩ (C ∩ D)≡(A ∩ C) ∩ (B ∩ C)

• debe decir (A ∩ B) ∩ (C ∩ D)≡(A ∩ C) ∩ (B ∩ D).

Página 248, a mitad de página

Aproximadamente a la mitad de la página 248:
• donde aparece x(R ∪ S)y ≡ xRy ∧ xSy

• debe decir x(R ∪ S)y ≡ xRy ∨ xSy.

3
En la misma página, un poco más abajo:
• donde aparece x(∼ R)y ≡ xRy
• debe decir x(∼ R)y ≡ xRy.

Página 249, ejemplo 5.21

En el ejemplo 5.21 de la página 249:
• donde aparece:
(≥) = (≥ ∪ =)

• debe decir:
(>) = (> ∪ =).

Página 250, primera línea

En la primera línea de la página 250:
• donde aparece escrito “Observe la diferencia entre ∼ R y R˜ . La relación
R˜ ...”

• debe decir “Observe la diferencia entre ∼ R y R˜ . La relación ∼ R ...”.

Página 250, definición 5.17

En la definición 5.17, en la página 250:
• donde aparece escrito x(R ◦ S)z = ∃y(xRy ∧ yRz)

• debe decir x(R ◦ S)z = ∃y(xRy ∧ yRz).

Página 251
Aproximadamente en la primera mitad de la página 251, donde aparece:
• (x1 , z2 ) ∈ S ◦ R a través del intermediario y1

• (x1 , z1 ) ∈ S ◦ R a través del intermediario y2

• (x1 , z4 ) ∈ S ◦ R a través del intermediario y2
• (x4 , z3 ) ∈ S ◦ R a través del intermediario y3

debe decir:
• (x1 , z2 ) ∈ R ◦ S a través del intermediario y1

4
 • (x1 , z1 ) ∈ R ◦ S a través del intermediario y2
• (x1 , z4 ) ∈ R ◦ S a través del intermediario y2
• (x4 , z3 ) ∈ R ◦ S a través del intermediario y3

Página 252, poco antes del ejemplo 5.24

Tres líneas antes del ejemplo 5.24 de la página 252:
• donde aparece “... R ◦ R es el par de (x, y) ...”

• debe decir “...(x, y) es el par de R ◦ R...”.

Página 256, figura 5.10

En el grafo de la figura 5.10 de la página 256
• donde aparece el arco del nodo 3 al 2

• debe figurar un arco del nodo 2 al 3.

Página 260, primer párrafo

En el primer párrafo de la página 260, donde aparece:
• xR2 z ≡ ∃x(xRy ∧ yRz)

debe decir:
• xR2 z ≡ ∃y(xRy ∧ yRz)

Página 261, sección 5.4.6

Al comienzo del segundo párrafo de la sección 5.4.6, en la página 261:

• donde aparece “Para encontrar el cierre no reflexivo...”

• debe decir “Para encontrar el cierre reflexivo...”.

Página 265, a mitad de la página

Aproximadamente por la mitad de la página 265:
• donde aparece “Si (A, R) es un orden parcial y si B ⊆ A, ...”
• debe decir “Si (A, R) es un cpo y si B ⊆ A, ...”

5
Página 269, sección 5.4.6
En el párrafo más grande de la página 269:
• donde aparece “Específicamente, no existe relación entre (x1 , x2 ) e (y1 , y2 )
si x1 > y2 y x2 < y2 .”
• debe aparecer “Específicamente, no existe relación entre (x1 , x2 ) e (y1 , y2 )
si x1 > y1 y x2 < y2 .”.

Página 281, figura 6.2

En la figura 6.2 de la página 281:
f ◦g
• donde aparece X −→ Z
g◦f
• debe decir X −→ Z

Página 289, ejercicio 9, apartado a)

En el apartado a) del ejercicio 9 de la página 289:
• donde aparece: (
j/2, jes impar
f (j) =
(j − 1)/2 jes par

• debe decir: (
j/2, jes par
f (j) =
(j − 1)/2 jes impar

Página 289, ejercicio 14

En el ejercicio 14 de la página 289:
• donde aparece f (x) = x − 2
• debe aparecer f (x) = x3 − 2.

Página 295, ejemplo 6.16

En el ejemplo 6.16 de la página 295:
• donde aparece “Se tienen 3 tareas y 4 ordenadores. Hay que asignar cada
tarea a un solo ordenador, y ningún ordenador debe recibir más de una
tarea. ¿De cuántas maneras se puede hacer esto?”
• debe decir “Se tienen 3 tareas y 4 ordenadores. ¿Cuál es el número total
de asignaciones distintas ordenador-tarea que se pueden realizar?”

6
Página 351, figura 7.10
En la subfigura b) de la figura 7.10 de la página 351:
• donde las aristas aparecen como dirigidas (con flecha)
• deben aparecer como aristas no dirigidas (sin flecha).

Página 352, definición 7.2

En la definición 7.2 de la página 352:
• donde aparece “En un grafo dirigido, para todo nodo v el número de aristas
que tienen a v como nodo inicial se denomina grado de entrada del nodo
v. El número de aristas que tienen a v como nodo terminal es lo que se
denomina grado de salida, ...”
• debe decir “En un grafo dirigido, para todo nodo v el número de aristas
que tienen a v como nodo terminal se denomina grado de entrada del
nodo v. El número de aristas que tienen a v como nodo inicial es lo que
se denomina grado de salida, ...”.

Página 364, matriz de adyacencia correspondi-

ente a la figura 7.26
En la matriz de adyacencia del grafo de la figura 7.26 de la página 364, que
aparece justo encima de dicha figura, tenemos que:
• en lugar de aparecer un 1 en la casilla de la fila 1 y columna 5,
• debe aparecer un 0.

Página 375, ejercicio 8, apartado b)

En el apartado b) del ejercicio 8 de la página 375, hay que añadir dos aristas
al grafo: Las aristas (2, 6) y (3, 5). Para cada una de ellas la distancia (o peso)
asociado es 1, que son precisamente los dos números que aparecen sueltos en el
grafo.

Página 538, tabla 11.1

En la tabla 11.1, en la subcolumna “Regla” dentro de la columna “Induce conec-
tiva”;
• donde aparece A, B ` A ∨ B
• debe aparecer A, B ` A ∧ B.

7
Página 548, ejemplo 11.5
En el ejemplo 11.5 de la página 548, debajo de la primera línea:
• donde aparece A ∪ B ⊆ A
• debe decir A ∩ B ⊆ A.

Página 631, ejercicio 6

En el ejemplo 11.5 de la página 548, debajo de la primera línea:
• donde aparece A ∪ B ⊆ A
• debe decir A ∩ B ⊆ A.

Página 636, ejercicio 4

En el ejercicio 4 del apartado 7.3 de la página 636, al final del párrafo:
• donde aparece “... {v1, v2 }; sin embargo el digrafo no es unilateralmente
conexo”

• debe decir “... {v1, v2 }; sin embargo el digrafo es unilateralmente conexo ya

que hay un camino entre cada par de nodos en, al menos, una dirección”.