TEORIA DE

CONJUNTOS
Esp.. Gloria Alejandra Rubio Vanegas

CONJUNTO

conjunto se puede entender como una

coleccin o agrupacin bien definida de
objetos de cualquier clase. Los objetos que
forman un conjunto son llamados
miembros o elementos del conjunto

NOTACION

Se representa con las letras del alfabeto

en Mayscula y los elementos entre llaves
{} y en minscula
Ejemplo:
L={a,b,c.,z}

EXPRESIN DE CONJUNTOS
EXTENSION

Cuando se nombran todos sus elementos

Ejemplo:
A={1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

COMPRENSIN

Cuando se nombra una propiedad o regla

o caractersticas de los elementos del
conjunto
Ejemplo:
A: { x N / x >0 y x <11}

DEFINICION DE CONJUNTOS
CONJUNTOS
INFINITOS

A={x R / 0 x < 9}

CONJUNTOS
FINITOS

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

B={ x N / x es par}

B= { x / x son impares hasta el 20}

DEFINICION DE CONJUNTOS
CONJUNTOS
INFINITOS

A={x R / 0 x < 9}

CONJUNTOS
FINITOS

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

B={ x N / x es par}

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)

1
Q={...;-2;-1; ;0; 1 ; 1 ; 1;
2

4
3

;2;....}

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
CONJUNTO
UNIVERSAL

Es un conjunto referencial que contiene a todos los

elementos de una situacin particular, generalmente
se le representa por la letra U
U

CONJUNTOS ESPECIALES
CONJUNTO
VACIO

Es un conjunto que no tiene elementos, tambin se le

llama conjunto nulo. Generalmente se le representa
por los smbolos: o { }
A = o A = { } se lee: A es el conjunto vaco o
A es el conjunto nulo
U
A

CONJUNTOS ESPECIALES
CONJUNTO
UNITARIO

Es el conjunto que tiene un solo elemento

Ejemplo: F = { x / 2x + 6 = 0 } G = { x / x es un
nmero primo}
U
A
-3

RELACION ENTRE CONJUNTOS

INCLUSIN

Un conjunto A esta incluido en otro conjunto B ,s y

slo s, todo elemento de A es tambin elemento de
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.
B
A

EJEMPLO DE INCLUSION DE
CONJUNTOS

RELACION ENTRE CONJUNTOS

DIFERENTES

Dos conjuntos son disjuntos cuando no tienen

elementos comunes.

OPERACIN ENTRE CONJUNTOS

UNION

Si A y B son dos conjuntos no vacos, se define la unin entre A y

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.
U

EJEMPLO UNION DE CONJUNTOS

OPERACIN ENTRE CONJUNTOS

INTERSECCION

Se define la interseccin entre dos conjuntos A y B como el

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.
U

EJEMPLO INTERSECCION DE
CONJUNTOS

OPERACIN ENTRE CONJUNTOS

DIFERENCIA

Si A y B son dos conjuntos no vacos, entonces se

define la diferencia entre A y B as
Es decir son los elementos que posee el primer
conjuntos que no pertenecen al segundo conjunto
U

EJEMPLO DIFERENCIA DE
CONJUNTOS

OPERACIN ENTRE CONJUNTOS

DIFERENCIA
SIMETRICA

Se define la diferencia simtrica entre dos conjuntos

no vacos A y B, como el conjunto formado por los
elementos que pertenecen al conjunto A o al conjunto
B, pero no pertenecen simultneamente a ambos
conjuntos.

EJEMPLO DIFERENCIA SIMETRICA

DE CONJUNTOS

OPERACIN ENTRE CONJUNTOS

Si A es un conjunto no vaco, el
complemento de A, simbolizado por A, est
formado por todos los elementos que no
pertenecen al conjunto A, es decir,

COMPLEMENTO

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

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 ^

p v

Proposicin Atmica o Simple

Es cuando no
posee
conectores
lgicos

q
p q
p

Esp. Alejandra Rubio V.

Proposicin Compuesta
Es una o mas
proposiciones
atmicas unidad
con trminos de
enlace o
conectores lgicos

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

V
F
Esp. Alejandra Rubio V.

F
F

F
F

DISYUNCIN v

p v q
p : Las peras son rojas
q: las peras
frutas
Las peras son rojas o son frutas
F v V = V

Esp. Alejandra Rubio V.

p v q

son

NEGACIN
p

p : Las peras son rojas

Las peras no son rojas
V = F

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

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

Esp. Alejandra Rubio V.

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

Esp. Alejandra Rubio V.

nmero

de

nmero

de

TABLAS DE VERDAD
EJEMPLO:
pvq

pvq

Esp. Alejandra Rubio V.

TABLAS DE VERDAD
EJEMPLO:
p^ q

p^q

Esp. Alejandra Rubio V.

TABLAS DE VERDAD
EJEMPLO:
pq

pq

Esp. Alejandra Rubio V.

TABLAS DE VERDAD
EJEMPLO:
p
q

Esp. Alejandra Rubio V.

TAUTOLOGIAS

Son las llamadas proposiciones compuestas

EJEMPLO: [(p v q) p]

Esp. Alejandra Rubio V.

(p v q)

[(p v q)
p]

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
Implicacin
Implicacin
Implicacin

Directa : Si las ballenas son mamferos viven en el mar

Si las ballenas no son mamferos no viven en el mar
Contraria:
Si vive en el mar entonces es ballena
Recproca:
Contrarecproca:no vive en el mar entonces no es ballena