Capítulo 2

Lógica y Conjuntos

Parte I Lógica
2.1. Proposición
Es un enunciado cuya característica básica es de ser verdadera o falsa, pero no ambas si-
multáneamente. Es decir que constituyen proposiciones las oraciones declarativas y no así las de
exclamación, interrogación y orden.

2.2. Clasi…cación
Se distinguen las proposiciones atómicas y moleculares.
Las proposiciones elementales o atómicas son aquellos enunciados que tienen un sólo sujeto y
un sólo predicado.

Ejemplo 2.1 Newton fue matemático.

Las proposiciones compuestas o moleculares son aquellas que están constituidas por dos o más
proposiciones elementales, mediante las partículas: “y”; “o”; “si, entonces”; “si y sólo si”.

Ejemplo 2.2 Si Juan estudia, entonces obtendrá una beca.

2.3. Representación simbólica de proposiciones y valores

de verdad
Las proposiciones se denotan mediante letras minúsculas, tales como: p, q, r, ..., etc.
El valor de verdad de una proposición esta dada por la verdad o falsedad de esa proposición.
En éste sentido, si la proposición estudiada es verdadera, entonces su valor de verdad es “V”; y en
el caso de ser falsa, su valor de verdad es “F”.

2.4. Operaciones con proposiciones

Se tienen las siguientes:

1
2.4.1. Conjunción
La conjunción de las proposiciones p; q se denota por: p ^ q; que se lee: “p y q”. La tabla de
verdad que de…ne ésta operación es:
p q p^q
V V V
V F F
F V F
F F F
) La conjunción de p, q es verdadera, únicamente cuando ambas son verdaderas, en cualquier otro
caso es falsa.

2.4.2. Disyunción
La disyunción de las proposiciones p, q se consigue a través del conectivo “o”. Se distingue la
disyunción inclusiva y exclusiva.
La disyunción inclusiva de las proposiciones p; q, se representa por: p _ q; que se lee: p ó q ó
ambos.
Su tabla de verdad correspondiente está dado por:

p q p_q
V V V
V F V
F V V
F F F

) La disyunción inclusiva de dos proposiciones es falsa, únicamente cuando ambas son falsas, en
cualquier otro caso es verdadera.
La disyunción exclusiva de las proposiciones p; q se simboliza por: p Y q; que se lee: p o q, pero
no ambos.
La tabla de verdad que de…ne ésta operación es:

p q pYq
V V F
V F V
F V V
F F F

) La disyunción exclusiva de p; q es falsa, cuando ambos tienen el mismo valor de verdad, y será
verdadera si tienen distinto valor de verdad.

2.4.3. Implicación
La implicación o condicional de las proposiciones p, q se denota por: p ) q; que se lee: si p,
entonces q.
En la proposición condicional: p ) q; p es el antecedente y q es el consecuente.

2
 Su tabla de verdad correspondiente está dado por:

p q p)q
V V V
V F F
F V V
F F V

) La implicación de dos proposiciones es falsa, únicamente si el antecedente es verdadero y el

consecuente falso; en cualquier otro caso es verdadero.

2.4.4. Bicondiconal
El bicondicional de las proposiciones p; q se representan mediante: p , q; que se lee: p sí y sólo
si q.
La tabla de verdad que de…ne esta operación es:

p q p,q
V V V
V F F
F V F
F F V

) El bicondicional p; q es verdadera, cuando ambas tienen el mismo valor de verdad y será falsa si
tienen distinto valor de verdad.

2.4.5. Negación
La negación de una proposición p, se denota por: p; que se lee: no p ó no es cierto p ó es falso
p.
Su tabla de verdad respectiva es:
p p
V F
F V

2.5. Proposiciones complejas, uso de paréntesis y tablas de

verdad
Los paréntesis, corchetes y llaves se usan en lógica con el mismo sentido que en aritmética y
algebra, es decir para indicar como deben agruparse los diferentes elementos de una fórmula.

Ejemplo 2.3
( p ) q) ^ [( r_ p) , (rY q)]

Para la construcción de las tablas de verdad de proposiciones complejas, existen dos reglas
básicas:

