Modelo C. Puntuación: este examen se puntúa sobre 10 puntos: 9'1 aporta el test y 0'9 el desarrollo.

Cada pregunta del test admite una y sólo una respuesta correcta. Cada una de las 20 preguntas aporta
+0'455 si está bien solucionada y resta la mitad (0'2275) si la marca es errónea. Las preguntas en blanco
no restan. El desarrollo sólo se corrige si se han obtenido al menos 7'5 de los 9'1 puntos del test.

X1 : (p → (s ∧ q)) → ¬r Y1 : ∀x∃y(M xy → (¬Syx ∧ P y))

X2
X3
:
:
(p ∧ q ∧ r) → (¬p ∨ s)
(p → (q → ¬s))
Datos Y2
Y3
:
:
∀x∃y((¬(x = y) ∧ P y) → Syx)
∃x∃y(M xy ∧ ¬Syx)
X4 : (¬p ∧ r) ∨ ¬((s ∧ r) → ¬q) Y4 : ∀x∀y(M xy ∧ (P y → Syx))

Con universo U = {1, 2} en ambos casos, considere las siguientes dos interpretaciones:
I1 : P = {2}, M = {(1, 1), (1, 2), (2, 1), (2, 2)}, S = {(2, 1), (2, 2)}
I2 : P = {1, 2}, M = {(1, 1)}, S = {(1, 2), (2, 1), (2, 2)}

Test
1. I : p = q = r = s = 0 satisface:
(a) {X1 , X2 , X3 } ←-
(b) {X1 , X2 , X4 }
(c) {X1 , X3 , X4 }
2. Señale el conjunto insatisfacible.
(a) {X1 , X4 } ←-
(b) {X1 , X3 }
(c) {X3 , X2 }
3. X1 es equivalente a:
(a) (p ∧ (¬q → ¬s)) ∨ ¬r
(b) (p ∨ (¬q → ¬s)) ∨ ¬r
(c) (p ∧ (q → ¬s)) ∨ ¬r ←-
4. Señale la consecuencia correcta:
(a) X1 , X3 |= ¬X4 ←-
(b) X2 , X3 |= ¬X1
(c) X2 , X3 |= ¬X4
5. Señale la tautología:
(a) X2 ∧ X3 → ¬X1
(b) X2 ∧ X3 → ¬X4
(c) X1 ∧ X2 → ¬X4 ←-
6. La interpretación I1 satisface
(a) {Y1 , Y2 , Y4 }
(b) {Y1 , Y3 , Y4 }
(c) {Y2 , Y3 , Y4 } ←-
 7. La interpretación I2 satisface:

(a) {Y1 , Y2 , Y3 } ←-
(b) {Y1 , Y2 , Y4 }
(c) {Y1 , Y3 , Y4 }

8. Es equivalente a Y4

(a) (∀x∀yM xy ∧ ∀x(∃yP y → ∀ySyx))

(b) ∀x(∀yM xy ∧ ∀y(P y → Syx)) ←-
(c) (∀x∀yM xy ∧ ∀x(P y → ∀ySyx))

9. Marque el conjunto insatisfacible:

(a) {Y2 , Y4 }
(b) {Y1, Y3 }
(c) {Y1 , Y4 } ←-

10. Marque la consecuencia correcta:

(a) Y3 |= ¬Y1
(b) Y4 |= ¬Y2
(c) Y1 |= ¬Y4 ←-

11. Dado el universo U = {1, 2, ..., 6} y los conjuntos A = {1, 2, 5}, B = {4, 5} y C = {4}, señale la
armación correcta.
(a) C =∼ A\ ∼ B ←-
(b) C = (A ∩ B)∪ ∼ A
(c) C =∼ A ∪ B
12. Señale cuál de las siguientes operaciones sobre conjuntos es equivalente a ∼ A \ B
(a) A ∪ B
(b) ∼ A∩ ∼ B ←-
(c) A∩ ∼ B
13. Dada la relación R en X = {1, 2, 3, 4, 5} tal que R = {(1, 1), (1, 5), (4, 1)}, indique cuál es su cierre
de equivalencia R′
(a) R′ = {(1, 1), (1, 4), (1, 5), (2, 2), (3, 3), (4, 1), (4, 4), (4, 5), (5, 1), (5, 5)} ←-1
(b) R′ = {(1, 1), (1, 4), (1, 5), (4, 1), (4, 4), (4, 5), (5, 5)}
(c) R′ = {(1, 1), (1, 4), (1, 5), (2, 2), (3, 3), (4, 1), (4, 4), (4, 5), (5, 5)}

1 En esta respuesta correcta se omitió por error el par (5,4). Se decidió dar por correcta la pregunta a todos
 1. Dada la relación R en X = {1, 2, 3, 4, 5} tal que R = {(1, 1), (3, 3), (4, 4)}, indique qué propiedades
cumple:
(a) Transitiva y reexiva
(b) Transitiva e irreexiva
(c) Transitiva, simétrica y antisimétrica ←-
2. Dadas las relaciones en X = {1, 2, 3, 4, 5}, R = {(3, 5), (5, 3)} y IX = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)},
¾cuál de las siguientes operaciones sobre R y IX resulta en una función biyectiva?
(a) R ∪ IX \ {(1, 1), (2, 2), (4, 4)}
(b) R ∪ IX \ {(3, 3), (5, 5)} ←-
(c) R ∪ IX \ {(5, 5)}
3. Considere una función f : A → B que es inyectiva y una función g : B → C que es inyectiva. En
este caso, la función compuesta (g ◦ f ) = h : A → C
(a) es sobreyectiva
(b) es inyectiva ←-
(c) es biyectiva
4. Un equipo de waterpolo compuesto por 12 personas quiere decidir qué 7 personas saldrán al campo
de juego al inicio del partido. Para ello necesitan calcular primero todas las posibles alineaciones
iniciales. Teniendo en cuenta que la posición que ocupe cada persona dentro del campo de juego
no es relevante, ¾qué debe calcular el equipo para resolver su problema?
(a) El número de permutaciones sin repetición
(b) El número de combinaciones sin repetición ←-
(c) El número de variaciones sin repetición
5. Dado el grafo no dirigido G = (V, E) con V = {1, 2, 3, 4} y E = {{1, 2}, {1, 3}, {2, 4}}. El subfgrafo
G′ = (V ′ , E ′ ) inducido por los nodos V ′ = {1, 2} tiene por conjunto de aristas:

(a) E ′ = {{1, 2}, {1, 3}}

(b) E ′ = {{1, 2}} ←-
(c) E ′ = {{1, 2}, {1, 3}, {1, 4}}
6. El grafo G = (V, E) con V = {1, 2, 3, 4} es bipartito si:
(a) E = {(1, 2), (2, 3), (3, 4), (4, 1)}
(b) E = {(1, 2), (1, 4), (3, 2), (3, 4)} ←-
(c) E = {(1, 3), (3, 2}, (2, 4), (4, 1)}
7. Dado el grafo no dirigido G = (V, E) con V = {1, 2, 3, 4} y E = {{1, 2}, {1, 3}, {1, 4}}:
(a) [{1, 2}, {1, 3}, {1, 4}] es un camino en G que recorre todos los nodos de G
(b) [{1, 2}, {1, 3}, {1, 4}] es un camino en G cuyo recorrido es (2, 3, 4)
(c) [{1, 2}, {1, 3}, {1, 4}] no es un camino en G ←-

Desarrollo : conrme mediante tableau su respuesta en la pregunta 10.