2-Conjuntos Relaciones Funciones y Logica 2012

CONJUNTOS, RELACIONES,
FUNCIONES Y LGICA
Fundamentos de la Matemtica 2012
Conjuntos
Cuando decimos: un elemento pertenece a un conjunto, estamos utilizando nada menos que tres
conceptos primitivos bsicos de nuestra teora: elemento, conjunto y pertenencia.1
Para indicar que b es un elemento de un conjunto A, se escribe b A, que se lee b pertenece a
A. Si por el contrario b no es elemento de A, escribimos b A, que se lee b no pertenece a A.
Si bien conjunto es un concepto primitivo, cada conjunto particular se puede definir por
extensin (nombrando cada uno de sus elementos) o por comprensin (dando una propiedad que
cumplen todos los elementos del conjunto y solo ellos).
1) Puede escribirse cualquier conjunto por extensin? En caso negativo dar un ejemplo.
2) Sea A {x / x , 3 x 10}
i) Escribe el conjunto A por extensin.
ii) Indica si las siguientes proposiciones son verdaderas o falsas:
9
1A
4A
A
2
3,5 A
10 A
3A
3) Escribe por comprensin los siguientes conjuntos:
i) A {Brasil, Argentina}
ii) B {0, 2, 4, 6, 8, 10}
iii) C { 2, 2 }
4) Escribe por extensin los siguientes conjuntos:
i) D {x / x 3n, n , 5 n 8}
1
ii) E {x / (x 2 )(x 2 2) 0 }
9
Igualdad de conjuntos
5) Completa con
o
{2, 1, 5} ........ {x / (x 1)(x 2)(x 5) 0}
[2, 3] ........ {x / 2 x 3}
{x / (x
1
1
)(x 9) 0} ......... [9, ]
2
2
Osin, L. (1975). Introduccin al anlisis matemtico. Buenos Aires: Editorial Kapelusz. (p. 3)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Conjunto, Relaciones, Funciones y Lgica

Definicin
Dos conjuntos son iguales si tienen los mismos elementos.
Simblicamente: A B x, ((x A x B) (x B x A))
A B (1) y x, ((x A x B) (x B x A)) (2), son lo que se denominan
proposiciones. Es decir, oraciones que son verdaderas (V) o falsas (F), pero no ambas cosas a la
vez. Si una proposicin es verdadera, diremos que su valor de verdad es V, y si es falsa diremos
que su valor de verdad es F.
Las proposiciones pueden clasificarse en simples o compuestas. Las proposiciones compuestas
estn formadas por proposiciones simples. Por ejemplo, una proposicin simple sera Pablo lee el
Quijote y en cambio una proposicin compuesta podra ser Pablo lee el Quijote y Cien aos de
soledad. A las proposiciones las representaremos utilizando letras minsculas de nuestro
alfabeto: p, q, r,
Las proposiciones (1) y (2) se llaman equivalentes. Dos proposiciones son equivalentes (y lo
notaremos con el smbolo ), cuando tienen el mismo valor de verdad.
En la proposicin (2) aparece el llamado cuantificador universal (), y las operaciones bsicas:
conjuncin () e implicacin (). Si p y q son dos proposiciones, a la proposicin p q, que se lee

p y q, se la denomina conjuncin lgica de p y q. Si p y q son dos proposiciones, a la proposicin
p q, que se lee p implica q, se la denomina condicional o implicacin lgica de las

proposiciones p y q (en ese orden). Tambin se dice que p es el antecedente del condicional y que
q, es el consecuente.
Las definiciones de estas operaciones vienen dadas por las siguientes tablas, que nos permiten
determinar el valor de verdad de una proposicin compuesta en funcin de los valores de verdad
de las proposiciones que la forman:
pq
pq
V
F
V
F
V
V
F
F
V
F
F
F
V
F
V
F
V
V
F
F
V
V
F
V
Observando la tabla vemos que la proposicin p q es verdadera nicamente cuando p y q son

verdaderas, lo que est de acuerdo con el uso corriente de la conjuncin y2.
Se podra pensar que carece de sentido que la proposicin p q sea verdadera cuando p y q
son falsas, pero consideremos la siguiente proposicin matemtica: n, n , (n 2 n2 4).
2
Aunque el uso coloquial de la conjuncin y, no siempre es claro y libre de ambigedades. Por ms

informacin al respecto se puede consultar: Bosch, J. (1965). Introduccin al simbolismo lgico. Buenos
Aires: Editorial Universitaria de Buenos Aires. (p. 9)


Cabe esperar que la proposicin anterior sea verdadera. Al sustituir n por diferentes nmeros
enteros en las expresiones n 2 y n2 4, se obtienen distintas proposiciones y se dan todas
las posibles combinaciones de valores de verdad, exceptuando la combinacin V-F. Por ejemplo,
tomando n como 3, 3 y 1, resultan respectivamente las combinaciones V-V, F-V y F-F, y todas
estas combinaciones dan a la implicacin el valor de verdad esperable (V)3.
Inclusin. Subconjuntos.
6) Resuelve las siguientes ecuaciones e inecuaciones en :
i) x2 x 0
ii) x2 0
iii) x (2x 1) (x 4) 0
iv) x 5 x 6
S1
S2
S3
S4
Definicin
Se dice que un conjunto A est incluido ampliamente en un conjunto B, o que A es subconjunto de
B, y se escribe A B, si todo elemento de A es tambin elemento de B.
Simblicamente: A B x, (x A x B)
Observa que: A B (A B B A)
Cuando queremos distinguir expresamente que no se cumple la igualdad, o sea cuando: A B y
A B, decimos que A est incluido estrictamente en B, o que A es subconjunto propio de B y
escribimos: A B. Esto implica que todo elemento de A pertenece a B, pero hay elementos de B
que no pertenecen a A.
7) Escribe simblicamente la definicin de A incluido estrictamente en B.
8) Indica, justificando, si las siguientes proposiciones son falsas o verdaderas, siendo S1,
S2, S3 y S4, los conjuntos solucin de la actividad 6):
S1 S2
S3 S2
S3 S3
S1
S2
S3
S4 S1
9) Qu debe cumplirse para que A B ?

Observa que todo conjunto es subconjunto de s mismo: A A
Por ms consideraciones acerca de la tabla de verdad de la implicacin se pueden consultar desde la pgina
42 a la 45 del libro: Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa.


En la actividad 9), habrs concluido que: A B x, (x A x B).
La proposicin 1 B, es la negacin de la proposicin 1 B. Si la proposicin 1 B es
verdadera, la proposicin 1 B, es falsa y, por el contrario, si 1 B es falsa, la proposicin
1 B, es verdadera.
En general, si p es una proposicin, la proposicin p, que se lee no p , se denomina negacin de
la proposicin p.
La tabla de verdad de la negacin es la siguiente:
V
F
F
V
En la proposicin x, (x A x B)4 aparece el llamado cuantificador existencial (). El

cuantificador universal () y el cuantificado existencial () se vinculan, por ejemplo, de la
siguiente manera: sea P(x) una expresin5 que depende de x, la proposicin, (x, P(x))6 es
equivalente a la proposicin x, P(x).
Profesor: decir que la proposicin
x, P(x)
es verdadera significa que la proposicin
x, P(x)
es falsa.
Por ejemplo: si es cierto que
entonces decir que
Todo alumno entiende los cuantificadores
Existen alumnos que no entienden los cuantificadores
es falso. Es claro, no?...

[]
Juan: Ah! Pero, yo pensaba que la negacin de
era
Todas sus explicaciones son claras

Ninguna de sus explicaciones es clara
pero veo que estaba en un error. Debo decir:
Algunas de sus explicaciones no son claras

Profesor: Muy buen ejemplo, Juan. Y gracias por tu sinceridad
Cuando se dice existe x, significa que existe, por lo menos, un x.

Con este tipo de expresiones trabajaremos ms adelante cuando veamos funciones proposicionales.
6
Se lee: Para todo x, se verifica P(x)
5
Se lee existe x tal que se verifica P(x)


Ahora bien, el cuantificador universal puede asimilarse, intuitivamente, a expresiones que
indican universalidad (en alemn, Algemanheit, de donde proviene el smbolo : una A
invertida). El carcter universal de una proposicin del lenguaje cotidiano se obtiene, usualmente,
anteponiendo al sujeto la palabra todo (en ingls, All, lo que ha generalizado la notacin
)8
Conjunto Vaco
Puede suceder que ningn elemento satisfaga la condicin de pertenencia (por ejemplo: conjunto
de todos los tringulos de cuatro lados).
Nos encontramos entonces con un conjunto particular que llamaremos vaco.
Una posible definicin del conjunto vaco podra ser: {x A / x x}
Su notacin ser: 9 y podemos escribir tambin: { }.
Observa que: 1) Cualquiera sea el conjunto A, se cumple que A.
2) { }
Una posible justificacin de la observacin 1): A x, (x x A).
Como el antecedente de la proposicin x, (x x A) es falso cualquiera sea x, dicha
proposicin, segn las tablas de verdad de la implicacin, es verdadera. Por lo tanto, la
proposicin A es tambin verdadera, ya que es equivalente a x, (x x A).
10) Indica si las siguientes proposiciones son verdaderas o falsas:
a) { }
b) { }
c) { }
d)
e)
Conjunto de Partes o Conjunto Potencia

