Proposiciones, vectores binarios y Conjuntos

finitos
Rafael F. Isaacs G.

Fecha: 24 de octubre de 2004

Trataremos de matar tres pajaros de un solo tiro. Nuestro objetivo no es descabellado,
realmente el algebra que se trabaja en los vectores binarios, en los conjuntos finitos y la
logica de proposiciones es el
algebra booleana. La misma que tambien que se realiza en
los circuitos electronicos.

1.

Nada depende de UNO, todo resulta de DOS

En principio tenemos el bien y el mal, el yin y el yang, dios y el diablo, la verdad y

la falsedad, los pares y los impares. De esta division arbitraria y rgida se genera toda la
diversidad. Debemos trabajar entonces un conjunto con dos elementos que pueden ser Falso,
Verdadero, o bien F , V , o lo que es lo mismo 0, 1. En principio identificaremos el 0 con la
falsedad y el 1 con la verdad que son los valores de verdad que pueden tomar las proposiciones.
Las letras p, q, r serviran para referirnos a proposiciones que pueden ser falsas o verdaderas, el lector debe conocer las tablas de verdad para los conectivos l
ogicos, que se
refieren a como las combinaciones de esas proposiciones producen nuevas proposiciones, por
ejemplo la tabla de verdad del o exclusivo, corresponde a la suma modulo 2 que es la suma
de los pares y los impares
p q pq
1 1
0
1
1 0
0 1
1
0 0
0
mientras que la suma modulo 2 en el conjunto {0, 1} se da seg
un la siguiente tabla
+ 0 1
0 0 1
1 1 0
El lector identificara las dos tablas como expresiones del mismo fenomeno.
Los conectivos logicos usuales son la negacion que notaremos (de un solo argumento)
y los binarios: la disjuncion, notada con el signo , al conjuncion (), la implicacion () la
equivalencia (), la cual se puede considerar como una igualdad.
*

Profesor titular UIS

1.1.

F
ormulas Proposicionales

Las formulas proposicionales se obtienen combinando correctamente variables proposicionales con conectivos logicos y smbolos de agrupamiento. Tomando como variables p,q,r,
se pueden definir recursivamente as:
Definici
on 1. Las formulas proposicionales sobre las variables p,q,r, se definen recursivamente as:
Base : p, q, r son formulas proposicionales.
Paso Recursivo : si y son formulas proposicionales tambien lo son:(), ( ),
( ), ( ) y ( ).
Nuestro alfabeto en este caso sera {p, q, r, , , , , , (, )}. Seguir estrictamente estas
reglas para formar formulas puede resultar engorroso y redundante en cuanto al exceso de
parentesis por lo cual en la practica, estos se eliminan desde que no haya lugar a confusion.
Todos los conectivos logicos (cuantos hay?) se pueden desarrollar a partir de unos pocos,
por ejemplo de y :
p q : (p q)
p q : (p q)
p q : (p q) (p q)
pq : (p q) (p q)
Por esta razon el conjunto {, } se dice que es un conjunto completo de conectivos.
Los valores de verdad en la logica clasica son exactamente los elementos de Z2 . Las
formulas proposicionales tiene valor de verdad seg
un el valor de verdad de sus componentes.
Este valor de verdad se halla recursivamente guiados por la construccion recursiva de la
formula. Esto es lo que se lleva a cabo con las tablas de verdad. Mostramos como ejemplo,
la tabla de verdad de la implicacion :
p
0
0
1
1

q q
0 1
1 0
0 1
1 0

(p q) (p q)
0
1
0
1
1
0
0
1

Las tautologas se identifican porque en sus tablas de verdad siempre se obtiene la

verdad, independiente del valor de verdad de las componentes (verdad!). Las tautologas
son como los teoremas de la logica de proposiciones, teora muy particular por cuanto sus
teoremas se pueden establecer tanto por deduccion axiomatica , como por aplicacion de un
algoritmo, que consiste exactamente en elaborar la tabla de verdad. Algunas tautologas son
reconocidas como leyes del
algebra booleana:

Doble negaci
on : (p) p
Conmutativa : (p q) (q p)

(p q) (q p)

Asociativa : (p q) r p (q r)

(p q) r p (q r)

Distributiva : (p q) r (p r) (q r) (p q) r (p r) (q r)
Morgan : (p q) (p q) (p q) (p q)
Tercio excluido : (p p) V
Absorci
on : p (p q) p

(p p) F.

p (p q) p

Identidad : (p V) p (p F) p.
Dominancia : (p V) V (p F) F.
Idempotencia : (p p) p (p p) p.

En estas tablas V significa la verdad (absoluta) y F la falsedad o la contradiccion. Hemos

elaborado solo algunas de las equivalencias que se tienen involucrando a los conectivos , ,
en donde se cumple el principio de dualidad. Notese que las tautologas de la derecha se
obtienen intercambiando por y F por V en las de la izquierda. El principio de dualidad
nos dice que si tenemos una tautologa donde interviene , , al hacer dichos intercambios
lo que se obtiene tambien es tautologa. Para ello es necesario que la tautologa sea una
equivalencia.

1.2.

Demostraciones

La mayora de las proposiciones de la matematica son de tipo si p entonces se debe

