ESCUELA

SUPERIOR POLITCNICA DEL LITORAL

FACULTAD DE CIENCIAS NATURALES Y MATEMTICAS
DEPARTAMENTO DE MATEMTICAS
CURSO DE NIVELACIN 2015 2S
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) Defina:
a) Cardinalidad de un conjunto.
b) Conjunto vaco.
c) Conjunto unitario.
d) Conjunto finito.
e) Conjunto infinito.
f) Conjunto referencial.

8) Proporcione 2 ejemplos de conjunto vaco.

9) Proporcione 2 ejemplos de conjunto unitario.

Pgina
1 d e 28
10) Proporcione 2 ejemplos de conjunto finito.

11) Proporcione 2 ejemplos de conjunto infinito.

12) Dado el conjunto referencial Re = 1,2,3,4,5,6,7,8,9,10 , tabule los siguientes
{ }
conjuntos:
a) { ( ) ( )}
A = x x 3 x < 8

b) B = { x ( x > 2) ( x es par )}

c) C = { x ( x = 4) ( x = 5)}
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 las siguientes proposiciones:
a) ( ) (
b A & C )
b) ({+} D) $%(a A) ( s B)&'
c) ( N ( D) = 2) (% C )
d) ({+} C ) $%(b B) (i C )&'
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 las siguientes proposiciones:

" N A = 3 N C = 5 $ " N B = 6 N D = 3 $
a) #( () ) ( ( ) ) % # % ( () ) ( ( ) )
b) ({%} D $% b C b B &'
) ( )( )
!( e A (i C # ( m B
c) " ) )$ )
d) (m A) (% D) (% B)
e) (# 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?

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

17) Sea Re un conjunto que tiene un solo nmero, determine el valor de verdad de la
2
siguiente proposicin: a Re, a +1 = a 2 + 2a +1
( )
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) Sea Re = {2, 4, 6, 7,8} , determine el valor de verdad de las siguientes proposiciones:
a) x ( x 3 +1 = 9 ) x ( x + 7 = 9 )
b) x ( x + 3 = 5) x ( x 2 > 1)
c) x ( x + a = a ) x ( x + 0 = x )
d) x ( x 3 + 5 = 6 ) x ( x 3 > 27)
Respuesta: a) 1 , b) 1 , c) 1 , d) 0

22) Dados los conjuntos A = {*, {*}, , {}} y B = { , { }, } , determine el valor de
verdad de las siguientes proposiciones:
a) ! *, A A # , B
"{( } ) (
$ { } ) ({ } )
b) ({ ,{ } B $& N P A = 8 N P B = 8 ')
} ) ( ( ( )) ) ( ( ( )) )
% (
Pgina
3 d e 28
 c) ( P ( B)) ( P ( A)) ( P ( B))
Respuesta: a) 0 , b) 1 , c) 1

23) 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.

24) Obtenga el conjunto potencia que corresponde a los siguientes conjuntos:
a) A = 1,a,#,@
{ } {{
b) B = 1, , }} c) C = {{3},{1,4}}

25) Sean los conjuntos A = {{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:
a) 0 b) 1 c) 2 d) 3 e) 6
Respuesta: b)

1.10 Operaciones entre conjuntos

26) Dados los conjuntos A y B no vacos, determine la definicin que es correcta:
a) { ( ) ( )}
A B = x / x A x B
C
b) ( A B) = {x / ( x A) ( x B)}
c) A B = { x / ( x B) ( x A)}

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

e) A B = { x / ( x A) ( x B)}
Respuesta: d)

27) Sean A y B subconjuntos de cierto referencial Re . Una de las siguientes proposiciones
es FALSA, identifquela.
a) ( ) (
) ( )
x A B x A x B
b) x ( A B) ( x A) ( x B)
C

C
c) x ( A B) %&( x A) ( x B)'(
d) ( x ) ( x A) 1
e) ( A B) ( B A ) C C

Respuesta: a)

Pgina
4 d e 28
28) 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 { } ( A B) C = {2,3,4,5,8,9}
( AC ) B = {1,2,3,10,11} ( B C ) A = {7,8,9,10,11}
Determine los elementos del conjunto C .
Respuesta: C = 1,6,7,10,11
{ }

29) Sean A , B y C tres conjuntos no vacos de un mismo referencial Re . Indique cul de
las siguientes proposiciones es VERDADERA.
a) ( A B) C = A ( B C )
C
b) ( A B C ) = A B C
c) ( A B) C = A ( B C ) C

d) A ( B C ) = ( A B) C
e) A ( B C ) = ( A B) ( A C )
Respuesta: e)

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

