Está en la página 1de 76

Ejercicio: 1.

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.1 Cul de las siguientes oraciones es una proposicin lgica?


a) Soy minero.
b) Para qu seguir.
c) Que nadie sepa mi sufrir.
La oracin Soy minero puede ser verdadera o falsa, segn quien la pronuncie.

1.2 Cul de las siguientes oraciones no es una proposicin lgica?


a) La Luna en el mar riela.
b) Qu es la vida?.
c) Que es mi dios la libertad.
Qu es la vida?, es una pregunta sin valor de verdad.

1.3 La oracin El pueblo, unido, jams ser vencido.


a) No es una proposicin lgica.
b) Es una proposicin lgica simple.
c) Es una proposicin lgica compuesta.
Es equivalente a Si p entonces q

1.4 La oracin No deba de quererte y, sin embargo, te quiero.


a) No es una proposicin lgica.
b) Es una proposicin lgica simple.
c) Es una proposicin lgica compuesta.
La proposicin p es Deba quererte
La proposicin q es te quiero
No deba de quererte y, sin embargo, te quiero. Es la proposicin p q.

1.5 La oracin El tiempo lo cura todo.


a) No es una proposicin lgica.
b) Es una proposicin lgica simple.
c) Es una proposicin lgica compuesta.
Es un enunciado nico relativo a las propiedades curativas del tiempo.

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.

1.7 La oracin Lo que el viento se llev.


a) No es una proposicin lgica.
b) Es una proposicin lgica simple.
c) Es una proposicin lgica compuesta.
La oracin no contiene ningn enunciado al que pueda atribuirse valor de verdad.

Ejercicio: 1.8

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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.

1.11 Si p es la proposicin tu prometes, q la proposicin t das, y r la proposicin mal vas, la


proposicin si prometes y no das, mal vas se simboliza por
a) r p q .
b)
c)

p r q r .
p q r .

Solucin: La respuesta correcta es la c.

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 .

Solucin: La respuesta correcta es la a.

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 .

Solucin: La respuesta correcta es la a.

1.14 Si p es la proposicin llueve, y q la proposicin escampa, la proposicin Siempre que llueve,


escampa, se expresa.
a) p q .
b) p q .
c) p q .
Solucin: La respuesta correcta es la b.

1.15 Sea p la proposicin sembrar vientos, y q la proposicin recoger tempestades, la proposicin


Quien siembra vientos, recoge tempestades, se expresa.
a) p q .
b) q p .
c) p q .
Solucin: La respuesta correcta es la c.

1.16 Sea p la proposicin arriesgar, y q la proposicin cruzar la mar, la proposicin El que no


arriesga, no cruza la mar, se simboliza.
a) p q .
b) p q .
c) p q .
Solucin: La respuesta correcta es la b.

Ejercicio: 1.17

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.17 Si q es falsa, entonces p q es


a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de p.
Solucin: La respuesta correcta es la a.
p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

q
F
V
F
V

(p) q
V
F
V
V

1.18 Si p es falsa, entonces p q es


a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de q.
Solucin: La respuesta correcta es la c.
p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

(p) q
F
F
V
F

1.19 Si q es verdadera, entonces p q es


a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de p.
Solucin: La respuesta correcta es la b.
p
V
V
F
F

q
V
F
V
F

q
F
V
F
V

(p q)
V
V
F
V

(p q)
F
F
V
F

1.20 Si p es verdadera, entonces q p p q es


a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de q.
Solucin: La respuesta correcta es la c.
p
V
V
F
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

1.21 La proposicin (pp) es:


a) Verdadera.
b) Falsa
c) Verdadera o falsa, segn el valor de verdad de p.

p
V
F

p
F
V

pp
V
V

(pp)
F
F

1.22 pq es falsa cuando:


a) p es falsa y q es falsa.
b) p es verdadera y q es falsa.
c) p es falsa y q es verdadera.
p
V
V
F
F

q
V
F
V
F

q
F
V
F
V

pq
V
V
F
V

1.23 Si p es verdadera, la proposicin (p) q es:


a) Verdadera.
b) Falsa
c) Verdadera o falsa, segn el valor de verdad de q.
p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

(p) q
V
V
V
V

1.24 Si p es verdadera, la proposicin p p q es


a) Verdadera.
b) Falsa
c) Verdadera o falsa, segn el valor de verdad de q.

p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