cumplir q, abreviadamente p q, en donde p juega el papel de hipotesis y q el de tesis o
conclusion. Se pueden dar diferentes versiones idiomaticas de este conectivo logico; en espa
nol
se usa si p entonces q, p implica q, q siempre que p, para que suceda p es necesario
que q, para que q es suficiente que p, etc. Sea p, por ejemplo, la proposicion a y b son
pares q la proposicion a + b es par, p q se puede leer: Si a y b son pares entonces a + b
tambien lo es, como quien dice la suma de dos pares es un par, o, condicion suficiente
para que a + b sea par es que a y b sean pares.
La recproca de la proposicion p q es la proposicion q p que en general tiene
diferente valor de verdad. En el ejemplo anterior, mientras la suma de pares es pares una
proposicion cierta, su recproca si la suma de dos n
umeros es par entonces ambos n
umeros
son pareses falsa, puesto que 5 + 3 es par siendo uno de los sumandos impar (realmente
ambos pero con unos es suficiente!).
La contrarrecproca de la proposicion p q es la proposicion q p que es equivalente a la original, por lo tanto, para demostrar una implicacion podemos demostrar su
contrarrecproca.
2

As, para, mostrar que todo par elevado al cuadrado es par(n par implica n2 par)
podemos mostrar que si el cuadrado de un n
umero es impar, el n
umero debe ser impar(n2
no par implica n no par) que es equivalente.
En el ejemplo inicial la contrarrecproca de la suma de dos pares es un pares la proposicion si la suma de dos n
umeros no es par entonces ambos n
umeros no pueden ser pares.o
lo que es lo mismo si la suma de dos n
umeros no es par entonces alguno de los n
umeros es
impar.
Muchas veces la hipotesis o la tesis viene en forma de conjuncion o disyuncion. Por
ejemplo la forma (p q) r, que es la forma de la proposicion que acabamos de analizar.
En efecto, si convenimos en que p, r, q sean las proposiciones a es par, b es par, a + b es
parrespectivamente, se ve mas claramente porque la contrarecproca tiene como conclusion
que alguno de los n
umeros es impar, ya que la negacion de p qes p q y la forma de la
contrarecproca sera r (q p).
Probar la contrarecproca es hacer la prueba por contradiccion: Para demostrar p q
se supone que la conclusion no es cierta (pensemos lo peor) o sea q y se deduce que la
hipotesis fallara o sea que p; se esta demostrando que q p.
Otra propiedad que nos interesa resaltar de la logica de proposiciones es que la negacion
de una implicacion p q es equivalente a (p q). Esta es la razon para que negar la
proposicion la suma de dos n
umeros es impar implica que ambos son pares, sea afirmar
que existen n
umeros cuya suma es par sin que ambos sean pares. La equivalencia entre
p==q y (p q) nos ayuda tambien a explicar las demostraciones por contradiccion: Se trata
de ver que es imposible que se cumpla la hipotesis sin que se cumpla tambien la tesis.
Cuando tanto p q como su recproca q p, son ciertas se dice que p y q son equivalentes
y se nota p q. Por ejemplo, n2 es par n es parson proposiciones equivalentes, pues
tanto si n2 es par entonces n es par como si n es par su cuadrado tambien lo esson
proposiciones ciertas.
Otras versiones idiomaticas para esta equivalencia son: a es par s y solo s a2 lo es o
condicion necesaria y suficiente para que n2 sea par es que n lo sea. La equivalencia tambien
se utiliza en las definiciones, por ejemplo para definir par podemos decir n es par s y solo
s existe un entero k tal que a = 2k.
Las equivalencias logicas (tautologicas) son validas por su forma sin importar el contenido
de las proposiciones internas. As, k no es primo par s y solo s k no es primo o k es impar,
es una equivalencia valida por su forma pues (p q) (p q) es cierta sin importar el
valor de verdad de p y q. La tabla 1 muestra una lista de las principales equivalencias logicas.
Digamos para terminar esta seccion, que siempre que p y q sean equivalentes la proposicion
p se puede reemplazar por q y el reves.
Especial atencion merece el conectivo es decir la implicacion, que no es conmutativo
y que es el que da caracter deductivo a la logica simbolica. Cuando una implicacion es
una tautologa da lugar a que el antecedente se puede reemplazar por la concecuencia. Por
ejemplo, p (p q) entonces si tengo p como cierto, tambien sera cierto (p q), pero notese
que teniendo p q no puedo deducir p. Cuando una equivalencia es tautologa se pueden
reemplazar como queramos los extremos, tenemos entonces identidades logicas. Enseguida
presentamos algunas tautologas referentes a la implicacion:
2

Figura 1: George Boole

Figura 2: Caricatura de Auguste de Morgan, dibujada por un alumno

5

Contrarrecproca : (p q) (q p)
Implicaci
on como disjunci
on : (p q) (p q)
Negaci
on de la implicaci
on : (p q) (p q).
Equivalencia como implicaci
on : p q (p q) (q p)
Exportaci
on : (p q) r) (p (q r).
Modus Ponens : (p (p q)) q.

1.3.

Ejercicios

1. Seg
un la definicion 1 cuales de las siguientes expresiones no son formulas proposicionales
sobre p,q,r?
a) (p (q)) b)(p (q))
c) p (q)) b)((p) (q))
2. Construya las tablas de verdad de los conectivos: , , , , ,
3. Sea p la proposicion Hay buen tiempo, q : Hay buenas cosechas, r : Los precios suben. Exprese las siguientes afirmaciones con formulas proposicionales en las
variables p, q, r:
a) Hay buen tiempo y buenas cosechas y sin embargo los precios suben.
b) Si hay buen tiempo hay buenas cosechas y los precios bajan.
c) Si hay buen tiempo y buenas cosechas entonces los precios bajan.
d ) Si los precios bajan es porque hay buen tiempo y buenas cosechas.
e) Si los precios bajan entonces hay buen tiempo y buenas cosechas.
f ) Para que hayan buenas cosechas y los precios bajen es necesario que haya buen
tiempo.
4. Demostrar que {, } es un sistema completo de conectivos logicos.
5. Escriba la negacion de las siguientes afirmaciones.
a) Soy bueno y honesto.
b) Es pobre pero de buena familia.
c) Como nunca viene entonces no se dara cuenta.
d ) Si es lunes es un da difcil.
e) Juan salio a jugar y por lo tanto no esta.
f ) Si a divide a bc entonces a divide a b o bien a divide a c.
g) El que asegura eso, no sabe lo que esta diciendo o es un hipocrita.
6