{ } { }
C
$ 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)

31) Dados los conjuntos:

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

C

( A B C ) = {10} , ( )
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}
C
e) ( B C ) = {2,3}
Respuesta: a)

Pgina
5 d e 28
32) 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}
( )
C A B =
B ( AC ) = {1}
( A B) C = {10}
Tabule el conjunto: B ( A B )

Respuesta: 1,7,8,9 { }

33) Sean A y B subconjuntos no vacos de un conjunto referencial Re , determine los
elementos de A y B si se conoce:
C
( A B ) = {,,,, ,,, }
C

C
( A A ) = {,,,,,, ,,, }
C

BC A = {,,, ,,}
C
( A B) = {,}
Respuesta: A = , ,, , B = ,,,,,,
{ } { }

34) Los conjuntos Re , P , R y S , se definen como sigue:
Re = { x x es cuadriltero} P = { x x es paralelogramo}
R = { x x es rectngulo} S = { x x es cuadrado}
a) Elabore un diagrama de Venn que muestre la relacin entre los conjuntos anteriores.
b) Elabore nuevos diagramas de Venn para cada una de las operaciones entre conjuntos
que se especifica:
C
(
(i) P S ) (
(ii) R S P )

35) 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} A C = {7,1,2}
B C = {6,1,2} C A = {5,8,9} 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)
Pgina
6 d e 28
36) En el diagrama a continuacin A , B y C son subconjuntos de un referencial
Re = {1,2,3,4,5,6,7,8,9}

I. Tabule los conjuntos:

a) ( A B) C
b) (A C
C B )
c) A B
(
d) AC B )
II. Sombree cada conjunto especificado en los tems anteriores, utilice un diagrama para
cada caso.

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

a) b)







c)






38) Dado el referencial Re = 1,2,3,4,5,6,7,8,9,10 y los conjuntos A , B y C tales que:
{ }
Ac = {3,4,5,8,9,10} B C = {1,2,6,10}

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

Tabule los conjuntos A , B y C .
Pgina
7 d e 28
1.11 Propiedades de las operaciones entre conjuntos

39) Sean A y B subconjuntos de un referencial Re , determine el valor de verdad de las
siguientes proposiciones. Si es verdadera, demustrela formalmente; y, si es falsa,
proporcione un contraejemplo:
a) Si x , entonces x A
( )
b) Si x A B , entonces x 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 =

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

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

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

43) Proporcione un contraejemplo para la proposicin:
A B D %& A B A D '(
( ) ( ) ( )

44) Sean A y B subconjuntos de un referencial Re, con el uso del lgebra Proposicional,
demuestre formalmente que:
! A B A B # A = B
(
" $ ) ( ) ( )

45) Demuestre formalmente que para cualquier par de conjuntos A y B se cumple que:
( )
N A B = N A + N B N A B ( ) ( ) ( )

46) 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$
y ( )
N # A B C & = 2 , entonces el nmero de elementos del conjunto
" %
( A B) ( AC ) ( B C ) es igual a:
a) 3 b) 4 c) 5 d) 6 e) 7
Respuesta: d)

Pgina
8 d e 28

47) Dados los conjuntos A , B y C subconjuntos de Re = x / x , x 10 que cumplen { }

las siguientes condiciones:
C C
A B = {3,9} (C B) = {1,2} AC = {9,10} ( A B C ) =
El conjunto ( B C ) A es igual a:

a) b) {3,9,10} c) 1,2,3,6,7 d) 9
{ } {} e) 4,5,6,7,8
{ }
Respuesta: e)

48) 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)

49) 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)

50) 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

51) 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
Pgina
9 d e 28

52) 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

53) 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

54) 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)

55) 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 C
Re) (C C B)
b) BC (C C B)
c) ( B C ) AC
d) ( A B C ) AC
e) ( A B) #$( B C ) A%&
Respuesta: e)

56) Dada la regin sombreada:

Re

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


Pgina
1 0
d e 28
57) 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 %&
( ( ))
# AC B% # A B C % #C A B %
b) $( ) & $( ) & $ ( )&
# AC B% # A B C % #Re A B %
c) $( ) & $( ) & $ ( )&
# A B C % #C A B %
d) $( ) & $ ( )&
e) # B AC % #C A B %
$ ( )& $ ( )&
Respuesta: b)

58) 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) ( A C ) ( B A)
#( A B C % #( B C A%
b) $ ) & $ ) &
#(C A B% #( A C B%
c) $ ) & $ ) &
d) B ( A B C )
e) ( A B) ( A B C )
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.

