CCAV Eje Cafetero/Zona/ Occidente

PRIMERA WEBCONFERENCE
CURSO 200611_PENSAMIENTO LGICO Y MATEMTICO
Director de Curso:
OSCAR JHONNY GMEZ SUREZ
Tutores:
YADIRA SANABRIA MEJA
JORGE ENRIQUE TABOADA LVAREZ
Temtica:
TEORA DE CONJUNTOS
LGICA PROPOSICIONAL

MIRCOLES 26 DE MARZO DE 2014

CCAV Eje Cafetero/Zona/ Occidente

Los proceso lgicos y los

procesos
matemticos
permiten que los seres
humanos
adquieran
habilidades y destrezas
para aplicar de manera
sistemtica y organizada
pasos o fases para plantear
soluciones a situaciones
problmicas del mundo
real y cotidiano.

CCAV Eje Cafetero/Zona/ Occidente

TEORA
DE
CONJUNTOS

CCAV Eje Cafetero/Zona/ Occidente

CONCEPTO DE CONJUNTO:
Un 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.
Ejemplo:
En la figura adjunta tienes un Conjunto de
Personas segn su profesin.

CCAV Eje Cafetero/Zona/ Occidente

NOTACIN:
Todo conjunto se escribe entre llaves { } y se le
denota mediante letras maysculas A, B, C, ...,sus
elementos se separan mediante coma.

EJEMPLO:
El conjunto de las letras del alfabeto; a, b, c, ...,
x, y, z. se puede escribir as:

L={ a, b, c, , x, y, z}

CCAV Eje Cafetero/Zona/ Occidente

RELACIN DE PERTENENCIA:
El conjunto de las letras del alfabeto; a, b, c, ..., x, y,
z. se puede escribir as:

EJEMPLO:

Sea M = {2;4;6;8;10}

2 M ...se lee 2 pertenece al conjunto M

5 M ...se lee 5 no pertenece al conjunto M

CCAV Eje Cafetero/Zona/ Occidente

CCAV Eje Cafetero/Zona/ Occidente

CCAV Eje Cafetero/Zona/ Occidente

CCAV Eje Cafetero/Zona/ Occidente

DIAGRAMAS DE VENN:
Los diagramas de Venn que se deben al filsofo
ingls John Venn (1834-1883) sirven para
representar conjuntos de manera grfica mediante
dibujos diagramas que pueden ser crculos,
rectngulos, tringulos o cualquier curva cerrada.

1
9

4 8
3

6
5

CCAV Eje Cafetero/Zona/ Occidente

CCAV Eje Cafetero/Zona/ Occidente

CCAV Eje Cafetero/Zona/ Occidente

El conjunto A unin B que se representa as A B es el conjunto formado por

todos los elementos que pertenecen a A, a B o a ambos conjuntos.

Ejemplo:

A 1; 2; 3; 4; 5;6;7 yB 5;6;7;8; 9

A
3

1 2

A B 1; 2; 3; 4; 5;6;7;8; 9

A B x / x A x B

7
5

8
6
9

CCAV Eje Cafetero/Zona/ Occidente

El conjunto A interseccin B que se representa A B es el conjunto formado

por todos los elementos que pertenecen a A y pertenecen a B.

Ejemplo:

A 1; 2; 3; 4; 5;6;7 yB 5;6;7;8; 9

1
3

2
4

7
5

A B 5;6;7
A B x / x A x B

8
6
9

CCAV Eje Cafetero/Zona/ Occidente

El conjunto A menos B que se representa A B es el conjunto formado por

todos los elementos que pertenecen a A y no pertenecen a B.

Ejemplo:

A 1; 2; 3; 4; 5;6;7 yB 5;6;7;8; 9

1
3

2
4

5
A B 1; 2; 3; 4

A B x / x A x B

7
5

8
6
9

El conjunto B menos A que se representa B A es el conjunto formado por

todos los elementos que pertenecen a B y no pertenecen a A.

Ejemplo:

A 1; 2; 3; 4; 5;6;7 yB 5;6;7;8; 9

1
3

2
4

7
5

B A 8; 9

B A x / x B x A

8
6
9

AB

El conjunto A diferencia simtrica B que se representa

formado por todos los elementos que pertenecen a (A-B) o(B-A).

es el conjunto

Ejemplo:

A 1; 2; 3; 4; 5;6;7 yB 5;6;7;8; 9

1
3

2
4

7
5

AB 1; 2; 3; 4 8; 9
AB x / x (A B) x (B A)

8
6
9

