Examenes de Logica y Estructuras Discretas Soluciones PDF

Lógica y Estructuras Discretas 1ª Semana Febrero 2011, Modelo A
1. Sea A = {a,b,c} y P(A) el conjunto potencia de A:

a) {a} ∈ A
b) ∅ ∈ A
c) {∅, {a,c}}⊂ P(A
2. Completar ∼(A∪∼B) =
a) ∼A⋂B
b) ∼A∪B
c) A⋂B
3. La relación R {(1,2),(3,2)} sobre E = {1,2,3} es:

a) Reflexiva.
b) Simétrica.
c) Antisimétrica.
4. Completar B∪(A⋂∼A) =
a) ∼B
b) ∅
c) B
5. Una relación R de equivalencia no es:

a) Reflexiva.
b) Transitiva.
c) Antisimétrica.
X1: p  (q  r)
X 2: (p  q)  r
X 3: (p  q)  r
X 4: p  (r  q)
p q r qr X1 p⋁q X2 p⋀q X3 r⋁q X4 X1X2 X2X4

0 0 0 1 1 0 1 0 1 0 1 1 1
0 0 1 1 1 0 1 0 1 1 1 1 1
0 1 0 0 1 1 0 0 1 1 1 0 1
0 1 1 1 1 1 1 0 1 1 1 1 1
1 0 0 1 1 1 0 0 1 0 0 0 1
1 0 1 1 1 1 1 0 1 1 1 1 1
1 1 0 0 0 1 0 1 0 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1 1
6. p =1, q = 0, r =0 hace verdaderas a:

a) X1 y X2
b) X1 y X3
c) X3 y X4
7. X3 es equivalente a:
a) X1
b) X2
c) X4
8. X1  X2: “de X1 no es consecuencia X2”, como demuestra:

a) p=0, q=0, r=0
b) p=0, q=1, r=0
c) p=1, q=1, r=1
9. Es tautología:
a) X2 X4
b) X4 X2
c) X1 X2
10. La forma normal conjuntiva de X2:

a) (p  r)  (q  r)
b) (p  q)  (r)
c) (p  r)  (q  r)
(p  q)  r
 (p  q)  r
(p q)  r
(p  r)  (q  r)
Y1:œx (Px  Qx)
Y2: ∃x (Rx  Qx)
Y3:œx (∃ySxy Px)
Y4:œx∃y((Sxy  Syx)  x ≠ y)
11. En toda interpretación que satisface tanto a Y1 como a Y2:
a) Q=∅ y P=∅.
b) Q≠∅ y P=∅.
c) Q≠∅ y P≠∅.
Y1:œx (Px  Qx)

Y2: ∃x (Rx  Qx)
La Y1 puede leerse “Todos los P son Q”.

La Y2 se puede reescribir de forma equivalente:
∃x (Rx  Qx) = œx  (Rx  Qx) = œx  ( Rx  Qx) = œx (Rx Qx)
Es decir Y2 sería que “Todos los x cumplen uno a uno que están en R y no en Q”.
La Y2 sólo es verdad cuando Q es vacío y R es todo el universo.

La Y1 requiere que todos los elementos de P, sean los que sean, estén en Q.
Las dos fórmulas a la vez requieren que P y Q sean vacíos (que es lo que se ofrece como opción de respuesta).
Adicionalmente requieren otra cosa: que R sea el universo.
12. Y3:œx (∃ySxy Px) es verdadera para la interpretación: E={1,2,3}, P={1,2}
a) S={(1,1)(1,2)}
b) S={(1,1)(2,3)}
c) S=∅
œx (¬›y Sxy →¬Px) Que se entiende mejor si se reescribe como: œx (Px →›y Sxy)
Como hay un œx al inicio, el condicional no debe ser falso para ninguna x. Sólo ocurre eso para las x que están
en P (antecedente verdadero) y sin embargo no se relacionan con ningún y (lo que hace el consecuente falso).
Donde no ocurra esto, se satisface el œx y la respuesta es correcta.
a) No es correcta. Para x = 2, es verdad Px pero es falso ›y Sxy.
b) Es correcta.
Para x = 1 es verdad P1 → ›y S1y, para y = 1,

Para x = 2 es verdad P2 → ›y S2y, para y = 3,
Para x = 3 es verdad, como antecedente falso, P3, el condicional resulta verdadero.
c) No es correcta. Para x = 1, es verdad Px pero es falso ›y Sxy.

13. Y2: ∃x (Rx  Qx) es equivalente a:
z  Rz  Qz 
z  Rz  Qz 
z  Rz  Qz 
zRz  zQz
zRz  yQy
14 Y4:œx∃y((Sxy  Syx)  x ≠ y) es verdadera para la interpretación: E  1, 2,3 , con

a) S  1,1 ,  2,3 ,  3, 2 
b) S  1,1 , 1, 2  ,  2,1
c) S  1, 2  ,  3, 2  , 1,1
Hay que mirar en todo el universo, por tanto:
x = 1; existe un y que no es igual a x y que es (1,y) o (y,1)

a) no porque cuando x = 1, y = 1 y necesariamente tiene que ser distinto de 1.

b) no porque no existe x = 3.
c) si porque:
para x = 1, y = 2 (1,2);
para x = 2, y = 3 (3,2) o y = 1 (1,2)
para x = 3, y = 2 (3,2).
Y4 también se puede desarrollar como œx∃y((¬Sxy  ¬Syx)  x = y) lo que hace verdadera a (1,1) pero no a
(2,3) y (3,2) a la vez por lo que la respuesta válida es la c) S={(1,2),(3,2),(1,1)}
15. Señale la expresión válida (siempre verdadera):
a) œx›yMxy  ›x›yMxy
b) ›x›yMxy  ›xœyMxy
c) ›xœyMxy  œx›yMxy
La primera es verdadera, ya que si el antecedente es falso, siempre es verdadera, y si el antecedente es

verdadero para todo x existe al menos un y tal que se cumple que Mxy, el consecuente será siempre verdadero,
ya que si para todo x existe un y para el que se cumpla esa expresión, es evidente deducir que existe un x para
el que existe un y que cumpla la expresión Mxy.
16. Si un grafo contiene aristas paralelas se denomina:
a) Grafo con bucles.
b) Grafo acíclico.
c) Multigrafo.
17. La longitud de un camino, en un grafo, es:

a) El grado de entrada del último nodo del camino.
b) El número de aristas que aparecen en la sucesión del camino.
c) El número de nodos que aparecen en la sucesión del camino.
18. Un grafo no dirigido es conexo si:

a) Desde cualquiera de sus nodos se puede llegar a cualquier otro.
b) El grado de entrada de todo nodo es igual a 1.
c) Permite bucles en cada uno de sus nodos.
Pregunta de desarrollo Febrero 2011 A
Demuestre, mediante un tableau, que es correcto el siguiente argumento:
œx∃y(Sxy  Syx)  ∃x(∃ySxy  ∃ySyx)
1. œx∃y(Sxy  Syx)
2. ∃y(∃ySxy  ∃ySyx)
γ,2
3. (∃ySay  ∃ySya)
α1,3
4. ∃ySay
α2,3
5. ∃ySya
δ,1
6. ∃y(Say  Sya)
δ,6
7. Sab  Sba
α1,7 α2,7
8. Sab 9. Sba
γ,4 γ,4
10. Sab 11. Sba
Lógica y Estructuras Discretas 2ª Semana Febrero 2011, Modelo C
1. Complete (A⋂∼B) ⊆.
a ∼A
b) A⋂B
c) ∼B
La intersección de dos conjuntos está contenida en cualquiera de los conjuntos que se intersectan.
A⋂∼B ⊆ A y A⋂∼B ⊆ ∼B
U A B

A⋂∼B

2. Notamos por P(A) el conjunto potencia de A. Una relación de A en B es:

a) Un subconjunto de A⋃B
b) Un subconjunto de A x B
c) Un subconjunto de P(A) ⋃ P(B)
Si A y B son dos conjuntos cualesquiera, R es una relación de A en B sí y sólo sí R es un subconjunto de AxB.
3. Toda función de A en B es:

a) Un subconjunto de A⋃B
b) Una relación de A en B.
c) Un subconjunto de P(A) ⋃ P(B)
4. Sea f una función de A = {1,2} en B = {a,b}, tal que f(1) = a, f(2) = a,

a) No es inyectiva.
b) f no es función.
c) f es sobreyectiva.
1 a
2 b
5. Cuantas filas ordenadas distintas de 4 personas se pueden hacer escogiéndolas entre un

conjunto de 4 personas?
a) 4 x 3
b) 4!
c) 4!/ 3!
X1:  (p  q)   r
X 2: (p  r)  (p  q)
X 3:  r  p  q
X 4: r  (q  p)
p q r ¬p ¬r pq ¬( pq) X1 pr pq X2 ¬X2 X3 ¬p q→¬p X4

0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1
0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 1
0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1
0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1
1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 1
1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1
1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1
1 1 1 0 0 1 0 0 1 1 1 0 1 0 0 0
6. p = 1, q = 0, r = 0 hace verdaderas
a) X1 y X2
b) X1 y X3
c) X3 y X4
a) X3
b) X2
c) X4
8. X1  X2: “de X1 no es consecuencia X2”, como demuestra:

a) p=0, q=0, r=0
b) p=1, q=0, r=0
c) p=0, q=0, r=1
9. Es tautología:
a) X1 →X2
b) X2 →X3
c) X4 →X2
10. No es una contradicción:

a) X4  X1
b) X1  X2
c) X2  X3
Y1: ∃x(Px  Qx)
Y2:œx(Rx  Qx)
Y3: ∃x∃y(QySxy)
Y4:œxœy((Sxy  Syx)  x = y)
11. En toda interpretación que satisface tanto a Y1 como a Y2
a) R = ∅
b) Q ≠ ∅, R = ∅
c) P ⋂ R ≠ ∅
12. Y3: ∃x∃y(QySxy), es falsa para la interpretación E = {1,2}, Q = {1,2} y

a) S={(1,1)}
b) S={(1,2)}
c) S = ∅
E Q S Conclusión
1 V F F
2 V F F
13. Y3: ∃x∃y(QySxy), es equivalente a
Por un lado tenemos el enunciado:

∃x∃y(QySxy)
∃x∃y(QySxy)
Y la respuesta c:
œyQy  ∃x∃y Sxy
œyQy  ∃x∃y Sxy
∃x∃y Qy  Sxy
14. Y4:œxœy((Sxy  Syx)  x = y), es verdadera para la interpretación E={1,2,3}, con S= {(1,1),(2,1)}
a) S={(1,1),(1,2),(2,1)}
b) S={(1,1),(2,1)}
c) S={(3,2),(2,3)}
Y4:œxœy((Sxy  Syx)  x = y), lo podemos reescribir como:
œxœy( (Sxy  Syx)  x = y)
Para todos los x del universo tenemos que o bien x = y o  (Sxy  Syx)
Para a) tenemos: (1,2),(2,1) y no puede ser ya que  (Sxy  Syx). Incorrecta.

Para b) tenemos: (1,1) y como x = y resulta correcta esta parte de la disyunción y por lo tanto todo.
Para c) tenemos: (3,2),(2,3) que no cumple ni  (Sxy  Syx) ni x = y. Incorrecta.
15. Completar A, BA 
a) B
b) B
c) A  B
A B A BA B
1 1 0 1 0
1 0 0 1 1
0 1 1 0 0
0 0 1 1 1
16. Un árbol libre:

a) No es conexo.
b) No es un grafo.
c) Es acíclico.
17. Un camino en un digrafo en el que todas sus aristas son distintas se denomina:
a) Bucle.
b) Sencillo.
c) Elemental.
18. El grado total de un nodo:

a) Es el número de caminos distintos que parten de él.
b) Es el número de caminos distintos que llegan a él.
c) Es la suma de sus grados de entrada y de salida.
Pregunta de desarrollo Febrero 2011 C
∃xSxx  œxœy(Sxy  Syx)
1. ∃xSxx
2. œxœy(Sxy  Syx)
3. œxœy(Sxy  Syx)
δ,1
4. Saa
γ,3
5. œy(Say  Sya)
γ,5
6. (Saa  Saa)
β 1,6 β 2,6
7. Saa 8. Saa
Lógica y Estructuras Discretas Septiembre 2011, Modelo A
X1: (p  q)  ((o  t)  r  s) X1: (p  q)  ((o  t)  r  s)

X 2: o  ( r  p) X 2: o  ( r  p)
X 3:  p  (q  r) X 3: p  (q  r)
X 4: ((s  t)  o)  t X 4: ((s  t)  o)  t
1. Señale el conjunto satisfacible:
a) { X1, X2, X4}

b) { X1, X2, X3, X4}
c) { X1, X3, X4}
2. Es equivalente a X3:  p  (q  r)
p  (q  r)
a) (q  r)   p  (q  r)  p
b) p  (q  r)  q  r  p
c)  p   (q  r)
3. Señale el conjunto insatisfacible:
a) { X1, X2, X3}

b) { X2, X3, X4}
c) { X2, X3}
4. Sean φ1, φ2 y Ψ cualesquiera tres fórmulas de lógica proposicional. Si: ¬ (φ 1 ⋀ φ 2 ⋀ Ψ) es tautología, ¿cuál
de las siguientes afirmaciones es cierta?
a) { φ1, φ2 }  Ψ
b) { φ1, Ψ }  ¬φ2
c) ¬ (( φ1, φ2 )  Ψ ) es insatisfacible
¬ (φ1 ⋀ φ2 ⋀ Ψ)
¬ (φ1 ⋀ φ2) ⋁ ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ Ψ)  ¬φ2
5. Sean φ1, φ2 y Ψ cualesquiera tres fórmulas de lógica proposicional. ¿Cuál de las siguientes afirmaciones es
cierta?
a) {φ1, φ2}  Ψ si y sólo si (φ1  φ2)  ¬ Ψ es tautología.
b) {φ1, φ2}  Ψ si y sólo si (φ1  φ2)  Ψ es tautología.
c) {φ1, φ2}  Ψ si y sólo si (φ1  φ2  Ψ) es insatisfacible.
Y1: (œz∃wSzw)   (œx∃ySxy)
IY: dominio U = {0,1}, con
Y2:  (œx∃ySxy)
P=∅
Y3:  (∃w∃tSwt)
S = {(0,0),(0,1)}
Y4: ∃t (Stt  Pt)
Y1: (∃zœwSzw)  (∃xœySxy)
Y2: ∃xœySxy
Y3: œwœtSwt
Y4: ∃t (Pt  Stt)
6. Señale la tautología:
a) Y1 Y2
b) Y2 Y3
c) Y1 Y4
Y
7. La interpretación I no satisface:
a) Y1
b) Y2
c) Y3
8. Es consecuencia:
a) {Y1, Y2}  Y4

b) {Y1, Y4}  Y3
c) {Y2}  Y3
9. Sea P cualquier predicado diádico de aridad 2 en lógica de primer orden. ¿Cuál de las siguientes fórmulas
es equivalente a œx∃yPxy?
a) ∃x∃yPxy
b) œx∃yPxy
c) ∃x∃yPxy
10. ¿Es posible establecer una biyección entre los conjuntos y ?
a) Si.
b) No.
c) Dado que y son conjuntos infinitos, no tiene sentido hablar de establecer una biyección entre
ambos.
11. Sea el conjunto A={1,2,3,4}. ¿Cuál de los siguientes conjuntos es subconjunto de A2?
a) El conjunto {1,4,9,16}
b) El conjunto {(1,1),(2,2),(4,1)}
c) El conjunto {1,2,3,4,6,8,9,12,16}
12. ¿Cuál de las siguientes relaciones es una función inyectiva de X = {a,b,c} a Y = {1,2,3}?
a) {(a,1),(c,2),(c,3)}
b) {(b,1),(c,2),(a,1)}
c) {(c,2),(a,3),(b,1)}
13. ¿Cuál de las siguientes relaciones es una función parcial de X = {a,b,c} a Y = {1,2,3}?
a) {(c,1),(b,1),(a,1)}
b) {(a,1),(b,2),(a,3)}
c) {(b,1),(b,2)}
14. ¿Cuál de las funciones es una sobreyección?
a) f:  , f(n) = n + 1
b) f:  , f(z) = z + 1
c) f:  , f(z) = z2 + 1
15. Sea G un grafo dirigido con n nodos. ¿Cuál es el número de arcos de un árbol de expansión para G?
a) n2.
b) n−1.
c) No lo podemos saber sólo con los datos que nos da la pregunta.
16. Sea un dígrafo cualquiera G.¿Cuál de las siguientes afirmaciones es cierta?

a) Si G es conexo (débilmente conexo) entonces es unilateralmente conexo.
b) Si G no es unilateralmente conexo entonces es conexo.
c) Si un grafo G no es conexo entonces no es fuertemente conexo.
17. Sea d la distancia del nodo a al nodo b en un dígrafo G.¿Cuál de las siguientes afirmaciones es cierta para
cualesquiera nodos a y b?
a) d es un número primo
b) d 1, pero d no puede ser infinito (∞)
c) d puede ser infinito (∞)
18. Sea G un grafo dirigido con n nodos, tal que no contiene ningún arco de un nodo hacía sí mismo. ¿Cuál es
el máximo número de arcos que tiene G?
a) n2.
b) n2−1.
c) n⋅(n−1).
a) { X1, X2, X4}, es insatisfacible.

b) { X1, X2, X3, X4}, es insatisfacible, ya que si añado X3, no varía el resultado anterior
X1: (p  q)  ((o  t)  r  s)
X 2: o  ( r  p) 1. (p  q)  ((o  t)  r  s)
X 4: ((s  t)  o)  t
2. o  ( r  p)
3. ((s  t)  o)  t
α1,3
4. (s  t)  o
α2,3
5. t
β 1,4 β 2,4
6.  (s  t) 7. o
α1,6
β 1,2 β 2,2
8.  s 10.  o 11. ( r  p)
α2,6 α1,11
9.  t 12. r
α2,11
13. p
β 1,1 β 2,1
14.  (p  q) 15. (o  t)  r  s
α1,14 α1,15
16.  p 18. (o  t)

α2,14 α2,15
17.  q 19. r
α3,15
20. s
c) { X1, X3, X4} es satisfacible
X1: (p  q)  ((o  t)  r  s)
X 3:  p  (q  r)
X 4: ((s  t)  o)  t
3. Señale el conjunto insatisfacible:
a) { X1, X2, X3}

b) { X2, X3, X4}
c) { X2, X3}
X 2: o  ( r  p)
X 3:  p  (q  r)
X 4: ((s  t)  o)  t
1. o  ( r  p)
2.  p  (q  r)
3. ((s  t)  o)  t
α1,3
4. ((s  t)  o)
α2,3
5. t
β 1,4 β 2,4
6. (s  t) 7. o
α1,6 β 1,1 β 2,1

8.  s 10.  o 11. ( r  p)
α2,6
α1,6
9.  t
12.  r
α2,6
13. p
β 1,1 β 2,1
14.  p 15. ( q  r)
α1,6
16. q
α2,6
17. r
b) Y2 Y3
Y2:  (œx∃ySxy) 1.  (œx∃ySxy)

Y3:  (∃w∃tSwt)
2. ∃w∃tSwt
δ,2
3. ∃t Sat
δ,2
4. Sab
γ,1
5. ∃ySay
γ,1
6.  Sab
8. Es consecuencia:
c) {Y2}  Y3
Y2:  (œx∃ySxy)
Y3:  (∃w∃tSwt)
1.  (œx∃ySxy)
2. ∃w∃tSwt
δ,2
3. ∃t Sat
δ,2
4. Sab
γ,1
5. ∃ySay
γ,1
6.  Sab
Pregunta de desarrollo Septiembre 2011 A
Septiembre 2012 B, Septiembre 2012 D
∃xœy(Pxy  Pyx)  ∃x(∃yPxy  ∃yPyx)
1. ∃xœy(Pxy  Pyx)
2. ∃x(∃yPxy  ∃yPyx)
3. ∃x∃y(Pxy  Pyx)
γ,1
4. œy(Pay  Pya)
δ,4
5 (Pab  Pba)
α1,5 α2,5
6. Pab 11. Pba
γ,3 γ,3
7. ∃y(Pay  Pya) 12. ∃y(Pay  Pya)
γ,7 γ,12
8. (Pab  Pba) 13. (Pab  Pba)
α1,8 α1,13
9. Pab 14. Pab
α2,8 α2,13
10. Pba 15. Pba

Lógica y Estructuras Discretas 2ª Semana Septiembre 2011, Modelo B
X1: (p  q)  ((o  t)  r  s)
X 2: ( r  p) o
X 3: p  (q  r)
X 4: ((s  t)  o)  t
1. Es equivalente a X3:  p  (q  r) = p  (q  r)
a) (q  r)   p
b) p  (q  r)
c)  p   (q  r)
2. No es consecuencia correcta:
a) X1, X 2  ¬X 4
b) X 2, X 4  ¬X 3
c) X1, X 2  ¬X 3
a) { X1, X2, X4}

b) { X1, X2, X3, X4}
c) { X1, X3, X4}
a) { φ1, φ2 }  Ψ
b) { φ1, Ψ }  ¬φ2
¬ (φ1 ⋀ φ2 ⋀ Ψ)
¬ (φ1 ⋀ φ2) ⋁ ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ Ψ)  ¬φ2
cierta?
Y1: (œyPy  ∃xRx)   (∃zRz) IY: dominio U = {0,1}, con
Y2: œxPx   (∃zRz  ∃yRy) P=∅
Y3: ∃xRx « œyQy Q = {(0,1)}
R = {1}
Y4: œwRw  (œxPx  œyQy)
6. No es tautología:
a) Y2  Y3  Y4
b) Y1  Y3  Y4
c) Y1  Y3  Y2
7. Es consecuencia:
a) {Y3, Y4}  Y4

b) {Y1, Y3}  Y4
c) { Y1, Y4}  Y2
Y
a) Y2
b) Y4
c) Y3
9. Sea P cualquier predicado diádico de aridad 2 en lógica de primer orden. ¿Cuál de las siguientes fórmulas
es equivalente a œx∃yPxy?
a) ∃x∃yPxy
b) œx∃yPxy
c) ∃x∃yPxy
10. Sean A el conjunto de los números enteros pares y sea B el conjunto de los números enteros que son
múltiplos de 3. ¿Cuál de los siguientes conjuntos es subconjunto de A x B?
a) El conjunto de los números enteros múltiplos de 6.

b) El conjunto {(3,2)}
c) El conjunto {(2,3)}
11. Sea A un conjunto finito cualquiera, y sea n = |A|. ¿Cuál es la cardinalidad del conjunto A2?
a) n
b) n2
c) nn
12. ¿Es posible establecer una biyección entre el conjunto y el conjunto potencia de ?
a) Si.
b) No.
c) Dado que ambos son conjuntos infinitos, no tiene sentido hablar de establecer una biyección entre
ambos.
13. ¿Cuál de las siguientes relaciones es una función parcial de X = {a,b,c} a Y = {1,2,3}?
a) {(c,1),(b,1),(a,1)}
b) {(a,1),(b,2),(a,3)}
c) {(b,1),(b,2)}
a) f:  , f(n) = n + 1
b) f:  , f(z) = z + 1
c) f:  , f(z) = z2 + 1
16. Se dice que un grafo no dirigido es conexo si:

17. La longitud de un camino en un grafo ponderado G es igual a:
a) El grado de entrada del último nodo del camino.

b) El número de aristas que aparecen en la sucesión del camino.
c) El número de nodos distintos que aparecen en la sucesión del camino.
a) n2.
b) n2−1.
c) n⋅(n−1).
a) X1, X 2  ¬X 4 X1: (p  q)  (r  s  (o  t))
b) X 2, X 4  ¬X 3 X 2: ( r  p) o
X 3: p  (q  r)
c) X1, X 2  ¬X 3
X 4: ((s  t)  o)  t
1. (p  q)  ((o  t)  r  s)
2. o  ( r  p)
3. ((s  t)  o)  t
α1,3
4. (s  t)  o
α2,3
5. t
β1,4 β2,4
6. (s  t) 7. o
α1,6 β1,2 β2,2

8.  s 10. o 11.  r  p
α2,6 α1,11
9.  t 12.  r
α2,11
13. p
β1,2 β2,2
14. (p  q) 15. r  s  (o  t))
α1,14 α1,15
16.  p 18. r
α2,14 α2,15
17. q 19. s
α3,15
20. o  t
a) X1, X 2  ¬X 4 X1: (p  q)  (r  s  (o  t))
b) X 2, X 4  ¬X 3 X 2: ( r  p) o
X 3: p  (q  r)
c) X1, X 2  ¬X 3
X 4: ((s  t)  o)  t
1. ( r  p) o
2. ((s  t)  o)t
3. p  (q  r)
α1,2
4. (s  t)  o
α2,2
5. t
β1,4 β2,4
6. (s  t) 7. o
α1,6 β1,1 β2,1

8.  s 10. o 11.  r  p
α2,6 α1,11
9.  t 12.  r
α2,11
13. p
β1,3 β2,3
14.  p 15. (q  r)
α1,15
16. q
α2,15
17. r
Pregunta de desarrollo
Septiembre 2011 B, Septiembre 2012 A
œx∃y(Pxy  Pyx)  ∃x(∃yPxy  ∃yPyx)
1. œx∃y(Pxy  Pyx)
2. ∃x(∃yPxy  ∃yPyx)
3. ∃x∃y(Pxy  Pyx)
γ,1
4. ∃y(Pay  Pya)
δ,4
5. (Pab  Pba)
β1,5 β2,5
6. Pab 11. Pba
γ,3 γ,3
7. ∃y(Pay  Pya) 12. ∃y(Pay  Pya)
γ,7 γ,12
8. (Pab  Pba) 13. (Pab  Pba)
α1,8 α1,13
9. Pab 14. Pab
α2,8 α2,13
10. Pba 15. Pba
1. Marque la respuesta falsa: U2 ⊆ (U3 ⋂ U1)
2. Marque la respuesta falsa: ∼ (U2 ⋂ U3) = (∼U2 ⋂∼U3)
3. Marque la respuesta falsa: R1 es simétrica. R1 :{(1,2),(1,3),(2,2),(3,1)}.
4. Es relación de equivalencia sobre U1 = {1,2,3,4,5,6}.

R1 ⋃ {(1,1),(3,3),(4,4),(5,5) ,(6,6) ,(2,1) ,(3,1) ,(2,3) ,(3,2)}.
Una relación es una relación de equivalencia si y solo si es: Reflexiva, Simétrica, Transitiva.
5. R3 ⋃ R4 es función no inyectiva de U1 en U1. (R3 ⋃ R4) = {(4,2),(3,2),(5,4),(6,5),(1,3),(2,1)}
6. (R3 ⋃ R4)‾, no es función de U1 en U1.
(R3 ⋃ R4) = {(4,2),(3,2),(5,4),(6,5),(1,3),(2,1)}

Hay que calcular la función inversa:
(R3 ⋃ R4)‾ = {(2,4),(2,3),(4,5),(5,6),(3,1),(1,2)}
U1 U1 U1 U1
1 1 1 1
2 2 2 2
3 3 3 3
4 4 4 4
5 5 5 5
6 6 6 6
Ejercicio 5 Ejercicio 6
p q r s ¬p ¬q ¬r ¬s p⋀q ¬r⋀s Y1 p⋀r ¬q⋀s Y2 Y1Y2 ¬Y1 ¬Y2 ¬Y1¬Y2 p s Y3 Y4 Y1 Y4Y1
0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1
0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1
0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1
0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1
0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1
0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1
0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1
0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1
1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1
1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1
1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1
1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1
1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1
1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1
1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1
1 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 1 1 0 1 1
7. Y1 es falsa en la interpretación: p = 1, q = 0, r = 1, s = 1
8. Marque la respuesta falsa: Y1  Y2 ≡ Y1  Y2
9. La tabla de Y2, es verdadera en 7 líneas.
10. De Y4 se deduce, es consecuencia: Y1

Z1: œx (Px  ∃yQxy); Z2: œx (Px  œyQxy); Z3: œx (Px  Qxx); Z4: œx (Px  Qxx)
11. Universo U1={1,2,3,4,5,6}, donde U3 representa a P={1,4,6} y R1 representa a Q={(1,2),(1,3),(2,2),(3,1)}.

Ahí son verdaderas las fórmulas:
Z1: œx (Px  ∃yQxy) y Z3: œx (Px  Qxx)
Z1:  œx (Px  ∃yQxy)

∃x (Px  ∃yQxy)
∃x (Px  ∃yQxy)
∃x (Px  œyQxy)
∃xœy (Px  Qxy)
Px  Qxy Px Qxy
1  (1,1) V V V
4  (4,4) V V V
6  (6,6) V V V
Z3: œx (Px  Qxx)

œx (Px  Qxx)
∃x  ( Px  Qxx)
∃x (Px  Qxx)
Al menos alguno de los elementos del universo cumple la propiedad P y no cumple Q.
Px  Qxx
1  (1,1) V
4  (4,4) V
6  (6,6) V
12. Universo U1={1,2,3,4,5,6}, donde U2 representa a P={1,3,4} y R2 representa a Q={(1,1),(3,2),(2,2),(3,3)}.

Ahí son verdaderas las fórmulas:
Z2: œx (Px  œyQxy) y  Z4: œx (Px  Qxx)
Z2: œx (Px  œyQxy) Z4: œx (Px  Qxx)

∃x (Px  œyQxy) œx (Px  Qxx)
∃x (Px  œyQxy) ∃x (Px  Qxx)
∃x (Px  ∃y Qxy) ∃x (Px  Qxx)
∃x∃y (Px  Qxy)

Px  Qxx
Px  Qxy 1  (1,1) V
1  (1,2) V
3  (3,3) V
3  (3,1) V
4  (4,4) F
4  (4,4) V
13. Z1: œx (Px  ∃yQxy) equivale a œx∃y (Px  Qxy)
œx (Px  ∃yQxy)
œx∃y (Px  Qxy)
14. Es consecuencia, se deduce: Z2  Z3
Z2: œx (Px  œyQxy)

Z3: œx (Px  Qxx)
15. Universo U1 = {1,2,3,4,5,6}. La fórmula œx∃y (Qxy  x ≠ y ), es verdadera en

R3 ∪ R4 = {(4,2),(3,2),(5,4),(6,5),(1,3),(2,1)}
En la fórmula œx∃y (Qxy  x ≠ y ), tiene que cumplirse que x ≠ y y eso solo ocurre en R3 ∪ R4.
16. El grafo dirigido (S1 ∪ S2) tiene un ciclo sencillo que recorre todos los nodos.
1 2 3
4
5
17. Es unilateralmente conexo S1 ∪ S2.
18. Un árbol libre es acíclico.

Demuestre, mediante un tableau, que es correcto el siguiente argumento: Z2  Z3
œx (Px  œyQxy)  œx (Px  Qxx)
1. œx (Px  œyQxy)
2. œx (Px  Qxx)
δ,2
3. (Pa  Qaa)
α1,3
4. Pa
α2,3
5. Qaa
γ,1
6. (Pa  œyQay)
β 1,6 β 2,6
7. Pa 8. œyQay
γ,8
9. Qaa
U1 = {1,2,3,4,5,6}; U2 = {1,2,4}; U3 = {2,3,6}; U4 = {1,4};
1. Marque la respuesta falsa: U4 ∈ U2.
2. U2 ⋂ (∼ (U3 ⋂ U4)), es igual a: (U2 ⋂ ∼U3) ⋂ (U2 ⋂ ∼U4).
3. (R1 ⋃ R2) es una relación de orden parcial estricto. R se denomina orden parcial estricto si no es reflexiva,
es antisimétrica y es transitiva.
R1 ⋃ R2 = {(1,2),(1,3),(3,4),(2,6),(1,6),(1,4),(3,5),(1,5)}
4. Marque la opción falsa (R3 ⋃ R4): es una función no inyectiva de U1 en U1
R3 ⋃ R4 = {(4,2),(3,1),(1,4),(6,3),(5,5),(2,6),(3,1),(4,2)}
5. Si en la definición de R1 = {(1,2),(1,3),(3,4),(2,6)} se cambia el orden de enumeración de esos cuatro pares,

sigue siendo el mismo R1 ¿De cuantas formas distintas puede ocurrir esto? De 24.
6. ¿Cuántos conjuntos distintos de tres elementos pueden formarse con los de U1? C (6,3)
6 6! 6! 65 4
C (6,3)        20
 3  3! (6  3)! 3! 3! 3!
p q r s ¬p ¬q ¬r ¬s p⋁¬q r⋀s Y1 Y2 p⋁r ¬r⋀s Y3 p⋁s q⋀s Y4 ¬p⋀¬r r⋁¬s ¬ (r⋁¬s) ⋁ Y2 ⋀Y3 Y4 ⋁Y2  Y2 Y4
0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1
0 0 0 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 1
0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1
0 0 1 1 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1
0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1
0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1
0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1
0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1
1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1
1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1
1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1
1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1
1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1
1 1 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1
1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1
1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1
7. Cuando p = 0, q = 1, r = 1, s = 0, son verdaderas: ambas Y1 e Y4

8. Es equivalente a Y3: (¬p⋀¬r) ⋁ ¬ (r⋁¬s)
9. Es una tautología (Y2⋁ Y3) (Y4⋁ Y2).
10. De Y2 se deduce, es consecuencia: Y4 . Y2  Y4
Z1:œx (Px  ∃yQxy)
Z2: œx (Px  ∃yQxy)
Z3: œx (Px  Qxx)
Z4: œx (Qxx  Px)
11. Universo U1 = {1,2,3,4,5,6}, P = {2,3,6} y Q = {(1,2),(1,3),(3,4),(2,6)}. Ahí son verdaderas las fórmulas:
Z3: œx (Px  Qxx) Z4: œx (Qxx  Px)

œx (Qxx  Px)
U Qxx Px Qxx  Px U Qxx Px Qxx  Px

1 F F V 1 F F V
2 F V V 2 F V V
3 F V V 3 F V V
4 F F V 4 F F V
5 F F V 5 F F V
6 F V V 6 F V V
12. Universo U1 = {1,2,3,4,5,6}, P = ∅. La fórmula Z4: œx (Qxx  Px) es falsa cuando representa a Q la
relación: R4 = {(5,5),(2,6),(3,1),(4,2)}.
El par (5,5) hace verdadero el antecedente y falso al consecuente, por lo tanto resulta ser falso.
Qxx  Px
(5,5)  F F
13. Es equivalente a Z4: œx (Qxx  Px): Z3  Z4
Z3: œx (Px  Qxx)

