ESCUELA

SUPERIOR POLITCNICA DEL LITORAL

FACULTAD DE CIENCIAS NATURALES Y MATEMTICAS
DEPARTAMENTO DE MATEMTICAS
CURSO DE NIVELACIN 2016 1S

CAPTULO: CONJUNTOS
D E B E R 2

1.8 Conjuntos

1) (La paradoja del barbero) En un pequeo pueblo del Ecuador un barbero afirma: Yo
afeito a quienes no son capaces de afeitarse a s mismos. Si denominamos A al conjunto
de las personas del pueblo que se afeitan a s mismos, su complemento es el conjunto de
las personas que no se afeitan a s mismas. A qu agrupacin pertenece el barbero?

2) Indique claramente las caractersticas que debe cumplir una agrupacin para ser
considerada como conjunto.

3) Proporcione 2 ejemplos de agrupaciones que no representan conjuntos.

4) Proporcione 2 ejemplos de agrupaciones que s representan conjuntos.

5) Especifique las diferentes maneras para describir un conjunto.

6) Identifique cules expresiones son conjuntos. Justifique su respuesta.
a)

A = {1, A}

b)

B = 1,{1} , {1}

c)

C = 1,4,7

d)

D=

e)

= {}

{ }}

{{{{{}}}}}
Respuesta: a) No, b) S, c) No, d) S, e) No

7)

8)

Defina:
a) Cardinalidad de un conjunto.
b) Conjunto vaco.
c) Conjunto unitario.
d) Conjunto finito.
e) Conjunto infinito.
f) Conjunto referencial.
Proporcione 2 ejemplos de conjunto vaco.

Proporcione 2 ejemplos de conjunto unitario.

9)

10) Proporcione 2 ejemplos de conjunto finito.

11) Proporcione 2 ejemplos de conjunto infinito.

Pgina 1 de 31

12) Dado el conjunto referencial Re = 1,2,3,4,5,6,7,8,9,10 , tabule los siguientes

conjuntos:
a)
b)
c)

{ ( ) ( )}
B = { x ( x > 2) ( x es par )}
C = { x ( x = 4) ( x = 5)}
A = x x 3 x < 8

Respuesta: a) A = 3,4,5,6,7 , b) B = 1,2,4,6,8,10 , c) C = 1,2,3,6,7,8,9,10

13) Dados los conjuntos A = {*, a, {b, c}} , B = {b, s} , C = {{$}, &, {#},%} y D = {{+},i} ,
determine el valor de verdad de cada proposicin:

)(

a)

b A & C

b)

({+} D) $%(a A) ( s B)&'

( N ( D) = 2) (% C )
({+} C ) $%(b B) (i C )&'

c)
d)

Respuesta: a) 0 , b) 0 , c) 1 , d) 0

14) Dados los conjuntos A = x / x es vocal de la palabra mundial , B = e,b, g,h,k,u

}
{
}
C = { x / x es consonante de la palabra libertad } y D = {$,%,{&} ,?} , determine el

valor de verdad de cada proposicin:

a)
b)
c)
d)
e)

" N A = 3 N C = 5 $ " N B = 6 N D = 3 $
#
% #
%
{%} D $% b C b B &'
! e A i C # m B
) ( )$ (
)
"(

( () ) ( ( ) )
(
) ( )(

( () ) ( ( ) )
)

(m A) (% D) (% B)
(# D) $%(h B) (d C )&'
Respuesta: a) 0 , b) 1 , c) 1 , d) 1 , e) 0

1.9 Cuantificadores

15) Para qu sirven los cuantificadores?

16) Defina:
a) Subconjunto.
b) Subconjunto propio.
c) Conjunto potencia
d) Conjuntos iguales.
e) Conjuntos disjuntos.
f) Conjuntos intersecantes.
Pgina 2 de 31


17) Sea Re un conjunto que tiene un solo nmero, determine el valor de verdad de la

2
a Re, a +1 = a 2 + 2a +1
siguiente proposicin:

Respuesta: Verdadera.

18) Sea Re un conjunto finito de nmeros, determine el valor de verdad de la siguiente

proposicin:

x Re, x 1 = 1+ x
Respuesta: Falsa.

19) Sea Re = x x es persona , traduzca al lenguaje comn las siguientes proposiciones:

a) x Re, x tiene menos de 20 aos

b) x Re, x es ftubolista
c) x Re, x es latinoamericano
d) x Re, x es matemtico

20) Dadas las siguientes proposiciones, tradzcalas al lenguaje formal y escriba la
correspondiente negacin en espaol.
a) Todos los estudiantes gustan de las ciencias.
b) Existen personas que son buenos amigos.
c) No todos los ecuatorianos son impuntuales.
d) Existen celulares con los que se puede tomar fotos.

21) Dados los conjuntos A = {*, {*}, , {}} y B = { , { }, } , determine el valor de
verdad de cada proposicin:
a)
b)
c)

({

! *, A A # , B
}
{ }
"{
$
,{ } B $& N P A = 8 N P B = 8 ')
%
(

) (

({ } ) ( ( ( )) ) ( ( ( )) )
( P ( B)) ( P ( A)) ( P ( B))

Respuesta: a) 0 , b) 1 , c) 1
22) Considere el conjunto A = {@, $, {?,!}} , determine el valor de verdad de la siguiente
proposicin:

$
%

{{?,!}} P(A) {,{@}} P(A) &' $%+ N ( P ( P ( A))) = 256 {{{@}}} P ( P ( P ( A)))&',
Respuesta: Falsa.

23) Obtenga el conjunto potencia que corresponde a los siguientes conjuntos:

a) A = 1,a,#,@

{{

b) B = 1, ,

}}

c) C =

{{3},{1,4}}

{{1},2,3} , B = {1,{2},3} y C = {1,2,{3}}

Entonces, el valor de N ( P ( A) P ( B ) P (C )) es igual a:

24) Sean los conjuntos A =

a) 0

b) 1

c) 2

d) 3

e) 6
Respuesta: b)
Pgina 3 de 31

1.10 Operaciones entre conjuntos

25) Dados los conjuntos A y B no vacos, determine la definicin que es correcta:

a)
b)
c)
d)
e)

{ ( ) ( )}
( A B) = {x / ( x A) ( x B)}
A B = { x / ( x B) ( x A)}
A B = { x / !"( x A) ( x B)#$ !"( x B) ( x A)#$}
A B = { x / ( x A) ( x B)}
A B = x / x A x B
C

Respuesta: d)

26) Sean A y B subconjuntos de cierto referencial Re . Una de las siguientes proposiciones
es FALSA, identifquela.
a)
b)
c)
d)
e)

) (

) ( )
x ( A B) ( x A) ( x B)
x ( A B) %&( x A) ( x B)'(
( x ) ( x A) 1
( A B) ( B A )
x A B x A x B
C

Respuesta: a)

27) Considere el conjunto Re = 1,2,3,4,5,6,7,8,9,10,11,12 y los conjuntos A , B y C no

vacos, tales que: AC BC C = 12

( AC ) B = {1,2,3,10,11}

{ }

