TECNICATURA SUPERIOR EN DESARROLLO DE SOFTWARE

MATEMATICA Y LOGICA

AO 2016
TRABAJO PRCTICO N 1

Conjuntos, relaciones y funciones: generalidades.

1) Consideremos los siguientes conjuntos:
A = {3,6,7,9},

B = {x IN / x es mltiplo de 3}, C = {x Z / x < 3} y D = {x Z / x < 10}.

Decir si son verdaderas o falsas las siguientes afirmaciones, justificando en cada caso su respuesta:
a) 12 B

b) 3 C

c) -2 D

d) C D

e) A D

f) A B

2) Sean el conjunto universal U = {x IN / 1 x 10} y los conjuntos:

A = {x IN / 1 x < 5}, B = {x IN / x es par
Hallar: a) (C A) B,

b) AC (B C) ,

2 x 8} y C = {1, 4, 7, 10}.

c) A B ,

d) P(C)

3) Si X = {x IR / x >10}, Y = {x IR / x < 7} y Z = {x IR / x >3},

Determinar: X Y ,

X Y, Y Z, Y Z.

4) Si A y B son dos conjuntos cualesquiera, Qu relacin puede plantearse entre los conjuntos
A B y A B?. Realice diagramas de Venn que le permitan analizar esta relacin y demustrela.
5) Probar que para todo par de conjuntos A y B se verifica:

(A B) Ac B

6) Probar que son vlidas las siguientes igualdades entre conjuntos:

a) (A B) C = A (B C)
b) A (A B) = A - B
c) A Ac =
7) Demuestre que cualesquiera sean los conjuntos A y B se verifica:

a) A B A B = A (Realice, adems, un diagrama de Venn que represente esta situacin)

b) A =

B= AB=

Ser verdadera la implicacin contraria en cada inciso? Justifique.

8) Cul de las siguientes afirmaciones es cierta para todo par de conjuntos A y B? Justifique.
a) A B Ac Bc

b) A B Bc Ac

9) Sea A = {0,1,2,3,4,5,6,7,8,9}. Decir en qu casos los conjuntos que se dan forman una particin de
A:
a) A1 = {0,2,4,6,8}; A2 = {1,3,5,7,9}
b) A1 = {0,4,9}; A2 ={1,3,5,7}; A3 = {2,6,4,8,0}
c) A1 = {3,6,9}; A2 = {0,1,2}; A3 = {4,8}
Dar ejemplos de particiones del conjunto Z.
10) Sea A = {1, 4, 6, 9},

B = {1,2,3,4,8} y la relacin de A en B dada por:

x R y si y slo si x es mltiplo de y

a) Expresar R por extensin.

b) Dar dominio e imagen.
c) Representarla mediante diagrama de Venn, matriz y diagrama de coordenadas.
d) Se trata de una funcin de A en B? Justifique.

11) Sea A = {x N / 1 x 4} y sea R la relacin definida sobre A por:

(x , y) R x - y < 1
a) Expresarla como un conjunto de pares ordenados.
b) Representar R a travs de un grafo dirigido.
c) Hallar {x A / x R 3}
12) Dadas las siguientes relaciones:
a) R definida sobre Z por :

(x,y) R y = 4

b) S definida sobre IR por:

(x,y) S x + y 2

a) Mencione al menos 5 elementos que pertenezcan a estas relaciones.

b) Represente las relaciones dadas en un diagrama cartesiano
c) Es R una funcin de Z en Z? Es S una funcin de IR en IR?. (En caso afirmativo exprsela con
notacin funcional).
13) En cada uno de los siguientes casos, defina la relacin correspondiente ya sea por extensin o por
comprensin:
d

14) a) Para la relacin R = {(1,3), (1,4), (2,4), (2,6), (3,3), (3,9)}, obtener R-1 .
b) Para la relacin S = {(x,y) IN x IN / x 2 y = 2}, obtener:
- Dominio e imagen de S
- S-1 , especificando su dominio e imagen.
- diagrama cartesiano de S y de S-1

15) a) Sean R = {(2,5),(3,4),(6,2),(3,0),(2,7)} y S = {(4,8), (5,3), (0,9),(2,2),(5,10)}

Hallar SoR y RoS.
b) Sean R1 IR x IR y R2 IR x IR . Obtener R2 o R1 si:
x R1y y = 3x

y R2 z z = y2