MAPA CONCEPTUAL DE TEORIA DE CONJUNTOS

CONJUNTOS
es
una se
se

REUNIÓN DENOTA DETERMINA

en
de por por por
forma

OBJETOS GRÁFICOS SIMBÓLICA EXTENSIÓN COMPRESIÓN

mediante mediante enumerando escribiendo

llamados

ELEMENTOS DIAGRAMAS DE LETRAS SUS ELEMENTOS LA PROPIEDAD

(VENN EULER) MAYÚSCULAS COMÚN
que
que entre
se entre
son

DENOTAN FIGURAS LLAVES LLAVES

CERRADAS
por separados
por por

A COMAS
NÚMEROS LETRAS
MAYÚSCULAS

A = { 0, 1, 2, 3, 4 } A = { x/x<5; xÎD }
A B B = { a, e, i, o, u } B = { x/x es vocal }
1 2
e
0 3 a o
4 5 i u

Conjunto Unitario: Tiene un solo elemento.

Conjunto Vacío: No tiene elementos

Conjunto Finito: Se puede nombrar todos sus elementos.
Conjunto Infinito: No puede nombrarse todos sus elementos.

Conjuntos iguales: Son los que tienen los que tienen diferentes elementos
Conjuntos Intersecantes: Son los que tienen uno o más elementos en común.
Conjuntos Disjuntos: Son los que no tienen elementos comunes.

Operaciones entre conjuntos

Unión: De dos o más conjuntos, es el conjunto formado por todos los elementos de los conjuntos dados, los elementos que se
repiten se consideran una sola vez.
Símbolo:  AB = { x / xÎA  xÎB }

Intersección: De dos o más conjuntos, es el conjunto formado por los elementos comunes a los conjuntos dados.

1) A = { 4, 5, 6 } B = { 6, 4, 5 } Diagrama:

AB = ……………………………………

2) P = { 1, 3, 5, 7 } H = { 1, 5 } Diagrama:

PH = ………………………………

3) S = { 1, 3, 5, 7 } T = { 1, 3, 4, 8 } Diagrama:

ST = …………………

4) F = { 7, 9 } M = { 0, 1, 2, 3 } Diagrama:

