Está en la página 1de 34

Curso Remedial de Matemticas

Unida 1. Lgica

1.1. Introduccin

En el lenguaje cotidiano las expresiones adolecen de poder tener distintos significados, cosa
que hace interesante a la literatura, sin embargo, en matemticas: no es posible que cada
quien le d un significado distinto a expresiones como si x es mayor que 3, entonces x es
mayor que 2.

Con la intencin de, en la medida de lo posible, darle exactitud al discurso, el estudio de los
procesos lgicos cobra inters. Tambin es necesario distinguir entre argumentos vlidos e
invlidos. Recordar que matemticas as como la ciencia, la actividad demostrativa juega
un papel importante.

1.2. Proposiciones lgicas y conectivos

Para el propsito de que una tenga la propiedad de ser falsa o verdadera y slo una de estas
posibilidades se llamar PROPOSICIN LGICA.

Si una proposicin lgica es verdadera se dir que su valor de verdad es V y, si es falsa, su
valor de verdad es F.

El cmo asignar valor de verdad a una frase puede ser muy complicado, y siempre se
asignar en un contexto que, al cambiar, puede alterar el valor de verdad de la frase o de
plano perder la propiedad de tener un valor de verdad.

La frase Viva Mxico!, al interrogarse de si es verdadera o falsa, intuitivamente, se
encontrar que no es ninguna de las dos cosas. Se puede concluir que dicha frase no es
proposicin lgica, es ms, no lo es en cualquier contexto, ya que esta frase, no afirma algo
de un sujeto.

Ahora ver las siguientes proposiciones lgicas:

a). 1 + 1 = 2
b). La suma de nmeros enteros es un numero entero.
b). 3 es mayor que 2.
d). 4 es un nmero negativo.
e). est lloviendo ahora en la Plaza Roja de Mosc.
Es claro que todas ellas s tienen un valor de verdad; es ms, se puede informar que las tres
primeras son verdaderas y la penltima es falsa. Resumiendo: a), b) y c) tienen valor de V y
d) tiene valor de verdad F. La proposicin e) es una proposicin lgica a pesar de no poder
decidir su valor de verdad (desde C.U. y sin la magia de la comunicacin).

Analizar las siguientes proposiciones lgicas:
a). 3 y 2 son nmeros enteros.
b). Mxico y Guatemala son pases centroamericanos.
c). 3 + 1 = 4 y 2 + 2 = 4.

Notar que se tienen una forma comn:

() y (),

Donde los parntesis (.) representan proposiciones lgicas. Las proposiciones lgicas
a), b) y c) escritas en esta forma quedan:

a). 3 es un nmero entero y 2 es nmero entero.
b). Mxico es pas centroamericano y Guatemala es pas centroamericano.
c). 3 + 1 = 4 y 2 + 2 = 4

Definicin 1.2.1. Si una proposicin lgica se puede llevar a la forma (PROPOSICIN) y
(PROPOSICIN), a tal proposicin se llama conjuncin.

Definicin 1.2.2. Cuando proposicin se puede llevar a la forma: (PROPOSICIN) o
(PROPOSICIN), a dicha proposicin se le llamar disyuncin.

Definicin 1.2.3. Si una proposicin lgica se puede escribir en la forma: Si
(PROPOSICIN), entonces (PROPOSICIN), a tal proposicin se le llamar implicacin
o condicional.

Es conveniente saber que la proposicin condicional si p entonces q, tambin se puede
escribir como: q si p, p implica q, p slo si q, p es suficiente para q, q es necesaria para p y
q siempre que p.

Definicin 1.2.4. Se llamarnegacin a la proposicin que tenga la forma:

Es falso que (PROPOSICIN).

Ejemplos:

a). Si est lloviendo me mojar (condicional).
b). Juan es electrnico y Pedro tambin (conjuncin).
c). El da de maana ser lluvioso o caluroso (disyuncin).
d). 3 o 2 son mayores que 1 (disyuncin).
e). No es posible que exista transporte barato y cmodo (negacin).
f). Slo estudiando aprobar el curso (implicacin).}

En las proposiciones de tipo disyuncin, conjuncin e implicacin, participan dos
proposiciones. En las disyunciones y conjunciones es indistinto donde se coloquen tales
proposiciones; sin embargo, en la implicacin no. As:

si llueve me mojo

Cambia radicalmente si se transforma en: si me mojo, entonces llueve.

Para distinguir el diferente papel que juegan las dos proposiciones que forman la
implicacin, se tiene:

Definicin 1.2.5. En una implicacin se llamar antecedente a la proposicin colocada
entre si y entonces y consecuente a la proposicin colocada despus de entonces.

Ejemplos:

a). Es condicin suficiente para que Avelino vuele, ser poeta.
b). Jaime podr adelgazar si deja de comer.

Las proposiciones a y b son condicionales ya que se pueden escribir, teniendo exactamente
el mismo significado, de la forma:

a). Si Avelino es poeta, entonces Avelino vuela.
b). Si Jaime deja de comer, entonces Jaime podr adelgazar.

Ya escritas as se podr distinguir claramente el antecedente y el consecuente.

