Lgica Matemtica y Teora de Conjuntos.

Pag. 1 / 13

LGICA MATEMTICA Y TEORA DE CONJUNTOS.

Llamamos conjunto a una coleccin de objetos (con determinadas caractersticas en comn) y a los
objetos que lo forman se les llama elementos del conjunto.

Llamaremos universo (U) al conjunto que en un momento dado es usado como marco de referencia para
formar conjuntos.

Un conjunto queda determinado por una coleccin de atributos que los elementos del universo pueden
o no poseer. As, los elementos del universo que s posean los atributos requeridos forman el conjunto.

Observacin: Conjunto y universo son trminos no definidos.

Def.: Diremos que un conjunto est descrito por enumeracin si se han dado explcitamente todos sus
elementos y est descrito por comprensin si sus elementos estn dados en forma implcita mediante una
frase que los describa.

Pertenencia / NO pertenencia:

A xe (x pertenece al conjunto A): indica que x tiene los atributos que determinan al conjunto A.
A xe (x NO pertenece al conjunto A).

La lgica matemtica es una variedad de la lgica filosfica.

Los objetivos principales de la lgica son esencialmente:
1. Eliminar las ambigedades propias del lenguaje ordinario.
2. Dar rigor a aquello que se est estudiando.

En lgica existen dos procesos fundamentales:
1. Conceptualizacin: consiste en definir los objetos matemticos que se van a definir.
2. Demostracin: consiste en demostrar rigurosamente aquellas propiedades, proposiciones o teoremas
que se estn estudiando.

Def.: Se llama proposicin a cualquier afirmacin que es verdadera (V) o es falsa (F), pero no ambas
cosas a la vez. Para nombrar a las proposiciones se suelen utilizar las letras p, q, r, s, ...

Def.: Una proposicin abierta (o funcin proposicional) es una expresin que contiene una variable y
que al ser sustituida dicha variable por un valor determinado, hace que la expresin se convierta en una
proposicin. ((V) (F)). p(x); p(x,y,z, ..).

Def.: El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposicin
abierta, lo llamaremos el Dominio de la variable.

Def.: El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera la
proposicin abierta p(x), lo llamaremos el conjunto solucin de la proposicin abierta p(x).

Ejemplo: Encontrar el conjunto solucin de la propiedad abierta N e = x x x p ; 0 1 7 : ) (
Q x e N e = 7 1 ; 7 1 ; 7 1 . C = P

Observacin: Usando proposiciones abiertas podemos escribir un conjunto por comprensin:

{ } { } { } ,... 19 , 17 , 13 , 11 , 7 , 5 , 3 , 2 " primo; es /" ) ( / = Z e = =
+
x x x x p x P

prop.
1
Dominio Conjunto
abierta p(x) variable p(x). solucin p(x).


1
Describe los atributos que definirn al conjunto.


Lgica Matemtica y Teora de Conjuntos.
Pag. 2 / 13

Conectivos lgicos: Permiten relacionar proposiciones para formar nuevas proposiciones. Igualmente
permiten definir operaciones en los conjuntos para obtener nuevos conjuntos.

Tabla conectivos lgicos.
. Conjuncin. y.
v Disyuncin. o.
Condicional. si p entonces q.
Negacin. no.
Bicondicional.
( doble implicacin).
p si y slo si q.


Def.: Dadas dos proposiciones p y q, se llama proposicin conjuntiva de p y q, y se escribe q p. , a la
proposicin que dice "p y q". q p. es verdadera cuando p y q son verdaderas simultneamente.
(Ver: Tablas de Verdad).

Def.: Sean A y B dos conjuntos cualesquiera, entonces definimos el conjunto A interseccin B, que
denotaremos por B A como sigue:

{ } B x A x x B A e . e = /

Observacin: Si P es el conjunto solucin de la proposicin p(x) y Q el de la proposicin q(x), entonces
el conjunto solucin de p(x) . q(x) es Q P .

Def.: El conjunto vaco que denotaremos por C es el conjunto que no tiene elementos. Podemos decir
que:
{ } A x A x x e . e = C /

Def.: Dadas dos proposiciones p y q, se llama proposicin disyuntiva de p y q, y se escribe q pv , a la
proposicin que dice "p q". q pv es verdadera cuando al menos una de ellas lo es.
(Ver: Tablas de Verdad).

Observacin: De la tabla de verdad de la disyuncin (Ver: Tablas de Verdad) se deduce que en lgica,
la disyuncin significa y/o (NO exclusivo). Ver: "O Exclusivo".

Def.: Sean A y B dos conjuntos, entonces definimos el conjunto A unin B que denotaremos por B A
como sigue:
{ } B x A x x B A e v e = /

Observacin: Si P es el conjunto solucin de la proposicin p(x) y Q el de la proposicin q(x), entonces
Q P es el conjunto solucin de la proposicin p(x) v q(x).

Ejemplo: Formar la proposicin conjuntiva y la disyuntiva; hallar el conjunto solucin de las
componentes, el conjunto solucin de la conjuncin y la disyuncin. Dominio: { } 3 , 2 , 1 , 0 , 1 , 2 , 3 = M .
" 0 1 " ; " 0 1 "
2
= = x x
Proposicin conjuntiva: " 0 1 0 1 " : )" ( ) ( "
2
= . = . x x x q x p
Proposicin disyuntiva: " 0 1 0 1 " : )" ( ) ( "
2
= v = v x x x q x p
Conjunto solucin p(x): {} 1 1 = = P x
Conjunto solucin q(x): { } 1 , 1 1 1 = = = Q x