p (pq)
V
V
V
V

1.25 Si p es falsa, la proposicin (pq) ( pq) es


a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de q.
Por lo tanto respuesta c, ya el valor de verdad depende de q.
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

pq
V
F
F
F

(pq) ( pq)
V
F
F
V

1.26 Si p es verdadera, la proposicin p q p es


a) Verdadera.
b) Falsa
c) Verdadera o falsa, segn el valor de verdad de q.

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

1.28 la proposicin (pq) ( pq) es verdadera


a) Slo cuando p y q son verdaderas.
b) Slo cuando p y q son falsas.
c) Siempre.

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

1.29 Si p(qp) es una proposicin falsa, es que:


a) p y q son verdaderas.
b) p es verdadera y q es falsa.
c) p es falsa y q verdadera.
p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

(qp)
V
F
V
V

p(qp)
V
F
V
V

1.30 Si p (qp) es una proposicin verdadera, entonces:


a) p y q son verdaderas.
b) p es verdadera y q es falsa.
c) p es verdadera.
p
V
V
F
F

q
V
F
V
F

(qp)
V
V
F
V

p (qp)
V
V
F
F

1.31 La proposicin p (qp) es una verdadera:


a) Slo si p y q son falsas.
b) Slo si p es falsa y q verdadera.
c) Cualquiera que sean p y q.
p
V
V
F
F

q
V
F
V
F

(qp)
V
V
F
V

p (qp)
V
V
V
V

Ejercicio: 1.32

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.32 De la premisa Si bebes, no conduzcas se deduce la conclusin


a) Si no conduces, bebe.
b) Si conduces, no bebas.
c) Si no bebes, conduce.
p: beber.
q: conducir.

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.33 El razonamiento:

Si los tringulos S y T tienen sus ngulos iguales, son iguales


Los tringulos S y T son iguales
S y T tienen los ngulos iguales
a) Es lgicamente vlido, aunque la primera premisa es falsa.
b) Es una falacia porque la primera premisa es falsa.
c) Sera una falacia aunque la primera premisa fuese cierta.

Si los tringulos S y T tienen sus ngulos iguales, son iguales


Los tringulos S y T son iguales
S y T tienen ngulos iguales
Tabla de la verdad:
Premisas
p q
pq
q
V V
V
V
V F
F
F
F V
V
V
F F
V
F

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

Solucin: Sera una falacia aunque la primera premisa fuese cierta.

Ejercicio: 1.34

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.34 El razonamiento:

Si Pars est en Francia, no est en Amrica


Pars est en Amrica
Pars no est en Francia
a) Es lgicamente vlido.
b) Es una falacia porque la segunda premisa es falsa.
c) Sera una falacia aunque la segunda premisa fuese cierta.
p q
q
p

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 .

Aqu vemos que (p q) y q implican p por lo tanto es un razonamiento vlido.


p

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.35 El razonamiento:
Los domingos voy al campo o voy de compras
El domingo voy de compras
El domingo no voy al campo

a) Es lgicamente vlido, por aplicacin del modus tollendo ponens.


b) Es una falacia.
c) Es lgicamente vlido, por aplicacin del modus ponendo ponens.

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

Solucin: Es una falacia.

p
F
F
V
V

(( pq ) q ) p
F
V
V
V

Ejercicio: 1.36

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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

q p pq qp (pp) [(pq) (qp)] [(pq) (qp)](pp)


V
V F
V
F
F
F
V
F
F
V
F F
F
V
V
V
V
V
V V
V
V
V
F V
V
V

Solucin: En Marte nunca llueve.

Ejercicio: 1.37

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.37 El razonamiento:

Si voy al cine, como palomitas


Si como palomitas, tengo sed
Si tengo sed, he ido al cine
a) Es un caso particular del silogismo hipottico.
b) Es un caso particular del modus tollendo tollens.
c) Es una falacia.
pq
qr
r p

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

Solucin: Es una falacia.

Ejercicio: 1.38

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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: Marx era francs.


q: Engles o Lenin eran alguno francs.
pq
q
p

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.

Modus tollendo ponens


p
V
V
F
F

q
V
F
V
F

Premisas
pwq
5q
V
F
V
V
V
F
F
V

Conclusin
p
V
V
F
F

Solucin: Es un razonamiento vlido, caso particular del modus tollendo ponens.

Ejercicio: 1.39

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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

Representamos la tabla de verdad:

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

