"Lógica y Estructuras Discretas", Primera Semana Febr.

2011, modelo ZZ
Este es un anticipo de modelo de examen, para trabajar sobre él. Salvo este recuadro, la estructura del
examen corresponde a la de este modelo.
Erratas: este documento sustituye, el 23-12-10, a otro anterior donde se detectaron 3 erratas.
Importante: cada pregunta admite exactamente una respuesta correcta

Instrucciones: Responda al test en la plantilla impresa que se le facilita. Si responde al desarrollo, hágalo
en una hoja aparte (con su nombre escrito). Sólo escanee las respuestas del test y la hoja de desarrollo,
si la entrega, no el enunciado..
Si considera que hay erratas, indíquelas en la hoja para desarrollo (y escanéela).

Datos
X1 : (p ∧ ¬r) ∨ (q ∧ ¬p) Y1 : ∀x(Qx → ¬Rx)
X2 : r ∧ (p → q) Y2 : ∃y¬(P y → ¬Qy)
X3 : ¬(p ∧ (r → ¬q)) Y3 : ∀x∀y((Qx ∧ P y) → Sxy)
X4 : (p ∨ q) ∧ (r → (q ∧ ¬p)) Y4 : ∀x∀y((Sxy ∧ x 6= y) → Qx)

1. Sea el conjunto A = {a, b, c}.
P(A), su conjunto potencia:
a) tiene 9 elementos y ción de A en B
(a, a) es uno de ellos
b) tiene 8 elementos y ∅ es
uno de ellos
c) tiene 8 elementos y ∅ no
es uno de ellos
2. Complete ∼ (∼ A ∪ B) ⊆ ?
a) ∼ A ∩ B
b) ∼ A
c) B ∪ ∼ B
3. Si R es relación de equivalen-
cia sobre E = {1, 2, 3}:
a) (1, 1) ⊆ R
b) (1, 1) ∈
/R
c) (1, 1) ∈ R
4. Sea f la función de A =
{1, 3} en B = {2, 4} tal que
f (1) = 2, f (3) = 2
Test
a) f es sobreyectiva
b) f no es realmente fun-
c) la relación inversa de f
no es función de B en A
5. ¿Cuántos conjuntos distintos
de 3 elementos se pueden for-
mar escogiéndo estos de un
total de 5 elementos?
a) 5 × 3
b) 5!
c) (5 × 4 × 3)/(3!)
6. X4 es equivalente a:
a) X1
b) X2
c) X3
7. (X3 6|= X2 ): "de X3 no es con-
secuencia X2 ", como demues-
tra
a) p = 0, q = 0, r = 0
b) p = 0, q = 1, r = 1
c) p = 1, q = 1, r = 1
8. Es tautología:
a) X1 → X2
b) X3 → X2
c) X2 → X3
9. Forma Normal Conjuntiva de
X1 :
a) (p ∨ q) ∧ (¬q ∨ ¬r)
b) (p ∨ q) ∧ (q ∨ ¬r) ∧ (¬p ∨
¬r)
c) (¬p ∨ ¬q) ∧ (¬q ∨ r)
10. En toda interpretación que
satisface tanto Y1 como Y2 :
a) Q = ∅ y P = ∅
b) ∼ R 6= ∅ y P 6= ∅
c) ∼ R 6= ∅ y Q = ∅
11. Y2 es equivalente a:
a) (∃xQx) ∨ P x
 1
b) ¬∀z(Qz → ¬P z)
c) ∃z(Rz ∨ ¬Qz)
12. Y3 es verdadera para la in-
terpretación: E = {1, 2, 3},
P = {1}, Q = {2} y
a) S = {(1, 1), (2, 2)}
2
b) S = {(2, 1), (2, 3)}
c) S = ∅
13. Y4 es verdadera para la in-
terpretación: E = {1, 2, 3},
S = {(1, 1), (2, 3)} con
a) Q = {1, 3}
14. ¬B → C, B → C |= ?: de un árbol de expansión pa-
ra G?
a) B ∧ ¬B
b) C a) n − 1
c) ¬C b) n2
c) nos faltan datos para
15. Sea G un grafo con m nodos.
poder determinarlo
¿Cuál es el valor máximo que
puede alcanzar el grado total 17. Para demostrar, por induc-
de uno cualquiera de sus no- ción matemática, que todos
dos?: los números naturales tienen
a) (n − 1)2 una propiedad P, necesitamos
comprobar que P (0) y
b) 2n
c) n2 a) ∀n(P (s(n)) → P (n)

b) Q = ∅ b) ∀n(P (n) → P (s(n)))

16. Sea G un grafo con m nodos.
c) Q = {1, 2} 3
¿Cuál es el número de arcos c) ∀n(P (n) ∧ ¬P (s(n)))

Pregunta de desarrollo
Demuestre, mediante un tableau, que es correcto el siguiente argumento:

∀x(Sxx → Qx), ∃z¬Qz |= ¬∀ySyy

1
∀z(P z → Qz), en el original con erratas
2
S = {(1, 2), (2, 3)}, en el original con erratas
3
S = {1, 2} en el original con erratas