TEORIA DE

CONJUNTOS
Esp.. Gloria Alejandra Rubio Vanegas
 conjunto se puede entender como una
CONJUNTO coleccin o agrupacin bien definida de
objetos de cualquier clase. Los objetos que
forman un conjunto son llamados
miembros o elementos del conjunto

Se representa con las letras del alfabeto

NOTACION en Mayscula y los elementos entre llaves
{} y en minscula
Ejemplo:
L={a,b,c.,z}
 EXPRESIN DE CONJUNTOS
Cuando se nombran todos sus elementos
EXTENSION Ejemplo:
A={1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

Cuando se nombra una propiedad o regla

COMPRENSIN o caractersticas de los elementos del
conjunto
Ejemplo:
A: { x N / x >0 y x <11}
 DEFINICION DE CONJUNTOS
A={x R / 0 x < 9}
CONJUNTOS
INFINITOS B={ x N / x es par}

A= { x / x es una letra del alfabeto}

CONJUNTOS
FINITOS B= { x / x son impares hasta el 20}
 DEFINICION DE CONJUNTOS
A={x R / 0 x < 9}
CONJUNTOS
INFINITOS B={ x N / x es par}

A= { x / x es una letra del alfabeto}

CONJUNTOS
FINITOS B= { x / x son impares hasta el 20}
GRAFICO DE CONJUNTOS
DIAGRAMA DE VENN
 CONJUNTOS NUMRICOS
Nmeros Naturales ( N ) N={1;2;3;4;5;....}

Nmeros Enteros ( Z ) Z={...;-2;-1;0;1;2;....}

Nmeros Racionales (Q)

Q={...;-2;-1; ;0; 1 ; 1 ; 1; 4
1
;2;....}
2 5 2 3

Nmeros Irracionales ( I ) I={...; 2; 3; ;....}

Nmeros Reales ( R )
R={...;-2;-1;0;1; 2; 3 ;2;3;....}

Nmeros Complejos ( C )
1
C={...;-2; 2;0;1; 2; 3 ;2+3i;3;....}

 CONJUNTOS ESPECIALES
Es un conjunto referencial que contiene a todos los
CONJUNTO elementos de una situacin particular, generalmente
UNIVERSAL se le representa por la letra U

U
 CONJUNTOS ESPECIALES
Es un conjunto que no tiene elementos, tambin se le
CONJUNTO llama conjunto nulo. Generalmente se le representa
VACIO por los smbolos: o { }
A = o A = { } se lee: A es el conjunto vaco o
A es el conjunto nulo

A
 CONJUNTOS ESPECIALES
Es el conjunto que tiene un solo elemento
CONJUNTO
Ejemplo: F = { x / 2x + 6 = 0 } G = { x / x es un
UNITARIO nmero primo}

A
-3
 RELACION ENTRE CONJUNTOS
Un conjunto A esta incluido en otro conjunto B ,s y
slo s, todo elemento de A es tambin elemento de
INCLUSIN B, NOTACIN : A B
Se lee : A esta incluido en B, A es subconjunto de B,
A esta contenido en B , A es parte de B.

A
EJEMPLO DE INCLUSION DE
CONJUNTOS
 RELACION ENTRE CONJUNTOS
Dos conjuntos son disjuntos cuando no tienen
elementos comunes.
DIFERENTES
 OPERACIN ENTRE CONJUNTOS
Si A y B son dos conjuntos no vacos, se define la unin entre A y
UNION B como el conjunto de todos los elementos que pertenecen al
conjunto A o al conjunto B. Simblicamente la unin se define
as:
AUB = {x / xA, v , x B}, donde el smbolo v se lee o.

A B
EJEMPLO UNION DE CONJUNTOS
 OPERACIN ENTRE CONJUNTOS
Se define la interseccin entre dos conjuntos A y B como el
INTERSECCION conjunto formado por todos los elementos que pertenecen
simultneamente al conjunto A y al conjunto B.
Simblicamente la interseccin se expresa as:
A B = {x / x A, ^ , x B} el smbolo se lee
interseccin y el smbolo ^ se lee i.

A B
EJEMPLO INTERSECCION DE
CONJUNTOS
 OPERACIN ENTRE CONJUNTOS
Si A y B son dos conjuntos no vacos, entonces se
DIFERENCIA define la diferencia entre A y B as

Es decir son los elementos que posee el primer

conjuntos que no pertenecen al segundo conjunto

A B
EJEMPLO DIFERENCIA DE
CONJUNTOS
 OPERACIN ENTRE CONJUNTOS
Se define la diferencia simtrica entre dos conjuntos
no vacos A y B, como el conjunto formado por los
DIFERENCIA elementos que pertenecen al conjunto A o al conjunto
SIMETRICA B, pero no pertenecen simultneamente a ambos
conjuntos.

A B
EJEMPLO DIFERENCIA SIMETRICA
DE CONJUNTOS
 OPERACIN ENTRE CONJUNTOS
Si A es un conjunto no vaco, el
complemento de A, simbolizado por A, est
COMPLEMENTO formado por todos los elementos que no
pertenecen al conjunto A, es decir,

A B
EJEMPLO COMPLEMENTO DE
CONJUNTOS
 PROPOSICIONES
Una proposicin lgica es un enunciado lingstico que
debe cumplir con la condicin de ser susceptible de poder
ser verdadero o falso. Ejemplo:
Hoy es mircoles 21 de marzo
Puede ser verdadero o falso
V F
Las proposiciones se representa en letras minsculas como
p,q,r,s,q Ejemplo:
p= Hoy es mircoles
q= Es de Noche

Ms. Carmen Emilia Rubio V.

 PROPOSICIONES
p : Hoy es Jueves q : es de Noche
p ^ q
p v q Proposicin Compuesta
Proposicin Atmica o Simple
p Es una o mas
proposiciones
Es cuando no
posee
q atmicas unidad
con trminos de
conectores
lgicos p q enlace o
conectores lgicos
p q

Esp. Alejandra Rubio V.

 EJERCICIOS RESUELTOS DE
PROPOSICIONES
7415 es un numero par
RTA: SI es una proposicin puesto que el 7415 no es un numero par,
por lo tanto tiene una valor de verdad FALSO

Que hora es?

RTA: NO es una proposicin puesto que a una oracin interrogativa no
se le puede determinar un valor de verdad.

!Pare por favor!

RTA: No es una proposicin, puesto que una oracin admirativa, no se le
puede determinar un valor de verdad.

El atardecer en la playa es romntico

RTA: No es una proposicin, puesto que es un enunciado Ambiguo por lo
cual no se puede determinar un valor de verdad.

La edad de Diana es 17 aos

RTA: SI es una proposicin, puesto que el enunciado tiene un solo valor
de verdad, o es verdadero o es falso para Diana
 EJERCICIOS RESUELTOS DE
PROPOSICIONES
45+18
RTA: NO es una proposicin es un enunciado incompleto

El amanecer es bello

RTA: NO es una proposicin puesto que es un enunciado Impreciso

+ + =

RTA: NO es una proposicin, puesto que es una oracin en la cual no se precisa

el valor de x, por lo cual no se precisa el valor de verdad

El sabor del color es dulce

RTA: NO es una proposicin, puesto que es una oracin ambigua.

Disparen al ladrn

RTA: Es una oracin que indica una orden, la cual no tiene un valor de verdad
por lo tanto NO es una proposicin

Mi banca es Gris

RTA: SI es una proposicin, puesto que es una oracin Afirmativa.

Esp. Alejandra Rubio V.
 VALOR DE VERDAD
Es la cualidad de veracidad que describe
apropiadamente a una proposicin , esta
puede ser verdadera o falsa.

TABLA DE VERDAD
Es una representacin de los posibles
valores de Verdad que podra tomar
una proposicin

Esp. Alejandra Rubio V.

 CONECTIVOS

Esp. Alejandra Rubio V.

 CONJUNCIN ^
p ^ q
p :Las peras son rojas
q: las peras son frutas
Las peras son rojas Y son frutas
F ^ V =F

p q p ^ q
V V V
V F F
F V F
F F F
Esp. Alejandra Rubio V.
 DISYUNCIN v
p v q
p : Las peras son rojas q: las peras son
frutas
Las peras son rojas o son frutas
F v V = V
p q p v q
V V V
V F V

F V V
F F F
Esp. Alejandra Rubio V.
 NEGACIN
p
p : Las peras son rojas
Las peras no son rojas
V = F

p p
V F
F V

Esp. Alejandra Rubio V.

 CONDICIONAL
p q
p : Las peras son rojas q: las peras son
frutas
Si las peras son rojas entonces las peras son
frutas
p F qV = Vp q
V V V
V F F

F V V
F F V
Esp. Alejandra Rubio V.
 BICONDICIONAL
p q
p : Las peras son rojas
q: las peras son frutas
Las peras son rojas si y solo si las peras son
frutas
F V = F
p q p q
V V V
V F F

F V F
F F V

Esp. Alejandra Rubio V.

 TABLAS DE VERDAD
Se construyen de acuerdo al nmero de
proposiciones que tiene el ejercicio.
Es decir 2n, donde n es el nmero de
proposiciones
EJEMPLO:
p p
p
V F

F V

Esp. Alejandra Rubio V.

 TABLAS DE VERDAD
EJEMPLO:
pvq
p q p pvq

V V F V

V F F v

F V V V

F F V V

Esp. Alejandra Rubio V.

 TABLAS DE VERDAD
EJEMPLO:
p^ q
p q q p^q

V V F F

V F V v

F V F F

F F V F

Esp. Alejandra Rubio V.

 TABLAS DE VERDAD
EJEMPLO:
pq
p q p pq

V V F V

V F F V

F V V V

F F V F

Esp. Alejandra Rubio V.

 TABLAS DE VERDAD
EJEMPLO:
p q
p q q p q

V V F F

V F V V

F V F V

F F V F

Esp. Alejandra Rubio V.

 TAUTOLOGIAS
Son las llamadas proposiciones compuestas
EJEMPLO: [(p v q) p]
[(p v q)
p q q (p v q) p
p]

V V

V F

F V

F F
Esp. Alejandra Rubio V.
 TAUTOLOGIAS
Proposiciones Equivalentes
Dos proposiciones compuestas se consideran
lgicamente equivalentes, si tienen los mismos
valores de verdad para cada caso en su tabla de
verdad. Ejemplo Demostrar que las proposiciones
p q y la proposicin p v q son lgicamente
equivalentes:

Esp. Alejandra Rubio V.

 TAUTOLOGIAS
Doble Negacin

Esp. Alejandra Rubio V.

 TAUTOLOGIAS
Doble Negacin
Consideremos la proposicin simple:

p: Hoy es Jueves
p: Hoy no es Jueves
(p): Hoy es Jueves

Esp. Alejandra Rubio V.

 TAUTOLOGIAS
Implicacin Directa, Contraria,
Recproca y Contrarecproca

Esp. Alejandra Rubio V.

 TAUTOLOGIAS
Implicacin Directa, Contraria,
Recproca y Contrarecproca
EJEMPLO: Dadas las proposiciones
p: Las Ballenas son mamferos q: Viven en el mar
Implicacin Directa : Si las ballenas son mamferos viven en el mar
Implicacin Si las ballenas no son mamferos no viven en el mar
Contraria:
Implicacin Recproca: Si vive en el mar entonces es ballena
Implicacin Contrarecproca:no vive en el mar entonces no es ballena