LGICA

MATEMTIC
A

LGICA MATEMTICA
INTEC
INTEC
ING.CARLOS
ING.CARLOS GMEZ
GMEZ

OH dicha de
entender, mayor
que la de imaginar
o la de sentir!
Borges.

INTRODUCCIN
Nuestro amigo Boole afirma que
cuando gane su equipo predilecto
har
fiesta,
pasado
un
tiempo
encontramos que Boole est festejando
pero que su equipo predilecto ha perdido,
Se est contradiciendo el amigo Boole?,
en
este
curso
descubriremos
y
analizaremos el conectivo lgico que ha
usado Boole en su afirmacin, para
concluir sobre este asunto.

INTRODUCCIN
Identificar los conectivos lgicos,
las premisas y comprender su
funcin en el lenguaje nos
permitir disear frases cada
vez ms complejas sin que se
pierda la coherencia en la
construccin gramatical.

JUSTIFICACIN
La
Lgica
Matemtica
es
significativamente importante en la
formacin educativa, si se mira
desde la ptica de la necesidad de la
apropiacin de una fundamentacin
conceptual mnima exigible para
fortalecer
la
destreza
en
la
formulacin
de
argumentos
e
hiptesis que den validez lgica a
nuevas
concepciones
o
actualizaciones cognitivas.

JUSTIFICACIN
Generar

en
el
estudiante
competencias comunicativas y
cognitivas
a
travs
del
desarrollo de habilidades de
pensamiento, como: anlisis,
sntesis,
comparacin,
abstraccin,
etc.;
aspectos
fundamentales para un ptimo
desempeo en lo acadmico,
disciplinar y profesional.

APLICACIONES DE L LGICA
compresin

de los conectivos
lgicos usados en el lenguaje
natural.
disear frases cada vez ms
complejas sin que se pierda la
coherencia en la construccin
gramatical

APLICACIONES DE LA LGICA
validar

nuestros argumentos.
construccin de argumentos
fuertes,
basados
en
los
cimientos de la lgica.

Teora de conjuntos y
principios de lgica
Es una rama de lasmatemticasque
estudia
las
propiedades
de
losconjuntos: colecciones abstractas
de objetos, consideradas como
objetos en s mismas. Los conjuntos y
sus operaciones ms elementales
son una herramienta bsica en la
formulacin de cualquier teora
matemtica.

Teora de conjuntos y
principios de lgica
Sin embargo, la teora de los
conjuntos es lo suficientemente
rica como para construir el resto de
objetos y estructuras de inters en
matemticas:nmeros,funciones,
figuras geomtricas, ...; y junto
con lalgicapermite estudiar los
fundamentos de esta.

Teora de conjuntos y
principios de lgica

Definiciones y generalidades:
Los conjuntos estn relacionados
con el proceso de contar y por lo
tanto
permiten
resolver
problemas que involucran el
concepto de cantidad.

Teora de conjuntos y
principios de lgica

Definiciones y generalidades:
Se puede afirmar que un
conjunto es una coleccin de
objetos, smbolos o entidades
bien definidas, que reciben el
nombre
de
miembros
o
elementos del conjunto.

Representacin grfica de
los conjuntos

Una
forma
sencilla
de
visualizar los conjuntos y las
relaciones entre ellos, es
mediante la utilizacin de
esquemas grficos llamados
crculos
de
Euler
o
diagramas de Venn

Representacin grfica de
los conjuntos

Representacin grfica de
los conjuntos
Generalmente,
los
conjuntos
se
identifican con letras maysculas y sus
elementos con minsculas.
Para indicar que un elemento es un
miembro de un conjunto, se utiliza el
smbolo (se lee pertenece a).
Para indicar que no esta en el conjunto
se utiliza el smbolo (se lee no
pertenece a).

Representacin grfica de
pertenencia y no pertenencia

Subconjunto
Una subcoleccin de elementosBde
un
conjunto
dadoAes
unsubconjuntodeA, y se indica
comoBA.

Formas para determinar un

