TP 10 2013

TRABAJO PRCTICO X
A-INTRODUCCIN A LA LGICA

B-FUNDAMENTOS DE LA TEORA DE CONJUNTOS

Econmicas + vos - 2013

Alicia Fraquelli - Andrea Gache ~ Trabajo Prctico X ~ 1
TRABAJ O PRCTI CO X
I NTRODUCCI N A LA LGI CA
FUNDAMENTOS DE LA TEOR A DE CONJ UNTOS

PARTE A: I NTRODUCCI N A LA LGI CA

Proposicin

Proposicin es todo enunciado al que se le puede asignar valor de verdad.

Para identificar a las proposiciones se les asignan letras minsculas de imprenta.

Ejemplos:
Son proposiciones:
p: todos los tringulos son rectngulos
q: 7 es un nmero primo
r: 3 + 8 = 24
s: 2 < 0 y 5 > 0

No son proposiciones
Corre ms!
Cunto pesa?
Por favor no llores.
x + 3 = 10

p es una proposicin falsa y su valor de verdad se expresa: v (p) = F
q es una proposicin verdadera y su valor de verdad se expresa: v (q) = V
r es una proposicin falsa y su valor de verdad se expresa: v (r) = F
s es una proposicin verdadera y su valor de verdad se expresa: v (s) = V

Las proposiciones p, q y r son proposiciones simples.
La proposicin s es una proposicin compuesta.
Para lograr proposiciones compuestas a partir de proposiciones simples se usan los
conectivos lgicos.

Llamaremos operacin proposicional al procedimiento mediante el que una o ms
proposiciones simples o compuestas se transforman en una proposicin compuesta.


Negacin

Dada una proposicin p, llamaremos ~p (no p) a la proposicin que se obtiene
anteponiendo a la accin el conectivo ~ (no).

Ejemplo:

La negacin de la proposicin p: Los costos han aumentado
es ~p: Los costos no han aumentado
o bien ~p: No es cierto que los costos han aumentado

La expresin en lenguaje coloquial: No es cierto que los precios no hayan aumentado,
se escribe en lenguaje simblico: ~( ~p)

Si p es verdadera entonces ~p es falsa

Las expresiones p y ~ (~p) no son iguales, son equivalentes, ya que una es una
proposicin simple y la otra es compuesta.

Conjuncin

La conjuncin de las proposiciones p y q es una nueva proposicin p . q (p y q) que
es verdadera slo cuando ambas son verdaderas.

Ejemplo:

p: 5 es un nmero impar
q: 5 es un nmero primo
p . q: 5 es un nmero impar y primo

Disyuncin

La disyuncin de las proposiciones p y q es una nueva proposicin p v q (p o q)

Como la conjuncin o es utilizada en sentido incluyente el valor de verdad de la misma
es verdadera cuando alguna de ellas es verdadera o las dos son verdaderas.

Ejemplo:

p: voy al cine
q: compro caramelos
p v q: voy al cine o compro caramelos


I mplicacin o Condicional

Implicacin de dos proposiciones p y q es la proposicin p q (p implica q, si p
entonces q)

Ejemplo:
p: apruebas el examen
q: te regalo un pasaje para tus vacaciones
p q: Si apruebas el examen entonces te regalo un pasaje para tus vacaciones.
Si el comentario lo hace una madre a su hijo cundo el hijo se sentir desilusionado?
Slo cuando habiendo aprobado el examen, su madre no cumpliera con su promesa.
Si el antecedente es verdadero y el consecuente es falso la implicacin es falsa.

Dada la proposicin p q donde p es el antecedente y q es el consecuente
La proposicin q p se denomina recproca
La proposicin ~q ~p se denomina contra recproca
La proposicin ~p ~q se denomina contraria

Doble implicacin o Bicondicional

Doble implicacin de dos proposiciones p y q es la proposicin p q (p si y slo si q)
La doble implicacin slo es verdadera si ambas proposiciones tienen el mismo valor de
verdad.

Ejemplo:

p: n es un nmero par
q: n + 1 es un nmero impar
p q: n es un nmero par si y slo si n+1 es un nmero impar
Si p es verdadera, tambin lo es q y anlogamente si p es falsa, q es falsa.

Diferencia simtrica