( A B) C = {2,3,4,5,8,9}

( B C ) A = {7,8,9,10,11}

Tabule C .

Respuesta: C = 1,6,7,10,11

28) Dados los conjuntos:

Re = {1,2,3,4,5,6,7,8,9,10} , A B = {1,6} , A C = {2,3,6} ,

A B C

= {10} ,

( B C ) A = {4,5},

C A B = {7,8,9}

Entonces es VERDAD que:

a)

C A = {7,8,9}

b)

B = {1,4,5,6,9}

c)

A B C = {1,9}

d)

C B = {1,7,8}

e)

( B C ) = {2,3}

Respuesta: a)
Pgina 4 de 31

29) Sea el conjunto referencial Re = 1,2,3,4,5,6,7 y los conjuntos A = 1,2,3,4 ,

C
$
'
B = {2,5,6,7} y C = {5,6,7} ; entonces, el conjunto & A B AC BC ) es igual
%
(

) (

a:

a) 1,2,3,4

b) 4,5,6

c) 1,2,4

d) 3,5,7

e)
Respuesta: a)

30) Sean

A , B y C subconjuntos no vacos del conjunto referencial

Re = {1,2,3,4,5,6,7,8,9,10,11,12} , en el que se cumplen las siguientes condiciones:

A = {2,3,4,5,6,10,11,12}

B C = {3,7,8,9}

( )

B ( AC ) = {1}

( A B) C = {10}
Tabule el conjunto: B ( A B )

C A B =

Respuesta: 1,7,8,9

31) Sean A y B subconjuntos no vacos de un conjunto referencial Re , determine los
elementos de A y B si se conoce:

( A B ) = {,,,, ,,, }
( A A ) = {,,,,,, ,,, }

BC A = {,,, ,,}

( A B) = {,}

Respuesta: A = , ,, , B = ,,,,,,

32) Los conjuntos Re , P , R y S , se definen como sigue:
Re = { x x es cuadriltero} P = { x x es paralelogramo}
a)
b)

R = { x x es rectngulo} S = { x x es cuadrado}
Elabore un diagrama de Venn que muestre la relacin entre los conjuntos anteriores.
Elabore nuevos diagramas de Venn para cada una de las operaciones entre conjuntos
que se especifica:

(i) P S

(ii) R S P

Pgina 5 de 31

33) Sean A , B y C subconjuntos del referencial Re , tales que:

Re = {0,1,2,3,4,5,6,7,8,9}
A B = {1,2,3}

AC = {4,3}

B C = {6,1,2}

C A = {5,8,9}

A C = {7,1,2}
C B = {4,8,9}

Entonces el conjunto A B C es igual a:

a) 4,9 b) 6,7,8,9 c) 1,2,3,8,9 d) 3,6,7,8,9 e) 0,1,2,3,6,7,8,9

{ }

} {

Respuesta: d)
34) En el diagrama a continuacin A , B y C son subconjuntos del referencial

Re = {1,2,3,4,5,6,7,8,9}
5

I. Tabule los conjuntos:

a)

( A B) C

b)

(A

C B

c) A B
d) AC B

II. Sombree cada conjunto especificado en los tems anteriores, utilice un diagrama para
cada caso.

35) Escriba una expresin con operaciones de conjuntos para los siguientes diagramas de
Venn:
a)

b)

c)






Pgina 6 de 31

36) Dado Re = 1,2,3,4,5,6,7,8,9,10 y los conjuntos A , B y C tales que: A B

Ac = {3,4,5,8,9,10} B C = {1,2,6,10}

C c B = {4,9} B c = {3,4,8,9}

Tabule los conjuntos A , B y C .

1.11 Propiedades de las operaciones entre conjuntos

37) Sean A y B subconjuntos de un referencial Re , determine el valor de verdad de cada
proposicin. Si es verdadera, demustrela formalmente; y, si es falsa, proporcione un
contraejemplo:
a) Si x , entonces x A

A
( )
c) Si x ( A B ) , entonces x A
d) Si x B , entonces x ( A B )
e) Si ( A B = ) , entonces A = y B =
b) Si x A B , entonces x

38) Sean A y B subconjuntos de un referencial Re , con el uso del lgebra Proposicional,

A B BC AC

demuestre formalmente que:

39) Sean A , B y C subconjuntos de un referencial Re , con el uso del lgebra

) (

) (

A B C = A B A C

Proposicional, demuestre formalmente que:

40) Sean A , B y C subconjuntos de un referencial Re , con el uso del lgebra

A ( B C ) = ( A B ) A C C

Proposicional, demuestre formalmente que:

41) Proporcione un contraejemplo para la proposicin:

A B D %& A B A D '(

) (

) (

42) Sean A y B subconjuntos de un referencial Re, con el uso del lgebra Proposicional,
demuestre formalmente que:

( A B ) ( A B ) ( A = B )

43) Demuestre formalmente que para cualquier par de conjuntos A y B se cumple que:

( )

( )

N A B = N A + N B N A B

44) Si A, B y C son tres subconjuntos del conjunto referencial Re , donde
N Re = 20, N #$ A B C %& = 5, N #$ B AC %& = 4, N #$C A B %& = 3, N A B = 7

( )

C$
!
N # A B C & = 2 , entonces el nmero de elementos del conjunto
"
%

( A B) ( AC ) ( B C ) es igual a:
a)

b) 4

c) 5

d) 6

e) 7
Respuesta: d)
Pgina 7 de 31


45) Dados los conjuntos A , B y C subconjuntos de Re = x / x , x 10 que cumplen

las siguientes condiciones:

A B = {3,9}

(C B) = {1,2}

( A B C )

AC = {9,10}

El conjunto B C A es igual a:
b) 3,9,10

a)

c) 1,2,3,6,7 d) 9

e) 4,5,6,7,8

{}

Respuesta: e)

46) Para los conjuntos no vacos A , B y C , considere las siguientes proposiciones:

p : !" N A = 3#$ !" N P A = 9#$

q : #$ N B = 4 N C = 4 N B C = 6 %& #$ N B C = 2%&
r : !"2 < N C < 4#$ !" N P C = 8#$

( )
( ( ))
( () ) ( ( ) ) ( (
( )
( ( ))

) )

Identifique la proposicin VERDADERA.

a) q p r b) r pq c) p r q d) p q r

e) q r p
Respuesta: d)

47) Identifique la proposicin VERDADERA sobre operaciones entre conjuntos:
a)
b)
c)
d)
e)

( A B ) = A B
( A B ) ( A ) ( B )
A ( B C ) = ( A B ) ( A C )
( A B ) ( A B )
( A B ) ( B C ) ( C A)

Respuesta: b)

48) En una encuesta realizada a 50 estudiantes que conocen ciudades de Manab se

obtuvieron los siguientes resultados: 10 conocen Chone, 21 conocen Manta, 26 no
conocen Chone ni Manta. Entonces, el nmero de estudiantes que conocen Chone y
Manta, es igual a:
a) 3

b) 4
c) 7

d) 10
e) 14
Respuesta: c)

