THE ADVENTURE

P g i n a |1

LGICA SIMBLICA
Lgica:
La lgica es la herramienta con que se construye el edificio llamado Matemtica
Conceptos:
Los valores de verdad VERDADERO (V ) y FALSO (F) son los conceptos primitivos de la lgica.
Proposicin:
Una proposicin es una sentencia (expresin) sujeta a un valor de verdad. Usualmente se denotan
por letras minsculas p, q, r, s, etc.
Conectivos lgicos:
Un conectivo lgico es una operacin que nos permite obtener nuevas proposiciones a partir de otras
dadas. Los conectivos bsicos son:

negacin () (no)
conjuncin () (y)
disyuncin () (o)
condicional () (si. . . , entonces)
bicondicional () (si y slo si)

Cada conector est definido por una tabla de la verdad y le corresponde una funcin.
Tipos de proposiciones
Las proposiciones se clasifican en simples y compuestas, vale decir, las que no incluyen conectivos
lgicos, y las que s los incluyen.
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de
una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus
componentes.
Definicin y algoritmo fundamental
Considrese dos proposiciones p y q.[2] Cada una puede tomar uno de dos valores de verdad: o V
(verdadero), o F (falso). Por lo tanto, los valores de verdad de p y de q pueden combinarse de cuatro
maneras distintas: o ambas son verdaderas; o p es verdadera y q falsa, o p es falsa y q verdadera, o
ambas son falsas.
Esto puede expresarse con una tabla simple:

P g i n a |2

p
v
v
v
v

q
v
v
f
f

Considrese adems que para las posibles combinaciones se debe tomar en cuenta la siguiente
ecuacin: 2n ; donde n es el numero de premisas es decir las proposiciones.
Ejm. : se tiene p,q,r como premisas o proposiciones, por tanto el numero de combinaciones seria;
23 = 8 se tiene ocho combinaciones posibles

p
v
v
v
v
f
f
f
f

q
v
v
f
f
v
v
f
v

r
v
f
v
f
v
f
v
f

Definiciones en el clculo lgico

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones
se harn en funcin del fin que se pretenda al construir el sistema que haga posible la formalizacin
de argumentos:
Como razonamientos deductivos lgico-lingsticos
Como construccin de un sistema matemtico puro
Como una aplicacin lgica en un Circuito de conmutacin.
Los operadores fundamentales se definen as:

1. Negacin
La negacin es un operador que opera sobre un nico valor de verdad, devolviendo
el valor contradictorio de la proposicin considerada.
La tabla de verdad de la negacin es la siguiente:

A
v
f

~A
f
v

P g i n a |3

2. Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones son verdaderas,
y falso en cualquier otro caso
La tabla de verdad de la conjuncin es la siguiente:

A
v
v
f
f

B
v
f
v
f

A^B
v
f
f
f

3. Disyuncin
La disyuncin es un operador que opera sobre dos valores
de verdad, tpicamente los valores de verdad de dos
proposiciones, devolviendo el valor de verdad verdadero
cuando una de las proposiciones es verdadera, o cuando
ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:

A
v
v
f
f

B
v
f
v
f

AvB
v
v
v
f

4. Implicacin o Condicional
El condicional material es un operador que opera
sobre dos valores de verdad, tpicamente los valores
de verdad de dos proposiciones, devolviendo el valor
de verdad falso slo cuando la primera proposicin es
verdadera y la segunda falsa, y verdadero en
cualquier otro caso.
La tabla de verdad de la condicional es la siguiente:

A
v
v
f
f

B
v
f
v
f

AB
v
f
v
v

P g i n a |4
5.

Bicondicional
El bicondicional o doble implicacin es un operador que
funciona sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones
tienen el mismo valor de verdad, y falso cuando sus
valores de verdad difieren.
La tabla de verdad de la bicondicional es la siguiente:
.A

v
v
f
f
6.

B
v
f
v
f

AB
v
f
f
v

Disyuncin excluyente

La disyuncin exclusiva es un operador auxiliar que funciona sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de falsedad cuando
ambas proposiciones son iguales, y verdadero cuando sus valores difieren. Lo contrario e la
bicondicional.
La tabla de verdad es la siguiente:
.A

v
v
f
f

B
v
f
v
f

AvB
f
v
v
f

Definiciones varias
Una proposicin se dice una:
TAUTOLOGIA (o TEOREMA LOGICO), si ella es siempre V , cualesquiera sean los valores de
verdad de las proposiciones simples que la componen, es decir, si su tabla de verdad slo
contiene valores V .
CONTRADICCION, si ella es siempre F.
CONTINGENCIA, si no es tautologa ni contradiccin.
DEFINICIONES DE CONECTORES
A partir de los conectivos negacin ( ) y disyuncin ( ) se definen:

p q = def ( p q )
p q = def p q
p q = def ( p q ) ( q p )