1. Proceder de adentro hacia afuera.

3
 2. Los valores de verdad del enunciado conpuesto se hallan en la última columna llenada durante
la construcción de la tabla.

El número de …las que contenga la tabla de verdad depende del número de proposiciones simples
de esa proposición compuesta.
En general, si la proposición compuesta tiene “n” proposiciones simples, su tabla de verdad
contiene 2n …las.

2.6. Clases de proposiciones compuestas

Se tienen las siguientes:

2.6.1. Tautologías
Son aquellas proposiciones compuestas que siempre son verdaderas, para todas las combina-
ciones posibles de los valores de verdad de las proposiciones elementales que la componen.

Ejemplo 2.4 Sea la proposición compuesta siguiente

(p ) q) , ( p _ q)

Como tiene dos proposiciones simples, entonces su tabla de verdad contiene 22 = 4 …las.

p q (p ) q) , ( p _ q)
V V V V V V F V V
V F V F F V F F F
F V F V V V V V V
F F F V F V V V F
6 6
) Es una tautología.

2.6.2. Contradicción
Son aquellas proposiciones complejas que siempre son falsas, independientemente de los valores
de verdad de las proposiciones simples que la componen.

Ejemplo 2.5 Demostrar que la proposición compuesta siguiente es una contradicción:

f(p Y q) , [(p^ q) _ ( p ^ q)]g

) Su tabla de verdad contiene 22 = 4 …las

p q f(p Y q) , [(p ^ q) _ ( p ^ q)]g

V V F V F V V V F F F F F V
V F F V V F V V V V V F F F
F V F F V V V F F F V V V V
F F F F F F V F F V F V F F
6 6 6 6
) Es una contradicción.

4
2.6.3. Contingencia
Son aquellas proposiciones compuestas, cuya columna de valores de verdad presenta valores
verdaderos y falsos.
Ejemplo 2.6 Construir su tabla de verdad de la proposición siguiente:
[( p Y q) ) r] , [(r^ q) _ (p ) q)]
En vista de que tiene 3 proposiciones elementales, entonces su tabla de verdad contiene 23 = 8
…las.
p q r [( p Y q) ) r] , [(r ^ q) _ (p ) q)]
V V V F V V F F V V F F F V F F
V V F F V V V V F F F F F V F F
V F V F F F V F V V V V V V V V
V F F F F F V V V F F V V V V V
F V V V F V V F V V F F V F V F
F V F V F V V V V F F F V F V F
F F V V V F F F F V V V V F V V
F F F V V F V V V F F V V F V V
) Es una contingencia. 6 6 6 6 6 6

2.7. Proposiciones lógicamente equivalentes ( )

Dos proposiciones son lógicamente equivalentes si sus tablas de verdad son identicas.

2.7.1. Leyes de equivalencia lógica

a) Conmutativa g) De…nición
a.1. p _ q q _ p g.1. p ) q p_q
a.2. p ^ q q ^ p g.2. p , q (p ) q) ^ (q ) p)
b) Asociativa g.3. p Y q [(p^ q) _ ( p ^ q)]
b.1. (p _ q) _ r p _ (q _ r) h) Contraposición
b.2. (p ^ q) ^ r p ^ (q ^ r) p)q q) p
c) Distributiva i) Idempotencia
c.1. p _ (q ^ r) (p _ q) ^ (p _ r) i.1. p _ p p
c.2. p ^ (q _ r) (p ^ q) _ (p ^ r) i.2. p ^ p p
d) De Morgan j) Identidad
d.1. (p _ q) p^ q j.1. p _ v v
d.2. (p ^ q) p_ q j.2. p _ f p
e) Exportación j.3. p ^ v p
(p ^ q) ) r p ) (q ) r) j.4. p ^ f f
f) Involución k) Complemento
( p) p k.1. p_ p v
k.2. p^ p f
k.3. v f
k.4. f v

5
 l) Absorción
l.1. p _ (p ^ q) p
l.2. p ^ (p _ q) p
l.3. p _ ( p ^ q) (p _ q)
l.4. p ^ ( p _ q) (p ^ q)