49) En un experimento para estudiar el secado de 80 hojas de pltano, se observ que 10 se
secaron estando en sombra, con ventilador y con humedad controlada; 5 se secaron slo
en sombra; 3 slo con ventilador y 6 slo con humedad controlada; 15 se secaron con
ventilador y humedad controlada, 30 se secaron con sombra y ventilador. Si todas las
hojas fueron sometidas a alguna de estas 3 condiciones, determine el nmero de hojas
que se secaron en sombra y humedad controlada.
Respuesta: 41



Pgina 8 de 31

50) En una encuesta a un grupo de inversionistas se tiene que:

100 invierten en acciones.

120 invierten en valores.

160 invierten en bonos.

50 invierten en acciones y bonos.

40 invierten en bonos y valores.

10 invierten en acciones, valores y bonos.

100 invierten en acciones o valores pero no bonos.

Determine cuntos invierten slo en valores.
Respuesta: 50

51) En una encuesta a 100 amas de casa sobre las pelculas que vieron en el ltimo mes se
tiene que: 22 amas de casa vieron slo Vengadores, 15 amas de casa vieron slo Hombres
de Negro y 18 vieron slo Madagascar. 13 amas de casa vieron Vengadores y Hombres de
Negro, 17 vieron Vengadores y Madagascar y 25 vieron Hombres de Negro y Madagascar.
Si todas las encuestadas vieron al menos una de las 3 pelculas, cuntas vieron las 3
pelculas?
Respuesta: 5

52) En una encuesta realizada a personas que adquieren juguetes en vsperas de navidad se
obtuvo la siguiente informacin:
11 personas compran slo en La Baha.
9 personas compran slo en Pycca.
14 compran en Mi Juguetera y la Baha.
5 compran en los tres lugares.
El nmero de personas que slo compran en La Baha y Pycca es igual al nmero de
personas que slo compran en Mi Juguetera y Pycca.
En La Baha compran 3 personas ms de las que compran en Pycca y en Pycca 3
personas ms de las que compran en de las que compran en Mi Juguetera.
Cuntas personas compran en cualquiera de esos tres lugares?
Respuesta: 55

53) En una clase de 60 estudiantes, 2/3 son mujeres y 2/5 de la clase estn tomando clases de
msica. El mximo nmero de mujeres que NO estn tomando clases de msica es:
a) 4

b) 16
c) 20
d) 36
e) 40
Respuesta: d)

54) Sean A , B y C subconjuntos no vacos del conjunto referencial Re . La regin
sombreada del diagrama de Venn que se muestra, corresponde al conjunto:
a)

(B

b)

BC (C C B)

c)

( B C ) AC
( A B C ) AC
( A B) #$( B C ) A%&

d)
e)

Re) (C C B)

Respuesta: e)


Pgina 9 de 31

55) Sea el conjunto referencial Re y los conjuntos A , B y C . Identifique la operacin entre

conjuntos que corresponde a la regin sombreada:

a) #$C A B %& #$ A B C %&

b)
c)
d)

e)

( )
# AC B% # A B C % #C A B %
) & $( ) & $ ( )&
$(
# AC B% # A B C % #Re A B %
) & $( ) & $ ( )&
$(
# A B C % #C A B %
) & $ ( )&
$(
# B AC % #C A B %
)& $ ( )&
$ (
)

Respuesta: b)

56) Dada la regin sombreada:

Re

Escriba 4 expresiones distintas con
operaciones entre conjuntos para
indicar el resultado de esta regin
sombreada.



57) Sean A , B y C tres subconjuntos no vacos de un conjunto referencial Re :










Respecto al diagrama de Venn adjunto, la regin sombreada corresponde a:
a)
b)
c)
d)
e)

( A C ) ( B A)
#( A B C % #( B C A%
) & $
) &
$
#(C A B% #( A C B%
) & $
) &
$
B ( A B C )
( A B) ( A B C )
Respuesta: b)

Pgina 10 de 31

58) Considere el diagrama de Venn adjunto. La regin sombreada se puede representar por la
siguiente operacin entre conjuntos:


Re

a)

A
B

b)
c)
d)

e)

B ( A C ) C ( A B )

A ( B C ) B ( A C )

A ( B C ) C ( A B )

A ( B C ) B ( A C )

B ( A C ) C ( A B )

Respuesta: b)

59) Si de un total de 150 alumnos que desean entrar a una institucin, se tienen los siguientes
datos:
63 son mayores de 18 aos.
A 66 les gusta hacer deporte.
65 aprobaron el examen de seleccin.
22 son mayores de 18 aos y les gusta hacer deporte.
25 les gusta hacer deporte y aprobaron el examen de seleccin.
23 son mayores de 18 aos y aprobaron el examen de seleccin.
10 son mayores de 18 aos, les gusta hacer deporte y aprobaron el examen de
seleccin.
Determine:
a) La cantidad de alumnos que son mayores de 18 aos, les gusta hacer deporte, pero no
aprobaron el examen de seleccin.
b) La cantidad de alumnos que les gusta hacer el deporte, aprobaron el examen de
seleccin, pero no son mayores de 18 aos.
Respuesta: a) 12, b) 15

60) De un grupo de productos escogidos en un supermercado se sabe que:

6 son altos en azcar, grasa y sal.
14 son altos en azcar y grasa.
16 son altos en azcar y sal.
36 son altos en azcar.
11 son altos en grasa y sal.
El nmero de productos altos solamente en sal es igual al doble del nmero
productos altos solamente en grasa.
El nmero de productos altos en azcar es igual al doble del nmero de productos
altos solamente en sal.
Determine el nmero de productos que son altos en grasa.
Respuesta: 28

61) De un total de 19 estudiantes que realizan su prctica de laboratorio de qumica, se tiene
que: 10 estn realizando titulacin, 14 estn realizando filtracin al vaco, 8 estn
realizando decantacin, 5 estn realizando filtracin al vaco y decantacin al mismo
tiempo, 4 estn realizando titulacin y decantacin, 3 estudiantes estn realizando las
tres actividades al mismo tiempo, 11 estn realizando titulacin o filtracin al vaco pero
Pgina 11 de 31

no decantacin. Entonces, la cantidad de estudiantes que realizan slo filtracin al vaco

es igual a:
a) 2

b) 3
c) 5

d) 6
e) 7
Respuesta: c)

62) En una encuesta sobre el consumo de bebidas, se obtuvieron los siguientes datos:
67% beben A o B, y 13% beben ambas.
59% beben B o C, y 11% beben ambas.
75% beben A o C, y 15% beben ambas.
3% beben A, B y C.
16% no consumen ninguna de las tres.
El porcentaje de personas que consume slo la bebida A o slo la bebida B, es igual a:
a) 17
b) 25
c) 26
d) 34
e) 42
Respuesta: d)

1.12 Predicados de una variable

63) Defina:
a) Predicado de una variable.
b) Conjunto de verdad de un predicado.
c) Predicado compuesto.

()

()

64) Dado el conjunto referencial Re y los predicados p x y q x , con el uso del lgebra de
Conjuntos, demuestre formalmente que:

A!" p x q x #$ = Ap x AC q x

()