P g i n a |5

p q = def ( p q ) ( p q )
p q = def ( p q )
p q = def ( p q )
Algunas tautologas importantes en base a Teoremas

( p) p
pqqp
pqqp
pq q p
p (q r) (p q) r
p (q r) (p q) r
p (q r) (p q) r
p (q r) (p q) (p r)
9. p (q r) (p q) (p r)
10. (p q) p q
11. (p q) p q
12. (p q) p q
13.p q q p
14.p q p q
15.p q (p q) (q p)
16.p q ( p q) (p q)
17. (p p) p ;
(p p) p
18. (p F) p ;
(p v) p
19. (p F) F ;
(p v) v
20. p p F ;
p p v
1.
2.
3.
4.
5.
6.
7.
8.

(doble negacin)
(conmutatividad de )
(conmutatividad de )
(conmutatividad de )
(asociatividad de )

(asociatividad de )
(asociatividad de )
(distributividad de con respecto a )
(distributividad de con respecto a )
(Ley de De Morgan para )
(Ley de De Morgan para )
(contrarecproca)

(idempotencia)
(identidad)
(absorcin)
(complemento)

Funcin proposicional
Se llama funcin proposicional (o enunciado abierto) a una expresin p que contiene una o ms
variables, y tal que ella se convierte en una proposicin lgica cuando se le asignan valores
especficos a dichas variables.
Conjunto de validez
Se llama Conjunto de validez de una funcin proposicional p, y se denota por Vp, al conjunto de
valores (o n-uplas de valores) para los cuales dicha funcin es verdadera.
Ejercicio: Analice la siguiente proposicin:
Si un nmero natural es divisible por dos y tres, entonces es divisible por seis.

P g i n a |6

Cuantificadores lgicos

Para indicar que una funcin proposicional es verdadera para cualquier elemento de un
determinado conjunto A se usa el smbolo , el cual se llama cuantificador universal.
se lee: para todo, cualquiera sea, para cada.

Para indicar que una funcin proposicional es verdadera para algunos elementos de un
determinado conjunto A se usa el smbolo , el cual se llama cuantificador existencial.
se lee: existe (un), existe al menos un, existe algn.

Para indicar que una funcin proposicional es verdadera para un nico elemento de un
determinado conjunto A se usa el smbolo !.
! se lee: existe un nico.

Teoremas y demostraciones
Un teorema es una proposicin verdadera de cierta relevancia para una teora y cuya verdad debe ser
demostrada.
Algunas estructuras de teoremas
Implicacin: Si (hiptesis), entonces (tesis) (H T)
Mtodos de demostracin:

Mtodo directo.
Mtodos indirectos:
contra-recproca ( T H).
reduccin al absurdo (H T) (p p) (contradiccin).

Equivalencia: (Hiptesis) si y slo si (tesis) (H T)

Mtodo de demostracin: (H T) (T H)
Equivalencia de n proposiciones:
P1 P2 Pn, n > 2
Mtodos de demostracin
Directo: P1 P2 y P2 P3, etc.
Usando transitividad: [(Pi Pj) (Pj Pk)] (Pi Pk).
(e.g., mostrar que Pi Pi+1, i = 1, ...n 1, y Pn P1).
Discreto: n N : p(n)
Mtodo de demostracin: Induccin Matemtica.

P g i n a |7

Reglas bsicas de clculo

EJERCICIOS RESUELTOS
1. Identifique las proposiciones simples, los conectivos y luego escriba en forma
Simblica las siguientes proposiciones compuestas.
a) El dlar americano es una moneda fuerte y es una moneda internacional.
p: El dlar americano es una moneda fuerte
q: El dlar americano es una moneda internacional
b) El prximo sbado ir a bailar o al cine.

p q

P g i n a |8

p: El prximo sbado ir a bailar

q: El prximo sbado ir al cine
c) Si los precios bajan, las ventas aumentan
p: Los precios bajan
q: Las ventas aumentan
d) Los precios bajan si y slo si las ventas aumentan.
p: Los precios bajan
q: Las ventas aumentan
e) La venta de libros aumentar slo si no se les aplica el IVA.
p: La venta de libros aumentarn
q: No se aplica a los libros el IVA

p q

p q

p q

p q

f) Andrea ir al concierto si y slo si Ignacio va y no est lloviendo.

p: Andrea ir al concierto
q: Ignacio va al concierto
r: No est lloviendo
p (q r)