2.8. Simpli…caciones
Usando leyes lógicas y algunas equivalencias simpli…car las siguientes proposiciones compuestas:

1. f[ (q ) p)] ) ( p) q)g ^ (p ^ q) ,
, f[ ( q _ p)] ) (p_ q)g ^ ( p_ q) (De…nición, Involución y de Morgan)
, f(q^ p) ) (p_ q)g ^ ( p_ q) (De Morgan, Involución)
, f (q^ p) _ (p_ q)g ^ ( p_ q) (De…nición)
, f( q _ p) _ (p_ q)g ^ ( p_ q) (De Morgan e Involución)
, f(p_ q) _ (p_ q)g ^ ( p_ q) (Conmutatividad)
, fs _ sg ^ ( p_ q) (Sustitución de prop.)
, s ^ ( p_ q) (Idempotencia)
, (p_ q) ^ ( p_ q) (Sustitución de prop.)

, (p^ p) _ q (Distributividad)
, f _ q (Complemento)
, q (Identidad)

2.
f q ^ [(p ) q) ) q]g ) ( p_ q) ,

, f q ^ [( p_ q) ) q]g ) (p ^ q) (De…nición, De Morgan, Involución)

, f q ^ [ ( p_ q) _ q]g ) (p ^ q) (De…nición)
, f q ^ [(p ^ q) _ q]g ) (p ^ q) (De Morgan e Involución)
, f q ^ [q _ (q ^ p)]g ) (p ^ q) (Conmutatividad)
, f q ^ [q]g ) (p ^ q) (Absorción)
, fq^ qg ) (p ^ q) (Conmutatividad)
, ff g ) (p ^ q) (Complemento)
, ff g _ (p ^ q) (De…nición)
, v _ (p ^ q) (Complemento)
, v (Identidad)

2.9. Inferencia lógica o razonamientos deductivos

Un razonamiento se a…rma que es deductivo, si y sólo si las premisas son evidencias de la verdad
de la conclusión, es decir que, si p1 ; p2 ; :::; pn (premisas) son verdaderas, entonces q (conclusión) es
verdadera.
Un razonamiento deductivo es válido si no es posible que las premisas sean verdaderas y la
conclusión falsa.

6
2.9.1. Reglas de inferencia
a) Ley de modus ponens:
p)q
p
q
b) Ley del modus tollens:
p)q
q
p
c) Ley del modus tollendo ponens:
p_q p_q
p ó q
q p

d) Ley de transitividad:
p)q
q)r
p)r
e) Ley de adición:
p q
ó
p_q q_p
f) Ley de simpli…cación:
p^q p^q
ó
p q
g) Ley de conjunción:
p
q
p^q
Ejemplo 2.7 Mediante reglas de inferencia y algunas equivalencias determinar la validez o nó de
los siguientes razonamientos:
(1) B)( C _ D) (4) C^ D Conmut. en (3)
a)
(2) A_ B (5) ( C _ D) De Morgan en (4)
(3) D^C (6) B Mod. toll. (1) y (5)
A (7) A Mod. toll.pon. en (2) y (6)
) Razonamiento Válido.
b)
(1) (3x + 2y = 18) ^ (x + 4y = 16)
(2) (x = 2) ) (3x + 2y 6= 18)
(3) (x = 2) _ (y = 3)
(4) (x 6= 4) ) (y 6= 3)
x 6= 4

7
Sean las proposiciones:
p : 3x + 2y = 18.
q : x + 4y = 16.
r : x = 2.
s : y = 3.
t : x = 4.
Luego sustituyendo se tiene:

(1) p ^ q (5) p Simplif. en (1)