Conjunto solucin )" ( ) ( " x q x p . : {} 1 = = Q P C
Conjunto solucin )" ( ) ( " x q x p v : { } 1 , 1 = = Q P D



Lgica Matemtica y Teora de Conjuntos.
Pag. 3 / 13

Def.: Dadas dos proposiciones p y q, se llama proposicin condicional de p y q, y se escribe q p , a
la proposicin que dice "(no p) q". q p es verdadera cuando q es verdadera, o bien p y q son falsas a
la vez.
(Ver: Tablas de Verdad).

Def.: Una palabra o frase que indique cuntos objetos o cosas cumplen con determinada propiedad, se
llama un cuantificador.

Generalmente, para convertir una proposicin abierta (funcin proposicional) en una proposicin, se
utilizan los llamados cuantificadores:

a) Existencial: ) ( ; x P D x e - Y se lee "existe, al menos, un x tal que se verifica P(x)".
Nota: Para decir "existe un nico x tal que P(x)" escribimos: ) ( ; ! x P D x e - .
b) Universal: ) ( ; x P D x e . Y se lee "para todo x se verifica P(x)".

Observacin: Las expresiones cuantificadas universal o existencialmente es una nueva proposicin que
tiene un valor de verdad que se establece en los siguientes axiomas
2
de verdad:

i) La proposicin ) ( ; x P D x e es falsa si al menos un elemento del dominio D, hace
falsa la proposicin P(x).
ii) La proposicin ) ( ; x P D x e - es verdadera cuando hay al menos un valor x en el
dominio D que haga verdadera
3
la proposicin P(x) y ser falsa si no existe un solo
elemento del dominio que haga verdadera a P(x).

Def.: Sean A y B dos conjuntos, diremos que A es un subconjunto de B que escribiremos B A c , si para
toda x que pertenece a A se tiene que x tambin pertenece a B. Es decir, todos los elementos de A lo son
tambin de B.
B x A x x B A e e c ,

Si A no es subconjunto de B, lo denotaremos por B A. .

Observacin: Para todo conjunto A: A c C .

Def.: Sean A y B dos conjuntos cualesquiera. Diremos que A es un subconjunto propio de B si y slo si:

a) B A c y
b) B A =

Def.: La proposicin ) ( ) ( , x q x p D x e es verdadera si y slo si Q P c donde P es el conjunto
solucin de p(x) y Q es el conjunto solucin de q(x).

Def.: Dada una proposicin p, se llama proposicin negativa (o negacin) de p, y se escribe p , a la
afirmacin que dice "no p". p es verdadera cuando p es falsa.
(Ver: Tablas de Verdad).










2
Axiomas: afirmaciones que son aceptadas como verdaderas.
3
(aunque existan otros valores del dominio que la hagan falsa).


Lgica Matemtica y Teora de Conjuntos.
Pag. 4 / 13


Observacin:
Algunas negaciones ms comunes de proposiciones cuantificadas:

Proposicin Negacin
Todos Algunos .... no
Algunos Ningn
Algunos .... no Todos
Ningn Algunos

La negacin de los cuantificadores es de la siguiente forma:

a) ) ( ; )) ( ; ( x P D x x P D x e e -
b) ) ( ; )) ( ; ( x P D x x P D x e - e

Def.: Si consideramos a U como el conjunto universo y U Ac , definimos el complemento de A, que
denotaremos por
c
A A ' como:

{ } A x U x A A
c
e e = = / '
Observaciones:
i) C = = ' ; Si A U A
ii) C = ' A A
iii) U A A = '
iv) A x U x A x e e e y que sigfica ' S