Pgina
1 1
d e 28

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
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)

Pgina
1 2
d e 28
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 : y q x : x 2 > 1
()
Determine:
a) ()
Ap x
b) A"#p ( x ) q ( x )$%

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

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

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

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

67) Sea el conjunto referencial Re = {10,15, 20, 25, 30, 35, 40, 45, 50} y los predicados:
p ( x ) : x!es!mltiplo!de!10 q ( x ) : x!es!divisible!para!3
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)

Pgina
1 3
d e 28
68) Dado Re = 2,1,0,1,2,3,4,5 , determine el valor de verdad de cada proposicin:
{ }
a) x, x 2 < 10
b) x, x + 5 = 1 x
c) (x, ) (
x 2 = 16 x, x > 2
)
d) (x, ( x = 25)) (x, ( x 4) ( x + 3) = 0)
2

e) 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:
a) ( )
x x +1< 8
b) x ( x + 7 = 9)
c) x ( x 2 > 1)
d) x ( x + a = a )

e) (
x x 3 + 5 = 6 )
Respuesta: b)

70) Dado el referencial Re = 3,2,1,1,2,3,4 y los predicados:
{ }
p x : x > 0 q x : 2x 1> 1 r x : x 2 = 25 s x : x es par
() 2
() () ()

Determine el valor de verdad de las siguientes proposiciones:
()
a) x p x ()
b) x p x ()
c) x q x ()
d) x q x

e) x r ( x ) f) x r ( x ) g) x s ( x ) h) x s ( x )

i) x p ( x ) j) x p ( x ) k) x r ( x ) l) x s ( 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

71) Respecto al tema anterior, determine el valor de verdad de las siguientes proposiciones:
a) x, #$ p x q x %&
() ()
b) x, #$q x q x %&
() ()
c) x, #$r x q x %&
() ()
d) (x r ( x)) (x p ( x))
e) (x r ( x)) x( p ( x) s ( x))
Respuesta: a) 0, b) 0, c) 0, d) 1, e) 0
Pgina
1 4
d e 28
72) La NEGACIN de la proposicin: x (( p ( x ) q ( x )) r ( x )) , es equivalente a:
a) ( )
x ( p ( x ) q ( x )) r ( x )
b) x (( p ( x ) q ( x )) r ( x ))
c) x ((p ( x ) q ( x )) r ( x ))
d) x (( p ( x ) q ( x )) r ( x ))
e) x (( p ( x ) q ( x )) r ( x ))
Respuesta: e)

(() ( ()
73) Al NEGAR la proposicin x q x q x p x ( ))) , se obtiene:
a) ( ( ))
x q x

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

c) x (q ( x ))

d) x (q ( x ))

e) x (p ( x ))
Respuesta: c)

( ( ) ( ( ) ( ))) , es equivalente a:
74) La NEGACIN de la proposicin: x p x p x q x

a) ()
x q x
b) x q ( x )
c) x p ( x )
d) x p ( x )
e) x p ( x )
Respuesta: c)

75) Determine el valor de verdad de las siguientes proposiciones, justifique formalmente su
respuesta:
a) (x p ( x) x q ( x)) x ( p ( x) q ( x))
b) (x p ( x) x q ( x)) x ( p ( x) q ( x))
c) ()
Si N Re 0 , entonces x p x x p x
( ) ()

Pgina
1 5
d e 28
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.
( )
a) x p x, y

b) yx p ( x, y )
c) x p ( x, y )
d) p ( x,3)
e) p ( x,2)
f) y p (1, y )
Pgina
1 6
d e 28

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) xy %&( x < y ) ( x 3) ( y < 4)'(

c) xy %&( x y ) ( x = 3) ( y 4)'(

d) xy &'( x y ) ( x 3) ( y 4)()

e) 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:
( )
a) yx p x, y ( )
e) xy p x, y

b) xy p ( x, y ) f) x p ( x,0)
c) xy p ( x, y ) g) y p (1, y )
d) xy p ( x, y ) h) y p ( 2, y )

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:
( )
a) xy q x, y ( )
e) yx q x, y

b) xy q ( x, y ) f) x q ( x,0)
c) xy q ( x, y ) g) y q (1, y )
d) xy q ( x, y ) h) y q ( 2, y )

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

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:
Pgina
1 7
d e 28
 a) ( ) {( ) ( ) ( ) ( )}
Ap x, y = 0,0 , 1,1 , 2,4 , 3,9

b) xyp ( x, y )
c) xyp ( x, y )
d) xyp ( x, y )
e) Ap ( x, y )
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.
( )
a) p x,2 ( )
c) y p x, y