(2) r ) p (6) r Mod. toll. en (2) y (5)
(3) r _ s (7) s Mod. toll. pon. en (3) y (6)
(4) t) s (8) t Mod. toll. en (4) y (7)
t

) Razonamiento No Válido
c) (1) A_B
(2) D ) (B ^ C)
(3) A,D
(4) B)D
C^ B
(5) D) B Contrap. en (4)
(6) B_A Conmut. en (1)
(7) B)A Def. en (6)
(8) D)A Transit. en (5) y (7)
(9) (A ) D) ^ (D ) A) Def. en (3)
(10) A)D Simplif. en (9)
(11) D)D Transit. en (8) y (10)
(12) D_D Def. en (11)
(13) D Idemp. en (12)
(14) B^C Mod. Pon. en (2) y (13)

) Razonamiento No Válido

8
Ejercicios

1. Dadas las siguientes proposiciones compuestas, construir sus tablas de verdad y establecer si
constituyen tautología, contradicción o contingencia.

a) f(p , q) , [(p ^ q) _ ( p^ q)]g.

b) f[p ) (q ) r)] , [(p ^ q) ) r]g.
c) [( p Y q) ) (r^ q)] Y [(p , r) _ ( p_ q)].

2. Utilizando leyes lógicas, simpli…car las siguientes proposiciones compuestas:

a) [(q ^ p) _ (p^ q)] _ (q _ p).

b) [ q ^ [(p ) q) ) q]] ) ( q_ p).
c) f[p ) (q_ p)] ^ p ^ (p ) r)g ) r.

3. Mediante reglas de inferencia y algunas equivalencias determinar la validez o nó de los sigu-

ientes razonamientos:

a) B ) (D_ C)
A_ B
C^ D
A
b) q_p
r)s
q ) (s ) t)
p
t)r
c) (C ) D) ^ (A ) B)
(D ) F ) ^ ( B ) E)
( F ) H) ^ (E ) G)
C ^A
H^ G

9
 Parte II Conjuntos
2.10. Concepto
Un conjunto es una lista o una colección de objetos o personas que poseen características bien
de…nidas.
Para representar a los conjuntos utilizaremos letras mayúsculas y para denotar a sus elementos
emplearemos letras minúsculas.

2.11. Formas de determinación de conjuntos

Los conjuntos pueden de…nirse por extensión y por comprensión.

2.11.1. Por extensión

Cuando se enumeran o detallan todos los elementos que lo constituyen.
Ejemplo 2.8 Determinar por extensión el conjunto siguiente:
A = fx 2 N=x < 8g
Luego:
A = f1; 2; 3; 4; 5; 6; 7g

2.11.2. Por comprensión

Cuando se enuncia la propiedad o propiedades que caracterizan a todos y cada uno de los
elementos.
Ejemplo 2.9 De…nir por comprensión el conjunto siguiente:
B = f4; 6; 8; 10; 12; 14; 16g
Luego:
B = fx 2 N=x = 2n ^ 2 n 8g

2.12. Relación de pertenencia

La pertenencia es una relación que vincula a cada elemento con el conjunto. La relación de
pertenencia se simboliza con la letra ’2’y la no pertenencia mediante ’=
2’.

2.13. Conjuntos especiales

2.13.1. Conjunto universal
Se representa con la letra mayúscula U ; y es el conjunto formado por todos los elementos que
intervienen en un determinado análisis o estudio.
Ejemplo 2.10 U = fAlumnos de la carrera de Ing. Financierag

10
2.13.2. Conjunto vacío
Se simboliza por ; y es el conjunto que no tiene elemento alguno.

Ejemplo 2.11 = fg = fx=x 6= xg

2.13.3. Conjunto unitario

Es aquel conjunto que tiene un sólo elemento

Ejemplo 2.12 C = fx 2 N=7 < x < 9g

2.14. Relación entre conjuntos

2.14.1. Igualdad de conjuntos
Dos conjuntos A y B son iguales si y sólo si tienen los mismos elementos.
Si un conjunto posee un elemento que no pertenece al otro, se a…rma que ambos conjuntos son
distintos.
En símbolos:
A = B , 81 a 2 A ) a 2 B ^ 8b 2 B ) b 2 A
A 6= B , 92 x 2 A ^ x 2
= B _ 9x 2 B ^ x 2
=A
Propiedades:

1. Re‡exiva: A = A.

2. Simétrica: Si A = B ) B = A.

3. Transitiva: A = B ^ B = C ) A = C.