()

()

()

()

()

65) Dado el conjunto referencial Re y los predicados p x y q x , con el uso del lgebra de
Conjuntos, demuestre formalmente que:

A"# p x q x $% = AC p x Aq x

()

()

()

()

66) Dado el referencial Re = 3,2,1,0,1,2,3 y los predicados:

( ) ( x + 2) ( x 1) = 0

p x :

q x : x 2 > 1

()

Determine:
a)
b)
c)
d)
e)

()
A"#p ( x ) q ( x )$%
A"#p ( x ) q ( x )$%
A"# p ( x ) q ( x )$%
A"# p ( x ) q ( x )$%
Ap x

Respuesta: a) 2,1 , b) 3,2,3 , c) 2,1,0,1 , d) 3,1,2,3 , e) 2,1,0

Pgina 12 de 31


67) Sea el conjunto referencial Re = {10,15, 20, 25, 30, 35, 40, 45, 50} y los predicados:

q ( x ) : x!es!divisible!para!3

p ( x ) : x!es!mltiplo!de!10

Identifique la proposicin VERDADERA.

a) A "# p ( x ) q ( x )$% = {45}
b) A "# p ( x ) q ( x )$% = {10, 20, 30, 45, 50}
c) A "# p ( x ) q ( x )$% = {10,15, 20, 25, 30, 35}
d) A "# p ( x ) q ( x )$% = {15, 25, 30, 35, 45}
e) A "#p ( x ) q ( x )$% = {15, 25, 35, 45}
Respuesta: d)

68) Dado Re = 2,1,0,1,2,3,4,5 , determine el valor de verdad de cada proposicin:

a)
b)

x, x 2 < 10
x, x + 5 = 1 x

c)

(x,

d)

(x,

e)

)
) (
( x = 25)) (x, ( x 4) ( x + 3) = 0)

x 2 = 16 x, x > 2
2

x, x = x

Respuesta: a) 0, b) 1, c) 0, d) 1, e) 1

69) Sea el conjunto referencial Re = {2, 4, 6, 7, 8} , identifique la proposicin VERDADERA:

d)

(
)
x ( x + 7 = 9)
x ( x 2 > 1)
x ( x + a = a )

e)

x x 3 + 5 = 6

a)
b)
c)

x x +1< 8

Respuesta: b)

70) Dado el referencial Re = 3,2,1,1,2,3,4 y los predicados:

p x : x 2 > 0 q x : 2x 1> 1 r x : x 2 = 25 s x : x es par

()

()

()

()

Determine el valor de verdad de las siguientes proposiciones:

()
e) x r ( x )
i) x p ( x )

a) x p x

()
f) x r ( x )
j) x p ( x )
b) x p x

()
g) x s ( x )
k) x r ( x )
c) x q x

()
h) x s ( x )
l) x s ( x )
d) x q x

Respuesta: a) 1, b) 1, c) 1, d) 0, e) 0, f) 0, g) 1, h) 0, i) 0, j) 0, k) 1, l) 1

Pgina 13 de 31


71) Respecto al tema anterior, determine el valor de verdad de cada proposicin:
a)
b)
c)
d)

x, #$ p x q x %&
x, #$q x q x %&
x, #$r x q x %&

()
()
()
(x r ( x))

()
()
()

(x p ( x))
Respuesta: a) 0, b) 0, c) 0, d) 1

72) La NEGACIN de la proposicin: x
a)
b)
c)
d)
e)

(( p ( x ) q ( x )) r ( x )) , es equivalente a:

(
)
x (( p ( x ) q ( x )) r ( x ))
x ((p ( x ) q ( x )) r ( x ))
x (( p ( x ) q ( x )) r ( x ))
x (( p ( x ) q ( x )) r ( x ))
x ( p ( x ) q ( x )) r ( x )

Respuesta: e)

(() ( ()

( ))) , se obtiene:

73) Al NEGAR la proposicin x q x q x p x

a)
b)
c)
d)
e)

( ( ))
x ( q ( x ) p ( x ))
x (q ( x ))
x (q ( x ))
x (p ( x ))

x q x

Respuesta: c)

( ( ) ( ( ) ( ))) , es equivalente a:

74) La NEGACIN de la proposicin: x p x p x q x

a)
b)
c)
d)
e)

()
x q ( x )
x p ( x )
x p ( x )
x p ( x )
x q x

Respuesta: c)


Pgina 14 de 31

75) Determine el valor de verdad de cada proposicin, justifique formalmente su respuesta:

a)
b)
c)

(x p ( x) x q ( x)) x ( p ( x) q ( x))
(x p ( x) x q ( x)) x ( p ( x) q ( x))
()

()

Si N Re 0 , entonces x p x x p x

( )

76) Para cada caso, defina los conjuntos referenciales y los predicados adecuados. Luego, con
el uso de cuantificadores traduzca formalmente:
a) Todo nmero entero es real.
b) Algn ciudadano es libre.
c) No es cierto que algn rbol es verde.

77) Escriba en espaol la negacin de la proposicin: Ningn turista ecuatoriano paga por
acceder al zoolgico de Guayaquil.

78) Escriba en espaol la negacin de la proposicin: Algunos celulares inteligentes no
almacenan ms de mil fotos.

79) Escriba en espaol la negacin de la proposicin: Existen mamferos acuticos que no
soportan una alta presin.

80) Dadas las siguientes proposiciones, tradzcalas al lenguaje formal y escriba la
correspondiente negacin en espaol.
a) Todos los estudiantes, excepto los responsables, dejan las tareas para el ltimo
momento.
b) Existen algunas personas que si obtienen un alto cargo administrativo entonces
cambian su comportamiento con sus amigos.

81) Dada la proposicin: Si todos los mamferos son vertebrados, entonces existe al menos
un vertebrado que no es acutico.
a) Defina el conjunto referencial y los predicados adecuados, y tradzcala al lenguaje
formal.
b) Escriba la negacin de esta proposicin en espaol.

Predicados de dos variables

82) Defina:
a) Predicado de 2 variables.
b) Conjunto de verdad de un predicado de 2 variables.

83) Dados los referenciales Re x = 2,1,0,1,2,3 y Re y = 1,0,1,2,3,4,5 y el predicado

( )

p x, y : x > y , indique cules de las siguientes expresiones son predicados de una

variable y cules son proposiciones.

( )
yx p ( x, y )
x p ( x, y )

a) x p x, y
b)
c)

Pgina 15 de 31

( )
p ( x,2)
y p (1, y )

d) p x,3
e)
f)

84) La negacin de la proposicin: xy &' x < y

) (( x = 3) ( y 4))() es equivalente a:

a) xy %& x < y x = 3 y 4 '(

b)
c)
d)
e)

( ) ( ) ( )
xy %&( x < y ) ( x 3) ( y < 4)'(
xy %&( x y ) ( x = 3) ( y 4)'(
xy &'( x y ) ( x 3) ( y 4)()
xy &'( x y ) ( x 3) ( y < 4)()
Respuesta: b)

85) Dados los conjuntos referenciales Re x = 1,0,1,2 y Re y = 0,1,2,3,4 , determine el