Finalmente, a las siguientes partculas: Y, o, si entonces, es falso que, se les agrupa
con el nombre de conectivos lgicos. Tambin a partir de ahora, se debe de escribir
simplemente proposicin en vez de proposicin lgica.

1.3. Tablas de verdad y equivalencias
Se plantean las siguientes preguntas:
Es posible que una conjuncin sea verdadera si alguna de las proposiciones que la forman
es falsa?

Bajo que condiciones de las proposiciones inmersas en una conjuncin, est podr ser
falsa?

Para dar luz acerca de estas preguntas, se dan las siguientes definiciones:

Definicin 1.3.1. Una conjuncin es verdadera cuando y solo cuando las dos proposiciones
que la forman son verdaderas.

Anlogas preguntas podran plantearse respecto a la disyuncin a la negacin. Para esto:

Definicin 1.3.2. Una disyuncin es verdadera, cuando y solo cuando, alguna de las
proposiciones que la forman es verdadera.

Definicin 1.3.3. Una negacin es verdadera si y solo si la proposicin negada es falsa.

Ahora bien, Qu pasa con la implicacin?

Ver las siguientes proposiciones:

Si dos es par, entonces 3 + 2 es impar.
Siempre que dos es par, 3 + 2 es impar.
No ocurre que: dos sea par y 3 + 2 no sea impar.

Intuitivamente se puede aceptar que las tres proposiciones dicen lo mismo, es decir, se esta
aceptando que:

Una implicacin es la negacin de una conjuncin.

As que una implicacin es verdadera si tal conjuncin es falsa. Pero la tal conjuncin esta
constituida por el antecedente y la negacin del consecuente de la implicacin; as la
conjuncin ser falsa si el antecedente es falso o el consecuente es verdadero. En resumen:

Definicin 1.3.4. Una implicacin es verdadera en cualquiera de los dos casos siguientes:

y El consecuente es verdadero.
y El antecedente es falso.

Observando estas condiciones, se nota que la nica posibilidad que no se incluye es cuando
el antecedente es verdadero y el consecuente es falso. Una manera de recordar esta
conclusin es usando la siguiente afirmacin:

Nunca una verdad implica una falsedad.


En lo que sigue se adoptan formas simblicas para las proposiciones. As las letras p, q, r, s
t; simbolizan proposiciones de la siguiente forma:

y o
y o
y o o
y o
Ahora, si existe una proposicin de forma simblica, se trata de sacar informacin acerca
del comportamiento de su valor de verdad; para esto se listan las combinaciones posibles en
que aparezcan los valores de verdad de las proposiciones que forman tal proposicin.

Por ejemplo:



Tiene cuatro posibles combinaciones a saber:

a.1) p verdadera y q verdadera.
a.2) p falsa y q verdadera.
a.3) p verdadera y q falsa.
a.4) p falsa y q falsa.

En cada uno de estos casos cada combinacin determina un valor de verdad para
(Claro,uno de los dos posibles, F o V).

En seguida se ilustra una forma de listar las combinaciones de valores de verdad, as como
sus consecuencias en el valor de verdad de la proposicin total.

P q

V V F V
F V V F
V F F V
F F F V

A tal lista se le llama tabla de verdad de la proposicin.

Ahora observe la siguiente proposicin:

Pedro es carpintero o no lo es

Tiene la forma simblica donde p simboliza la proposicin Pedro es carpintero.
Su tabla de verdad es:

p
V F V
F V V

Es decir, , sea como sea p, siempre es verdadera; su verdad no depende de quien sea
p, sino de la forma que tiene la proposicin.

Una tcnica con la que se sabe cundo una proposicin es verdadera por su forma seria:
Escribir la proposicin en forma simblica; construir su tabla de verdad y si en la ltima
columna de esta slo aparece V, entonces tal proposicin es verdadera por su forma

Definicin 1.3.5. Las proposiciones lgicas que son verdaderas por su forma son llamadas
tautologas.

Es importante tener en mente las principales formas simblicas que dan lugar a tautologas.
Observe las siguientes parejas de proposiciones:
a) Ni Pedro ni Juan son matemticos.
b) Es falso que pedro o Juan sean matemticos
Observe que dicen lo mismo; sin embargo es necesario tener un mtodo ms seguro que la
intuicin, para asegurar que dos proposiciones dicen lo mismo. Para esto note que, si dos
proposiciones tienen igual contenido, no puede suceder que una de ellas sea falsa y la otra
verdadera, as que deben cumplir que ambas son falsas. Para continuar con esto analice lo
siguiente:


El estudiante puede estudiar sin lugar a dudas que esta proposicin es falsa si p y q no
coinciden en sus valores de verdad. Con esto se justifica lo siguiente:

Definicin 1.3.6. Dos proposiciones p y q son equivalentes (tienen el mismo contenido) si:



es tautologa .

Se simboliza a p y q que son equivalentes escribiendo:

Nota1: se simboliza como: y se lee: p si y slo si q
A este tipo de proposiciones se le llama bicondicionales.

Nota 2: Salinas fue un piesiuente muy honiauo.
Es una bicondicional verdadera, evidentemente aunque, no es tautologa.Por qu?

Nota 3: La proposicin
Si don prospero Torres es dueo de una parcela, entonces voto por el tricolor.