Diferencia simtrica o disyuncin excluyente de las proposiciones p y q es la
proposicin q pv (p o q en el sentido excluyente).
La verdad de q pv est dada por la verdad de una y slo una de las proposiciones que
la componen.

Ejemplo:

p: es un nmero natural par
q: es un nmero natural impar
q pv : es un nmero natural par o impar


Condiciones necesarias y suficientes

Si la proposicin q p es verdadera, se dice que constituye un teorema, siendo p la
hiptesis (lo que sabemos) y q la tesis (lo que hay que demostrar).

En este caso se dice tambin que p es condicin suficiente para q (ya que de p se
deduce q) y q es condicin necesaria para p.

Las condiciones se suelen expresar:

q si p: condicin suficiente
p slo si q: condicin necesaria

Ejemplo 1:

En Argentina, si tiene por lo menos dieciocho aos entonces puede votar.

Quiere esto decir que todas las personas con dieciocho aos o ms pueden votar en la
Argentina?

Por supuesto que no. Porque quienes no son ciudadanos argentinos (inmigrantes con o
sin residencia permanente, turistas) no tienen derecho al voto, aunque sean mayores de
dieciocho aos.

Tener dieciocho aos o ms es por lo tanto una condicin necesaria para votar, pero
no es una condicin suficiente.

Ejemplo 2:

El candidato que reciba ms votos ser elegido presidente.

Recibir ms votos es una condicin suficientepara ser elegido presidente

Ejemplo 3:

T es equiltero si y slo si es equingulo
p: T es equiltero
q: T es equingulo

S p es verdadera tambin lo es q y viceversa, por lo tanto cada una de las dos
proposiciones es condicin necesaria y suficiente para la otra.


Funcin proposicional

Sea un conjunto no vaco llamamos funcin proposicional con dominio en A a toda
expresin p(x) tal que para cualquier elemento de A se verifique que p(x) sea una
proposicin.

Ejemplos:

p(x) es x + 2 > 8 es una funcin proposicional sobre N (nmeros naturales)

p(x) es x + 2 > 8 no es una funcin proposicional sobre C (nmeros complejos)
pues las desigualdades no se definen sobre los nmeros complejos.

Si p(x) es una funcin proposicional sobre un conjunto A, entonces el conjunto de
elementos a eA que tienen la propiedad de que p(a) sea verdadera se llama conjunto
de validez V
p
de p(x).

Consideramos la funcin proposicional x + 2 > 8 definida en N
El conjunto de validez es: { } { } ... 9 , 8 , 7 8 2 x / x Vp = > + N e =

Consideramos la funcin proposicional x + 7 < 5 definida en N
El conjunto de validez es: { } C = < + N e = 5 7 x / x Vp

Consideramos la funcin proposicional x + 2 > 1 definida en N
El conjunto de validez es: { } N = > + N e = 1 2 x / x Vp

Se nota en los ejemplos anteriores que p(x) puede ser verdadera para todos los
elementos del conjunto, para algunos o ninguno de ellos.

Cuantificadores

A partir de las funciones proposicionales es posible obtener proposiciones generales
mediante un proceso que se llama cuantificacin, anteponiendo los smbolos x x - y ,
llamados cuantificador universal y cuantificador existencial en x, respectivamente.

La expresin: Para todo x, se verifica p(x) se anota: ) x ( p : x donde la funcin
proposicional est cuantificada universalmente

La expresin: Existe x, tal que se verifica p(x) se anota: ) x ( p / x - donde la funcin
proposicional est cuantificada existencialmente


Sea la funcin proposicional p(x): x es par

Todos los nmeros naturales son pares su valor de verdad es F

La expresin equivalente es: Cualquiera sea x un nmero natural, x es par
En smbolos: par es x : x N e

Si cuantificamos existencialmente la misma funcin proposicional
par es x / x N e -

Sus equivalentes en lenguaje coloquial:

Existe x un nmero natural, tal que x es par o
Existen algunos nmeros naturales que son pares o
Hay nmeros naturales pares

El valor de verdad de la misma es verdadero.

Para negar una funcin proposicional cuantificada existencialmente (universalmente) se
cambia al cuantificador universal (existencial) y se niega la funcin proposicional

| | ) x ( p / x ) x ( p : x ~ - ~
| | ) x ( p : x ) x ( p / x ~ - ~

La negacin de la expresin

Todos los nmeros naturales son pares es:

No todos los nmeros naturales son pares

Que tambin se puede expresar:

Existen nmeros naturales que no son pares

La negacin de la expresin:

Existen algunos nmeros naturales que son pares es:

No existen nmeros naturales pares

Que tambin se puede expresar:

Cualquiera que sea el nmero natural, no es par

O bien:

Todo nmero natural es impar


I NTRODUCCI N A LA LGI CA - EJ ERCI CI OS

1) Escribir en lenguaje usual sabiendo que:
p: los precios son altos y q: los precios suben