( ) ( y = x) ( y = x) y determine el valor de

conjunto de verdad del predicado p x, y :

verdad de las siguientes proposiciones:

( )
xy p ( x, y )
xy p ( x, y )
xy p ( x, y )

( )
x p ( x,0)
y p (1, y )
y p ( 2, y )

a) yx p x, y

e) xy p x, y

b)

f)

c)
d)

g)
h)

Respuesta: a) 0, b) 1, c) 0, d) 0, e) 1, f) 1, g) 0, h) 0

86) Dados los referenciales Re x = 1,0,1,2 y Re y = 0,1,2,3,4 , determine el conjunto de

( )

verdad del predicado q x, y :

x > y y determine el valor de verdad de las siguientes

proposiciones:

( )
xy q ( x, y )
xy q ( x, y )
xy q ( x, y )

( )
x q ( x,0)
y q (1, y )
y q ( 2, y )

a) xy q x, y

e) yx q x, y

b)

f)

c)
d)

g)
h)

Respuesta: a) 1, b) 0, c) 0, d) 0, e) 1, f) 1, g) 0, h) 0

Pgina 16 de 31

87) Dados los conjuntos referenciales Re x = 0,1,2,3 y Re y = 0,1,2,3,4,9 y el predicado

( )

p x, y : x = y

Identifique la proposicin FALSA:
a)
b)
c)
d)
e)

( ) {( ) ( ) ( ) ( )}
xyp ( x, y )
xyp ( x, y )
xyp ( x, y )
Ap ( x, y )

Ap x, y = 0,0 , 1,1 , 2,4 , 3,9

Respuesta: d)

88) Dados los conjuntos referenciales Re x = 1,0,1,2 y Re y = 0,1,2,3,4 , y el predicado

( ) ( y = x) ( y = x) , determine el conjunto de verdad de los siguientes

p x, y :

predicados.

( )
p (1, y )

( )
x p ( x, y )

a) p x,2

c) y p x, y

b)

d)

Respuesta: a) 2 , b) 1 , c) 1,0,1,2 , d)

{}

{} {

89) Dados los referenciales Re x = 1,0,1,2 y Re y = 0,1,2,3,4 , y los predicados

r x, y : y = 0 y t x, y : x 2 + y 2 = 1 , determine el conjunto de verdad de cada

( )

( )

predicado.

( ) {(1,0) , (0,0) , (1,0) , (2,0)} , At ( x, y ) =

Respuesta: Ar x, y =

90) Respecto al tema anterior determine el valor de verdad de las siguientes proposiciones:

( )
xy r ( x, y )
xy t ( x, y )
xy t ( x, y )

xy r x, y
a)
b)
c)

( )
( )
x r ( x,0) y t ( y,0)

d) x r x,0 y t y,0
e)

Respuesta: a) 1, b) 1, c) 0, d) 0, e) 0, f) 0

91) La negacin de: Todas las computadoras tienen daada alguna de sus teclas, es:
a) Al menos una computadora tiene daada al menos alguna tecla.
b) Ninguna computadora tiene daada una de sus teclas.
c) Existen computadoras que no tienen daada tecla alguna.
Pgina 17 de 31

d) Todas las computadoras tienen daada la totalidad de sus teclas.

e) No existen computadoras con teclas daadas
Respuesta: c)

92) Determine el valor de verdad de cada proposicin:
a) #$xy ( p ( x, y ) q ( x, y ))%& xy #$ p ( x, y ) q ( x, y )%&
b) #$yx ( p ( x ) q ( y ))%& yx #$p ( x ) q ( y )%&
c) #$( Ap ( x ) = Re) ( Ap ( x ) = )%& #$xp ( x ) p ( x )%&
Respuesta: a) 1, b) 0, c) 0

93) Dados los conjuntos referenciales Re x = 1,0,1,2 y Re y = 0,1,4 y el predicado

p(x, y): y es el cuadrado de x, entonces es FALSO que:

a) xyp x, y b) xyp ( x, y ) c) xyp x, y d) yxp ( x, y ) e) yxp ( x, y )

( )

( )

Respuesta: e)

94) Sean los conjuntos referenciales Re x = 1, 2, 3 , Re y = {a, b, c, d } y el predicado

( )

p x, y : " x" es el nmero que indica el lugar que ocupa " y" en el abecedario
Entonces es VERDAD que:
a)
b)
c)
d)

e)

( )
y x p ( x, y )
x y p ( x, y )
y x p ( x, y )
x y p ( x, y )
x y p x, y

Respuesta: a)

95) Dados los conjuntos referenciales Re x = 1,0,2,4 , Re y = 1,2,5,10 y el predicado

p x, y : x 2 +1 = y , determine:

( )

b)

( )
El conjunto de verdad: Ap ( 2, y )

c)

El valor de verdad de la proposicin: xyp x, y xyp x, y

a)

El conjunto de verdad: Ap x, y

( )
( )
Respuesta: a) Ap ( x, y ) = {(1,2) , (0,1) , ( 2,5)} , b) Ap ( 2, y ) = {( 2,5)} , c) 1

Pgina 18 de 31

96) Dados los conjuntos referenciales Re x = 2,1,0,1,2,3 y Re y = 2,1,0,1,2 , y el

( )

predicado p x, y :

x y . Determine el valor de verdad de las siguientes

proposiciones:

( )
xyp ( x, y )
x ( x,2)
yp (2, y )

yxp x, y

a)
b)
c)
d)

Respuesta: a) 0, b) 1, c) 1, d) 1

97) Sean los conjuntos referenciales Re x = 3,1,2,4 , Re y = 2,4,6 y el predicado

( ) ( x y)

p x, y :
a) 0

( ( ))

= x 2 y 2 , entonces N Ap x, y es igual a:

b) 2

c) 6

d) 8

e) 12
Respuesta: b)

98) Tomando en consideracin: Re x = { x / x es un acontecimiento histrico del Ecuador}

Re y = { y / y es una fecha}

y el predicado p x, y : El evento x ocurri en la fecha y

Interprete en lenguaje natural cada proposicin:

a)
b)

xy #$ p x, y %&
yx #$ p x, y %&

( )
( )

c)

yx #$ p x, y %&

d)

xy #$ p x, y %&

( )

99) Dados los conjuntos referenciales Re x = 2,1,0,1,2,3 y Re y = 2,1,0,1,2 , y el

( )
xy p ( x, y )
xy p ( x, y )
y p (3, y )
y p (2, y )
y p ( y, y )

predicado p x, y : x es menor o igual que y . Determine el valor de verdad de:

a)
b)
c)
d)

e)

Respuesta: a) 0, b) 1, c) 0, d) 1, e) 0
Pgina 19 de 31


Razonamientos con predicados y cuantificadores

100) En una pequea localidad del pas Todos los que tienen Facebook tienen Twitter e
Instagram, pero Pancho no tiene Twitter. Cul o cules de las siguientes conclusiones se
pueden inferir a partir del enunciado anterior?
a) Pancho no tiene Instagram.
b) Pancho no tiene Facebook.
c) Pancho tiene Instagram.
Respuesta: a) No, b) S, c) No