6. La madre de Mafalda le dice: Si te tomas la sopa te doy dulcemientras que el padre

dice: si no te tomas la sopa no tomas dulce. Explique por que el padre es mas riguroso.

2.

L
ogica de predicados

La expresion x + 1 = 5 no es una proposicion ya que no podemos darle un valor de

verdad. Cuando tenemos expresiones con variables para que tengan un valor de verdad tenemos dos caminos: o bien reemplazamos la variable por una constante apropiada (podramos
decir 5 + 1 = 5, aunque sea falso, pero no Juan + 5 = 1, que no tiene sentido), o bien
podemos colocar cuantificadores a las variables y obtener por ejemplo x(x + 1 = 5),
que se lee: Existe un x tal que x + 1 = 5.
Un predicado es una expresion p(x1 , . . . , xn ) donde los x1 , . . . , xn son variables. Los
predicados pueden operarse como las proposiciones con conectivos logicos, pero ademas,
permiten se modificados por cuantificadores.
El uso de cuantificadores supone un universo donde puedan estar las variables. Si nuestro
universo es finito por ejemplo sus elementos son a1 , a2 , . . . an entonces
p(a1 ) p(a2 ) . . . p(an ) =

n
_

p(ai ) = x (p(x))

i=1

p(a1 ) p(a2 ) . . . p(an ) =

n
^

p(ai ) = x (p(x))

i=1

Notara el lector, que los cuantificadores universal (para todo) y existencial (existe), se
pueden entender como una generalizacion de los conectivos y , a
un en el caso infinito.
Citamos algunas propiedades fundamentales de estos cuantificadores, no independientes,
pues algunas se pueden demostrar de las otras.
Negaci
on del Universal : (x(p(x)) x(p(x))
Negaci
on del Existencial : (x(p(x)) x(p(x))
Conjunci
on del Universal : x(p(x) q(x)) (x(p(x)) x(q(x)))
Disjunci
on del Existencial : x(p(x) q(x)) (x(p(x)) x(q(x)))
Conjunci
on del Existencial : x(p(x)q(x)) (x(p(x))x(q(x)))
Disjunci
on del Universal : x(p(x) q(x)) (x(p(x)) x(q(x)))
Los cuantificadores pueden aparecer varias veces en un predicado desde que se refieran a
variables no cuantificadas anteriormente. Dos cuantificadores del mismo tipo que aparecen
seguidos se pueden intercambiar, no as cuando son de diferente tipo.
Ademas de la existencia de un elemento que cumple una propiedad a veces es u
til garantizar que tal elemento es u
nico. Se usa el cuantificador ! que se lee existe un u
nico y que
se define as:
!(p(x)) x(p(x)) xy((p(x) p(y)) x = y)
7

Esto no muestra como demostrar que una solucion a un problema es u

nica: se suponen dos
soluciones y se concluye que son iguales. Demostrar la unicidad de una solucion es mucho
mas u
til y necesario de lo que a primera vista aparece.
Por otra parte, se acostumbra especificar el universo de la variable con el cuantificador,
se usa por ejemplo x A, pero estrictamente hablando esto solo es una abreviatura, as:
x A(p(x)) x(x A p(x))

2.1.

Ejercicios

1. Dar un ejemplo de un predicado de dos variables p(x, y) tal que xy(p(x, y)) no sea
equivalente a yx(p(x, y))
2. Escriba la negacion de los siguientes predicados:
a) x(p(x) q(x))
b) x(p(x) q(x))
c) x(p(x) q(x))
d ) x(p(x) q(x))
e) x(p(x) q(x)) y(p(y) q(y))
f ) xy(p(x, y) q(x, y))
g) xy(p(x, y))
3. Las siguientes proposiciones son falsas. De en cada caso un contra ejemplo:
a) Si a2 no es par a3 s lo es.
b) n2 + 2n siempre es par.
c) Si n es primo 2n 1 tambien lo es.
d ) Si n es positivo n3 6n2 + 11n 6 = 0.
4. Analice la veracidad de los siguientes predicados de la aritmetica sabiendo que el universo son los n
umeros enteros.
a) nk(n2 = 4k + 1 n = 4k + 1))
b) n(k(n2 = 4k + 1) k(n = 4k + 1))
c) n(k(n = 2k + 1 n = 2k)
d ) n((n|12 n|16) n|2)
e) m(n(m|n))
f ) n(m(m|n))
g) nmr((n|m m|r) (n|r))
h) mn(2|(n + m) 2|(n m))
5. Demuestre que las siguientes equivalencias son ciertas:
8

a) (x(p(x) q(x))) x(p(x)) x(q(x))

b) (x(p(x) q(x))) x(p(x) q(x))
c) x(p(x) q(x)) x(p(x)) x(q(x))
6. La negacion de existen n
umeros pares cuyo cuadrado es impares (escoja lo correcto):
a)
b)
c)
d)