Definicin
Dado un conjunto A, se llama conjunto de partes de A o conjunto potencia de A, y se escribe
P(A), al conjunto cuyos elementos son todos los subconjuntos de A.
Simblicamente:
P(A) {X / X A}
Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pp. 79-80).
Nota: Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
9
Este smbolo corresponde a letra o escandinava y pretende ser una modificacin del nmero cero, con el
cual como veremos- se presentan analogas evidentes. Su aparicin en la Matemtica es de fecha ms bien
reciente, comenzando su popularidad a principios de la dcada del 50. Op. Cit., pie de pg. 111.


11)
a) Se consideran los conjuntos A {1, 2, 3}, B {1, 2} y C {3}, escribe P(A),
b) Completa: Si un conjunto E tiene n elementos, el conjunto
c) El conjunto de partes de A, puede ser vaco? Justifica.
P(B) y P(C).
P(E) tiene .......... elementos.
Operaciones entre conjuntos

Unin de conjuntos
12) Resuelve las siguientes inecuaciones en y escribe el conjunto solucin utilizando
intervalos de nmeros reales:
3x2
0
x2 1
ii) (x 3)x 2 (x 4) 0
i)
Definicin
Sean A y B dos conjuntos. Se llama unin de A y B, y se escribe A B, a un nuevo conjunto cuyos
elementos pertenecen a A o a B.
Simblicamente: A B {x / x A x B}
13) Dados los siguientes conjuntos mediante diagramas de Venn, raya el conjunto A B:
En la frmula: x A x B, aparece la operacin bsica llamada disyuncin (). Si p y q son

dos proposiciones, a la proposicin p q, que se lee p o q, se la denomina disyuncin lgica de p
yq
10
. La definicin de esta operacin viene dada por la siguiente tabla:
pq
V
F
V
F
V
V
F
F
V
V
V
F
10
En la pg. 37 del libro: Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin
Cnepa, se realizan consideraciones que vinculan el smbolo con la conjuncin o de nuestro idioma.

Analicemos ahora, desde el punto de vista lgico, la definicin de conjunto unin. Segn dicha
definicin, las proposiciones x A B (1) y x A x B (2) (para un x particular), son
equivalentes. Mirando la tabla de verdad de la disyuncin, vemos que la proposicin (2) es
verdadera si:
1) x A es verdadera y x B es verdadera.
2) x A es falsa y x B es verdadera.
3) x A es verdadera y x B es falsa.
Ser falsa nicamente cuando x A y x B sean ambas falsas a la vez.
Por ejemplo, consideremos los conjuntos A {2, 5} y B {1, 2}, y teniendo en cuenta el anlisis
realizado anteriormente, hallemos A B.
1 A B?
S, puesto que la proposicin 1 A es falsa y la proposicin 1 B es verdadera; con
lo cual la proposicin 1 A 1 B es verdadera, y como son equivalentes, 1 A B
tambin es verdadera.
2 A B?
S, puesto que la proposicin 2 A es verdadera y la proposicin 2 B es verdadera;
con lo cual la proposicin 2 A 2 B es verdadera, y como son equivalentes,
2 A B tambin es verdadera.
5 A B?
S, puesto que la proposicin 5 A es verdadera y la proposicin 5 B es falsa; con
lo cual la proposicin 5 A 5 B es verdadera, y como son equivalentes, 5 A B
tambin es verdadera.
7 A B?
No, puesto que la proposicin 7 A es falsa y la proposicin 7 B es falsa; con lo
cual la proposicin 7 A 7 B es falsa, y como son equivalentes, 7 A B
tambin es falsa. Lo mismo sucede para cualquier x que no sea ni 1, ni 2, ni 5.
Por lo tanto: A B {1, 2, 5}
14) Comprueba, utilizando las tablas de verdad, que:

a) (p q) (p q) (Definicin del condicional)
b) (p q) (p q) (Ley de De Morgan)
c) (p) p (Doble negacin)
15) Utilizando proposiciones equivalentes, justifica que la negacin de la proposicin:
x, (x A x B) (definicin de A B) es la proposicin: x, (x A x B)
(A B).

Algunas definiciones:
1) Una proposicin es una tautologa si y solo si es verdadera para todas las asignaciones de
valores de verdad de sus proposiciones componentes.
2) Una proposicin es una contradiccin si y solo si es falsa para todas las asignaciones de valores
de verdad de sus proposiciones componentes.
3) Una proposicin es una contingencia si y solo si no es una tautologa ni una contradiccin.
16) Estudia, utilizando las tablas de verdad, si las siguientes proposiciones son tautologa,
contradiccin o contingencia:
a) p (q r)
b) (p (p))
c) (p q ) (q p)
17) Prueba, utilizando las tablas de verdad, que las siguientes proposiciones son
tautologas:
i) ((p q ) p) q
(Modus Ponens)
ii) ((p q ) (q)) p

iii) p p
(Modus Tollens)
(Identidad)
iv) (p q) p
(Simplificacin)
v) p (p q)
(Adicin)
vi) ((p q ) (p)) q
(Silogismo disyuntivo)
vii) ((p q ) (q r)) (p r)
(Silogismo hipottico)
A las tautologas de la actividad anterior, se las denomina reglas lgicas.

Definicin
Llamaremos regla lgica a toda implicacin que sea una tautologa.
Definicin
Si p q es una tautologa, escribiremos p q, que se lee: si p, entonces q.
Propiedades de la operacin Unin

1) A A A (Idempotencia)
2) A B B A (Conmutativa)
3) A (B C) (A B) C (Asociativa)
4) A A (Existencia del elemento neutro)


5) A A B
6) B A A B A
En la propiedad 6, aparece una operacin bsica ms. Si p y q son dos proposiciones, a la
proposicin p q, que se lee p implica doblemente a q, se la denomina bicondicional de las
proposiciones p y q 11. La definicin de esta operacin viene dada por la siguiente tabla:
pq
V
F
V
F
V
V
F
F
V
F
F
V
Definicin
Si la proposicin p q es una tautologa, escribiremos p q, que se lee p si y solo si q o p es
equivalente a q, y a dicha proposicin la denominaremos ley lgica.
18) Prueba que las siguientes proposiciones son leyes lgicas:

a) (p q) (p q)
b) (p q) p q
c) (p) p
Tambin se cumplen las siguientes equivalencias:

1) (p p) p Idempotencia de la disyuncin.
2) (p p) p Idempotencia de la conjuncin.
3) (p q) (q p) Conmutativa de la disyuncin.
4) (p q) (q p) Conmutativa de la conjuncin.
5) [(p q) r]p (q r)] Asociativa de la disyuncin.
6) [(p q) r][p (q r)] Asociativa de la conjuncin.
7) [p (q r)](p q) (p r) Distributiva de la conjuncin respecto de la disyuncin.
8) [p (q r)] (p q) (p r) Distributiva de la disyuncin respecto de la conjuncin.
11
Los smbolos: , , , , , se llaman conectivos lgicos. Para describir un lenguaje L, es necesario
disponer, previamente, de un lenguaje auxiliar que permita expresar las reglas que codifican a L. El lenguaje
que empleamos para hablar acerca de otro lenguaje, se denomina metalenguaje, en tanto que, el lenguaje que
es objeto de nuestra descripcin, recibe el nombre de lenguaje objeto. (Gonzlez Cabilln, 1993, p. 7)


9) pp t, siendo t una tautologa. Tercero Excluido.
10) pp c, siendo c una contradiccin.
11) p t t, siendo t una tautologa.
12) p t p, siendo t una tautologa.
13) p c p, siendo c una contradiccin.
14) p c c, siendo c una contradiccin.
15) (p q) (p q) Ley de De Morgan.
16) (p q) (p q) Ley de De Morgan.
19) Demuestra las propiedades de la operacin unin enunciadas ms arriba.

20) Comprueba que las proposiciones p q y (p q) (q p), son equivalentes12.
Silvia: [p q] Es como si fueran dos condicionales! No, Profesor?
Profesor: Y, s!... En la proposicin anterior, se indican, el condicional

p q 13
al que se suele llamar directo, y su recproco
qp
El bicondicional es la conjuncin de ambos!
La proposicin directa expresa que p es suficiente para que se cumpla q; la recproca establece
que p es necesaria para que se cumpla q. Si ambas proposiciones son verdaderas, es decir, tanto
la directa como la recproca son teoremas, diremos que las proposiciones p y q son equivalentes y
tambin, que p es condicin necesaria y suficiente para que se cumpla q.
Laura: Algn ejemplito?...

Profesor: Durante el curso nos encontraremos con varios ejemplos. Ahora, veamos uno muy
simple que seguramente aclarar las ideas: []14
Una condicin necesaria pero no suficiente- para que un nmero sea mltiplo de 6 es que sea
mltiplo de 2.
Es decir, para que un nmero sea mltiplo de 6 es necesario que sea mltiplo de 2, pero como
sabemosesto no alcanza, pues, por ejemplo 2, 8 o 10, son mltiplos de 2 pero no de 6.
12
13
Esta equivalencia es la definicin del bicondicional.