a) ~p
b) ~(~p)
c) p.q
d) pvq
e) p.~q
f) ~( p.~q)
g) ~(pvq)
h) ~(p.q)
i) ~p.~q

2) Escribir en forma simblica la proposicin y su negacin:

a) Pablo estudia y trabaja
b) No es justo pero mantiene el orden
c) Teresa lava la ropa y no la plancha
d) Si las personas conocen a los simuladores entonces los desprecian
e) El tringulo ABC

es issceles y rectngulo
f) Si hoy llueve entonces hoy es martes

3) Indicar cules son condiciones necesarias o suficientes:

a) p: n es un nmero par
q: n es divisible por 4

b) p: ABCD es rectngulo
q: ABCD es paralelogramo

c) p: Pedro es salteo
q: Pedro es argentino

d) p: x es un nmero par
q: x+1 es un nmero impar

e) p: ABC tringulo equiltero
q: ABC tringulo issceles


4) Expresar en lenguaje usual las siguientes proposiciones:

a) x:( x es metal x se funde)
b) xeZ : x es impar x
2
es impar
c) x:( x es un cuadrado x es un paralelogramo)
d) ( x: x es bueno) v (- x: x no es bueno)

5) Expresar simblicamente usando cuantificadores

a) Hay algn nmero que no es primo
b) Existe algn nmero real tal que su cubo es 8
c) No existe un nmero real tal que su cuadrado sea 4
d) No existen tringulos rectngulos que sean equilteros
e) No todo nmero par es divisible por 6
f) Todo cuadrado es un rectngulo
g) Todo nmero entero es racional

6) Hallar el valor de verdad de las siguientes proposiciones con dominio en los 9

a) 4 y . x : y x = -
b) 4 y . x : x y = -
c) 4 y . x : y x = - -
d) 4 y . x : x y = -

7) Dado el en conjunto { } 4 , 3 , 2 , 1 , 0 A= , hallar el valor de verdad de los siguientes
enunciados:

a) 9 3 x / A x = + e -
b) 9 3 x : A x < + e
c) 5 3 x / A x < + e -
d) 9 3 x : A x > + e

8) Determinar el valor de verdad de los siguientes enunciados:

a) x x : x
2
= 9 e
b) x x 3 / x = 9 e -
c) 0 1 x 2 x / x
2
= + + 9 e -
d) x 5 x : x < 9 e


I NTRODUCCI N A LA LGI CA RESPUESTAS

1) Escribir en lenguaje usual
a) Los precios no son altos o No es cierto, que los precios son altos
b) No es cierto que los precios no son altos o Los precios son altos
c) Los precios son altos y suben
d) Los precios son altos o suben
e) Los precios son altos y no suben
f) No es cierto que, los precios son altos y no suben
g) No es cierto que, los precios son altos o suben
h) No es cierto que, los precios son altos y suben
i) Los precios no son altos y no suben

2) Escribir en lenguaje usual
a) p: Pablo estudia
q: Pablo trabaja
p . q

b) p: es justo
q: mantiene el orden
~p . q

c) p: Teresa lava la ropa
q: Teresa plancha
p . ~q

d) p: Las personas conocen a los simuladores
q: Las personas los desprecian
p q

e) p: Tringulo issceles
q: Tringulo rectngulo
p . q

f) p: Hoy llueve
q: Hoy es martes
p q

3) Indicar cules son condiciones necesarias o suficientes

a) Que un nmero sea par es condicin necesaria para que sea divisible por 4
Que un nmero sea divisible por 4 es condicin suficientepara que sea par