conjunto
Bsicamente
existen
dos
formas
para
determinar un conjunto, stas son:
Por extensin:
cuando se describe el
conjunto nombrando cada uno de sus
elementos. Por ejemplo:
A = {2, 4, 6, 8}
B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C = {1, 3, 5, 7, 9, 11, 13, 17, 19,}
D = {a, e, i, o, u }

Formas para determinar un

conjunto
Por comprensin: cuando se nombra
una propiedad, una regla o una
caracterstica comn a los elementos
del conjunto. Por ejemplo:
C = {Nmeros impares menores que
10}
D = {Vocales}
B = {Dgitos}

Lenguaje de conjuntos:
= {x R / 0 x < 9}, en este caso se utiliza
un lenguaje muy especfico, el cual se lee as:
E igual al conjunto de todos los nmeros reales
tales que (o que verifican que) cero (0) es
menor o igual a x, y x a su vez es menor que 9,
esta notacin se usa con mucha frecuencia
para describir intervalos, para escribir la
solucin de una inecuacin o para representar
el dominio de una funcin real.
E

Conjuntos infinitos
Existen conjuntos como por ejemplo:
A = {x R }
Z = {x N / x es par}
Que no se pueden expresar por extensin
debido a que nunca se terminara de
escribir la lista de los nmeros reales que
pertenecen al conjunto A, o, los
naturales que pertenecen a Z, este tipo
de conjuntos, reciben el nombre de
INFINITOS

Conjuntos finitos
Mientras que otros, como por
ejemplo:
C = {x / x es vocal}
D = {x / x es un letra griega}
Que estn formados por cierto
nmero de elementos distintos,
reciben el nombre de conjuntos
FINITOS.

Conjuntos especiales
Conjunto Vaco:

Un conjunto que carece de elementos se

denomina conjunto vaco y se simboliza
as:

Conjunto Vaco:
Naturalmente el conjunto forma parte
de cualquier conjunto A, por lo cual se
puede afirmar que:

El conjunto (vaco) es
subconjunto de todo conjunto?

un

Ejemplo de conjunto
vaco
Si D = {x N / x x ),
obviamente D es un conjunto
que carece de elementos,
puesto que no existe ningn
nmero natural que sea
diferente a s mismo.

Conjunto Unitario
Se denomina conjunto unitario
al conjunto formado por un slo
elemento:

Ejemplo conjunto
Unitario
E = {x / x es un primo par}
El nico nmero que cumple las
dos condiciones (ser primo y a la
vez par) es el nmero 2, por lo
tanto E = {2} se llama unitario.

Conjunto Universal
Cuando se habla o se piensa en los
conjuntos, es conveniente establecer la
naturaleza de sus elementos, por ejemplo:
Los

elementos del conjunto A = {a, e, i}

pertenecen al conjunto de las vocales,
V = {a, e, i, o, u}, es decir, A V, este
conjunto V constituye el universo del
conjunto A, por esta razn se dice que V
es un conjunto Universal.

Conjunto Universal

Conjunto Universal
Similarmente, si A = {x N / x es
primo} sus elementos son elementos del
conjunto de los nmeros naturales N, A
N y en este caso, N se constituye en el
conjunto universal.
Generalmente, el conjunto universal se
simboliza con la letra U.

Conjunto de partes o conjunto de

conjuntos

Si

A es un conjunto, el
conjunto de partes de A,
escrito
como
P(A)
est
formado
por
todos
los
subconjuntos que se pueden
formar del conjunto A.

Ejemplo 1.
Si A = {1, 3, 5}, entonces el
conjunto de partes de A esta
formado
por
los
siguientes
subconjuntos:

 Note

que:

Como ya habamos analizado, el

conjunto vaco est en todo conjunto y
este caso no es la excepcin, por esta
razn P(A).
Adems, cave anotar que los elementos
del conjunto A son a su vez conjuntos,
por lo que se dice que el conjunto P(A)
constituye una familia de conjuntos.

El nmero de elementos del

conjunto P(A) depende del
nmero de elementos de A; en
el
ejemplo,
A
tiene
3
elementos y P(A) tiene 8 =
elementos, en general, Si A
tiene n elementos se pueden
formar
subconjuntos del
conjunto A.