Es de la forma , donde p: Don Prspero Torres es dueo de una parcela y q Don
Prspero Torres vot por el tricolor y es equivalente a su contra recproca



Si don Prspero Torres no vota por el tricolor entonces no ser dueo de una parcela
Es de la forma , donde p: Don Prspero Torres es dueo de una parcela y q Don
Prspero Torres vot por el tricolor y es equivalente a su contra recproca



Si Don Prspero Torres no vota por el tricolor entonces no ser dueo de una parcela
La misma proposicin se puede escribir como:
Es necesario que don Prspero Torres vote por el tricolor para que sea dueo de una
parcela.

Por otro lado se sabe que don Prspero Torres sigue gritando:Yo soy campesino y no
tengo tierra, y eso que ha votado por el tricolor, es decir, q es condicin necesaria pero no
suficiente para que ocurra p.

As, en general, una bicondicional, , suele leerse p es condicin necesaria y
suficiente para qo q es condicin necesaria y suficiente para p (al fin y al cabo son
equivalentes .

Ejercicios:
1. Cules de las siguientes frases son proposiciones lgicas?
a) Come o fuma?
b) 3 es mayor que cuatro
c) Come o fuma!
d) Todos los tringulos son equilteros

2. Clasifique las siguientes preposiciones de acuerdo a nuestras definiciones, en las
negaciones aclare cuales son las proposiciones negadas:

a) El carro de pedro es tan bueno como el de Juan
b) Aunque 3 no es par , si es primo
c) Es falso que la natalidad disminuya en los pases pobres.
d) Solo si David trabaja podr dejar el vicio.
e) Es falso que todo tringulo es equiltero y es escaleno, pero es verdad que algunos
tringulos son equilteros y otros no.

3. En las siguientes condicionales diga cul es el antecedente y cual es consecuente:

a) Queda claro que siempre que pedro ha resuelto problemas, Luis se los ha copiado.
b) Resulta que si usas automvil, inmediatamente tienes problemas cardiacos.
c) Al menos cada vez que tu maestro me ha explicado el tema de funciones, a m no
me ha quedado claro.

4. Denote con S la proposicin yo estudio, y con P la proposicin yo pasar el
curso. Exprese simblicamente las siguientes proposiciones;

a) No estudio
b) Pasare el curso solamente si estudio
c) Estudio o no pasare el curso
d) Ni estudio ni pasar el curso
e) Pasare el curso si y solamente si estudio.

5. Suponga que l es la proposicin La lgica es fcil y que m es la proposicin Las
matemticas son fciles. Exprese con palabras las siguientes proposiciones:

a)
b)
c)
d)
e)

6. Calcule el valor de verdad de las siguientes proposiciones suponga que p es
verdadera y q es falsa:

a)
b) )
c)
d)
e)

7. Calcule el valor de verdad de las siguientes proposiciones, usando los
conocimientos matemticos utilizados hasta ahora.

a) 3 es mayor que 2 o 3 es igual a 2.
b) Si 2 fuera mayor que 4, entonces 3 sera igual a 2.
c) Si 3 fuera par, 3+2 tambin lo sera
d) Es falso que: 8 y 2 son impares


8. Cul de las siguientes formas da lugar a tautologas?

a)
b)
c)

9. Cul de los siguientes pares de proposiciones son equivalentes?

a) Ni 3 ni 7 son pares. Es falso que: 3 o 7 son pares.
b) 3 es par pero 7 es impar
c) Solo s lavas los platos vas al cine. Si lavas los platos vas al cine

1.4. Cuantificadores.

Analice el siguiente ejemplo:
a) Todos los automviles son enfriados por agua,
b) Hay mujeres solteras,
c) Algn estudiante de la BUAP es millonario.
Estas preposiciones tienen en comn que son afirmaciones acerca de un conglomerado o
conjunto de objetos. As, la primera es una afirmacin sobre un conjunto de automviles, la
segunda sobre el conjunto de mujeres, etc.

As pues, para concluir que el primer ejemplo es verdadera la proposicin, sera slo
cuando hubiera investigado todo y cada uno de los automviles y adems se conozca que
todos y cada uno de ellos efectivamente son enfriados por agua. Se sabe que existe un
automvil de conocida marca que no es enfriado por agua; entonces se concluye que lo
proposicin es falsa.

Si ahora se dice que:
o

caua uno paia caua para todo.

x peitenece a U

La proposicin a) queda simblicamente como:

.

Es ms, si p(x)simboliza :x es enfriado por agua, la proposicin quedara:









Las proposiciones del tipo:


Son verdaderas si la frase p(x) se convierte en una proposicin verdadera cada vez que x sea
remplazada por cualquier elemento de U y falsa en caso contrario.

Ejemplos:

1. Todos los msicos son gente alegre.
En forma simblica queda:



Donde U denota el conjunto de los seres humanos y

p(x) la frase: x es msico, y
q(x) la frase: x es alegre.

2. Todas las personas que no son alegres no son msicos
En forma simblica queda:

3. Dado cualquier nmero real, siempre existe un nmero entero mayor que l.

Si representa al conjunto de los nmeros reales y al de los enteros, se puede
escribir esta proposicin del modo siguiente:

4. Todo nmero natural es mayor que cero.