2. Identifique las proposiciones simples, los conectivos y luego escriba en forma simblica las
siguientes proposiciones compuestas.
a) Si sus gastos son menores que sus ingresos, entonces su ahorro neto es positivo y disminuye su
pasivo
p: Sus gastos son menores que sus ingresos
q: Su ahorro neto es positivo
r : Disminuye su pasivo
p ( q r)
b) Si disminuyen las exportaciones, entonces disminuyen la actividad comercial, la actividad industrial
y aumenta el desempleo.
p: Disminuyen las exportaciones
q: Disminuye la actividad comercial
r : Disminuye la actividad industrial
s : Aumenta el desempleo
p (q r s)
c) Si disminuyen las exportaciones, entonces aumentan las tasas de inters lo que implica que
disminuyen el consumo y la inversin y aumenta del ahorro.
p: Disminuyen las exportaciones
q: Aumentan las tasas de inters
r: Disminuye el consumo
s: Disminuye la inversin
t : Aumenta el ahorro
p ( q ( r s t ) )
3. Dadas las siguientes proposiciones:
p: Estudio sistemticamente
q: Obtendr buenas calificaciones en lgebra
r : Voy a bailar todos los fines de semana

P g i n a |9

s: Me sentir feliz
Escriba con palabras las siguientes proposiciones compuestas:
a) r s
Si voy a bailar todos los fines de semana, entonces me sentir feliz
b) q p
Obtendr buenas calificaciones en lgebra si y slo si estudio sistemticamente
c) p ( q s)
Si estudio sistemticamente, entonces obtendr buenas calificaciones en lgebra y me
sentir feliz
d) (- p r ) - q
Si no estudio sistemticamente y voy a bailar todos los fines de semana ,
entonces no obtendr buenas calificaciones en lgebra
4. Dadas las siguientes proposiciones:
p: Los Bancos Hipotecarios bajan a un 6 % los intereses de los prstamos
q: La venta de casas y departamentos experimentar un alza significativa
r : Disminuir la demanda de arriendo de casas y departamentos
Escriba con palabras las siguientes proposiciones compuestas.
a) p ( q r )
Si los Bancos Hipotecarios bajan a un 6% los intereses de los prstamos, entonces la venta de casas y
departamentos experimentar un alza significativa y disminuir la demanda de arriendo de ellos
b) ( q r ) q r :
La venta de casas y departamentos no experimentar un alza significativa no disminuir la demanda
de arriendo de ellos
c) ( p r ) ( p r ) p r
Los Bancos Hipotecarios bajan a un 6% los intereses de los prstamos y no disminuir la demanda de
arriendo de casas y departamentos
d) p ( q r )
Si los Bancos Hipotecarios bajan a un 6% los intereses de los prstamos , entonces la venta de casas y
departamentos no experimentar un alza significativa y no disminuir la demanda de arriendo de
ellos
5.- Dadas las siguientes proposiciones:
p : a es un nmero par
q : a2 es un nmero par
r : a es un mltiplo de 6
s : a < 10

P g i n a | 10

Escriba con smbolos las siguientes proposiciones compuestas:

a) a es un nmero par pero no es menor que 10
Sol: p s

b) Si a es un nmero par, entonces a2 es par

Sol: p q
2

c) a es un nmero par si y slo si a es par

Sol: p q
d) a es impar o mltiplo de 6
Sol: p r
e) Para que a sea un mltiplo de 6, a debe ser par
Sol: r p
f) Si a es par pero no es mltiplo de 6, entonces a no es menor que 10
a2 es un nmero par
Sol: (p r) ( s q)

Ejercicios de tabla de verdad

1.- p ( p q ) p

2.- ( p q ) p q

3.- ( p q ) r p ( q r )

P g i n a | 11

4.- p F F

5.- p q ( p q ) ( q p )

Ejemplos de simplificacin de expresiones booleanas

Simplificar las siguientes expresiones
1.- {(~ p q ) ( r~r)} ~ q
{(~ p q ) ( F)} ~ q
{~ (~ p q ) v F } ~ q
{~ (~ p) v ~q ) v F } ~ q
( p v ~q ) v F } ~ q
( p v ~q ) ~ q
~ q ( p v ~q )

2.- {( p q ) v (p~q)} v (~p~q)

{ p (q v ~q)} v (~p~q)
{ p V } v (~p~q)
p v (~p~q)
(p v ~p) (p v ~q)
V (p v ~q)
(p v ~q)
3.- {( ~p v q ) (~q p)} (p~q)
{( ~p v q ) (~p v ~q)} (p~q)

P g i n a | 12

{~p v ( q ~q) } (p~q)

{~p v ( F) } (p~q)
V (p~q)
~ (p~ q) v V
(~ p v q) v V
(~ p ) v (q v V)
(~ p ) v ( V )
~p
4.- {( p v ~p ) v q } {(~q v r) v (q ~q) } {p (~p v (p v ~q )) }
{ ( V ) v q } {(~q v r) v (V) } {~p v (~p v (p v ~q ))
{ V (~q v r) v (V) } {(~p v ~p) v (p v ~q ))
{ V (~q v r) } {(~p v ~p) v ~q )}
{ V (~q v r) } {(V) v ~q )}
{ V (~q v r) } V
(~q v r) V
(~q v r)
5.- (pq) v ~ (q v ~p) (examen)
(pq) v (~q ~~p)
(pq) v (~q p)
p (q v ~q)
p (V)
p