œx (Px Qxx)
Z4: œx (Qxx  Px)

œx (Qxx  Px)
14. De Z1 es consecuencia, se deduce Z4 : Z1  Z4
15. œx (Qxx  ∃y(Py  x ≠ y)). Sobre el Universo U1 = {1,2,3,4,5,6}. Q = {(5,5),(2,6),(3,1),(4,2)}. Solo es

falsa cuando representa a P = ∅.
œx (Qxx  ∃y(Py  x ≠ y)).
Qxx  Py
(5,5)  F F
16. El grafo dirigido de la relación (S1 ∪ S2) sobre el universo U1 = {1,2,3,4,5,6}, tiene un ciclo sencillo que
recorre cinco nodos.
Ciclo sencillo, si ninguna arista del ciclo aparece más de una vez en el camino.
6 1 2
3 4
17. El grafo dirigido de la relación S3 ∪ S4 sobre el universo U1 = {1,2,3,4,5,6}, tiene un camino elemental que
recorre todos los nodos.
Un camino en el que todos los nodos sean diferentes se denomina camino elemental.
1 3
6 5
4 2
18. Un árbol libre es acíclico.

De Z1 es consecuencia, se deduce Z4, Z1  Z4: œx (Px  ∃yQxy)  œx (Qxx  Px)
1. œx (Px  ∃yQxy)
2. œx (Qxx  Px)
γ,2
3.  (Qaa  Pa)
α1,3
4. Qaa
α2,3
5.  Pa
γ,1
6. Pa  ∃yQay
α1,6
7. Pa
α2,6
8. ∃yQay
X1: (p¬t) ⋀ (p ⋁ t)
X2: (s  t)  s IX: s =1, p = t = 0
X3: (t p) ⋀ (p  t)
X4: t ⋁ (p  s)
p t s ¬t p¬t p⋁t X1 st X2 t p pt X3 t s X4

0 0 0 1 1 0 0 1 0 1 1 1 1 1
0 0 1 1 1 0 0 0 1 1 1 1 1 1
0 1 0 0 1 1 1 1 0 0 1 0 0 1
0 1 1 0 1 1 1 1 1 0 1 0 1 1
1 0 0 1 1 1 1 1 0 1 0 0 1 1
1 0 1 1 1 1 1 0 1 1 0 0 1 1
1 1 0 0 0 1 0 1 0 1 1 1 0 1
1 1 1 0 0 1 0 1 1 1 1 1 1 1
1. La interpretación IX no satisface: a X1 ⋀ X3
a) X3 ⋀ X1  X3
X3 X1 X3 ⋀ X1 X3 X3 ⋀ X1X3
1 0 0 1 1
1 0 0 1 1
0 1 0 0 1
0 1 0 0 1
0 1 0 0 1
0 1 0 0 1
1 0 0 1 1
1 0 0 1 1
b) X4 ¬ (X2 ⋀ X1)
X2 X1 X2 ⋀ X1 X4 ¬ (X2 ⋀ X1) X4 ¬ (X2 ⋀ X1)

0 0 0 1 1 1
1 0 0 1 1 1
0 1 0 1 1 1
1 1 1 1 0 0
0 1 0 1 1 1
1 1 1 1 0 0
0 0 0 1 1 1
1 0 0 1 1 1
c) (X2 ⋀ X4⋀ X1⋀ X3)  (X1 ⋀ X2⋀X3)
X1 X2 X3 X4 X2 ⋀ X4⋀ X1⋀ X3 X1 ⋀ X2⋀X3 (X2 ⋀ X4⋀ X1⋀ X3)  ( X1 ⋀ X2⋀X3)

0 0 1 1 0 0 1
0 1 1 1 0 0 1
1 0 0 1 0 0 1
1 1 0 1 0 0 1
1 0 0 1 0 0 1
1 1 0 1 0 0 1
0 0 1 1 0 0 1
0 1 1 1 0 0 1
3. Es equivalente a X2 (s  t)  s :
p t s ¬s ¬t s ⋀¬t (s ⋀¬t) ⋁s st ¬s⋁¬t ¬s⋁¬t⋁s X2

0 0 0 1 1 0 0 1 1 1 0
0 0 1 0 1 1 1 0 1 1 1
0 1 0 1 0 0 0 1 1 1 0
0 1 1 0 0 0 1 1 0 1 1
1 0 0 1 1 0 0 1 1 1 0
1 0 1 0 1 1 1 0 1 1 1
1 1 0 1 0 0 0 1 1 1 0
1 1 1 0 0 0 1 1 0 1 1
cierta?
Y1: (œx∃ySxy)   (œz∃wSzw)
IY: dominio U = {0,1} con
Y2:  (œx∃ySxy) P = ∅;
Y3:  (∃w∃tStw) S = {(0,0),(0,1)}
5. La interpretación IY no satisface: a Y3:  (∃w∃tStw)
Para Y1: (œx∃ySxy)   (œz∃wSzw), tenemos que SI para todos los valores de x debe de existir al menos
un valor de y ENONCES… Como el antecedente es falso, la fórmula en su conjunto resulta verdadera.
Para Y2:  (œx∃ySxy), tenemos que ningún elemento x del universo debe de estar relacionado con un elemento
y del universo.
Para Y3:  (∃w∃tStw). No satisface la fórmula.
6. Es consecuencia:
a) { Y1, Y2}  Y4
b) { Y1, Y4}  Y3
c) { Y2}  Y3
a) Y1  Y2
b) Y2  Y3
c) Y1  Y4
8. ¿Cuál de las siguientes funciones definidas de ℤ en ℤ es inyectiva? ℤ, números enteros.

a) f(z) = z+5.
b) f(z) = z2.
c) f(z) = z4+4.
f(z)=z+5. Es inyectiva, las otras dos son sobreyectivas.
9. Sea A un conjunto cualquiera, y sea E el conjunto universal. ¿A qué fórmula de las siguientes es
equivalente A ⋂ E?
a) E
b) ∅
c) A ⋂∼∅
10. ¿Cuál de las siguientes relaciones es una función de X = {a,b,c} a Y = {1,2,3}?

a) {(a,1),(b,2),(a,3)}
b) {(b,1),(c,2),(b,3),(a,2)}
c) {(c,1),(b,1),(a,1)}
a) El conjunto de los números enteros de 6.
a) {(a,1),(c,2),(c,3)}
b) {(b,1),(c,2),(a,1)}
c) {(c,2),(a,3),(b,1)}
13. Sea el conjunto A = {1,2,3,4}¿Cuál de los siguientes conjuntos es subconjunto de A2?

b) El conjunto {(1,1),(2,2),(4,1)}
c) El conjunto {1,2,3,4,6,8,9,12,16}
A2 = A × A, el conjunto {(1,1)(2,2)(4,1)}


a) n2.
b) n2−1.
c) n⋅(n−1).
En el caso de un grafo dirigido de n vértices el número máximo de arcos es n⋅(n−1).
18. Un seleccionador de fútbol ha acudido a la Eurocopa de 2012 con 6 delanteros. Si sólo escogerá para jugar
a 3 de ellos, ¿de cuántas formas puede hacerlo?
a) 6⋅3
b) 63
c) (6⋅5⋅4)/(3⋅2)
n n! 6! 65 4
C ( n, r )      
 r  r ! (n  r )! 3! (6  3)! 3 2
Y1: (œx∃ySxy)   (œz∃wSzw)
IY: dominio U = {0,1} con
Y2:  (œx∃ySxy) P = ∅;
Y3:  (∃w∃tStw) S = {(0,0),(0,1)}
6. Es consecuencia:
a) { Y1, Y2}  Y4
b) { Y1, Y4}  Y3
c) { Y2}  Y3
a) Y1  Y2
b) Y2  Y3
c) Y1  Y4
1.  (œx∃ySxy)
2. ∃w∃tSwt
δ,2
3. ∃t Sat
δ,2
4. Sab
γ,1
5. ∃ySay
γ,1
6.  Sab
Pregunta de desarrollo
Septiembre 2011 B, Septiembre 2012 A
œx∃y(Pxy  Pyx)  ∃x(∃yPxy  ∃yPyx)
1. œx∃y(Pxy  Pyx)
2. ∃x(∃yPxy  ∃yPyx)
3. ∃x∃y(Pxy  Pyx)
γ,1
4. ∃y(Pay  Pya)
δ,4
5. (Pab  Pba)
β1,5 β2,5
6. Pab 11. Pba
γ,3 γ,3
7. ∃y(Pay  Pya) 12. ∃y(Pay  Pya)
γ,7 γ,12
8. (Pab  Pba) 13. (Pab  Pba)
α1,8 α1,13
9. Pab 14. Pab
α2,8 α2,13
10. Pba 15. Pba
Lógica y Estructuras Discretas Septiembre 2012, Modelo B
X1: (pq)  (r  s  (t  ¬o)
X2: (¬r  p)  ¬o
X3: p  (q  r)
X4: ((s  t)  o)  t
a) X1, X2   X 4
b) X2, X4   X 3
c) X1, X2   X 3
2. Es equivalente a X3: p  (q  r)
a) (¬q  ¬r) ¬p
b) p  (q  r)
c) ¬p  ¬ (q  r)
cierta?
a) { φ1, φ2 }  Ψ
b) { φ1, Ψ }  ¬φ2
¬ (φ1 ⋀ φ2 ⋀ Ψ)
¬ (φ1 ⋀ φ2) ⋁ ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ Ψ)  ¬φ2
Y1: (œyPy  ∃xSxy)   (∃zRz) IY: dominio U = {0,1} con
Y2: œxPx   (∃zQz  ∃yRy) P = ∅;
Y3: ∃xRx « œyQy Q = {(0,1)}
R = {1}
Y4: œwPw  (œxPx  œyQy)
5. Es consecuencia:
a) Y3, Y4  Y4
b) Y1, Y3  Y4
c) Y1, Y4  Y2
6. Y2 es equivalente a:
a) {Y1, Y2,Y4}
b) {Y2, Y3,Y1}
c) {Y1, Y3,Y4}
7. Es satisfacible:
a) {Y1, Y2,Y4}
b) {Y2, Y3,Y1}
c) {Y1, Y3,Y4}

b) El conjunto {(1,1),(2,2),(4,1)}
c) El conjunto {1,2,3,4,6,8,9,12,16}
A2 = A × A, el conjunto {(1,1)(2,2)(4,1)}
equivalente A ⋂ ∅?
a) E
b) A ⋂∼E
c) A ⋂∼∅
a) {(a,1),(c,2),(c,3)}
b) {(b,1),(c,2),(a,1)}
c) {(c,2),(a,3),(b,1)}

a) n2.
b) n−1.
a) n2.
b) n2−1.
c) n⋅(n−1).
En el caso de un grafo dirigido de n vértices el número máximo de arcos es n⋅(n−1).
a) (8⋅7⋅6⋅5⋅4)/5!
b) (8⋅7⋅6⋅5⋅4)/3!
c) (8⋅7⋅6)/5!
n n! 8! 87 65 4

C ( n, r )      
 r  r ! (n  r )! 3! (8  3)! 5!
2. ∃x(∃yPxy  ∃yPyx)
3. ∃x∃y(Pxy  Pyx)
γ,1
δ,4
5 (Pab  Pba)
α1,5 α2,5
6. Pab 11. Pba
γ,3 γ,3
7. ∃y(Pay  Pya) 12. ∃y(Pay  Pya)
γ,7 γ,12
8. (Pab  Pba) 13. (Pab  Pba)
α1,8 α1,13
9. Pab 14. Pab
α2,8 α2,13
10. Pba 15. Pba