Observacin: El conjunto solucin de
'
es ) ( P x p , donde P es el conjunto solucin de p(x).

Ejemplo: " ; 0 ) 3 )( 2 ( " : ) ( Z x x x x x p e = +
Conjunto solucin p(x): { } 3 , 2 , 0 = P
" 0 ) 3 )( 2 ( " : ) ( = + x x x x p (negacin proposicin).
Conjunto solucin { }
'
/ : ) ( P P x Z x S x p = e e =

Def.: Sean A y B dos conjuntos cualesquiera, definimos el conjunto diferencia B A como sigue:

{ } B x A x x B A e e = y /

Observacin: A se puede considerar como la diferencia entre U y A. Osea:

{ } A x U x x A U A e e = = y /
'









Z





'
P
P
0. .-2
.3


Lgica Matemtica y Teora de Conjuntos.
Pag. 5 / 13





A B A = B A



B A C = B A


Observaciones:

1. Si q p es una implicacin, entonces q tiene que ser verdadera.
2. Dada q p , se dice que p es la hiptesis o premisa de la implicacin, y que q es la conclusin o
tesis de la implicacin.
3. Dada q p , se dice que p es condicin suficiente de q, y q es condicin necesaria de p.
4. Dada q p , se dice p es condicin necesaria y suficiente de q, y que q es condicin necesaria y
suficiente de p.
5. Dada q p , se dice que:
i) q p es el teorema directo. Implicacin.
ii) q p es el teorema contrario. Contraria implicacin.
iii) p q es el teorema recproco. Recproca implicacin.
iv) p q es el teorema contrarecproco. Contrarrecproca implicacin.


6.
i) Una condicional y su recproca no son equivalentes.
Observacin: si una condicional es cierta, su recproca puede que sea o no verdadera.

ii) Una condicional y su contraria no son equivalentes.
Observacin: si una condicional es cierta, su contraria puede que sea o no verdadera.