Los condicionales p q y q p, se llaman, respectivamente, contrario y contra-recproco del
condicional p q, al que se lo llama directo.

14
Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pp. 46-47).
Nota: Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.

10

Una condicin suficiente pero no necesaria- para que un nmero sea mltiplo de 6 es que sea
mltiplo de 12.
Es decir, para que un nmero sea mltiplo de 6 basta que sea mltiplo de 12, pero como sabemosesto no es imprescindible, pues, 6, 18 o 30 son mltiplos de 6 pero no de 12.
Alfredo: Y algn ejemplo de condicin necesaria y suficiente?...

Profesor:
Si n es mltiplo de 6 entonces n es mltiplo de 2 y de 3 simultneamente.

Si n es mltiplo de 2 y de 3 simultneamente entonces n es mltiplo de 6.
Decimos, pues, que la condicin n es mltiplo de 2 y de 3 simultneamente es una condicin

necesaria y suficiente para que n sea mltiplo de 6.
21) Comprueba, utilizando tablas de verdad, que:

i) q p es equivalente a p q (el contra-recproco es equivalente al directo).
ii) p q no es equivalente a p q (el contrario no es equivalente al directo).
iii) p q es equivalente a (p q) c, siendo c una contradiccin.
En
la
parte
1)
de
la
actividad
anterior
has
probado
que
la
proposicin
(q p) (p q), es una ley lgica, y se llama transposicin. Esta ley es la que justifica
que, en muchas ocasiones, en vez de demostrarse la proposicin directa, se demuestre, debido a
que resulta ms fcil, su contrarecproca.
Por ejemplo, en virtud de la ley de transposicin, demostrar la proposicin: x, x , y, y ,
(x y 2x 2y), es equivalente a demostrar: x, x , y, y , (2x 2y x y).
Muchas veces se confunde la demostracin del contra-recproco, con la demostracin por el
absurdo, cuyo sustento lgico es la ley que probaste en la parte 3) de la actividad anterior:
(p q) [(p q) c], siendo c una contradiccin. Ya tendremos oportunidad de trabajar ms
adelante con ambos mecanismos de demostracin.
Interseccin de conjuntos
22) Resuelve en el siguiente sistema:
x -5
0
x2 2
x -7 0
Definicin
Sean A y B dos conjuntos. Se llama interseccin de A y B, y se escribe A B, a un nuevo conjunto
formado por los elementos que pertenecen a A y a B.

11

A
A
Analicemos desde el punto de vista lgico la definicin de interseccin de conjuntos. Teniendo en

cuenta dicha definicin, las proposiciones x A B (1) y x A x B (2) (para un x
particular) son equivalentes. Segn la tabla de verdad de la conjuncin, la proposicin ( 2) ser
verdadera nicamente cuando las proposiciones simples x A y x B (para un x particular),
sean ambas verdaderas a la vez; en todos los dems casos ser falsa.
Por ejemplo, consideremos los conjuntos A {2, 5} y B {1, 2}, y teniendo en cuenta el anlisis
realizado anteriormente, hallemos A B.
1 A B?
No, pues la proposicin 1 A es falsa y la proposicin 1 B es verdadera, con lo cual
la proposicin 1 A 1 B es falsa, y como son equivalentes, es falsa tambin la
proposicin 1 A B; por lo tanto 1 A B es verdadera.
2 A B?
S, pues las proposiciones 2 A y 2 B, son ambas verdaderas a la vez, entonces es
verdadera la proposicin 2 A 2 B y por lo tanto, como son equivalentes, tambin
es verdadera la proposicin 2 A B.
5 A B?
No, el razonamiento es anlogo al que realizamos para justificar que 1 A B. Lo mismo
sucede con cualquier otro x que no sea 2.
Por lo tanto: A B {2}.15
Propiedades de la operacin Interseccin

1) A A A (Idempotencia)
2) A B B A (Conmutativa)
3) A (B C) (A B) C (Asociativa)
4) A (Absorcin)
5) A B A
6) B A A B B
15
A un conjunto con un solo elemento se le llama unitario.

12

24) Demuestra las propiedades anteriores.
Diferencia de conjuntos
25) Escribe el conjunto de todos los nmeros reales x de modo que f (x )
nmero real.
2x 2 - 1
sea un
x -5
Definicin
Sean A y B dos conjuntos. Se llama diferencia de A y B, y se escribe A B, a un nuevo conjunto
que tiene por elementos los que pertenecen a A y que no pertenecen a B.
Propiedades de la operacin Diferencia

1) A A
2) A A
3) A
4) A (B C) (A B) C
26) Demuestra las propiedades anteriores.

A
B
B
A
Complementacin
28) Resuelve las siguientes inecuaciones en . Escribe el conjunto solucin para cada caso.
i) (x2 5)(2x 7) 0
S1 ...........................................
ii) (x2 5)(2x 7) 0
S2 ..........................................
iii) Completa: S1 S2 ...............................
S1 S2 .................................

13

Definicin
Sean los conjuntos A y B tal que A B. Se llama complemento de A con respecto a B, y se
escribe ABc , AB' o AB , al conjunto formado por los elementos que pertenecen a B y que no
pertenecen a A.
Simblicamente: ABc {x / x B x A}
29) Raya en la figura el conjunto ABc .
30) Se considera A B. Completa:
A ABc ............
A ABc ............
C
B
............
31) Dados los conjuntos: A {a, b, c, d, e},

D {a, c, d}, E {b, e}, F {f, g}
B {a, c, d, f, g},
C {a, b, c, d, e, f, g},
a) Completa usando los smbolos de interseccin, diferencia y unin:

i) A ........ B C
ii) A ........ B E
iii) A ........ B D
iv) B ........ A F
b) Determina B D, B D, B D, E F,
ACc , BCc ,
P(D),
C B y B C.
c) Indica, justificando, si las siguientes afirmaciones son verdaderas o falsas:

i) {a, b} A
ii) {a, b} C
v) {a, b} A
vi) C E
iii) D A B
vii) A B C
iv) B C
viii) a D
ix) a D
32) Demuestra las siguientes igualdades:
i) (A B) C (A C) (B C)
ii) (A B) C (A C) (B C)
c
iii) A
B ACc
iv) A
B ACc
(Propiedad distributiva de la unin con respecto a la interseccin)

(Propiedad distributiva de la interseccin con respecto a la unin)
BCc , con A C B C .
(Ley de De Morgan)
BCc , con A C B C .
(Ley de De Morgan16)
16
Augustus de Morgan (1806-1871) Matemtico ingls. En 1858, demostr las dos igualdades mencionadas,
hoy conocidas universalmente como leyes de De Morgan. Estas frmulas en forma equivalente- ya haban
sido introducidas por los escolsticos con escasa repercusin.
Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pie de pg. 133)

14

Ms actividades
33) Expresa por extensin los siguientes conjuntos:
a) A {x /x , 4x 20}
4}
c) C {x /x , 5 x 4}
d) D {x /x , 2 2x 3 11}
b) B {x /x , 5 x
e) E {x / x , x C}
34) Expresa por comprensin el conjunto:
a) S de los nmeros naturales que al multiplicarlos por 4 y sumarles 2 dan como resultado un
divisor de 30.
b) P de los mltiplos no negativos de 1.
35) Dados los conjuntos: A {1, 2}; B {{1}, {2}}; C {{1}, {1, 2}}; D {{1}, {2}, {1, 2}}.
Indica si son verdaderas o falsas las siguientes afirmaciones, justificando tu respuesta:
a) A B
g) B D
b) A B
h) B D
c) A C
i) A D
d) A C
e) A D
f) B C
36) Dado el conjunto A {1, {2, 3}, 4}, indica, justificando, si las siguientes proposiciones son
verdaderas o falsas:
i) 1 A
ii) {3, 4} A
iii) {3, 2} A
iv) {1, 2} A
v) {{2, 3}} A
vi) {1, 4} A
37) Dados los conjuntos A {a, b, c}, B {b, d, e} y C {a, b, c, d, e}, determina:
i) A B
ii) A B
vii) A B
iii) (A B) C
viii) A B
ix) C A
iv) A (B C)
v) (A C) (B C)
vi) ACC BCC
x) ACC BCC
38) Sean M, un conjunto de 8 elementos y P, un conjunto de 5 elementos.

a) Cul es el mximo nmero de elementos de M P? Por qu?
b) Cul es el mnimo nmero de elementos de M P? Por qu?
c) Cul es el mximo nmero de elementos de M P? Por qu?
d) Cul es el mnimo nmero de elementos de M P? Por qu?
39) Considera los conjuntos:
A {x / 0 x 6}, B {x / 2 x 8}, C {x / 2 x 6}, D {x / 3 x 4}.
Indica si son verdaderas o falsas las siguientes afirmaciones, justificando tu respuesta.
a) 3 C
b) x A x 5
c) x 8 x B
d) x B x 2
e) C D
f) D A
g) A B C
h) B C B