Lógica y Estructuras Discretas Septiembre 2012, Modelo D
X1: (pq)  (r  s  (t  ¬o)
X2: (¬r  p)  ¬o
X3: p  (q  r)
X4: ((s  t)  o)  t

a) {X1, X2, X 4}
b) {X1, X2, X3, X 4}
c) {X1, X3, X 4}
2. Es equivalente a X3: p  (q  r)
a) (¬q  ¬r) ¬p
b) p  (q  r)
c) ¬p  ¬ (q  r)
a) { X1, X2, X3}

b) { X2, X3, X4}
c) { X2, X3}
a) { φ1, φ2 }  Ψ
b) { φ1, Ψ }  ¬φ2
¬ (φ1 ⋀ φ2 ⋀ Ψ)
¬ (φ1 ⋀ φ2) ⋁ ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ Ψ)  ¬φ2
Y1: (œyPy  ∃xSxy)   (∃zRz) IY: dominio U = {0,1} con
Y2: œxPx   (∃zQz  ∃yRy) P = ∅;
Y3: ∃xRx « œyQy Q = {(0,1)}
R = {1}
Y4: œwPw  (œxPx  œyQy)
a) Y2  Y3  Y4
b) Y1  Y3  Y4
c) Y1  Y3  Y2
Y
a) Y2
b) Y4
c) Y3
7. Y2 es equivalente a:
a) {Y1, Y2,Y4}
b) {Y2, Y3,Y1}
c) {Y1, Y3,Y4}
8. Sea A un conjunto finito cualquiera, y sea n = |A|. ¿Cuál es la cardinalidad del conjunto A2?
a) n
b) n2
c) nn
10. ¿Cuál de las siguientes relaciones es una sobreyección de X = {a,b,c} a Y = {1,2,3}?
a) {(a,1),(b,2),(a,3)}
b) {(c,2),(a,3),(b,1)}
c) {(a,3),(c,2),(b,3)}
a) f: ԳԳ, f(n) = n + 1
b) f: ԺԺ, f(z) = z + 1
c) f: ԺԺ, f(z) = z2 + 1

b) El conjunto {(1,1),(2,2),(4,1)}
c) El conjunto {1,2,3,4,6,8,9,12,16}
A2 = A × A, el conjunto {(1,1)(2,2)(4,1)}
13. Sea el conjunto A={1,2}. ¿Cuál de los siguientes conjuntos es el conjunto potencia de A?
a) {∅}∪{{1},{2}}∪{A}
b) ∅∪{{1},{2}}∪A
c) ∅∪{{1},{2}}∪{A}


a) n2.
b) n2−1.
c) n⋅(n−1).
a) n2.
b) n−1.
18. Un seleccionador de fútbol ha acudido a la Eurocopa de 2012 con 7 defensas. Si sólo escogerá para jugar a
4 de ellos, ¿de cuántas formas puede hacerlo?
a) 7!/4!
b) 7!/ 4!·3!
c) 47
n n! 7! 7!
C (n, r )      
 r  r ! (n  r )! 3! (7  3)! 4! 3!
2. ∃x(∃yPxy  ∃yPyx)
3. ∃x∃y(Pxy  Pyx)
γ,1
δ,4
5 (Pab  Pba)
α1,5 α2,5
6. Pab 11. Pba
γ,3 γ,3
7. ∃y(Pay  Pya) 12. ∃y(Pay  Pya)
γ,7 γ,12
8. (Pab  Pba) 13. (Pab  Pba)
α1,8 α1,13
9. Pab 14. Pab
α2,8 α2,13
10. Pba 15. Pba

Lógica y Estructuras Discretas 1ª Semana Febrero 2013, Modelo B
Datos
X1: (¬q ⋁ p) ⋀ ¬(¬p  ¬q) Y1: ∃x (Rxx ⋀ œyRxy)
X 2: ( p⋁(¬q ⋀ r)) ⋁ s Y2: œx (Px ⋀ QxRxx)
X 3: (¬p ⋀ r ⋀¬s) Y3: ∃xœy Rx f(y)
X 4: ¬r ⋀ (r  ¬s) Y4: ∃x∃y(Rx f(y) ⋀ x ≠ y)
I1: P1 = {1,2} Q1 = {1,3} R1 = {(0,1),(1,1),(2,3),(4,4)} f1 = {(0,0),(1,1),(2,3),(3,0),(4,3)}

I2: P2 = {0,1} Q2 = {0,1,3} R2 = {(0,3),(1,2)} f2 = {(0,0),(1,3),(2,1),(3,2),(4,4)}
El universo es U = {0,1,2,3,4}. Las fórmulas lógicas se suponen interpretadas sobre U. Observe que las funciones se han
especificado como relaciones, que también lo son. Por ejemplo, como (2,3) pertenece a f1, resulta que f1(2) = 3.
p q r s ¬p ¬q ¬r ¬s ¬q⋁p ¬p¬q ¬(¬p¬q) X1 ¬q⋀r p⋁(¬q⋀r) X2 X3 r¬s X4 ¬X3 ¬r ⋁ (¬r ⋀¬s) ¬ (X 4  ¬X 3)

0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0
0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0
0 0 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 0 0 0 0
0 0 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0
0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 0
0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0
0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0
0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0
1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0
1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0
1 0 1 0 0 1 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0
1 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0
1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0
1 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0
1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0
1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0
1. X 4: ¬r ⋀ (r  ¬s) Es equivalente a: ¬r ⋁ (¬r ⋀¬s)

2. Señale la consecuencia correcta: X 4  ¬X 3
3. Señale la fórmula insatisfacible, una contradicción: ¬ (X 4  ¬X 3)
4. I: p = q = r = s = 1, satisface: X2
5. Señale el conjunto satisfacible: { X2 , X3}
Y1: ∃x (Rxx ⋀ œyRxy)
Y2: œx (Px ⋀ QxRxx)
Y3: ∃xœy Rx f(y)
Y4: ∃x∃y(Rxf(y) ⋀ x ≠ y)
I1: P1 = {1,2} Q1 = {1,3} R1 = {(0,1),(1,1),(2,3),(4,4)} f1 = {(0,0),(1,1),(2,3),(3,0),(4,3)}

I2: P2 = {0,1} Q2 = {0,1,3} R2 = {(0,3),(1,2)} f2 = {(0,0),(1,3),(2,1),(3,2),(4,4)}
6. La interpretación I2 satisface: a Y3 e Y4
U ∃xœyRxf(y) U ∃x∃y(Rxf(y) ⋀ x ≠ y)
0 R02 V 0 R02 ⋀ 0 ≠ 2 V⋀V V
1 R11 V 1 R11 ⋀ 1 = 1 V⋀F F
2 R2.. V
3 R3.. V 2
4 R4.. V 3
4
U ∃xœyRxf(y) U ∃x∃y(Rxf(y) ⋀ x ≠ y)
0 0 R01 ⋀ 0 ≠ 1 V⋀V V
1
1
2
3 R3f(y) V 2 R20 ⋀ 2 ≠ 0 V⋀V V
4 3
4 R43 ⋀ 4 ≠ 3 V⋀V V
8. La interpretación I1 satisface: a Y2 pero no a Y1
U R ∃x(Rxx ⋀ œyRxy) U P Q R œx (Px ⋀ QxRxx)

0 F V⋀F F 0 F F F F ⋀ FF V
1 V F⋀F F 1 V V V V ⋀ VV V
2 F V⋀F F 2 V F F V ⋀ FF V
3 F V⋀F F 3 F V F F ⋀ VF V
4 V F⋀F F 4 F F V F ⋀ FV V
9. Y2: œx (Px ⋀ QxRxx) equivale a:
œx (Px ⋀ QxRxx)
œx ( (Px ⋀ Qx) ⋁ Rxx)
œx  (Px ⋀ Qx ⋀ Rxx)
∃x (Px ⋀ Qx ⋀ Rxx)
I1: P1 = {1,2} Q1 = {1,3} R1 = {(0,1),(1,1),(2,3),(4,4)} f1 = {(0,0),(1,1),(2,3),(3,0),(4,3)}
I2: P2 = {0,1} Q2 = {0,1,3} R2 = {(0,3),(1,2)} f2 = {(0,0),(1,3),(2,1),(3,2),(4,4)}
10. ∼ (P1 ⋂ ∼Q1) ⋂ Q2 es: (∼P1 ⋂ Q2) ∪ (∼Q1 ⋂ Q2).
11. El resultado de  f 21  f 2   2  es: 2.
f2 f2-1
0 0 0 0
1 1 1 1
2 2 2 2
3 3 3 3
4 4 4 4

12. ¿De qué propiedades carece la relación R1 ∪ R2 = {(0,1),(1,1),(2,3),(4,4),(0,3),(1,2)} para ser un orden
parcial débil? Le falta ser reflexiva y transitiva.
Una relación R : S  S se denomina un orden parcial débil si es reflexiva, antisimétrica y transitiva.
13. La relación R1 ∪ R2 = {(0,1),(1,1),(2,3),(4,4),(0,3),(1,2)} es: antisimétrica.
14. La función f1 es: Ni inyectiva ni sobreyectiva.
15. ¿Cuántas funciones de P2 en Q2 distintas pueden construirse? 9.
0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1
3 3 3 3 3 3
0 0 0 0 0 0
1 1 1 1 1 1
3 3 3
f(1)=f(2)=0, f(1)=f(2)=1, f(1)=f(2)=3.

16. ¿Cuántos pares nuevos habría que añadir a la relación R1 para que resultara ser una relación de
equivalencia con tres clases de equivalencia? 5.
R1 = {(0,1),(1,1),(2,3),(4,4)}
Para que R1 sea una Relación de Equivalencia, es decir, una Relación Reflexiva, Simétrica y Transitiva,
tenemos que añadir los siguientes pares {(0,0),(1,0),(2,2),(3,3),(3,2)}.
Ahora se comprueba cuantas clases de equivalencia tiene.
[0] = {0,1}
[1] = {0,1}
[2] = {2,3}
[3] = {2,3}
[4] = {4}
Como se ve, tiene tres clases de equivalencia en R1 junto con los cinco pares que añadimos.
17. Sea un árbol libre W, con m aristas y n nodos. ¿Cuántos caminos hay en W de un nodo a a un nodo b
distinto de a? 1.
18. Considere la relación R1 ∪ R2\{(1,1),(4,4)} y calcule su cierre simétrico R. Sea el grafo no dirigido G
construido a partir de R de forma que {x,y} es una arista en G si y solo si (x,y) ∈ R o (y,x) ∈ R. ¿Qué se puede
decir sobre G? Tiene un ciclo de longitud 4.
R1 = {(0,1),(1,1),(2,3),(4,4)}
R2 = {(0,3),(1,2)}
R1 ∪ R2\{(1,1),(4,4)} = {(0,1),(2,3),(0,3),(1,2),(1,0),(3,2),(3,0),(2,1)}
0 1
3 2
Pregunta de desarrollo Febrero 2013 B
Desarrolle un tableau, que confirme la respuesta dada en la pregunta 3:
La fórmula insatisfacible, una contradicción: ¬ (X 4  ¬X 3)
X 3: (¬p ⋀ r ⋀¬s)
X 4: ¬r ⋀ (r  ¬s) Nota:
¬ (X 4  ¬X 3) =
1. ¬r ⋀ (r  ¬s) ¬ (¬X 4 ⋁ ¬X 3) =
(X 4 ⋀ X 3)
2. ¬p ⋀ r ⋀¬s
1,2
3. ¬p
2,2
4. r
3,2
5. ¬s
1,1
6. ¬r
2,1
7. r  ¬s
Datos
X1: ¬q ⋁ r  p ⋀ s Y1: œxœyœz (Rxy ⋀ Rxz  Ryz)
X 2: q ¬ (r ⋁ s) Y2: œx (∃yRxy  Px ⋁ Qx)
X 3: ¬ (p ⋁ q ⋁ s) Y3: ∃x(Rx f(x)  Px)
X 4: (r  s) ⋁ (r ⋀ ¬s) Y4: œxœy (Rf(x)x  (Px ⋀ x ≠ y))
I1: P1 = {1,3} Q1 = {0,1,2,3} R1 = {(0,2),(1,3),(2,2),(3,3)} f1 = {(0,0),(1,1),(2,1),(3,2),(4,1)}