Autor: EQUIPO DOCENTE Fecha: Jueves, Octubre 20, 2011 11:07pm


La definicin de 'razonamiento lgicamente vlido' del recuadro 1.9 es correcta.
Supongamos, para simplificar que tenemos dos premisas. En definitiva, lo que se exige
es que sea VERDADERA la siguiente "proposicin condicional"
"SI [Premisa 1 es VERDADERA 'y' Premisa 2 es VERDADERA] ENTONCES [la conclusin es
VERDADERA]"
La tabla de verdad de la proposicin CONDICIONAL est en el recuadro 1.7) (pg. 12).
Observemos que un condicional es FALSO slo en el caso en el antecedente (es decir, la
proposicin que est antes de la
flecha (o sea, el [ENTONCES])
es VERDADERO y el
consecuente (es decir, la proposicin que est despus de la flecha, o sea el
[ENTONCES]) es FALSO. En todos los dems casos el condicional es VERDADERO. En
particular, cuando el antecedente es FALSO entonces el condicional es VERDADERO, tanto
si el consecuente es VERDADERO como si es FALSO.
En el condicional indicado anteriormente el antecedente es "la conjuncin de las dos
premisas". Si recordamos la tabla de verdad de la conjuncin, (recuadro 1.5, pg. 10),
vemos que la conjuncin es VERDADERA slo cuando lo son ambas proposiciones. En todos
los dems casos es FALSA.
As pues, si una de las dos premisas es FALSA (o lo son las dos), la conjuncin de
ambas es FALSA. En este caso, el antecedente de la proposicin condicional anterior es
FALSO y, por tanto, dicha proposicin condicional es VERDADERA, sea cual sea el valor
de verdad del consecuente.
Esto es lo que est ocurriendo en este ejemplo.
Cmo es la proposicin condicional cuyo valor de verdad ha de ser VERDADERO para que
el razonamiento sea vlido? Es la siguiente:
SI (p p)

ENTONCES q

El antecedente es (p p). Fcilmente vemos que esta proposicin siempre es FALSA,


sea cual sea p. Es intuitivo: afirmar que ocurre una cosa y su contraria al mismo
tiempo nunca puede ser verdad. Ahora bien, en general, no es conveniente fiarse de la
intuicin, porque podemos equivocarnos. Para estar seguro no hay ms que hacer la
tabla de verdad de la conjuncin de una proposicin y su contraria y comprobar que
todos los valores son FALSO.
As pues el antecedente citado es siempre FALSO. Acudiendo a lo que dijimos antes
respecto del condicional podemos asegurar que la proposicin condicional que da el
razonamiento es VERDADERA, por lo cual el razonamiento es 'vlido'.

Ejercicio: 1.40

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.40 Si A es el conjunto de las vocales, se cumple


a) u A .
b) m A .
c) e A .

1.41 Si A es el conjunto de los siete colores del arco iris, no es cierto


a) azul A .
b) marrn A .
c) naranja A .

1.42 Si A es el conjunto de los animales mamferos, es cierto


a) oso A .
b) cangrejo A .
c) loro A .
1.43 El conjunto A domingos de 2010 est definido
a) Por enumeracin.
b) Por descripcin.
c) Por inclusin.
1.44 Si A y B son conjuntos tales que A B , es cierto que
a) Si x A , entonces x B .
b) Si x B , entonces x A .
c) Si x A , entonces x B .
1.45 Si M y N son conjuntos tales que N M , es cierto que
a) Si a M , entonces a N .
b) Si a M , entonces a N .
c) Si a N , entonces a M .
1.46 Si F y D son los conjuntos: F das festivos de 2009 , D domingos de 2009 , se cumple
a) F D .
b) D F .
c) F D y D F .

1.47 Para cualquier conjunto A se verifica


a) A .
b) A .
c) A A .
1.48 Si A 1, 2,3 y B 3, 2,1 , no es correcto afirmar
a) A B .
b) A B .
c) A B .

Ejercicio: 1.49

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.49 Si A 1, 2,3 y P A es el conjunto de las partes de A, no es correcto afirmar:


a) P( A)
b) P ( A)
c) 1, 2 P ( A)

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

1, 2 P( A) , esto quiere decir que el conjunto

cuyo nico elemento es el conjunto 1, 2 est contenido en A.

Pero no es cierto que 1, 2 sea subconjunto de P A porque ello significara que 1 P A y 2 P A