15

2
2
} y B {x ,
x }.
2
3
Representa en la recta real los conjuntos A, B, A B, A B, A B y B A.
40) Se consideran los conjuntos A {x , 8 x
41) Halla:
i) {;
ii) {
2; 2; 3,14}
vi) [ 2, 3)
, 7, , 0}
19
2
vii) [ 2, 3)
iii) (2, 3]
iv) [5, 7]
viii) (2, 3]
ix) [5, 7]
v) [5, 7]
42) Expresa, en cada caso, el conjunto sombreado como el resultado de operaciones entre
conjuntos:
43) De tres conjuntos A, B y C, se sabe que A C {x / x
, x 9 x 6},
B C {2, 8, 5, 7, 9} B C {5, 7}, A C {2} y C (BA) {8}.

Halla A, B y C.
44) La sangre humana puede contener o no ciertos antgenos: el A, el B, el RH.
La sangre es llamada tipo A positivo si el individuo tiene el A y el RH, pero no el B;
anlogamente para B positivo. Una persona que tiene solamente los antgenos A y B se dice que
tiene sangre AB negativa. Si tiene solo el antgeno RH tiene sangre tipo O positivo.
En un hospital fueron registrados los siguientes datos de determinados pacientes: 25 tienen el
antgeno A, 17 el A y el B, 27 el B, 22 el B y el RH, 30 el RH, 12 no tienen ninguno, 16 tienen el
A y el RH y 15 tienen los 3.
a) Cuntos tienen solamente un antgeno?
b) Cuntos tienen exactamente 2 antgenos?
c) Cuntos pacientes fueron registrados?
d) Cuntos tienen los siguientes tipos de sangre?
i) O positivo
ii) B positivo

16

Par ordenado
Profesor: Creo que ha llegado el momento de considerar un concepto particularmente
importante con el cual ustedes ya estn familiarizados. Me refiero, concretamente, al concepto
de par ordenado. Lo recuerdan?...
[]
Si a y b designan dos objetos matemticos cualesquiera, el par
ordenado asociado con a y b, se representa mediante el smbolo
(a, b)
donde a y b se denominan, respectivamente, primer componente
y segundo componente del par ordenado.
[]
Ana (interrumpiendo): Profesor! No bastara decir que

Un par ordenado es un par de elementos escritos en un orden definido?
Juan: Ana Cmo pods escribir un par de elementos, sin escribirlos en un orden definido? En
el espacio es imposible, y en el tiempo, tambin!...
Profesor: S, s. Adems, el orden mencionado por Ana no es un concepto que matemticamente
hayamos presentado oficialmente en sociedad. El adjetivo ordenado que venimos empleando
para los pares, tiene un carcter gramatical, y no matemtico. Dicho adjetivo pretende
recordarnos que
(a, b) (b, a)
a menos claro est- que a y b sean iguales.
Por lo tanto, tenemos que esforzarnos un poco ms en lograr una definicin de par ordenado que
satisfaga nuestra curiosidad conjuntista. Es decir, para cada par de elementos a y b deseamos
construir un nuevo conjunto, simbolizado (a, b) que posea la propiedad fundamental:
(a, b) (c, d) (a c b d)
[] Intentemos, pues, dar una definicin conjuntista
Obviamente, no podramos definir
(a, b)
como
{a, b}
puesto que
{a, b} {b, a}
y no se cumplira la propiedad fundamental

Pero cmo dar una definicin razonable de (a, b)? No es fcil!

17
DEFINICIN
El par ordenado asociado con los elementos a y b (sotto voce: en
ese orden!) es el conjunto (a, b) definido por
(a, b) {{a}, {a, b}}
Observen que
(a, b)
es, de acuerdo con esta definicin, un conjunto binario cuyos elementos son los conjuntos
{a} y {a, b}
Tal definicin es, sin dudas, extravagante y no intuitiva, pero como veremos, resulta adecuada
para demostrar el siguiente
TEOREMA (Propiedad fundamental de los pares ordenados)
Sean a, b, c, y d elementos cualesquiera. Se cumple:
(a, b) (c, d) (a c b d)
Demostracin:17
Terna ordenada
El concepto de par ordenado puede generalizarse fcilmente al de terna ordenada. Del mismo
modo que los pares ordenados hallan una interpretacin geomtrica sencilla e interesante
mediante las coordenadas de un punto del plano (dos dimensiones), las ternas ordenadas admiten
tambin un modelo geomtrico extremadamente til: concretamente, las coordenadas de un punto
en el espacio (tres dimensiones).
Para la definicin de terna ordenada de objetos hemos de definir el smbolo
(a, b, c)
de suerte que
(a, b, c) (d, e, f) (a d b e c f)18
17
Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pp. 138 a 140).
Notas: 1) Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
2) El alumno interesado puede leer la demostracin del teorema en las pginas 140 a 142.
18
Op. Cit., p. 143.

18
n-upla ordenada
Anlogamente, para la definicin de n-upla ordenada asociada a los elementos a1, a2, , an, se debe
definir el smbolo
(a1, a2, , an)
con la propiedad fundamental
(a1, a2, , an) (b1, b2, , bn) (a1 b1 a2 b2 an bn) 19.
Producto Cartesiano
Definicin
Sean A y B dos conjuntos. Se llama producto cartesiano de A y B, y se escribe A B, a un nuevo
conjunto formado por todos los pares ordenados tales que el primer componente del par
pertenece al conjunto A y el segundo al conjunto B.
Simblicamente: A B {(a, b) / a
A b B}
45) Se consideran los conjuntos E y H tales que: E {1, 2} y H {a, b, c}

Completa el producto cartesiano H E.
E H {(1, a), (1, b), (1,c), (2, a), (2, b), (2, c)}
H E {..............
Se cumple la propiedad conmutativa del producto cartesiano?
46) Un alumno dice haber hallado el siguiente producto cartesiano:
A B {(a, 1), (a, 2), (b, 1), (c, 1), (c, 2)}
Puede ser correcto?
47) Dados los conjuntos: A {5, 7}, B {7, 9} y C {9, 10 11}; completa la siguiente tabla
colocando o segn corresponda.
AB
BC
CA
AC
(5, 7)
(7, 9)
(7, 7)
(7, 5)
(5, 9)
(9,7)
(9, 10)
48) En qu caso A B es el conjunto vaco?
19
En la pg. 143 se puede consultar la definicin de terna ordenada y en la pg. 144, la definicin de n-upla
ordenada.

19

Relaciones
Definicin
Se llama relacin de A en B, y se escribe R : A B, a cualquier subconjunto del
producto cartesiano A B.
Simblicamente: R es una relacin de A en B R A B
Terminologa
Si R es una relacin de A en B, y (a, b) R, diremos que a est relacionado con b y lo

representaremos: a R b o R (a) b.
Habitualmente trabajaremos con relaciones de A en A a las que llamaremos, en forma ms
breve, relaciones definidas en A o relaciones en A. Usualmente, en vez de escribir
R : A A, se escribe R : A.
Representaciones de una relacin

Consideremos los conjuntos A { , } y B { !, * }, y la relacin R : A B tal que
R { (, *), (, !), (, !)}.
En forma tabular:
Diagrama sagital:
!
B
Diagrama cartesiano
*
.
.

20

Relaciones definidas en un conjunto
49) Considera el conjunto de palabras A {apenas, hora, ms, carbn, pero, fro} y la
relacin R definida en A: tiene la misma cantidad de letras que.
Representa la relacin en un diagrama de Venn, en el que se agregarn flechas, teniendo
en cuenta que:
si a
R b, sale una flecha de a hacia b.
si a
R a, sale una flecha de a y vuelve hacia a.
Cuando se trata de una relacin definida en un conjunto no vaco pueden analizarse ciertas
propiedades:
Definicin
Dado un conjunto A no vaco y una relacin
R definida en A, diremos que:

R cumple la propiedad idntica o reflexiva a A, aRa .
R cumple la propiedad recproca o simtrica a A, b A, aRb bRa
R cumple la propiedad transitiva a A, b A, c A, aRb bRc
50) Analiza cules propiedades cumple la relacin
aRc .
R de la actividad anterior.
Definicin
Dado un conjunto A (no vaco), diremos que una relacin R definida en A es de equivalencia si y
solo si cumple las propiedades reflexiva, simtrica y transitiva.
Notacin: Si una relacin
definida en A es de equivalencia y (a, b)
R,
se puede escribir
b.
Por lo tanto, la relacin

de equivalencia.
R definida en A: tiene la misma cantidad de letras que, es una relacin
Si observas el diagrama de la relacin R notars

que los elementos del conjunto A han quedado
separados en subconjuntos. Se dice que la
relacin de equivalencia R determina una
particin del conjunto A en clases de
equivalencia. En nuestro ejemplo quedan
determinadas tres clases: A1, A2 y A3.

21