2.14.2. Inclusión de conjuntos o subconjuntos

Dados dos conjuntos A y B, se a…rma que A está incluido en B, si todo elemento de A pertenece
al conjunto B.
En símbolos: A B , 8x 2 A ) x 2 B.

Ejemplo 2.13 Sean los conjuntos:

A = f 3; 2; 0; 1; 4; 6g
B = f 3; 2; 1; 0; 1; 3; 4; 5; 6g

Luego: A B.

Propiedades:

1. Re‡exiva: A A.
1
8 : Para todo
2
9 : Existe.

11
 2. Simétrica: A B^B A ) A = B.

3. Transitiva: A B^B D)A D.

4. Por convención: A.

2.15. Conjunto de partes o conjunto potencial

Dado un conjunto A, se denomina conjunto de partes de A, al conjunto cuyos elementos son
todos los subconjuntos de A.
En símbolos:
P (A) = (X=X A)

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

Ejemplo 2.14 Dados los siguientes conjuntos, hallar el conjunto de partes:

a) A = f1; 2; fa; bgg.
Como tiene 3 elementos, el conjunto de partes tiene 23 = 8 elementos.

; f1g ; f2g ; ffa; bgg ; f1; 2g ; f1; fa; bgg ;

P (A) =
f2; fa; bgg ; f1; 2; fa; bgg

b) B = f2; 4; 6; 8g ) P (B) tiene 24 = 16 elementos.

; f2g ; f4g ; f6g ; f8g ; f2; 4g ; f2; 6g ; f2; 8g ; f4; 6g ; f4; 8g ;

P (B) =
f6; 8g ; f2; 4; 6g ; f2; 4; 8g ; f2; 6; 8g ; f4; 6; 8g ; f2; 4; 6; 8g

c) C = fa; b; f0; 1gg

d) D = fx; fa; bg ; y; zg

2.16. Diagramas de Venn-Euler

Es la representación grá…ca de conjuntos por medio de …guras cerradas que corresponden al
plano y que sirven para ilustrar las relaciones entre conjuntos.
El conjunto universal suele representarse por un rectángulo y todo subconjunto de él mediante
recintos cerrados. Cada elemento del conjunto, se conviene representarlo por un punto de la región.

2.17. Operaciones con conjuntos

2.17.1. Complemento de un conjunto
El complemento de A con relación al conjunto universal es el conjunto formado por los elementos
del universo que no pertenece al conjunto A.
En símbolos: A0 = fx=x 2 U ^ x 2= Ag.

12
 Gra…camente se tiene:

A A’

Ejemplo 2.15 Sean los conjuntos:

U = f 2; 0; 4; 5; 6; 7; 8; 9g
A = f0; 5; 6; 9g

Luego: A0 = f 2; 4; 7; 8g.

Propiedades:

1. (A0 )0 = A.
0
2. = U.

3. U 0 = .

2.17.2. Intersección de conjuntos

La intersección de dos conjuntos A y B es el conjunto cuyos elementos pertenecen a los conjuntos
A y B a la vez.
En símbolos: A \ B = fx=x 2 A ^ x 2 Bg.
Su diagrama de Venn-Euler es:

A B U

A∩B

Ejemplo 2.16 Dados los conjuntos:

A = fa; b; c; d; e; f g
B = ft; u; b; c; x; f g

Luego: A \ B = fb; c; f g

Propiedades

1. A \ B = B \ A.

13
 2. A \ U = A.

3. A \ = .

4. A \ A = A.

5. A \ A0 = .

6. (A \ B) \ C = A \ (B \ C).

2.17.3. Unión de conjuntos