iii) Una condicional y su contrarrecproca si son equivalentes.
Observacin: si una condicional es cierta, tambin su contrarrecproca lo ser.
) ( ) ( p q q p
























A B






A B
A
B
B
A


Lgica Matemtica y Teora de Conjuntos.
Pag. 6 / 13


Mtodos de demostracin de una implicacin: Cuando hay que probar que q p , tres de los mtodos
de demostracin ms utilizados son:

1.Mtodo directo: Consiste en llegar a obtener lo que nos dice la tesis, utilizando nicamente para ello
los datos de la hiptesis.
2.Mtodo del contrarecproco: consiste en probar el teorema contrarecproco de la implicacin, es decir,
p q .

Ejemplo: Encontrar el valor de verdad de la siguiente proposicin. Dominio=R.
5 25 si ;
2
= = e x x D x
) ( ) ( p q q p
25 5 : ) (
2
= = x x p q Proposicin: V.

3.Mtodo de reduccin al absurdo (o de contradiccin): Consiste en probar q p demostrando que se
cumple lo siguiente: ( ) ( ) q p q p . . q p .

Def.: Dadas dos proposiciones p y q, se llama proposicin bicondicional de p y q, y se escribe q p , a
la proposicin que dice "(p condicional q) y (q condicional p)". q p es verdadera cuando p y q son
verdaderas o falsas simultneamente.
(Ver: Tablas de Verdad).

Observacin: La proposicin ) ( ) ( , x q x p D x e es verdadera si y slo si ( ) Q P P Q Q P = c c y .



































Lgica Matemtica y Teora de Conjuntos.
Pag. 7 / 13

Tablas de Verdad:

Tcnica que permite averiguar el valor de verdad de una proposicin conociendo los valores de verdad de
sus componentes.
n
2 , donde n es el nmero de proposiciones que intervienen.

p q p q p.
q pv (1) q p (2) q p (3)
V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V

(1) NO exclusivo.
(2) p: antecedente o hiptesis.
q: consecuente o conclusin.
(3) ( ) ( ) p q q p q p . .


Observaciones:

1. Def.: Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de verdad (en
todas sus interpretaciones). Tambin decimos que dos proposiciones son equivalentes cuando la
bicondicional que se forma entre ellas es una tautologa y viceversa.
2. Segn la tabla de verdad que tiene una proposicin, esta se clasifica en tautologa, contradiccin e
indeterminacin.

Def.: Una proposicin se llamar tautologa si para cualquier valor de sus componentes (en cualquiera de
sus interpretaciones), su valor de verdad siempre es verdadero.

Def.: Una proposicin ser llamada una contradiccin si para cualquier valor de sus componentes (en
cualquiera de sus interpretaciones), su valor de verdad siempre es falso.

Def.: Se dice que una proposicin es una indeterminacin cuando su tabla de verdad tiene valores de
verdadero y de falso.

Def.: Una implicacin es una condicional de la forma q p , tal que es verdadera suponiendo que p es
verdadera, y tiene que existir una relacin causa-efecto entre p y q. Adems, una implicacin entre p y q
se escribe q p , y se lee "p implica a q" "si p entonces q".

Def.: Una equivalencia es una bicondicional de la forma q p , en donde q p es una implicacin y
p q es tambin una implicacin. Se escribe q p , y se lee "p es equivalente a q" o
"p si y slo si q".

Def.: Sean A, B dos conjuntos cualesquiera, diremos que B A = si y slo si A B B A c c y .















Lgica Matemtica y Teora de Conjuntos.
Pag. 8 / 13

lgebra Proposiciones / lgebra Conjuntos.


lgebra de Proposiciones. lgebra de Conjuntos.
Leyes de idempotencia.
p p p v
p p p .
Leyes de idempotencia. A A A =
A A A =
Leyes asociativas. ( ) ( ) r q p r q p v v v v
( ) ( ) r q p r q p . . . .
Leyes asociativas. ( ) ( ) C B A C B A =
( ) ( ) C B A C B A =
Leyes conmutativas.
p q q p v v
p q q p . .
Leyes conmutativas. A B B A =
A B B A =
Leyes distributivas. ( ) ( ) ( ) r p q p r q p . v . v .
( ) ( ) ( ) r p q p r q p v . v . v
Leyes distributivas. ( ) ( ) ( ) C A B A C B A =
( ) ( ) ( ) C A B A C B A =
Ley de complemento. ( ) p p Leyes de identidad. A A = C A U A =
U U A = C = C A
Leyes de Morgan. ( ) q p q p v .
( ) q p q p . v
Leyes de complemento.
U A A =
'
C =
'
A A
( ) A A =
' '
C =
'
U U = C
'

Leyes de Morgan.
( )
' ' '
B A B A =
( )
' ' '
B A B A =


Def.: Diremos que hay una correspondencia biunvoca (o uno a uno) entre los conjuntos A y B si y slo
si cada elemento del conjunto A est relacionado con uno y slo un elemento del conjunto B.

Observacin: La correspondencia uno a uno entre A y B no es nica.

{ } u o, i, e, a, = A { } 1,2,3,4,5 = B

a 2 a 3
e 5 e 4
i 1 i 2
o 3 o 1
u 4 u 5 etc.

Def.: Llamaremos una seccin del conjunto de los nmeros naturales, que denotaremos por
n
S al
conjunto de los primeros n nmeros naturales, esto es:

{ } N c = n S
n
,...., 4 , 3 , 2 , 1

Def.: Si existe una correspondencia uno a uno entre un conjunto A y una seccin
n
S de los naturales,
diremos que n es la cardinalidad del conjunto y lo denotaremos por ( ) n A = # .

Observacin: De la definicin anterior se deduce que la cardinalidad de un conjunto es el nmero de
elementos de ste.

Def.: Diremos que la cardinalidad del conjunto vaco es cero, osea:

( ) { } 0 # 0 # = = C

Def.: Diremos que un conjunto A es finito si existe una correspondencia biunvoca entre el conjunto A y
una seccin de los naturales
n
S .
Si un conjunto no es finito, lo llamaremos conjunto infinito.




Lgica Matemtica y Teora de Conjuntos.
Pag. 9 / 13

Observacin: Cuando dos conjuntos no son iguales se pueden presentar dos situaciones que son:

1) A y B son diferentes, pero tienen elementos en comn.


ajenos). (NO B A = ajenos). (NO A) (Bc = B A

2) A y B son diferentes y adems A y B no tienen elementos en comn, cuando esto sucede
diremos que A y B son conjuntos disjuntos.