b) Que ABCD sea rectngulo es condicin suficiente para que sea paralelogramo
Que ABCD sea paralelogramo es condicin necesaria para que sea rectngulo

c) Que Pedro sea argentino es condicin necesaria para ser salteo
Que Pedro sea salteo es condicin suficientepara ser argentino


d) Que un nmero sea par es condicin necesaria y suficiente para que sea impar
Que un nmero sea impar es condicin necesaria y suficiente para que sea par

e) Que un tringulo sea equiltero es suficientepara asegurar que sea issceles
Que un tringulo sea issceles es necesario para que sea equiltero

4) Expresar en lenguaje usual
a) Todo metal se funde
b) Si un nmero entero es impar entonces su cuadrado es impar
c) Todo cuadrado es un paralelogramo
d) Todo hombre es bueno o existe alguno que no es bueno

5) Expresar simblicamente usando cuantificadores
a) - x / x no es primo.
b) - xe9 / x
3
= 8.
c) no- xe9 / x
2
= 4.
d) no- x tringulo rectngulo /x tringulo equiltero.
e) no- par / x es divisible por 6.
f) x: x es cuadrado x es rectngulo.
g) x: xeZ xeQ.

6) Hallar el valor de verdad de las siguientes proposiciones con dominio en los 9
a) F
b) F
c) V
d) F

7) Hallar el valor de verdad de los siguientes enunciados:
a) F
b) V
c) V
d) F

8) Determinar el valor de verdad de los siguientes enunciados:
a) F
b) V
c) V
d) V



PARTE B: FUNDAMENTOS DE LA TEOR A DE CONJ UNTOS

Los trminos conjunto, elemento y pertenencia son los trminos primitivos de la
teora de conjuntos, sobre las cuales se definen la inclusin y la igualdad y se estudian
propiedades.

Intuitivamente, un conjunto es una lista, coleccin, clase o familia de objetos bien
definidos, objetos que pueden ser nmeros, letras, personas, etc. A estos objetos se los
llama elementos del conjunto.

Los conjuntos se indican con letras maysculas y los elementos con letras minsculas

Para indicar que un objeto b es un elemento de un conjunto A, se escribe beA que se
lee b pertenece a A

Si por el contrario el objeto b no es elemento del conjunto A se escribe beA que se lee
b no pertenece a A.

Los conjuntos se pueden nombrar de dos formas:

+ Por extensin o enumeracin: se indican explcitamente cada uno de los elementos.

Ejemplo: { } 8 , 6 , 4 , 2 A=
{ } 1 , 0 , 1 B =
{ } ... 5 , 4 , 3 , 2 , 1 = N

+ Por comprensin: se indican las propiedades caractersticas que cumplen todos sus
elementos.

Ejemplo: { } 10 x par es x / x A < . N e =
{ } 2 x / x B < Z e =
{ } 0 1 x / Z x D
2
= + e =

Dado un conjunto A se llama cardinal del conjunto al nmero de sus elementos y se
anota #(A), si este es un nmero natural se dice que A es un conjunto finito, en caso
contrario es un conjunto infinito.

Los conjuntos A y B son conjuntos finitos.

El nmero de elementos de A es 4 entonces # (A) = 4

El nmero de elementos de B es 3 entonces # (B) = 3

El conjunto N, conjunto de nmeros naturales, es infinito

El conjunto D no tiene elementos que cumplan con la propiedad enunciada, por lo tanto
es un conjunto vaco que se anota C = D { } = D entonces # (D) = 0


I nclusin
La relacin que liga a los conjuntos entre s es la inclusin.

Dados dos conjuntos A y B si todos los elementos de A estn en B decimos que:
A est incluido contenido en B, lo indicamos A _ B

Simblicamente:
_ e e A B x : x A x B

Si A _ B se dice que A es un subconjunto de B

Si A no es subconjunto de B indicamos: B A.
Para graficar los conjuntos podemos usar diagramas de Venn

Ejemplos:

+ El conjunto { } 5 , 3 , 1 A = es un subconjunto de { } 6 1,2,3,4,5, B= ya que todos y cada
uno de los elementos de A pertenecen a B por eso podemos escribir B A c .

+ El conjunto { } f , c , a A = no es un subconjunto de { } e d, c, b, a, B = ya que algunos y
no todos los elementos de A pertenecen a B por eso podemos escribir B A . .