Esta proposicin se puede escribir en forma simblica de dos formas diferentes,
segn sea el conjunto universal seleccionado: o
bien: .

Donde es el conjunto de los nmeros naturales y el smbolo>, significa Mayor
que.
Para negar una proposicin, es suficiente con anteponer la frase es falso que. Lo mismo
es vlido para el tipo de proposiciones que se est estudiando. As, por ejemplo:

Todo nmero natural es mayor que cero.

Su negacin:

Es falso que: Todo nmero natural es mayor que cero.

Sin embargo es til tener formas equivalentes de estas proposiciones. Recordar que
siempre que:


Es verdadera, significar que p(a) es verdadera para cada elemento a de U, es decir,
es falsa para todo elemento a de U, o sea que es falsa la proposicin:



En los siguientes ejemplos se explican tipos de proposiciones en las que el cuantificador
noest explcito.
1. Ningn nmero al cuadrado es negativo.

Esta proposicin, se puede escribir de la siguiente forma:

No existe nmero que elevado al cuadrado sea negativo

O tambin:

Todo nmero cumple que, elevado al cuadrado, no es negativo

De forma esquemtica se puede decir que si una proposicin tiene la forma:


sta, en realidad es la proposicin universal:



As, el ejemplo se escribe en forma esquemtica como:



Donde es el conjunto de los nmeros y < se lee como Es menor que

2. Un nmero par es divisible por 2

Aqu no est explcito el cuantificador, pero si se escribe la proposicin en la forma
siguiente:

Para todo nmero se cumple que si l es par, entonces es divisible por 2.


Ejercicios

1. Determine cules de las siguientes proposiciones son del tipo
o , precisando el conjunto universal y la proposicin
abierta p(x), y exprselas simblicamente.

Cualquier da es bueno para estudiar.
Cualquier hombre, si trabaja, se agota.
Algn tringulo puede ser equiltero y no tener los tres lados iguales.
Puede haber dos rectas no paralelas que se corten en ms de un punto.
Algunos nmeros naturales son positivos.
Para cualquier nmero positivo, hay un natural que es mayor que l.
Nunca sucede que el cuadrado de un entero sea 1/3.

2. Determine el valor de verdad de las siguientes proposiciones:

a) Todo estudiante de esta facultad naci en puebla.
b) Todo entero es par y primo.
c) Si un nmero es par, al sumarle uno se vuelve impar.
d) Si U= {1,2,3,4,5,6,7,8,10}, .

3. Demuestre que los siguientes pares de proposiciones son equivalentes.

a) Todas las personas oyen consejo, o no llegan a viejos. Cada persona que oye
consejo llega a viejo
b)



4. Demuestre que las siguientes parejas de proposiciones, una es la negacin de otra.

a) Todas las funciones continuas son integrales.
Existe una funcin continua no es integrable.

b) Todos los seres vivos estn en peligro de morir.
Algn ser vivo no est en peligro de morir.

1.5. Razonamiento

En el lenguaje cotidiano la palabra razonamiento suele usarse para indicar una actividad o
proceso del pensamiento en el que se exponen razones sobre las que se basa la veracidad o
falsedad de una proposicin.

En un razonamiento, la conclusin es la proposicin sobre la que se afirma su veracidad o
falsedad, basndose en las otras proposiciones del razonamiento que son las premisas. Por
ejemplo:

Todos los animales son mortales
Todos los hombres son animales
Por lo tanto: Todos los hombres son mortales.
Se pretende que las premisas puedan concluir con seguridad algo

Definicin 1.5.1: Razonamiento es una implicacin en donde el antecedente es una
conjuncin de un nmero finito de proposiciones, llamadas premisas del razonamiento; el
consecuente es llamado la conclusin del razonamiento. Lgicamente un razonamiento es
una implicacin de la forma:


o


Ejemplos:

1. Si Jaime deja de comer pan, adelgazar.
Jaime no ha adelgazado_____________
Jaime no ha dejado de comer pan.

2. Toda guila vuela.
Guillermo no es guila
Guillermo no vuela

3. Todos los perros son mamferos
Pedro no es perro_____________
Pedro no es mamfero.


Definicin 1.5.2.Sean P1, P2Pn las premisas de un razonamiento y p su conclusin. El
razonamiento es correcto o vlido si

es tautologa.


Ejemplos:
1. Si un razonamiento es de la forma:




El razonamiento es vlido, ya que si P
1
y P
2
son verdaderas y p falsa, se tendra que
existe es falsa, o sea verdadera y ; pero
debe ser verdadera y como es falsa, esto solo puede ser si
es falsa, pero como es verdadera, resulta falsa, que no es lo que
se tena antes, as que resulta imposible que las premisas sean verdaderas la
conclusin es falsa.

2. El razonamiento:





Es correcto aunque las premisas y la conclusin sean falsas. Es un razonamiento de
la forma del ejemplo anterior. Para comprobarlo bastar tomar a: U = conjunto de
animales.

p(x) : x es un tiburn.
q(x) : x es un cuadrpedo.
r(x) : x tiene alas.


Ejercicios
1. De las siguientes premisas, trate de obtener conclusiones correctas:

a) Si compro un coche nuevo tendr que hacer pagos.
Compre un coche nuevo.

b) Si salgo de mi casa ir al cine.
No fui al cine