como elemento y debera ser 1 P A y 2 P A como subconjunto.
1.50 Si A es el conjunto de las vocales y P A es el conjunto de las partes de A, no es correcto afirmar:
a)

b)
c)

a, e , a, i P( A)
a, e P( A)
a, e , a, i P( A)

1.51 Si un conjunto A tiene 6 elementos, el nmero de subconjuntos de A es


a) 6.
b) 16.
c) 64.

Si el conjunto A tiene n elementos, el conjunto de las partes de A tiene 2n elementos.

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.

1.53 Si A es el conjunto de las comunidades autnomas espaolas y B es el conjunto provincias espaolas,


no es correcto afirmar que
a)
b)

Cantabria, La Rioja A B .
Galicia, Cantabria A B .

c) Islas Baleares A B .

Ejercicio: 1.54

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.54 Si A y B son dos conjuntos disjuntos, no es correcto afirmar que


a) Si a A , entonces a B .
b) Si a B , entonces a AC .
c) Si a A , entonces a B .
Por lo tanto respuesta correcta c.
Si a A , entonces a B

Si a B , entonces a AC

Si a A , entonces a B

U
A

Ejercicio: 1.55

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.55 Dados dos conjuntos A y B, NO es correcto afirmar que:


a) si x A B , entonces x A B C o x AC B .
b) si x A B , entonces x A o x B .
c) si x A B y x A , entonces x B .
En realidad no es que sea incorrecta, sino que es incompleta ya que nos falta por incluir tambin que
x A B que es lo que dice la solucin
Aqu dibujo los tres sitios en donde puede estar la x y como se puede ver A B no est incluido en la
solucin por eso es incompleta y se deduce que es incorrecta
A BC

AC B

A B

x AC B

x A BC

A B Se representa por la zona amarilla:

U
B

x A BC

x A B

x AC B

x A B

Ejercicio: 1.56

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.56 Si dos conjuntos A y B verifican AC B C , es que


a) A B .
b) A B U .
c) AC B A B C U

Aplicando las leyes de Morgan obtenemos:


AC B C

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.57 Si dos conjuntos A y B cumplen A B , entonces


a) A B C = U .
b) B A = .
c) B C AC .
La respuesta correcta es la c, como se puede ver BC, que es la zona verde, est incluido dentro de AC que
es la zona verde ms la zona amarilla.
La respuesta b no es correcta ya que B A no tiene porque ser necesariamente el conjunto vaco.
La respuesta a no es correcta porque A B C no es igual al universo ya que nos queda la zona amarilla sin
incluir y puede darse el caso que hubiese al menos un elemento ah.

AC = {3, 4,5}

A = {1, 2}

B C = {4,5}

B = {1, 2,3}

U = {1, 2,3, 4,5}


Se cumple

NO se cumple

NO se cumple

B C AC

A BC = U

B A=

{4,5} {3, 4,5}

{1, 2} {4,5} = {1, 2, 4,5}

{1, 2, 3} {1, 2} = {3}

Ejercicio: 1.58

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.58 Si dos conjuntos A y B cumplen A B C , no es correcto afirmar que


a) A B .
b) A B U .
c) B AC .
Si A B C o B AC quiere decir que son conjuntos disjuntos A B , en el diagrama de Venn vemos
que A, la zona roja est dentro de BC que es la zona roja ms la zona verde.
A 4

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.59 Si A y B son dos conjuntos tales que A B B , se cumple


a) A B .
b) B A A .
c) AC B C .

Resultado 1.21, pgina 35


Si A B entonces A B B , Si A es un subconjunto de B, todos los elementos de A estn en B, por
esto la unin de los dos es B.
A B B

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.60 Si A y B son dos conjuntos, A B es igual a


C

a) AC B C .
b) AC B .
c) B A .

Aplicando las leyes de Morgan obtenemos:

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.61 Si A y B son dos conjuntos que cumplen A B C B entonces:


a) A B U .
b) A B C .
c) B AC
Resultado 1.20, pgina 34. La unin de dos conjuntos contiene a cualquiera de los dos conjuntos que se
unen:
El enunciado dice A B C B
Por lo tanto tenemos que B C A B C y A A B C
Tenemos B C A B C B y para que esta igualdad se cumpla B C o bien B U .
Resultado 1.22 C U El complementario del conjunto vaco es el conjunto universal. Como el
conjunto vaco no tiene elementos, ningn elemento del conjunto universal puede pertenecer al conjunto
vaco.
Resultado 1.23 U C El complementario del conjunto universal es el conjunto vaco. Como todos los
elementos pertenecen al conjunto universal, ningn elemento no pertenece al universal.
Si sustituimos en la igualdad B C A B C B a B C tenemos:
A B
A B
A U