101) Determine la validez del siguiente razonamiento: Ninguna rana es batracio. Existen ranas
que son acuticas. Ren es un batracio acutico. Entonces, Ren no es una rana.
Respuesta: Vlido.

102) Determine la validez del siguiente razonamiento: Todas las bebidas alcohlicas son
dainas. Todas las bebidas dainas causan enfermedades. En consecuencia, todas las
bebidas alcohlicas causan enfermedades.
Respuesta: Vlido.

103) Determine la validez del siguiente razonamiento: Nadie que tiene como inters primario
ganar las elecciones es un verdadero liberal y todos los polticos activos son personas cuyo
inters primario es ganar las elecciones; en consecuencia, ningn verdadero liberal es un
poltico activo.
Respuesta: Vlido.

104) Determine la validez del siguiente razonamiento: Ninguna persona dbil es un lder
sindical, porque ninguna persona dbil es un verdadero liberal y todos los lderes sindicales
son verdaderos liberales.
Respuesta: Vlido.

105) Determine la validez del siguiente razonamiento: Todos los profesionales son
respetables. Ningn vendedor de Yanbal es profesional. Existen profesionales que son
doctores. Luego, si Carlos es un doctor respetable, Carlos no es vendedor de Yanbal.
Respuesta: No vlido.

106) Sean H1 , H 2 , H 3 y H 4 hiptesis de un razonamiento y C su conclusin. Defina un


referencial para el razonamiento y determine su validez.
H1 : Todos los ratones son una plaga.

H 2 : Existen roedores que son ratones.

H 3 : Ninguna plaga es tomada como mascota.

H 4 : Jerry es un roedor.

C : Existen roedores que no son tomados como mascotas.

Respuesta: Vlido.

Pgina 20 de 31

107) Dadas las siguientes hiptesis de un razonamiento:

H1 : Todos los ecuatorianos son futbolistas.

H 2 : Ningn futbolista es lento.

H 3 : Algunos hombres son futbolistas.

Una conclusin C que hace VLIDO el razonamiento es:
a) Algunos ecuatorianos no son futbolistas.
b) Todo futbolista es hombre.
c) Todo futbolista es lento.
d) Algunos hombres no son futbolistas.
e) Algunos hombres no son lentos.
Respuesta: e)

108) Considere las siguientes premisas de un razonamiento:
P1 : Todos los barcelonistas son hombres. P2 : Algunos hombres son fieles.

P3 : Hay mujeres que son fieles.

P4 : No existen barcelonistas que no sean fieles.

Entonces una conclusin para que el razonamiento sea vlido es:
a) Algunos barcelonistas no son fieles.
b) Todas las mujeres no son fieles.
c) Todas las mujeres son fieles.
d) Todos los fieles son hombres.
e) Todos los hombres barcelonistas son fieles.
Respuesta: e)

109) Dadas las premisas de un razonamiento:
P1 : Las tribus no contactadas son tribus nmadas.

P2 : Las tribus nmadas son tribus cazadoras y guerreras.

P3 : Existen tribus cazadoras que no son nmadas y habitan en Ecuador.
P4 : La tribu Huaorani es una tribu no contactada.

Determine al menos dos conclusiones, distintas a las hiptesis, con las cuales el
razonamiento sea vlido.

() () ()
{x #$ p ( x) q ( x)%&x #$q ( x) r ( x)%&} x #$ p ( x) r ( x)%&

110) Dado Re y los predicados p x , q x y r x , demuestre formalmente que:

() () ()
{x #$ p ( x) q ( x)%&xp ( x)} xq ( x)

111) Dado Re y los predicados p x , q x y r x , demuestre formalmente que:

Pgina 21 de 31

112) Dadas las siguientes hiptesis:

H 1 : Todo profesional tiene ttulo.

H 2 : Ningn irresponsable tiene ttulo.

H 3 : Algunos profesores tienen ttulo.

Entonces una conclusin que se puede inferir de las premisas anteriores es:
a) Ningn profesional es profesor.
b) Ninguno que tiene ttulo es profesional.
c) Existen profesores que son irresponsables.
d) Ningn irresponsable es profesional.
e) Algunos irresponsables son profesionales.
Respuesta: d)

113) Dadas las siguientes premisas:

P1 : Todos los que votan son adultos.

P2 : Algunos abuelitos no votan.

Una conclusin C que hace vlido el razonamiento #$ P1 P2 C %& es:
a) Algunos abuelitos son adultos.
b) Todos los que votan no son abuelitos.
c) No todos los abuelitos votan.
d) No todos los abuelitos son adultos.
e) Todos los adultos son abuelitos.

Respuesta: c)

114) Sean las premisas:

P1 : Todos los nmeros racionales son reales.

P2 : Ningn nmero imaginario es real.

P3 : Algunos nmeros complejos son reales.

Indique la validez del razonamiento P1 P2 P3 C para cada conclusin planteada:

a) Ningn nmero racional es complejo.
b) Ningn nmero imaginario es racional.
Respuesta: a) No vlido, b) Vlido

115) Si se tienen las hiptesis:

H 1 : Todos los terremotos son temblores.

H 2 : No todo temblor es terremoto.

H 3 : Algunos terremotos son tsunami.

Determine la validez del razonamiento para cada conclusin planteada:
a) Algunos terremotos no son tsunami.
b) Ningn terremoto es temblor.
Respuesta: a) No vlido, b) No vlido
Pgina 22 de 31

1.13 Pares ordenados y producto cartesiano

116) Defina:
a) Par ordenado.
b) Producto cartesiano.
c) Terna ordenada.

117) Sean A = 1,2 y B = 3,4,5 el producto cartesiano A B tiene:

{ }

a)
b)
c)
d)
e)

2 elementos
3 elementos
4 elementos
5 elementos
6 elementos
Respuesta: e)

118) Un equipo de bsquetbol, necesita un uniforme nuevo. En la tienda le ofrecen dos tipos,
= , ; en tres colores disponibles, = , , .
Determine el conjunto T C e interprtelo.

119) Demuestre formalmente las siguientes propiedades del producto cartesiano:

a)
b)
c)

( ) ( ) ( )
A ( B C ) = ( A B) ( A C )
A ( B C ) = ( A B) ( A C )
A B C = A B A C

120) Sea = 100,101, ,999 , determine:
a) La cardinalidad de .
b) Especifique tres conjuntos A, B y C, tales que cada uno contenga los dgitos que
permitan construir los nmeros de tres cifras especificados en . La relacin que se
debe formar es que cada elemento de los 3 conjuntos tenga la caracterstica de que
al menos un dgito sea un 3 o un 7. Ejemplos: 300, 707, 736, etc.

121) Se cumple la propiedad conmutativa en el producto cartesiano entre dos conjuntos
cualesquiera A y B :
a) Verdadero

b) Falso

122) Determine los valores de a y b que hacen que se cumpla la siguiente igualdad entre
pares ordenados:

!
1$
# a + b, & = 1,a b
2%
"

123) Demuestre formalmente que:

( A D) ( B E ) ( A B) ( D E )

Pgina 23 de 31

124) Sean los conjuntos:

A = { x ! 1 x 2}

( ! es el conjunto de los nmeros enteros)

B = { x ! 1 x 2} ( ! es el conjunto de los nmeros enteros positivos)

Determine: A B y B A

125) Sean A = 1,2 , B = a y C = 1,3 , tabule el conjunto: A B C

{ }

{}

{ }

126) Sean A , B y C conjuntos no vacos de cierto referencial. Entonces es FALSO que:

( A B) C = ( A C ) ( B C )
A ( B C ) = ( A B) ( A C )
B A = {( x, y ) / ( x B) ( y A)}
Si N ( A) = N ( B ) , entonces A B = B A
Si N ( A) = 4 y N ( B ) = 2 , entonces N ( P ( A B )) = 256

a)
b)
c)
d)
e)

Respuesta: d)

127) Sean A , B y C conjuntos no vacos y disjuntos. Si se conoce que N A B C = 24 ,

( )

N A B = 7 y N C = 2 , entonces la suma de las posibles cardinalidades del conjunto

A es igual a:
a) 1

b) 3

c) 6

d) 7

e) 12

Respuesta: d)

128) Dados los conjuntos disjuntos A y B ; y, un conjunto C tal que C B . Si se sabe que

N ( A) = 4 , N ( B A) = 3 y N ( B C ) = 2 , entonces el valor de N ( A C ) es:

a) 4

b) 6

c) 8

d) 10

e) 12
Respuesta: a)

129) Sean A , B y C tres conjuntos tales que:

A = {a,b,c} , B = { x, y, z} y C = {1,2,3,4}
Identifique la proposicin FALSA.

) ( )

a)

N A B C = N A B N C

b)

{(a, x,1)} A B C
( y,c,2) A B C
N (C C ) N ( B A)
{(a, z,3) , (c, x,3)} A B C

c)
d)
e)

Respuesta: c)
Pgina 24 de 31

130) Dado el conjunto D = a,1,% . Identifique la proposicin FALSA:

( ( ))

a)

N P D = 8

b)

P D

c)

{a,1,%} P ( D)

d)

)
{a,1} P ( D)

e)

( )

N D D = 9
Respuesta: c)

1.14 Relaciones

131) Defina:
a) Relacin de A en B .
b) Composicin entre dos relaciones.

{ } {
}
R = {( 3,2 ) ,(1,8) ,(5,4 )} es una relacin de A en B .
R = {( 2,3) ,( 6,1) ,( 4,5)} es una relacin de B en A .
R = {( 3,6 ) ,(1,4 ) ,(5,8) ,( 2,1)} es una relacin de A en B .

132) Sean: A = 1,3,5 , B = 2,4,6,8 . Determine la proposicin FALSA.

a)
b)
c)

Respuesta: c)

133) Sean: A = 1,3,5 , B = 2,4,6,8 , determine los elementos que conforman cada
relacin:

{( x,y ) ( x A) ( y B) ( x > y )}
= {( x,y ) ( x A) ( y B ) ( x > y )}

a)

R1 =

b)

R2

134) Determine el dominio y el rango de las dos relaciones definidas en el ejercicio anterior.

135) Sea: R : A A una relacin, donde A = 1,2,3,!,10 dada por

R = (1,1) ,(1,2 ) ,(1,3) ,( 2,4 ) ,( 2,5) ,( 7,6 )

Respuesta: domR = 1,2,7 ,rgR = 1,2,3,4,5,6

{
} B = {1,2,3} ,
S = {( 2,1) ,( 3,1) ,( 2,4 ) ,( 3,5)}

136) Sean: A = 1,2,3,4,5 ,

C = {1,4,5,8} ,

R = (1,2 ) ,( 3,2 ) ,( 4,1)

Determine, de ser posible: S ! R

Pgina 25 de 31

137) Sean: A = 2,3,4,5,6 y R =

{( x,y ) ( x A) ( y A) x y es divisible por 3}

Tabule R por extensin.

138) Determine el dominio y el rango de la relacin del ejercicio anterior.

139) Sean S y T relaciones de X Y , pruebe que: S T

= S 1 T 1

140) Considere los conjuntos A = Martha,Susan, Hilda, Ivette, Ivonne,Victoria y

B = { Jorge, Alfredo, Jos, Eduardo, Antonio, Alberto, David } .

Si se define la relacin:

{( ) (

) (

R1 = x, y / x A y B " x tiene letras repetidas y esa letra consta en el elemento y"

Determine:
a) El diagrama sagital de R1
b)
c)

dom R1
rg R1

141) Considerando los conjuntos del tema anterior, si se define la relacin:

R2 = {( x, y) / ( x B) ( y A) "x!no!comienza!en!consonante!y!el!elemento!y!termina!en!vocal"}
Determine:
a) El diagrama sagital de R2
b)
c)

dom R2
rg R2

( )

( )

142) Sean los conjuntos A , B y C tales que N A = 4 , N B = 5 y N A B = 6 , el

nmero de relaciones que se pueden construir de A B en B A es igual a:
a) 8

b) 16
c) 32
d) 64
e) 128
Respuesta: d)

143) Sean los conjuntos A = 2,4,6 y B = 1,3,5,7 , tabule los elementos que conforman

cada relacin, represntelas en diagramas sagitales, y especifique su dominio y su rango:

) ( ) (
{( ) (
= {( x, y ) / ( x A) ( y B) ( y

)}

a)

R1 = m,n / m A n B 2m n = 5

b)

R2

)}

100

144) Sean los conjuntos A = a,b,c,d y B = {1,2,3} , y las relaciones R 1 y R 2 de A en B ,

tales que:

R1 =

{(a,1) , (b,3) , (c,3) , (c,1) , (d,2)}

R2 =

{(d,3) , (b,3) , (a,1) , (c,1)}

Pgina 26 de 31

Identifique la proposicin VERDADERA:

a) rg R 2 = B
c)

(
)
N ( R R ) = 3

d)

rg R 1 = B

e)

rg R 1 rg R 2

b)

N R 1 R 2 = 4
1

Respuesta: d)

145) Dado el conjunto referencial: Re = 1,2,3,4,5

los conjuntos A = 2,3,5 B = 1,3,4,5 y las relaciones:

(
) (
{
) ( )}
= {(a,b) ( a (A B) (b (A B) (b > a )}

R1 = (m,n) m (B A n ( Ac B m = n

R2

Determine el valor de verdad de cada proposicin, justificando su respuesta.

a) Si R1 es una funcin, entonces R2 no es una funcin.
b)

N R1 R2 = 3
Respuesta: a) 1, b) 0

1.15 Funciones

146) Defina:
a) Funcin de A en B .
b) Funcin inyectiva.
c) Funcin sobreyectiva.
d) Funcin biyectiva.

{ }
mediante: t = {( x,1) ,( y,3) ,( z,2 )}

147) Dados los conjuntos X = x,y,z y A = 1,2,3 se define una relacin t entre X y A

a)
b)
c)