Cuntos y cules son

los subconjuntos que se
pueden formar de un
conjunto.
A = { 1,3,5} ?

Ejemplo 2.
Sea B = {2, {1, 3}, 4, {2, 5}}. B
no es una familia de conjuntos
porque algunos elementos de B son
conjuntos y otros no. Para que el
conjunto B fuera un conjunto de
partes o una familia de conjuntos
debera estar expresado de la
siguiente forma:
B = { {2}, {1,3}, {4}, {2,5} }.

Relaciones entre
conjuntos
Subconjuntos
Un conjunto A es un subconjunto de un
conjunto B, si todo elemento del conjunto
A tambin es elemento del conjunto B.
Simblicamente esta relacin se expresa
as:
A B (se lee A esta contenido en B) si
todo elemento x que est en el conjunto
A entonces x tambin est en B, es decir;
A B si todo
x A, entonces x B

Subconjunto

Ejemplo 1 de
subconjunto:
Si A = {x / x es dgito par} y B =
{x / x es dgito}, claramente A
B ya que todo dgito par es dgito.
Por extensin la situacin se expresa
as:
A = {2, 4, 6, 8} y B = {0, 1, 2,
3, 4, 5, 6, 7, 8, 9}
Entonces A es un subconjunto de
B.

Un resultado muy til e importante

acerca de la contenencia entre
conjuntos es el siguiente:
Si A es un subconjunto de B y B
es un subconjunto de C, entonces,
A es un subconjunto de C;
simblicamente este enunciado se
escribe as:
S A B y B C, entonces, A
C

CONTENENCIA ENTRE
CONJUNTOS

Igualdad entre
conjuntos
El conjunto A es igual al conjunto B si ambos
conjuntos tienen los mismos elementos, es decir,
si todos los elementos de A pertenecen a B y si
todos los elementos de B pertenecen al conjunto
A. La igualdad entre conjuntos se simboliza de la
siguiente forma:

Ejemplo de igualdad 1.
Si

M = {1, 1, 0, 2} y N = {2,
1, 0, 1}, claramente se
observa que M N y que N
M, por lo tanto M = N.

Ejemplo 2.
Si

A = {x / x es dgito} y B = {x / x es
dgito par}, se puede observar que B A
pero A B, por lo tanto el conjunto A no es
igual al conjunto B, lo cual se escribe,

Conjuntos Completamente
Diferentes o Disyuntos:
Es

importante destacar que

cuando dos conjuntos son
completamente diferentes (no
tienen ningn elemento en
comn) reciben el nombre de
conjuntos disyuntos.

Conjuntos Completamente
Diferentes o Disyuntos:

Conjuntos Completamente
Diferentes o Disyuntos:
Los

conjuntos A = {x / x
es dgito par} y B =
{x / x es dgito impar}
no
tienen
ningn
elemento en comn, es
decir A y B son disyuntos.

Operaciones entre
conjuntos
As como las operaciones suma, resta,
multiplicacin
y
divisin
estn
definidas sobre los nmeros reales,
tambin existen operaciones definidas
entre los conjuntos como la unin,
interseccin, complemento, diferencia,
diferencia
simtrica
y
producto
cartesiano; stas se estudiarn en las
siguientes secciones.

Unin
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:
A U B = {x / x A,v, x B}, donde el
smbolo v se lee o.
Para representar grficamente una
operacin entre conjuntos, se debe tener
en cuenta la relacin que exista entre ellos,
segn los siguientes casos:

Caso 1. Que los conjuntos no tengan

ningn elemento en comn.
(conjuntos disyuntos).

La parte subrayada representa la unin

entre los conjuntos A y B.

Caso 2. Que los conjuntos tengan slo unos

elementos en comn. Subconjunto propio

Caso 3. Que un conjunto

este contenido en el otro.

Interseccin
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 y.

Caso 1. Que los conjuntos no tengan

ningn elemento en comn. (conjuntos
disyuntos).

Se

puede observar que cuando dos conjuntos son

diferentes, su interseccin es vaca y los conjuntos
se llaman disyuntos, como ya se haba mencionado;

Caso 2. Que los conjuntos tengan

