Mdulo de Matemticas

Material seleccionado por Mg. Ana Rubio Duca y Prof. Anala V. Gimenez.

Tema 1: Lgica y Conjuntos

La mayora de los estudiantes no se dan cuenta de que gran parte de la notacin algebraica
que se usa en los textos de lgebra tiene menos de 400 aos.
El ms grande matemtico francs del siglo XVI fue Franois Vite (1540-1603), abogado y
miembro del Parlamento, quien dedic la mayor parte de su tiempo libre a las matemticas.
Escribi muchas obras sobre lgebra, geometra y trigonometra, la mayora de las cuales
imprimi y distribuy por su propia cuenta. La obra ms famosa de Vite, In Artem,
hizo avanzar en forma signicativa la notacin algebraica. Antes del trabajo de Vite era
una prctica comn utilizar diferentes smbolos para representar varias potencias como x,
x2 ; x3 etctera. Vite, que saba escribir en latn, utiliz la misma letra calicada en forma
apropiada para estas potencias: x, x quadratum (cuadrado), x cubum (cubo), etctera.
Adems, extendi el uso de las letras del alfabeto para representar no slo las variables sino
tambin los coecientes constantes. La nueva notacin de Vite aclar las operaciones que
emplearon para construir una serie completa de trminos.
En este tema se presentan los conceptos fundamentales sobre lgica y conjuntos.

Enunciados y valor de verdad

Lgica: La lgica es la rama del conocimiento que trata los mtodos de razonamiento
mediante reglas y tcnicas, con el n de determinar si un argumento es vlido. El tema
que nos ocupa es el de la lgica usada en matemtica. Aqu trabajamos con elementos
bsicos llamados proposiciones.

Denicin 1: Proposiciones Una proposicin es un enunciado u oracin declarativa

de la cual se puede armar que es falsa o verdadera, pero no ambas cosas a la vez.

Denicin 2: Valor de verdad La veracidad o falsedad de una proposicin es lo que se

llama su valor de verdad.

N Ejemplo 1: Proposiciones La expresin la Tierra es redonda es una proposicin.

Puede notarse que su valor de verdad es verdadero, ya que se conoce con certeza que la
Tierra es redonda.H

N Ejemplo 2: Proposiciones y valor de verdad verdadero La expresin 2+3 = 5,

que se lee dos ms tres es igual a cinco, es una proposicin con valor de verdad verdadero,
ya que en el sistema numrico decimal (que usa el nmero 10 como referencia) se conoce con
certeza que 2 + 3 = 5.H

N Ejemplo 3: Proposiciones y valores de verdad La expresin 1 + 1 = 5, que se

lee uno ms uno es igual a cinco, es una proposicin con valor de verdad falso, ya que se
conoce con certeza que 1 + 1 6= 5 (6= se lee "diferente o distinto de").
Por qu la expresin 3 x = 5 es una oracin declarativa, pero no es una proposicin?
3 x = 5 no es una proposicin porque no sabemos su valor de verdad a menos que asignemos
un valor a la variable x. Si asignamos a x el valor 2, entonces 3 x = 5 se convierte en

1
una proposicin con valor de verdad verdadero, ya que 3 ( 2) = 3 + 2 = 5. Pero si le
asignamos el valor 6, por ejemplo, entonces 3 x = 5 se convierte en una proposicin con
valor de verdad falso, ya que 3 6 6= 5.
Por qu la expresin Habla usted espaol?no es una proposicin? La expresin, habla
usted espaol?no es una proposicin porque no es un enunciado declarativo sino interrog-
ativo.
Por qu la expresin tome dos aspirinas no es una proposicin? Porque se trata de un
enunciado imperativo, es una orden, no es un enunciado declarativo.H

Axiomas y Teoremas

Denicin 3: Axioma Un axioma o postulado es una proposicin inicial que se pre-

supone verdadera. El conjunto de postulados de los cuales se desprenden las dems proposi-
ciones de un sistema se llama conjunto de postulados del sistema. En ste, uno de los
axiomas no debe ser deducible de los otros.

N Ejemplo 4: Axiomas Uno de los postulados de la geometra euclidiana es el de la recta:

Dados dos puntos distintos cualesquiera, hay exactamente una recta que los contiene. Este
postulado o axioma forma parte de un conjunto de postulados del sistema que plantea la
geometra de Euclides.H

N Ejemplo 5: Axiomas En nuestro estudio de geometra aceptamos cierta la proposicin:

Dos rectas no pueden cortarse en ms de un punto. ste es otro ejemplo de los postulados
o axiomas sobre los que se apoya el sistema geomtrico euclidiano.H

La caracterstica bsica de un axioma es el hecho de ser independiente de otras proposiciones.

Denicin 4 Teorema Un teorema es cualquier proposicin que se desprende de otra

proposicin o proposiciones dadas por supuestas o previamente demostradas dentro del sis-
tema. As, un teorema es una proposicin cuya veracidad requiere ser demostrada a partir
de otras.

N Ejemplo 6: Teorema El teorema del tringulo issceles establece que si dos lados de
un tringulo son congruentes, entonces los ngulos opuestos a estos lados son congruentes.
Este teorema se demuestra a partir de otras proposiciones, entre las cuales se cuenta uno de
los postulados para congruencia de tringulos (lado-ngulo-lado, L]L).H

Proposiciones simples y compuestas

Sin pretender dar una denicin precisa de variable podemos armar que en matemtica se
usan las letra x, y, t, . . . para representar nmeros reales, y estas letras se llaman variables.
Las variables pueden combinarse mediante las operaciones corrientes para producir otras
expresiones variables ms complejas. En lgica, las letras p, q, r,. . . denotan variables que
pueden sustituirse con proposiciones.

N Ejemplo 7: Variables La variable proposicional p puede sustituirse con la proposicin

El sol brilla todo el da; en este caso:

p: El sol brilla todo el da

2
y la variable proposicional q puede reemplazarse con la proposicin Hace fro; aqu:

q: Hace fro H

Denicin 5: Conectivos lgicos Los conectivos lgicos son smbolos usados para
combinar proposiciones, con lo que se producen otras, llamadas proposiciones compues-
tas.
CONECTIVOS FUNDAMENTALES
Los conectivos que usamos son
negacin ^ conjuncin
_ conjuncin incluyente Y conjuncin incluyente
=) condicional () bicondicional
Negacin La negacin de una proposicin es una nueva proposicin que tiene un valor
de verdad opuesto, es decir, si p es verdadera, la negacin de p es falsa. Se denota con p
y se lee no p.

N Ejemplo 8: Negacin Si p: El ro est sucio, entonces

p: No es verdad que el ro est sucio

o simplemente:

p: El ro no est sucio.H

La caracterstica fundamental de la negacin es que es una proposicin cuyo valor de verdad es

contrario al valor de verdad de la proposicin dada. As, si la proposicin p es verdadera, entonces
p es falsa y viceversa.
Conjuncin La conjuncin es la proposicin compuesta que resulta de conectar dos
proposiciones p y q mediante la conjuncin (^). Esta proposicin se denota con p ^ q y se
lee p y q.

N Ejemplo 8: Conjuncin Si p: La silla es altay q: El mantel es blanco, entonces

la proposicin La silla es alta y el mantel es blancose expresa as: p ^ q.H
Es natural que el valor de verdad de una proposicin compuesta dependa de los valores
de verdad de las proposiciones simples que la forman. La caracterstica fundamental de la
conjuncin es que su valor de verdad es verdadero slo en el caso en que las proposiciones
simples que la forman tengan valor de verdad verdadero.
Disyuncin inclusiva La disyuncin inclusiva es la proposicin compuesta que resulta
de conectar dos proposiciones p y q mediante la disyuncin inclusiva (_). Esta proposicin
se representa p _ q y se lee p o q.

N Ejemplo 9: Disyuncin inclusiva Si p: Est lloviendo y q: 3 < 5, entonces la

proposicin Est lloviendo o 3 < 5se expresa p _ q.H
La caracterstica fundamental de la disyuncin inclusiva es que su valor de verdad es falso
slo en el caso en que las dos proposiciones simples que la forman tengan valor de verdad
falso. En todos los otros casos la disyuncin inclusiva tiene valor de verdad verdadero.
Disyuncion exclusiva La disyuncin exclusiva es la proposicin compuesta que resulta
de conectar dos proposiciones p y q mediante la disyuntiva exclusiva (Y). Esta proposicin
se denota por p Y q y se lee o p o q.