b) p (1, y ) d) x p ( x, y )
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.
Respuesta: Ar x, y = ( ) {(1,0) , (0,0) , (1,0) , (2,0)} , At ( x, y ) =

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

( )
xy r x, y
a) xy r ( x, y ) ( ) ( )
d) x r x,0 y t y,0

b) xy t ( x, y ) e) x r ( x,0) y t ( y,0)
c) xy t ( x, y )
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.
d) Todas las computadoras tienen daada la totalidad de sus teclas.
e) No existen computadoras con teclas daadas
Respuesta: c)


Pgina
1 8
d e 28
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 )%&

d) #$xyz p ( x, y, z )%& xyz p ( x, y, z ) ( )

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

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) ( )
x y p x, y
b) y x p ( x, y )
c) x y p ( x, y )
d) y x p ( x, y )
e) 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:
( )
a) ( )
El conjunto de verdad: Ap x, y

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

c) ( ) ( )
El valor de verdad de la proposicin: xyp x, y xyp x, y

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

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:

Pgina
1 9
d e 28
 a) ( )
yxp x, y
b) xyp ( x, y )
c) x ( x,2)
d) yp (2, y )
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
{ } { }
2
( ) ( x y)
p x, y : ( ( ))
= x 2 y 2 , entonces N Ap x, y es igual a:
a) 0 b) 2 c) 6 d) 8 e) 12
Respuesta: b)

98) Tomando en consideracin los conjuntos referenciales:
Re x = { x / x es un acontecimiento histrico del Ecuador} y
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) xy #$ p x, y %&
( )
b) 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
{ } { }
( )
predicado p x, y : x es menor o igual que y . Determine el valor de verdad de:

a) xy p ( x, y )
b) xy p ( x, y )
c) y p (3, y )
d) y p (2, y )
e) y p ( y, y )
Respuesta: a) 0, b) 1, c) 0, d) 1, e) 0




Pgina
2 0
d e 28
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
2 1
d e 28
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.

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

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

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

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

Pgina
2 2
d e 28
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
2 3
d e 28

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) 2 elementos
b) 3 elementos
c) 4 elementos
d) 5 elementos
e) 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) ( ) ( ) ( )
A B C = A B A C
b) A ( B C ) = ( A B) ( A C )
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
2 4
d e 28

124) Sean los conjuntos:
= /1 2 ( es el conjunto de los nmeros enteros)
= / ! < 8 ( 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 , determine el conjunto: A B C
{ } {} { }

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

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

d) Si N ( A) = N ( B ) , entonces A B = B A

e) Si N ( A) = 4 y N ( B ) = 2 , entonces N ( P ( A B )) = 256
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) 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
c) ( y,c,2) A B C
d) N (C C ) N ( B A)

e) {(a, z,3) , (c, x,3)} A B C

Respuesta: c)

129) Dado el conjunto D = a,1,% . Identifique la proposicin FALSA:
{ }
a) ( ( ))
N P D = 8
b) P D ( )
Pgina
2 5
d e 28
 c) {a,1,%} P ( D)
d) ( )
N D D = 9
e) {a,1} P ( D)
Respuesta: c)

1.14 Relaciones

130) Defina:
a) Relacin de en .
b) Composicin entre dos relaciones.

131) Sean: = 1,3,5 , = 2,4,6,8 . Determine la proposicin FALSA.
a) ! = 3,2 , 1,8 , 5,4 es una relacin de en .
b) ! = 2,3 , 6,1 , 4,5 es una relacin de en .
c) ! = 3,6 , 1,4 , 5,8 , 2,1 es una relacin de en .
Respuesta: c)

132) Sean: = 1,3,5 , = 2,4,6,8 , determine los elementos que conforman cada relacin:
a) ! = , / >
b) ! = , / + 7

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

134) Sea : una relacin, donde = 1,2,3, ,10 dada por
= 1,1 , 1,2 , 1,3 , 2,4 , 2,5 , 7,6
Determine el dominio y el rango de .
Respuesta: dom = {1, 2, 7}, rg = {1, 2, 3, 4, 5, 6}

135) Sean: = 1,2,3,4,5 , = 1,2,3 , = 1,4,5,8 ,
= 1,2 , 3,2 , 4,1 = 2,1 , 3,1 , 2,4 , 3,5
Determine, de ser posible: S ! R

136) Sean:
= 2,3,4,5,6 = , / 3
Determine por extensin.

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

138) Sean relaciones de , pruebe que: !! = !! !!