Es t una funcin de X en A ?
En caso de t ser una funcin Es inyectiva?Sobreyectiva? Biyectiva?
La relacin inversa de t entre A y X , es una funcin?. Es inyectiva, sobreyectiva
o biyectiva?

{
} {
f = {(1,2 ) ,( 2,3) ,( 3,4 ) ,( 4,5)}
g = {(1,2 ) ,(1,3) ,( 2,4 ) ,( 3,5) ,( 4,5)}
h = {(1,1) ,( 2,2 ) ,( 3,3)}

148) Sean los conjuntos A = 1,2,3,4 , B = 1,2,3,4,5 y las relaciones:

Determine cal(es) es(on) funcin(es) de A en B .
Pgina 27 de 31


149) Sean los conjuntos A = 3,2,1,0,1,2,3 y B = 0,1,2,3,4 . Si r1 , r2 y r3 son

relaciones de A en B , tales que:

r1 =

{( x, y ) / y = x +1}

r2 =

{( x, y ) / x + y = 0}

{( ) (

)}

r3 = 0,0 , 1,1

Justificando su respuesta, determine el valor de verdad de cada proposicin:

a) r1 r2 es una funcin.
b)

r1 r2 no es una funcin.

c)

(r r ) r es una funcin.
1

Respuesta: a) 0, b) 1, c) 1

A,B

150) Sean

f : A B

tales

que

A = {1,2,3,4} ,

f = (1,3) ,( 2,1) ,( 3,1) ,( 4,2 ) . Determine, de ser posible: f 1 ! f

B = {1,2,3}

151) Sean los conjuntos A = 1,2,3 y B = 2,3,4,5 .

Una de las siguientes relaciones es una funcin:
a)
b)
c)
d)
e)

{( x, y ) A B
R = {( x, y ) A B
R = {( x, y ) A B
R = {( x, y ) A B
R = {( x, y ) A B
R=

y = 2x

}
y = x 1}
y = 3x}
y = x + 3}
y = x + 1

Respuesta: b)

152) Sea f una funcin definida de A en B y g una funcin de B en A tales que:

{( ) ( ) ( ) ( )}

{( ) ( ) ( ) ( )}

f = ,1 , ?,a , ,1 , ,a g = 1,? , a, , , , ,
Entonces es FALSO que:
a)
f ! g no es una funcin sobreyectiva
b) f no es inyectiva y g es sobreyectiva
c)

A B = {?,, }

d)

g ! f es una funcin inyectiva

e)

rg f ! g = {a,1} rg g ! f = {?,}

Respuesta: d)
153) Sean las funciones f : A ! B , g : C ! B y h : D ! C :

{( ) ( ) ( ) ( )}

f = ,2 , ,3 , ,4 , ,5

{( ) ( ) ( ) ( ) ( )}

g = b,5 , c,2 , d,3 , e,4 , m,5

h = {(, b), ( , m), (, c), ( , e), (, c)}

Pgina 28 de 31

)) con su respectivo diagrama sagital.

a)

Determine la funcin f 1 ! g ! h

b)

Justificando su respuesta, complete el siguiente cuadro:

Es inyectiva?
Es sobreyectiva?


f

g





h



f 1 ! ( g ! h )

Es biyectiva?

154) Dados los conjuntos A = { p, q, r, s} , B = {m, n, o, p} y las funciones de A en B

{( p,m) , (q, p) , (r,m) , ( s,n)}

g = {( p, p ) , ( q,m) , ( r,n ) , ( s,o)}

f =

Determine el valor de verdad de cada proposicin:

a)
f g es una funcin inyectiva.
b)
g es sobreyectiva pero no inyectiva.
c)
f es inyectiva pero no sobreyectiva.
d)
g es una funcin biyectiva.
e)

f es una funcin biyectiva.

Respuesta: a) 0, b) 0, c) 0, d) 1, e) 0

155) Sean las funciones f : A ! B y g : C ! D :

D

B
A

3

1
a

2

2
b

3
c

1
4
d



C
a
b
c


Identifique la composicin de funciones que NO ES POSIBLE efectuar.
a) f ! g
b) g ! f
c) f 1 ! f
d) g ! g1
e) f 1 ! g1
Respuesta: b)

Pgina 29 de 31

156) Sean los conjuntos A = casa,tela, pluma,lpiz y B = amarillo,rojo,verde,caf , y

las funciones f : A ! B y g : A ! B .
f = casa,amarillo , tela,caf , pluma,amarillo , lpiz,rojo

)(
)(
)(
)}
{(
g = {( casa,caf ) , (tela,amarillo) , ( pluma,rojo) , ( lpiz,verde )}

Identifique la proposicin VERDADERA:

a)
f es inyectiva.
b) f es sobreyectiva.
c) g es biyectiva.
d)
e)

g ! f existe.
g no es sobreyectiva.
Respuesta: c)

157) Sean los conjuntos A = a,b,c , B = 1,2,3 , C = r, s,t y D = x, y, z . Y sean las

funciones f : A ! B , g : B ! C , h : C ! D tales que:

{( ) ( ) ( )}

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

Justificando su respuesta, determine el valor de verdad de cada proposicin:
a)
b)

c)

(h ! g ! f ) (b) = x
( f ! g ) = {(1,2) , (2,3) , (3,3)}
( f ! g ) = {(r,a) , ( s,c) , (t,c)}
1

158) Sean

los

conjuntos

A = { x, y,s,t } ,

{( ) ( ) ( ) ( )}

B = {1,2,3,4}

las

funciones

{( ) ( ) ( ) ( )}

R = 1, x , 4,s , 3,t , 2, y y S = 2,t , 3, y , 1, x , 4, y . De ser posible, tabule

la funcin S ! R1 y elabore su diagrama sagital. Si es posible construir S ! R1 ,
justificando su respuesta, indique si es inyectiva, sobreyectiva o biyectiva.




Pgina 30 de 31

159) Sean las funciones f y g definidas de A en B tales que:

{( ) ( ) ( ) (

)}

{( ) ( ) ( ) (

f = 5, , 6, , 9, , 10,

)}

g = 5, , 6, , 9, 10,

Entonces, es VERDAD que:

a)

rg f ! g 1 = { , } rg f 1 ! g = { }

b)

AB = {5,6,9,10}

c)
d)

g 1 ! f es una funcin sobreyectiva.

g 1 no es una funcin inyectiva f es una funcin sobreyectiva.

e)

dom g 1 ! f = {5,6,9,10}

Respuesta: e)
160) Sean los conjuntos A = 1,2,3,4 y B = r,s,t , f una funcin definida de B en A y

g una funcin definida de A en B , donde

{( ) ( ) ( )}

f = r,2 , s,3 , t ,1 y

{( ) ( ) ( ) ( )}

g = 1,r , 2,s , 3,t , 4,t .

Entonces, es VERDAD que:
a)
f ! g es una funcin inyectiva.

b)

rg f ! g = A

c)

( s,r ) g ! f
( g ! f ) = {( s,r ) ,(t ,s) ,(r,t )}

d)
e)

g ! f no es una funcin inversible.

Respuesta: d)

Pgina 31 de 31