ESCUELA

SUPERIOR POLITCNICA DEL LITORAL

FACULTAD DE CIENCIAS NATURALES Y MATEMTICAS
DEPARTAMENTO DE MATEMTICAS
CURSO DE NIVELACIN 2014 (1S)
LECCIN 2 FRANJA 1
GUAYAQUIL, MAYO 05 DE 2014

S O L U C I N y R B R I C A

TEMA 1 (25 puntos) Dada el siguiente razonamiento: Ningn futbolista juega bien. Algunos profesionales
son futbolistas. Algunos que juegan bien son profesionales. Robert es profesional.

Utilizando TEORA DE CONJUNTOS, identifique cul de las siguientes conclusiones hace vlido el razonamiento:
a) Robert juega bien.
b) Todos los profesionales que juegan bien no son futbolistas.
c) Algunos que juegan bien son futbolistas.
d) Robert no es futbolista.
e) Todos los que no son futbolistas, ni juegan bien ni son profesionales.

Solucin:

Se define un conjunto referencial:

Re = { x / x!es!persona}


Se identifican los predicados:
: x es futbolista.
: x juega bien.
: x es profesional.

Tambin se observa que Robert es un elemento que forma parte del conjunto de verdad del predicado p(x),
es decir:

()

() 1

Se identifican las cuatro hiptesis del razonamiento y se las traduce al lenguaje formal:

H1 : !x Re$% f ( x ) j ( x )&'
H 2 : !x Re $% p ( x ) f ( x )&'
H 3 : !x Re $% j ( x ) p ( x )&'

H 4 : !p ( Robert ) 1

Se utiliza la teora de conjuntos para las hiptesis planteadas:

H1: Af ( x ) A c j ( x )
H 2: Ap ( x ) Af ( x )

H 3: Aj ( x ) Ap ( x )

H 4: ()

Elaborado por @gbaqueri

Pgina 1 de 7

Se elabora un diagrama de Venn para analizar cada literal con las condiciones encontradas para los
conjuntos y la conclusin que se plantea:

a)

Robert juega bien.

Su traduccin al lenguaje formal es:

j ( Robert ) 1

Robert Aj ( x )

Re

Af(x)

Ap(x)

Aj(x)

Robert

El diagrama de Venn cumple con las hiptesis planteadas, pero Robert

Aj ( x ) .

Con esta conclusin, el razonamiento NO ES VLIDO.

b)

Todos los profesionales que juegan bien no son futbolistas.

Su traduccin al lenguaje formal es:

x $%( p ( x ) j ( x )) f ( x )&'

( Ap ( x ) Aj ( x )) A f ( x )

Se considera el mismo diagrama de Venn del literal anterior, porque si Af

( x ) A c j ( x ) se cumple que

Aj ( x ) A c f ( x ) y que ( Ap ( x ) Aj ( x )) A c f ( x ) , entonces la conclusin se infiere a partir de

c)

las premisas.

Con esa conclusin, el razonamiento S ES VLIDO.


Algunos que juegan bien son futbolistas.

Su traduccin al lenguaje formal es:

x #$ j ( x ) f ( x )%&

Aj ( x ) Af ( x )

Se considera el mismo diagrama de Venn, porque si no se contradice con la hiptesis

H1 , esto es,

Aj ( x ) Af ( x ) = .

Con esa conclusin, el razonamiento NO ES VLIDO.

Elaborado por @gbaqueri

Pgina 2 de 7

d)

Robert no es futbolista.

Su traduccin al lenguaje formal es:

f ( Robert ) 0

Robert Af ( x )

Re
Af(x)

Ap(x)

Aj(x)

Robert

El diagrama de Venn cumple con las hiptesis planteadas, pero Robert

Af ( x ) .

Con esta conclusin, el razonamiento NO ES VLIDO.

e)

Todos los que no son futbolistas, ni juegan bien ni son profesionales.
Su traduccin al lenguaje formal es:

x $%f ( x ) (j ( x ) p ( x ))&'

A c f ( x ) ( A c p ( x ) A c j ( x ))

Aplicando propiedades de las operaciones entre conjuntos, se puede observar que

( A p ( x ) A j ( x )) = ( Ap ( x ) Aj ( x ))
c

