Escolar Documentos
Profissional Documentos
Cultura Documentos
Lgica y Conjuntos
1.1 Proposiciones
1. Identifique cuales de los siguientes enunciados son proposiciones y en caso de no
serlo justifique su respuesta.
a. El lunes es un da aburrido.
b. 659 es un nmero par.
c.
x2 7 x + 6 = 0 .
d. Feliz Cumpleaos!
e. Ests cansado?
f. Los racionamientos de energa continan.
g. El 0 es un nmero natural.
h. La cada del Sol me inspira.
i.
3+ 7 = 4 o
4
=2.
2
[ d c ] [ b a ]
[ca ] ( d e )
( e d ) c ( b a )
Lgica y Conjuntos
f) Barcelona ser campen en la presente temporada siempre que la dirigencia
haga buenas contrataciones y los jugadores hagan un buen papel.
g) Tomo las medicinas pero no guardo reposo ya que tengo mucho trabajo por
hacer.
Inversa:
Contrarrecproca:
Inversa:
Contrarrecproca:
Lgica y Conjuntos
11. La condicin suficiente de la proposicin 84 es mltiplo de
divisible para 4
a)
b)
c)
d)
e)
84
84
84
84
84
es mltiplo de 2 .
es divisible para 4 o es mltiplo de
es divisible para 4 .
no es divisible para 4 .
es mltiplo de 2 y es divisible para
2 puesto que es
2.
4.
a : Me voy
b : Me quieres
Escriba la traduccin al lenguaje formal de la proposicin compuesta:
Es suficiente que me vaya para que me quieras
p , q y r para que el
( q r ) ( p q ) 0
( r q ) ( r p ) 0
( r p ) ( r q ) 1
( p r ) ( q r ) 1
16. Si
( a c) b
a (b c)
b ( a c )
b ( a c )
b ( a c)
la
proposicin
( a b ) ( c d ) es
FALSA
identifique
la
proposicin
VERDADERA:
a)
b)
c)
d)
e)
bc
ab
bd
a
ad
a, b, c, d
0, 1, 0, 0
0, 0, 1, 0
1, 0, 1, 0
1, 0, 0, 1
0, 1, 1, 0
son respectivamente:
Lgica y Conjuntos
18. Sean las proposiciones simples:
p: Uribe miente.
q: Correa miente.
r: Hay conflicto.
s: Las FARC entregan a los rehenes.
La traduccin de la proposicin compuesta Si Uribe y Correan mienten, entonces
hay conflicto. Las FARC no entregan a los rehenes, debido a que hay conflicto, es:
a) ( p q ) r ( s r )
b) ( p q ) r ( r s )
( p q ) r ( r s )
d) ( p q ) r ( r s )
c)
e) ( p r ) ( q r ) ( r s )
b a es falsa.
a d es falsa.
d e es falsa.
d a es falsa.
e a es falsa.
( a b ) c
b) a b c
c)
d)
e)
c ( a b )
( a b) c
c ( a b)
7
(b c) a
a (b c)
(b c) a
( a c ) b
e)
( b c ) a
( b c ) a
a ( b c )
a ( b c )
( a b ) c
1.8 Conjuntos
23. Si se define el conjunto
siguientes proposiciones.
a) a A
b) d A
c)
d)
{d } A
{d , e} A
e) A
Lgica y Conjuntos
1.9 Cuantificadores
26. Dado el referencial
a)
x ( x + 6 = 0 )
b)
x ( x + 1 5)
c)
x ( x + 1 = 0 )
d)
x ( x + 1 > 2)
e)
x ( x 1 = 0 )
A P ( A)
P ( A)
P ( A)
{{%}} P ( A)
A P ( A) =
A = { ,, ,}
B = { , }
C = {1, 2, }
N ( A) = N ( B )
.
b)
N ( B) = N (C )
.
c)
BC
.
d)
CA
.
e)
B A
.
f)
B=D
g)
D A
h)
DB
i)
CB
.
j)
DB
.
10
Lgica y Conjuntos
30. Para el conjunto
N (S ) = 4
.
b)
N ( P ( S )) = 8
.
c)
N P ( P ( S ) ) = 64
.
d)
@ P(S )
.
e)
{{$}} P ( S )
.
f)
{{?,}} S
.
g)
{{{?,}}} P ( P ( S ) )
.
h)
{{{@,$}}} P ( P ( P ( S ) ) )
.
i)
S
.
j)
P(S )
.
A = {} , entonces A P ( A) A .
b) Si A =
c) Si
d)
{ ,{}} , entonces N ( P ( A) ) = 2 .
A B y A C , entonces A ( B C ) .
A B = { x / x B x A}
e) Si A , entonces
A P ( A)
11
N ( A) = N ( B ) = 6 .
A B = {1, 6} ;
( B C ) A = {4,5} ;
( A B C)
A C = {2,3, 6}
= 10 ; C ( A B ) = {7,8,9}
A, B y C
12
a)
A B C = {1,9}
b)
C A = {7,8,9}
c)
C B = {1, 7,8}
d)
(B C)
e)
= {2,3}
Lgica y Conjuntos
35. Si
A,
B
y
son
subconjuntos
no
vacos
del
conjunto
C
Re = { , , , , , , , , , , } que satisfacen las siguientes condiciones:
( A B C ) = { ,}
C ( A B) =
C
A B C = { , }
B C = { , ,}
A B = { , }
Determine el conjunto C .
36. Sea el
(A B C)
( A B ) C = {3, 4,8,9}
C ( A B)
b)
( C A) B
( AC) B
(C B ) A
(B C) A
c)
d)
e)
Re
B
13
39. Si
a:
a)
b)
c)
d)
e)
14
( A B) ( D Cc )
[( A B ) (B C )] D c
( AC ) ( BD )
( AD ) ( D
Re
B
C
( D C c ) ( BD ) ( A B )
[( A B ) C ]c [A B ]
[(C A) B ] [A B C ]
[A B C ]c [C B ]
( A B )c C
[(B A) C ]
Re
A
B
Lgica y Conjuntos
1
40. Si A, B, C son conjuntos no vacos representados en el diagrama de Venn adjunto,
entonces la regin sombreada corresponde a:
a)
b)
c)
( A B)
Re
( A B C ) C ( A B )
A B )C ( A B ) C ( A B )
(
( A B C ) ( A B ) ( C ( A B ) )
A
C
( A B )C ( A B ) ( A B C )
e) ( A B ) ( B A ) C ( A B )
d)
a)
A ( B C )
b)
( A B C) A
( A B ) ( C A)
(( A C ) B ) (C ( A B ))
( A B) ( B C )
c)
d)
e)
B
Re
15
42. Los siguientes son los datos que muestran las preferencias de algunos aspirantes
ingresar a la universidad por ciertos programas:
50 prefieren medicina.
47 prefieren ingeniera.
35 prefieren biologa.
16 prefieren ingeniera y biologa.
11 prefieren medicina e ingeniera.
15 prefieren medicina y biologa.
9 prefieren las tres.
Determinar:
a) Cuntos
b) Cuntos
c) Cuntos
d) Cuntos
e) Cuntos
aspirantes
aspirantes
aspirantes
aspirantes
aspirantes
fueron encuestados?
prefieren nicamente medicina?
no prefieren biologa?
prefieren medicina o biologa pero no ingeniera?
prefieren medicina o ingeniera?
16
Lgica y Conjuntos
44. En una investigacin realizada en 100 muestras de agua, se observ que 50 de
ellas tenan microorganismos de tipo A, 30 muestras tenan microorganismos de
tipo B, y 40 muestras tenan microorganismos de tipo C. A 6 muestras se les
encontr los tres tipos de microorganismos, a 10 muestras se les encontr
microorganismos de tipo B y C, y a 20 muestras se les encontr microorganismos
de tipo A y B. Determine el nmero de muestras que tenan microorganismos slo
de tipo B.
45. En una entrevista realizada a 40 estudiantes del curso del nivel cero A, acerca de
los deportes que les gusta practicar, se obtuvo la siguiente informacin:
12 practican ajedrez, 14 tenis y 16 ftbol.
No hay estudiantes que practiquen ajedrez y tenis.
4 practican ajedrez y ftbol.
20 practican tenis o ftbol, pero no ajedrez.
Determine la cantidad de estudiantes que no practican deporte alguno.
46. En una encuesta aplicada a 1000 personas sobre el tipo de transporte que utilizan
para ir de la casa al trabajo se obtuvo la siguiente informacin: 431 usan metrova,
396 utilizan autobs, 101 utilizan metrova y taxi pero no autobs, 176 no utilizan
transporte alguno, 341 viajan en taxi, 634 utilizan metrova o taxi, y 201 se
transportan solo en metrova. Determine el nmero de personas que utilizan los
tres medios de transporte.
17
A A
b)
A B
c)
B A
d)
B B
A ( B C ) = A B A C
b) Si N ( A ) = 2 , entonces N P ( A ) = N ( A A )
c) Si N ( A ) = N ( B ) , entonces A B = B A
d)
B A = {( x, y ) / x B y A}
e) Si N ( A ) = 3 y N ( B ) = 1 , entonces N P ( A B ) = 8
18
Lgica y Conjuntos
50. Considere los conjuntos
a)
b)
c)
d)
e)
B ( A B ) = {( 0,1) , ( 0, 0 )}
N ( A ( A B )) = 6
N (( A B ) ( A B )) = 4
( A B ) ( B A) =
B ( A B ) = {(1, a ) , ( 0,*)}
51. Sean
}.
{( 2, c ) , ( 3, a )} A B
b)
N ( A B C ) = 18
c)
( b, ) B C
( a, ) B C
( , ) C C
d)
e)
52. Sean
verdad que:
a)
b)
c)
d)
e)
( b, 3 ) A B
{(1, b ) ; ( a, c ) ; ( 4, a )} A B
( 2, c ) B A
N ( B B) = 9
{( 2, 2 ) ; ( b, b )} A A
1.14 Relaciones
Para
los
ejercicios
A = {1,3,5, 7,9,11,13,15}
B = {2, 4, 6,8,10,12,14}
53. Construya las siguientes relaciones de A en
dominio y el rango de cada una de las relaciones
a)
R1 = {( x, y ) / x = y + 1}
b)
R2 = {( x, y ) / x > y}
B . Adicionalmente determine el
19
c)
R3 = {( x, y ) / x = y}
d)
R4 = {( x, y ) / x < y}
e)
R5 = {( x, y ) / x = 3}
f)
R6 = {( x, y ) / y = 2}
{( x, y ) / y = x 1}
b) R8 = ( x, y ) /
c)
x
<
2
R9 = {( x, y ) / x = 5}
d) R10 =
{( x, y ) / y = 1 y = 5}
e) R11 = ( x, y ) / y =
f)
20
R12 = {( x, y ) / y = 3}
Lgica y Conjuntos
55. Sea el conjunto
r1 : A A y
r2 : A A .
r1 = {( x, y ) / x + y es par}
r2 = {( x, y ) / x + y es mltiplo de 3}
Determine el nmero de elementos de
r1 r2
1.15 Funciones
56. Respecto a los ejercicios 53 y 54 determine si cada relacin es o no una funcin en
caso de no serlo justifique su respuesta.
R1
R2
R3
R4
R5
R6
R7
R8
R9
R10
R11
R12
57. Si A = {1, 2, 3, ,50} , B = {1, 2, 3,.., 40} y la relacin
POR:
R de A en B DEFINIDA
R es una funcin de A en B
b) dom ( R ) = A
c)
rg ( R ) = B
d)
R = A B
21
e) R =
58. Sean
R1 es una funcin de A en B .
b)
R1 R2 es una funcin de A en B .
c)
rg ( R1 ) rg ( R2
d)
)
dom ( R1 ) = dom ( R2 ) .
e)
R1 R2 es una funcin de A en B
R = {( x, y ) A B / x y = 0}
b)
R = {( x, y ) A B / 2 x y = 0}
c)
R = {( x, y ) A B / y > x}
d) R =
e)
{( x, y ) A B / x = 1}
R = {( x, y ) A B / 3x y = 0}
A = {, ,
A en B .
22
A en B .
A en B .
Lgica y Conjuntos
d) Es posible construir una funcin sobreyectiva de
B en A .
B en A .
A en B :
f = {(1,3) , ( 3,1) , ( 5,5 ) , ( 7, 7 )}
g = {(1, 7 ) , ( 3, 7 ) , ( 5,1) , ( 7,3)}
Determine
f 1 g .
f : M N y g : N M tales que:
f = {( A,1) , ( B,1) , ( C , 2 )}
g = {(1, B ) , ( 2, B ) , ( 3, C ) , ( 4, A )}
Determine el valor de verdad de las siguientes proposiciones justificando su
respuesta.
a)
f es inyectiva
.
b)
g es biyectiva
.
c)
M = {1, 2,3}
.
d)
rg f = {1, 2,3, 4}
.
e) Es posible construir
g f
.
23
a) dom r = A
b)
c)
rg r = {1, 2,5}
d)
rg r = {6,8,9}
e)
f es inyectiva, x Ay1 , y2 B ( y1 = f ( x ) y2 = f ( x ) ) y1 = y2
b) f es sobreyectiva, si y slo si rg f = A .
c) f es una funcin inversible, si y slo si la relacin inversa de f es una
a)
funcin.
d) Si N ( A ) > N ( B ) , entonces f es sobreyectiva.
e) Si f es inyectiva, entonces N ( A ) > N ( B ) .
g es la funcin inversa de f .
1
1
c) g existe o f existe.
b)
24
g.
Lgica y Conjuntos
66. Si
R es
una
relacin
sobre
el
definida
por
c)
d)
R es una funcin
rg R = A
e) dom R = {1 , 2}
67. Si
f : A B , tal que:
f = {(1, a ) , ( 2, e ) , ( 3, i ) , ( 4, u ) , ( 5, o )}
f (1) = f ( 2 )
.
b)
rg f 1 = A
.
c)
( a, 2 ) f 1
.
d)
{1} dom f 1
.
e)
N ( A ) N ( B ) = 10
.
25
69. Sean
f es inyectiva
.
b)
f es sobreyectiva
.
c)
g f es sobreyectiva
.
d)
g f es inyectiva
.
e)
g es biyectiva
.
f g est definida
.
b) Basta que
c) Es suficiente que
d) Si
e) Si
26