2. Probar que las siguientes formas de razonamiento son reglas de inferencia:


a)


b)

c)







d)



e)


f)









3. Averige si son reglas de inferencia las siguientes formas (en el caso de no ser
reglas de inferencias, construir un razonamiento que tenga su forma, pero que tenga
premisas verdaderas y conclusin falsa):

a)


b)

c)







d)



e)


f)









1.6. Mtodos de demostracin

Histricamente el hombre ha tenido la necesidad de comprobar que ciertas afirmaciones
son verdaderas o falsas:

Es la Tierra el centro del Universo?
Est toda la materia formada por partculas elementales?
Comen los leones carne de venado?

Para responder estas interrogantes, el hombre tuvo primero que conocer el valor de verdad
de otras proposiciones para, a partir de ellas, deducir el valor de verdad de las
proposiciones originalmente planteadas.

En el proceso de probar o demostrar la veracidad de una proposicin a partir de otras cuya
veracidad es conocida, el hombre descubri que haba un momento en que no era posible
comprobar la veracidad de cierto tipo de proposiciones y por esta razn alguna de ellas las
acept como verdaderas. A este tipo de proposiciones se les denomina Axiomas, mientras
que las proposiciones verdaderas que son deducidas a partir de proposiciones cuya
veracidad es conocida o aceptada, se les denomina teoremas.

Una demostracin depende esencialmente de los razonamientos vlidos y los axiomas
aceptados.

1.6.1. Demostraciones directas

Dada una proposicin t; se quiere demostrar que es verdadera. Una demostracin directa de
la proposicin t, consistir en construir un razonamiento valido donde t sea la conclusin y
todas sus premisas verdaderas, y as poder concluir que t ser verdadera.

Ejemplo:
1. Demostrar la proposicin

t: Si n es un entero par, entonces n
2
es entero par.

Sea U el conjunto de todos los enteros. Si p(x) es la proposicin abierta: si x es un
entero par, entonces x
2
es entero par, t simblicamente es:



Para demostrar que es verdadera, hay que demostrar que, para



es
una proposicin verdadera. Si



y q es

, se puede construir el siguiente razonamiento, donde las


premisas se sabe de antemano que son verdaderas.





Donde:



Este razonamiento es de la forma:



Esto justifica que es verdadera, por tanto, t es verdadera.


1.6.2. Demostraciones indirectas

Si se logra demostrar que una proposicin equivalente a t es verdadera, se demuestra
indirectamente que t es verdadera.

Por ejemplo, puede demostrarse indirectamente una proposicin de la forma ,
demostrando su contrarrecproca . Este mtodo se llama mtodo de
demostracin por contraposicin.

Otra forma indirecta de demostrar es la siguiente: dada t una proposicin, si se demuestra
que es falsa, indirectamente se demostrar que t es verdadera.

Demostrar que es falsa se puede hacer de la siguiente forma: Demostrar que una
proposicin de la forma:


Es verdadera y si se aseguraque s es falsa (por ejemplo si s es una contradiccin), esto
justificar que t es verdadera. Esta manera de demostrar se conoce como reduccin al
absurdo o por contradiccin.

Ejemplo:
1. Demostrar por contradiccin la proposicin



Para ello demostrar una proposicin de la forma:




He aqu el razonamiento construido en esta ocasin:






1.6.3 Ejemplos y contraejemplos

A veces se requiere probar que una afirmacin del tipo:



Es falsa. Para hacerlo basta probar que su negacin,



Es verdadera. En otras palabras, Para comprobar la falsedad de una proposicin:
, basta encontrar algn

, elemento de U, para el cual



A este mtodo se le denomina demostraciones por contraejemplo.

Anlogamente, si se requiere demostrar que una afirmacin del tipo



Es verdadera, bastar encontrar un elemento

de U tal que p(

) es verdadera. Es decir, x
0

es un ejemplo que demuestra la proposicin en cuestin. Atencin!: con un ejemplo solo
se puede demostrar proposiciones existenciales, esto no vale para una proposicin
universal.

Ejemplo:

1. Comprobar que la proposicin

es falsa.

Ver que existe un real

es falso.

la proposicin


es falsa.

Ejercicios

1. Demuestre directamente que:
a)
b)
2. Demuestre que por contraposicin que:
a)
b)

3. Demuestre por contradiccin:

a) y .

4. Demuestre por contraejemplo la falsedad del siguiente ejercicio:

a)






b) Para cualquier



5. Demuestre las siguientes preposiciones:

a)


b)


c)




Unidad 2. Conjuntos
2.1. Introduccin

Se comienza hablar de conjuntos para tratar de ponerse de acuerdo acerca de lo que se va a
entender por conjunto. El cual no es ms que una reunin de objetos, no se est
caracterizando los conjuntos sino solo dando una idea, la idea de que un conjunto es algo
que tiene objetos, algo que tiene elementos.

Se puede hablar por ejemplo del conjunto de rboles de Mineral del Monte, del conjunto de
coches estacionados en el patio de una escuela, del conjunto de montaas de Hidalgo, el
conjunto formado por los nmeros 2, 4, 6, 8 y 10; del conjunto de nuestros parientes, del
conjunto de los libros de una biblioteca, del conjunto de las bibliotecas de Hidalgo, del
conjunto de rectas de un plano que pasan por un punto dado, del conjunto de factores que
influyen en un problema, del conjunto de factores que permiten resolver ese problema con
respecto a un modelo.