FM =………………
Complementación: Entre un conjunto y el Universo es el conjunto formado por los elementos que le faltan al conjunto dado
para completar el conjunto universo.
Símbolo: A`  AC se lee complemento de A.
CUA se lee complemento de A con respecto al universo.
Ejemplo:

1) U = { números dígitos } 3 U
1 A
0 2 9
A = { 0, 2, 4, 6, 8 } 6
4 8 5
7
A`
A` = { 1, 3, 5, 7, 9 A`A = U U`= 

A`A =  ` = U
2) U = { números primos menores que 30 }

C = { x /x > 2  x < 19; xÎ números primos }

C’ = {......,......,......,......}
TAREA Nº 1

A. Complete los siguientes enunciados:

1. La relación que se establece cuando un conjunto contiene a otro es..............
2. Cada uno de los miembros de un conjunto se llaman..........................................
3. El conjunto que tiene un solo elemento es ..........................................................
4. La unión de un conjunto con el conjunto vacío es.............................................
5. La relación de pertenencia se establece entre .................................................
6. El conjunto que contiene a otros de su misma especie es...............................
7. El conjunto que no tiene elementos es ...............................................................
8. La intersección de dos conjuntos disjuntos es.................................................
9. La unión de un conjunto con su complemento es...............................................
10. Entre un conjunto y sus elementos se establece la relación...........................
B. Indique el tipo de conjunto
Conjunto

1.) C = { x/ x Î Z + ; x < 12} ..................................

2.) A = { número impar entre el 8 y el 9 } ..................................

3.) B = { x/ x >-3  x < -1; x Î números pares } ..................................

4.) C = { x/ x Î M8 } ..................................

5.) B = { x/ x Î D32 } ..................................

6.) A = { múltiplos de 3 } ..................................

7.) B = { x/ x >3  x < 7; x Î números primos } ..................................

C. Determine en las otras dos formas los siguientes conjuntos:

Comprensión Tabulación Estándar

J = {1,2,3,4,6,12}

H = { números dígitos impares}

L = {0,3,6 ,9,12,15}

M = {x/ x>-5  x<3 xÎ Primos}

D. Tabule los conjuntos dados y Reconozca la relación que existe entre ellos

CONJUNTOS RELACION

1. D D={
1 L
5 9
0 L= { ........................

2. S 5 T S={
4 8
2
1 2 T ={ ……………………………
1 16 16
1

3. L L={
10 9 7
M 15
0 6 M={ ...............................
255

4. J 5
8
K J={
1 4
9 6
K ={ ...............................
9

5. 1 9 10 U 6
5 P P={
2 7
8

14 15 U={ ...............................

3
6 6
E Con los conjuntos dados realice las siguientes operaciones, y dibuje el diagrama de Venn.

1) U = { múltiplos de 5 entre el –15 y 15 }

C = { múltiplos de 5 entre –15 y 5 } D = { múltiplos de 5 entre -10 y 10 }

C∩ D C ∪D D’

2) U = { divisores de 28 } A = { divisores de 14 } B = { divisores de 7 }

A∩ B A ∪B A’

3) U = { múltiplos de 4 entre el –16 y 16 };

S = { -12, - 8,- 4 } ; T = { 12, 4 ,8 }

S ∩ T S∪T T’

4. U = {x/ xÎ D24} C = {x/ xÎ D6 } B = {x/ xÎ D 8 }

C∩ B C ∪B B’
F. En los siguientes diagramas reconozca la operación efectuada

1. 2.
A U A U
B

A B A B

3. 4.
A U U
A B
B

A B A B

5. 6.
A U A U

B
B

A B A B

7. 8.
A U B U

En el diagrama de Venn que sigue sombrear:

A U A U

B B
A B
B B
A U A U

B B
A´ B´
B B
A U A U

B B
AB AB
B B

A U A U

B B
A-B B-A
B B
A U A U

B B
(A-B)´ AB
B B
A U A U

A´B´ B U´ B

B B
ELEMENTOS DE LÓGICA PROPOSICIONAL

2.1. Introducción

Iniciamos ahora nuestro trabajo específico en el cálculo proposicional, con la construcción de

un lenguaje preciso, libre de ambigüedades, que nos permita desde sus bases, la
consolidación de una estructura dinámica, pero rigurosa y a prueba de inconsistencias.

2.2 El lenguaje

Nos servimos del lenguaje en las más diversas formas: para hacer preguntas, dar órdenes,
expresar deseos y también para hacer afirmaciones acerca de los objetos. Es decir, enunciar
hechos o describir situaciones. De una pregunta no tiene sentido preguntarse si es verdadera
o falsa. Ejemplo:

"¿Quién desea ayudarme?"

¿Qué hora es?,

No son PROPOSICIONES, en cuanto tal, ni verdaderas ni falsas. Tampoco lo son expresiones

como:

¡Siéntese aquí!
¡Váyase!

En cambio, de las afirmaciones que hacemos acerca del mundo, sí tiene sentido preguntarse
por su verdad o falsedad. Este uso del lenguaje se denomina: enunciativo, indicativo,
asertórico. La lógica actual, se ocupa de este tipo de discurso. Es decir, de aquel cuyos
enunciados son, o bien verdaderos o bien falsos.

Las siguientes expresiones:

“Pedro fue al colegio”

“Peter went to the college”

son distintas en cuanto que son diferentes trazos sobre el papel. Sin embargo, dicen lo
mismo. Es decir, enuncian una misma proposición.

Se entiende por proposición el contenido trasmitido en una oración hecha en modo

indicativo. Se empleará el término proposición o enunciado indiferentemente.

Se puede decir, que la lógica es la ciencia de los principios de inferencia o razonamientos

formalmente válidos. Lo específico de un razonamiento o inferencia consiste en derivar
una conclusión a partir de unas premisas siguiendo una regla de inferencia dada,
llamada modus ponens . De esta conclusión se dice que es formalmente válida, es decir, que
si sus premisas son verdaderas entonces la conclusión también es verdadera. La lógica se
ocupa de la validez de los razonamientos y no de la verdad o falsedad de los enunciados que
la componen.

En todo razonamiento, es posible diferenciar la forma del contenido. Así, por ejemplo:

Si llueve, entonces no iré al teatro.

Si pago las deudas, entonces no tendré problemas.

Son dos enunciados de contenidos diferentes. Su forma sin embargo, es la misma. Su

estructura se representa así:
Si ______, entonces no _____

Se puede llenar el espacio vacío con letras mayúsculas, que representarán el contenido de los
enunciados quedando la expresión así:

Si P entonces no Q

A la lógica le interesa únicamente la forma de los razonamientos. A esto se le

denomina lógica formalo ciencia de las formas o esquemas válidos de razonamientos. La
lógica ha de hacerse con un lenguaje en el cual la forma aparezca aislada, y en el que la
estructura del razonamiento se muestre sola.

2.3 Cálculo proposicional

2.3.1 Simbolización de Proposiciones

Cada proposición tiene una forma lógica a la cual se le da un nombre. Se distinguen dos tipos
de proposiciones: simples y compuestas. Una proposición se denomina simple cuando en ella
no interviene ninguna conectiva lógica o término de enlace (y, o, no, si... entonces..., si y
sólo si). Si se juntan una o varias proposiciones simples con un término de enlace, se forma
una proposición compuesta . Los términos de enlace, "y", "o", "si...entonces", "si y sólo si"; se
usan para ligar dos proposiciones, en cambio el término de enlace "no" se agrega a una sola
proposición. Ejemplo:

Hoy es jueves
Hay clases de matemáticas

Ambas proposiciones son simples. Con estas proposiciones se pueden construir proposiciones
compuestas tales como:

Hoy es jueves y hay clases de matemáticas.

Hoy es jueves o hay clases de matemáticas.
Si hoy es jueves, entonces hay clases de matemáticas.
Hoy no es jueves.

La forma de las proposiciones compuestas depende del término de enlace utilizado, y no del
contenido de la proposición o proposiciones simples. Es decir, si en una proposición
compuesta se sustituyen las proposiciones simples por otras proposiciones simples
cualesquiera, la forma de la proposición compuesta se conserva. Ejemplo:

Hoy es jueves y hay clase de matemáticas.

Esta sería la forma de la proposición. En los cuadros pueden escribirse las proposiciones dadas
u otras proposiciones. Para representar las proposiciones se utilizan letras latinas mayúsculas
tales como P, Q, R, etc. Por ejemplo, sea:

P: Hoy es jueves.
Q: Hay clase de Matemáticas.

Luego la proposición:
Hoy es jueves y hay clase de matemáticas

se simboliza así:

PyQ

En el lenguaje corriente se utiliza también la palabra "pero" o una "," en vez del término de
enlace "y". Ejemplo:

Fuí a la feria, pero no hice compra alguna.

Inés está enferma, el martes iré a visitarla.

En el siguiente ejemplo se usa el término de enlace "o".

Es tarde o está muy oscuro.

Otro giro de "o" es:

O es tarde o está muy oscuro.

En este último caso las dos "o" son parte del mismo término de enlace y la forma de la
proposición es:

Cuando se usa el término de enlace: si,... entonces... se obtiene la siguiente forma:

Ejemplo:

Si madrugo entonces llego temprano.

En este ejemplo puede suprimirse la palabra "entonces" y reemplazarse por una "," así:

Si madrugo, llego temprano.

Cuando la palabra "no" se encuentra en el interior de una proposición simple, puede pasar
inadvertida, pero se trata de una proposición compuesta. Ejemplo:

El día no está caluroso

Puede presentarse como:

No ocurre que el día esté caluroso.

Su forma es:
También se usan símbolos para representar los términos de enlace, así:

Para la "y" se utiliza el símbolo .

Para la "o" se utiliza el símbolo .

Para el "no" se utiliza el símbolo ¬.

Para el "si, ... entonces ..." se utiliza el símbolo

Para el "si y sólo si" se utiliza el símbolo .

Cuando una proposición compuesta utiliza el término de enlace "y" es una conjunción . Si el
enlace se hace mediante la conectiva "o" es una disyunción . Si se usa el término "no" es una
negación. Cuando la conectiva es "si,.... entonces.." es una proposición condicional , y si
utiliza "si y sólo si" se tiene unbicondicional.

En proposiciones que tienen más de un término de enlace es preciso indicar la manera de

agruparse, pues distintas agrupaciones pueden tener distintos significados. En el lenguaje
corriente, las agrupaciones se presentan de acuerdo a la posición de ciertas palabras o
mediante la puntuación. En lógica la agrupación se indica por medio de paréntesis. Ejemplo:

O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo, se refugiaron

en las montañas. Este texto se simboliza de la siguiente forma:

P : Los soldados encontraron cerrado el paso.

Q : Los soldados temieron un ataque enemigo.

R : Los soldados se refugiaron en las montañas.

La proposición compuesta es:

la cual tiene un sentido distinto de la proposición

Cuando no hay lugar a ambigüedades, pueden omitirse los paréntesis y se adopta una
convención con respecto a la dominancia relativa de los diversos conectivos. La convención
es:

y dominan a y .

Así: significa

significa .
Con esta convención no está claro lo que significa por ejemplo:

ó .

Aquí es necesario usar paréntesis para aclarar, en el primer caso, si se trata de

ó .

y en el segundo caso, diferenciar entre

y .

2.3.2 Signos definidos

En adelante, designaremos también a las proposiciones con el nombre de fórmulas, término

más usado para las proposiciones matemáticas.

Una vez establecidas las reglas de formación para fórmulas se pueden introducir
abreviaciones con el fin de simplificar la escritura. Estas abreviaciones son el objeto de las
definiciones matemáticas.

Definición: Sean R y S fórmulas, entonces:

• La fórmula ¬ ¬
( R ¬ S) se denota abreviadamente como R S y se llama conjunción
lógica de R y S, la cual se lee "R y S".

• La fórmula ¬ R S se denota como y se llama condicional de R y S. La figura

lógica del condicional, responde a conectar dos proposiciones mediante el esquema "si ....,
entonces ...". Para leer una proposición de la forma , se puede usar alguna de las
siguientes expresiones:

Si R entonces S.

R es suficiente para S.

S es necesario para R.

S siempre que R.

R sólo si S.

A la fórmula R se le llama antecedente , y a la fórmula S consecuente . Cuando el

condicional es lógicamente verdadero se dice que existe implicación y en este caso se lee la
expresión como:

R implica S

la cual se denota:
• La fórmula ( )^( ) se denota por y se llama bicondicional de R y S.
Esta expresión se puede leer como:

R si y sólo si S

R es suficiente y necesario para S.

Cuando el bicondicional es lógicamente verdadero, se dice que hay equivalencia . En este

caso, se lee:

R equivale a S

y se denota:

Nota: Los criterios para decidir sobre la verdad del condicional y el bicondicional se verán
mas adelante.

2.3.3 Ejercicios propuestos 2.3

 Simbolizar completamente las proposiciones siguientes, utilizando los símbolos

correspondientes a cada término de enlace. Indicar las proposiciones simples
sustituidas por cada letra mayúscula.
1. En el hemisferio sur, julio no es un mes de verano.
2. Si dos pulsaciones se atraviesan, continúan conservando la forma original.
3. O Jaime no es puntual o Tomás llega tarde.
4. Ni Antonio ni Ana estudian en la Universidad.
5. O Pedro es presidente y Juan es tesorero, o Jaime es tesorero.
6. Si este cuadro es negro entonces aquel cuadro es rojo y su rey está sobre el
cuadro rojo.
7. A la vez si este cuadro es negro entonces aquel cuadro es rojo y su rey está
sobre el cuadro rojo.
8. Patinaremos si y sólo si el hielo no es demasiado delgado.

 Si P , Q , R , S designan las proposiciones:

P: Juan viajó en el avión de las 8 a.m.

Q: Pedro llegó a tiempo al aeropuerto.

R: El proyecto se expuso ante la junta directiva.

S: El vuelo se retrasó

Expresar en el lenguaje ordinario las siguientes proposiciones:

•
•

Analizar cuáles de ellas tienen el mismo significado.

2.4 Tablas de verdad

2.4.1 Interpretación en el lenguaje ordinario

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos,
¬,
como: no, o, y, si ... entonces, si y sólo si, respectivamente. La interpretación corresponde al
sentido que estas operaciones tienen dentro del razonamiento.

Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción
lógico matemática. En consecuencia, las tablas de verdad constituyen un método de
decisión para chequear si una proposición es o no un teorema.

Para la construcción de la tabla se asignará el valor 1 (uno) a una proposición verdadera y 0

(cero) a una proposición falsa.

Negación: El valor de verdad de la negación es el contrario de la proposición negada.

Disyunción: La disyunción solamente es falsa si lo son sus dos componentes.

Conjunción: Solamente si las componentes de la conjunción son verdaderas, la conjunción es
verdadera.

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el

consecuente es falso.

Bicondicional: El bicondicional solamente es verdadero si sus componentes tienen el mismo

valor de verdad.

Nota: Con respecto a la proposición condicional es importante hacer notar que este tipo de
enunciado lo único que dice es que cuando se da el antecedente tiene que darse el
consecuente, si esto no ocurre no se obliga a nada, es decir, el consecuente puede o no
darse.

Se denomina tautología una proposición que es verdadera para cualquier valor de verdad de
sus componentes. Por tanto, la última columna de su tabla de verdad estará formada
únicamente por unos.

Contradicción es la negación de una tautología, luego es una proposición falsa cualquiera sea
el valor de verdad de sus componentes. La última columna de la tabla de verdad de una
contradicción estará formada únicamente por ceros.

2.4.2 Ejercicios propuestos 2.4

1. Sean P, Q, R y S fórmulas. Si se sabe únicamente que P es verdadero, ¿qué puede afirmarse

del valor de verdad de cada una de las proposiciones siguientes?
2. ¿Qué puede concluirse de cada una de las proposiciones anteriores, en los siguientes casos?

• Si P es falsa.

• Si P es falsa, Q verdadera y R verdadera.

3. Sean P, Q y R fórmulas, entonces:

• Si es falsa y P es falsa; ¿Qué puede afirmarse de R y de Q ?

• Si es verdadera y P es falsa; ¿Qué puede afirmarse de Q ?

• Si es falsa; ¿Qué puede afirmarse de P, Q y R ?

• Si es falsa; ¿Qué puede afirmarse de P, Q y R ?

• Si es verdadera; ¿Qué puede afirmarse de P, Q y R ?

4. Sean P, Q y R fórmulas. Determinar cuáles de las siguientes proposiciones son tautologías:

5. Con relación al ejercicio 2.2, 2; analizar el valor de verdad de cada una de las
proposiciones, bajo las siguientes condiciones:

1. P es verdadera, Q es falsa.
2. P es falsa, Q es falsa
3. P es verdadera, S es verdadera.
4. Q es falsa, S es verdadera.
5. P es verdadera, R es verdadera
6. R es verdadera.
6. Con relación al ejercicio 2.2, 2; asumiendo que la proposición en cada numeral es falsa,
que puede concluir en cada caso de las proposiciones P , Q , R y S ?

2.5 Implicaciones asociadas a

Considerando como implicación directa, están asociadas las siguientes implicaciones:

llamada implicación recíproca .

llamada implicación contrarrecíproca .

llamada implicación contraria .

Ejercicios propuestos 2.5

1. Para cada enunciado escriba su recíproco, contrario y su contrarrecíproco.

• Si una figura plana es un cuadrado, entonces es un rombo.

• Si una figura plana es un cuadrado, entonces es un rectángulo.

• Si una figura plana es un rectángulo, entonces es un paralelogramo.

• Si una figura plana es un rombo, entonces sus diagonales son perpendiculares.

• Si un triángulo tiene dos ángulos iguales, entonces es isósceles.

• Si una función es derivable en un punto, entonces es continua en dicho punto.

• Si un triángulo es equilátero, entonces, es isósceles.

• Si un triángulo es rectángulo, entonces, tiene dos ángulos agudos.

• Si dos rectas distintas son paralelas, entonces, su intersección es el conjunto vacío.

2. ¿Con relación al ejercicio anterior, que puede observarse sobre el valor de verdad de los
respectivos recíproco, contrario y contrarrecíproco respecto de la implicación principal?