Ejemplo de demostraciones
1.- ~ {( p ~p r) v ( p q r)} (~p v ~r )
~ {( p r) ( q v ~q)}
~ {( p r) ( V )}
~ {( p r)}
(~ p v ~ r)
(~p v ~r )

2.- (p v q) (~p v q) q
q v (~p p)
qv(V)
q
q
3.- ( p v ~q) (q v r) (q v ~r) (p q)
( p v ~q) (q v (r ~r))
( p v ~q) (q v ( V ))
( p v ~q) (q )
( p q) v (q ~q)
( p q) v ( V )
( p q)
(p v q)

P g i n a | 13

4.- { ( p q) v (~p r) v (q r)} {(p q) v (~p r)}

{ ( p q) v (~p r) v (q r) v ( F )}
{ ( p q) v (~p r) v (q r) v ( ~(q r))}
{ ( p q) v (~p r) } v {(q r) v ( ~(q r))}
{ ( p q) v (~p r) } v {( F ))}
{ ( p q) v (~p r) } {(p q) v (~p r)}

caso particular

5.- { (~p q) v p} (q v p) ~q (~q v p)

{ (~p v p)(q v p) } (q v p) ~q
{
V (q v p) } (q v p) ~q
{ (q v p) (q v p) } ~q
(q v p) ~q
(q ~q) v (~q p)
( F ) v (~q p)
(~q p) (~q v p)
EJERCICIOS PROPUESTOS
I. EJERCICIOS DE FORMALIZACIN (LGICA PROPOSICIONAL)
1. Si la suegra se pone pesada, entonces el marido se ir de casa y la esposa se ir de vacaciones.
2. Si la suegra se pone pesada, entonces el marido se ir de casa, y de todos modos la esposa se ir de
vacaciones.
3. Si la suegra se pone pesada, entonces, si el marido se va de casa, la esposa se ir de vacaciones.
4. Si la suegra se pone pesada, entonces, o bien el marido se ir de casa o bien la esposa se ir de
vacaciones.
5. Si la suegra se pone pesada y el marido se va de casa, entonces la esposa se ir de vacaciones.
6. bien la suegra se pone pesada, o bien, si el marido se va de casa, la esposa se va de vacaciones.
7. Si la suegra se pone pesada o el marido se va de casa, entonces la esposa se ir de vacaciones.
8. Si la suegra no se pone pesada, entonces ni el marido se ir de casa ni la esposa se ir de
vacaciones.
9. Si no se da el caso de que la suegra se ponga pesada, entonces el marido no se ir de casa y la
esposa no se ir de vacaciones.
10. No se da el caso de que, si la suegra se pone pesada, entonces el marido se ir de casa y la esposa
se ir de vacaciones.
11. La suegra se pondr pesada si el marido se va de casa.
12. La suegra se pondr pesada slo si el marido se va de casa.
13. Que la suegra se ponga pesada es una condicin suficiente para que el marido se vaya de casa.
14. Que el marido se vaya de casa es una condicin necesaria para que la esposa se vaya de
vacaciones.
15. La suegra no se pondr pesada a no ser que el marido se vaya de casa.
16. El marido se ir de casa si y slo si la suegra se pone pesada.
17. Que la suegra se ponga pesada es condicin necesaria y suficiente para que el marido se vaya de
casa.
18. Siempre que la suegra se pone pesada, el marido se va de casa.

P g i n a | 14

Solucin a los ejercicios propuestos:

1. (p(qr))
2. ((pq)r)
3. (p(qr))
4. (p(qr))
5. ((pq)r)
6. (p(qr))
7. ((pq)r)
8. (p(qr))
9. (p(qr))

10. (p(qr))
11. (qp)
12. (qp)
13. (pq)
14. (pq)
15. (qp)
16. (pq)
17. (pq)
18. (pq)

II. USANDO TABLAS DEMOSTRAR LAS SIGUIENTES EXPRESIONES DE EQUIVALENCIA

1. ( p ) p
2. p p F
3. p p V
4. p V V
5. p V p
6. p F p
7. p F F
8. p ( p q ) p
9. p ( p q ) p
10. ( p q ) p q
11. ( p q ) r p ( q r )
12. p q ( p q ) ( q p )
13. ( p q ) r p ( q r )
14. ( p q ) r p ( q r )
15. p ( q r ) ( p q ) ( p r )
16.{[p (q r)] [p (q r)]} {(p q) [r

( r

q) p]} p q

III. UTILIZANDO DEFINICIONES Y LEYES DE LGICA MATEMTICA, DEMOSTRAR LAS SIGUIENTES