Def.: Dos conjuntos A y B sern conjuntos disjuntos o ajenos si y slo si C = B A .



). (DISJUNTOS B A =

Nota.: Mediante el concepto de cardinalidad, diagramas de Venn-Euler y las propiedades de las
operaciones de conjuntos (lgebra de Conjuntos) podremos determinar el nmero de elementos de un
conjunto (problemas de conteo).

Otro tipo de conjuntos de inters son aquellos conjuntos cuyos elementos son tambin conjuntos. Si
hablamos, por ejemplo, del conjunto de estudiantes de una Universidad, podemos pensar en el conjunto
formado por todos los estudiantes de dicha Universidad. Tambin podemos referirnos al conjunto
formado por todas las carreras que se imparten en dicha Universidad. En esta segunda forma de expresar
el conjunto, los elementos son a la vez el conjunto formado por el conjunto de estudiantes de cada una de
las carreras. A, por ejemplo, si denotamos por { } ad Universid la de carrera una es / A A C = . Y si
tomamos A = carrera de Psicologa, encontramos que: { } Psicologa de estudiante un es / x x A = que a la
vez es un conjunto. Entonces diremos que C es un conjunto de conjuntos.

Def.: Si A es un conjunto cualquiera, definimos el conjunto potencia de A como el conjunto formado
por todos los subconjuntos de A y lo denotaremos por ( ) A P .

Observacin: Si A tiene n elementos, el conjunto potencia de A tendr
n
2 elementos y por esta razn es
costumbre denotar al conjunto potencia por
A
2 . Osea:

( ) { } A x x A P
A
de o subconjunt un es / 2 = =

Ejemplo:
{ } { } c b a C , , =
( ) { } { } { } { } { } { } C = , , , , , , c b a c b a C P

U





A B
U





A
B
U





A B


Lgica Matemtica y Teora de Conjuntos.
Pag. 10 / 13




"O" EXCLUSIVO.



Definimos Tabla de Verdad para q p- ("O" EXCLUSIVO).

p q q p-
V V F
V F V
F V V
F F F

y queremos demostrar (la equivalencia) mediante Tablas de Verdad que:

) ( ) ( q p q p q p . v . -


p q p q
) ( q p . ) ( q p . ) ( ) ( q p q p . v .
V V F F F F F
V F F V V F V
F V V F F V V
F F V V F F F

Decimos que las dos proposiciones son equivalentes dado que tienen la misma tabla de verdad.


"O" NO EXCLUSIVO:

IF P OR Q THEN
message(OR_VERDADERO)
ELSE
message(OR_FALSO)
END


"O" EXCLUSIVO:

IF (P AND NOT Q) OR (NOT P AND Q) THEN
message(OR_VERDADERO)
ELSE
message(OR_FALSO)
END














Lgica Matemtica y Teora de Conjuntos.
Pag. 11 / 13



Problema: Se hizo una entrevista a 885 amas de casa y se encontr la siguiente informacin acerca
de ciertos programas de televisin:

- 600 vean noticieros.
- 400 vean series policiacas.
- 620 vean programas deportivos.
- 195 vean noticieros y series policiacas.
- 190 vean series policiacas y deportivos.
- 400 vean noticieros y deportivos.

Y todos ven al menos uno de estos tres programas.

Determinar cuntas de las entrevistadas ven los tres tipos de programas mencionados.

Solucin:

Sea { } 885 ) ( # das entrevista personas = = U U
{ } 600 ) ( # noticieros ven personas = = N N
{ } 400 ) ( # policiacos ven personas = = P P
{ } 620 ) ( # deportivos ven personas = = D D

195 ) ( # = P N
190 ) ( # = D P
400 ) ( # = D N
0 ) ( #
'
= N D P

Sea ) ( # P D N x =





Lgica Matemtica y Teora de Conjuntos.
Pag. 12 / 13




Adems tenemos que:

x x x D N P + + = 190 195 400 ) ( #
x + = 190 195 400
x + =15






x x x N P D + + = 190 400 620 ) ( #
x = 590 620
x + = 590 620
x + = 30

x x x D P N + + = 400 195 600 ) ( #
x + = 400 195 600
x = 595 600
x + = 5


As:
x x x x 835 ) 30 ( ) 190 ( ) 15 ( 600 885 = + + + + + =
x = 835 885

x = 50
OJO
Conjunto
Diferencia


Lgica Matemtica y Teora de Conjuntos.
Pag. 13 / 13

Entonces el nmero de personas que ven los tres programas son 50.




Jaime Martnez Rubio.

e-mail:

jaimemtnezrubio@yahoo.com

jaume.martinez@grupobbva.com



20 de agosto de 2013