Definicin
Dado un conjunto A (no vaco), una relacin
de equivalencia definida en A, y a A, se llama
clase de a, y se escribe C a o [a], al conjunto formado por todos los elementos de A que estn
relacionados con a.
Simblicamente: [a] {x A, x R a}
51) Completa: [a]
P (A)
Teorema
Sean un conjunto A (no vaco), una relacin
R de equivalencia definida en A, y a, b A, se cumple
que:
a R b [a] [b].
52) Demuestra el teorema anterior.
Volviendo a la actividad de la pgina 1, tenemos que:

Dos elementos pertenecientes a la misma clase, se llaman equivalentes. Por ejemplo, las
palabras hora y fro son equivalentes (tienen la misma cantidad de letras).
Puesto que dos cualesquiera de los elementos de una clase son equivalentes, cualquier
elemento de una clase puede servirnos como representante de dicha clase.
El conjunto formado por las clases de equivalencia A1, A2 y A3, se denomina conjunto cociente
de A mdulo R, y se lo nota: A
Definicin
Dado un conjunto A (no vaco) y una relacin
cociente de A mdulo
R,
y se escribe A
clases de equivalencia de elementos de A.

Simblicamente: A
[x ]
P (A) / x A
de equivalencia definida en A, se llama conjunto
, al conjunto que tiene como elementos a todas las
53) Se consideran el conjunto A {2, 3, 5, 7} y la relacin

de. Analiza si
mdulo R.
R es de equivalencia
R definida
en A: es divisor
y en caso afirmativo halla el conjunto cociente de A
Para las clases A1, A2 y A3 que la relacin R determin (actividad de la pgina 1), se verifican las
siguientes tres propiedades:
1. Cada clase tiene por lo menos un elemento.
Simblicamente: A1 , A2 y A3 .

22

2. Cada elemento del conjunto A pertenece solamente a una clase, es decir, no hay dos clases con
elementos comunes.
Simblicamente: A1 A2 , A2 A3 y A1 A3 .
3. Todo elemento de A pertenece a alguna de las clases.
Simblicamente: A1 A2 A3 A.
Podemos decir entonces que {A1, A2, A3}, es una particin del conjunto A.
Definicin
Se llama particin de un conjunto A (no vaco), a todo subconjunto del conjunto de partes de A,
en donde sus elementos cumplen: son no vacos, disjuntos dos a dos, y su unin es el conjunto A.
Simblicamente:
Consideremos dos conjuntos A e I, tales que A , I
Ai , i
solo si,
e I . es una particin de A, si y
que verifica:
P (A).
Ai , i I.
i I
Ai
Ai
Aj
A.
Ai
20
Aj
, i, j
I.
54) En geometra se dice que una recta, una circunferencia o la mediatriz de un

segmento, determinan una particin del plano, a qu particin se est haciendo
referencia?
Teorema
Dado un conjunto A (no vaco) y una relacin
R de equivalencia definida en A, se cumple que A
es una particin de A.
Una posible lectura del teorema anterior es que toda relacin de equivalencia definida en un
conjunto A (no vaco) determina una particin de A en clases de equivalencia.

56) Se consideran los conjuntos A
a , b ,c ,d
b , a ,c ,d
i) Demuestra que es una particin de A.

20
Sean I , I (familia de ndices ) y Ai , i I Ai
de la familia Ai , i I , al conjunto
Ai x , i I
i I
i I
una familia de conjuntos. Se denomina unin
x Ai .

23

ii) Determina por extensin una relacin de equivalencia
definida en A cuyo conjunto
cociente sea .
iii) Dos elementos cualesquiera de A que estn relacionados segn
R,
cmo se vinculan
con el conjunto ?
Teorema
Sea una particin de A. Definimos la relacin
en A de modo que dos elementos de A estn
relacionados si y solo si pertenecen al mismo elemento de la particin . Entonces, dicha relacin

es de equivalencia y el conjunto cociente que esta relacin
R determina es la particin .
58) Se considera el conjunto A {a, b, c, d, f} y la particin de A: {{a, b, c}, {d}, {f}}.

Escribe por extensin la relacin de equivalencia
comprueba que: A
R correspondiente al teorema anterior y
59) a) Comprueba que la relacin paralelismo, definida en el conjunto de todas las rectas
del plano, es de equivalencia.
b) Por qu elementos est compuesta cada clase de equivalencia que la relacin
paralelismo determina en el conjunto de todas las rectas del plano? Qu nombre recibe
cada una de estas clases?
60) Se consideran los conjuntos A {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, B {0, 1, 2, 3, 4},
C {2, 3, 4, 5}, D {2, 3}, E {7, 8, 9} y M {A, B, C, D, E }, y las relaciones
R1 y R2
definidas en M tales que: P R1 Q P Q y P R2 Q P Q.

Representa
R1 y R2 en diagramas de Venn y analiza las propiedades que cumplen.
Definicin
Dado un conjunto A no vaco y una relacin
R definida en A, diremos que:

R cumple la propiedad inidntica a A, (a , a ) R .
R cumple la propiedad asimtrica a A, b A, (a , b ) R
R cumple la propiedad antisimtrica a A, b A, (a , b ) R
(b, a )
(b, a )
b .
R1 cumple las propiedades: inidntica, asimtrica y transitiva. Diremos entonces que R1 es una
relacin de orden estricto.
R2 cumple las propiedades: idntica, antisimtrica y transitiva. Diremos entonces que R2 es una
relacin de orden amplio.

24

Definicin
Dado un conjunto A no vaco y una relacin R definida en A, diremos que R es una relacin de
orden estricto si y solo si cumple las propiedades inidntica, asimtrica y transitiva.
Si R es una relacin de orden estricto definida en A, se dice que el conjunto A est
estrictamente ordenado u ordenado estrictamente por la relacin R.
Definicin
Dado un conjunto A no vaco y una relacin R definida en A, diremos que R es una relacin de
orden amplio si y solo si cumple las propiedades idntica, antisimtrica y transitiva.
Si R es una relacin de orden amplio definida en A, se dice que el conjunto A est ampliamente
ordenado u ordenado ampliamente por la relacin R.
61) Se consideran los conjuntos A {0, 1, 2}, B {0, 1, 2, 3, 4}, C {0, 1, 2, 3, 4, 5},
D {0, 1, 2, 3, 4, 5, 6, 7}, E {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y N {A, B, C, D, E }, y la
R3 definida en N tal que: P R3 Q P Q.

Representa R3 en un diagrama de Venn y analiza las propiedades que cumple.
relacin
Definicin
Dada una relacin R de orden (amplio o estricto) definida en un conjunto A no vaco, diremos que
dos elementos a y b de A son comparables si y solo si a R b o b R a.
Definicin
Dada una relacin R de orden (amplio o estricto) definida en un conjunto A no vaco, diremos que
R es una relacin de orden total si todo par de elementos distintos de A son comparables. En
caso contrario se dice que R es una relacin de orden parcial.
62) Analiza si las relaciones

orden total o parcial.
R1, R2 y R3, definidas en las actividades anteriores,
son de
63) Analiza para cada una de las siguientes relaciones si son de orden estricto o amplio,
parcial o total:
i) definida en
P (A) (con A ).
ii) definida en .
iii) definida en .
iv) definida en .
v) definida en .

25

Definicin
R de orden amplio definida en un conjunto A no vaco.

Diremos que a A es un elemento mnimo de A si y solo si x A, a R x.
Diremos que b A es un elemento mximo de A si y solo si x A, x R b.
Se considera una relacin
64) Podr existir ms de un mximo o ms de un mnimo? Justifica.

65) Se considera el conjunto B {a, b, c, d, e, f} y la relacin
definida en B tal que
R {(a, a), (b, a), (b, b), (c, a), (c, b), (c, c), (d, a), (d, c), (d, d), (e, f), (f, f)}.
a) Representa R en un diagrama cartesiano y comprueba que no es una relacin de orden
amplio.
b) Define una nueva relacin S tal que R est incluida en S, agregando a
cantidad de pares ordenados posibles para que S sea de orden amplio.
c) Investiga la existencia de mnimo y mximo en B segn la relacin S.
la menor
66) Sean R1, R2, R3 y R4, relaciones definidas en el conjunto A {0, 1, 2}, cuyas
representaciones en sistemas de ejes cartesianos son las siguientes:

26

