Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1.6 La oracin Que descansada vida la del que huye del mundanal ruido.
a) No es una proposicin lgica.
b) Es una proposicin lgica simple.
c) Es una proposicin lgica compuesta.
Es un enunciado nico acerca de la vida del que huye del ruido.
Ejercicio: 1.8
1.8 Sea p la proposicin "te tengo" y q la proposicin "te olvido", la proposicin "ni te tengo ni te olvido" se
representa por:
a)
b)
p q .
p q .
c) p q .
La respuesta b no es correcta ya que si aplicamos la ley de Morgan para eliminar la negacin quedara
p q p q , que no es lo mismo que la respuesta a p q .
La a son dos proposiciones negadas unidas por una conjuncin y la b son dos proposiciones negadas unidas
por una disyuncin.
En tabla de verdad se ve como no son iguales los resultados de la respuesta a y b.
p
V
V
F
F
q
V
F
V
F
F
F
V
V
F
V
F
V
(pq)
F
F
F
V
(pq)
V
F
F
F
(pq)
pq
F
V
V
V
F
V
V
V
1.9 Sea p la proposicin firmo (el documento) y q la proposicin leo (el documento); la proposicin
No firmo sin haberlo ledo se representa por
a)
b)
c)
p q .
p q .
p q .
Si nos fijamos en la respuesta b y miramos primero lo que hay dentro del parntesis:
(pq), firmo y no leo, que es justamente lo contrario a lo que se pide en el enunciado, por lo tanto slo me
queda negar esta proposicin,
(pq)
La a sera no firmo y no leo. No tiene sentido.
La c sera no firmo o no leo. No tiene sentido.
1.10 Si p es la proposicin te he visto y q la proposicin me acuerdo, la proposicin si te he visto, no
me acuerdo se simboliza por
a) p q .
b) p q .
c) q p .
Solucin: La respuesta correcta es la b.
p r q r .
p q r .
1.12 Siendo p marzo mayea, y q mayo marcea, la oracin Cuando marzo mayea, mayo marcea, se
expresa.
a) p q .
b) p q .
c) p q .
1.13 p simboliza sale cara, q sale cruz, r gano yo y s pierdes t. La proposicin Si sale cara,
gano yo; si sale cruz, pierdes t, se simboliza por.
a)
b)
c)
p r q s .
p q r .
p q r s .
Ejercicio: 1.17
q
V
F
V
F
p
F
F
V
V
q
F
V
F
V
(p) q
V
F
V
V
q
V
F
V
F
p
F
F
V
V
(p) q
F
F
V
F
q
V
F
V
F
q
F
V
F
V
(p q)
V
V
F
V
(p q)
F
F
V
F
q
V
F
V
F
p
F
F
V
V
(q p)
V
F
V
V
q
F
V
F
V
(p q)
V
V
F
V
(q p) (p q)
V
F
F
V
p
V
F
p
F
V
pp
V
V
(pp)
F
F
q
V
F
V
F
q
F
V
F
V
pq
V
V
F
V
q
V
F
V
F
p
F
F
V
V
(p) q
V
V
V
V
p
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
p (pq)
V
V
V
V
q
V
F
V
F
pq
V
V
V
F
pq
V
F
F
F
(pq) ( pq)
V
F
F
V
p
V
V
F
F
q
V
F
V
F
p
F
F
V
V
pq
V
V
V
F
(pq) p
F
F
V
V
1.27 La proposicin p p es
a) Es verdadera si p es falsa.
b) Es verdadera si p es verdadera.
c) Es siempre falsa.
p
V
F
p
F
V
p p
F
V
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
pq
V
V
V
F
(pq) ( pq)
V
V
V
V
q
V
F
V
F
p
F
F
V
V
(qp)
V
F
V
V
p(qp)
V
F
V
V
q
V
F
V
F
(qp)
V
V
F
V
p (qp)
V
V
F
F
q
V
F
V
F
(qp)
V
V
F
V
p (qp)
V
V
V
V
Ejercicio: 1.32
Si bebes, no conduzcas.
p q
Si no conduces, bebe.
q p
Si conduces, no bebas.
q p
Si no bebes, conduce.
p q
Comparamos la coincidencia entre las proposiciones y vemos que el enunciado coincide con la segunda.
Tabla de la verdad:
p
V
V
F
F
q
V
F
V
F
p
F
F
V
V
q
F
V
F
V
p q
F
V
V
V
qp
V
V
V
F
qp
F
V
V
V
pq
V
V
V
F
Ejercicio: 1.33
1.33 El razonamiento:
pq
q
p
Conclusin
p
V
V
F
F
Otra forma de resolverlo, Las premisas implican lgicamente la conclusin, es decir, un razonamiento ser
vlido cuando p1 p2 ... pn q .
Aqu vemos que (p q) y q NO implican p por lo tanto es una falacia.
p
pq
( p q) q
( p q) q p
V
V
F
F
V
F
V
F
V
F
V
V
V
F
V
F
V
F
V
F
V
V
F
F
V
V
F
V
Ejercicio: 1.34
1.34 El razonamiento:
Tabla de la verdad:
Premisas
p
V
V
F
F
q
V
F
V
F
p
F
F
V
V
q
F
V
F
V
p q
F
V
V
V
q
V
F
V
F
p
F
F
V
V
Otra forma de resolverlo, Las premisas implican lgicamente la conclusin, es decir, un razonamiento ser
vlido cuando p1 p2 ... pn q .
p q
( p q)q
(( p q)q)p
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
F
V
V
V
V
F
V
F
F
F
V
F
V
V
V
V
Ejercicio: 1.35
1.35 El razonamiento:
Los domingos voy al campo o voy de compras
El domingo voy de compras
El domingo no voy al campo
pq
q
p
p
V
V
F
F
q
V
F
V
F
Premisas
q
pq
V
V
V
F
V
V
F
F
Conclusin
p
F
F
V
V
Otra forma de resolverlo, Las premisas implican lgicamente la conclusin, es decir, un razonamiento ser
vlido cuando p1 p2 ... pn q .
Aqu vemos que (pq) y q No implican p por lo tanto NO es un razonamiento vlido.
p
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
( pq ) q
V
F
V
F
p
F
F
V
V
(( pq ) q ) p
F
V
V
V
Ejercicio: 1.36
Un amigo marciano afirma: Si llueve, llevo paraguas y, tambin, Cuando llevo paraguas, no llueve, de
estas premisas se deduce:
a) Siempre lleva paraguas
b) En Marte nunca llueve.
c) Algunos marcianos no siempre dicen la verdad
p = llueve;
q = llevo paraguas
pq
q p
p p
Por la ley del silogismo hipottico se deduce p p , es decir Si llueve, entonces no llueve. Esta
conclusin significa que no puede llover porque si alguna vez lloviese, p sera verdadera y p falsa,
resultando falsa la expresin p p .
Si hacemos la tabla de verdad de esta simbolizacin:
[(pq) (qp)](pp)
p
V
V
F
F
Ejercicio: 1.37
1.37 El razonamiento:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
Premisas
Conclusin
pq qr
rp
V
V
V
V
F
V
F
V
V
F
V
V
V
V
F
V
F
V
V
V
F
V
V
V
Ejercicio: 1.38
1.38 De las premisas: Marx, Engles o Lenin eran alguno francs y ni Engles ni Lenin eran franceses,
deducir que Marx era francs
a) Es una falacia.
b) Es un razonamiento vlido, caso particular del modus tollendo tollens.
c) Es un razonamiento vlido, caso particular del modus tollendo ponens.
p
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
q
F
V
F
V
((p q) q))
F
V
F
F
p
V
V
F
F
((p q) q)) p
V
V
V
V
Las premisas implican lgicamente la conclusin, es decir, un razonamiento ser vlido cuando
p1 p2 ... pn q
Para probar la validez de un razonamiento se forma la tabla de verdad de las premisas y la conclusin y se
comprueba que siempre que las premisas toman el valor de verdad V tambin la conclusin toma el valor de
V.
q
V
F
V
F
Premisas
pwq
5q
V
F
V
V
V
F
F
V
Conclusin
p
V
V
F
F
Ejercicio: 1.39
1.39 El razonamiento:
p
p
a) Es una falacia.
b) Es lgicamente vlido.
c) Es lgicamente vlido o falaz segn el valor de verdad de q.
Las premisas implican lgicamente la conclusin, es decir, un razonamiento ser vlido cuando
p1 p2 ... pn q
p
V
V
F
F
q
V
F
V
F
p p p
F
F
F
F
V
F
V
F
q ( p p)q
V
V
F
V
V
V
F
V
Para probar la validez de un razonamiento se forma la tabla de verdad de las premisas y la conclusin y se
comprueba que siempre que las premisas toman el valor de verdad tambin la conclusin toma el valor de
verdad.
Para probar que un razonamiento no es lgicamente vlido basta encontrar un caso en el que las premisas
sean verdaderas y la conclusin falsa.
Como no tenemos ningn valor que nos haga falso este razonamiento se deduce que es verdadero.
Premisas
p
V
V
F
F
q
V
F
V
F
p
V
V
F
F
p
F
F
V
V
Conclusin
q
V
F
V
F
ENTONCES q
Ejercicio: 1.40
Ejercicio: 1.49
El conjunto de las partes de un conjunto A es el conjunto cuyos elementos son todos los subconjuntos de
A. Se denota por P A
Elementos .
Conjuntos .
Respuesta,
Entre los subconjuntos de A, que son elementos de P A , est el subconjunto .
Tambin P A como cualquier otro conjunto contiene a .
En cuanto a 1, 2 , es cierto que 1, 2 P ( A) o bien que
b)
c)
a, e , a, i P( A)
a, e P( A)
a, e , a, i P( A)
Ejercicio: 1.52-1.53 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.52 Si A es el conjunto de los nmeros pares y B es el conjunto de los nmeros mltiplos de 5, A B es
a) .
b) El conjunto de los nmeros mltiplos de 10.
c) El conjunto de los nmeros mayores que 10.
Cantabria, La Rioja A B .
Galicia, Cantabria A B .
c) Islas Baleares A B .
Ejercicio: 1.54
Si a B , entonces a AC
Si a A , entonces a B
U
A
Ejercicio: 1.55
AC B
A B
x AC B
x A BC
U
B
x A BC
x A B
x AC B
x A B
Ejercicio: 1.56
A
A
BC
BC C
A B U
A 1, 2
AC 3
B 2,3
B C 1
U 1, 2,3
AC B C
A B U
3 1
1, 2 2,3 U
Ejercicio: 1.57
AC = {3, 4,5}
A = {1, 2}
B C = {4,5}
B = {1, 2,3}
NO se cumple
NO se cumple
B C AC
A BC = U
B A=
Ejercicio: 1.58
AC 1, 2,3,5
B 1, 2
B C 3, 4,5
U 1, 2,3, 4,5
Se cumple
NO se cumple
Se cumple
A B
A B U
B AC
1, 2 4
4 1, 2 1, 2, 4
1, 2 1, 2,3,5 3
1
4
5
Ejercicio: 1.59
1 1, 2 1, 2
A 1
AC 2,3
B 1, 2
B C 3
U 1, 2,3
Se cumple
NO se cumple
NO se cumple
A B
B A A
AC B C
1 1, 2
1, 2 1 1, 2
2,3 3 3
2
A
Ejercicio: 1.60
a) AC B C .
b) AC B .
c) B A .
A B
A B
C C
AC B
A B
C
A B
AC
B
AC B
Es la zona roja.
Es la zona amarilla ms la zona blanca ms la zona verde, que es igual a AC B .
Es la zona amarilla ms la zona verde.
Es la zona amarilla ms la zona blanca.
C
Es la zona amarilla ms la zona blanca ms la zona verde, que es igual a A B
A 2,3
AC 1
A B
B 1,3
B C 2
AC B 1,3
U 1, 2,3
1,3
Ejercicio: 1.61
A 1, 2
AC
A BC B
B 1, 2
BC
1, 2 1, 2
U 1, 2
Ejercicio: 1.62
A B
C
b) B A
C
c) A B
a)
A B B
A B BC
C
A BC BC
BC A
A A B
A B
B A B
A B
C C
AC B B
AC B AC B
AC B
A 1, 2
AC 3
B 2,3
B C 1
U 1, 2,3
A B
A B B
2,3 2,3
C
2,3
Ejercicio: 1.63
a) B A .
b) A = U .
c) A = y B = U .
Resultado 1.13 pgina 33.
La interseccin de dos conjuntos est contenida en cualquiera de los conjuntos que se intersectan.
A B A
( A B)
A B B
AC BC = A
Por lo tanto tenemos que AC BC AC y AC BC BC
Continuamos AC BC = A AC
Y como A AC necesariamente A =
A=
AC = {1, 2,3}
B = {1, 2, 3}
( A B)
BC =
=A
U = {1, 2,3}
Hola, Antonio.
En efecto,
A AC A = A AC =
Jos Mara
U
A
3
1
2
Ejercicio: 1.64
a) A B U .
b) B U .
c) A B .
A B A
A B
A B B
B que es equivalente a:
BC A B
BC A B B
BC B
Y como B C B necesariamente B C
A 1, 2,3
AC 3, 4
B 1, 2,3, 4 B C 4
A B
4 B
U 1, 2,3, 4
A
1
2
3
Ejercicio: 1.65
a) A BC .
b) AC B .
c) A B .
Tenemos la igualdad:
BC
AC B C
C C
A BC
A 1, 2
AC 3, 4
B 1, 2,3
B C 4
AC B C 3
U 1, 2,3, 4
B C 1, 2, 4
C
A B C 1, 2, 4
U
4
A
1
2
Ejercicio: 1.66
Tenemos la igualdad:
A B AC
A B A AC
A B
A B
A 1, 2,3
AC 4
B 1, 2, 4
B C 3
B A 1, 2, 4
A B A 1, 2
C
U 1, 2,3, 4
A B 1, 2
A
3
1
2
Ejercicio: 1.67
Tenemos la igualdad:
A
A
BC A
A BC A
BC A
C
A B
Si partimos de la expresin AC B C A tenemos que:
AC es la zona amarilla y la zona verde
BC es la zona roja y la zona verde
Si ahora estas dos zonas hacemos la interseccin con A, el resultado ser A B.
A-B
Ejercicio: 1.68
U
B
A = {1, 2}
B = {1, 2,3}
U = {1, 2,3, 4}
AC = {3, 4}
B C = {4}
1
2
Ejercicio: 1.69
B A B
B AC B
B AC
B AC es lo mismo que A B C y es igual a A B C A y resulta A B A
La nica respuesta correcta es la que se deduce lgicamente del enunciado, es decir, aquella para la que
se verifica que el enunciado implica dicha respuesta.
Dicho de otra forma, la proposicin condicional enunciado respuesta es una tautologa.
A 3, 4
AC 1, 2
B 1, 2
B C 3, 4
U 1, 2,3, 4
NO se cumple
A
Se cumple
A B A
NO se cumple
A B B
3, 4
3, 4 1, 2 3, 4
3, 4 1, 2 1, 2,3, 4
3
4
1
2
Ejercicio: 1.70
1.70 La propiedad de idempotencia de la interseccin de conjuntos significa que, para cualquier conjunto A, es
a) A .
b) A U A .
c) A A A .
La propiedad de idempotencia de la interseccin es: A A A
1.71 La propiedad de asociativa de la interseccin de conjuntos afirma que
a) A B B A .
b) A B C A B C .
c) A B B .
La propiedad de asociativa de la interseccin es: A B C A B C
Ejercicio: 1.74
y como
AB C AB C
entonces
A B C A , por lo tanto
B C A
Por otro lado segn el resultado 1.13 del libro tambin tenemos que: A B C B C y como
A B C A B C de aqu deducimos que A B C B C , segn el resultado 1.20
tenemos A B C
Ejercicio: 1.75
( A B ) = AC BC .
C
( A B ) = AC BC .
C
( A B ) = AC BC .
C
d) A = B .
e) A B = U .
f) A = B = U .
Tenemos la igualdad:
( A B)
(A
= ( AC BC )
B C ) = ( AC B C )
A= B
A = {1, 2}
B = {1, 2}
U = {1, 2,3}
AC = {3}
B C = {3}
b) A B = {1, 2} U
c) A = B = U , NO se cumple
Ejercicio: 1.77
b) A B B A .
C
c)
A B A B A B B A .
A B .
A la parte que est pintada de color amarillo y rojo, A B , le restamos la parte pintada de color rojo,
A-B
B-A
Ejercicio: 1.78
a) AC B .
b) B A .
c) A B .
A A B
C C
A B
A A B A B
A B A B
A B
A B .
Y teniendo en cuenta que si A B A B entonces A = B. Y de aqu deducimos que B A .
U
1
2
No hay ninguna respuesta que sea A = B, pero cuando se cumple que A = B, quiere decir que tienen los
mismos elementos y de aqu deducimos que B A , haciendo un pequeo ejemplo sera:
A 1, 2
AC 3
B 1, 2
B C 3
U 1, 2,3
Que coincide con la respuesta b.
AC B U
B A
A B A
Ejercicio: 1.79
a) B AC .
b) B A .
c) A B .
A B B A
A B C B AC
A BC BC A
A BC
Tenemos como resultado que A B C que es lo mismo que B AC .
B que es la zona verde es igual a AC que es la zona verde ms la zona azul.
C
B A Es la zona amarilla ms la zona azul
U
B-A
A-B
A 1, 2
AC 3
B 3
B C 1, 2
U 1, 2,3
A B B A
1, 2 3
1, 2 1, 2
C
Ejercicio: 1.80-1.82
1.80 En el conjunto de palabras A uno, dos, tres, cuatro, cinco se define la aplicacin f que asigna a
cada una su nmero de letras. Entonces
a)
f uno 1 .
b) f cinco 5 .
c)
f tres 3 .
f
uno
dos
tres
cuatro
cinco
3
4
5
6
1.81 Para ordenar por orden alfabtico las palabras del conjunto A uno, dos, tres, cuatro, cinco se
asigna a cada una el lugar que ocupa en dicho orden. Entonces
a) La imagen de tres es 4 y la preimagen de 2 es dos.
b) La imagen de uno es 4 y la preimagen de 1 es cinco.
c) La imagen de cuatro es 2 y la preimagen de 1 es cinco.
f
cinco
cuatro
dos
tres
uno
1
2
3
4
5
1.82 Se considera la abreviatura de cada palabra del diccionario, compuesta por sus dos primeras letras
seguidas de un punto. Entonces
a) que. es la imagen de queso.
b) fr es la imagen de fruta.
c) ar. tiene como preimagen arma.
Ejercicio: 1.83
1.83 La abreviatura de las palabras del diccionario, definida por sus dos primeras letras seguidas de un
punto, es una aplicacin bien definida en el conjunto de palabras del diccionario?
a) S.
b) No, porque hay palabras distintas con las misma abreviatura.
c) No, porque las palabras de una sola letra no tienen abreviatura.
Lo que nos estn preguntando es si cumplen con la propiedad de aplicacin una abreviatura definida de la
siguiente manera: sus dos primeras letras seguidas de un punto en el conjunto de todas las palabras del
diccionario.
Definicin,
Una aplicacin entre dos conjuntos A y B es una transformacin que convierte cada elemento del
conjunto A en un nico elemento del conjunto B.
f
1
2
3
4
a
b
c
d
La respuesta c dice que las palabras de una letra no tienen abreviatura, el enunciado nos pide dos letras y
un punto. Por lo tanto habra palabras en el conjunto inicial sin imagen y ya no cumplira con la condicin
de aplicacin.
La respuesta b significa que la correspondencia no es inyectiva, no que no sea aplicacin.
Definicin de aplicacin inyectiva: a cada elemento del conjunto inicial le corresponde un solo valor de
final tal que, en el conjunto inicial no puede haber dos o ms elementos que tengan la misma imagen.
f
libro
litro
li.
...
Ejercicio: 1.84
1.84 La abreviatura de las palabras del diccionario de ms de dos letras, definida por sus dos primeras
letras seguidas de un punto, es una aplicacin inyectiva?
a) S.
b) No, porque hay palabras distintas con las misma abreviatura.
c) No, porque las abreviaturas r. o qt. no corresponden a ninguna palabra.
Una aplicacin entre dos conjuntos A y B es una transformacin que convierte cada elemento del
conjunto A en un nico elemento del conjunto B.
f
1
2
3
4
a
b
c
d
Al haber distintas palabras con la misma abreviatura ya no cumple con la condicin de aplicacin
inyectiva, sera correcta la b.
Definicin de aplicacin inyectiva: a cada elemento del conjunto inicial le corresponde un solo valor de
final tal que, en el conjunto inicial no puede haber dos o ms elementos que tengan la misma imagen.
La c no sera correcta ya que no hay en el diccionario ninguna palabra cuyas dos primeras letras sean r. o
qt.
f
libro
litro
li.
...
Ejercicio: 1.85
1.85 Asignar a cada nmero del conjunto N = {0,1, 2,3,...} , la suma de sus cifras, define una aplicacin con
dominio N y rango N?
a) Si.
b) No, porque 10 y 100 tienen la misma imagen.
c) No, porque puede haber nmeros en N que no sean la suma de las cifras de ningn nmero.
1.87 La aplicacin s : N N que asigna a cada elemento de N = {0,1, 2,3,...} la suma de sus cifras:
a) Es inyectiva.
b) No es inyectiva porque s(12) = s(21) = 3.
c) No es inyectiva, porque 0 slo es imagen de 0.
1.90 La aplicacin s : N N que asigna a cada elemento de N = {0,1, 2,3,...} la suma de sus cifras:
a) Es sobreyectiva.
b) No es sobreyectiva.
c) No se puede saber.
1.91 La aplicacin s : N N que asigna a cada elemento de N = {0,1, 2,3,...} la suma de sus cifras:
a) Es biyectiva.
b) No es biyectiva porque no es inyectiva.
c) No es biyectiva porque no es sobreyectiva.
La aplicacin s: NN que asigna a cada elemento de N = {0,1,2,3,} la suma de sus cifras:
0
1
2
3
4
5
6
7
8
9
Ejercicio: 1.86
1.86 La aplicacin s : N N que asigna a cada elemento de N = {0,1, 2,3,...} la suma de sus cifras:
a) La imagen de 128 es 11 y una preimagen de 11 es 2.
b) La imagen de 11 es 2 y una preimagen de 7 es 52.
c) La imagen de 52 es 7 y una preimagen de 128 es 11.
11
128
2
7
11
52
Ejercicio: 1.88
1.88 La aplicacin s : N N que asigna a cada elemento de N = {0,1, 2,3,...} la suma de sus cifras, cumple
a) s ({2,10,11,100,101} ) = {1, 2} .
b) s ({2,3,30,301} ) = {2,3} .
c) s ({26} ) = 8 .
2
10
11
100
101
1
2
La b no es correcta porque no cumple con la propiedad de ser aplicacin ya que 301 no tiene imagen, es decir
no est relacionado con un elemento del conjunto final y no es aplicacin.
2
3
30
301
3
2
Ejercicio: 1.89
1.89 La aplicacin s : N N que asigna a cada elemento de N 0,1, 2,3,... la suma de sus cifras, cumple
1 10
k 0,1, 2,3,... .
0 No est definido.
11
20
101
110
.
200
Esta respuesta sera correcta si no fuese que en el conjunto inicial definido por N = {0,1,2,3,4,,11,101,
110, etc} tambin tenemos 11 que suma 2, 101 que suma 2, etc, y que no cumplen la regla 210k.
La respuesta b, dice que la funcin inversa de s para el elemento 1 del conjunto final es igual a los elementos
del conjunto inicial que cumplen la regla 10k para los elementos de k 0, 1,2, 3,
Y en este caso si que se cumple.
La respuesta c es falsa ya que si est definido el elemento 0 del conjunto final se relaciona con el elemento 0 del
inicial.
Ejercicio: 1.92
1.92 Asignar a cada nmero del conjunto N 0,1, 2,3,... el nmero que se obtiene al multiplicarlo por 3 y
sumar 1 al producto, 3 n 1 , define una aplicacin con dominio N y rango N?
a) S.
b) No, porque 6 no es imagen de ningn elemento de N.
c) No, porque para multiplicarlos por 3 hay que hacer infinitas operaciones.
1.94 La aplicacin f : N N que asigna a cada n N el nmero 3 n 1
a) No es inyectiva.
b) Es inyectiva, porque hay nmeros en N que no son imagen de ninguno de N. (Aqu se est
definiendo la aplicacin sobreyectiva)
c) Es inyectiva, porque no coinciden las imgenes de nmeros distintos.
f:3n+1
.
.
.
0
1
2
3
4
5
6
7
8
9
10
11
12
13
...
0
1
2
4
Ejercicio: 1.93
2
a) La imagen de 7 es 22 y una preimagen de 24 es 7 .
3
b) La preimagen de 1 es 4 y una imagen de 6 es 19.
c) La preimagen de 7 es 2 y una imagen de 5 es 16.
f:3n+1
1
2
5
6
7
4
7
16
19
22
2
no es un nmero natural.
3
Ejercicio: 1.96
a)
b)
c)
f:3n+1
1
3
4
5
4
7
10
13
21
La respuesta b, es correcta.
N
2
4
10
f:3n+1
N
7
13
31
Ejercicio: 1.97
a)
f 1 10,15, 22 3, 7 .
b) f 1 22 7 .
c)
3
7
10
15
22
f:3n+1
N
37
40
46
Ejercicio: 1.99
La aplicacin g es la composicin de f consigo misma, es decir aplico f dos veces a los valores que se
proponen 3n + 1, en este caso el valor 3.
g(3) = 3n + 1 = 33 + 1 = 10
Si vuelvo a aplicar la funcin tenemos:
g(10) = 3n + 1 = 310 + 1 = 31
10
3n + 1
31
3n + 1
Ejercicio: 1.100 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.100 Si f es la aplicacin f : N N que asigna a cada n N el nmero 3 n 1 y s es la aplicacin que
asigna a cada elemento de N 0,1, 2,3,... la suma de sus cifras, se cumple
a) s f 15 10 .
b) s f 15 19 .
c) s f 15 15 .
La primera funcin f nos dice que a cada n, es decir a cada nmero del primer conjunto lo tenemos que
multiplicar por 3 y sumarle 1. Una vez que obtenemos este resultado aplicamos la segunda funcin g que nos
dice que a cada elemento del conjunto inicial hay que sumar sus cifras.
Si empezamos por el 1 al aplicar la funcin f vemos que 1 por 3 ms 1 es 4 y al aplicar la segunda funcin g
como solo hay una cifra el resultado es 4.
Si analizamos el valor 15 que es el que propone la solucin vemos que 3 por 15 ms 1 es 46 y la suma de sus
cifras es 10, que es la solucin A.
f
N
s
Suma sus
cifras
1
2
4
7
4
7
4
7
.
.
.
.
.
.
.
.
.
.
.
.
15
46
46
10
3n+1
Ejercicio: 1.101-1.102 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.101 Si f es la aplicacin f : N N que asigna a cada n N el nmero 3 n 1 y s la aplicacin
s : N N que asigna a cada elemento de N 0,1, 2,3,... la suma de sus cifras, cumple
f s 10 5 .
f s 12 9 .
f s 13 13 .
1.102 Si s es la aplicacin s : N N que asigna a cada elemento de N 0,1, 2,3,... la suma de sus cifras
a) s s 548 17 .
b) s s 548 8 .
c) s s 548 6 .
s es la aplicacin s: NN que asigna a cada elemento de N = {0,1,2,3,} la suma de sus cifras, en este caso
lo aplico dos veces y resulta que:
s(548)=17
y si lo vuelvo a aplicar resulta
s(17)=8
Ejercicio: 1.103-1.105 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.103 Dado el conjunto B 1, 2,3, 4,5 , si f : A B es una aplicacin sobreyectiva, el cardinal de A debe
cumplir.
a) # A 5 .
b) # A 5 .
c) # A 5 .
Una funcin f : A B es, sobreyectiva cuando cada elemento de "B" es la imagen de como mnimo un
elemento de "A".
A
B
a
b
c
d
e
f
1
2
3
4
5
1
2
3
4
a
b
c
d
e
1
2
3
4
a
b
c
d
Ejercicio: 1.106 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.106 Si A y B son dos conjuntos tales que sus cardinales verifican # A # B # A B , entonces:
a) A B C .
b) AC B .
c) AC B C .
Resultado 1.32. Si A B , entonces # A B # A # B .
Tenemos que recurrir a la frmula general: # A B # A # B # A B , si la comparamos
con la del enunciado,
# A B # A # B # A B
# A # B # A B
# A B # A B # A B
# A B # A B # A B
# A B 0
De esto podemos deducir que # A B 0 ya que el enunciado no aporta ningn dato sobre el
cardinal de la interseccin.
Si # A B 0 quiere decir que A B y llegamos a la conclusin que A B C y B AC .
ABC
BAC
Ejercicio: 1.107 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.107 Si A y B son dos conjuntos tales que B A B , se cumple:
a) # B # A # B .
b) # B # A # A B .
c) # A # B # A B .
# A B # A # B 0
AC 1, 2
B 1, 2
B C 3, 4
U 1, 2,3, 4
Se cumple
A B A
Se cumple
B A B
3, 4 1, 2 3, 4
1, 2 3, 4 1, 2
U
1
4
Ejercicio: 1.108 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.108 Si # U n y A es un subconjunto de U, entonces:
a) # AC # A
b) # AC n # A
c) # AC # A 0
La respuesta correcta es la b, # AC n # A
El enunciado dice que el cardinal del conjunto universal es n, es decir que tiene n elementos, y que A es un
subconjunto de U, lo que dice la respuesta b es que el cardinal del complementario de A es igual a n, que es
el total de elementos del universo, menos el cardinal de A.
Visto de otra forma si despejamos la n quedara:
n # AC # A
Habamos dicho que n era el total de elementos por lo tanto n son todos los elemento que hay en A y lo que
no hay en A, es decir AC y su suma tiene que ser n.
Si por ejemplo tenemos un universo con 10 elementos y el conjunto A tiene 3 elementos, AC tiene que tener
7 elementos.
Dibujndolo sera:
El Universo tiene 10 elementos, el conjunto A en rojo tiene 3 elementos y el conjunto AC en azul tiene que
tener forzosamente 7 para completar los elementos del universo.
U
x x
x x x
A
xxx
Ac
Ejercicio: 1.109 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.109 Si A y B son dos conjuntos tales que cumplen # A 6 y # A B 2 entonces # A B es igual a
a) 2.
b) 4.
c) 6.
Si aplicamos la frmula tenemos que:
# A # A B # A B
6 2 # A B
4 # A B
Por lo tanto respuesta correcta b.
X
X
X
X
X
X
Ejercicio: 1.110 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.110 Si A y B son dos conjuntos tales que # B 14 y # A B 8 , entonces:
a) # A B 22 .
b) # A B 6 .
c) # B A 6 .
A
X
X
X
X
X
X
X
X
X X
X X
X X
Ejercicio: 1.111 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.111 Si A y B son dos conjuntos tales que # A B 16 , # A 10 y # B 9 entonces # A B es
igual a:
a) 1.
b) 3.
c) 9.
Si aplicamos la frmula tenemos que:
# A B # A # B # A B
16 10 9 # A B
3 # A B
3 # A B
A
X X
X X
X X
X
X
X
X
X X
X X
X X
Ejercicio: 1.112 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.112 Si A y B son dos conjuntos tales que # A # B 2 # A B , se verifica:
a) A B .
b) # A B # A .
c) # A B 0 .
Frmula general: # A B # A # B # A B
Enunciado: # A # B 2 # A B
Sustituimos en la frmula general el cardinal de A y B por 2 # A B :
# A B # A # B # A B
# A B 2 # A B # A B
U
B
A
X
X
Ejercicio: 1.113 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.113 Si A y B son dos conjuntos tales que # A B siempre es menor o igual que:
a) # A # B .
b) # A # B .
c) # A B # B A .
Partimos de la frmula general: # A B # A # B # A B
Tiene que ser siempre # A B 0
Por lo tanto # A B # A # B
# A B # A # B
6 53
U
B
A
X
X
X
X
X
Ejercicio: 1.114 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.114 Si A y B son dos conjuntos tales que # A B siempre es mayor o igual que:
a) # A # B .
b) # A # A B .
c) # A B # B A .
Partimos de la frmula: # A B # A B # B A # A B
Como se puede ver en el diagrama de Venn el cardinal de la unin es igual al cardinal de A-B ms el cardinal
de B-A ms el cardinal de la interseccin de A y B.
La respuesta correcta sera la c ya que # A B siempre va a ser mayor o igual que # A B # B A a
falta de conocer el valor del cardinal de la interseccin.
A-B
AB
B-A
Ejercicio: 1.115 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.115 Si A y B son dos conjuntos, # A B no puede afirmase que sea igual a:
a) # A # B
b) # A # A B
c) # A B # B
La respuesta a nos dice que excepto que BdA no es posible la igualdad.
# A B # A # B
U
A
B
A-B
AB
B-A
La respuesta c dice:
# A B # A B # B
A B es la zona roja.
A es la zona roja ms la zona azul.
A B es la zona roja ms la zona azul ms amarilla.
B es la zona amarilla ms la zona azul.
Entonces es cierto que se cumple # A B # A B # B
U
A-B AB
Ejercicio: 1.116 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.116 Si A y B son dos conjuntos # A B # A B es igual a:
a) # A # B .
b) # A B # B A .
c) # A # B .
Si analizamos la frmula # A B # A B # B A # A B vemos que:
# A B # A B # A B # B A
A B es la zona roja.
B A es la zona amarilla.
A B es la zona roja ms la zona azul ms amarilla.
A B es la zona azul.
A-B AB B-A
Ejercicio: 1.117 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.117 Si A y B son dos conjuntos el conjunto, la igualdad # A # B 2 # A B
a) Es imposible.
b) Slo se cumple cuando A = B.
c) Slo se cumple si A y B son disjuntos.
Si analizamos la igualdad # A # B 2 # A B vemos que utilizando la frmula general:
# A B # A # B # A B
# A B 2 # A B # A B
# A B 2 # A B # A B
# A B # A B
# A # B
#(A) = 3.
#(B) = 3.
# A B 3
# A # B 2 # A B
3 3 23
66
1
2
3
Ejercicio: 1.118 Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca
1.118 Si A y B son dos conjuntos que verifican # B # A # A B y # A B 12 , se cumple
a) # A 6 .
b) # B 9 .
c) # A B 3 .
Si analizamos la igualdad vemos que utilizando la frmula general:
# B # A # A B
# A B 12
# A B # A # B # A B
12 # A # A # A B # A B
12 2 # A
12 2 # A
# A 6
Ejercicio: 1.119
1.119 Si A y B son dos conjuntos tales que #(A B) = #(A) + #(A B) y #(B) = 16 , se verifica:
a) #(A) = 12 .
b) #(A B) = 20 .
c) #(A B) = 8 .
Frmula general: # A B # A # B # A B
Enunciado:
# A B # A # A B y
# B 16
U
B
A
XX
XX
XX
XX
XX
XX
XX
XX
Ejercicio: 1.120
a) #(A B) = 9 .
b) #(A) = 21.
c) #(B) = 15 .
# A B # A B # B A # A B
27 9 6 # A B
# A B 12
# A # A B # A B
# A 9 12 21
# B # B A # A B
# B 6 12 18
A B es la zona roja.
B A es la zona amarilla.
A B es la zona blanca.
U
B
A
XXX
XXX
XXX
XXX
XXX
XXX
XXX
XX
XX
XX