+ El conjunto { } 9 x / Z x A
2
= e = que por extensin es { } 3 , 3 A = no es un
subconjunto de { } 25 x / Z x B
2
= e = que por extensin es { } 5 , 5 B = ya que
ninguno de los elementos de A pertenecen a B por eso podemos escribir B A . .

Conjunto referencial o universal
El conjunto universal depende de la disciplina en estudio, se fija de antemano y est
formado por todos los elementos que intervienen en el tema de inters .Se denota con U

Sea x eA por definicin de conjunto universal x e U, es decir x eA x e U
entonces A _ U o sea que A es un subconjunto de U .


Ejemplo:

+ Si el conjunto universal es U =Z entonces { } 5 z / Z x A s e = es un subconjunto de U

+ Si el conjunto universal es { } castellano alfabeto del letras = U entonces el conjunto
{ } vocales letras A = es un subconjunto de U

+ Si el conjunto universal es { } tringulo un es x / x = U entonces el conjunto
{ } equiltero tringulo un s e x / x A = es un subconjunto de U

Operaciones con conjuntos

I nterseccin
Dados dos conjuntos A y B llamamos interseccin entre A y B y la indicamos AB al
siguiente conjunto:

{ } = e . e A B x / x A x B

Observaciones:
+ disjuntos conjuntos B A B A son y entonces C =
+ C = C = v C = B A B A
+ C = C = . C = B A B A
+ A B A B A = _

Ejemplos:

+ Sean { } 0 1 x / x A
2
= 9 e = , { } 0 4 x / x B
2
= 9 e = , { } 0 3 x 2 x / x C
2
= + 9 e =

y
{ } 2 , 1 , 2 D =

El conjunto A por extensin es { } 1 , 1 A =
El conjunto B por extensin es { } 2 , 2 B =
El conjunto C por extensin es { } 1 , 3 C =

C = B A { } 1 C A = { } B D 2,2 =



Unin
Dados dos conjuntos A y B llamamos unin entre A y B y la indicamos AB al
siguiente conjunto:
{ } = e v e A B x / x A x B

Observaciones:
+ B B A B A = C = . C =
+ B B A B A = _

Ejemplos:

+ Sean { } 5 x 0 / x A s s Z e = , { } A x / A x B
2
e e =

, { } 16 x 3 / A x C > e = y { } 9 , 8 D =

El conjunto A por extensin es { } 5 , 4 , 3 , 2 , 1 , 0 A =
El conjunto B por extensin es { } 2 , 1 , 0 B =
El conjunto C por extensin es C = C

A B A = B C B = { } 9 , 8 , 2 , 1 , 0 D B =

Diferencia
Dados dos conjuntos A y B llamamos diferencia entre A y B y la indicamos AB al
siguiente conjunto:
{ } = e . e A B x / x A x B



Observaciones:

+ B A A Si C = C =
+ A B A B Si = C =
+ C = _ B A B A
+ C = = B A B A
+ C = _ B A A B
+ A B A B A B A Si = C = . C = . C =

Ejemplos:

+ Sean { } A x / 0 x 5 Z = e s s , { } B x Z / 1 x 4 = e s < , { } C x Z / 0 x 1 = e < <
y { } D x Z / 3 x 6 = e s <

El conjunto A por extensin es { } 5 , 4 , 3 , 2 , 1 , 0 A =
El conjunto B por extensin es { } 3 , 2 , 1 B =
El conjunto C por extensin es C = C
El conjunto D por extensin es { } 5 , 4 , 3 D =

{ } 5 , 4 , 0 B A = B C B = C = A B { } 2 , 1 D B =

Complemento
Sea un conjunto A llamamos complemento de A y lo indicamos A al conjunto:

{ } = e . e = A x / x x A A U U

Observaciones:

+ A A Si U = C =
+ A A Si C = =U
+ B A B A =

Ejemplos:

+ Si Z = U y { } 3 x / x A > Z e = entonces { } 3 x / x A < Z e =
+ Si N = U y { } par s e x / x A N e = entonces { } impar s e x / x A N e =


Diferencia simtrica

Dados dos conjuntos A y B llamamos diferencia simtrica entre A y B y la indicamos
A A B al siguiente conjunto:

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