Si sustituimos en la igualdad B C A B C B a B C U llegamos a una contradiccin, ya que el


conjunto universal no puede ser igual al conjunto vaco.
U A U
U A
U U

A 1, 2

AC

A BC B

B 1, 2

BC

1, 2 1, 2

U 1, 2

Ejercicio: 1.62

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.62 Si A y B son dos conjuntos que cumplen A B B entonces:


C

A B
C
b) B A
C
c) A B

a)

A B B
A B BC
C

A BC BC
BC A

Resultado 1.13 pgina 33.


Si B C A , entonces A B C B C . Si BC es un subconjunto de A todos los elementos de BC y slo estos
son comunes a A y BC.
Resultado 1.20, pgina 34.
La unin de dos conjuntos contiene a cualquiera de los dos conjuntos que se unen:

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.63 Si A y B son dos conjuntos tales que ( A B ) = A , se cumple


C

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

= A Aplicamos las leyes de Morgan:

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.64 Si dos conjuntos A y B son dos conjuntos tales que A B B , se cumple


C

a) A B U .
b) B U .
c) A B .

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

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.65 Si A y B son dos conjuntos, el conjunto AC B C es igual a


C

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.66 Si A y B son dos conjuntos, el conjunto A B AC es igual a


a) B A .
b) A B .
c) B .

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.67 Si A y B son dos conjuntos, el conjunto AC B C A es igual a


a) AC B .
b) A .
c) A B .

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.68 Si A y B son dos conjuntos el conjunto A ( B C A ) es igual a


a) A .
b) A B C .
c) A B .
Si partimos de la expresin A ( BC A ) tenemos que:
A es la zona blanca y la zona roja
BC es la zona roja y la zona verde
B C A es la zona roja, es decir A B
Si ahora estas dos zonas hacemos la unin con A, que es la zona blanca ms la zona roja, el resultado ser
A.

U
B

A = {1, 2}

B = {1, 2,3}

U = {1, 2,3, 4}

AC = {3, 4}
B C = {4}

1
2

a ) A ( B C A ) = {1, 2} ({4} {1, 2}) = {1, 2} = {1, 2} = A


b) A B C = {1, 2, 4}
c) A B = {1}

Ejercicio: 1.69

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.69 Si A y B son dos conjuntos que cumplen B A B entonces:


a) A
b) A B A
c) A B B
Cuando tenemos B A B o A B A , quiere decir que son conjuntos disjuntos A B .
Tenemos que utilizar el Resultado 1.14 pgina 33.
Si B est contenido en A, entonces la interseccin de A y B es igual a B, Si B A entonces A B B .

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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

1.72 La propiedad de conmutativa de la unin de conjuntos garantiza que


a) A B B A .
b) A B C A B C .
c) A A A .
La propiedad de conmutativa de la unin es: A B B A .

1.73 La propiedad de distributiva de la unin respecto de la interseccin expresa que


a) A B C A B A C .
b) A B C A B A C .
c) A B C A B A C .
La propiedad de distributiva de la unin respecto de la interseccin es: A B C A B A C .

Ejercicio: 1.74

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.74 Entre tres conjuntos A, B, C, si se cumple A B C A B A C


A y B C son disjuntos.
B C A B C .
A B C y AB C 0 .
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 B .
Resultado 1.20, pgina 34. La unin de dos conjuntos contiene a cualquiera de los dos conjuntos que se
unen. A A B , B A B .
El enunciado dice que: A B C A B A C
Si miramos el lado derecho vemos que: A B A C A B C , de aqu deducimos que:
A B C A B C de aqu deducimos segn el resultado 1.13 del libro que:
AB C A

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.75 Las leyes de Morgan no garantizan que


a)
b)
c)

( A B ) = AC BC .
C
( A B ) = AC BC .
C
( A B ) = AC BC .
C

Las leyes de Morgan no garantizan ( A B ) = AC B C .


C

1.76 Si dos conjuntos A y B verifican ( A B ) = AC B C se cumple


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}