I2: P2 = {0,1} Q2 = {1,3} R2 = {(0,0),(0,1),(1,2),(2,3),(4,3)} f2 = {(0,0),(1,2),(2,3),(3,4),(4,3)}
El universo es U = {0,1,2,3,4}. Las fórmulas lógicas se suponen interpretadas sobre U. R1 y R2 son relaciones en U. El
dominio y el rango de f1 y f2 es U. Observe que las funciones se han especificado como relaciones; por ejemplo, como
(2,1) pertenece a f1, resulta que f1(2) = 1.
p q r s ¬p ¬q ¬r ¬s ¬q⋁r p⋀s X1 r ⋁ s ¬(r⋁s) X2 ¬ X2 X3 rs r⋀¬s X4 r ⋁ s (r⋁s)¬q ¬(X1 ⋀ X2 ¬X3)

0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0
0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0
0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 1 0
0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0
0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0
0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0
0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0
0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0
1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0
1 0 0 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 1 0
1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0
1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 0
1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0
1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0
1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0
1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0
1. I: p = r = s = 0, q = 1 NO satisface: X3
2. Es equivalente a X 2: ( r ⋁ s)  ¬ q
3. Es insatisfacible: {X 1, X 2, X 3}
4. Es consecuencia: X 1, X 3  ¬X 2
5. Es insatisfacible: ¬ (X 1 ⋀ X 2  ¬X 3)
Y1: œxœyœz (Rxy ⋀ Rxz  Ryz)
Y2: œx (∃yRxy  Px ⋁ Qx)
Y3: ∃x(Rx f(x)  Px)
Y4: œxœy (Rf(x)x  (Px ⋀ x ≠ y))
I1: P1 = {1,3} Q1 = {0,1,2,3} R1 = {(0,2),(1,3),(2,2),(3,3)} f1 = {(0,0),(1,1),(2,1),(3,2),(4,1)}

I2: P2 = {0,1} Q2 = {1,3} R2 = {(0,0),(0,1),(1,2),(2,3),(4,3)} f2 = {(0,0),(1,2),(2,3),(3,4),(4,3)}
El universo es U = {0,1,2,3,4}. Las fórmulas lógicas se suponen interpretadas sobre U. R1 y R2 son relaciones
en U. El dominio y el rango de f1 y f2 es U. Observe que las funciones se han especificado como relaciones;
por ejemplo, como (2,1) pertenece a f1, resulta que f1(2) = 1.
6. Y4: œxœy (Rf(x)x  (Px ⋀ x ≠ y)) es equivalente a:
œxœy (Px ⋁ x = y  Rf(x)x)
U œxœyœz (Rxy ⋀ Rxz  Ryz) U œx (∃yRxy  Px ⋁ Qx)

0 R02 ⋀ R02  R22 V⋀VV V 0 R02  P0 ⋁ Q0 VF⋁V V
1 R13 ⋀ R13  R33 V⋀VV V 1 R13  P1 ⋁ Q1 VV⋁V V
2 R22 ⋀ R22  R22 V⋀VV V 2 R22  P2 ⋁ Q2 VF⋁V V
3 R33 ⋀ R33  R33 V⋀VV V 3 R33  P3 ⋁ Q3 VV⋁V V
4 R44 ⋀ R44  R44 F⋀FF V 4 R44  P4 ⋁ Q4 FF⋁F V
U ∃x(Rxf(x)  Px) U œxœy (Rf(x)x  (Px ⋀ x ≠ y))

0 R01  P0 FF V 0 R10  P0 ⋀ 0 ≠ 1 F  (F⋀V) V
1 R12  P1 FV V
1 R21  P1 ⋀ 1 ≠ 2 F  (V⋀V) V
2 R21  P2 FF V
3 R32  P3 FV V 2 R12  P2 ⋀ 2 ≠ 1 F  (F⋀V) V
4 FF V 3 R23  P3 ⋀ 3 ≠ 2 F  (V⋀V) V
4 R34  P4 ⋀ 4 ≠ 3 F  (F⋀V) V
9. La interpretación I2 satisface: a Y3 pero no Y4

I2: P2 = {0,1} Q2 = {1,3} R2 = {(0,0),(0,1),(1,2),(2,3),(4,3)} f2 = {(0,0),(1,2),(2,3),(3,4),(4,3)}
U œxœy (Rf(x)x  (Px ⋀ x ≠ y))

U ∃x(Rxf(x)  Px)
0 R00  P0 VV V 0 R00  P0 ⋀ 0 = 0 V  (V⋀F) F
1 R12  P1 VV V 1 R21  P1 ⋀ 1 ≠ 2 F  (V⋀V) V
2 R23  P2 VF F
2 R32  P2 ⋀ 2 ≠ 3 F  (F⋀V) V
3 R34  P3 FF V
4 R43  P4 VV V 3 R43  P3 ⋀ 3 ≠ 4 V  (F⋀V) F
4 R34  P4 ⋀ 4 ≠ 3 F  (F⋀V) V
I1: P1 = {1,3} Q1 = {0,1,2,3} R1 = {(0,2),(1,3),(2,2),(3,3)} f1 = {(0,0),(1,1),(2,1),(3,2),(4,1)}
I2: P2 = {0,1} Q2 = {1,3} R2 = {(0,0),(0,1),(1,2),(2,3),(4,3)} f2 = {(0,0),(1,2),(2,3),(3,4),(4,3)}
El universo es U = {0,1,2,3,4}. Las fórmulas lógicas se suponen interpretadas sobre U. R1 y R2 son relaciones
en U. El dominio y el rango de f1 y f2 es U. Observe que las funciones se han especificado como relaciones;
por ejemplo, como (2,1) pertenece a f1, resulta que f1(2) = 1.
10. Sean A y B dos conjuntos cualesquiera. ¿A qué es igual ∼ A ⋃ ∼B ?: ∼A ⋂ B.

11. Sea A el dominio de la relación R1 y sea B el rango de la relación R2. El producto cartesiano (AxB) consta
de un número de elementos (que son pares ordenados) igual a: 16.
A = {0,1,2,3} y B = {0,1,2,3};
AxB = {(0,0),(0,1),(0,2),(0,3),(1,0), (1,1),(1,2),(1,3), (2,0),(2,1),(2,2),(2,3), (3,0),(3,1),(3,2),(3,3)}
12. La relación inversa de (R1 ⋂ R2) consta de un número de elementos, de pares ordenados, igual a: 0.
13. Dadas las funciones f1 y f2 definidas en la sección datos: f2 no es inyectiva.
f2
0 0
1 1
2 2
3 3
4 4
14. ¿Cuantas funciones inyectivas distintas se pueden definir de P1 en Q1? 12.
1 0 1 0 1 0
3 1 3 1 3 1
2 2 2
3 3 3
1 0
3 1
2
3
1 0
3 1
2
3
1 0
3 1
2
3
15. El cierre simétrico de (R1 ⋃ R2) añadiría a (R1 ⋃ R2) nuevos pares distintos, hasta un total de: 6.
El cierre simétrico de (R1 ⋃ R2) es {(2,0),(3,1),(1,0),(2,1) ,(3,2),(3,4)}
16. Partiendo de la relación R2 \ {(0,0)}, su cierre transitivo es un orden parcial estricto.
Un orden parcial estricto es No Reflexivo, Antisimétrico y Transitivo.
R2 = {(0,1),(1,2),(2,3),(4,3)}, el cierre transitivo tiene los siguientes pares (0,2),(0,3),(1,3).
0 2
1
3 4
17. Considere un árbol libre W, con m aristas. W tiene m+1 nodos.
18. El digrafo sencillo definido por (R1 ⋃ R2)\ {(0,0),(2,2),(3,3)}. Es acíclico.
(R1 ⋃ R2)\ {(0,0),(2,2),(3,3)} = {(0,2),(1,3),(0,1),(1,2) ,(2,3),(4,3)}
0 2
1
3 4
Desarrolle un tableau, que confirme la respuesta que marcó en la pregunta 3:
Es insatisfacible: {X 1, X 2, X 3}
X1: ¬q ⋁ r  p ⋀ s ≡ (¬q ⋁ r  p ⋀ s) ⋀ (p ⋀ s  ¬q ⋁ r)
X 2: q  ¬ (r ⋁ s)
X 3: ¬ (p ⋁ q ⋁ s)
1. (¬q ⋁ r  p ⋀ s) ⋀ (p ⋀ s  ¬q ⋁ r)
2. q  ¬ (r ⋁ s)
3. ¬p ⋀¬q ⋀¬s
1,1
4. (¬q ⋁ r  p ⋀ s)
2,1
5. (p ⋀ s  ¬q ⋁ r)
1,3
6. ¬p
2,3
7. ¬q
3,3
8. ¬s
β1,4 β2,4
9. q ⋀¬r 11. p ⋀ s
1,9 1,11
10. q 12. p
2,9 2,11
8. ¬r 8. s
Datos
X1: ¬((q ⋁ r)  (p ⋁¬p)) Y1: œxœy Rxy  ¬∃zQz
X 2: (q  q ⋁ r) ⋀ (q  s) Y2: ∃x (Qx  Mx)
X 3: p ⋀ (r  s) Y3: œxœy (x = y  Qx ⋀ Mf(y))
X 4: s ⋁ ¬p
p q r s ¬p ¬q ¬r ¬s q⋁r p ⋁ ¬p X1 q  q ⋁ r q  s X2 rs X3 X4 (X2 ⋀X3 ) X4

0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1
0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1
0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 1 1
0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1
0 1 0 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1
0 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1
0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 1
0 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 1 1
1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1
1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1
1 0 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1
1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1
1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 1
1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1
1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1
1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1
1. Es una tautología: (X2 ⋀ X3 )  X4

2. X4 es consecuencia lógica de: X2 ⋀ X3
3. La interpretación p = 1, q = 1, r = 1, s = 1 satisface: {X 3, X 4}
4. Es equivalente a X 1: (q ⋁ r) ⋀¬(p ⋁¬p)
5. Sean φ1, φ2 y Ψ cualesquiera tres fórmulas de lógica proposicional. Si: ¬ (φ1 ⋀ φ2 ⋀ Ψ) es tautología,
¿cuál de las siguientes afirmaciones es cierta?
a) { φ1, φ2 }  Ψ
b) { φ1, Ψ }  ¬φ2
¬ (φ1 ⋀ φ2 ⋀ Ψ)
¬ (φ1 ⋀ φ2) ⋁ ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ Ψ)  ¬φ2
Y1: œxœy Rxy  ¬∃zQz
Y2: ∃x (Qx  Mx)
Y3: œxœy (x = y  Qx ⋀ M f (y))
6. ¿Qué interpretación sobre el universo U = {1,2} satisface Y3 ?:
a) Q = {1}, M = {1}, f(1) = 1, f(2) = 2
œxœy( x = y  Qx ⋀ M f (y))
1 1=1  Q1 ⋀ M1 VV V
2 F
b) Q = {1,2}, M = {2}, f(1) = 2, f(2) = 2
1 1≠2  Q1 ⋀ M2 FV V
2 2=2  Q2 ⋀ M2 VV V
c) Q = {1,2}, M = {2}, f(1) = 2, f(2) = 1
1 1=1  Q1 ⋀ M1 VF F
2 2≠1  Q2 ⋀ M1 FV V
7. ¿Qué interpretación sobre el universo U = {1,2} NO satisface Y1 : œxœy Rxy  ¬∃zQz ?:
a) R = {(1,1),(2,2)}, Q = {1}
b) R = {(1,1),(1,2)}, Q = ∅
c) R = {(1,1),(1,2),(2,1) (2,2)}, Q = {2}
8. Es equivalente a Y2: ∃x (Qx  Mx):
a) ∃z ((Qz ⋀ Mz) ⋁ (¬Qz ⋀ ¬Mz))