3
N Ejemplo 10: Disyuncin exclusiva Si p: El vaso es bonito y q: La leche est
adulterada, entonces la proposicin O el vaso es bonito o la leche est adulterada, se
expresa p Y q.H
La caracterstica fundamental de la disyuncin exclusiva es que su valor de verdad es ver-
dadero slo cuando las proposiciones que la componen tienen valores de verdad contrarios.
En los otros casos la disyuncin exclusiva tiene valor de verdad falso.
Condicional El condicional es la proposicin compuesta que resulta de conectar dos
proposiciones p y q mediante el smbolo (); o !). Esta proposicin se denota por p ) q o
p ) q y se lee si p entonces q.

N Ejemplo 11: Condicional Si p: 2 + 3 = 5 y q: La universidad es bonita, la

proposicin si 2 + 3 = 5, entonces la universidad es bonita, se expresa con p ! q.H
En la estructuras p ! q, la proposicin que est antes de la echa se llama el antecedente
y la que est despus de la echa se llama el consecuente.
La caracterstica fundamental del condicional es que su valor de verdad es falso slo cuando
el consecuente es falso y el antecedente es verdadero. En los dems casos la condicional es
verdadera.
Bicondicional El bicondicional es la proposicin compuesta que resulta de conectar dos
proposiciones p y q mediante el smbolo (() o $). La proposicin resultante se representa
con p , q o p $ q y se lee p si y slo si q.

N Ejemplo 12: Bicondicional Si p: El tringulo es equiltero, y q: El tringulo es

equingulo, entonces la proposicin El tringulo es equiltero si y slo si es equingulo,
se expresa p $ q.H
La caracterstica fundamental del bicondicional es que su valor de verdad es verdadero slo
en los casos en que p y q tengan valores de verdad iguales (ambos V o ambos F). En los
dems casos el bicondicional es falso.
Las proposiciones compuestas pueden combinarse o conectarse con otras para formar proposi-
ciones an ms complejas. Es claro que el valor de verdad de una proposicin, por compleja
que sea, depende de los valores de verdad de las proposiciones que las componen en sus
formas ms simples.

Conjuntos y elementos
La primera formulacin de la teora de conjuntos aparece con los trabajos de George Cantor
(1845-1918), quien desarroll la parte principal de la teora como un subproducto de sus
investigaciones sobre series trigonomtricas. La teora de conjuntos trajo claridad y pre-
cisin a la exposicin de muchas teoras y reas de la matemtica, como la teora de las
probabilidades, la topologa, la teora de los grupos, etctera.
Supngase que el proceso mental que une objetos segn una caracterstica particular brinda
un conocimiento intuitivo adecuado de lo que entendemos por conjunto. Los objetos reunidos
de esta manera se llaman elementos y decimos que stos pertenecen al conjunto.
En general representamos los elementos con letras minsculas a, b, c, . . . , x, y, z y los
conjuntos con letras maysculas A, B, . . . Cuando un elemento a pertenece al conjunto A
se denota por:

a 2 A (a pertenece a A)

4
El smbolo 2 representa la relacin fundamental de la teora de conjuntos, la relacin de
pertenencia. sta es la relacin entre un elemento y un conjunto. Para expresar que el
elemento a no pertenece al conjunto A se representa con:
a2
= A (a no pertenece a A)

Denicin 6: Conjuntos y elementos Un conjunto es una coleccin bien denida de

objetos, llamados sus elementos. Los conjuntos se simbolizan con letras maysculas A, B, . . .
Los objetos que componen el conjunto se denominan elementos o miembros y se denotan
con letras minsculas a, b, . . .
Si la caracterstica particular que observamos en una colectividad es la de estar en el mismo
curso de matemtica, entonces esa colectividad constituye un conjunto y cada uno de los
compaeros de clase de matemtica es un elemento del conjunto.
Hay dos formas de escribir los conjuntos; la primera de ellas sigue el principio de extensin,
por el cual podemos determinar el conjunto enumerando todos sus elementos. La segunda
sigue el principio de comprensin o abstraccin, por el cual es posible determinar un
conjunto identicando sus elementos mediante una propiedad comn a ellos.

Denicin 7: Descripcin de un conjunto por extensin y por comprensin Para

escribir un conjunto por extensin, se enumeran todos sus elementos separndolos con
comas y luego se encierran entre llaves f:::g. Para escribir un conjunto por comprensin
se elige un elemento arbitrario x y se seala que cumple la propiedad P(x). Finalmente, se
encierra toda la expresin entre llaves:
A = fx j x cumplen la propiedad P g
que se lee A es el conjunto de todos los elementos x tales que los x cumplen la propiedad
P ( j se lee tal que).