slo unos elementos en comn.

Caso 3. Que un conjunto

este contenido en el otro.

Esto

permite afirmar que si A B, entonces. A

B = A; anlogamente se puede inferir que si B
A, entonces, A B = B.

Diferencia
Si A y B son dos conjuntos no vacos,
entonces se define la diferencia
entre A y B as:
A B = {x / x A, , x B}
Esto

se lee: A menos B, es el
conjunto formado por los elementos
que estn en el conjunto A pero no
en el B.

Caso 1. Que los conjuntos no tengan ningn elemento en

comn. (conjuntos disyuntos).

Caso 2. Que los conjuntos tengan

slo unos elementos en comn.

Caso 3. Que un conjunto

este contenido en el otro.

En

la figura se puede observar que todos los

elementos que estn en B, estn en A
(debido a que B A), por lo tanto no existe ningn
elemento que pertenezca a la diferencia B A y en
consecuencia B A =

Diferencia simtrica
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.
Simblicamente la diferencia simtrica
entre A y B se escribe as:
A B = {x / x A, v, x B, , x A
B}.

Caso 1. Que los conjuntos no tengan

ningn elemento en comn. (conjuntos
disyuntos).

Caso 2. Que los conjuntos tengan

slo unos elementos en comn.

Caso 3. Que un conjunto

este contenido en el otro.

Ejemplo

1.
Si A = {x / x es una letra de
la palabra INGENIERIA} y B =
{x / x es una letra de la
palabra SISTEMAS}, entonces
A B = {N, G, R, M, S, T}.

Complemento
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,

1.Que los conjuntos no tengan ningn

elemento en comn.
(conjuntos disyuntos).

2.Que los conjuntos tengan

slo unos elementos en comn

Caso 3. Que un conjunto

este contenido en el otro.

Producto Cartesiano
Par ordenado o pareja ordenada:
La expresin (x , y ) representa una
pareja ordenada , que cumple la
condicin de que su primera
componente, (x) pertenece al
conjunto A y la segunda componente
(y) pertenece al conjunto B.

Producto Cartesiano
Plano

cartesiano:
Los pares ordenados (x,y), (-x,y),
(x,-y), (-x,-y) se representan en el
plano cartesiano como sigue:

Producto Cartesiano:
Si

A y B son dos conjuntos no vacos, se define el

producto cartesiano entre A y B as:
A X B = {(x , y ) / x A , , y B }.
Si A = {1, 2,3} y B = {-1, 0, 2} el producto
cartesiano de A X B es:
A X B = {(1,-1),(1,0),(1,2),(2,-1),(2,0),(2,2),
(3,1),(3,0),(3,2)} y el producto de BXA es
B X A = {(-1,1),(-1,2),1,3),(0,1),(0,2),(0,3),(2,1),
(2,2),(2,3)}
De donde se observa que el producto cruz no es
conmutativo, es decir:
A x B B x A

Producto Cartesiano:

Se puede observar que el

producto cartesiano entre A y B
no es conmutativo, puesto que
la pareja ordenada ( x, y ) es
diferente a la pareja ordenada
(x.-y), en particular, (-1,1) es
diferente a (1, -1) y ( 1,1) es
diferente a (-1,-1).

La siguiente grfica muestra la

diferencia.

Producto Cartesiano:
Ejercicio

propuesto:
Realiza el siguiente producto
cartesiano y luego ubica los
pares ordenados en el plano
cartesiano: Si A = {2,3} y
B = {1, -2} A x B es:

Algebra de conjuntos
Propiedades de las operaciones entre
conjuntos
Las siguientes cuatro propiedades, son
vlidas para las operaciones de unin e
interseccin:
a. Leyes de idempotencia:
A U A = A
A A = A
b) Leyes asociativas:
(A U B) U C = A U (B U C)
(A B) C = A (B C)

b. Leyes conmutativas:
A

UB=BUA
A B = B A
d) Leyes distributivas:
A U (B C) = (A U B) (A U C)
A (B U C) = (A B) U (A C)

DIAGRAMAS DE VENN
EJEMPLO

TEORA DE CONJUNTOS