Guayaquil - Ecuador

Campus Gustavo Galindo Velasco - Km.30.5 Via Perimetral - Pbx: (593-4) 2269 269

Escuela Superior Politécnica del Litoral

Facultad de Ciencias Naturales y Matemáticas
CURSO DE NIVELACIÓN JUNIO 2022
Prueba de salida 1 Franja 4 - Solución
Lunes, 20 de junio de 2022

Pregunta 1

Dadas las variables proposicionales:

a: ((Yo puedo usar muros cortantes de hormigón))
b: ((Las condiciones de suelo son favorables))

c: ((La altura de la edificación está fuera del rango permitido por el código ASCE7))
La TRADUCCIÓN AL LENGUAJE FORMAL del siguiente enunciado
No puedo usar muros cortantes de hormigón porque las condiciones del suelo no son
favorables o la altura de la edificación está fuera del rango permitido por el código
ASCE7

es:
[¬b ∨ c] → ¬a
¬a → [¬b ∨ c]

¬a → [¬(b ∨ c)]
[¬(b ∨ c)] → ¬a

Solución. El enunciado tiene la estructura ((consecuente porque antecedente)), es decir, no puedo usar muros cortan-
tes de hormigón es el consecuente y las condiciones del suelo no son favorables o la altura de la edificación
está fuera del rango permitido por el código ASCE7 es el antecendente. Por lo tanto, la traducción al lenguaje
formal es (¬b ∨ c) → ¬a que corresponde a la primera opción.

Prueba de salida 1 1 Franja 4

 Guayaquil - Ecuador
Campus Gustavo Galindo Velasco - Km.30.5 Via Perimetral - Pbx: (593-4) 2269 269

Pregunta 2

Sea el razonamiento (H1 ∧ H2 ) → C donde:

H1 : Todos los estudiantes del pre de junio son estudiantes que aprueban.
H2 : Benito Martı́nez es estudiante del pre de junio.
¿Cuál de las siguientes conclusiones C hace VÁLIDO este razonamiento?

Benito Martı́nez no aprueba el pre de junio.

Benito Martı́nez aprueba el pre de junio.
Ningún estudiante del pre de junio aprueba.

Existen estudiantes del pre de junio que no aprueba.

Solución. Aplicando Modus Ponens, vemos que de H1 y H2 se sigue que Benito  Martı́nez es un estudiante que
aprueba.
  Si lo traducimos
al lenguaje formal, considere los conjuntos A = x x es estudiante del pre de junio y
B = xx aprueba , el razonamiento es:

1. A ⊆ B
2. Benito Martı́nez ∈ A
Por lo tanto, ((Benito Martı́nez aprueba el pre de junio)) es la conclusión que hace válido el razonamiento y corresponde
a la segunda opción.

Pregunta 3

Realice un diagrama de Venn que represente al conjunto

(B∆C)c ∩ A

Solución. Observe que (B∆C)c ∩ A = A − (B∆C) ası́ que la representación es:

Prueba de salida 1 2 Franja 4

 Guayaquil - Ecuador
Campus Gustavo Galindo Velasco - Km.30.5 Via Perimetral - Pbx: (593-4) 2269 269

(B∆C)c ∩ A

A
B

y corresponde a la primera opción.

Pregunta 4

Dados los referenciales Rex = Rey = R, al negar la proposición:

∃y∀x(x2 < 3 − y) −→ ∃x∀y(x + y ≤ 3)

se obtiene:
∀x∃y (x + y > 3) ∨ ∃y∀x (x2 < 3 − y)
∀x∃y (x + y > 3) ∧ ∃y∀x (x2 ≥ 3 − y)

∀x∃y (x + y > 3) ∧ ∃y∀x (x2 < 3 − y)

∀x∃y (x + y > 3) ∨ ∀y∃x (x2 ≥ 3 − y)

Solución. Primero, tenemos lo siguiente por la negación de un condicional.

¬ ∃y∀x(x2 < 3 − y) −→ ∃x∀y(x + y ≤ 3) ≡ ∃y∀x(x2 < 3 − y) ∧ ¬ (∃x∀y(x + y ≤ 3))

 

Ahora, note que

¬ (∃x∀y (x + y ≤ 3)) ≡ ∀x¬ (∀y(x + y ≤ 3))

≡ ∀x∃y ¬(x + y ≤ 3)
≡ ∀x∃y (x + y > 3)

Por lo tanto, la negación es ∀x∃y (x + y) > 3 ∧ ∃y∀x (x2 < 3 − y) que corresponde a la tercera opción.

Prueba de salida 1 3 Franja 4

 Guayaquil - Ecuador
Campus Gustavo Galindo Velasco - Km.30.5 Via Perimetral - Pbx: (593-4) 2269 269

Pregunta 5

Sean los conjuntos A = {a, e, i, o} y B = {1, 2, 3, 4}, y las funciones f, g : B → A definidas por:

f = {(4, e), (1, a), (3, e), (2, o)}

g = {(1, a), (2, e), (4, i), (3, o)}

Entonces la función g −1 ◦ f es el conjunto:
{(a, a), (e, o), (i, e), (o, e)}

{(1, 1), (2, 3), (3, 2), (4, 2)}

{(1, 1), (2, 2), (3, 3), (4, 4)}
{(1, 1), (4, 2), (3, 2), (2, 4)}

Solución. Observe que g −1 = {(a, 1), (e, 2), (i, 4), (o, 3)}. Luego,

f g −1

B A B

1 a 1

2 e 2

3 i 3

4 o 4

por lo que g −1 ◦ f = {(1, 1), (2, 3), (3, 2), (4, 2)} y corresponde a la segunda opción.

Prueba de salida 1 4 Franja 4