En la mayora de estos conjuntos hay una relacin clara entre sus elementos, en el sentido
de que existe una propiedad comn que los define. Por ejemplo todos los elementos del
conjunto de rboles de Mineral del Monte, tienen esa propiedad comn, la de ser arboles de
Mineral del Monte.

Cada vez que se dice el conjunto de objetos con cierta propiedad, aparte de hacer
mencin de alguna caracterstica particular de los elementos del conjunto, parece que se
est hablando de un conjunto bien definido en el sentido de que se pueden conocer cules
son sus elementos y cules no lo son.

Un ejemplo de un conjunto del que no se puedenconocer sus elementos es el siguiente: El
conjunto de los diez mejores msicos del mundo; son los mejores, Segn quin? El
problema que se presenta en este tipo de conjuntos puede subsanarse fcilmente si se
ponen de acuerdo en los criterios de calificacin de los objetos, por ejemplo en que un buen
msico es el que ha vendido ms de dos millones de discos y que los diez mejores msicos
son los diez primeros que lo logren, entonces se desvanece el problema en este ejemplo en
particular. Sin embargo, el determinar los elementos de un conjunto sabiendo que son los
que satisfacen cierta propiedad, sigue siendo complicado. Para ilustrar esta afirmacin,
construir un conjunto en el que ser ms difcil ponerse de acuerdo en un criterio que
permita definir bien el conjunto:

Se cuenta que en lejano
En general, un conjunto no est bien definido si hay ambigedad en relacin a los
elementos que lo componen.

En este intento por ponerse de acuerdo en lo que se entender por conjunto, se comienza
con la idea de que un conjunto es algo que tiene elementos. Centraremos la atencin en
aquellos conjuntos bien definidos, es decir, con la propiedad de que si para un objeto
cualquiera se pregunte pertenece al conjunto?, se puede dar una respuesta clara y segura:
si o no. Sin embargo aunque parezca extrao, resulta conveniente hablar acerca de
conjuntos sin elementos, de conjuntos vacos. Por ejemplo del conjunto de perros que
hablan, del conjunto de dinosaurios vivos que existen en Africam, del conjunto de las
personas de ms de doscientos aos de edad, del conjunto de los nmeros menores que 6
y mayores de 7.

A pesar de no tener elementos, estos conjuntos vacos satisfacen la propiedad
mencionada arriba, porque dado cualquier objeto, a la pregunta Pertenece al conjunto? Se
puede responder diciendo que no. Dichos conjuntos estn bien definidos en este sentido y
de hecho son distintas descripciones de un mismo conjunto sin elementos: El conjunto
vaco. Se Va a aceptar a este conjunto, como un conjunto y lo denotar por el smbolo
, o con el smbolo {}.

A los objetos que forman un conjunto, si los hay, se les llamar elementos de dicho
conjunto. Si A es un conjunto, la proposicin x es el elemento de A se denotar por
. La negacin de esta proposicin, es decir, la proposicin x no es elemento de A se
denotar por .

Note que pertenencia es una relacin que vincula cada elemento con un conjunto. Se
puede representar a un conjunto de dos maneras: diciendo explcitamente cules son sus
elementos, o enunciando alguna propiedad que caracteriza a esos elementos, es decir,
alguna propiedad que cumplan los elementos del conjunto, pero que solo ellos la cumplan.
Si B es el conjunto cuyos elementos son: Quertaro, San Luis Potos, Estado de Mxico,
Veracruz, B se puede describir diciendo: B es el conjunto de todos aquellos estados que
colindan con el estado de Hidalgo.

Si senumeran todos los elementos de un conjunto, se dice que se harepresentado por
extensin, mientras que si se enumera una propiedad definitoria de los elementos del
conjunto, se dice que est representado por comprensin. Convendr escribir entre llaves
a los elementos de un conjunto cuando est representado por extensin. As, el conjunto B
queda representado por extensin de la siguiente manera:

B = {Quertaro, San Luis Potos, Estado de Mxico, Veracruz}

La representacin por extensin es sumamente sencilla y no da lugar a ambigedades. Sin
embargo, no todos los conjuntos se pueden representar enumerando sus elementos. Por
ejemplo, si A es el conjunto de los enteros positivos, este conjunto no tiene una
representacin por extensin aunque algunos autores suelen representarlo de la siguiente
manera:

A = {1, 2, 3, 4, 5, 6, 7, 8,},

representacin que no es precisa, aunque en este caso da una idea de a qu conjunto se est
refiriendo.

Si H en un conjunto y p una propiedad que define a los elementos de H, suele escribirse:

H = {x | x tiene la propiedad p},

para indicar que H es el conjunto de todos los objetos x tales que x tiene la propiedad p
(la barra vertical |se lee: tal que). Hay que advertir que el smbolo x que hemos adoptado
para denotar los elementosde un conjunto, es enteramente arbitrario y que se pueda
emplear y, z, w, etc. Por ejemplo, si A es el conjunto de los nmeros naturales, se puede
escribir:
A = {y |y es un nmero natural},