a ) ( A B ) = ( AC B C ) ({1, 2}) = {3} {3} = {3}


C

b) A B = {1, 2} U

c) A = B = U , NO se cumple

Ejercicio: 1.77

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.77 Si A y B son dos conjuntos se verifica


a) A A B A B .
C

b) A B B A .
C

c)

A B A B A B B A .

La respuesta correcta es la c. Vamos a verla representada en un diagrama de Venn


Tenemos la igualdad A B A B A B B A .

A B Es la zona de color amarillo ms la zona de color rojo


A B Es la zona de color rojo
U

La primera parte de la igualdad es: A B A B lo nico que hemos hecho es restar la A B a la

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 , que se corresponde a la primera parte de la igualdad, es decir A B A B


Que es igual a la segunda parte de la igualdad A B B A
U

A-B

B-A

Ejercicio: 1.78

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.78 Si dos conjuntos A y B verifican A A B A B , se cumple


C

a) AC B .
b) B A .
c) A B .

La respuesta correcta es la b. Vamos a verla representada en un diagrama de Venn


Tenemos la igualdad:
A A B A B
C

A A B

C C

A B

A A B A B

A B A B
A B

A es la zona verde y la zona roja.


C
A B Es la zona amarilla y la roja.
Por lo tanto si hacemos A A B

nos queda la zona verde que nos coincide con la interseccin

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.79 Si dos conjuntos A y B verifican A B B A , se cumple


C

a) B AC .
b) B A .
c) A B .

La respuesta correcta es la a. Vamos a verla representada en un diagrama de Venn


Tenemos la igualdad:

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

Para la igualdad del enunciado A B B A vemos que se cumple.


C

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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:

Solucin: Es sobreyectiva, NO es inyectiva y NO es biyectiva.


s: sumar sus cifras
0
1
2
3
4
5
6
7
8
9
10
11
12
13

0
1
2
3
4
5
6
7
8
9

Ejercicio: 1.86

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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 .

La relacin que establece la aplicacin s es la suma de sus cifras, por lo tanto:


En la respuesta a, tenemos

2
10
11
100
101

1
2

La respuesta a es correcta, ya que lo primero cumple la propiedad de aplicacin que dice:


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.

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

La c no es correcta ya que hay un error de notacin debera ser s({26})={8}

Ejercicio: 1.89

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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

a) s 1 2 2 10k k 0,1, 2,3,... .


b) s 1
c) s

k 0,1, 2,3,... .

0 No est definido.

La relacin que establece la aplicacin s es la suma de sus cifras, por lo tanto:


La respuesta a, dice que la funcin inversa de s para el elemento 2 del conjunto final es igual a los elementos
del conjunto inicial que cumplen la regla 210k para los elementos de k 0, 1,2, 3,
El primer elemento del conjunto inicial sera 2100 = 2
El segundo elemento del conjunto inicial sera 2101 = 20
El tercero elemento del conjunto inicial sera 2102 = 200
El cuarto elemento del conjunto inicial sera 2103 = 2000
etc.,
Representado en un diagrama de Venn tenemos

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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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.

1.95 La aplicacin f : N N que asigna a cada n N el nmero 3 n 1


a) Es sobreyectiva.
b) No es sobreyectiva, porque hay nmeros en N que no son imagen de ninguno de N.
c) No es sobreyectiva, porque hay nmeros distintos de N que tienen la misma imagen.
1.98 La aplicacin f : N N que asigna a cada n N el nmero 3 n 1
a) Es biyectiva.
b) No es biyectiva, porque no es inyectiva.
c) No es biyectiva, porque no es sobreyectiva.
La aplicacin f: NN que asigna a cada elemento de N = {0,1,2,3,} el nmero 3n+1:
Solucin:Es inyectiva, NO es sobreyectiva, NO es biyectiva.

f:3n+1

.
.
.

0
1
2
3
4
5
6
7
8
9
10
11
12
13
...

0
1
2
4

Ejercicio: 1.93

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.93 La aplicacin f : N N que asigna a cada n N el nmero 3 n 1 cumple

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

Solucin: La preimagen de 7 es 2 y una imagen de 5 es 16.

La respuesta a no es correcta porque 7

2
no es un nmero natural.
3

Ejercicio: 1.96

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.96 La aplicacin f : N N que asigna a cada n N el nmero 3 n 1 , cumple