b) ∃z ((Qz ⋀ Mz) ⋀ (¬Qz ⋀ ¬Mz))
c) ∃z ((Qz ⋁ Mz) ⋁ (¬Qz ⋁ ¬Mz))
9. Sea P cualquier predicado diádico (de aridad 2) en lógica de predicados. ¿Cuál de las siguientes fórmulas es
equivalente a ¬œx∃yPxy?
a) ∃x∃y¬Pxy
b) œxœy¬Pxy
c) ∃x¬∃yPxy
10. ¿Tienen los conjuntos ℕ y el conjunto potencia de ℕ la misma cardinalidad?
a) Sí.
b) No.
c) Dado que ambos conjuntos son infinitos, no tiene sentido hablar de su cardinalidad.
11. ¿Es posible establecer una biyección entre el conjunto ℕ y el conjunto potencia de ℕ?
a) Sí
b) No
c) Dado que ambos conjuntos son infinitos, no tiene sentido hablar de establecer una biyección entre
ambos.
a) {∅}∪{{1},{2}}∪{A}
b) ∅∪{{1},{2}}∪A
c) ∅∪{{1},{2}}∪{A}
13. Sea A un conjunto finito cualquiera, y sea n  A . ¿Cuál es la cardinalidad el conjunto potencia de A?
a) nn
b) n2
c) 2n
14. ¿Cuál de las siguientes funciones definidas de ℤ en ℤ es inyectiva?
a) f(z) = z+5
b) f(z) = z2
c) f(z) = z4+4
15. Sean A y B y dos conjuntos finitos tales que A  B  82 , A  48 y A  B  12 . ¿Cuál es el cardinal de

B?
a) 34
b) 46
c) 22
A B  A  B  A B
82  48  B  12
B  46
16. Sean a y b dos nodos cualesquiera de un dígrafo G. Sea d la distancia de a al nodo b. ¿Cuál de las
siguientes afirmaciones es cierta?
a) d es un número par.
b) d ൒1, pero d no puede ser infinito (∞)
c) d podría ser infinito (∞)
17. La longitud de un camino e en un grafo ponderado G es igual a:
a) No se puede calcular la longitud del camino sin conocer los pesos de las aristas de G.
b) El número de aristas de e.
c) El número de nodos distintos que aparecen en e.
18. El grado total de un nodo en un grafo dirigido…
a) Es la suma de sus grados de entrada y de salida.

b) Siempre es un número par.
c) Es el número de nodos que se pueden alcanzar desde él.
Sean las siguientes fórmulas
Z1: p  (q ⋀ r); Z 2: ((s ⋁ t)  o) ⋀ t; Z 3: (¬r ⋀ p) ⋁ ¬o
Demuestre mediante un tableau que es correcto el siguiente argumento: {Z 2, Z 3}  ¬Z 1
1. ((s ⋁ t)  o) ⋀ t
2. (¬r ⋀ p) ⋁ ¬o
3. p  (q ⋀ r)
1,1
4. (s ⋁ t)  o
2,1
5. t
β1,5 β2,5
6. (s ⋁ t) 7. o
1,6
β1,2 β2,2
8.¬s 10. ¬r ⋀ p 11. ¬ o
2,6 1,10
9. ¬t 12.¬r
2,10
13. p
β1,3 β2,3
14. ¬ p 15. q ⋀ r
1,15
16. q
2,15
17. r
Lógica y Estructuras Discretas Septiembre 2013, Modelo B
Datos
X1: ¬((q ⋁ r)  (p ⋁¬p)) Y1: œxœy Rxy  ¬∃zQz
X 2: (q  q ⋁ r) ⋀ (q  s) Y2: ∃x (Qx  Mx)
X 3: p ⋀ (r  s) Y3: œxœy (x = y  Qx ⋀ Mf(y))
X 4: s ⋁ ¬p
p q r s ¬p ¬q ¬r ¬s q⋁r p ⋁ ¬p X1 q  q ⋁ r q  s X2 rs X3 X4 (X2 ⋀X3 ) X4

0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1
0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1
0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 1 1
0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1
0 1 0 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1
0 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1
0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 1
0 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 1 1
1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1
1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1
1 0 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1
1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1
1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 1
1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1
1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1
1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1
1. Es un conjunto insatisfacible: {X1, X2}

2. La interpretación p = 1, q = 1, r = 1, s = 1 satisface: {X3, X4}
3. X4 es consecuencia lógica de: X2 ⋀ X3
4. Es una tautología: (X2 ⋀ X3 )  X4
5. Sean φ1, φ2 y Ψ cualesquiera tres fórmulas de lógica proposicional. Si: ¬ (φ 1 ⋀ φ 2 ⋀ Ψ) es tautología,
¿cuál de las siguientes afirmaciones es cierta?
a) { φ1, φ2 }  Ψ
b) { φ1, Ψ }  ¬φ2
¬ (φ1 ⋀ φ2 ⋀ Ψ)
¬ (φ1 ⋀ φ2) ⋁ ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ φ2)  ¬Ψ
(φ1 ⋀ Ψ)  ¬φ2
Y1: œxœy Rxy  ¬∃zQz
Y2: ∃x (Qx  Mx)
Y3: œxœy (x = y  Qx ⋀ M f (y))
6. Es equivalente a Y2: ∃x (Qx  Mx):
a) ∃z ((Qz ⋀ Mz) ⋁ (¬Qz ⋀ ¬Mz))

b) ∃z ((Qz ⋀ Mz) ⋀ (¬Qz ⋀ ¬Mz))
c) ∃z ((Qz ⋁ Mz) ⋁ (¬Qz ⋁ ¬Mz))
7. ¿Qué interpretación sobre el universo U = {1,2} satisface Y3 ?:
a) Q = {1}, M = {1}, f(1) = 1, f(2) = 2
1 1=1  Q1 ⋀ M1 VV V
2 F
b) Q = {1,2}, M = {2}, f(1) = 2, f(2) = 2
1 1≠2  Q1 ⋀ M2 FV V
2 2=2  Q2 ⋀ M2 VV V
c) Q = {1,2}, M = {2}, f(1) = 2, f(2) = 1
1 1=1  Q1 ⋀ M1 VF F
2 2≠1  Q2 ⋀ M1 FV V
8. ¿Qué interpretación sobre el universo U = {1,2} NO satisface Y1 : œxœy Rxy  ¬∃zQz ?:
a) R = {(1,1),(2,2)}, Q = {1}
b) R = {(1,1),(1,2)}, Q = ∅
c) R = {(1,1),(1,2),(2,1) (2,2)}, Q = {2}
9. Sea P cualquier predicado diádico (de aridad 2) en lógica de predicados. ¿Cuál de las siguientes fórmulas es
equivalente a ¬œx∃yPxy?
a) ∃x∃y¬Pxy
b) œxœy¬Pxy
c) ∃x¬∃yPxy
10. ¿Es posible establecer una biyección entre el conjunto ℕ y el conjunto potencia de ℕ?
a) Sí
b) No
c) Dado que ambos conjuntos son infinitos, no tiene sentido hablar de establecer una biyección entre
ambos.
11. ¿Cuál de las siguientes funciones definidas de ℤ en ℤ es inyectiva?

a) f(z) = z+5
b) f(z) = z2
c) f(z) = z4+4
12. ¿Cuál de las siguientes relaciones es una función de X = {a,b,c} a Y = {1,2,3}?

a) {(a,1),(b,2),(a,3)}
b) {(b,1),(c,2),(b,3),(a,2)}
c) {(c,1),(b,1),(a,1)}
equivalente A ⋂ ∼A?
a) E
b) A ⋂∼E
c) A ⋂∼∅
14. Sea A un conjunto finito cualquiera, y sea n  A . ¿Cuál es la cardinalidad el conjunto potencia de A?
a) nn
b) n2
c) 2n
a) 6⋅3
b) 63
c) (6⋅5⋅4)/(3⋅2)
n n! 6! 65 4
C ( n, r )      
 r  r ! (n  r )! 3! (6  3)! 3 2
16.¿Cómo se denomina un camino en un digrafo en el que todos los nodos son distintos?
a) Ciclo
b) Camino sencillo
c) Camino elemental
17. Sea G un grafo dirigido sencillo sin bucles que tiene n nodos. ¿Cuál es el máximo valor que puede tomar
el grado total de un nodo de G?
a) n – 1.
b) 2n – 2.
c) 2n.
18. Si para todo par de nodos x e y de un grafo G se cumple que x es alcanzable desde y entonces se dice que
G es…
a) Un árbol.
b) Conexo.
c) Fuertemente conexo.
Pregunta de desarrollo Septiembre 2013 B
Sean las siguientes fórmulas
Z 1: (¬r ⋀ p) ⋁ ¬o; Z2: p  (q ⋀ r); Z 3: ((s ⋁ t)  o) ⋀ t
Demuestre mediante un tableau que es correcto el siguiente argumento: {Z 1, Z 2}  ¬Z 3
1. (¬r ⋀ p) ⋁ ¬o
2. p  (q ⋀ r)
3. ((s ⋁ t)  o) ⋀ t
1,3
4. (s ⋁ t)  o
2,3
5. t
β1,5 β2,5
6. (s ⋁ t) 7. o
1,6
β1,1 β2,1
8.¬s 10. ¬r ⋀ p 11. ¬ o
2,6 1,10
9. ¬t 12.¬r
2,10
13. p
β1,2 β2,2
14. ¬ p 15. q ⋀ r
1,15
16. q
2,15
17. r
X1: (p  (q  r))   s
X 2: (p  r)  s
X 3: q « (s  r)
X 4: p   (q  r)
I1: Universo U = {1,2} C = {1,2} D = {1} R1 = {(2,1),(2,2)} f (1) = 1, f (2) = 1

I2: Universo U = {1,2} C = {1,2} D = {1} R1 = {(2,1)} f (1) = 1, f (2) = 1
p q r s ¬s q  r p  (q  r)) X1 X4 p  r X2 X4 s  r X3  (q  r) X4  (p  (q  r) X2  ¬X 4

0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1
0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1
0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 1
0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1
0 1 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 1
0 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1
0 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1
0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1
1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 1
1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0
1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 1
1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1
1 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1
1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1
1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1
1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1
1. p = 1, q = 0, r = 0, s = 0 satisface a:
a) {X1, X2, X4}
b) {X1, X2, X3}
c) {X1, X3, X4}
a) p  (q  r)
b) (q  r) p
c) ¬ (p  (q  r))
3. Es insatisfacible
a) {X2, X4}
b) {X1, X4}
c) {X1, X3}
4. Es consecuencia correcta:
a) X 2  ¬X 4
b) X 1  ¬X 4
c) X 3  ¬X 1
a) X2  ¬X 4
b) (p q) « (¬q¬ p)
c) X4  ¬X 1
Y1: œx∃y (Cx  Df(y)   (x = y)) Y1: œx∃y (Cx  Df(y)   (x = y))
Y2: œx (Dx Cx) Y2: œx (Dx Cx)
Y3: œxœy (Rxy  Cx) Y3: œxœy (Rxy Cy)
Y4: œxœy (Cy Rxy) Y4: œxœy (Rxy Cy)