o si B = {a, e, i, o, u}, entonces B se puede escribir por comprensin, as:

B = {w | w es una vocal del alfabeto espaol}.

Observar que puede ocurrir que algn elemento de un conjunto tambin sea un conjunto.
Por ejemplo, el conjunto

{1, {2, 3}, 4, {5, 6}}

Tiene cuatro elementos, dos de los cuales son conjuntos: {2, 3} y {5, 6}.

Los siguientes ejemplos muestran algunas de las caractersticas mencionadas antes.

Ejemplos:
1. El conjunto de nmeros naturales positivos que tienen la propiedad de que al
elevarlos al cubo nos dan un nmero menor que 100, tambin se puede escribir
como
{1, 2, 3, 4}.
2. Al conjunto
{n | n es un nmero entero y n
3
= n }

Tambin se puede escribir como {-1, 0, 1} O no?
3. Se podrn construir conjuntos A, B y C que tengan las propiedades:
? Un anlisis sencillo muestra que los conjuntos A = {1}, B = {{1}, 2} y C
= {1, {{1}, 2}, 3} satisfacen las propiedades solicitadas.

Ejercicios
1. Determinar cules de los siguientes conjuntos estn representados por extensin y
cules por comprensin.
a) A es el conjunto de todos los habitantes de Hidalgo.
b) B = {10, x, 3x}.
c) C es el conjunto de los nmeros naturales.
d) D es el conjunto de todos los nmeros naturales x tales que x > 5, x < 9 y x 7.
e) E = {x | x C, x es par, x> 5 y x< 9}.
f) F = {6, 8}.
g) G = { x | x es una recta del plano}.
h) H es el conjunto de todas las bibliotecas de Hidalgo.
i) I es el conjunto de todos los libros de todas las bibliotecas de Hidalgo.
j) J = {{ x | x C}, { x | x E}}.

2. Siguiendo con la notacin del ejercicio anterior, responda las siguientes preguntas.
a) Si x es un libro, Es cierto que xH?
b) La biblioteca Nicols Coprnico es un elemento de H?
c) Es cierto que 2 C.
3. Representar por extensin los conjuntos siguientes.
a) A = {x | x es natural y x
2
< 20}.
b) B = {x | x es natural, x > 1, x < 21 y x es impar}.
c) C = {x | x es entero y

}.
d) D = {x | x es natural y ( }.
e) E = {x | x es real y

}.


2. 2 Conjunto Universal

En la teora de conjuntos que se est desarrollando, se trabajar a veces con varios
conjuntos cuyos elementos son todos del mismo tipo, es decir, pertenecen todos al mismo
conglomerado de cosas, al que se llamarconjunto universal.
En el anlisis de una situacin particular, dicho conjunto universal U consta de todos los
elementos a los que se pueda referir esa situacin. Es algo as como la fuente de todos los
elementos que forman parte de los conjuntos sobre los que se va a trabajar en esta situacin
particular; el conjunto en donde tendrn sentido las propiedades que caracterizan a los
elementos de esos conjuntos.

El conjunto universal no es nico; depende del problema que se est considerando y puede
cambiar segn la situacin de que se trate. Sepuede elegirconvenientemente, a relativa
libertad. Por ejemplo, si los conjuntos a considerar son: los futbolistas, los beisbolistas, los
tenistas, los esquiadores y los nadadores, el universo ms adecuado es el de los deportistas,
aunque tambin servira el de los seres humanos.

Es comn usar diagramas para representar al conjunto universal U y a los conjuntos
formados con elementos de U. Al conjunto universal se le puede representar con un circulo
grande o con un rectngulo o alguna otra figura dentro de la cual se dibujen otras figuras
que representen a los dems conjuntos, como indicando con ello que todos los elementos de



A, B y C son conjuntos cuyos elementos estn en U.

A un diagrama de este tipo se le llama comnmente Diagrama de Venn


2.3. Subconjuntos

Dentro de un conjunto universal U pueden existir dos conjuntos A y B con la propiedad de
que todo elemento de A es un elemento de B, es decir, con la propiedad de que



es una proposicin verdadera.

Tal situacin se representara con un diagrama de Venn, por ejemplo as:







Ejemplo
1. Sea U el conjunto de letras del alfabeto espaol y sean y B el
conjunto de letras de la palabra murcilago. Escrito por extensin:


Los elementos de A son tambin elementos de B.
2. Sea U el conjunto de los seres vivos y sean A el conjunto de las personas mayores
de 18 aos y B el conjunto de los organismos pluricelulares. Cada elemento de A es
elemento de B O no?

Definicin 2.3.1. Suponer que A y B son conjuntos cuyos elementos estn en un conjunto
universal U. Decir que el conjunto A es subconjunto del conjunto B si todo elemento de A
es tambin elemento de B, es decir, si la proposicin



Es verdadea.
Denotar a la proposicin A es subconjunto de B como:



Algunas consecuencias sencillas de esta definicin son las siguientes:



a)
b)
c) Si entonces
d)

Demostracin:

a) Por hiptesis los elementos de A son elementos de U.
b) Es claro que la proposicin es verdadera y entonces
es verdadera.
c) Supongamos que son verdaderas. Esto significa que las dos
proposiciones siguientes son verdaderas