CCAV Eje Cafetero/Zona/ Occidente

Dado un conjunto universal U y un conjunto A, se llama complemento de A al conjunto

formado por todos los elementos del universo que no pertenecen al conjunto A.

Notacin: A o AC

Simblicamente: A ' x / x U x A

A = U - A
Ejemplo:
U ={1;2;3;4;5;6;7;8;9}

A ={1;3; 5; 7; 9}

3
5

A={2;4;6,8}

9
4

PROPIEDADES DEL COMPLEMENTO

1. (A)=A

4. U=

2. A U A=U
3. AnA=

5. =U

INDICE

Segn las preferencias de 420 personas que ven los

canales A,B o C se observa que 180 ven el canal A ,240
ven el canal B y 150 no ven el canal C,los que ven por lo
menos 2 canales son 230cuntos ven los tres canales?

SOLUCIN

El universo es: 420

Ven el canal A: 180
Ven el canal B: 240
No ven el canal C: 150
Entonces si ven el canal C: 420 150 = 270

B (I)

A
e

x
c

b
f

(II)
(III)

a + e + d + x =180
b + e + f + x = 240
d + c + f + x = 270

Dato: Ven por lo menos dos canales

230 ,entonces:
(IV)

d + e + f + x = 230

Sabemos que : a+b+c+d+e+f+x =420

230

entonces : a+b+c =190

Sumamos las ecuaciones (I),(II) y (III)
(I)
(II)
(III)

a + e + d + x =180
b + e + f + x = 240
d + c + f + x = 270

a + b + c + 2(d + e + f + x) + x = 690

190

230

190 + 560 + x =690 x = 40

Esto significa que 40 personas ven los tres canales

PROPOSICIONES Y
TABLAS DE VERDAD

Es un enunciado al cual se le puede asociar el concepto

verdadero o falso, pero no ambos.
Ejemplos:
La luna es cuadrada

7 es un nmero primo
Las araas son mamferos

de

 Existen dos clases de proposiciones:

Proposiciones simples (no usan operadores lgicos)
Proposiciones compuestas (si usan conectivos u operadores lgicos)

Ejemplos:
Juan juega en el patio (proposicin simple)
Juan juega en el patio y Carlos en el Jardn (proposicin
compuesta)

Llamados tambin operadores lgicos , son palabras

que sirven para enlazar proposiciones simples o cambiar
el valor de verdad de una proposicin.
Los conectivos son: no; y; o; si entonces; s y slo
s.

 Recordemos que el valor de certeza de una proposicin compuesta depende de

los valores de certeza de las proposiciones simples que la componen
Para analizar los valores de certeza de una proposicin compuesta,
representamos
todas las posibilidades de valores de verdad de las
proposiciones simples, en un arreglo de tabla

Se llama conjuncin de las proposiciones p y q a la proposicin

p y q. Se denota por p q.
La proposicin p q es verdadera slo si p y q son
verdaderas. Es falsa si al menos una de ellas es falsa.

p
V
V
F
F

q
V
F
V
F

V
F
F
F

Se toman como sinnimos de la conjuncin:

Adems
Pero
Sin embargo
Aunque

Tambin
An
A la vez
No obstante

Luis estudia, adems de trabajar

Luis estudi pero no aprob
Luis canta, sin embargo no baila
Luis jug futbol aunque estaba lesionado
Luis juega futbol, tambin Jos
Luis sali, an no llega
Luis cocina a la vez que canta
Luis viajar no obstante est sin visa
Luis canta, no baila.

Se llama disyuncin de las proposiciones p y q a la

proposicin p q. Se denota por p v q.
La proposicin p v q es verdadera slo si al menos una de las
proposiciones p q es verdadera y es falsa si ambas son
falsas.

p
V
V
F
F

q
V
F
V
F

pvq
V
V
V
F

Se llama condicional de las proposiciones p y q a

la proposicin Si p, entonces q. La primera
proposicin se llama antecedente y la segunda
consecuente.
Se denota por p q y se lee: si p entonces q
p es condicin suficiente para q q es
condicin necesaria para p.
La proposicin p q es falsa solamente si p es
verdadera y q es falsa y es verdadera en
cualquier otro caso.

p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

Se llama bicondicional de las proposiciones p y q a la proposicin p si y slo si q

p es condicin necesaria y suficiente para q y se denota por p q.
La proposicin p q es verdadera si ambas p y q son verdaderas o falsas y, es
falsa en otro caso.

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

CCAV Eje Cafetero/Zona/ Occidente