"Lógica y Estructuras Discretas",

Segunda Semana Febr. 2011, modelo C

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 ∧ q) ∨ ¬r Y1 : ∃x(P x ∧ Qx)
X2 : (p ∨ r) → (p ∨ q) Y2 : ∀x(¬Rx → ¬Qx)
X3 : ¬r ∨ p ∨ q Y3 : ∃x∃y(Qy → Sxy)
X4 : r → (q → ¬p) Y4 : ∀x∀y((Sxy ∧ Syx) → x = y))

Test
1. Complete (A ∩ ∼ B) ⊆ ? b) f no es función
c) f es sobreyectiva
a) ∼ A
b) A ∩ B 5. ¿Cuántas filas (ordenadas, distintas) de 4 per-
sonas se pueden hacer escogiéndolas entre un
c) ∼ B ⇐ conjunto de 4 personas?
2. Notamos por P(A) el conjunto potencia de A. a) 4 × 3
Una relación de A en B es b) 4! ⇐
a) un subconj. de A ∪ B c) 4!/3!
b) un subconj. de A × B ⇐ 6. p = 1, q = 0, r = 0 hace verdaderas
c) un subconj. de P (A) ∪ P (B) a) X1 y X2 ⇐
3. Toda función de A en B es: b) X1 y ¬X3
c) ¬X3 y X4
a) un subconj. de A ∪ B
7. X1 es equivalente a:
b) una relación de A en B ⇐
a) X3
c) un subconj. de P (A) ∪ P (B)
b) X2
4. Sea f una función de A={1,2} en B={a,b}, c) X4 ⇐
tal que f (1) = a, f (2) = a
8. (X1 6|= X2 ): "de X1 no es consecuencia X2 ",
a) no es inyectiva ⇐ como demuestra

1
 a) p = 0, q = 0, r = 0 14. Y4 es verdadera para la interpretación: E =
b) p = 1, q = 0, r = 0 {1, 2, 3}, con
c) p = 0, q = 0, r = 1 ⇐ a) S = {(1, 1), (1, 2), (2, 1)}
9. Es tautología: b) S = {(1, 1), (2, 1)} ⇐
c) S = {(3, 2), (2, 3)}
a) X1 → X2
b) X2 → X3 ⇐ 15. Complete ¬A, B → A |= ?:
c) X4 → X2 a) B
10. No es una contradicción: b) ¬B ⇐
a) X4 ∧ ¬X1 c) A ∧ B
b) X1 ∧ ¬X2 ⇐ 16. Un árbol libre:
c) X2 ∧ ¬X3
a) no es conexo
11. En toda interpretación que satisface tanto Y1 b) no es un grafo
como Y2 :
c) es acíclico ⇐
a) R = ∅
17. Un camino en un digrafo en el que todas sus
b) Q 6= ∅, R = ∅
aristas son distintas se denomina:
c) P ∩ R 6= ∅ ⇐
a) bucle
12. Y3 es falsa para la interpretación: E = {1, 2},
Q = {1, 2} y b) sencillo ⇐
c) elemental
a) S = {(1, 1)}
b) S = {(1, 2)} 18. El grado total de un nodo
c) S = ∅ ⇐ a) es el número de caminos distintos que
parten de él
13. Y3 es equivalente a:
b) el el número de caminos distintos que
a) ∃yQy → ∃xSxy llegan a él
b) ∃yQy → ∃x∃ySxy c) es la suma de sus grados de entrada y de
c) ∀yQy → ∃x∃ySxy ⇐ salida⇐

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

∃xSxx |= ¬∀x∀y(Sxy → ¬Syx)

[1] ∃xSxx premisa

[2] ¬¬∀x∀y(Sxy → ¬Syx) neg. conclus.

[3] ∀x∀y(Sxy → ¬Syx) de [2]

[4] Saa de [1]

[5] ∀y(Say → ¬Sya) de [3]

[6] (Saa → ¬Saa) de [5]

[7] ¬Saa de [6] [8] ¬Saa de [6]