3.

existen n
umeros pares cuyo cuadrado es par
existen n
umeros impares cuyo cuadrado es impar
Todo n
umero par tiene cuadrado par
Todo n
umero impar tiene cuadrado impar

Algebra de conjuntos

Cuando se cuantifican todas las variables que aparecen en un predicado se obtiene una
proposicion que puede ser falsa o verdadera. Cuando una variable no se cuantifica el predicado
p(x) da lugar al conjunto de los elementos que cumplen el predicado, este conjunto se nota
as:
{x | p(x)}
Esto nos permite definir muchsimos conjuntos, por ejemplo el conjunto vaco se podra
definir as:
= {x | x 6= x}
Hay que ser cuidadosos con tener bien claro el universo de donde se escogen los elementos
para determinar el nuevo conjunto. Si definimos A = {x | p(x)} estamos diciendo que (x
A) (p(x)) pero cuidado! Expresiones como
{x | x
/ x}
lleva a contradicciones por cierto muy interesantes, contradicciones y paradojas (por ejemplo
la paradoja del Barbero) que han jugado un papel muy importante en el desarrollo de la
Teora de Conjuntos.
Los predicados fundamentales de conjuntos son del tipo x A que se lee x es un
elemento de A. Aqu trataremos de seguir la buena costumbre de notar siempre los elementos
con letras min
usculas y los conjuntos con may
usculas. Pero la distincion entre elemento y
conjunto no es esencial, podramos considerar que todos los entes de nuestro universo son
conjuntos! Las definiciones del algebra de conjuntos se pueden dar en terminos de la logica
de proposiciones y de predicados como se indican en la siguiente tabla.
A B =: {x | x A x B}
A B =: {x | x A x B}
Ac =: {x | x
/ A}
A B : x(x A x B}
A = B : x(x A x B}

Ejemplo 1. Las propiedades del algebra de conjuntos estan ntimamente ligadas con las de
la logica. Por ejemplo las leyes de Morgan para conjuntos se traducen en (A B)c = Ac B c
y (A B)c = Ac B c y esta u
ltima se puede demostrar as:
(A B)c =: {x | x
/ (A B)}
= {x | (x A x B)}
= {x | x
/ Ax
/ B}
c
= {x | x A x B c }
= Ac B c
La esencia de la demostracion yace en aplicar la tautologa: (p q) (p q).

Figura 3: John Venn (1834-1923

Las leyes entonces del algebra de conjuntos son las mismas de la logica de proposiciones,
es decir las del algebra booleana. Enseguida traducimos las planteadas anteriormente.

10

(A B) (B c Ac )
(A B) (Ac B) = U
(A B) (A B c ) = .
A = B (A B) (B A)
((A B) C) (A C B C)
(U A A = U )
En lo anterior, y en lo que sigue, debe entenderse U como el conjunto universal, el cual hace
el papel de V en logica de proposiciones. El lector comprendera que los enunciados ciertos
en el algebra de conjuntos son infinitos y que conviene reducirlos a unos pocos axiomas de
los cuales se deduzcan todos. Este es el metodo axiomatico, una forma muy eficaz y antigua
de comprimir informacion! Pues bien, hay varias formas de dar axiomas para el algebra
booleana, sin embargo por ahora no es nuestro interes abordar esta tematica. Nuestro interes
es investigar la veracidad de alguna afirmacion de manera intuitiva o reduciendola a su forma
logica. Un tratamiento bastante practico es utilizar diagramas de Venn que consiste en
simular la situacion con conjuntos en un sector del plano.
Ejemplo 2. Para analizar la veracidad de (A B)c C = Ac B c C por medio de
diagramas de Venn mostramos la siguiente grafica: En la figura de la izquierda mostramos

Figura 4: (A B)c C = Ac B c C
(A B)c en color amarillo. En la central representamos (A B)c C y a la derecha las
lneas amarillas verticales son el complemento de A y las de fondo rojo son el complemento
de B, as Ac B c aparece con lneas verticales amarillas y fondo rojo. Se ve entonces que
(A B)c C = Ac B c C. Esta afirmacion del algebra de conjuntos corresponde a la
tautologa: ((p q) r) (p q r)

3.1.

Ejercicios

1. Representar con diagramas de Venn los siguientes conjuntos:

11

a) Ac B c
b) Ac (B c C)
c) Ac (B c C)
2. Si A, B, C son conjuntos entonces:
a) A (B C) = (A B) (A C)
b) (A B)c = Ac B c
c) A (B C)c = A (B c C c )
d ) Todas las anteriores son ciertas.
e) Todas las anteriores son falsas.
3. Si se tiene A (B C) = podemos asegurar:
a) A B
b) A (B C)
c) A B = , y ademas A C =
d ) Todas las anteriores son ciertas.
e) Todas las anteriores son falsas.
4. Demostrar reduciendo a tautologas y comprobar con diagramas de Venn las siguientes
afirmaciones del algebra de conjuntos:
a) Ac B c = (A B) = U
b) A (B c C) (B Ac ) (A C)
5. la diferencia simetrica de A y B que se nota A 4 B se define como A 4 B = (A B c )
(Ac B) demostrar:
a) (A 4 B)c = (A B c ) (Ac B)
b) A 4 B = B 4 A
c) (A 4 B) 4 C = A 4 (B 4 C)
6. i) 0 A
ii) Si x A entonces (x + 2) A y (x 2) A
Cual es el menor subconjunto A de los reales que cumple i) y ii)?
7. Sea = {a, b} se define recursivamente el lenguaje L (un lenguaje es cualquier subconjunto de palabras) as
i) Base: a L ; bb L.
ii) Paso inductivo: Si w L entonces ww L.
iii) Clausura: Las palabras de L se forman u
nicamente aplicando i) y ii).