Investiga si las relaciones anteriores son de equivalencia o de orden amplio. Si alguna relacin
es de equivalencia, determina el conjunto cociente y si es de orden amplio, indica si es total o
parcial y halla, en caso de existir, mximo y mnimo.
Ms actividades
67) Dados los conjuntos: A {a, b, c, d}; B {1, 2, 3}; C {a, c, 2, 3}
R1 {(a, 2), (a, 1), (b, 3)}; R2 {(a, 1), (c, 1)}; R3 {(2, a), (3, c), (2, c)} y
R4 {(x, y) / x y, x , 0 x 3}
a) Investiga si las siguientes son relaciones en los conjuntos que se indican:
R 1 : A B;
R3 : A B; R2 : A B; R2 : A C; R3 : B A;
R3 : B C; R3 : C B; R4 : B B; R4 : B C; R1 : A C
b) Representa mediante diagramas las relaciones de la parte a).
68) Dado el conjunto A = {a, b, c, d, e}, define tres relaciones diferentes en A y representa cada
una de ellas mediante diagrama de flecha, diagrama cartesiano y en forma tabular.
69) Investiga qu propiedades cumplen cada una de las siguientes relaciones:
a) La relacin de paralelismo, en el conjunto de las rectas del plano.
b) La relacin es menor que, en el conjunto de los nmeros naturales ().
70) Investiga qu propiedades cumple cada una de las siguientes relaciones y, en caso de ser
posible, clasifcalas:
a) La relacin es hermano de (para esta actividad, diremos que x es hermano de y, si x e y
son hijos de la misma madre y el mismo padre) definida en el conjunto de todos los seres
humanos.
b) La relacin es divisor de definida en el conjunto A {2, 3, 6, 8, 12}.
c) La relacin es amigo de (debes indicar cundo diremos que x es amigo de y) definida en
el conjunto de todos los seres humanos.
d) La relacin es menor o igual que definida en el conjunto A de la parte b).
71) Dado A
1,2,3, 4 , se consideran las siguientes relaciones definidas en A :
R1
1,1 , 1,2 , 1,3 , 2,2 , 2,1 , 2,3 , 3,3 , 3,1 , 3,2 , 4, 4
R2
1,1 , 1,3 , 2,3 , 3,3 , 3,1 , 3,2 , 4, 4
a) Representa cada una en un sistema de ejes cartesianos.

b) Indica en cada caso si la relacin representada corresponde o no a una relacin de
equivalencia. Justifica.
72) Se consideran el conjunto A 1, 2, 3, 4, 6,9, 12, 18, 36 y la relacin divide a definida en A.
Realiza un diagrama sagital de dicha relacin e investiga si es de orden.

27

73) Se considera la relacin
R definida en B
/0
3 , tal que su representacin
grfica es la regin pintada. Investiga si es una relacin de equivalencia.
0
74) Investiga si la relacin
75) Sean
a , b ,c ,d
R definida en tal que x R y x2 x y2 y

y B
a) Se considera la relacin
es de equivalencia.
b ,c
R definida en P (A) tal que: X R Y X B Y B.
Prueba que R es de equivalencia.

b) Cul es la clase de a , b ,d
c) Cuntos elementos tiene el conjunto cociente

76) Se considera el conjunto A
a , b ,c ,d
P (A )
y en l se definen las relaciones:
R1
a , a , b, b , c , c , d , d
R2
a , a , b, b , c , c , b, c , c , b
R5
a , a , b, b , b,c , a , b , b, a , c ,c , d ,d , c ,d , d ,c
;
; R3
A A ; R4
a , a , b, b , b, c , c , c , d , d
a) Investiga si las relaciones anteriores son de equivalencia. Justifica.

b) En cada caso, si la relacin es de equivalencia, escribe las clases de equivalencia. Justifica.
77) En el conjunto de puntos de un plano se define la relacin: P
RP
d P ,O
d P ,O
siendo O un punto determinado del plano.

a) Prueba que R es de equivalencia.
b) Halla la clase de T, siendo T un punto del plano y determina el conjunto cociente.

28

78) Se define en el conjunto de los nmeros reales la siguiente relacin: x
R y x y x3 y3
a) Prueba que R es una relacin de equivalencia.

b) Halla las clases de los reales 1, 2 y 3.
c) Halla los a / Ca tenga tres elementos.
79) Se define en * la siguiente relacin: x
a) Prueba que R es de equivalencia.
b) Halla C1, C1 y Ca, con a
R y xy 0.
c) Escribe el conjunto cociente

la relacin (x, y) R (x, y ) x x 2(y y )
80) Se define en
a) Prueba que R es de equivalencia

b) Halla las clases de (0, 0) y de (2, -1).
81) Sea A un conjunto y
R1 y R2
dos relaciones de equivalencia en A. Prueba que
R1 R2 es una
relacin de equivalencia en A.
82) Sea R definida en A, con A
tal que R es idntica y transitiva; y sea
que a S b a R b b R a. Es S una relacin de equivalencia?
S definida en A tal
83) Se considera el conjunto A 1, 2, 3, 4 y se define la siguiente relacin:
R : A, a R b
a) Determina
a b a b 3
R por extensin.
b) Representa
R mediante un diagrama cartesiano.
c) Demuestra que R es de equivalencia.

d) Halla A
84) (Primer parcial 2009). Se consideran la funcin f :
, f (x ) x 2 2 y la relacin
S : , aSb f (a ).f (b ) 0.
a) Determina el conjunto H x , xSx .
b) Demuestra que la relacin T :
c) Halla el conjunto cociente
H , aTb f (a ).f (b ) 0, es de equivalencia.

H
, que la relacin T determina en
H .

29

Funciones
85) Se deja caer una pelota desde un edificio y se registra en la siguiente tabla la medida
del espacio recorrido e, en metros, en funcin del tiempo t, en segundos:
1,3
3,5
e (t)
8,45
20
45
61,25
80
(segundos)
(metros)
a) A partir de la tabla encuentra una frmula (e(t)) para el espacio recorrido en funcin del
tiempo. Indica dominio y posibles codominios para la funcin e, teniendo en cuenta que la
pelota llega al piso a los cuatro segundos.
b) Representa grficamente e en funcin de t.
c) Representa grficamente la funcin f cuya frmula es la misma que la que obtuviste en la
parte a), pero ahora con dominio y codominio
+
0
+
0
0 ).
Definicin
Sean A y B dos conjuntos. Se dice que f es una funcin de A en B, y se escribe: f : A B, si y
solo si f es una relacin de A en B que cumple que, todo elemento de A est relacionado con un
nico elemento de B.
Observacin
f : A B es funcin, significa:
f es una relacin de A en B: f A B
Existencia: x A, y B, (x, y) f
Unicidad: x A, y, z B, ((x, y) f (x, z) f y z)
Terminologa
Consideremos la funcin f : A B:
1) A se llama dominio de la funcin f, y se escribe D(f)
2) B se llama codominio de la funcin f, y se escribe Cod(f)
3) Si x A est relacionado con y B, diremos que y es el correspondiente o la imagen de x, y
que x es la preimagen de y; escribiremos f (x) y.
Observa que para que una funcin quede definida es necesario indicar dominio, codominio y una
cierta relacin definida del dominio en el codominio.
No confundir:
f es la funcin, es decir, un conjunto de pares ordenados.

f (x) es la imagen de x al aplicar la funcin f, es decir, es un elemento del
codominio.

30

Otra posible definicin de funcin
Si A y B son dos conjuntos no vacos, se dice que f es una funcin de dominio A y codominio B si y
solo si f es una terna ordenada (A, B, G) tal que:
i) G AB
ii) Para todo x perteneciente a A, existe un nico y perteneciente a B tal que (x, y) pertenece a G.
Representaciones de una funcin

Si el precio de un boleto de mnibus es de $ 15, la funcin que relaciona el dinero recaudado con
el nmero de boletos vendidos puede expresarse en varios lenguajes:
Lenguaje coloquial: texto o frase que relaciona las dos variables. El dinero recaudado
depende o es funcin del nmero de boletos vendidos.
Lenguaje tabular: tabla de valores que relaciona las dos variables.

N de boletos
Pesos
0
0
1
15
2
30
50
750
Lenguaje analtico: expresin analtica que relaciona las dos variables. Si x indica el
nmero de boletos vendidos y el dinero recaudado en pesos lo expresamos con y, entonces
la relacin entre las dos variables viene dado por la expresin y 15.x
Lenguaje grfico: grfica que relaciona las dos variables. Una grfica nos permite, entre
otras cosas, observar globalmente el fenmeno.21
$
75
60
45
..
30
15
.
.
.
.
2 3 4 5
N de boletos
vendidos
Otra posible forma de representar una funcin es a travs de los llamados diagramas sagitales o
diagramas de flechas: N de boletos
$
vendidos
0
2
1
3
4
5
21
30
15
45
60
75
Ochoviet, C. & Olave, M. (2006). Matemtica 4. Montevideo: Santillana. (p. 80)

31

Definicin
Consideremos la funcin f : A B
Se llama recorrido de la funcin f, y se escribe Rec(f), al conjunto de todas las imgenes.
Simblicamente: Rec(f) { y B / x, x A, f (x) y }.
Clasificacin de funciones: Funcin Inyectiva, Sobreyectiva y Biyectiva

Definicin
Una funcin f : A B es inyectiva si y solo si a todo par de elementos distintos del dominio
les corresponden elementos distintos del codominio.
Simblicamente: f : A B inyectiva x1, x2 A, (x1 x2 f (x1) f (x2))
86) La funcin e de la actividad anterior, es inyectiva? Y la funcin f? Justifica.
Definicin
Una funcin f : A B es sobreyectiva si el recorrido de la funcin es igual al codominio, o dicho
de otro modo, si todo elemento del codominio tiene preimagen.
Simblicamente: f : A B sobreyectiva Rec(f) Cod(f)
o tambin:
f : A B sobreyectiva y B, x A, f (x) y
87) La funcin e de la actividad anterior, es sobreyectiva?
Discute segn que el codominio sea
Y la funcin f? Justifica.
+
0
o [0, 80].
Definicin
Una funcin es biyectiva si y solo si es inyectiva y sobreyectiva.
88) La funcin e de la actividad anterior, es biyectiva? Discute segn que el codominio
sea
+
0
o [0, 80].
Funcin Inversa
89) Sea h : / h(x) = 2x 3
a) Completa:
x
y
1
3
3
1
b) Representa grficamente h.