a)
b)
c)

1,3, 4,5 4, 7,10,13, 21 .


f 2, 4,10 7,13,31 .
f 6 19 .

Segn esto la respuesta a, no es una aplicacin.


N

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

La respuesta c, no es correcta la notacin, debera de ser as: f ({6}) = 19.

Ejercicio: 1.97

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.97 La aplicacin f : N N que asigna a cada n N el nmero 3 n 1 , cumple

a)

f 1 10,15, 22 3, 7 .

b) f 1 22 7 .
c)

f 1 37, 40, 46 12,15 .

Segn esto la respuesta a, es una aplicacin.


N f:3n+1

3
7

10
15
22

La respuesta b, no es correcta la notacin, debera de ser as: {7}.


La respuesta c, no aplicacin, ya que el elemento 13 no est en el conjunto inicial.
N
12
13
15

f:3n+1

N
37
40
46

Ejercicio: 1.99

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.99 Si f es la aplicacin f : N N que asigna a cada n N el nmero 3 n 1 y g f f es la


composicin de f consigo misma, se cumple
g 3 31 .
g 3 28 .
g 3 10 .

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 .

La aplicacin f: NN asigna a cada n N el nmero 3n + 1, y s es la aplicacin s: NN que asigna a cada


elemento de N = {0,1,2,3,} la suma de sus cifras, se cumple:
Recordar que f s se lee s compuesta con f y que primero se aplica s y luego f.
Lo primero realizo la aplicacin s que es la suma de sus cifras por lo tanto el valor 13 resultara 4.
Ahora a 4 le aplico f que es la aplicacin 3n + 1 y resulta que 34+1 = 13
f s (13) = f(4) = 34 + 1 = 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

Segn esto el #(A) 5

1.104 Dado el conjunto A 1, 2,3, 4 , si f : A B es una aplicacin inyectiva, el cardinal de B debe


cumplir.
a) # B 4 .
b) # B 4 .
c) # B 4 .
Una funcin f : A B es inyectiva si a cada valor del conjunto A le corresponde un valor distinto en el
conjunto B de f. Es decir, a cada elemento del conjunto A le corresponde un solo valor de B tal que, en el
conjunto A no puede haber dos o ms elementos que tengan la misma imagen.

Segn esto el #(B) 4

1
2
3
4

a
b
c
d
e

1.105 Si f : A B es una aplicacin biyectiva, puede asegurarse.


a) # A # B .
b) # A # B .
c) # A # B .
Una funcin f : A B es, biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los
elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del
conjunto de llegada le corresponde un elemento del conjunto de salida.

Segn esto el #(A) = #(B)

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 .

Resultado 1.32. Si A B , entonces # A B # A # B .


Si B A B quiere decir que A B , es decir son disjuntos y esto implica que # A B 0 y si
miramos en la frmula general tenemos:
# A B # A # B # A B

# A B # A # B 0

Por lo tanto respuesta correcta c.


A 3, 4

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 .

Si aplicamos la frmula tenemos que:


# B # B A # A B
14 # B A 8
14 8 # B A
6 # B A

Por lo tanto respuesta correcta c.

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

Por lo tanto respuesta correcta 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

Llegamos a esta conclusin:


# A B # A B
Si lo vemos representado en el diagrama de Venn, vemos que cuando el cardinal de la unin e interseccin
son iguales el conjunto A es igual al B, por lo tanto la respuesta buena es la a.

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

(A-B) es la zona amarilla


A es la zona amarilla ms la zona blanca.
B es la zona blanca
En este caso #(A) - #(B) coincide con #(A-B)

U
A
B

La repuesta b por definicin es:


# A # A B # A B
# A B # A # A B

A-B

AB

B-A

La respuesta c dice:
# A B # A B # B

Si analizamos la frmula general # A B # A # B # A B vemos que:


# A # A B # A B # B
# A B es equivalente a # A # A 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

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

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

#(AB) = #(A) + #(B) #(AB)


#(A) + #(AB) = #(A) + 16 #(AB)
#(AB) + #(AB)= #(A) #(A) + 16
2#(AB) = 16
#(AB) = 8

U
B

A
XX
XX
XX
XX

XX
XX
XX
XX

Ejercicio: 1.120

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.120 Si A y B son dos conjuntos tales que #(A B) = 9 , # B A 6 y #(A B) = 27 , se verifica:

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

También podría gustarte