Observaciones:

+ C = = AB A B A Si
+ B B A A Si = C = A

Ejemplo:

+ Sean { } 4 x 0 / x A s s Z e = , { } 8 x 3 / Z x B < s e = , { } 2 x 0 / Z x C s < e =

El conjunto A por extensin es { } 4 , 3 , 2 , 1 , 0 A =
El conjunto B por extensin es { } 7 , 6 , 5 , 4 , 3 B =
El conjunto C por extensin es { } 2 , 1 C=

( ) ( ) { } { } { } 7 6, 5, 2, 1, 0, 4 , 3 7 , 6 , 5 , 4 , 3 , 2 , 1 , 0 B A B A B A = = = A

( ) ( ) { } { } { } 4 3, 0, 2 , 1 4 , 3 , 2 , 1 , 0 C A C A C A = = = A

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



Propiedades de las operaciones

Conmutatividad
+ A B B A =
+ A B B A =

Asociatividad
+ ( ) ( ) C B A C B A =
+ ( ) ( ) C B A C B A =

Leyes de de Morgan
+ B A B A =
+ B A B A =

Distributividad
+ ( ) ( ) ( ) C A B A C B A =
+ ( ) ( ) ( ) C A B A C B A =

Producto cartesiano
Sean A y B dos conjuntos, llamamos producto cartesiano entre A y B y lo indicamos
B A al conjunto:
( ) { }
= e . e A B x;y / x A y B

Observaciones:

+ A B B A =
+ C = C = v C = B A B A
+ ( ) { } A y A x / y ; x A , A A A B A B A
2 2
e . e = = = =
+ ( ) ( ) ( ) B # . A # B A # B A = C = . C =

Ejemplo:

+ Si { } b , a A= y { } 3 , 2 , 1 B = entonces
( ) ( ) ( ) ( ) ( ) ( ) { } 3 ; b , 2 ; b , 1 ; b , 3 ; a , 2 ; a , 1 ; a B A =
( ) ( ) ( ) ( ) ( ) ( ) { } b ; 3 , a ; 3 , b ; 2 , a ; 2 , b ; 1 , a ; 1 A B =

( ) ( ) ( ) ( ) ( ) 6 B A # con coincide que 6 3 . 2 B # . A # entonces 3 B # y 2 A # = = = = =

+ Si { } 2 , 1 A= y { } 2 , 1 B = entonces
( ) ( ) ( ) ( ) { } 2 ; 2 , 1 ; 2 , 2 ; 1 , 1 ; 1 B A =
( ) ( ) ( ) ( ) { } 2 ; 2 , 1 ; 2 , 2 ; 1 , 1 ; 1 A B =
Se cumple la conmutatividad porque A=B

( ) ( ) ( ) ( ) ( ) 4 B A # con coincide que 4 2 . 2 B # . A # entonces 2 B # y 2 A # = = = = =


FUNDAMENTOS DE LA TEOR A DE CONJ UNTOS - EJ ERCI CI OS

9) Escribir los siguientes conjuntos por comprensin:
a) { } u , o , i , e , a A=
b) { } ... , 8 6, 4, , 2 B =
c) { } ... 7, 5, 3, 1, C=
d) { } D = 4, 8,12,16
e) { } 2 , 1 , 0 , 1 , 2 E =

10) Escribir los siguientes conjuntos por extensin:
a) { } 8 1 x / Z x A
2
= e =
b) { } 25 de divisor es x Z x B . e =
c) { } C = e . < x N/ x es mltiplo de 7 x 25
d) { } = D vocales de la palabra matemtica
e) { } 0 1 x / x E
2
= + 9 e =

11) Indicar si las afirmaciones son verdaderas o falsas
a) { } 0 4 x / Z x 2
2
= e e
b) { } a ae
c) { } 1 1e
d) { } { } 1 1e
e) C e C

a) { } a ae
b) { } a a c
c) { } a c C
d) { } C c a
e) { } C e C , a

13) Dados 5} 4, 3, 2, {1, = A , 6} 4, {2, = B y { } 10 x 1 / x s s N e = U
Hallar:

a) B A b) B A c) B A d) A B
e) B AA f) B A g) B A h) B A