6. La interpretación I1 satisface:
a) Y1 pero no Y2
b) Y2 pero no Y3
c) Y1 e Y2
a) Y2 pero no Y3
b) Y3 e Y4
c) Y3 pero no Y4
8. Es tautología:
a) Y3 « ¬Y4
b) Y3 « Y4
c) ¬Y3 « Y4
9. Es consecuencia:
a) Y3  ¬Y4
b) Y3  Y4
c) Y4  ¬Y3
equivalente A ⋂∼A?
a) A ⋂∼∅
b) E
c) A ⋂∼E
equivalente A ⋂ E?
a) E
b) A ⋂∼∅
c) ∅
12. ¿Cuál de las siguientes propiedades cumple toda relación que es orden estricto?
a) Transitiva.
b) Simétrica.
c) Reflexiva.
13. ¿Cuál de las siguientes propiedades cumple toda relación que es orden débil?
a) Transitiva.
b) Irreflexiva.
c) Simétrica.
14. ¿Es posible establecer una biyección entre el conjunto y el conjunto potencia de ?
a) Dado que ambos son conjuntos infinitos, no tiene sentido hablar de establecer una biyección entre
ambos.
b) Si.
c) No.
15. Sean A, B y C tres conjuntos finitos tales que |A| = 81, |B| = 86, |C| = 84, |A⋂B| = 81, |A⋂C| = 49,
|B⋂C|=54 y |A⋃B⋃C| = 116. ¿Cuál es el cardinal de |A⋂B⋂C|?
∣S1 ∪ S2 ∪ S3∣ = ∣S1∣ + ∣S2∣ + ∣S3∣ − ∣S1 ∩ S2∣ − ∣S1 ∩ S3∣ − ∣S2 ∩ S3∣ + ∣S1 ∩ S2 ∩ S3∣.
116 = 81 + 86 + 84 – 81 – 49 – 54 + |A⋂B⋂C|
|A⋂B⋂C| = 49.
16. Sea el grafo G de la figura. ¿Cuál de las siguientes secuencias de nodos es un recorrido en anchura en G?
a) (a,b,c,d,e,f)
b) (a,c,e,b,d,f)
c) (a,c,e,d,b,f)
17. Sea el grafo G de la figura. ¿Cuál es la distancia del nodo a al nodo b?

a) 8
b) 2
c) 6
18. Sea G un grafo no dirigido conexo con n nodos ¿Cuál es el número de aristas de un árbol de expansión
para G?
a) n2.
b) No lo podemos saber sólo con los datos que nos da la pregunta.
c) n − 1.
œxœy(Rxy  Cx)  œxœy(Rxy  Cx)
1. œxœy(Rxy  Cx)
2. œxœy(Rxy  Cx)
δ,2
3. (Rab  Ca)
α1,3
4. Rab
α2,3
5.  Ca
γ,1
6. (Rab  Ca)
β 1,6 β 2,6
7.  Rab 8. Ca
Lógica y Estructuras Discretas 1ª Semana Febrero 2014, Modelo B
X1: (p  (q  r))   s
X 2: (p  r)  s
X 3: q « (s  r)
X 4: p   (q  r)

p q r s ¬s q  r p  (q  r)) X1 X4 p  r X2 X4 s  r X3  (q  r) X4  (p  (q  r) X2  ¬X 4

0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1
0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1
0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 1
0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1
0 1 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 1
0 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1
0 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1
0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1
1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 1
1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0
1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 1
1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1
1 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1
1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1
1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1
1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1
1. p = 1, q = 0, r = 0, s = 0 satisface a:
a) {X1, X2, X4}
b) {X1, X2, X3}
c) {X1, X3, X4}
a) p  (q  r)
b) ¬ (p  (q  r))
c) (q  r) p
3. Es insatisfacible:
a) {X2, X4}
b) {X1, X3}
c) {X1, X4}
4. Es consecuencia correcta:
a) X 2  ¬X 4
b) X 1  ¬X 4
c) X 3  ¬X 1
a) (p q) « (¬q¬ p)
b) X2  ¬X 4
c) X4  ¬X 1
Y1: œx∃y (Cx  Df(y)   (x = y)) Y1: œx∃y (Cx  Df(y)   (x = y))
Y2: œx (Dx Cx) Y2: œx (Dx Cx)
Y3: œxœy (Rxy  Cx) Y3: œxœy (Rxy Cy)
Y4: œxœy (Cy Rxy) Y4: œxœy (Rxy Cy)

a) Y1 e Y2
b) Y1 pero no Y2
c) Y2 pero no Y3
a) Y2 pero no Y3
b) Y3 e Y4
c) Y3 pero no Y4
8. Es tautología:
a) Y3 « ¬Y4
b) Y3 « Y4
c) ¬Y3 « Y4
9. Es consecuencia:
a) Y3  Y4
b) Y3  ¬Y4
c) Y4  ¬Y3
equivalente A ⋃∼A?
a) ∅
b) A ⋂∼∅
c) E
a) ∅∪{{1},{2}}∪A
b) {∅}∪{{1},{2}}∪{A}
c) ∅∪{{1},{2}}∪{A}
12. Sean A y B dos conjuntos finitos cualesquiera, tales que |A| = 25 y |B| = 18. ¿Cuál es el máximo número
de tuplas que puede tener una relación definida en A y B?
a) 25! · 18!.
b) 25 · 18.
c) 1825.
13. Sea el conjunto X = {a,b,c} y sea la relación R sobre X dada por R ={(a,b),(b,a),(b,c),(c,b)}. ¿Qué
propiedad verifica R ⋃ IX?
a) Antisimétrica.
b) Transitiva.
c) Reflexiva.
a) {(a,1),(c,2),(c,3)}
b) {(b,1),(c,2),(a,1)}
c) {(c,2),(a,3),(b,1)}
15. Sean A, B y C tres conjuntos finitos tales que |A| = 69, |B| = 80, |C| = 87, |A⋂B| = 58, |A⋂C| = 37,
|B⋂C|=46 y |A⋃B⋃C| = 130. ¿Cuál es el cardinal de |A⋂B⋂C|?
∣S1 ∪ S2 ∪ S3∣ = ∣S1∣ + ∣S2∣ + ∣S3∣ − ∣S1 ∩ S2∣ − ∣S1 ∩ S3∣ − ∣S2 ∩ S3∣ + ∣S1 ∩ S2 ∩ S3∣.
130 = 69 + 80 + 87 – 58 – 37 – 46 + |A∩B∩C|
|A⋂B⋂C| = 35.
16. Sea el grafo G de la figura. ¿Cuál es el grado de entrada del nodo c?

a) 4
b) 1
c) 2
17.¿Cómo se denomina un camino en un digrafo en el que todos los nodos son distintos?
a) Ciclo
b) Camino sencillo
c) Camino elemental
18. Sea G un grafo dirigido sencillo sin bucles que tiene 14 nodos. ¿Cuál es el máximo número de arcos que
tiene G?
a) 182. n·(n − 1)
b) 13.
c) 196.
Pregunta de desarrollo Febrero 2014 B
œxœy(Rxy  Cx)  œxœy(Rxy  Cx)
1. œxœy(Rxy  Cx)
2. œxœy(Rxy  Cx)
δ,2
3. (Rab  Ca)
α1,3
4. Rab
α2,3
5.  Ca
γ,1
6. (Rab  Ca)
β 1,6 β 2,6
7.  Rab 8. Ca

Examenes de Logica y Estructuras Discretas Soluciones PDF

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Examenes de Logica y Estructuras Discretas Soluciones PDF

Cargado por

Copyright:

Formatos disponibles

Lógica y Estructuras Discretas 1ª Semana Febrero 2011, Modelo A

1. Sea A = {a,b,c} y P(A) el conjunto potencia de A:

3. La relación R {(1,2),(3,2)} sobre E = {1,2,3} es:

5. Una relación R de equivalencia no es:

p q r qr X1 p⋁q X2 p⋀q X3 r⋁q X4 X1X2 X2X4

6. p =1, q = 0, r =0 hace verdaderas a:

8. X1  X2: “de X1 no es consecuencia X2”, como demuestra:

10. La forma normal conjuntiva de X2:

11. En toda interpretación que satisface tanto a Y1 como a Y2:

Y1:œx (Px  Qx)

La Y1 puede leerse “Todos los P son Q”.

∃x (Rx  Qx) = œx  (Rx  Qx) = œx  ( Rx  Qx) = œx (Rx Qx)

La Y2 sólo es verdad cuando Q es vacío y R es todo el universo.

12. Y3:œx (∃ySxy Px) es verdadera para la interpretación: E={1,2,3}, P={1,2}

a) No es correcta. Para x = 2, es verdad Px pero es falso ›y Sxy.

Para x = 1 es verdad P1 → ›y S1y, para y = 1,

c) No es correcta. Para x = 1, es verdad Px pero es falso ›y Sxy.

14 Y4:œx∃y((Sxy  Syx)  x ≠ y) es verdadera para la interpretación: E  1, 2,3 , con

Hay que mirar en todo el universo, por tanto:

x = 1; existe un y que no es igual a x y que es (1,y) o (y,1)

a) no porque cuando x = 1, y = 1 y necesariamente tiene que ser distinto de 1.

15. Señale la expresión válida (siempre verdadera):

La primera es verdadera, ya que si el antecedente es falso, siempre es verdadera, y si el antecedente es

17. La longitud de un camino, en un grafo, es:

18. Un grafo no dirigido es conexo si:

2. Notamos por P(A) el conjunto potencia de A. Una relación de A en B es:

Si A y B son dos conjuntos cualesquiera, R es una relación de A en B sí y sólo sí R es un subconjunto de AxB.

3. Toda función de A en B es:

4. Sea f una función de A = {1,2} en B = {a,b}, tal que f(1) = a, f(2) = a,

5. Cuantas filas ordenadas distintas de 4 personas se pueden hacer escogiéndolas entre un

p q r ¬p ¬r pq ¬( pq) X1 pr pq X2 ¬X2 X3 ¬p q→¬p X4

8. X1  X2: “de X1 no es consecuencia X2”, como demuestra:

10. No es una contradicción:

11. En toda interpretación que satisface tanto a Y1 como a Y2

12. Y3: ∃x∃y(QySxy), es falsa para la interpretación E = {1,2}, Q = {1,2} y

13. Y3: ∃x∃y(QySxy), es equivalente a

Por un lado tenemos el enunciado:

Y4:œxœy((Sxy  Syx)  x = y), lo podemos reescribir como:

œxœy( (Sxy  Syx)  x = y)

Para a) tenemos: (1,2),(2,1) y no puede ser ya que  (Sxy  Syx). Incorrecta.

16. Un árbol libre:

18. El grado total de un nodo:

X1: (p  q)  ((o  t)  r  s) X1: (p  q)  ((o  t)  r  s)

1. Señale el conjunto satisfacible:

a) { X1, X2, X4}

3. Señale el conjunto insatisfacible:

a) { X1, X2, X3}

a) {Y1, Y2}  Y4

14. ¿Cuál de las funciones es una sobreyección?

16. Sea un dígrafo cualquiera G.¿Cuál de las siguientes afirmaciones es cierta?

a) { X1, X2, X4}, es insatisfacible.

16.  p 18. (o  t)

c) { X1, X3, X4} es satisfacible

a) { X1, X2, X3}

α1,6 β 1,1 β 2,1

Y2:  (œx∃ySxy) 1.  (œx∃ySxy)

7. ∃y(Pay  Pya) 12. ∃y(Pay  Pya)

9. Pab 14. Pab

10. Pba 15. Pba

3. Señale el conjunto satisfacible:

a) { X1, X2, X4}

a) {Y3, Y4}  Y4