Con esta conclusin, el razonamiento NO ES VLIDO.

Rbrica:

Define el conjunto referencial y los predicados adecuados.
Traduce al lenguaje formal cada hiptesis usando cuantificadores, operadores lgicos y los
predicados previamente definidos.
Utiliza la teora de conjuntos para especificar las proposiciones con predicados y
cuantificadores.
a) Realiza un diagrama de Venn, analiza la conclusin (previamente traducida) y
concluye que el razonamiento no es vlido.
b) Realiza un diagrama de Venn, analiza la conclusin (previamente traducida) y
concluye que el razonamiento s es vlido.
c) Realiza un diagrama de Venn, analiza la conclusin (previamente traducida) y
concluye que el razonamiento no es vlido.
d) Realiza un diagrama de Venn, analiza la conclusin (previamente traducida) y
concluye que el razonamiento no es vlido.
e) Realiza un diagrama de Venn, analiza la conclusin (previamente traducida) y
concluye que el razonamiento no es vlido.
Elaborado por @gbaqueri

2 puntos
4 puntos

4 puntos

3 puntos

3 puntos

3 puntos

3 puntos

3 puntos
Pgina 3 de 7



TEMA 2 (25 puntos) Sean los conjuntos A = {1, 2} , B = {3, 4} , C = {5, 6, 7} .
a)
b)

Tabule cada producto cartesiano: A C , B C , A B C

de verdad de las siguientes proposiciones:
Justificando su respuesta, determine el valor

#$( 5, 4) B C %& #$ N ( A C ) = 5%&

#$(1, 3, 4) A B C %& #$(1, 3, 6 ) A B C %&

i.
ii.

Solucin:

A C = {(1, 5), (1, 6 ), (1, 7), ( 2, 5), ( 2, 6 ), ( 2, 7)}

a)

B C = {(3, 5), (3, 6 ), (3, 7), ( 4, 5), ( 4, 6 ), ( 4, 7)}

$"(1, 3, 5), (1, 3, 6 ), (1, 3, 7), (1, 4, 5), (1, 4, 6 ), (1, 4, 7), $&
A BC = #
'
$%( 2, 3, 5), ( 2, 3, 6 ), ( 2, 3, 7), ( 2, 4, 5), ( 2, 4, 6 ), ( 2, 4, 7)$(

b)
i.

Se identifican los valores de verdad de las proposiciones simples:

#$( 5, 4) B C %& 0 , porque el elemento ( 5, 4) pertenece a C B .

"# N ( A C ) = 5$% 0 , porque el elemento N ( A C ) = 6 .

#$( 5, 4) B C %& #$ N ( A C ) = 5%& 0

!##"##$ !##"##
$
0

La proposicin #$

(5, 4) B C %& #$ N ( A C ) = 5%& es FALSA.

ii. #$

(1, 3, 4) A B C %& 0 , porque el elemento (1, 3, 4) pertenece a A B B .

#$(1, 3, 6 ) A B C %& 1

#$(1, 3, 4) A B C %& #$(1, 3, 6 ) A B C %& 0 1 0 0 0

!###"###$ !###"###$
0

La proposicin #$(1, 3, 4) A B C %& #$(1, 3, 6 ) A B C %& es FALSA.

Rbrica:

a) Tabula cada producto cartesiano especificado en el literal a).

A C

B C

A B C
b) Determina los valores de verdad de cada proposicin simple en b.i).
Determina el valor de verdad de la proposicin compuesta en b.I).
Determina los valores de verdad de cada proposicin simple en b.ii).
Determina el valor de verdad de la proposicin compuesta en b.ii).


Elaborado por @gbaqueri

3 puntos
3 puntos
7 puntos
4 puntos
2 puntos
4 puntos
2 puntos

Pgina 4 de 7


TEMA 3 (25 puntos) Sean los conjuntos

A = {1, 2, 3, 4} y B = {a, b, c} y las relaciones R1 : A ! B y

R2 : A ! B tales que:

R1 = {(1, a ), (3, a ), ( 2, c), (3, c), ( 4, b)} y R2 = {( 4, c), ( 2, c), (1, a ), (3, a )}