TAUTOLOGAS:
1. p q q p
2. ( p q ) p q
3. p ( q q ) p (examen)
4. ( q q ) p p
5. ( p q ) r p ( q r )
6. p ( q r ) q ( p r )
7. ( p q ) p p q
8. ( p q ) q p q (examen)
9. p q ( p q ) ( p q )
10. p q p q

P g i n a | 15

IV. UTILIZANDO DEFINICIONES Y LEYES DE LGICA MATEMTICA, SIMPLIFICAR LAS SIGUIENTES

EXPRESIONES (,~ son negacin)

1.- [(p p) q] [q (r q)] [p (p q)]

Rpta: q r
2.- [(p q) (p q)] (p q)
Rpta: p q
3.- [(p~ p) ~ p ] q
Rpta: q p
4.- [(p q) r] v [p (q r)]
Rpta; ~(p q r)
5. ( p v q ) v p
6. ( p q ) ( p v q)
7. [( p v q) q + p
8. [(p q) v r + * ( p v q) r ]
(examen)
9. [( p q ) v q ] q
10. [(p q) r + [ q r ]
11. *(~q ~p) (~p ~q) ~(pq)
12. (p^~q)v(~p^q) v ( ~p^~q)
13. (p v r) v (p v ~r) v (p v s)
SMBOLOS DE PUERTAS LGICAS
Una manera generalizada de representar las funciones lgicas es el uso de smbolos o bloques lgicos
denominados puertas o compuertas lgicas. Estas puertas en general representan bloques
funcionales que reciben un conjunto de entradas (variables independientes) y producen una salida
(variable dependiente) como se muestra en la figura siguiente

Una de las ventaja de usar stos smbolos es que por ser una representacin entrada / salida
permiten la interconexin de puertas (la salida de una con la entrada de otra) para representar
funciones ms complejas a partir de funciones sencillas.
Otra ventaja es el hecho de que los bloques sencillos (puertas con pocas entradas) se encuentran
disponibles en circuitos integrados comerciales, de aqu que un diagrama de puertas lgicas
corresponde directamente a un diagrama de alambrado de circuito lgico.
A continuacin se presentan los smbolos para las funciones lgicas ms sencillas, especialmente para
las presentadas en la seccin anterior.
PUERTA AND

P g i n a | 16

La salida de una compuerta AND es 1 solamente si todas sus entradas son simultneamente 1, de lo
contrario es 0.

PUERTA OR
La salida de una compuerta OR es 1 solamente si todas sus entradas son simultneamente 0, de lo
contrario es 1.

INVERSOR O PUERTA NOT

Un inversor es una puerta de solamente una entrada y su salida es el complemento lgico de la
entrada. Es decir, cuando a la entrada de una puerta NOT hay un 1 su salida ser 0, y de lo contrario
cuando su entrada es 0, su salida ser 1

NAND
Esta es una funcin lgica compuesta. Se puede visualizar como una compuerta AND seguida por una
compuerta NOT y su salida es 0 slo cuando todas sus entradas son simultneamente 1.

P g i n a | 17

PUERTA NOR
Esta Compuerta es una combinacin de las funciones de un operador OR seguido por un INVERSOR.
La salida de una puerta NOR slo ser 1 cuando ambas entradas valgan 0

PUERTA EXOR (OR EXCLUSIVO)

La operacin EXOR se denota por el smbolo , es decir, A EXOR B = A B. Adems, como se vio
anteriormente, A B = AB+AB.
La salida de una puerta EXOR ser 1 si sus entradas son diferentes y ser 0 si son iguales.

PUERTA NO-EXOR O EQUIVALENCIA (EQU)

La operacin EQU se denota por el smbolo , es decir, A EQU B = A B. Adems, como se vi antes, A
B = A B = A B + AB
La salida de una puerta EQU ser 1 si sus entradas son iguales y ser 0 si son diferentes.

EQUIVALENCIA ENTRE PUERTAS LGICAS

Usando lgebra de Boole es posible obtener una gran variedad de equivalencias entre smbolos de
puertas lgicas y diagramas de alambrado de circuitos lgicos. a continuacin se muestran slo
algunas equivalencias sencillas:

P g i n a | 18

En forma similar, dado un circuito lgico, empleando lgebra de Boole es posible obtener la expresin
lgica de la funcin que realiza, simplemente escribiendo a la salida de cada puerta lgica la
expresin correspondiente en trminos de las entradas

P g i n a | 19

CONJUNTOS
Llamaremos conjunto a cualquier coleccin de objetos determinados y distintos. Los objetos los
llamaremos elementos del conjunto. Dos conjuntos importantes son el conjunto vaco, que no
contiene elementos, y el conjunto universo, que contiene todos los elementos.
Podemos definir de manera intuitiva a un conjunto, como una coleccin o listado de objetos con
caractersticas bien definidas que lo hace pertenecer a un grupo determinado.
Para que exista un conjunto debe basarse en lo siguiente:

La coleccin de elementos debe estar bien definida.

Ningn elemento del conjunto se debe contar ms de una vez, generalmente, estos
elementos
deben ser diferentes, si uno de ellos se repite se contar slo una vez.
El orden en que se enumeran los elementos que carecen de importancia.

Notacin
A los conjuntos se les representa con letras maysculas A, B, C, ... y a los elementos con letras
minsculas a, b, c, ..., por ejemplo, el conjunto A cuyos elementos son los nmeros en el lanzamiento
de un dado.
A = { 1, 2, 3, 4, 5, 6 }
En base a la cantidad de elementos que tenga un conjunto, estos se pueden clasificar en conjuntos
finitos e infinitos.

Los conjuntos:
A,B,
Los elementos:
a, b,
a pertenece a A:
aA
a no pertenece a A: a / A
Conjunto vaco:

Conjunto universo: U

FINITOS: Tienen un nmero conocido de elementos, es decir, se encuentran determinados por su

longitud o cantidad.
Ejm: El conjunto de das de la semana
INFINITOS: Son aquellos en los cuales no podemos determinar su longitud.
Ejm: El conjunto de los nmeros reales
Observacin
Dado x U y un conjunto A: x A x / A ?
Si esta pregunta puede responderse siempre, entonces se dice que A est bien definido .
Maneras de definir un conjunto

P g i n a | 20

Existen dos formas comunes de expresar un conjunto y la seleccin de una forma particular de
expresin depende de la conveniencia y de ciertas circunstancias siendo:

Por extensin, vale decir mostrando los elementos de A. Cuando se describe a cada uno de
los elementos
Ejemplo:
A = N := { 1, 2, 3, } (Nmeros naturales)

Por comprensin (pro-generalizado), esto es dando una propiedad (o proposicin) que

caracterice a los elementos del conjunto. Cuando se enuncian las propiedades que deben
tener sus elementos.
Ejemplos:
Q :={ a/b : a, b Z, b 0 } (Nmeros racionales)
A: = {x | x es una vocal}
Para describir si un elemento pertenece o no a un conjunto, se utiliza el smbolo de pertenencia o es
elemento de, con el smbolo , en caso contrario
Ejm: A = {1, 2, 3}

; 2 A; 5 A

TIPOS DE CONJUNTOS

Conjunto vaci o nulo: Es aquel que no tiene elementos y se simboliza por o { }.

A = {x2 + 1 = 0 | x R}

El conjunto A, es un conjunto vaco por que no hay ningn nmero real que satisfaga a x2+1=0

Conjunto universal: Es el conjunto de todos los elementos considerados en una poblacin o

universo, en un problema en especial. No es nico, depende de la situacin, denotado por U.

RELACIONES ENTRE CONJUNTOS

Igualdad de conjuntos: Considerando el conjunto A y el conjunto B, si ambos tienen los

mismos elementos, es decir, si cada elemento que pertenece a A tambin pertenece a B y si
cada elemento que pertenece a B pertenece tambin a A.
A=B
Subconjunto: Si todo elemento de un conjunto A es tambin elemento de un conjunto B,
entonces se dice que A es un subconjunto de B. Representado por el smbolo
A Bo A
Subconjuntos propios: Se dice que es un subconjunto propio de A s todos los elementos de
un conjunto B se encuentran incluidos en l A, denotado por .
ABoB_A
Conjunto potencia: La familia de todos los subconjuntos de un conjunto se llama conjunto
potencia. Si un conjunto es finito con n elementos, entonces el conjunto potencia tendr 2n
subconjuntos.
A = {1, 2 }
El total de subconjuntos es:
22 = 4
{1,2}, {1}, {2}, { }

P g i n a | 21

Conjuntos disjuntos: Son aquellos que no tienen elementos en comn, es decir, cuando no
existen elementos que pertenezcan a ambos.
F = {1, 2, 3, 4, 5, 6}
G = {a, b, c, d, e, f}

Inclusin de conjuntos
Dados dos conjuntos A y B, se dice que A es subconjunto de B, y se escribe A B, si todos los
elementos de A estn tambin en B, esto es:
A B (x U : x A x B)
Propiedades de la inclusin
Dados A, B, C conjuntos, se tiene:
AU
AA
(A B B C) A C
Igualdad de conjuntos
Dados dos conjuntos A y B, se dice que A y B son iguales, y se escribe
A = B, si los elementos de A y B coinciden, esto es:
A = B (A B) (B A)
Conjunto de las partes de un conjunto dado
Dado un conjunto A, se define el conjunto de las partes de A, y se denota
P(A), como el conjunto de todos los subconjuntos de A, esto es:
P(A) := {X : X A}
Notar que:
i) los elementos de P(A) son conjuntos;
ii) P(A) ya que , A P(A).
Operaciones entre conjuntos
Sea U el conjunto universo, y sean A, B subconjuntos de U.
La diferencia de A y B es el conjunto
A B := { x U : x A x B } (otra notacin: A \ B).
El Complemento de A con respecto a U, el cual se denota Ac (o bien A, A), es el conjunto U
A, vale decir:
Ac := U A = { x U : x A}
Relaciones entre conjuntos
1.- Subconjunto: A B (x , x A x B)