12

Cuales de las siguientes palabras pertenecen a L?

a. aaaa
b. bbb
c.abbabb
d.

4.

Familias de Conjuntos

Un conjunto cuyos elementos son conjuntos lo denominamos una familia de conjuntos.

Esta distincion entre conjuntos y familias no es teorica sino mas bien pedagogica. La teora
de conjuntos se desarrolla considerando todos sus entes como conjuntos. Una familia de
conjuntos es por ejemplo P (X) el conjunto de todos los subconjuntos de un conjunto X. En
general utilizaremos letras caligraficas A, B, C, T para notar familias de conjuntos. Tambien
se usa notacion subindizada
A = {Ai | i I} = {Ai }iI
aqu I es un conjunto cualquiera de ndices y para cada i I se supone un conjunto Ai en
la familia.
Las operaciones que se han visto entre conjuntos, son solamente validas para familias
finitas de conjuntos, realmente para familias de dos conjuntos del tipo A = {A1 , A2 } =
{Ai }iI cuando I = {1, 2}. Como estas definiciones estan fundamentadas en los conectivos
y y estos se generalizan a los cuantificadores y , dicha generalizacion nos permite dar
la definicion general y muy natural.
Definici
on 2. Sea F = {Ai }iI una familia de conjuntos, definimos:
[
[
Ai = {x | i(i I x Ai )}
F=
iI

F=

Ai = {x | i(i I x Ai )}

iI

Definici
on 3. Sea X un conjunto. Una familia F P(X) es una partici
on de X si se
cumple:
i)
/F
ii) Si A, B F y A 6= B entonces A B = (se dice que los conjuntos de F son disjuntos
dos a dos).
S
iii) F = X
Ejemplo 3. {{z Z | z n( mod m)}nN } es una particion de Z en m conjuntos, cada
uno de ellos infinito.

13

4.1.

Ejercicios

1. Describir los elementos de los siguientes subconjuntos de R:

T
1
a)
i=1 [i 1, i + i )
T
1
b)
i=1 [0, 1 + i )
S
1
c)
i=1 [0, 1 i ]
T
1
1
d)
i=1 [ i , 1 i ]
2. Demostrar las siguientes afirmaciones cuando {Ai }iI es una familia de conjuntos:
T
S
a) ( iI Ai )c = iI (Ai )c
S
T
b) ( iI Ai )c = iI (Ai )c
T
T
c)
iI (Ai B) = ( iI Ai ) B
T
T
d ) Si i I(Ai Bi ) entonces iI Ai iI Bi
3. Se particionan los enteros entre 0 y 11 seg
un dejen el mismo residuo al ser divididos
entre 3. Especifique los elementos de esta particion.
4. Las siguientes familias de conjuntos no forman una particion de Z. Que propiedad
falla?
a) {{nk Z | k N( mod m)}nN }
b) {{z Z | |z n| 2( mod m)}nN }
c) {{z Z | |z n| 2( mod m)}nZ }
d ) {{z Z | |z 3n| 2( mod m)}nN }
5. Determine de las siguientes familias de conjuntos cuales forman una particion de R.
a) {{xk R | k N( mod m)}xR }
b) {{x + k R | k Z( mod m)}xR }
c) {(n 12 , n + 12 ]}nZ }
d ) {[n 21 , n + 12 ]}nZ }
T
S
6. Si I = que es iI Ai y iI Ai ? Justifique su respuesta.

5.

Algo de conteo: Conjuntos Finitos

En las ciencias de la computacion saber contar es algo muy importante, piense en la

importancia de este arte, llamado tambien combinatoria, para comparar la eficiencia de
dos algoritmos. Empezaremos contando los elementos de ciertos conjuntos, estos que se dejan
contar con n
umeros naturales son los conjuntos finitos.
Definici
on 4. El n
umero de elementos de un conjunto finito A se llama el cardinal de A y
se nota |A|. En este caso A se puede expresar as: A = {a1 , a2 , . . . , an }.
14

5.1.

Vectores Booleanos

La manera natural de tratar los conjuntos finitos computacionalmente es por medio de

vectores que en sus componentes siempre llevan 0s o 1s, o lo que lo mismo, palabras sobre
el alfabeto = {0, 1}.
Si A es un conjunto dentro de un universo U con n N elementos, A queda determinado
por un vector A[i] de n componentes donde el valor de A[i] es 0 o 1 si el i-esimo elemento
de U no esta o esta en A.
Los vectores booleanos tambien se pueden entender como entradas a una maquina que
debe devolver valores de 0 o 1 seg
un las entradas.
Ejemplo 4. Para mostrar los n
umeros una calculadora se usan siete diales que forman
un ocho. Supongamos que se quiere controlar el dial superior horizontal. Este se prende

Figura 5: Diales para expresar los n

umeros en una calculadora
con los n
umeros 0, 2, 3, 5, 6, 7, 8, 9 es decir no se prende con 1 y 4 de los n
umeros de la
calculadora. Necesitamos hacer un mecanismo que responda con 0 cuando entran los vectores
booleanos 0001 y 0100 y que responda 1 ante los estmulos 0000, 0010, 0011, 0101, 0111, 1000
y 1001. Para simplificar suponemos que los demas vectores booleanos de 4 componentes no
se dan. Si representamos por (x1 , x2 , x3 , x4 ) el vector que entra, la salida que queremos es
((x1 x2 x3 x4 ) (x1 x2 x3 x4 )). Ahora bien estas expresiones logicas se
pueden realizar en circuitos electronicos. He aqu la base teorica del hardware!

