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
Solución - Prueba de Salida 01 Franja 3
Lunes, 20 de junio de 2022

Problema 1
Dadas las variables proposicionales:

a: “Hago simulación matemática”

b: “Hago una memoria de cálculo”
c: “Me contratan para diseñar un edificio”
d: “Me contratan para dirigir la producción de los planos”

La TRADUCCIÓN AL LENGUAJE FORMAL del enunciado:

“Hago simulación matemática o una memoria de cálculo, cuando me contratan para diseñar un
edificio y dirigir la producción de los planos”
es:

a. – (c ∧d) → (a ∨ b)
b. − (c ∨ d) → (a ∧ b)
c. − (a ∨ b) ∧ (c ∧ d)
d. − (a ∨ b) ∨ (c ∧ d)

Solución.-

La frase: “Hago simulación matemática o una memoria de cálculo” se puede traducir como:

a∨b

Por otro lado, tenemos que la frase “me contratan para diseñar un edificio y dirigir la producción de los planos” se
traduce en:
c∧d
Note que ambas frases forman parte de una estructura lógica condicional; por lo que, la traducción completa del
enunciado es:
(c ∧ d) −→ (a ∨ b)
Repuesta correcta: Opción A.

Prueba de Salida 01 1 Franja 3

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

Problema 2

Sea el razonamiento (H1 ∧ H2 ) → C donde

H1 :Todos los asgardianos son aliens
H2 :Algunos asgardianos son héroes

Una conclusión C que hace VÁLIDO este razonamiento es:

a.- Ningún alien es héroe

b.- Existen asgardianos que son héroes
c.- Todos los aliens son héroes
d.- No existe ningún asgardiano que no sea héroe

Solución.-

Los predicados involucrados en el razonamiento son:

p(x): x es asgardiano
q(x): x es alien
r(x): x es héroe
La hipótesis H1 se traduce como:

∀x[p(x) → q(x)]
La hipótesis H2 :

∃x[p(x) ∧ r(x)]

Observe que la opción ’Existen asgardianos que son héroes’ es equivalente a la hipótesis H2 , por lo que serı́a una con-
clusión correcta para hacer válido el razonamiento. Pues (H1 ∧ H2 ) → H2 es una tautologı́a (Ley de Simplificación).

Respuesta correcta: Opción B.

Prueba de Salida 01 2 Franja 3

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

Problema 3
El diagrama de Venn que representa el conjunto:

[(B ∩ C) − A] ∪ [(A − B) − C]

es:

Solución.-
El método usado es el de identificar paso a paso cual es el Diagrama de Venn de cada subconjunto involucrado. Ası́,

Figura 1: Diagrama de Venn del conjunto B∩C

Figura 2: Diagrama de Venn del conjunto (B∩C) − A

Prueba de Salida 01 3 Franja 3

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

Figura 3: Diagrama de Venn del conjunto (A-B)

Figura 4: Diagrama de Venn del conjunto (A-B)-C

Figura 5: Diagrama de Venn del conjunto [(B ∩C) − A] ∪ [(A − B) − C]

Prueba de Salida 01 4 Franja 3

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

Problema 4
Dados los conjuntos referenciales Rex = Rey = R.
Al negar la proposición:
∀x∃y(x + y < 3) → ∃x∃y x2 ≥ 3 − y

se obtiene:


a.- ∀x∀y x2 < 3 − y
∧ ∀x∃y(x + y < 3)
b.- ∀x∀y x2 < 3 − y
∧ ∀x∃y(x + y ≥ 3)
c.- ∀x∀y x2 < 3 − y
∧ ∃x∀y(x + y ≥ 3)
d.- ∀x∀y x2 ≥ 3 − y ∧ ∃x∀y(x + y ≥ 3)

Solución.-
Vamos a negar la siguiente proposición:

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

Entonces
¬ ∀x∃y(x + y < 3) → ∃x∃y x2 ≥ 3 − y



Ley de Implicación
¬ ¬ (∀x∃y(x + y < 3)) ∨ ∃x∃y x2 ≥ 3 − y




Ley de De Morgan para operadores lógicos

¬ [¬ (∀x∃y(x + y < 3))] ∧ ¬ ∃x∃y x2 ≥ 3 − y





Ley de Doble Negación y Leyes de De Morgan para cuantificadores

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





Negación de una desigualdad

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

Por lo tanto la respuesta correcta es:

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

O aplicando la Propiedad conmutativa de la conjunción:

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

Respuesta correcta: Opción A.

Prueba de Salida 01 5 Franja 3

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

Problema 5

Sean los conjuntos A = {a, e, i, o}, B = {1, 2, 3, 4}y, las funciones f y g de B en 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 f ◦ g −1 es el conjunto:
a.- {(a, a), (e, e), (i, i), (o, o)}
b.- {(1, 1), (2, 3), (3, 2), (4, 2)}
c.- {(a, a), (e, o), (i, e), (o, e)}
d.- {(a, a), (e, o), (i, o), (o, e)}

Solución.-
Primero debemos verificar que g es una función biyectiva, vemos que se cumple que Rg(g) = A por lo que se dice que
g es sobreyectiva. Como la cardinalidad de A y B son la misma y g es sobreyectiva eso implica que g es inyectiva, esto
a su vez demuestra que g es biyectiva y por lo tanto g tiene inversa. También debemos verificar la composición f ◦ g −1
es posible, la cual sı́ es, ya que Rg(g −1 ) = B = Dom(f ).

g −1 : A → B y f : B → A, entonces f ◦ g −1 : A → A

Veremos que f ◦ g −1 = {(a, a), (e, o), (i, e), (o, e)}

Figura 6: Composición de las funciones

Respuesta correcta: Opción C

Prueba de Salida 01 6 Franja 3

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

Figura 7: Composición de las funciones

Prueba de Salida 01 7 Franja 3