P g i n a | 22

2.- Igualdad:

A = B (A B) (B A)

Operacin con conjuntos

1.- Union :
Def.: A B = (x/ x A v x B)
: Smbolo de Unin de Conjuntos
A B : Conjunto Unin

2.- Inteseccin:
Def.:
A B = (x/x A x B)
: Smbolo de la Interseccin de Conjuntos
AB : Conjunto Interseccin

3.- Diferencia: con respecto al conjunto A

Def.: A - B = (x/ x A x B)
/ o : Smbolos de la Interseccin de Conjuntos
A - B: Conjunto diferencia, la diferencia no es conmutativa, es decir: A - B B - A.

4.- Diferencia Simetrica:

Def.:
A B = (x/ (x A x B) v (x A x B)
/: Smbolo de la Interseccin de Conjuntos
A/B : Conjunto diferencia simtrica

P g i n a | 23

3.- Complemento:
Def.:
Ac = { x/x A x U)
c
: Smbolo de la Interseccin de Conjuntos
Ac: Conjunto complemento

Leyes del Algebra de Conjuntos

Leyes del complemento : A,B U

c

1.- = U ; U =
cc

2.- (A ) = A
c

3.- AA

(doble complemento)
c

=U

; AA

4.- A B B A
c

5.- (A B) = A B
6.- (A B)

(A B) = A B

(Ley de De Morgan)

= A B

Leyes de Unin e Interseccin: A,B,C U

1.- A= A

AU = U

A =

AU = A

2.- AA = A
;
AA = A
3.- A B = B A
;
AB=BA
4.- (A B) C = A (B C)
; (A B) C = A (B C)
(asociatividad)
5.- A (B C) = (A B) (A C) ; A (B C) = (A B) (A C)
(distributividad)
6.- A (A B) = A
; A (A B)= A
(absorcin)
7.- (A C B C) (A B) C ;
(A B A C) A (B C)
8.- (A B) A
; A (A B)
9.- (A B) A B = B
;
(A B) (A B)= A

Leyes de la diferencia: A,B,C U

c

1.- AB = A B

2.- A = A ; AU= ; A= ; UA = A
c

3.- A A = ; A A = A
4.- (AB BA) A=B
5.- (AB) C A (BC)
6.- AB=AA B =

; (AB) C= A (BUC)
;
AB= A B

P g i n a | 24

Ms definiciones
Dos conjuntos A y B se dicen disjuntos si y slo si A B = .
Dados dos conjuntos no vacos A y B, se define el Producto Cartesiano de ellos, el cual se denota por
A B, como el conjunto de todos los pares ordenados (a, b) tales que a pertenece a A y b pertenece
a B, esto es:
A B := { (a, b) : a A b B }
Dados n conjuntos no vacos A1,A2, ...,An, se define el Producto Cartesiano de ellos, el cual se denota
por A1 A2 An, como el conjunto de todas las n-uplas ordenadas (a1, a2, ..., an) tales que ai
pertenece a Ai para cada i {1, ..., n}, esto es:
A1 A2 An := { (a1, a2, ..., an) : ai Ai , i {1, ..., n} }
Cardinalidad
El nmero de elementos de un conjunto finito A se llama cardinalidad de A y se denota |A|.
Propiedades
Si A y B son conjuntos disjuntos, entonces |A B| = |A| + |B|.
Si A y B son conjuntos arbitrarios, entonces
|A B| = |A| + |B| |A B|.
Si A, B y C son conjuntos arbitrarios, entonces
|ABC| = |A|+|B|+|C||AB||AC||BC|+|ABC| .
DIAGRAMAS DE VENN
En la siguiente figura se muestran diagramas de Venn para los conjuntos A, B, A U B y A B

A continuacin se muestra el conjunto A y su complemento Ac.

P g i n a | 25

En los siguientes diagramas de Venn se ilustra la manera como pueden usarse cada uno de los
postulados y propiedades del lgebra de conjuntos. En este caso se usan para ilustrar la propiedad de
distributividad de la unin sobre la interseccin

Ejercicios Resueltos
1. Sean p , q y r proposiciones y A , B y C conjuntos tales que:
A= { x U / p } , B = { x U / q } , C = { x U / r } con A BC
En un diagrama de Venn, tal como se muestra en la figura, pinte la superficie que corresponde a los
conjuntos siguientes:

a) {xU / p q }
b) {xU / p q r }