y


De esto se concluye que la proposicin


Es verdadera.

d) Si la proposicin es falsa y por lo tanto la implicacin
es verdadera.

Como esto es cierto para cualquier elemento x de U, la proposicin
es verdadera.

La proposicin de A no es subconjunto de B se acostumbra a escribir as:



es la negacin de , es decir, es equivalente a la proposicin.



Ejemplos:
1. Suponer que A = {1, 2} y B = {1, 2, 3}. Como ( es verdadera.
2. Supongamos que A= . Como ( es verdadera, es verdadera.


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

Definicin 2.4.1. Sean A y Bsubconjuntos de un conjunto universo U. Se dir que A y B son
iguales si es verdadera la proposicin:



Definicin 2.4.2. Sean A y B subconjuntos de U. Cuando son verdaderos,
se dir que A es un subconjunto propio de B.



A la proposicin A es un subconjunto propio de B.

Ejemplos:

1. Sea U el abecedario espaol. Sea B el conjunto de letras de la palabra caperucito y
Entonces es verdadera.
2. Sea U el conjunto de todos los libros, sea B el conjunto de libros de la biblioteca
Niels Bohr y sea C el conjunto de libros de Qumica de la misma biblioteca.
Entonces es verdadera, porque el libro Geometric Transformations I de I.
N. Yaglon no es de qumica y se dice que est en la biblioteca Niels Bohr.
3. En el ejemplo 3 de la seccin anterior

Ejercicios

1. Considere los siguientes conjuntos:




Diga cul o cules de estos conjuntos:

a) Son subconjuntos de P y de Q nicamente.
b) Son subconjuntos de R pero no de Q.
c) No son subconjuntos de R pero s de Q.
d) No son subconjuntos de P ni de R.
e) Son subconjuntos de todos.

2. Determine el conjunto S formado por los subconjuntos de ms de dos elementos del
conjunto Responda lo siguiente: El conjunto es subconjunto
de S? Fundamente su respuestas.

3. Colocar un signo = o segn corresponda:


a)


b)
c)


d)


e)



2.5. Construccin de nuevos conjuntos a partir de otros

SeaU un conjunto universal y donde p(x) es una proposicin abierta en
U. Es claro que A es subconjunto de U. Se puede formar un conjunto que conste de aquellos
elementos de U que no satisfacen p(x), es decir, para los cuales es verdadera. A este
conjunto se le llama el complemento del conjunto A en U. Se denota por A
C
.



A
C
es el conjunto de los elementos de U que no pertenecen al conjunto A.

Empleando los diagramas de Venn, se nota que si el universo U est representado por
todos los puntos que estn dentro de un rectngulo (o alguna otra figura) y A est
representado por los puntos que estn dentro de un crculo (por ejemplo) que est dentro del
rectngulo, entonces A
C
estar representado por los puntos que estn dentro del rectngulo
pero fuera del crculo.



Ejemplos:

1. Si entonces


2. Si entonces:



3. Sea U el conjunto de alumnos del curso de Clculo Diferencial que se imparte en la
Facultad de Ciencias Fsico-Matemticas. Si

o entonces

o

Algunas propiedades. Sea U un conjunto universal.

a) Todo conjunto A, subconjunto de U, (A
C
)
C
= A
b)


c)


d)



Definicin 2.5.1. Si A y B son subconjuntos de U, entonces

a) La unin de A y B es el subconjunto de U formado por aquellos elementos que estn
en A o bien estn en B. Se denota por:



b) La interseccin de A y B es el conjunto formado por los elementos de U que estn
en A y estn en B.



Si p(x) y q(x) son proposiciones abiertas en U tales que



Se tiene que:




Ejemplos:

1. Si entonces .
2. Si entonces


Propiedades A, B y subconjuntos de U, se tienen:

a)
b)
c)
d)
e)


f)


g)
h)

Las demostraciones se dejan como ejercicios, adems de que existen otras propiedades las
cuales se dejan como investigacin al educando.

Ejemplos:

1. Sean sobre el conjunto
universal
entonces

.

2. Sean A={1,3,5,7,9,11,13} y B={1,2,3,5,8,13,21} sobre el conjunto universal.
U={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,19,20,21, 22}, calcular


Para que el educando se familiarice con la unin, interseccin, complemento y diferencia
de conjuntos, se demuestran algunos teoremas que involucran estos conceptos. Sean U un
conjunto universo, y A y B subconjuntos de U.

1. Si
i)
ii)

Demostracin de i. Probar que suponiendo que Para ello hay que
demostrar que Si entonces pues Por lo tanto
Se ha probado




Para ii). Como suponiendo que Si o
Pero si As que Por lo tanto:


i

Ejercicios

1. Probar que si U es un conjunto universo,


2. Si A, B, C son subconjuntos cualesquiera de un conjunto universo U, probar que

3. Dados el conjunto universal y los conjuntos
determine:
a)


b)


c)


d)
4. Sean A un conjunto cualquiera en un conjunto universo U. Halle expresiones
diferentes para los conjuntos siguientes
a)
b)
c)
d)

5. Proponer tres conjuntos, H, J, K, que satisfagan las relaciones siguientes:
, (para auxiliarse puede usar
diagramas de Venn).