N Ejemplo 13: Conjuntos El conjunto de los primeros cinco nmeros enteros positivos
puede escribirse por extensin
A = f1; 2; 3; 4; 5g
pero tambin se puede escribir por comprensin:
A = fx j x es uno de los primeros cinco enteros positivosg H
Escribimos un conjunto por extensin cuando tiene un nmero reducido de elementos, y
lo escribimos por comprensin cuando tiene un nmero grande de elementos.

N Ejemplo 14: Notacin de conjuntos por extensin Escriba por extensin el con-
junto
A = fx j x es una vocal del espaolg
Solucin:
A = fa; e; i; o; ug H

5
N Ejemplo 15: Escriba por comprensin el conjunto

A = f2; 4; 6; 8; 10g

Solucin:
A = fx j x es un nmero natural par menor que 12g H

Denicin 8: Conjuntos iguales Decimos que dos conjuntos A y B son iguales si tienen
los mismos elementos. Para indicar A y B son iguales se escribe:

A=B

N Ejemplo 16: Conjuntos iguales Los conjuntos

A = x j x2 = 4

y
B = fx j x es un nmero par distinto de cero entre 3 y 3g
son iguales, ya que tienen los mismos elementos: A = f 2; 2g ; b = f 2; 2g ; A = B:H
Por razones tcnicas de las aplicaciones se hace necesario considerar el conjunto que carece
de elementos. Este conjunto se llama el conjunto vaco y se denota por fg o ?.

N Ejemplo 17: Conjunto vaco El conjunto

B = fx j x es un profesor con ms de 300 aosg

carece evidentemente de elementos. Por tanto, B es un conjunto vaco, es decir

B = fg o B = ? H

Denicin 9: Subconjuntos Si cada elemento de un conjunto A es tambin elemento de

un conjunto B, entonces se dice que A es un subconjunto de B. Se dice tambin que A est
contenido en B o que B contiene a A. La relacin de subconjunto viene dada por:

A B:

Si A = B, entonces A B y B A son verdaderos.

Si A es un subconjunto de B, pero A y B no son iguales, entonces decimos que A es un
subconjunto propio de B.
Si A no es un subconjunto de B, es decir, si al menos un elemento de A no pertenece a B,
escribimos A * B.

N Ejemplo 18: Subconjuntos Considere los conjuntos A = f1; 3; 4; 5; 8; 9g ; B =

f1; 2; 3; 5; 7g y C = f1; 5g
Observe que todos los elementos del conjunto C estn en el conjunto A; por tanto C A.
Asimismo, podemos observar que C B. Sin embargo, no todos los elementos de B estn
en A, por lo que podemos decir que B * A. Adems, A * B, A * C y B * C.H
En los conjuntos dados en el ejemplo anterior, se advierte que C B, pero B * C. Sin
embargo tenemos que:

B * A y A * B

6
es decir, B no es un subconjunto de A ni A es subconjunto de B. En este caso decimos que
los conjuntos A y B son no comparables.
En muchos casos se usa A B para indicar simplemente que A es un subconjunto de B y
A B para denotar que A es un subconjunto propio de B.
Para conjuntos A y B cualesquiera se tiene:
a) ? A
b) A A
c) Si A B y B C, entonces A C:
d) A = B si y solo si A B y B A:
Si A y B no tienen elementos en comn, entonces se dice que A y B son disjuntos.
Para conjuntos A y B no vacos se tiene que:
a) A = B signica que para todo x, x 2 A , x 2 B
b) A B signica que para todo x, x 2 A ) x 2 B
Una representacin grca de los conjuntos y de las relaciones entre ellos se lleva a cabo
con los llamados diagramas de Venn (guras 1, 2) En estos diagramas, normalmente, se
representa el conjunto de referencia con un rectngulo y los otros conjuntos mediante discos
incluidos en el rectngulo.

F ig:1 : A B F ig:2 : A y B disjuntos

Operaciones con conjuntos

Uno de los hechos ms interesantes acerca de la teora de conjuntos es que las operaciones
bsicas de esta teora se corresponden de forma muy estrecha con las estructuras lgicas que
obtenemos al utilizar conectivos.
Interseccin de conjuntos La interseccin de dos conjuntos A y B es el conjunto
formado por todos los elementos comunes a los dos conjuntos. La interseccin de A y B se
denota por A \ B, y en lenguaje lgico el conjunto puede escribirse como:

A \ B = fx j x 2 A ^ x 2 Bg

La operacin de interseccin de conjuntos comparte muchas propiedades con el conectivo ^.