c) {xU /( p q) r }
d) {xU / p q r }

P g i n a | 26

Solucin:

Ejercicios de diagramas de Venn

1.- Indicar que operacin (es) pertenecen a las porciones marcadas en los siguientes diagramas de
Venn.

1)

2)

Rpta: (A B )

Rpta: (A U B )

3)

4)

Rpta: (A B)

Rpta: (A U B)

P g i n a | 27

Usando propiedades de las operaciones de conjuntos demuestre que:

cc

1.- [(A B ) - (A B)

] (A B) = B
cc
c c
[(A B ) ((A B) ) ] (A B) = B
[(Ac B) (A B)] (A B) = B
[(Ac A) B] (A B) = B
[() B] (A B) = B
[() B] (A B) = B
B (A B) = B
B (B A) = B
B=B
ya que A B B.
c

Por def: A-B = A BC

Por def: ( AC)C = A
Prop. Distributiva en el corchete

Prop. conmutativa en el parentesis

por def. de absorcion A (A B) = A
(EXAMEN)

] c = (A B) C
c
c c
c c
(A B ) (C )
c c
c c
c c
[(A ) (B ) ] (C )
(A B) C = (A B) C

2.- [(A B ) C

3.- (A - C) (B - C) = (A B) - C
c
c
(A C ) (B C )
c
C (A B)
c
(A B) C
(A B) C = (A B) C

Morgan

conmutativa

diferencia

4.- (A - B) (A C) = A - ( B - C)
c
(AB ) (A C)
c
A (B C)
por diferencia de interseccin
c c
A (B C )
A (B - C)
A - (B - C) = A - (B - C)
5.- A - (A - B) = A B
A (A - B)
c c

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

6.- B [(B A) (A B) ] = B - A

P g i n a | 28
c c

B [(B ) A ) (A B )]
c
c
c
B [(B A ) (A B )]
c
c
B [ A (B B )]
c
B [ A ( U )]
c
B [ A ]
c
BA
B-A=B-A
EJERCICIOS PROPUESTOS
Parte I