32

c) Demuestra que h es biyectiva.
d) Invierte los valores de la tabla (coloca los valores de la fila de la x en la fila de la y, y
viceversa). Dicha tabla corresponde a una funcin afn g. Represntala grficamente en el
mismo sistema de ejes cartesianos.
e) Halla la expresin analtica de g.
f) Representa, en el mismo sistema de ejes, la funcin b : / b(x) x. Qu observas?
Definicin
Dada una relacin f : A B, se llama relacin inversa de f, y se escribe f -1, a la relacin
f -1 : B A / f -1 (y) x f(x) y.
90) Se consideran los conjuntos A {1, 2, 3} y B {a, b, c}, y las relaciones de A en B,
f {(1, a), (1, b), (2, c)}, g {(1, a), (2, a), (3, b)} y h {(1, a), (2, c), (3, b)}.
i) Alguna de las relaciones anteriores es funcin? En caso afirmativo, clasifcala.
ii) Halla f-1, g-1 y h-1. Alguna de estas relaciones es funcin? En caso afirmativo,
clasifcala.
Teorema
f : A B es una funcin biyectiva f -1 : B A es una funcin y es biyectiva.

Observa que:
1) Por definicin, x A, y B, f -1(y) x f(x) = y, por lo tanto, x, x A, f -1(f(x)) x.
2) A partir de la definicin, A (y0, x0) es un punto de la grfica de f -1 si y solo si A (x0, y0) es un
punto de la grfica de f. Los puntos A y A son simtricos respecto a la recta que contiene a la
bisectriz del primer cuadrante (si tomamos la misma unidad de medida en ambos ejes).
Admitiremos que la grfica de f y la grfica de f -1 son simtricas respecto a la recta
representacin grfica de la funcin b : / b(x) x.

33

Funcin compuesta
Dadas la funciones f : A B y g : C D, tales que Rec(f) C, se define la relacin:
(g
o f):
A D / (g o f)(x) g(f(x)).
B
A
f
Rec(f)
D
g
f (x)
g(f (x))
g of
92) Demuestra que la relacin definida anteriormente es una funcin, a la que llamaremos
funcin compuesta.
93) i) Sean f :
Investiga si existe f
ii) Sean j :
, f (x ) x y g :
, g (x ) 5x .
g y g f . Justifica. En caso afirmativo, hllalas.
, j (x ) 2x y h :
, h (x ) x 2 .
Investiga si existe j h y h j . Justifica. En caso afirmativo, hllalas.
Ms actividades
94) Representa y clasifica las siguientes funciones:
-2x 1 si x 0
, f (x ) 2
x 1 si x 0
a) f :
c) h :
, h (x )
b) g :
1, , g(x ) x 1
2
x 1
2
95) Sea f : / f (x) 2x 1

a) Prueba que f es biyectiva.
b) Determina la expresin analtica de la funcin f -1.
c) Grafica f y f -1 en un mismo sistema de ejes coordenados. Qu observas?
96) Definicin de funcin par:
Sea f una funcin real.
Se dice que f es una funcin par, si y solo si, f(x) f(x) , x D(f).
Sea f :
x
/ f (x )
2 x 2
x 2 x 2

34

a) Grafica la funcin f.
b) Es f una funcin par? Justifica.
c) Qu propiedad geomtrica observas en la grfica de f? Se podr generalizar para
toda funcin par?
97) Definicin de funcin impar:
Sea f una funcin real.
Se dice que f es una funcin impar, si y solo si, f(x) = f(x) , x D(f).
Sea f :
x 2 x 2
/ f (x ) 3
x 2
3
x 2
a) Grafica la funcin f.
b) Es f una funcin impar? Justifica.
c) Qu propiedad geomtrica observas en la grfica de f? Se podr generalizar para toda
funcin impar?
98) Sea M = { x / x , x 4 }.
Se puede determinar una funcin biyectiva de en M? Justifica tu respuesta.
99) a) Decide y justifica cul o cules de las siguientes grficas corresponden a funciones de
en .
b) Clasifica las funciones de en que determinaste en la parte a).
c) Indica cul o cules de las funciones anteriores son invertibles. En esos casos grafica su
funcin inversa (en el mismo sistema de ejes coordenados).

35

100) Indica en cada caso si la grfica puede corresponder a una funcin. En caso afirmativo
especifica dominio, codominio y recorrido y clasifcala. En caso negativo, analiza si se puede
hacer una restriccin al conjunto de partida para que sea una funcin.
y
( 1,1), f (x )
101) Dada f :
1 x
, demuestra que existe la funcin inversa y hllala.
102) Sean A 1,2,3 y B 2,3 .

Representa y clasifica justificando f : A B
tal que f (a , b ) 3a b .
x 1
si x 3
tal que f (x ) 2
x 2 1 si x 3
a) f es funcin? Justifica tu respuesta.

b) f es inyectiva? Justifica tu respuesta.
c) f es sobreyectiva? Justifica tu respuesta.
103) Se considera f :

36

d) Sea h :
tal que
h(x) 2x 1. Existen h f y f h ? En caso afirmativo,
determina sus expresiones analticas. Justifica tu respuesta.

104) Sean f : 2 2 / f (x , y ) (x, y ) y g :
/ g (x , y ) (y,x ) .
a) Investiga si son funciones biyectivas.

b) Interpreta geomtricamente.
c) Investiga si existe g f y en caso afirmativo halla su frmula e interpreta
geomtricamente.
x 3 si x 4
/ f x
x 5 si x 4
Investiga si f es una funcin, y en caso afirmativo si es inyectiva o sobreyectiva.
105) Sea f :
106) Se consideran las funciones f :
Estudia si existen las funciones g f y f
x2
1 y g : / g (x ) 1 x .
2
g . En caso afirmativo hallar las respectivas
/ f (x )
expresiones analticas.
107) (Primer parcial 2009). Se consideran las funciones:
3, si x 0
f : 1, , f (x ) x 2 4x 3 y h : [2, ) , h (x )
x 1, si 2 x 0
Investiga si existe f h y h f . En caso afirmativo hllalas. Justifica.
108) (Primer parcial 2010). Se consideran A
y la funcin j :
x 2 3, si x 1
A / j (x ) 3
x 2, si x 1
2
i) Halla A para que exista j 1 .

ii) Halla j 1 .
iii) Realiza un bosquejo de la grfica de j 1 .
Funcin Proposicional o Funcin Lgica

La expresin
P tal que P(x): x es impar
no es una proposicin, ya que a menos que especifiquemos quien es x no podremos decir nada
acerca de su verdad o falsedad.
Sin embargo, para cada valor que le asignemos a x dicha expresin es una proposicin; por
ejemplo:
P(5): 5 es impar
es Verdadera
P(4): 4 es impar
es Falsa
A este tipo de expresiones las llamaremos funciones proposicionales o funciones lgicas.

37

Definicin
P es una funcin proposicional definida en un conjunto A (no vaco), si y solo si, P es una funcin
de dominio A y codominio B, siendo B el conjunto de todas las proposiciones.
En otras palabras, P es una funcin proposicional definida en A (no vaco), si y solo si, para todo a
perteneciente a A, P(a) es una proposicin. Por lo tanto P(a) puede ser verdadera o falsa, pero no
ambas cosas a la vez.
Ejemplo
P tal que P(x): MCD(x, 3) 3 definida en , es una funcin proposicional; en cambio P tal que
P(x): MCD(x, 3) 3 definida en , no es una funcin proposicional.
Definicin
Sea P una funcin proposicional definida en un conjunto A (no vaco). Se llama conjunto de validez
de P, y se escribe VP, al conjunto formado por los elementos pertenecientes a A que hacen que
P(x) sea verdadera.
Ejemplos
1) Sea P / P(x): x 2 x, definida en . El conjunto de validez de P es VP
En este caso diremos que es una funcin proposicional verdadera.
2) Sea P / P(x): x 2 1, definida en . El conjunto de validez de P es VP {x / x 1}
3) Sea P / P(x): x 2 x, definida en . El conjunto de validez de P es VP
En este caso diremos que es una funcin proposicional falsa.
Cuantificacin de funciones proposicionales

Retomemos la expresin
P tal que P(x): x es impar, definida en

Hasta ahora hemos visto que esta expresin no es una proposicin a menos que se le asignen
valores especficos a x.
Pero si decimos:
Para todo x, se verifica P(x) (1)
y
Existe x tal que se verifica P(x) (2)
estas dos expresiones son proposiciones ya que podemos afirmar que (1) es falsa y que (2) es
verdadera. Por lo tanto, una forma para transformar una funcin proposicional en una proposicin
es, como ya sabamos, sustituyendo la variable por un elemento del dominio. Otra forma, es