La unión de dos conjuntos A y B, es el conjunto de todos los elementos que pertenecen al
conjunto A o al B, o ambos conjuntos.
En símbolos: A [ B = fx=x 2 A _ x 2 Bg.
Gra…cando será:
A B U

A∪B

Ejemplo 2.17 Sean los conjuntos:

A = f 3; 2; 2; 3; 5g
B = f 5; 2; 1; 0; 3; 6g

Luego: A [ B = f 5; 3; 2; 1; 0; 2; 3; 5; 6g

Propiedades:

1. A [ B = B [ A.

2. A [ = A.

3. A [ U = U .

4. A [ A0 = U .

5. A [ A = A.

6. (A [ B) [ C = A [ (B [ C).

14
2.17.4. Diferencia de conjuntos
La diferencia entre conjuntos A y B es el conjunto formado por los elementos de A que no
pertenecen al conjunto B.
En símbolos: A B = fx=x 2 A ^ x 2 = Bg.
0
También: A B = A \ B .
Su diagrama de Venn-Euler es:

A B U

A–B

Ejemplo 2.18 Sean los conjuntos:

A = fa; b; c; d; e; f; gg
B = fx; y; b; c; t; o; gg
Luego: A B = fa; d; e; f g.

Propiedades:

1. A B 6= B A.
2. (A B) A _ (B A) B.

2.17.5. Diferencia simétrica

La diferencia simétrica de dos conjuntos A y B, es el conjunto formado por los elementos de la
unión de ambos conjuntos, excepto los que pertenecen a la intersección de los mismos.
En símbolos: A 4 B = fx=x 2 (A [ B) ^ x 2 = (A \ B)g
También: A 4 B = (A B) [ (B A).
Gra…cando se tiene:
A B U

A∆B

Ejemplo 2.19 Dados los conjuntos:

A = f 2; 0; 1; 3; 5; 7; 8g
B = f 4; 1; 0; 2; 3; 8; 9g
Luego: A 4 B = f 4; 2; 1; 1; 2; 5; 7; 9g

15
 Propiedades:

1. A 4 B = B 4 A.

2. A 4 = A.

3. A 4 A = .

4. A 4 U = A0 .

5. A 4 A0 = U .

6. (A 4 B) 4 C = A 4 (B 4 C).

Ejemplo 2.20 Operaciones con conjuntos:

Dados los conjuntos:

U = f 4; 3; 2; 1; 0; 1; 2; 3; 4; 5; 6; 7g
A = f 3; 2; 0; 3; 4g
B = x=x3 8x2 + 15x = 0 _ x = 3
C = f 4; 2; 1; 3; 6g
D = fx= jxj 3g
E = f 3; 1; 1; 4; 6; 7g
F = fx=x = 2n ^ 2 n 2g

Calcular:
a) (A0 B) 4 (E [ F 0 )0 4 (D0 \ E)0 \ (C 0 A)
Realizando operaciones en el primer corchete:

A0 B = f 4; 1; 1; 2; ; 5; 6; 7g f 3; 0; 3; 5g
A0 B = f 4; 1; 1; 2; 6; 7g
A0 = f 4; 1; 1; 2; 5; 6; 7g

Escribiendo el conjunto B por extensión:

x3 8x2 + 15x = 0
x x2 8x + 15 = 0

x1 = 0

x2 8x + 15 = 0
(x 3) (x 5) = 0

x 3 = 0 ) x2 = 3
x 5 = 0 ) x3 = 5

Entonces:
B = f 3; 0; 3; 5g

16
Luego:

E [ F 0 = f 3; 1; 1; 4; 6; 7g [ f 3; 1; 1; 3; 5; 6; 7g
E [ F 0 = f 3; 1; 1; 3; 4; 5; 6; 7g

De…niendo por extensión el conjunto F :

F = f 4; 2; 0; 2; 4g ) F 0 f 3; 1; 1; 3; 5; 6; 7g

Asimismo:
0
(E F 0 ) = f 4; 2; 0; 2g
De donde:
0
(A0 B) 4 (E [ F 0 ) = f 4; 1; 1; 2; 6; 7g 4 f 4; 2; 0; 2g
= f 2; 1; 0; 1; 6; 7g

Efectuando operaciones en el segundo corchete:

D0 \ E = f 4; 4; 5; 6; 7g \ f 3; 1; 1; 4; 6; 7g = f4; 6; 7g

El conjunto D por extensión es:

D = f 3; 2; 1; 0; 1; 2; 3g ) D0 = f 4; 4; 5; 6; 7g

Asimismo:
0
(D0 \ E) = f 4; 3; 2; 1; 0; 1; 2; 3; 5g
Luego:

C0 A = f 3; 1; 0; 2; 4; 5; 7g f 3; 2; 0; 3; 4g = f 1; 2; 5; 7g
C 0 = f 3; 1; 0; 2; 4; 5; 7g

De donde:
0
(D0 \ E) \ (C 0 A) = f 4; 3; 2; 1; 0; 1; 2; 3; 5g \ f 1; 2; 5; 7g
= f 1; 2; 5g

Por tanto:
0 0
(A0 B) 4 (E [ F 0 ) 4 (D0 \ E) \ (C 0 A) = f 2; 1; 0; 1; 6; 7g 4 f 1; 2; 5g
=
f 2; 0; 1; 2; 5; 6; 7g

b) (D0 4 E) \ (E [ A0 )0 [(B C 0 ) 4 (D \ F 0 )]0

0
c) (B \ E)0 (A 4 F 0 ) 4 [(D [ E 0 ) \ (C E 0 )]

17
2.18. Número de elementos de la unión de conjuntos
Si los conjuntos A y B no son disjuntos (existe al menos un elemento común), el número de
elementos de la unión de ambos conjuntos está dado por:

n (A [ B) = n (A) + n (B) n (A \ B)

Para el caso de la unión de tres conjuntos, el número de elementos está dado por:

n (A [ B [ C) = n (A) + n (B) + n (C) n (A \ B) n (A \ C)

n (B \ C) + n (A \ B \ C)

Ejemplo 2.21 En una encuesta realizada a 264 personas sobre el dominio de los idiomas:
castellano, inglés y quéchua produjo los siguientes resultados: 125 personas hablan castellano; 97
hablan inglés; 103 personas hablan quéchua; 44 hablan castellano e inglés; 55 personas hablan
castellano y quéchua; 42 hablan inglés y quéchua; 20 personas hablan los tres idiomas. Se pide:
a) ¿Cuántas personas hablan por lo menos uno de los tres idiomas?
b) Hallar el número de personas que hablan sólo quechua.
c) ¿Cuántas personas hablan inglés y castellano pero no quéchua?
d) Hallar el número de personas que hablan sólo inglés o quéchua.
e) ¿Cuántas personas no hablan idioma alguno?
f) Hallar el número de personas que hablan solo castellano.
g) ¿Cuántas personas hablan inglés y quechua pero no castellano?
h) Hallar el número de personas que hablan solamente inglés o castellano.
Gra…cando se tiene:

Castellano Inglés U
44-20
125-35-20-24 .24 97-24-20-22
.46 .31

.20
55-20 42-20
.35 .22

103-35-20-22 .60
Quechua .26

a)

n (C [ I [ Q) = n (C) + n (I) + n (Q) (C \ I) n (C \ Q) n (I \ Q) + n (C \ I \ Q)

n (C [ I [ Q) = 125 + 97 + 103 44 55 42 + 20 = 204

b)

n [Q (C [ I)] = n (Q) n (Q \ I) n (Q \ C) + n (C \ I \ Q)
n [Q (C [ I)] = 103 42 55 + 20 = 26

c)
n [(C \ I) Q] = n (C \ I) n (C \ I \ Q) = 44 20 = 24

18
d)

n [(I [ Q) C] = n (I) + n (Q) n (C \ I) n (C \ Q) n (I \ Q) + n (C \ I \ Q)

n [(I [ Q) C] = 97 + 103 44 55 42 + 20 = 79

e)
n (C [ I [ Q)0 = n (U ) n (C [ I [ Q) = 264 204 = 60

2.19. Producto cartesiano de conjuntos

2.19.1. Par ordenado
En un conjunto formado por dos elementos y un criterio de ordenación que establece cuál es el
primer elemento y cuál es el segundo componente.
Es decir:
(a; b) = ffag ; fa; bgg

2.19.2. Igualdad de pares ordenados

Dos pares ordenados son iguales si y sólo si el primer y segundo elemento de un par, son iguales
respectivamente, al primer y segundo elemento del otro par.
En símbolos: Sean los pares ordenados:

R (a; b) y T (c; d)

Luego: R = T , a = c ^ b = d.

2.19.3. De…nición
El producto cartesiano de dos conjuntos A y B es el conjunto formado por todos los pares
ordenados; tales que el primer elemento de cada par pertenece al conjunto A y el segundo elemento
al conjunto B.
En símbolos: A B = f(x; y) =x 2 A ^ y 2 Bg.

Ejemplo 2.22 Sean los conjuntos:

A = f2; 4; 6g ; B = f1; 3; 7g

Calcular: a) A B; b) B A.
Desarrollo:
a) A B = f(2; 1) ; (2; 3) ; (2; 7) ; (4; 1) ; (4; 3) ; (4; 7) ; (6; 1) ; (6; 3) ; (6; 7)g
b) B A = f(1; 2) ; (1; 4) ; (1; 6) ; (3; 2) ; (3; 4) ; (3; 6) ; (7; 2) ; (7; 4) ; (7; 6)g

)A B 6= B A.

Propiedades:

1. A B 6= B A.

19
 2. (A B) C 6= A (B C).
3. A (B [ C) = (A B) [ (A C).
4. A (B \ C) = (A B) \ (A C).
5. A (B C) = (A B) (A C).

2.19.4. Representación geométrica del producto cartesiano

El producto cartesiano de dos conjuntos A y B puede representarse grá…camente por medio
de un sistema de ejes cartesianos, donde los elementos del primer conjunto se toman en el eje de
abscisas y los elementos del segundo conjunto en el eje de ordenadas.

Ejemplo 2.23 Dados los conjuntos:

A = f2; 4g E = f 5; 3; 1g
B = f1; 3; 5; 7g F = f2; 4; 6; 8g
C = fx 2 R=3 x 8g G = fx 2 R=2 < x < 9g
D = fy 2 R=4 y 7g H = fy 2 R= 7 y 3g
Calcular y gra…car:
a) A B. c) E F.
b) C D. d) G H.
Desarrollo: a)
A B = f(2; 1) ; (2; 3) ; (2; 5) ; (2; 7) ; (4; 1) ; (4; 3) ; (4; 5) ; (4; 7)g
Gra…cando será:
y

7 A×B

2 4 6 x

b) En vista de que los conjuntos está de…nidos en los reales, entonces:

C D = f(x; y) 2 R R=3 x 8^4 y 7g
Gra…cando se tiene:
y

7
6
5 C×D
4
3
2
1

2 4 6 8 x

20
2.20. Diagrama de árbol
Es un método práctico para listar sistemáticamente todos los elementos del producto cartesiano
de dos o más conjuntos y comprende las siguientes reglas:

1. Fijar un nodo (punto) inicial.

2. A partir del nodo abrir tantas ramas como elementos tenga el conjunto multiplicando.

3. A partir de éstos elementos abrir tantas ramas como elementos tenga el conjunto multipli-
cador.

4. Leer el conjunto ordenado resultante sobre cada secuencia de rama.

Ejemplo 2.24 Dados los conjuntos:

A = f2; 4; 6g
B = f1; 3; 5g
C = f7; 9g
D = f 3; 0; 8g

Calcular: a) A B; b) D B; c) A C D; d) B D A
Desarrollo del inciso c)
–3
7 0
2 8
–3
9 0
8
–3
7 0
8
4
–3
9 0
8
–3
7 0
8
6
–3
9 0
8

De donde:
8 9
< (2; 7; 3) ; (2; 7; 0) ; (2; 7; 8) ; (2; 9; 3) ; (2; 9; 0) ; (2; 9; 8) ; =
A C D= (4; 7; 3) ; (4; 7; 0) ; (4; 7; 8) ; (4; 9; 3) ; (4; 9; 0) ; (4; 9; 8) ;
: ;
(6; 7; 3) ; (6; 7; 0) ; (6; 7; 8) ; (6; 9; 3) ; (6; 9; 0) ; (6; 9; 8) ;

21