139) Considere los conjuntos A = Martha,Susan, Hilda, Ivette, Ivonne,Victoria y
{ }
B = { Jorge, Alfredo, Jos, Eduardo, Antonio, Alberto, David } .

Si se define la relacin:

Pgina
2 6
d e 28
 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) dom R1
c) rg R1

140) 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) dom R2
c) rg R2

( ) ( ) (
141) 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)

142) 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:
a) {( ) ( ) ( ) (
R1 = m,n / m A n B 2m n = 5 )}
b) R2 = {( x, y ) / ( x A) ( y B) ( y x
100 )}

143) 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)}
Identifique la proposicin VERDADERA:
a) rg R 2 = B
b) (
N R 1 R 2 = 4
)
c) N ( R R ) = 3
1 2

d) rg R 1 = B
e) rg R 1 rg R 2
Respuesta: d)




Pgina
2 7
d e 28
144) Dado el conjunto referencial: Re = {1,2,3,4,5}
los conjuntos A = {2,3,5} B = {1,3,4,5} y las relaciones:

{ ) (
R1 = (m,n) m (B A n ( Ac B m = n
( ) ( )}
R2 = {(a,b) ( a (A B) (b (A B) (b > a )}
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

145) Defina:
a) Funcin de en .
b) Funcin inyectiva.
c) Funcin sobreyectiva.
d) Funcin biyectiva.

146) Dados los conjuntos = , , y = 1,2,3 se define una relacin de en
mediante: = , 1 , , 1 , , 2
a) Es una funcin de en ?
b) En caso de ser una funcin Es inyectiva? Sobreyectiva? Biyectiva?

147) Dados los conjuntos = , , y = 1,2,3 se define una relacin entre y
mediante: = , 1 , , 3 , , 2
a) Es una funcin de en ?
b) En caso de ser una funcin Es inyectiva?Sobreyectiva? Biyectiva?
c) La relacin inversa de entre y , es una funcin?. Es inyectiva, sobreyectiva o
biyectiva?
148) Sean los conjuntos = 1,2,3,4 , = 1,2,3,4,5 y las relaciones:
= 1,2 , 2,3 , 3,4 , 4,5
= 1,2 , 1,3 , 2,4 , 3,5 , 4,5
= 1,1 , 2,2 , 3,3
Determine cal(es) es(on) funcin(es) de en .

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 2 3

Respuesta: a) 0, b) 1, c) 1
Pgina
2 8
d e 28

150) Sean , y : tales que = 1,2,3,4 , = 1,2,3 y
= 1,3 , 2,1 , 3,1 , 4,2
Determine, de ser posible: f 1 ! f ( )

151) Si A = 2,4,6,8 y B = 1,3,5,7,9,11,13 . Entonces una relacin que define una funcin
{ } { }
de A en B es:
a) R1 ={( x, y ) A B / y > x}
b) R = {( x, y ) A B / x = 2 y 1}
2

2
c) R = {( x, y ) A B / 2 y = x x}
3

d) R = {( x, y ) A B / y = 2x 1}
4

e) R = {( x, y ) A B / y = x + 3}
5

Respuesta: e)

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)}
a) Determine la funcin f 1 ! g ! h ( ( )) con su respectivo diagrama sagital.
b) Justificando su respuesta, complete el siguiente cuadro:

Es inyectiva? Es sobreyectiva? Es biyectiva?
f

g

h

f 1 o g o h

Pgina
2 9
d e 28
154) Dados los conjuntos A = { p, q, r, s} , B = {m, n, o, p} y las funciones de A en B

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

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

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
A B
3

1 a
2 b 2

3 c

4 d 1

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)

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) g ! f existe.
e) g no es sobreyectiva.
Respuesta: c)
Pgina
3 0
d e 28

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) (h ! g ! f ) (b) = x
b) ( f ! g ) = {(1,2) , (2,3) , (3,3)}
c) ( f ! g ) = {(r,a) , ( s,c) , (t,c)}
1 1

158) Sean los conjuntos A = { x, y,s,t } , B = {1,2,3,4} y 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 ! R y elabore su diagrama sagital. Si es posible construir S ! R , justificando

1 1

su respuesta, indique si es inyectiva, sobreyectiva o biyectiva.

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) g 1 ! f es una funcin sobreyectiva.
d) g 1 no es una funcin inyectiva f es una funcin sobreyectiva.
e) ( )
dom g 1 ! f = {5,6,9,10}
Respuesta: e)

Pgina
3 1
d e 28
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
1
d) ( g ! f ) = {( s,r ) ,(t ,s) ,(r,t )}
e) g ! f no es una funcin inversible.
Respuesta: d)

Pgina
3 2
d e 28