38

utilizando el cuantificador universal () y el existencial (): una funcin proposicional cuantificada
pasa a ser una proposicin.

Definiciones
De modo similar a como definimos los conectivos lgicos (, , , , ): indicando el valor de
verdad de una proposicin compuesta en funcin de los valores de verdad de las proposiciones
simples que la forman, definiremos los cuantificadores en funcin del conjunto validez de la
funcin proposicional a la que cuantifican:
Sea P una funcin proposicional definida en un conjunto A (no vaco):
1) x, P(x) es verdadera VP A.
2) x, P(x) es falsa VP A.
3) x, P(x) es verdadera VP .
4) x, P(x) es falsa VP .
22
109) Trata de agrupar entre las proposiciones siguientes aquellas que consideras
equivalentes. Luego, escribe las respectivas negaciones.
i) No todos los nmeros primos son impares.
ii) No todos los nmeros primos son pares.
iii) Todos los nmeros primos son pares.
iv) Todos los nmeros primos son impares.
v) Ningn nmero primo es par.
vi) Ningn nmero primo es impar.
vii) Hay, al menos, un nmero primo impar.
viii) Hay, al menos, un nmero primo par.
ix) Algn nmero primo no es impar.
x) Algn nmero primo no es par.
110) Escribe la negacin de cada una de las proposiciones que siguen:
i) x, x , x 1 0
iii) x, x , x 1 1
ii) x, x , x 0 0
iv) x, x , x2 1 (x 1)(x 1)
22
Extradas de: Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (p.
83). Nota: se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.

39

Funciones Proposicionales o Funciones Lgicas de varias variables
Tambin se pueden presentar funciones proposicionales en dos variables, por ejemplo:
P tal que P(x, y): x es divisor de y, definida en x

Aunque especifiquemos que x e y pertenecen al conjunto de los nmeros naturales, la expresin
P(x, y) no es una proposicin, sin embargo si asignamos valores a x e y pasamos a obtener
proposiciones: P(2, 6): 2 divide a 6
es Verdadera
P(3, 7): 2 divide a 7
es Falsa
Definicin
Sean A1, A2, , An conjuntos no vacos. P es una funcin proposicional definida en A1 A2 An
si y solo si para toda n-upla (x1, x2, , xn) perteneciente a A1 A2 An, P(x1, x2, , xn) es una
proposicin.
Definicin
Sea P tal que P(x1, x2, , xn) una funcin proposicional definida en A1 A2 An (siendo A1,
A2, , An, conjuntos no vacos). Se llama conjunto de validez de P, y se escribe VP, al conjunto
formado por todas las n-uplas pertenecientes a A1 A2 An, que hacen que P(x1, x2, , xn)
sea verdadera.
Cuantificadores mltiples
Consideremos la funcin proposicional de dos variables P definida en A B (A y B son conjuntos
no vacos). Se puede transformar dicha funcin en una proposicin cuantificndola de las
siguientes formas:
x, y, P(x, y)
x, y, P(x, y)
x, y, P(x, y)
x, y, P(x, y)
Observa que x, P(x, y), no es una proposicin, es la forma de una funcin proposicional definida
en B.
Ejemplos
Consideremos la funcin proposicional P(x, y): x y y, definida en .
1) La proposicin x, y, x y y
es falsa.
es verdadera.
es falsa.
es verdadera.

40

Teorema
x, y, P(x, y) no es equivalente a x, y, P(x, y)
Negacin de cuantificadores mltiples

Veamos cmo podemos obtener la negacin de la proposicin: x, y, P(x, y).
Consideremos Q(x): y, P(x, y). Entonces tenemos que:
(x, y, P(x, y)) (x, Q(x)) x, (Q (x)) x, (y, P(x, y)) x, y, (P(x, y)).
23
112) Se considera el conjunto A {1, 2, 3} y las siguientes funciones proposicionales:
f definida en A A tal que f(x, y): x2 y 1

g definida en A A tal que g(x, y): x2 y 2 12
h definida en A3 tal que h(x, y, z): x2 y 2 2z2.
Halla el valor de verdad de las proposiciones:
i) x, y, f(x, y)
ii) x, y, g(x, y)
iii) x, y, g(x, y)
iv) x, y, z, h(x, y, z)
v) x, y, z, h(x, y, z)
113) Sean A = {x / 1 x 10} y la funcin proposicional f tal que f(x, y): x y 14,
definida en A A. Considera las siguientes expresiones e indica, en caso de que sea una
proposicin, su valor de verdad, y en caso de que sea una funcin proposicional determina el
conjunto de validez:
a) x, x A, f(x, y)
b) x, x A, y, y A, f(x, y)
c) x, x A, y, y A, f(x, y)
d) y, y A, f(x, y)
114) Expresa la negacin de la siguiente proposicin:
x, x , (x), (x) , x (x) xx 0 (Existencia de opuesto en )
23
Extrado de Becerra, M. E. & Tosetti, A. M. Ficha N 2. Matemtica Bsica. 2 parte (Lgica).

Montevideo: Centro de Impresiones y Publicaciones Nibia Sabalsagaray. CEIPA. (pp. 15-16).

41

Bibliografa consultada
Becerra, M. E. & Tosetti, A. M. Ficha N 2. Matemtica Bsica. 2 parte (Lgica) . Montevideo:
Centro de Impresiones y Publicaciones Nibia Sabalsagaray. CEIPA.
Bosch, J. (1965). Introduccin al simbolismo lgico. Buenos Aires: Editorial Universitaria de
Buenos Aires.
Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa.
Ochoviet, C. & Olave, M. (2006). Matemtica 4. Montevideo: Santillana.
Osin, L. (1975). Introduccin al anlisis matemtico. 1 Edicin. Buenos Aires: Editorial
Kapelusz.
Oubia, L. (1965). Introduccin a la teora de conjuntos. Buenos Aires: Editorial Universitaria.
Repartido Relaciones del curso de Fundamentos de la Matemtica (2008).
Vzquez de Tapia, N., Tapia de Bibiloni, A. & Tapia, C. A. (1986). Matemtica. Buenos Aires:
Editorial Estrada.

42

2-Conjuntos Relaciones Funciones y Logica 2012

Caricato da

Informazioni sul documento

Descrizione originale:

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

2-Conjuntos Relaciones Funciones y Logica 2012

Caricato da

Copyright:

Formati disponibili

CONJUNTOS, RELACIONES,

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

conjuncin () e implicacin (). Si p y q son dos proposiciones, a la proposicin p q, que se lee

p q, que se lee p implica q, se la denomina condicional o implicacin lgica de las

Observando la tabla vemos que la proposicin p q es verdadera nicamente cuando p y q son

Aunque el uso coloquial de la conjuncin y, no siempre es claro y libre de ambigedades. Por ms

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

9) Qu debe cumplirse para que A B ?

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

En la proposicin x, (x A x B)4 aparece el llamado cuantificador existencial (). El

Todo alumno entiende los cuantificadores

Existen alumnos que no entienden los cuantificadores

es falso. Es claro, no?...

Todas sus explicaciones son claras

pero veo que estaba en un error. Debo decir:

Algunas de sus explicaciones no son claras

Cuando se dice existe x, significa que existe, por lo menos, un x.

Se lee existe x tal que se verifica P(x)

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

Conjunto de Partes o Conjunto Potencia

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

P(E) tiene .......... elementos.

Operaciones entre conjuntos

En la frmula: x A x B, aparece la operacin bsica llamada disyuncin (). Si p y q son

. La definicin de esta operacin viene dada por la siguiente tabla:

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

14) Comprueba, utilizando las tablas de verdad, que:

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

ii) ((p q ) (q)) p

vi) ((p q ) (p)) q

vii) ((p q ) (q r)) (p r)

A las tautologas de la actividad anterior, se las denomina reglas lgicas.

Propiedades de la operacin Unin

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

18) Prueba que las siguientes proposiciones son leyes lgicas:

Tambin se cumplen las siguientes equivalencias:

Los smbolos: , , , , , se llaman conectivos lgicos. Para describir un lenguaje L, es necesario

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

19) Demuestra las propiedades de la operacin unin enunciadas ms arriba.

Profesor: Y, s!... En la proposicin anterior, se indican, el condicional

Laura: Algn ejemplito?...

Esta equivalencia es la definicin del bicondicional.

condicional p q, al que se lo llama directo.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

Alfredo: Y algn ejemplo de condicin necesaria y suficiente?...

Si n es mltiplo de 6 entonces n es mltiplo de 2 y de 3 simultneamente.

Decimos, pues, que la condicin n es mltiplo de 2 y de 3 simultneamente es una condicin

21) Comprueba, utilizando tablas de verdad, que:

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

Analicemos desde el punto de vista lgico la definicin de interseccin de conjuntos. Teniendo en

Propiedades de la operacin Interseccin

A un conjunto con un solo elemento se le llama unitario.