Justificando su respuesta, determine los valores de verdad de las siguientes proposiciones:
a)
R1 y R2 son funciones.


N R1 R2 = 2
b)

( R1 R2 ) no es una funcin

c)

A B , entonces R2 R1c = R2
R1 R2 = A B

d)

Si Re =

e)

Solucin:

a) Se puede notar que en R1 el elemento 3 del dominio tiene dos imgenes, es decir, se encuentra
relacionado con ms de un elemento del rango, por lo tanto R1 NO es funcin. Mientras que R2 S es
funcin, pues cada elemento del conjunto de partida tiene su correspondiente en el conjunto de llegada y
se encuentra relacionado solamente una vez.

La proposicin R1 y R2 son funciones es FALSA.



b) Se observa que: R1 R2

= {(1, a ), (3, a ), ( 2, c)} , esto es, N ( R1 R2 ) = 3 .

La proposicin N ( R1 R2 ) = 2 es FALSA.

c)

La nueva relacin es: R1 R2

= {(3, c), ( 4, b)} ,

La proposicin R1 R2 no es una funcin es VERDADERA.

d) Se obtienene los pares ordenados de R1 :

R1c = {(1, b), (1, c), ( 2.a ), ( 2, b), (3, b), ( 4, a ), ( 4, c)}

c

Por lo que: R2 R1

= {( 4, c)}

La proposicin Si Re = A B , entonces R2 R1c = R2 es FALSA.

e)

R1 R2 = {(1, a ), ( 2, c), (3, a ), (3, c), ( 4, b), ( 4, c)}

A B = {(1, a ), (1, b), (1, c), ( 2, a ), ( 2, b), ( 2, c), (3, a ), (3, b), (3, c), ( 4, a ), ( 4, b), ( 4, c)}

Se puede notar que ambas relaciones no son iguales.

La proposicin R1 R2 = A B es FALSA.

Elaborado por @gbaqueri

Pgina 5 de 7

Rbrica:

a) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
literal a) es falsa.
b) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
literal b) es falsa.
c) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
literal c) es verdadera.
d) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
literal d) es falsa.
e) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
literal e) es falsa.


TEMA 4 (25 puntos) Sean los conjuntos

5 puntos

5 puntos

5 puntos

5 puntos

5 puntos

A = {1, 2, 3} y B = {a, b, c, d } y las funciones f : A ! B y

g : B ! A tales que:

f (1) = a, f ( 2 ) = b, f (3) = c

Justificando su respuesta, determine el valor de verdad de las siguientes proposiciones:
a) f es inyectiva o g es sobreyectiva
b) rg f A
c)
d)

Si g es sobreyectiva, entonces f es inyectiva

rg g B

e) f es biyectiva o g es biyectiva

Solucin:

Se realizan los diagramas sagitales para observar mejor la estructura de las funciones e inferir los valores de
verdad de cada opcin:

1
2
3

Elaborado por @gbaqueri

1
2
3

Pgina 6 de 7

Ahora se analiza cada literal:

a) VERDADERO; ya que efectivamente f es inyectiva, y al utilizar una disyuncin, basta que esta proposicin
simple sea verdadera para que la disyuncin de proposiciones sea verdadera.

b) FALSO; ya que nada tiene que ver el rango de f con el conjunto A, no existe elemento alguno del rango de f
que sea parte del conjunto A.

c) VERDADERO; ya que para dicho condicional su antecedente es falso, pues la funcin g no es sobreyectiva, y
basta que el antecedente sea falso, para que la condicional de proposiciones sea verdadera.
d) FALSO; ya que nada tiene que ver el rango de g con el conjunto B, no existe elemento alguno del rango de
g que sea parte del conjunto B.
e) FALSO; ya que ninguna de las 2 funciones son biyectivas, y por ello la disyuncin de ambas proposiciones
simples es falsa.

Rbrica:

a) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
5 puntos
literal a) es verdadera.

b) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
5 puntos
literal b) es falsa.

c) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
5 puntos
literal c) es verdadera.

d) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
5 puntos
literal d) es falsa.

e) Realiza el anlisis y la argumentacin necesaria para indicar que la proposicin del
5 puntos
literal e) es falsa.

Elaborado por @gbaqueri

Pgina 7 de 7