5.2.

Otras Cuentas

Proposici
on 1. El n
umero de palabras de longitud n sobre una alfabeto de m elementos es
mn . Si n = {w | |w| = n}
|n | = ||n
.
Demostracion. Si tenemos palabras mn de longitud n para formar palabras de longitud n + 1
podemos y debemos agregar una letra dentro de m posibles. Por tanto por cada una de las mn
palabras sobre una alfabeto de m elementos formamos exactamente m palabras de longitud
m + 1, en total obtenemos mn m = mn+1 palabras de longitud n + 1.
Demostracion. Procedemos por induccion sobre n la longitud de la palabra. Es claro para
n = 0 pues 0 = {} (y para 1 tambien:1 = ).
15

Proposici
on 2. Sea X un conjunto finito y notemos P(X) al conjunto que consta de todos
los subconjuntos de X. Entonces:
|P(X)| = 2|X|
Demostracion. Simplemente notese que hay tantos subconjuntos de X como vectores booleanos de |X| componentes.
Cual es el cardinal de Ai A2 , . . . An ? Empezaremos respondiendo para dos casos que
son faciles de manipular.
Proposici
on 3. Siendo A, B, C conjuntos:
|A B| = |A| + |B| |A B|
|A B C| = |A| + |B| + |C| |A B| |A C| |B C| + |A B C|
Demostracion. Probemos que |A B| = |A| + |B| |A B| por induccion sobre el n
umero
de elementos de B. Si B = , el resultado es obvio. Supongamos ahora que a B le agregamos
un elemento x
/ B y hay dos posibilidades:
Si x A entonces |AB{x}| = |AB| = |A|+|B||AB| pero |A(B{x})| = |AB|+1
mientras |B {x}| = |B| + 1 entonces
|A B {x}| = |A| + |B {x}| |A (B {x})|
Si x
/ A entonces |AB {x}| = |AB|+1 = |A|+|B||AB|+1 pero |A(B {x})| =
|A B| mientras |B {x}| = |B| + 1 entonces
|A B {x}| = |A| + |B {x}| |A (B {x})|
y queda demostrado que |A B| = |A| + |B| |A B|.
Para ver que |A B C| = |A| + |B| + |C| |A B| |A C| |B C| + |A B C| lo
hacemos aplicando lo anterior:
|(A B) C| =
= |(A B)| + |C| |(A B) C|
= |A| + |B| |A B| + |C| |(A C) (B C|
= |A| + |B| |A B| + |C| (|(A C)| + |B C| |A B C|)
= |A| + |B| |A B| + |C| |(A C)| |B C| + |A B C|

Teorema 1 (Principio de Inclusi

on-Exclusi
on). Dados A1 , . . . , An S then
X
\
|A1 An | =
(1)|J|1 |AJ | , donde AJ =
Ai .
iJ

6=J{1,...,n}

16

5.3.

Binomial
n
k

para n, k Z as:




Base :Si n < 0 k < 0 k > n entonces nk = 0; 00 = 1






n
n
Paso Recursivo : n+1
=
+
k+1
k
k+1
Definici
on 5. Se define recursivamente

Proposici
on.
 
n
n!
=
k
k!(n k)!
Demostracion. Pruebese que
coeficiente binomial.

n!
!
k!(nk)

cumple la base y el paso recursivo de la definicion del

Proposici
on. Un conjunto con n elementos tiene exactamente
mentos.

n
k

subconjuntos con k ele-

Demostracion. Sea C(n, k) el n

umero de conjuntos de k elementos de un conjunto con n elementos. Demostraremos que C(n, k) cumple la ley recursiva del coeficiente binomial. Veamos
que
C(n + 1, k + 1) = C(n, k) + C(n, k + 1)
En efecto, los conjuntos de {a1 , . . . , an , an+1 } con k + 1 elementos los podemos dividir en
dos: los que contienen a an+1 que son tantos como los subconjuntos de {a1 , . . . , an } con k
elementos y son C(n, k) y por otra parte, los que no contienen a an+1 que son tantos como
los subconjuntos de {a1 , . . . , an } con k + 1 elementos y son C(n, k + 1). Como en estas dos
familias no hay conjuntos comunes se tiene el paso recursivo de la definicion de binomial.
Que C(n, k) tambien cumple la base es inmediato.


Ejemplo 5. El n
umero de maneras de escoger 5 cartas de la baraja es 52
. De estas manos
5
cuantas son las que tienen al menos una carta de cada
palo?.
Contemos
las
que no contienen




5213
39
un palo especfico, por ejemplo el diamante:
= 5 . Sean A1 , A2 ,
A3 , A4 los conjuntos
5
de 5 cartas que no contiene un palo determinado, entonces |Ai | = 39
. Si i 6= j
entonces
5
Ai
Aj es el conjunto de manos que no contienen los palos
i y j y |Ai
Aj | = 26
y habra
5
4
13
4
maneras de escoger i, j. As mismo, |Ai Aj Ak | = 5 y habra 3 maneras de escoger
2
i, j, k. Aplicando el principio de inclusion exclusion hay
          
52
39 4
26 4
13 4

= 685,464
5
5
1
5
2
5
3
conjuntos de cinco cartas que contienen todos los palos.


Proposici
on. Hay nk vectores binarios de n componentes que tienen exactamente k 1s.
Teorema 2 (Teorema del Binomio). Para a y b R, n N se tiene:
X n 
n
(a + b) =
ak bnk .
k
k
Hay muchas pruebas de esta afirmacion. Bosquejamos dos:
17

Demostracion. (a + b)n = (a + b)(a + b) . . . (a + b), y se tiene que el coeficiente

ak bnk es el


n
n
umero k-subconjuntos de un n-conjunto por tanto el coeficiente es k .
Demostracion. Procedemos por induccion sobre n, usando el hecho de que
  
 

n
n1
n1
=
+
.
k
k1
k

Proposici
on. Si p es primo y 0 < m < p entonces

p
m

(mod p)


pa
Demostracion. Haciendo a = (p 1) . . . (m + 1) tenemos que mp = (pm!
N por tanto
(p m)! divide a pa pero p y (p m)! son primos relativos y por

el lema de Euclides, (p m)!
p
debe
dividir
a
a,
digamos
que
a
=
q(p

m)!,
de
donde
= pq y por tanto p divide a
m


p
.
m
El teorema del binomio tiene muchsimas aplicaciones. Como un ejemplo, veamos las
siguiente demostracion de un teorema clave en la teora de n
umeros.
Teorema 3 (Teorema d
ebil de Fermat). Si p es primo entonces ap a
todo a N.

(mod p) para

Demostracion. Procedemos por induccion sobre a. Es obvio cuando a = 0, tomemos a > 0

y supongamos que el teorema es cierto para a 1. Entonces
ap = ((a 1) + 1)p
 
p
(a 1) + 1 mod p porque
0
k
a 1 + 1 mod p
a mod p
p

5.4.

(mod p) salvo para k = 0 o k = p

Ejercicios

1. Para cada una de las siguientes expresiones booleanas p(x, y, z) especifique los elementos del conjunto de vectores booleanos A = {xyz | p(x, y, z) = 1}.
a) (x y) (z x)
b) (x y) (z x)
c) (x y) (z x)
d ) (x y) (z x)
2. Para cada uno de los siguientes conjuntos encuentre una expresion booleana p(x, y, z)
en terminos de los conectivos , , (es decir A = {xyz | p(x, y, z) = 1}.
a) {010}
18