14) Dados { } 2 6 x 2 / x A > N e = , { } 8 2 x 2 / x B s N e = y N = U
Hallar:

a) B A b) B A c) B A d) A B
e) A f) B g) B A h) B A


15) Utilizando el siguiente diagrama , sombrear los conjuntos:

a) C B A
b) ( ) C B A
c) C B A
d) C B A
e) ( ) C B A C B A

16) Expresar mediante operaciones entre los conjuntos A, B y C, los conjuntos
sombreados en los siguientes diagramas:

17) Se llev a cabo una investigacin con 1000 personas, para determinar que medio
utilizan para conocer las noticias del da. Se encontr que 400 personas leen las
noticias en forma regular por Internet, 300 personas escuchan las noticias por la
Radio y 275 se enteran de las noticias por ambos medios.
a.- Cuntas de las personas investigadas se enteran de las noticias slo por Internet?
b.- Cuntas de las personas investigadas se enteran de las noticias slo por Radio?
c.- Cuntas de las personas investigadas no leen ni escuchan las noticias?

18) Se realiz una encuesta a 110 amas de casa, sobre sus preferencias por dos tipos de
productos de limpieza marca A y marca B. Obtenindose lo siguientes resultados:
El nmero de amas de casa que prefirieron uno solo de los productos fueron 70.
El nmero de amas de casa que prefirieron ambos productos fue igual al nmero de
amas de casa que no prefiri ninguno de los dos productos.
El nmero de amas de casa que no prefieren el producto A y prefirieron el
producto B fueron 30.
Se desea saber:
a.- Cuntas amas de casa prefieren el producto A?
b.- Cuntas amas de casa prefieren el producto B solamente?
c.- Cuntas amas de casa prefieren ambos productos?

19) Se le pregunt a un grupo de 100 empleados sobre sus preferencias por dos marcas
de cerveza A y B. Obtenindose lo siguientes resultados:
El nmero de empleados que prefirieron la marca A pero no la marca B fue de 30.

El nmero de empleados que no prefirieron la marca A fueron 60.
Se desea saber:
a.- Cuntos de los encuestados prefirieron la marca A?
b.- Cuntos de los encuestados prefirieron la marca B?
c.- Cuntos de los encuestados prefirieron La marca A o la marca B ?


FUNDAMENTOS DE LA TEOR A DE CONJ UNTOS - RESPUESTAS

9) Escribir los siguientes conjuntos por comprensin:
a) { } vocales A =
b) { } = e . B x N x es mltiplo de 2
c) { } = e . C x N x es nmero impar
d) { } = e . D x N x es mltiplo de 4
e) { }
= e . s E x Z x 2

10) Escribir los siguientes conjuntos por extensin:
a) { } 3 , 3 A =
b) { } 25 , 5 , 1 , 25 , 5 , 1 B =
c) { } 21 , 14 , 7 C=
d) { } i e, a, D=
e) C = E

a) V
b) V
c) V
d) F
e) F

a) V
b) F
c) V
d) F
e) V

13) a) { } 6 1,2,3,4,5, B A =
b) { } 2,4 B A =
c) { } 1,3,5 B A =
d) { } 6 A B =
e) { } 1,3,5,6 B A = A
f) { } 10 , 9 , 8 , 7 , 6 , 5 , 3 , 1 B A =
g) { } 10 , 9 , 8 , 7 B A =
h) { } 10 , 9 , 8 , 7 B A =

14) a) N B A =
b) { } 5 B A =
c) { } 6 x N x B A > . e =
d) { } 1,2,3,4 A B =
e) { } 1,2,3,4 A=

f) { } { } 5 x N x 6 x N x > . e = > . e = B o B
g) { } 4 , 3 , 2 , 1 B A =
h) C = B A

15) Utilizando el siguiente diagrama , sombrear los conjuntos:

16) Expresar mediante operaciones entre los conjuntos A, B y C, los conjuntos
sombreados en los siguientes diagramas:

a) B ) C A ( b) ) C B A ( A c) ) C B A ( ) C B A (

17) a. 125
b. 25
c. 575

18) a. 60
b. 30
c. 20

19) a. 40
b. 70
c. 100

TP 10 2013

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

TP 10 2013

Cargado por

Copyright:

Formatos disponibles

TRABAJO PRCTICO X

También podría gustarte