Documente Academic
Documente Profesional
Documente Cultură
Datos
X1 : p → (q → r) Y1 : ∀x(P x → Qx)
X2 : (p ∨ q) → r Y2 : ¬∃z(Rz → Qz)
X3 : (p ∧ q) → r Y3 : ∀x(¬∃ySxy → ¬P x)
X4 : p → (r ∨ q) Y4 : ∀x∃y((Sxy ∨ Syx) ∧ x 6= y)
Test
1. Sea el conjunto A = {a, b, c}, y P(A) el con- c) antisimétrica ⇐
junto potencia de A:
6. p = 1, q = 0, r = 0 hace verdaderas
a) {a} ∈ A
a) X1 y X2
b) ∅ ∈ A b) X1 y X3 ⇐
c) {∅, {a, c}} ⊂ P (A) ⇐ c) X3 y X4
2. Complete ∼ (A∪ ∼ B) = ? 7. X3 es equivalente a:
a) ∼ A ∩ B ⇐ a) X1 ⇐
b) ∼ A ∪ B b) X2
c) A ∩ B c) X4
3. La relación R = {(1, 2), (3, 2)} sobre E = 8. (X1 6|= X2 ): "de X1 no es consecuencia X2 ",
{1, 2, 3} es: como demuestra
a) p = 0, q = 0, r = 0
a) reflexiva
b) p = 0, q = 1, r = 0 ⇐
b) simétrica
c) p = 1, q = 1, r = 1
c) antisimétrica ⇐
9. Es tautología:
4. Complete B ∪ (A ∩ ∼ A) = ?
a) X2 → X4 ⇐
a) ∼ B b) X4 → X2
b) ∅ c) X1 → X2
c) B ⇐
10. Forma Normal Conjuntiva de X2 :
5. Una relación R de equivalencia no es: a) (p ∨ r) ∧ (q ∨ r)
a) reflexiva b) (p ∨ q) ∧ (r)
b) transitiva c) (¬p ∨ r) ∧ (¬q ∨ r) ⇐
1
11. En toda interpretación que satisface tanto a) ∀x∃yM xy → ∃x∃yM xy ⇐
Y1 como Y2 : b) ∃x∃yM xy → ∃x∀yM xy
a) Q = ∅ y P = ∅ ⇐ c) ∃x∀yM xy → ∀x∃yM xy
b) Q 6= ∅ y P = ∅ 16. Si un grafo contiene aristas paralelas se de-
c) Q 6= ∅ y P 6= ∅ nomina:
12. Y3 es verdadera para la interpretación: E = a) grafo con bucles
{1, 2, 3}, P = {1, 2} y
b) grafo acíclico
a) S = {(1, 1), (1, 2)} c) multigrafo ⇐
b) S = {(1, 1), (2, 3)} ⇐
17. La longitud de un camino, en un grafo, es:
c) S = ∅
a) el grado de entrada del último nodo del
13. Y2 es equivalente a: camino
a) ∃xRx ∨ ¬∀yQy b) el número de aristas que aparecen en
la sucesión del camino ⇐
b) ∀zRz ∧ ∀y¬Qy ⇐
c) el número de nodos que aparecen en la
c) ∀x(Rz ∨ ¬Qz)
sucesión del camino
14. Y4 es verdadera para la interpretación: E =
{1, 2, 3}, con 18. Un grafo no dirigido es conexo si:
a) S = {(1, 1), (2, 3), (3, 2)} a) desde cualquiera de sus nodos se puede
llegar a cualquier otro ⇐
b) S = {(1, 1), (1, 2), (2, 1)}
b) el grado de entrada de todo nodo es
c) S = {(1, 2), (3, 2), (1, 1)} ⇐ igual a 1
15. Señale la expresión válida (siempre verda- c) permite bucles en cada uno de sus no-
dera): dos
Nota sobre la pregunta 5: Del enunciado que se pretendía escribir faltó la última palabra: “Una
relación de equivalencia no es necesariamente:” En este caso, la respuesta correcta sería ’antisimétrica’
porque la pregunta se puede codificar como
¬∀x(RelacEquiv(x) → RelacAntisim(x))
o, equivalentemente
∃x(RelacEquiv(x) ∧ ¬RelacAntisim(x))
y es verdad que hay relaciones de equivalencia que no son antisimétricas, p. ej., sobre el universo
{1, 2} con {(1, 1), (1, 2), (2, 1), (2, 2)}.
∀x(RelacEquiv(x) → ¬RelacAntisim(x))
y esto no es correcto. P. ej., la relación (1, 1), (2, 2)} es de equivalencia y es también antisimétrica.
Por supuesto, las dos opciones restantes, (a) y (b), eran inmediatamente descartables, en cualquier
caso. Así, esta errata a lo sumo podía inhibir de marcar la (c) a quien tuviera un buen conocimiento
de la asignatura.
2
Pregunta de desarrollo
Demuestre, mediante un tableau, que es correcto el siguiente argumento:
Estratégicamente es preferible instanciar cuanto antes los nodos existenciales, que producen ne-
cesariamente términos constantes nuevos. Ni [1] ni [2] lo son. Optamos por expandir [2] (universal,
negación de existencial) en [3]. Y [3] (negación de disyunción), en [4] y [5].
Aquí es preferible parar de momento. Tanto [4] como [5] son universales (negación de existencial).
Expandimos entretanto el nodo [1] (universal) en [6]. El nodo [6] es existencial: estamos obligados a
usar una constante no utilizada previamente. Así se produce [7].
Como [7] es una disyunción, se produce una bifurcación del árbol en [8] y [9]. La rama de [8]
se cierra expandiendo allí [4] para producir [10]: como [4] era universal se puede instanciar en la
constante que se desee. Lo mismo ocurre con el nodo [11], instanciación del [5].
3
"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:
3
Febrero 2011
TIPO A TIPO B TIPO C TIPO D TIPO E
1 C C C B C 1
2 A C B C B 2
3 C C B B C 3
4 C A A B A 4
5 C C B A B 5
6 B B A C A 6
7 A C C C B 7
8 B A C B C 8
9 A B B A A 9
10 C A B B B 10
11 A A C C C 11
12 B C C C C 12
13 B B C D A 13
14 C B B B B 14
15 A A B B B 15
16 C A C C C 16
17 B C B C B 17
18 A B C B B 18
Soluciones del test del examen de Septiembre de 2011 de Lógica y Estructuras Discretas
Cada columna corresponde a las respuestas de cada modelo de examen (A, B, C, etc.)
PREGUNTAS A B C D
1 c a b c
2 a c a a
3 b c c c
4 b b b b
5 b b b b
6 b b c b
7 c c c c
8 c b b b
9 c c c c
10 a c c b
11 b b a c
12 c b b a
13 a a c b
14 b b a c
15 b c b c
16 c a c a
17 c b c c
18 c c b b
Lógica y Estructuras Discretas Material permitido: ninguno Febrero 2012, modelo A
Instrucciones Puede quedarse con estas hojas de enunciado (no las entregue para escanear). Responda
al test en la plantilla que le facilitan. Si decide responder al desarrollo, hágalo sobre una hoja blanca aparte,
con su nombre; nunca en el reverso del test. Si considera que hay erratas, indı́quelas en la hoja de desarrollo,
no sobre la plantilla del test.
Puntuación En el test, cada respuesta correcta suma 0’5 y cada incorrecta resta 0’25. Las respuestas
en blanco no restan. El desarrollo suma 1 punto (como máximo).
Datos
U1 = {1, 2, 3, 4, 5, 6} R1 : {(1, 2), (1, 3), (2, 2), (3, 1)} S1 : {(1, 2), (2, 1), (2, 3), (3, 4)}
U2 = {1, 3, 4} R2 : {(1, 1), (3, 2), (2, 2), (3, 3)} S2 : {(4, 5), (5, 6), (6, 2), (6, 4)}
U3 = {1, 4, 6} R3 : {(4, 2), (3, 2), (5, 4), (6, 5)} S3 : {(1, 2), (1, 1), (2, 2), (6, 2)}
U4 =∅ R4 : {(1, 3), (2, 1), (3, 2), (4, 2)} S4 : {(1, 2), (1, 1), (2, 2), (6, 2)}
U1 es siempre la referencia: conjunto universal. Las relaciones lo son sobre U1 ; las funciones, de U1 en U1 .
Es el universo de discurso en las interpretaciones para las fórmulas lógicas. Los grafos y árboles se suponen
siempre con esos seis nodos.
Test
1. Marque la respuesta falsa: a) R1 ∪ {(1, 1), (3, 3), (4, 4), (5, 5), (6, 6),
(2, 1), (3, 1), (2, 3), (3, 2)} ⇐
a) 1 ∈ (U2 ∪ U3 )
b) R1 ∩ R2
b) {1} ⊆ (U2 ∩ U3 )
c) R1 ∪ R2 ∪ {(4, 4), (5, 5), (6, 6)}
c) U2 ⊆ (U3 ∩ U1 ) ⇐
d ) R2
d ) U4 ⊆ U2
5. R3 ∪ R4
2. Marque la respuesta falsa
a) es función no inyectiva de U1 en U1 ⇐
a) (U1 ∩ U3 ) ∪ U2 = (U1 ∪ U2 ) ∩ (U3 ∪ U2 ) b) no es función de U1 en U1
b) ∼ (U2 ∩ U3 ) = (∼ U2 ∩ ∼ U3 ) ⇐ c) es función sobreyectiva de U1 en U1
c) ∼∼ U4 = U4 d ) es función biyectiva de U1 en U1
d ) El conj. potencia de U2 tiene 8 elementos 6. (R3 ∪ R4 )−
3. Marque la respuesta falsa a) es función no inyectiva de U1 en U1
a) R1− ∩ R1 = {(1, 3), (2, 2), (3, 1)} b) no es función de U1 en U1 ⇐
b) R1− ⊆ (R1− ∪ R1 ) c) es función sobreyectiva de U1 en U1
c) (1, 2) ∈ R1 ◦ R2 d ) es función biyectiva de U1 en U1
d ) R1 es simétrica ⇐ 7. Y1 es falsa en la interpretación:
4. Es relación de equivalencia sobre U1 a) p = 1, q = 0, r = 1, s = 1 ⇐
1
b) p = 1, q = 1, r = 1, s = 1 a) ∃y∀x(¬P x ∨ Qxy)
c) p = 1, q = 0, r = 0, s = 1 b) ∀x∀y(¬P x ∨ Qxy)
d ) p = 1, q = 1, r = 0, s = 1 c) ∀x∃y(¬P x ∨ Qxy) ⇐
d ) ∀x∃y(P x ∨ Qxy)
8. Marque la respuesta falsa:
14. Es consecuencia, se deduce:
a) Y1 → Y2 ≡ ¬Y2 → ¬Y1
b) Y1 → Y2 ≡ ¬Y1 ∨ Y2 a) Z4 |= ¬Z4
c) Y1 → Y2 ≡ ¬Y1 → ¬Y2 ⇐ b) Z2 |= Z3 ⇐
d ) Y1 → Y1 es tautologı́a c) Z1 |= Z3
d ) Z4 |= Z2
9. La tabla de Y2 , es verdadera en:
15. Universo U1 . La fórmula ∀x∃y(Qxy ∧ x 6= y) es
a) 7 lı́neas ⇐ verdadera en:
b) 4 lı́neas
a) R1
c) 3 lı́neas
b) R3
d ) 1 lı́nea
c) R1 ∪ R2
10. De Y4 se deduce, es consecuencia: d ) R3 ∪ R4 ⇐
a) Y2 16. El grafo dirigido (S1 ∪ S2 )
b) Y1 ⇐
a) tiene un nodo con grado de entrada 3
c) ¬Y4
b) es acı́clico
d ) Y3
c) tiene un ciclo sencillo que recorre todos los
11. Universo U1 , donde U3 representa P y R1 repre- nodos ⇐
senta Q. Ahı́ son verdaderas las fórmulas: d ) tiene un ciclo elemental que recorre todos
los nodos
a) ¬Z1 y ¬Z3 ⇐
b) ¬Z1 y Z3 17. Es unilateralmente conexo:
c) Z1 y Z3 a) S1 ∪ S3
d ) Z1 y ¬Z3 b) S1 ∪ S2 ⇐
Desarrollo
Desarrolle un tableau que confirme la relación de consecuencia que marcó en la pregunta 14
2
Lógica y Estructuras Discretas Material permitido: ninguno Febrero 2012, modelo C
Instrucciones Puede quedarse con estas hojas de enunciado (no las entregue para escanear). Responda
al test en la plantilla que le facilitan. Si decide responder al desarrollo, hágalo sobre una hoja blanca aparte,
con su nombre; nunca en el reverso del test. Si considera que hay erratas, indı́quelas en la hoja de desarrollo,
no sobre la plantilla del test.
Puntuación En el test, cada respuesta correcta suma 0’5 y cada incorrecta resta 0’25. Las respuestas
en blanco no restan. El desarrollo suma 1 punto (como máximo).
Datos
U1 = {1, 2, 3, 4, 5, 6} R1 : {(1, 2), (1, 3), (3, 4), (2, 6)} S1 : {(1, 2), (3, 1), (4, 1), (1, 6)}
U2 = {1, 2, 4} R2 : {(1, 6), (1, 4), (3, 5), (1, 5)} S2 : {(2, 1), (1, 3), (1, 4), (6, 1)}
U3 = {2, 3, 6} R3 : {(4, 2), (3, 1), (1, 4), (6, 3)} S3 : {(1, 3), (3, 5), (2, 4), (5, 6)}
U4 = {1, 4} R4 : {(5, 5), (2, 6), (3, 1), (4, 2)} S4 : {(5, 6), (6, 2), (1, 3), (4, 1)}
U1 es siempre la referencia: conjunto universal. Las relaciones lo son sobre U1 ; las funciones, de U1 en U1 .
Es el universo de discurso en las interpretaciones para las fórmulas lógicas. Los grafos y árboles se suponen
siempre con esos seis nodos.
Test
1. Marque la respuesta falsa: a) es una función no inyectiva de U1 en U1 ⇐
a) U4 ⊆ (U2 ∪ U3 ) b) es biyectiva
c) es sobreyectiva
b) U4 ∈ U2 ⇐
d ) su inversa es función de U1 en U1
c) U4 ⊆ (U2 ∩ U1 )
d ) El conj. potencia de U4 tiene 4 elem. 5. Si en la definición de R1 se cambia el orden de
enumeración de esos 4 pares, sigue siendo el mis-
2. U2 ∩ (∼(U3 ∩ U4 )) es igual a: mo R1 ¿De cuántas formas distintas puede ocu-
rrir esto?
a) (U2 ∩ ∼U3 ) ∪ (U2 ∩ ∼U4 )
b) (U2 ∩ ∼U3 ) ∩ (U2 ∩ ∼U4 ) a) 12
b) 24 ⇐
c) (U2 ∩ U3 ) ∪ (U2 ∩ ∼U4 )
c) 6
d ) (U2 ∩ ∼U3 ) ∩ (U2 ∩ U4 )
d) 8
3. (R1 ∪ R2 ) es:
6. ¿Cuantos conjuntos distintos de tres elementos
a) una relación de equivalencia pueden formarse con los de U1 ?
b) una relación simétrica a) 20⇐
c) una relación de orden total b) 720
d ) una relación de orden parcial estricto⇐ c) 120
4. Marque la opción falsa. (R3 ∪ R4 ): d ) 24
1
7. Cuando p=0,q=1,r=1,s=0, son verdaderas: b) Z2
a) ambas: Y2 e Y3 c) Z1 ∨ Z2
b) ambas: Y2 e Y1 d ) Z3 ∨ Z4 ⇐
Desarrollo
Desarrolle un tableau que confirme la relación de consecuencia que marcó en la pregunta 14