b) {000,101,110,011}
c) {000,001,100,010}
d ) {101,110,011,111}
3. Cuantos n
umeros hay de tres cifras con todos su dgitos impares?
4. Cuantos n
umeros hay de tres cifras con todos su dgitos pares? (Ojo: 024 no es de
estos, ya que es de dos cifras!)
5. Sea X un conjunto con n elementos y F una particion de X tal que si A F entonces
|A| = m, determine |F|
6. Cuantas placas de autos se pueden hacer si deben tener tres letras seguidas con tres
dgitos?
7. Una clave para ingreso a una cuenta debe tener entre 4 y 8 letras del alfabeto ingles
distinguiendo entre may
usculas y min
usculas (52 caracteres en total). Cuantas claves
diferentes pueden existir?
8. De cuantas maneras se puede escoger 3 estudiantes de un grupo de 25?
9. Un equipo de voliball consta de 5 mujeres y 6 hombres, si en la alineacion siempre debe
haber exactamente dos mujeres. De cuantas maneras diferentes se pueden escoger los
seis jugadores ?
10. Encuentre el valor de cada uno de los siguientes coeficientes binomiales:






a) 10
;
b) 50
;
c) 20
.
0
1
3
11. Demostrar:




a) nn = n0 = 1;

b)

n
k

n
nk

12. Use el teorema del binomio para encontrar todos los terminos en la expansion de las
siguientes expresiones:
a) (a + b)5 ;

b) (m n)7 ;

c) (3x 4y)7 .

13. Cual es el coeficiente de x99 y 101 en la expansion de (2x + 3y)200 ?.

14. Demuestre que:
n  
X
n
i=0

= 2n

( Sugerencia: expanda (1 + 1)n ).

15. Expandiendo (1 + (1))n , demuestre que:
n
X

 
n
(1)
=0
i
i=0
i

.
19

16. Usando
el ejercicio anterior compare los valores de


n
+
.
.
..
5

n
0

n
2

n
4

+... y

n
1

n
3

17. Pruebe
n,
r y k son enteros tales que 0 k r n entonces:


quen
sink
n r
= k rk .
r k








n
n+1
18. Pruebe que rr + r+1
+
.
.
.
+
=
.
r
r
r+1
19. Los coeficientes binomiales se pueden colocar formando el famoso Tri
angulo de Pascal (tambien llamado de Tartaglia) como se muestra en el arreglo.
1
1
1

1
2

1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
a) Cuales de las propiedades de los coeficientes binomiales enunciadas se observan
en el Triangulo?
b) Si desarrollamos un trinomio a la potencia n los coeficientes correspondientes se
pueden ordenar en una piramide. Como sera?
20. De los estudiantes de un grupo 2 no practican ning
un deporte, 12 practican el f
utbol
y el basquet, 5 el f
utbol y el volibol , 7 practican el f
utbol u
nicamente, 17 en total
practican el basquet, 12 en total practican el volibol, no hay quien practique los tres
deportes conjuntamente, y son 5 los que practican el basquet y el volibol. Cuantas
personas componen el grupo?
21. 28 personas se encuentran en una monta
na del Per
u. Entre ellos se hablan tres idiomas:
quechua, espa
nol e ingles. El n
umero de los que hablan exclusivamente un idioma
siempre es impar, los grupos de personas que hablan dos de los tres idiomas es siempre
par. Si los que hablan espa
nol son 18, cuantos hablan ingles y quechua?
22. En terminos de la sucesion de Fibonacci determine cuantas palabras sobre el alfabeto
{0, 1} hay de longitud n que no tienen dos 1s seguidos. Justifique su respuesta.
23. Elaborar una algoritmo que enumere todos los subconjuntos del conjunto {0, 1, . . . , n}
24. Dados los vectores booleanos de n componentes A[i], B[j], que representan los conjuntos
A y B respectivamente desarrollar algoritmos para construir C[i] que representa:
a) Ac B c
b) A B c
c) Ac B c