1) Sea A = {1, 2, 3, 4, 5}, B = {2, 4, 6}.

Hallar A B = ?, A B = ?
2) Dado los conjuntos: A = {1, 2, 3, 4, 5, 7}, B = {3, 4, 6}. C = {1, 2, 4, 8, 9, 5}
Hallar A B = ?, A C = ?, B C = ?, A B = ?, A C = ?, B C = ?
3) Dado los conjuntos: A = {1, 2, 3, 4, 5, }, B = {2, 4, 6}. C = { 2, 4, 8, 9,}
Hallar A B = ?, A C = ?, B C = ?, A B = ?, A C = ?, B C = ?
4) Dado los conjuntos: A = {a, b, c, d, e}, B = {a, e}. C = {d, f, g}
Hallar A B = ?, A C = ?, B C = ?, A B = ?, A C = ?, B C = ?
5) Dado los conjuntos: A = {c, h, a, t}, B = {c, h, a, r , m}. C = {h, r, t, n}
Hallar A B = ?, A C = ?, B C = ?, A B = ?, A C = ?, B C = ?
6) Si A = { 1,2,3,4,5 } y B = { 3,5 } . Determine el conjunto : B - A .
7) Si A = { a, b, c, d, e } , B = { b, c, e } y C = { a, e }, entonces Cul es el conjunto ( A B ) - C?
8) Dados los conjuntos:
A ={1, 2 , 3 , 4 } ; B = { 2,4,5 } ; C = { 3,5,7 }. Seale que operacin deber efectuarse para que
el resultado sea el conjunto { 3, 5 }
Parte II
Sean U = {1, 2, 3, 4, 5, 6, 7, a, b, c, d, e, f, g, h}
A = {3, 5, 7, c, d} ; B = {2, 3, 4, 5, b, c, e} ; C = {2, 6, 7, a, b, g}:
Determine:
c
c
a) (A B ) (C - A)
cc

b) (A C) (B - A )
c) Las operaciones para obtener:
{ 6, 2, b}

P g i n a | 29

{ 7},
{3, 4, 5, c, d, e}

Parte III
Demostrar que:
1.2.3.4.5.6.7.8.9.-

(A - C) U (B - C) = (A U B) - C
(A - B) (A - C) = A - (B U C)
(A - C) - (B - C) = (A - B) - C
(A - B) B =
*(A B) (AB)+C = AC EXAMEN
*A (B C C C) ]C *(A BC ) (A C)+ U (A CC ) =
C {*A (B C)+ *(B C) A+} = AC
Si B -A = entonces *(A C) C (B C) C +*A(C B)+ = C
(A B) (AC) = (A B) (AC)
c

10.- (A -B) (A - B ) = A
Resumen de algebra de conjuntos

P g i n a | 30