En los diagramas de Venn, la interseccin de A y B se representa por la regin sombreada
en la gura.

Propiedades de la interseccin de conjuntos

a) A \ B = B \ A propiedad conmutativa.
b) (A \ B) \ C = A \ (B \ C) = A \ B \ C; propiedad asociativa.
c) A \ ? = ?

7
N Ejemplo 19: Interseccin de conjuntos Dados los conjuntos A = f1; 2; 3; 4; 5g ; B =
f2; 3; 5; 7; 9; 11g determine el conjunto interseccin de A y B.
Solucin: Los elementos que estn o pertenecen tanto a A como a B son 2, 3, 5 ; por tanto

A \ B = f2; 3; 5g

En la gura se muestra la interseccin de estos conjuntos.

Observe que la parte sombreada contiene precisamente los elementos que pertenecen a A y
B.H
Si A B, entonces A \ B = A, como puede notarse en la gura.

Muchas veces es necesario calcular la interseccin de tres conjuntos A, B, C. Sin embargo,

es bueno que se destaque que la operacin de interseccin siempre se lleva a cabo entre
dos conjuntos; para realizar la interseccin de tres conjuntos, es decir, para determinar el
conjunto formado por los elementos comunes de A, B y C, primero se busca la interseccin
de A y B; el resultado buscado es la interseccin de A \ B con C. Si D = A \ B, entonces,

A \ B \ C = (A \ B) \ C = D \ C

N Ejemplo 20: Interseccin de conjuntos Dados los conjuntos A = fb; c; d; eg ; B =

fc; e; h; f; kg y C = fa; b; e; hg ; determine A \ B \ C:
Solucin: Primero se busca A \ B:

D = A \ B = fc; eg
Luego se calcula A \ B \ C = D \ C = feg. Por tanto,

A \ B \ C = feg H

Grcamente la solucin es:

8
 Unin de conjuntos La unin de dos conjuntos A y B consta de todos los elementos que
pertenecen a A o a B. La unin de A y B se denota por A [ B. En lenguaje lgico podemos
escribir:
A [ B = fx j x 2 A _ x 2 Bg

La representacin grca de A [ B se expresa por una de las situaciones descritas en las

siguientes guras, en las que la regin sombreada en cada caso corresponde al conjunto
A [ B.

N Ejemplo 21: Unin de conjuntos Dados los conjuntos A = fa; b; c; d; eg ; B =

fb; c; f; g; kg determine el conjunto A [ B:
Solucin Puesto que en A [B deben estar representados tanto los elementos de A como los
de B, tenemos que A [ B es la unicacin de A con B, es decir, ponemos juntos los elementos
de A con los de B:
A [ B = fa; b; c; d; e; f; g; hg H
La situacin grca del ejemplo anterior es la siguiente:

Propiedades de la unin de dos conjuntos

a) A [ B = B [ A propiedad conmutativa.
b) (A [ B) [ C = A [ (B [ C) ; propiedad asociativa.
c) A [ ? = A
En muchas circunstancias necesitamos obtener la unin de ms de dos conjuntos; pero la
unin es una operacin entre dos conjuntos, de ah que necesitemos recurrir a la propiedad
asociativa para poder obtener un conjunto A [ B [ C, cuando A, B y C son conjuntos dados.
Para calcular A [ B [ C, primero obtenemos A [ B y luego unimos este resultado con el
conjunto C. Si

D =A[B
entonces A [ B [ C = (A [ B) [ C = D [ C.

N Ejemplo 21: Unin de conjuntos Dados los conjuntos A = f0; 1; 2; 3; 5g ; B =

f1; 3; 5; 7g y C = f2; 6; 8g, determine A [ B [ C.
Solucin Primero calculamos D = A [ B = f0; 1; 2; 3; 5; 7g y luego calculamos D [ C para
obtener A [ B [ C

9
 A [ B [ C = (A [ B) [ C = D [ C = f0; 1; 2; 3; 5; 6; 7; 8g H
En la gura se muestra la representacin grca correspondiente.

Bibliografa

Zill, Dennis G., Dewar Jacqueline M. "Algebra, trigonometra y geometra analtica"

3er edicin. McGraw-Hill (2012)

Stewart, James, Redlin, Lothar, Watson, Saleem, "Preclculo Matemticas para el

clculo" 6ta edicin. Cengage Learning (2012)

Angel, Allen R. "Algebra Intermedia" 7ma edicin Pearson Education (2008)

10