20

6.

Lenguajes Regulares

Recordamos que si es un conjunto finito (alfabeto), cualquier subconjunto de es un

lenguaje. Tambien recordemos que hemos definido una operacion muy natural entre palabras
de que es la concatenacion y que consiste en juntar las palabras a operar. Dados dos
lenguajes podemos hacer entre ellos operaciones como conjuntos y tambien hallar relaciones
entre ellos.
Ejemplo 6. {an cbn | n N} y {an cbm | n, m N} son lenguajes sobre = {a, b, c}, se
tiene que {an cbn | n N} es subconjunto propio de {an cbm | n, m N}.
Definici
on 6. Dados L1 y L2 lenguajes sobre un alfabeto se define la concatenacion de
L1 y L2 as:
L1 L2 = {w1 w2 | w1 L1 , w2 L2 }
Ejemplo 7. {ab, aa, ba, bb}{ab} son todas las palabras sobre = {a, b} de cuatro letras que
terminan en ab.
Podemos tambien ampliar el concepto de lenguaje generado por un alfabeto, tomando
ahora como alfabeto cualquier conjunto de palabras.
Definici
on 7. Dados L lenguaje sobre el alfabeto se define la estrella de Kleene L
recursivamente as:
i) BASE L
ii) PASO RECURSIVO Si v L y w L entonces wv L
Notaci
on. L+ = LL
Ejemplo 8. {ab, aa} {ab, aa} = {ab, aa}+ son todas las palabras sobre = {a, b} con un
n
umero par de letras que no contienen dos bs seguidas y que empiezan por a.
Finalmente definimos los lenguajes regulares que son una familia muy importante de
lenguajes.
Definici
on 8. Dado el alfabeto se define la familia de lenguajes regulares sobre
recursivamente as:
i) BASE , {} y {x} para cada x son lenguajes regulares.
ii) PASO RECURSIVO Si L1 y L2 son lenguajes regulares entonces L1 L2 , L1 L2 y L1
son lenguajes regulares.
Notaci
on. L+ = LL
Ejemplo 9. Todo conjunto finito de palabras es un lenguaje regular. Para generarlos no es
necesario utilizar la de Kleene. Por ejemplo, L = {abab, aaab, abaa, aaaa} es regular pues
si N = {a}{b} {a}{a} entonces L = N N .
Ejemplo 10. El conjunto de palabras sobre = {a, b} que empiezan y terminan con a es
un lenguaje regular ya que se puede expresar as: {a}{a, b} {a}.
21

No todos los lenguajes sobre un alfabeto son regulares. Demostrar que determinado lenguaje no es regular por ahora no esta a nuestro alcance, sin embargo anotemos que los
siguientes no lo son:
1. El conjunto de palabras sobre = {a, b} que tiene igual n
umero de as que bs.
2. El conjunto de palabras sobre = {a, b} de la forma an bn .
3. El conjunto de palabras palndromes sobre un alfabeto , es decir el conjunto {w
| wR = w}.

6.1.

Ejercicios

1. Entre los siguientes conjuntos de palabras sobre = {a, b} encuentre las relaciones de
contenencia:
a) ({a} {ab} )
b) {a} {ab}
c) {a, ab}
2. Cuales de las siguientes palabras pertenecen al lenguaje {a}({ab, ba}) {b}:
a. ababab
b. ababbab
c. aabbabab
d. abbaabb
d. aababaabb
3. La palabra aaabab a cuales de los siguientes lenguajes pertenece:
a. {a}({ab, ba}) {b}:
b. {a} {ab, ba}{b}:
c. {aa}{ab, ba}{b}
d. {a} {ba}{b}
d. {a} {ab}{b}
4. Defnase recursivamente el lenguaje L as:
i) Base: L
ii) Paso recursivo: Si L b L aa L
Entonces L es el lenguaje:
a. {aa} {b}
b. {aa} {b}+
c. {ab}
22

d. {a2n bn | n 0}
d. Ninguna de las anteriores
5. De las palabras del lenguaje {a, ba} podemos decir (FALSO/VERDADERO):
a. Todas tienen un n
umero par de bs.
b. Que salvo , todas tienen al menos una b.
c. Que salvo , todas terminan en a.
d. Ninguna contiene a bb.
e. Que salvo , todas contienen al menos una a.
6. De las cadenas del lenguaje a b(a+ b) podemos decir (FALSO/VERDADERO):
a. Todas tienen un n
umero impar de bs.
b. Que todas tienen al menos una b.
c. Todas terminan en b.
d. Ninguna contiene a bb.
e. Que todas contienen al menos una a.
7. Demostrar que los siguientes conjuntos de palabras sobre = {a, b} son regulares:
a. Todas las que tienen un n
umero impar de bs.
b. Las que tienen al menos una b.
c. Las que terminan en b.
d. Las que NO contienen contiene a bb.
e. Las que contienen exactamente una a.

23