Você está na página 1de 92

Lecciones populares

de matemticas

LGEBRA
EXTRAORDINARIA
I.M.Yaglom

www.FreeLibros.me

www.FreeLibros.me

www.FreeLibros.me

n o ny jiH P H b iE

j ib k iu ih

no

m atem athke

M. M. flrjIOM
HEOEblKHOBEHHAfl
A J irE B P A

H3flATEJ3I>CTBO

HAyKA

www.FreeLibros.me

LECCIONES POPULARES DE MATEMATICAS

I. M. YAGLOM

ALGEBRA
EXTRAORDINARIA

S e g u n d a e d ic i n
Traducido del ruso por Carlos Vega,
Candidato a Doctor en Ciencias fsico-matemticas.
Catedrtico de Matemticas Superior?

ED ITORIAL M IR
MOSCU

www.FreeLibros.me

P rim e ra e d ic i n 1977
S e g u n d a e d ic i n 1983

Ha ucnancKOM statane

Traduccin al espaol. Editorial Mir, 1977

IMPRESO EN LA URSS

www.FreeLibros.me

INDICE

1. Algebra de los nmeros y lgebra


de los conjuntos 7
2. Algebras de Boole 22
3. Otras propiedades de las lgebras de Boole:
principio de dualidad;
igualdades y desigualdades booleanas 36
4. Conjuntos y proposiciones;
lgebra de las proposiciones 51
5. Leyes del pensamiento y reglas
de la deduccin. 60
6 . Proposiciones y circuitos de contactos 66
Apndice. Definicin del lgebra de Boole 76
Respuestas y sugerencias a ejercicios 78
Bibliografa 82

www.FreeLibros.me

www.FreeLibros.me

1 .
A LG E BR A
D E LOS NUMEROS
Y ALGEBRA
DE LOS CONJUNTOS

En la escuela, durante las clases de Aritmtica y de Alge


bra, se estudian nmeros de la ms diversa ndole. En el
primer grado los alumnos se encuentran con los nmeros
enteros que 110 les crean dificultades, pues en su mayora
vienen a la escuela teniendo cierto conocimiento de los
mismos. Pero ms tarde aparecen nuevos y nuevos nmeros;
ahora ya nos hemos acostumbrado a ellos y no nos sorprenden;
pero no menos cierto es que cada voz que se ampla el concepto
de nmero tenemos que deshacernos de unas u otras ilusiones.
El nmero (entero) responde a la pregunta de cuntos objetos
contiene una u otra coleccin; por ejemplo, de cuntas manza
nas hay en una cesta, de cuntas pginas tiene un libro o de
cuntos varones hay en un aula. Y las fracciones? Acaso
1
1
puede haber en un aula 33 varones o aparecer 3
platos en
una mesa? Claro que no. Pero en la mesa puede haber 4 y
manzanas, una pelcula puede durar 1

horas e incluso

puede haber en un estante 6 4 " libros (lo que no habla a favor


del dueo de los libros pero tampoco contradice el sentido
comn). Apenas nos acostumbramos a que puede haber un
nmero fraccionario de objetos, aparecen los nmeros negati
vos. Claro est que en un estante no puede haber 3 libros;
esto sera ya contranatural. Pero un termmetro puede marcar
5o y t puedes tener 50 kopeks; lo ultimo, desdo luego,
es muy lamentable, pero slo para ti y no para las Matemti
cas. Y en los grados superiores aparecen nmeros verdadera
mente terribles: primero los irracionales, como es 1^ 2 ,
2-

www.FreeLibros.me

y despus los imaginarios, como es 1 + 2 i1); los propios


nombres explican la actitud del hombre hacia estos nmeros
hasta que se acostumbr a ellos. Es posible que t los ignores
por ahora y slo los conozcas ms adelante2); esto no es bice

o t b manzanas

ab manzanas

O O O l'O O O O

o o :o

o i o

O O O iO O O O

O 0 0 0 ;0

0 :0

O O O iO O O O

0 : 0 0

a montanas

b manzanas

0 : 0

i
g
manzanas^js^ ^/^^.manzonas
a g ru p a s de manzanas

FIO. 1

F1G. 2

para que leas este libro. Los nmeros irracionales e imagina


rios estn muy lejos de la idea primaria del nmero en tanto
que caracterstica de la cantidad de objetos; sin embargo,
tambin llevan el nombre de nmeros.
Qu es lo que tienen de comn todos estos tipos de n
meros? qu obliga a darles el mismo nombre de nmero?
La semejanza principal entre todos los tipos de nmeros
consiste en qiie se pueden sumar y multiplicar3). Pero esta
semejanza es bastante relativa: aun cuando podamos sumar
y multiplicar nmeros de todos los tipos, estas operaciones
tienen sentido absolutamente distinto en los diferentes casos.
*) Los nmeros de tipo 1 + 2i suelen denominarse
actualmente complejos; el trmino imaginario (o imaginario puro)
se emplea para los nmeros como 21 o \f2i (en contraposicin, I03
3
_
nmeros como 1 , -- ^ o ] /2 suelen denominarse reales).

-) Una exposicin lcida y sencilla de los distin


tos tipo9 de nmeros aparece eu el libro de I. Niven, Numbres: rational
and irratlonal, Random House, New York, 1961.
3) Pero no restar ni tampoco dividir: si conocemos
slo los nmeros positivos, no podemos restar del nmero 3 el nme
ro 5; si conocemos slo los nmeros enteros, no podemos dividir el
nmero 7 por el nmero 4.

www.FreeLibros.me

As, sumar dos nmeros enteros positivos a y b significa


hallar el nmero de objetos comprendidos en la unin de dos
colecciones, una de a y otra de b objetos: si en una clase de
sptimo grado liay 35 alumnos y en otra clase del mismo gra
do hay 39 alumnos, en ambas clases de este grado habr
35
39 = 74 alumnos (vase tambin la fig. 1). Do modo
anlogo, multiplicar los nmeros enteros positivos a y b
significa hallar el nmero de objetos del conjunto de a
colecciones con b objetos en cada una: si en una escuela hay
3 clases de sptimo grado y en cada una estudian 36 alum
nos, en la escuela habr 3- 36 = 108 alumnos de sptimo grado
(vase tambin la fig. 2). Pero se hace imposible extender en
esta forma las definiciones de la adicin y de la multiplicacin al caso de las fracciones ni al de los nmeros negativos
(de los nmeros irracionales e imaginarios preferimos incluso
no hablar aqu).
De tal manera, llegamos, al parecer, n la conclusin si
guiente: denominamos con la misma palabra nmero dis
tintos tipos de nmeros debido a que todos se pueden sumar
y multiplicar; pero las propias operaciones de adicin y de
multiplicacin son absolutamente distintas segn los dife
rentes tipos de nmeros. Sin embargo, aqu nos hemos apre
surado un poco: de hecho, la adicin de los nmeros enteros
y la adicin de las fracciones no son operaciones tan absolu
tamente distintas. Ms exactamente, las definiciones de estas
operaciones son efectivamente diferentes; ahora bien, sus
propiedades son absolutamente idnticas. As, para nmeros
de cualquier ndole

a-\-b = b Jr a

loy conmutativa de la
adicin
(fi+ & ) + c = a-|-(6-|-c)
ley asociativa de la
adicin

ab = ba\
ley conmutativa de la
multiplicacin

{ab)c = a(bc)\
loy asociativa de la
miltiplicacin

en todos los casos existen dos nmeros especiales 0 y 1 , tales


que
para todo nmero a. Y para el lgebra moderna es tpico el
sigiiiente punto de vista acerca del contenido de esta materia:
el lgebra estudia algunos sistemas (distintos) de nmeros

www.FreeLibros.me

10

para los cuales estn definidas las operaciones de adicin y


de multiplicacin que verifican las leyes ya sealadas y otras
como, por ejemplo,
( -f- b) c = ac + be,
ley distributiva do la multiplicacin respecto a la suma

donde a, b y c son nmeros de cualquier ndole.


La existencia en los sistemas de nmeros de dos operacio
nes la adicin y Ja multiplicacin origina cierto parale
lismo tanto ms manifiesto por cuanto las propiedades de la
adicin se parecen mucho a las de la multiplicacin. Este
paralelismo se observa, por ejemplo, en que cualquier interro
gado sustituir en la proporcin extraa
adicin _
resta

m ultiplicacin
?

el signo de interrogacin por divisin sin reparar mucho en


lo que significa esta proporcin; tambin se observa en que
los alumnos, e incluso sus padres, confunden frecuentemente
los trminos de nmero opuesto (el nmero a que sumado
con el nmero a da 0 ) y de nmero inverso (el nmero i/a
cuyo producto por el nmero dado a es igual a 1 ), as como
en la similitud que existe entre las propiedades de la progre
sin aritmtica (serie de nmeros en la cual la diferencia en
tre dos nmeros sucesivos cualesquiera es la misma) y la
progresin geomtrica (serie de nmeros en la cual el cociente
de dos nmeros sucesivos cualesquiera es el mismo).
Sin embargo, no siempre se observa esta semejanza, este
paralelismo. Por ejemplo, el nmero 0 desempea un papel
especial no slo respecto a la adicin sino tambin respecto
a la multiplicacin: esto se expresa en que para todo nmero a

a -0 = 0
(de aqu resulta, en particular, que no se puede dividir por 0
un nmero distinto de 0). Ahora bien, si en la ltim a igualdad
sustituimos la multiplicacin por la adicin y el cero por el
uno, obtendremos una igualdad extraa
a + 1= 1

www.FreeLibros.me

11

vlida slo para a O1). Adems, si en la ley distributiva


(a
b) c = ac
+
be sustituimos la adicin por la m ultipli
cacin y viceversa, obtendremos la igualdad

ah + c (a -f- c) (b + c)
con la que nadie, por supuesto, estar de acuerdo. [Como
es obvio que
(a -j- c) (b 4- c) = ab + ac + be + c2 = ab-\-c (a + fc-f-c),
resulta que (a 4 - c) (b + c) = ab 4 - c slo si c = 0 o si
a + b + c 1.1
Pero el lgebra conoce tambin otros sistemas.no num
ricos, en los que tambin se pueden definir las operaciones de
adicin y de multiplicacin ms similares entre s que la
adicin y la multiplicacin de los nmeros. Consideremos,
por ejemplo, el lgebra de los conjuntos que es muy impor
tante. Se entiende por conjunto una coleccin cualquiera de
objetos arbitrarios denominados elementos del conjunto:
se puede hablar del conjunto de los alumnos de una clase
de sptimo grado, del conjunto de los puntos de un crculo,
del conjunto de los puntos de un cuadrado, del conjunto
de los elementos de la tabla peridica de Mendelev, del
conjunto de los nmeros pares, del conjunto de las notas
de los alumnos de una clase, del conjunto de los elefantes
de la India, del conjunto de las faltas gramaticales en tu
composicin, etc. Resulta bastante claro cmo puede defi
nirse la suma de dos conjuntos: entenderemos por suma
A -f B del conjunto A y del conjunto B simplemente la unin
de ambos conjuntos. Por ejemplo, si A es el conjunto de varo
nes y B el conjunto de hembras de tu clase, A + B es el
conjunto de todos los alumnos de tu clase; si A es el conjunto
de todos los nmeros enteros positivos pares y B es el con
junto de todos los nmeros divisibles por 3, el conjunto
A + B
{2, 3, 4, 6 , 8 , 9, 10, 12, 14, 15, 16, 18, 20, 21, 22 , . . .}
consta de unos y otros nmeros; si A es el conjunto de los
puntos del valo sombreado en la fig. 3 horizontalmente y
l ) Si la igualdad a -f 1 = 1 Juese vlida para todo
a, sera imposible restar 1 a cualquier nmero distinto de 1; esto, por
supuesto, es falso; as 3 i = 2.

www.FreeLibros.me

12

B es el conjunto de los puntos del valo sombreado oblicua


mente, el conjunto A + B es toda la regin sombreada en la
fig. 3. Est claro (vase, por ejemplo, la fig. 3) que para
cualesquiera dos conjuntos A y B
A -\
- B = B -\
-A t
o sea, para la adicin de conjuntos se cumple la ley conmutatipa. Adems, por supuesto, cualesquiera que sean los con
juntos
B y C. siempre

{A -\
- B) -f- C A + (B -(- C),
o sea, tiene lugar la ley asociativa de la adicin de conjuntos.
El conjunto (A -f- B) + C (o A -f (B -r C)) se puede indicar

simplemente por A -f B -f- C omitiendo los parntesis;


representa la unin de los tres conjuntos A , B y C (as, en la
fig. 4 el conjunto A + B
C coincide con toda la regin
sombreada).
Convengamos ahora en denominar producto AB de los
conjuntos A y B la parte comn o la interseccin de estos con
juntos. As, s A es el conjunto de ajedrecistas de tu clase y B
es el conjunto de nadadores, AB ser el conjunto de los
ajedrecistas diestros en natacin; si A es el conjunto de los
nmeros enteros positivos pares y B es el conjunto de los

www.FreeLibros.me

13

nmeros divisibles por 3. el conjunto AB


{6 , 12, 18, 24, . . .}
est formado por todos los nmeros divisibles por 6 ; si el
conjunto A consta de los puntos del valo sombreado en la
fig. 5 horizontalmente y B es el conjunto de los puntos del

valo sombreado verticalmente, el conjunto AB quedar


cubierto en la misma figura por una reja de lneas horizon
tales y verticales. Est claro que tambin para La m ultiplica
cin de conjuntos se cumple la ley conmutativa, o sea, para
cualesquiera dos conjuntos A y B

AB = BA
(vase la misma fig. 5; se comprende tambin que el con
junto AB de los ajedrecistas diestros en natacin y el con
junto BA de los nadadores diestros en el ajedrez es un mismo
conjunto). Adems, es igualmente obvio que para la m ulti
plicacin de conjuntos es vlida tambin la ley asociativa, o sea,
para cualesquiera tres conjuntos A , B y C

( A B ) C = A (BC).
E l conjunto (/15) C o A (BC) se puedo indicar simplemente
por ABC omitiendo los parntesis; representa la parte comn
3-1176

www.FreeLibros.me

14

o la interseccin de los tres conjuntos A , B y C (en la fig. 6


el conjunto ABC tiene un triple sombreado1)).
Es notable quo para cualesquiera tres conjuntos A , B y C
se cumple tambin la ley distributiva :

(A + f)C = AC 4- BC.
En efecto, si A es, digamos, el conjunto de los ajedrecistas
de tu clase, B es el conjunto de los alumnos aficionados al

F I O . (I

juego de las damas y C es el conjunto de los nadadores,


entonces A -\
- B representa la unin de los conjuntos de los
ajedrecistas y de los aficionados al juego de las damas, o sea,
el conjunto de los alumnos aficionados a uno de estos juegos:
al del ajedrez o al de las damas (o, posiblemente, y al del
ajedrez y al de las damas). E l conjunto (A + f l ) C se obtiene
del conjunto A
B dejando en la unin A
B slo aqueJ) He anu otro ejemplo que 8xplica La ley asocia
tiva de la multiplicacin ao conjuntos. Sean A el conjunto de los
nmeros enteros divisibles por 2, B el conjunto de los nmeros divi
sibles por 3 y C el conjunto de los nmeros divisibles por 5; entonces,
AB es el conjunto de los nmeros divisibles por 6 y (4S) C es el con
junto do los nmeros divisibles por 6 y por 5, osea, divisbles por 30.
De otro lado, BC es el conjunto de los nmeros divisibles por 15 y
A (BC) es el conjunto de los nmeros pares divisibles por 15, o sea,
es de nuevo el conjunto de todos los nmeros (enteros) divisibles
por 30.

www.FreeLibros.me

15

los alumnos que adems saben nadar. Pero est claro que
obtendremos exactamente el mismo conjunto formando la
unin AC + BC deJ conjunto AC de los ajedrecistas diestros
en natacin y del conjunto BC de los aficionados al juego de
las damas que saben nadar.
Es posible que esta explicacin vei'bal de la ley distri
butiva te parezca farragosa. Conviene emplear en tal caso la

re .. 7

representacin grfica. En la fig. 7, a el conjunto A


H
est sombreado horizontalmente y el conjunto C, verticalmente. de modo que el conjunto (A
B) C resulta cubierto
por una reja de lneas. En la fig. 7, b los conjuntos AC y BC
estn sombreados con lneas oblicuadas baca la derecha y
bacia la izquierda, respectivamente; el conjunto AC 4- BC
coincide con toda la regin sombreada en esta figura. Pero
es fcil ver que la regin AC -f BC sombreada en la fig. 7, h
no difiere de la regin (.4 -f- B) C doblemente sombreada en
la fig. 7, a.
No es difcil comprender qu conjunto desempea el pa
pel del cero en nuestra lgebra de los conjuntos. En efecto,
la adicin de este conjunto O (designaremos el conjunto
cero por la letra O. similar por su forma al nmero 0 )
no debe alterar ningn conjunto; luego, ol conjunto O no
contiene ningn elemento, es vaco. Puedes sentir ol deseo
de excluir por completo semejante conjunto vaco do la con

www.FreeLibros.me

16

sideracin: si el conjunto O no contiene elementos, representa


un absurdo, y uo un conjunto, y ni siquiera vale la pena
hablar de l. Sin embargo, tan infundado sera proceder de
esta manera como excluir el 0 del conjunto de los nmeros
por el mero hecho de que la coleccin de cero objetos tam
bin es vaca y, al parecer, no tiene sentido hablar del
nmero de objetos que contiene. Pero, en realidad, s
tiene sentido; y mucho. Si no tuvisemos el nmero 0, no
podramos restar uno de otro cada dos nmeros (porque en
este caso la diferencia 33 no sera igual a nada), no podra
mos representar, digamos, el nmero 108 (una centena, ocho
unidades y ninguna decena) en el sistema decimal de nume
racin, como tampoco podramos hacer otras muchas cosas;
no es casual que el surgimiento de la idea del cero sea consi
derado como uno de los acontecimientos ms notables en
toda la historia de la Aritmtica. Exactamente igual, si
no se incluye entre los conjuntos el conjunto vaco O, no
podremos sealar el producto (o la interseccin) de dos con
juntos cualesquiera: as, es vaca la interseccin do los
conjuntos A y B representados en la fig. 8 , como tambin es
vaca la interseccin del conjunto de los alumnos de tu
clase que estudian en sobresaliente y del conjunto de los
elefantes. Y en general, si nos negsemos a usar el concepto de
conjunto vaco, en muchos casos tendramos que hablar de
los conjuntos con gran recelo: y si resulta vaco, o sea, no
existe, el conjunto de los alumnos de quinto grado llam a
dos Andrs en la escuela N 6 de Leningrado?
Est claro que si O es el conjunto vaco, entonces para
cualquier conjunto A
A + 0 = A.
No menos claro est que cualquiera que sea el conjunto A
siempre
AO = O,
ya que es necesariamente vaca la interseccin de cualquier
conjunto A y del conjunto O carente de elementos (digamos,
la interseccin del conjunto de las alumnas de tu clase y del
conjunto de todos los alumnos de estatura superior a 2,5 m).
En cuanto al conjunto unidad, la situacin es algo ms
complicada. Este conjunto / (lo designaremos por la letra / ,
similar por su forma al nmero 1 ) debe ser tal qu 8 su producto
(o sea, interseccin) con cualquier conjunto A tiene que coin

www.FreeLibros.me

17

cidir con A . Pero do aqu se deduce que nuestro coujunto I


debo cojitener todos los elementos de todos los conjuntos A.
Est claro que semejante conjunto puede existir slo si nos
limitamos a aquellos conjuntos A cuyos elementos se toman
de una determinada coleccin do objetos: a los conjuntos de
los alumnos de una escuela o clase determinadas (por ejem
plo, A puede ser el conjunto de los alumnos que estudian en

FIGi 8
sobresaliente y B el conjunto de los ajedrecistas); a los con
juntos formados por nmeros enteros positivos (A puede ser
el conjunto de los nmeros pares y B ol conjunto de los
nmeros primos que no admiten ms divisores que ellos
mismos y la unidad); a los conjuntos compuestos por puntos
que forman figuras pertenecientes a un determinado cuadra
do como las representadas en las fig. 3, 4, 5, 6 , 7 y 8 . En
este caso entenderemos por / el conjunto ms grande que
contiene todos los objetos# considerados: el conjunto de
todos los alumnos de la escuela o la clase consideradas, el
conjunto de todos los nmeros enteros positivos o bien el
conjunto de todos los puntos del cuadrado (fig, 9). En el
lgebra de los conjuntos este conjunto I lleva el nombre de
unitario o universo. Es obvio que para cualquier conjunto
menor A (e incluso para el conjunto A que coincide con I)
tendremos
AI = A

www.FreeLibros.me

18

en plena correspondencia con la condicin que define la uni


dad.
De esto modo vemos que en el lgebra de los conjuntos
construida las leyes de las operaciones se asemejan mucho a
las leyes del lgebra, referentes a los nmeros, que conocemos
dol curso escolar de Matemticas; sin embargo, esta semejanza
con las leyes numricas no es total. Es verdad que en el lge
bra de los conjuntos tienen lugar, como hemos comprobado,
casi todas las leyes principales vlidas para los nmeros;
pero en ella tambin se cumplen otras leyes que, posible
mente, te parecern extraas. Por ejemplo, hemos sealado
ya que para los nmeros no tiene lugar, como regla, la ley
que resulta de la igualdad a-0 = 0 si sustituimos en ella
la multiplicacin por Ja adicin y el cero por la unidad ya
que para casi todos los nmeros a tenemos a -f- 1 9&I. En
cambio, en el lgebra de los conjuntos la situacin es distinta:
aqu siempre

A + / = /.
En efecto, el conjunto es, por definicin, el ms grande
y, por eso, es imposiblo aumentarlo ms: cualquiera que sea
al conjunto A (tomado entre los conjuntos considerados) que
agreguemos al conjunto unitario /, siempre obtendremos
el mismo conjunto I .
Adems, al sustituir en la ley distributiva ( -|- b) c =
= ac + be la adicin por la multiplicacin y viceversa, he
mos obtenido la igualdad absurda ai + c = (a + c) x
X {b + c) que para los nmeros resulta casi siempre falsa.
En el lgebra de los conjuntos la situacin es otra: aqu
siempre (o sea, para cualesquiera conjuntos A, B y C) tiene
lugar la igualdad

A B -I- C = (A -}- C) (B + C)
que expresa la segunda ley distributiva (la ley distributiva de
la adicin respecto a la multiplicacin) del lgebra de los
conjuntos. En efecto, sean de nuevo A el conjunto de los
ajedrecistas, B el conjunto de los aficionados al juego de las
damas y C o conjunto de los nadadores de tu case. En tal
caso es evidente que la interseccin AB de los conjuntos A
y B comprende a todos los alumnos diestros tanto ene! aje
drez como en el juego de las damas y que la unin AB + C
de los conjuntos AB y C consta de todos los alumnos que son

www.FreeLibros.me

19

aficionados y al ajedrez y al juego de las damas u que saben


nadar (es posible que son aficionados ul ajedrez, al juego de
las damas y a la natacin). De otro Jado, las uniones A 4 C
y t -f C de los conjuntos A y C y de los conjuntos t y C so
componen, respectivamente, de los alumnos aficionados al
ajedrez o diestros en natacin (o, posiblemente, aficionados
y al ajedrez y a la natacin) y de los alumnos aficionados al
juego de las damas o a la natacin. Est claro que Ja inter
seccin {A 4- C) (t -+- C) de estos dos ltimos conjuntos

KIG. O

comprende a todos los alumnos diestros en natacin y a todos


los alumnos que no saben nadar pero son aficionados tanto
al ajedrez como al juego de las damas, o sea, esta interseccin
coincide con el conjunto AB 4 C.
Puesto que esta explicacin verbal te puede parecer enre
vesada, daremos adems una interpretacin grfica de la
sogunda ley distributiva. En la fig. 10, a la interseccin AB
de los conjuntos A y B est sombreada con lneas oblicuadas
hacia la derecha y el conjunto C, con lneas oblicuadas hacia
la izquierda; toda la regin sombreada en esta figura repre
senta el conjunto AB 4 C. En la fig. 10, b hemos sombreado
horizontalmente la unin A 4 C de los conjuntos A y C y
verticalmente la unin t 4 C de los conjuntos B y C\ la
interseccin (A 4 C) (t 4 Q de estas dos uniones queda
cubierta en esta figura por una red. Pero es fcil ver que

www.FreeLibros.me

20

la regin do la fig. 10, b cubierta >ur la red de lneas hori


zontales y verticales coincide exactamente cou la regin som
breada en la fig. 10, a; esto domuestra precisamente la se
gunda ley distributiva.
Sealemos, para terminar, otras dos leyes del lgebra de
ios conjuntos que contradicen los conocimientos algebraicos
adquiridos en la escuela. Es fcil comprender que cualquiera
que sea el conjunto A , su unin con otro igual y su intersec
cin con s mismo coinciden con el conjunto inicial A:

A -f A = A

AA A .

Estas dos igualdades se denominan a veces leyes idempotentes.


Es muy ventajoso el hecho de que las leyes generales del
Algebra conservan una misma forma para todos los tipos de
nmeros: gracias a ello, al pasar de los nmeros enteros a los
fraccionarios o relativos (tomados con el signo ms o me
nos), podemos utilizar plenamente los hbitos adquiridos
con anterioridad y slo necesitamos aadir otros (de acuerdo
a la reserva ms rica de nmeros considerados), pero no ad
quirir nuevos. La situacin es enteramente distinta cuando
pasamos de los nmeros a los conjuntos: aqu parcialmente
necesitamos tambin hbitos nuevos, ya que una serie de
leyes del lgebra de los conjuntos no tiene lugar para los
nmeros1).
L) En esta diferencia entre las leyes del lgebra
do los conjuntos y las leyes numricas radica precisamente la causa
de que en muchos textos la adicin y la multiplicacin (o sea, la uniu
y la interseccin) do los conjuntos se indican con signos completamente
distintos de loa signos corrientes -f y ; la unin de los conjuntos
A y B se indica por A U B y la interseccin de estos conjuntos, por
A f| B . Puesto que en este folleto tambin hablaremos de otros siste
mas algebraicos en los cuales la adicin y la multiplicacin se
rigen por las mismas leyes que se dan en eJ algebra de los conjuntos,
resulta uatural que nos desentendamos de los smbolos U y fl propios
precisamente de la teora de los conjuntos; el deseo de "subrayar la
proximidad existente entro las lgebras consideradas y el lgebra
escolar empuja a emplear lo3 signos habituales de adicin y m u lti
plicacin. Sin embargo, conviene, por lo visto, escribir aqu las prin
cipales leyes del lgebra de Iob conjuntos tambin en las designaciones
estndar de la teora de los conjuntos:
a

u a = a U a
y n t f = i ? r i ' 4;
leyes conmutativas

(/l U i) U C = A U ( II C) y [A n B ) fl C - A fl
loyos asociativas

www.FreeLibros.me

0 C);

21

Enumeremos estas leyes nuevas. Entro ellas figura la


relacin
A
1= 1
que determina la profunda diferencia existente entro el con
junto unitario I y el nmero 1. La segunda ley distributiva
del lgebra de los conjuntos ofrece una forma muy peculiar
de abrir los parntesis:

[A + C) <B + C) = AB -I- C\
por ejemplo, aqu

(A + D ) ( B + D ) (C + D ) = [(A + D) (B + >)] (C + D )
= (AB + D) (C + D) = (AB) C + D = ABC + D.
Por ltimo, resultan totalmente nuevas paro nosotros las
leyes idem potentes

A A

AA = A

que a veces se expresan en la forma siguiente: en el lgebra


de los conjuntos no existen exponentes ni coeficientes. En efecto,
tenemos para cualesquiera A y nt

A + A -f-. . . + A = A

A-A-,..-A = A-,

----------------- V---------------- v---- /

n veces

as,

n veces

por ejemplo,

(A + B ) ( B + C) (C + A) =
= ABC + A AB + ACC + AAC + BBC + ABB +
+ BCC + ABC = (ABC -f ABC) + (AB + AB) +
-|- (AC -f- AC) + (BC + BC) = ABC + A B + AC + BC
(c o m p ara

con el e je rc ic io

A U 0 =

6 que v ie ne a c o n tin u a c i n ).

Ay

A r\ = A,

a n 0 = O;

propiedades del co njunto vacio O y del conjunto unitario /

{A u b ) n c = (a n c) u (b n o

(a n > u c =

= (A U C ) ( l ( f l c );
leyes distributivas

A \
1 A = A y A [\ A = A .
leyes idempotentes

www.FreeLibros.me

22
E.tEHCICrOS

Demuestra las igualdades siguientes en las quo las letras mayscu


las representan conjuntos (con la particularidad de que las lotras O o /
representan siempre los conjuntos vaco y unitario, respectivamente):

1.
2.

(A -f B)(A + C) (B + /;) (C +
A (A -f B) = A .

D) = AL> + fC .

3. AB + A = A.
<u A (A -f C) (B -f C) =
5.
A (A -f J) (B -f O) =
6. (A +
B)
B)
7. (A +
8. {A +
B)
9. (A -f
B)
10. (A -f B + 6') (b +
BD -f- C.

AB -f AC.
AB.
(B -f C)(C+
(B+ O (C+
(A-f /) +(A
(B-f 1)(A+
C + D) (C -f +

A) =
AB
+
C C
D) =
AC
+
BC +
+ B)
(B + O) = A+ B .
O) =
A.
A) = A B -f AD +

Ejemplo:

A[A + C ) ( B + 0
=>

2a iey
d lsiiiliu tlvo

l<jy asociativa do la
multiplicacin

A(AB + C)

I |ey
distributiva

ley conmutativa do tu
m ultiplicacin

(AB)A + CA

= (AA)B-\-AC

A[(A + C) (Z + C)I =
(AB-\-C) A =

leyes asonlallva y conmutativa


d 1 multjilicaci<ln

ley idumpotcn<e de la
m ultiplicacin

A B + A C.

2.

ALGEBRAS
DE BOOLE
Reunamos todas las leyes del lgebra de los conjuntos que
conocemos basta el momento
A -) B = B + A
y At = BA\
leyes conmutativas

(A -| B) 1- C = A + (B + C) y (AB) C = A ( BC );
leyes asociativas

www.FreeLibros.me

23

{A + B) C = AC + BC

y AB + C = (.4 + C) (B + C);

leyes distributivas

A -f- A = A
yA A = A.
leyes idempotentos
Adems, en el lgebra de los conjuntos existen dos elemetilos (conjuntos) especiales O c I tales que

A + O A

I I

A I = A;
AO = O.

Estas leyes (o reglas de las operaciones) son similares


a las leyes del lgebra de los nmeros que t dominas pero
no coinciden con ollas; por supuesto, el lgebra do los conjun
tos tambin es un lgebra, pero no aquella que t has estu
diado antos, sino un lgebra nueva, extraordinaria.
Pero tampoco el lgebra, corriente de los nmeros es un
lgebra nica, sino muchas lgebras: podemos hablar de!
lgebra de los nmeros entero positivos, del lgebra de
los nmeros racionales (o sea, enteros y fraccionarios), de!
lgebra de los nmeros relativos (o sea, positivos y no posi
tivos); existe adems el lgebra de los nmeros reales
{o sea, racionales e irracionalos), el lgebra de los nme
ros complejos (reales e imaginarios), etc. Todas estas lge
bras difieren una do otra tanto en los nmeros con los que
se opera, como en la definicin de estas operaciones (o sea,
de la adicin y la multiplicacin); sin embargo, las propie
dades principales de las operaciones son las mismas en todos
los casos. Es natural preguntarse entonces cul es la situacin
en el lgebra especfica de los conjuntos; aparece sta en
una forma nica, o tambin aqu existe una serie de lgebras
similares que difieren una do otra tanto en Los elementos
con los que se opera como en la definicin do estas operaciones
(que continuaremos denominando adicin y multiplicacin)
pero que son idnticas en cuanto a las propiedades de estas
operaciones?
Probablemente, t pra<ientes ya que existen muchas
lgebras semejantes al lgebra de los conjuntos (o sea, lge
bras en las que rigen las mismas reglas que en el lgebra de
los conjuntos). Y esto efectivamente es as. En primor lugar,
las propias lgebras de los conjuntos pueden ser uiuy variadas:
podemos hablar del lgebra de los conjuntos do alumnos de

www.FreeLibros.me

tu claso, dol lgebra de los conjuntos de animales del par


que zoolgico de Mosc (que, por supuesto, es un lgebra
totalmente distinta), del lgebra de los conjuntos formados
por unos u otros nmeros, del lgebra de los conjuntos for
mados por puntos de un cuadrado (vanse las figuras de la
3 a la 10), del lgebra de los conjuntos de libros de una bi
blioteca escolar o dol lgebra de los conjuntos de estrellas.
Pero existen tambin otros ejemplos, muy distintos, (le
lgebras que tienen propiedades semejantes; ahora daremos
algunos.
Un minuto de atencin antes de pasar a estos ejemplos.
Al analizar los ejemplos que vienen a continuacin, debes
recordar con seguridad que definir en un conjunto de objetos
(elementos) a , b , . . . Las operaciones de adicin y multiplicacin
significa exponer las reglas que a cada par de objetos a y b ponen
en correspondencia otros dos objetos c y d llamados suma y
producto de a y b:
ca
b y d ah.
Escogeremos estas reglas de modo que se cumplan todas las
leyes de operaciones que caracterizan el lgebra de los con
juntos. Pero no tienes derecho a preguntar por qu la suma
de a y b es igual a c; pues definimos la suma a + b precisa
mente como c y las definiciones, como se sabe, no son objeto
de discusin. Puede suceder que en algunos casos nuestras
definiciones te parezcan extraas; y es natural, porque estas
definiciones sern nuevas para ti y todo lo nuevo, lo inslito,
siempre parece extrao. En la vida no te sorprenden objetos
tan asombrosos como son el televisor y el telfono; pero esto
se debe slo a que ests acostumbrado a ellos. En cambio, si
tomamos un alumno de segundo o tercer grado que est
firmemente convencido de que la suma de dos nmeros a y b
os el nmero de objetos de la unin de una coleccin de a
objetos y de una coleccin de b objetos (vase la fig, 1 de la
pg. 8) y de que el producto ab es el nmero de objetos do la
unin de a colecciones con b objetos en cada una (vase la
fig. 2 de a pg. 8), le explicamos qu es una fraccin y
despus le decimos que la suma y el producto de las fracciones
y ~ se definen as
C

ti

_u_ , b __ ad-f-hc
c 'd
cd

a
c

b __ ab
d
cd

www.FreeLibros.me

26

estas reglas (que para ti resultan ahora absolutamente natu


rales) le parecern, seguramente, muy extraas.
Pues bien, ho aqu nuestros ejemplos.
Ejemplo 1. Algebra de los dos nmeros. Aceptemos que
nuestra lgebra tiene dos elementos solamente que, por
razones de comodidad, denomiaiaremos nmeros e indicare
mos con los smbolos habituales 0 y 1 (aunque aqu estos
smbolos tienen un sentido completamente nuevo). Definire
mos la m ultiplicacin de nuestros nmeros exactamente igual
que en la Aritmtica habitual, o sea, modiante la siguiente
tabla de multiplicar:

0
1

0 0
0 1

mientras que la adicin la definiremos casi de la forma co


rriente, o sea, con la nica diferencia de la Aritmtica habi
tual consistente en que la suma 1 -(- 1 ser ahora de nuevo
igual a 1 y no a 2 (pues este nmero simplemente no existe en
nuestra lgebra do los dos nmeros). De este modo, la
tabla do sumar tiene en nuestra lgebra la forma
4
0
1

0 1
1 1

Es obvio, quo en el lgebra as definida tienen lugar am


bas leyes conmutativas:
a 4 b b -f- a y ab = ba para cualesquiera a y b.
Es fcil comprobar que tambin se cumplen en ella Jas leyes
asociativas
(o 4 b) 4 c a 4 (b 4 c) y (&) c a (be)
para cualesquiera

a, b y c,

cori la particularidad de que ni siquiera hace falta comprobar


la ley asociativa para la m ultiplicacin, pues nuestra multi
plicacin nueva coincide ntegramente con la multiplicacin
de los nmeros y para sta la Jey asociativa es vlida. Tam
bin es fcil ver que tienen lugar aqu las leyes idempotentes:
a 4 a = a

aa = a

par cualquier a,

www.FreeLibros.me

20

o sea, para ti (J y para a 1 (jlie aqu el porqu hemos


tomado 1 -
(- 1 = 11). Algo ms difcil resulta comprobar las
leyes distributivas

(a + 6) c = ac + be y ab + c = (a + c) (b
para cualesquiera
a, fe y c.

c)

Por ejemplo, en nuestra lgebra


(1 + 1)-1 = 1-1 = 1 y

(1-1) + ( M ) = 1 + 1 = ;

(1.1) + 1 = 1 + 1 = i
y
(1 + 1 ) .( 1 + 1) = M = 1.
Finalmente, si convenimos en asignar al nmero 0 el papel
del elemento O de nuestra lgebra y al nmero 1 el papel del
elemento /, tendrn lugar tambin las reglas referentes a los
elementos especiales O c /: siempre (o sea, para a = y
para a = 1)

a -f- 0 = a y a-i = a\

a + 1 = 1 y a-O = 0.

Ejemplo 2. Algebra de los cuatro nmeros. He aqu un


ejemplo algo ms complejo aunque del mismo gnero. Supon
gamos que los elementos del lgebra son cuatro nmeros
que indicaremos con las cifras 0 y 1 y con las letras p y q.
Definiremos la adicin y la multiplicacin en el lgebra con
siderada con las tablas siguientos:
+

0 P

0 p <1 1

0 P
p P
<7 1
1 1

1 1
1 i
Q i
1 1

0
0
0
0

p
Q
1

P
<i
1

0 0 0
p 0 p
0 C1 <!
p ? 1

Tambin aqu, como es fcil persuadirse mediante la


comprobacin directa,

a -f- b b -f- a y ab = ba para cualesquiera a y b\


{a -|- li) 4 c = a + ( + c) y (a&) c = a (be)
para cualesquiera a, b y c;
(a

>) c = ac + be y
ab
c = (a -1- c)(b -f- e)
para cualesquiera a, b y c;

a -j-a = a y aa = a para cualquier


(o sea, para a = 0, p , q y 1).

www.FreeLibros.me

27

Adems, ios nmeros 0 y 1 desempean aqu el papel de


los elementos O e / del lgebra de los conjuntos ya que para
cualquier a
+- 0 = a y a-\ a\
a+ 1 = 1 y a-0 = 0.
a
Ejemplo 3. Algebra de los mximos y los mnimos. Tome
mos como los elementos de nuestra lgebra un conjunto
(acotado) de nmeros, por ejemplo, aceptemos quo estos
elementos son algunos nmeros x (o, posiblemente, todos
ellos) tales que 0 ^ x ^ 1, o sea, los nmeros comprendidos
entre 0 y 1 incluyendo los propios nmeros 0 y 1. En cuanto
a las operaciones de adicin y multiplicacin, las definire
mos de un modo enteramente nuevo y, para no confundirlas
con la adicin y la multiplicacin corrientes, emplearemos
incluso signos nuevos: (adicin) y <8> (multiplicacin).
A saber, aceptaremos que la suma x y de dos nmeros
x e y es igual al mayor de stos (o a cualquiera de ellos si
x = y); entenderemos por producto x y de los nmeros
x e y el menor de sto9 (o cualquiera de ellos si x y).
Por ejemplo, si los elementos de nuestra lgebra son los n
meros 0, l/3, V2, a/3 y 1, la tabla do sumar y la tabla de
multiplicar de nuestros nmeros tienen la forma

0 - 1 1 1
3 2

1
3
1
2
2
3

1
3
i

2
T

1
3
i
3
1
2
2
3

1
0

2
1
-27T -S- 1
2
3
1

0 1

0 1

-i 1
2

0 1
v 3

i
2

i
3

3
3

En las Matemticas, uJ mayor dt> dos o varios nmeros u,


y, . .z suele designarse as: rnx lu, y, .
. ., z] y el menor
de estos nmeros, por el smbolo m [ti. v..........zl1). De osla
) mx 1, i>, -. zly mii [u, v, . . t\ se
puede leer, respeLlivamonle, corno mximo de u, v, . ,
j y m
nimo de u, i', . . ., z.

www.FreeLibros.me

28

forma, en nuestra lgebra de los mximos y los mnimos,


por definicin

x y = mx lz, t/]

z <8> y = mn [x, y|.

Podemos tambin convenir en representar los nmeros por


medio de puntos de la recta numrica; entonces, los nmeros x,
donde 0
x
1, quedarn representados por los puntos del

XQy

O-------- o -----------------o---- o
x
y
K1C. II
segmento horizontal do longitud 1, la suma x 0 y de dos n
meros x e y por aqul de los puntos x o y que se baila a la
derecha y el producto x <8> y por el punto situado a la izquier
da (fig. 11).
Est claro que nuestras nuevas operaciones de adicin y
multiplicacin satisfacen las leyes conmutativas:

x @y= y x

x y = y 0 x

Tambin se cumplen obviamente las leyes asociativas

(x y) 2 = x (y z) y (x <8> y) z = x <8> (y z);


as, el nmero (x y) z o x (y z) que se puede
indicar simplemente por x y z omitindolos parntesis
x y =, x y z

yZ

xy-y/s*yz

FIG . 12

es el mx [#, y, i\ {fig. 12) y el nmero


<8> (y z) o simplemente x <8> y z,
es el mn \x, y, z\(vase de nuevo la fig.
est que tambin las leyes idera poten tes

(x y) z o x
sin los parntesis12). No menos claro
tienen lugar aqu:

x x = mx [z, x] x y x x = mn [x , *1 = x.

www.FreeLibros.me

29

Comprobemos, finalmente, la validoz de las leyes distri


butivas
(x y) z = (x <S> z) (y <S> z)
y

(x y) z (x z) <8> [y z).

Est claro que el nmero


(a; y) z = mn {mx [x, y, z )}
es igual a z si al menos uno de los nmeros x o y es mayor que z
y es igual al mayor de estos nmeros si ambos son menores
(x yj /=(*
yz
xz
o io

o
y
z

x@y
o
x

)i

fxy;z=rxzj(y z>
y z
xy=xz
o >o
o
........ o1
y
%
2

(a)

11

(b)
FIG . 18

que z (fig. 13, a y b). Pero a esto mismo exactamente es


igual tambin el nmero
(x z) (y z) = mx {ma [a:, zl, mn l y, z \}
(vase de nuevo la fig. 13). De un modo anlogo, el nmero

(x <8> y) z = mx {mn [x, y, z]}


es igual a z si a l menos uno de los nmeros x o y es menor que z
y es igual al menor de estos nmeros si ambos son mayores

xy
oto
y

(xy>@z.=(xz)cy7.>
<x y)=rxz.)<yz;
x@z = yz
xy*=xz
yz
o
'O------ 1/ o o
-- o
o-1/
t
z
z
x
y

(b)

fa)
r iG . 14

que z (fig. 14, a y b). Pero a esto mismo es igual tambin el


nmero
{x z) (y z) = mn {mx \x, z], mx (y, z]}
(vaso de nuevo la fig. 14).
4-1176

www.FreeLibros.me

30

Para persuadirnos aluna de que en nuestra lgebra espec


fica se cumplen lorias las leyes del lgebra de los conjuntos,
bastar sealar solamente que el papel de los elementos O
e I del lgebra de los conjuntos lo desempean aqu el menor
de los nmeros considerados el nmero 0 y el mayor de
estos nmeros el nmero 1. En efecto, cualquiera que sea
el nmero x, donde O ^ a . ^ 1 , siempre

x 0 = mx (*, 0] = i y 1 = mn (x, 1 i = x\
x 1 = mx \x, 1] = 1 y i 0 = mn \x, 0] = 0.
Ejemplo 4. Algebra de los mnimos mltiples y los mximos
divisores. Sea N un nmero entero positivo cualquiera; tome
mos como elementos de nuestra lgebra nueva todos los posi
bles divisores del nmero N\ por ojemplo, si N = 210 =
= 2-3-5-7, Jos elementos del lgebra considerada son los
nmeros 1, 2, 3, 5, 6, 7, 10, 14, 15, 21, 30, 35, 42, 70, 105
y 210. La adicin y la multiplicacin de nuestros nmeros
las definiremos ahora de una forma completamente nueva:
entenderemos por suma m n de los nmeros m y n el
m nim o comn m ltiplo de los mismos, o sea, el menor n
mero entero (positivo) que es divisible por ambos nmeros
m y n; tomaremos como producto m n de los nmeros m
y n el mximo comn divisor de estos nmeros, o sea, el
mayor nmero entero que divide a m y a n. Por ejemplo, si
jV = 6 y nuestra lgebra contiene solamente cuatro nmeros
1, 2, 3 y 6, la adicin y la multiplicacin de los nmeros
vienen dadas por las tablas siguientes:

2 3 6

<8>

1 2 3 6

1
2

1
2
3
6

2
2
B
6

3
6
3
G

i
2
3
G

t
t
1
t

3
6

f.
G
f.
G

1
2
1
2

1 1
i 2
3 3
3 G

En la Aritmtica superior (teora de los nmeros), el


mnimo comn m ltiplo de dos o varios nmeros m, n, . . ., s
se designa frecuentemente por [ni, n, . . s] y el mximo co
mn divisor de estos mismo nmeros, por (m, n, . .
s).

www.FreeLibros.me

31

De esta forma, en nuestra lgebra por definicin

m n = [m, re]

m re = (ret, re).

Por ejemplo, si el lgebra contieno los nmeros 10 y 15,


entonces
10 15 = [10,15] = 30 y 10 0 15 = (10, 15) = 5.
Es evidente que en nuestra lgebra siempre
re re = re m.

m n = n <S> m.

Adems, aqu
(re re) p = m (re p)

( = [re, re, p])

(podemos convenir en indicar este nmero simplemente por


m re p omitiendo los parntesis) y
(re <2> re) 0 p = m (re <8> p)

( = (re, re, p))

(este nmero se puede indicar simplemente por m <8> re <8> p).


No menos evidentes son las leyes idem poten tes:

m re = [re, m] = m

re (g> re = (m , re) re.

Algo ms difcil (como siempre) resulta comprobar las


leyes distributivas. El nmero
(re re) <8> p = (Irei, re], p)
no es otra cosa que el mximo comn divisor del nmero p y del
mnimo comn m ltiplo de los nmeros m y n ( reflexiona bien
en el sentido de esta frase!); contiene aquellos, y slo aque
llos, factores primos que figuran en la descomposicin de p
y al mismo tiempo en la descomposicin do uno de los n
meros m o n por lo menos. Pero est claro que estos factores
primos (y slo estos) figuran tambin en la descomposicin
del nmero
(re <8> p) (n p) = l(m, p), (n , p)];
por eso, siempre
(re n) p = (re <S> p) (n <8> p).
Por ejemplo, si los nmeros se toman del conjunto de los
divisores del nmero 210, tenemos
(10 14) 105 = (110, 14], 105) = (70, 105) = 35

www.FreeLibros.me

32

y
(10 105) (14 105) = [(10, 105), (14, 105)J =
= [5, 71 =- 35.
Anlogamente, el nmero
(m n) p = [(m, n), p]
es el mnimo comn m ltiplo del nmero p y del mximo comn
divisor de los nmeros m y n\contiene aquellos factores primos
(y slo aquellos) que figuran en la descomposicin de p o
bien en la descomposicin de ambos nmeros m y n (o, posi
blemente, en la descomposicin de p y en la descomposicin
de ambos nmeros m y n). Pero estos mismos factores exacta
mente contiene tambin el nmero
(m jo) <8> (n p) = ([m, p], [n, p])
y, por oso, siempre

(m n) p = (m p) (n p).
Por ejemplo,
(10 <8 14) 105 = 1(10, 14), 105] = 12,1051 = 210
y

(10 105) (14 105) = ([10, 105], [14, 105]) =

- (210, 210) = 210.


Finalmente, el papel de los elementos O e I del lgebra
de los conjuntos lo desempean aqu el menor de los nme
ros de la coleccin considerada el nmero 1 y el mayor
de ellos el nmero N. En efecto, es evidente que

] = m

m N => (m, N) m\

m N = |m, N] N

m 1 = lm,

1 = (m,

1) = m

(no olvides que en nuestra lgebra figuran los divisores del


nmero N solamente). De esta forma, tambin aqu se
cumplen todas las leyes del lgebra de los conjuntos.
Vemos, pues, que existe una cantidad suficientemente
amplia de diversos sistemas de objetos (elementos del lge-

www.FreeLibros.me

33

CEOnCE BOOI.E (1815-lSfU )

bra considerada) en los cuales se pueden definir las opera


ciones de adicin y multiplicacin quo satisfacen todas las
reglas que sabemos se cumplen en el lgebra de los conjuntos:
dos leyes conmutativas, dos leyes asociativas, dos leyes dis
tributivas, dos leyes idempotentes y cuatro reglas determi
nantes de las propiedades de los elementos especiales que
en nuestras lgebras desempean un papel prximo al que
desempean el cero y la unidad. Ms tarde veremos otros
dos ejemplos, muy importantes e interesantes, de tales lge
bras.
Ahora, al pasar al estudio de las propiedades generales
de todas estas lgebras, debemos, ante todo, darlos un nom
bre genrico. Actualmente todas ellas se denominan lgebras

www.FreeLibros.me

34

de Hoole1) ya que ue Gcurge BooJes), destacado matemtico


ingls del siglo X I X , quien por primera voz estudi las
lgebras de propiedades tan extraas. Conservaremos los
nombres de adicin y multiplicacin para las operaciones
principales del lgebra de Boole (pero debes recordar que no
son la adicin y multiplicacin corrientes de los nmeros);
sin embargo, a vecos denominaremos estas operaciones adi
cin booleana y multiplicacin booleana.
La obra de G. Boole, consagrada al examen minucioso del
lgebra extraordinaria al que est dedicado este folleto, apa
reci por primera vez 011 1854, o sea, hace ms de 100 aos,
bajo el ttulo do Investigacin de las leyes del pensamiento
(lnvestgation of the laws of thought). Posiblemente este
ttulo te parece por ahora extrao; pero despus de leer este
folleto, comprenders qu relacin existe entre las leyes de
nuestro pensamiento y las lgebras extraordinarias que aqu
se analizan. Notemos slo que precisamente esta conexin
entre las lgebras de Boole y las leyes del pensamiento
explica por qu la obra de Boole, que inicialmente pas
desapercibida para los matemticos, despierta hoy tan
gran inters. Durante los ltimos aos esta obra ha sido
varias veces reeditada y traducida a distintos idiomas; en
muchos pases el concepto de lgebra de Boole ya figura, de
una u otra forma, en el curso escolar de las Matemticas;
en otros pases, entre ellos la URSS, la idea de incluir este
concepto en el curso de la enseanza media se est debatiendo
activamente y tiene ardientes adictos entre los matemticos
y Jos pedagogos.

EJERCICIOS

1.
Comprueba directamente que para todas laa ternas do elemen
tos del lgebra de Boole de los dos nmeros (ejemplo 1, pg. 25)
son vlidas ambas leyes distributivas.

J) En el apndice (pg. 76) damos la definicin


exarUi de las lgebras de Boole.
2)
Padro de la escritora inglesa Etel L
(ms conocida por el apellido de su marido M . Voinicz, revolucionario
polaco), autora de la novela El Tbano.

www.FreeLibros.me

35

2. Comprueba ambas leyes distributivas par algunas lernas de


elementos del lgebra de lioole do loa cuatro elementos (ejemplo 2,
pg. 26).
3. a) Si en tu apartamento no liay ms escolares que tu, los con
juntos de escolares de tu apartamento son: el conjunto / que consta
de un escolar y el conjunto O que no contieno escolares (conjunto
vaco). Forma para el algebra de los conjuntos de escolares que resi
den en tu apartamento (esta lgebra contiene dos eiomentos, O o /,
solamente) la tabla de sumar y la tabla de multiplicar y compralas
con las tamas de la pg. 25; deduce de aqu aue para el lgebra de los
dos nmeros considerada en el ejemplo t de este pargrafo se cum
plen efectivamente todas las leyes del lgebra lo lioole.
b) Supongamos que en un apartamento viven dos escolares,
Pedro y Catalina. Entonces el lgebra de los conjuntos de escolares
que residen en este apartamento contiene cuatro elementos: el con
junto / que comprende dos escolares; dos conjuntos P (Podro) y C
(Catalina) formado cada uno por un escolar; el conjunto vaco t.
Forma la tabla de sumar y la tabla de multiplicar para esta lge
bra do los conjuntos y compralas con las tablas do la pg. 2(3; deduce
de aqu que para el lgebra de los cuatro nmeros considerada en el
ejemplo 2 de este pargrafo se cumplen todas las leyes del lgebra de
Boole.
4. Comprueba que
)

tnn

],

|}=m x

{m m [|, 1 ],

"[f {]}
mx { rn n [ i ? - | ] , l } ^ m m { m a x [ l , ] , m x f l

1] } ,

b) ((12, 30], 8) = ((12, 8), (30, 8)1

y
{(12, 30). 8| = (112, 81, [30, 81).
5. a) Forma la tabla de samar y Ja tabla de multiplicar para
el lgebra de Boole de los tros nmeros 0, y 1, dondo x y =
= mx [*, y) y x y = m n U, yl; comprueba que en esta lgebra
se cumplen las leyes del lgebra de Boole.
b) Forma la tabla de sumar y la tabla de multiplicar para
el lgebra formada por los divisores del nmero 12, donde m n
= lm , ni y m n (m, ); comprueba que en osta lgebra so cum
plen algunas de las leyes del lgebra de Boolo.
C*. Supongamos que la descomposicin en factores prunos de
un nmero N (entero positivo) es de la forma

K ";

www.FreeLibros.me

36

entonces dos cualesquiera divisores m y n de este nmero se pueden


represen lar en la orraa

=
donde 0 4 a,

- />**,

A u 0 < a2 ^ A t , . .

0 <.

41 h< i'

" = P*V2 p ik,


donde 0 < J>, < >4 0 < 6, < A st . .
0 < bh < A h (algunos de
los nmeros a a, . . ., ah, bt , bt , . .
bu pueden resultar guales
a cero). Qu forma tienen en este caso las descomposiciones en facto
res primos de los nmeros [m, n] (mnimo comn m ltiplo do los
nmeros m y n) y (ni, n.) (mximo comn divisor de los nmeros m
y n)? Emplea estas descomposiciones para demostrar que constituye
uii lgebra do Boole el conjunto do todos los divisores dol nmero N
con las operaciones nt n = [to, n| y m 0 n (m, n).

3.
OTRAS PROPIEDADES
DE LAS LGEBRAS DE BOOLE:
P R IN C IP IO DE DUALIDAD;
IGUALDADES Y DESIGUALDADES
BOOLEANAS
Prosigamos ol estudio del lgebra extraordinaria que he
mos denominado lgebra de Boole. Ante todo, salta a la vis
ta el paralelismo completo que existe entro las propiedades
de la adicin booleana y de la multiplicacin booleana: es
tas propiedades son tan similares que en toda frmula (co
rrecta, por supuesto!) del lgebra de Boole se puede sustituir
la adicin por la m ultiplicacin , y viceversa; la frmula seguir
siendo vlida. Por ejemplo, en el lgebra de Boole e cumple
la igualdad
A (A + C) (B + C) = AB + AC
como lo hemos demostrado anteriormente (vase el ejemplo
considerado al final de los ejercicios del 1, pg. 22). Susti
tuyendo en esta igualdad la adicin por la multiplicacin,

www.FreeLibros.me

37

y viceversa, obtenemos la igualdad

A + AC + BC = {A + B) {A + C)
que tambin es vlida (vase el ejemplo de la pg. 38). Slo
debe tenerse en cuenta que si en una igualdad del lgebra de
Boole figuran los elementos especiales O e /, al sustituir la
adicin booleana por la multiplicacin booleana, y viceversa,
deberemos sustituir el elemento O por I y el elemento I por O.
Por ejemplo, es vlida la igualdad

{A + B) (A + /) + (A + B) (B + O) = A + B
(vase el ejercicio 8 de la pg. 22); de aqu resulta que tam
bin tiene lugar la igualdad

(AB + AO) (AB + BJ) = AB.


Esta propiedad de las lgebras de Boole que permite gra
tuitamente (o sea, sin demostracin) obtener de cada igualdad
otra nueva1) lleva el nombre de principio de dualidad y las
igualdades, que resultan una de otra por medio de este prin
cipio, se denominan duales unas respecto a otras. E l prin
cipio de dualidad se deduce de que la lista de las leyes prin
cipales del lgebra de Boole que son las nicas que pode
mos emplear al demostrar una u otra frmula booleana es
perfectamente simtrica: con cada ley contiene otra, dual
de la primera, es decir, que se obtiene do aqulla sustituyendo
*) Puede suceder que la igualdad nueva (que se
obtiene sustituyendo en una frmula del lgebra de Boole la adicin
por la m ultiplicacin, y viceversa) coincida con la inicial y on este
caso nuestro procedimiento no arroja ventaja alguna. Por ejemplo,
al sustituir la adicin por la multiplicacin, y viceversa, la igualdad
correcta (vase el ejercicio 6 de la pg. 22)

(.A + B) (B + C) (C + A) = AB + BC + CA
so transforma en la igualdad

AB +
quo

BC + CA = [A + B) (B + C) (C + A )

coincido con la inicial; la igualdad (ejercicio 7, pg. 22)

(A + B ) ( B + C) (C + D ) = AC -h BC + BD
se transforma, al sustituir la m ultiplicacin por la adicin, y vice
versa, en la igualdad

A B + B C + CD = [A + C) {f + C) (B + D)
que slo insubstancialmente difiere da lo inicial (se transforma en la
iuicial al sustituir la lotra B por la letra C y la letra C por la letra B).

www.FreeLibros.me

38

l) adicin por la m ultiplicacin, y viceversa, y el elemento &


por el elemenlo I, y viceversa. Asi, la ley conmutativa de
ia adicin es dual de la ley conmutativa Uo la m ultiplica
cin; la ley asociativa de la adicin es dual de la ley asociati
va de la multiplicacin: la ley idempotente de la adicin es
dual de la ley idempotente de la multiplicacin; la primera
ley distributiva es dual de la segunda ley distributiva; por
ltimo, las igualdades A
O = O y A 4- T = I son duales
de las igualdades A l = A y A O = O. respectivamente. Por
eso, si para demostrar una igualdad liemos empleado unas
u otras leyes principales del lgebra de Boole. podemos de
mostrar do la misma forma exactamente, recurriendo a las
leyes duales, tambin la igualdad dual de la inicial.
Ejemplo. Demostremos la igualdad
A -f A C -f BC = (A -f- B) [A + C)
dual ilo la igualdad

A (A + C) (t + 6') = AFI + AC.


En oferto,

A+AC+fC

A + (A C+ B C )

lt.*y asociativa
de la adicin

A-\-(A-\-B)C

1H ley
distributiva

(A-\-B)C-\

ley co nm u ta U va
de la artice n

= \(A-\-li)

iey
diylributivM

tnlifiintatl VH > afiOcUtiva

K-4 H*

4 B\ M 4-

de In rflciflii

(i4 + * ) ( 4 - C )
lev ((impotente do 1
adicin

(compara coi la demostracin de la igualdad A (A 4- O (B -f- C)


= A f 4- AC cu la pfj. 22).

Oir demostracin ileJ principio de dualidad est ligada


a que eti el lgebra de Boole. existe una operacin especial
por cuyo efecto todo elemento A de esta lgebra se transforma
en un elemento nuevo A a la vez que la adicin se transforma
en la m ultiplicacin, y viceversa. En otras palabras, esta
operacin (que denominaremos operacin ra/a) es tal que

7T + B - B

0 ^ 1

AR~-\-B.

Adems,
1 = 0,

www.FreeLibros.me

39

Finalmente, por efecto do la operacin i'aya el almenlo A


se transforma en el elemento inicial A, o sea, para todo
elemento A del lgebra de Boolo

En el lgebra de los conjuntos la operacin raya (osta


operacin especfica permite obtener un nuevo elemento del
lgebra de Boole a partir de uno y no de dos elementos dados
como es el caso de las operaciones do adicin y multiplica
cin) tiene el siguiente significado. Entendemos por A el

complemento del conjunto A , o sea, el conjunio formado por


aquellos elementos del conjunto universo /, y slo aquellos, que
no constan en el conjunto A (fig. 15). Por ejemplo, si el con
junto universo representa el conjunto de todos los a lu m n o s
do tu clase y A os el conjunto de los alumnos suspendidos
como mnimo eu una do las asignaturas del primer trimestre
(el conjunto de Jos alumnos atrasados), entonces A es el
conjunto de los alumnos que lian sacado no menos do satis
factorio en todas las asignaturas (el conjunto de los alum
nos adelantados).
De Ja definicin misma del complemento A del conjunto
A se deduce que

www.FreeLibros.me

40

y que

A-\-=I

A-0

(vase la misma fig. 15; las dos ltimas igualdades pueden


servir incluso de definicin dol conjunto A ). Es evidente
tambin que
0 = 1 e 7=0.
Demostremos finalmente que en el lgebra de los conjun
tos se cumplen las propiedades ms importantes do la ope
racin raya:

A+B=AB

estas reglas so denominan reglas de Morgan en memoria del


matemtico ingls Augnstus de Morgan (1806-1871), con
temporneo y correligionario de George Boole. En la fig. 16, a

<e)

(b)
r e . i

aparece sombreado, con lneas oblicuadas hacia la izquierda,


el valo (el conjunto) A y en la fig. 16, 6, con lneas oblicua
das hacia la derecha, su complemento A hasta el cuadrado
completo /; con lneas horizontales est sombreado en la
fig. 10, ao\ valo (el conjunto) B y en la fig. 10, b, con lneas
verticales, su complemento B. En la fig. 10, a resulta som
breada la regin A -(- B, mientras que en la fig. 10, b resulta
doblemente sombreada la regin AB. Pero comparando las

www.FreeLibros.me

41

figuras 16, a y 16, b, so ve que la regin doblemente sombrea


da en la fig. 16, b complementa la regin sombreada en la
fig. 16, a; con esto queda demostrada la primera regla de
Morgan:

T+

^ J

b.

Por otra parte, en la fig, 16, a resulta doblemente sombreada


la regin A B y en la fig. 16, b resulta sombreada la regin
A + fl. Estas dos regiones (conjuntos) son, obviamente,
una complemento de la otra, os decir,

AB^A+B.
Sealemos ahora el significado de la operacin raya en los
dems ejemplos de lgebras de Boole considerados anteriormente.
As, en el lgebra de los dos nmeros (ejemplo 1 de lo pg. 25)

5= 1

1 = 0.

Es evidente que a = a para cualquier elemento a de esta lgobro


(o sea, para a 0 y para a t). Adems, comparando la tabla do
sumar* y la tabla de 'multiplicar formada para los nmeros 0 1
y = 0:

0 1
0 0 1
i l 1

= 1 t = o
y

=i
1=0

se deduce quo en todos los cosos a


b = ab\ do un modo anlogo
se comprueba tambin la
segunda regla do Morgan: ab = a 4-b.
En el lgebra de los cuatro nmeros (ejemplo 2 tle la pg. 26)

0=1, P q, q = p

y l"=0.

Es evidente de nuevo que o = a cualquiera que sea el elemento a de


nuestra lgebra. Para comprobar la relacin u-(- b ab, bastar
comparar como antes dos tablas

4- 0 p ? 1
0

0 p <7 1

o = i p=<r g = p T =o
0=1

p p p \1 y TP9
< 7 1 q 1
1

l i l i

<J=- P

1=0

Anlogamente se comprueba tambin ln relacin ab a -f- b.


Pasemos ahora al lgebra de los mximos y los mnimos cuyos
olementso son los umeros * tales quo 0
x < 1, mientras que la

www.FreeLibros.me

42

adicin booleana y la multiplicacin booleana se definen as:

x y = nix |i, [fl

x <g> y = mn {x. !/].

lJnra que on cata lgebra tengan lugar las reglas de Morgan

xy=-x&y

z<8)j=.t@4,

es decir, para que sea


mx |x, yj in iij, i/]

mn [x, /l = mx \x, ;/],

hace falla solamente que la operacin raya invierta el orden de los


elementos, es decir, que do la condicin x < y se doduzca la condicin

-- *-------- o----- 1;
i

7
p a. 17

x > y (por qu?). Por eso si los elementos del lgebra son todos los
nmeros x tales que 0
x 4 1 podemos poner, por ejemplo,
x = 1 x;

cu otras palabras, se puedo aceptar que el punto ~x es simtrico del


punto x respecto al centro y del segmento [0, 1] (fig. 17). En tul caso
es evidente que

Ti i,

i= o

y
x x.
Por supuesto, lienen lugar tambin las reglas de Morgan
x / = x y

x {/ = x /

(vase la fig. 18, a y 6).

x y * y

xy

xy

x & y .= x y

01 o--- o--*--o--- o lf
y
x 1
y
2 x
'

010-o-----*----o--O-il
7 y
i2
y x

o)

!>)
F IO . |8

Consideremos [inalrnonte el lgebra de los mnimos mltiples


y de los mximos divisores cuyos elementos sou todos los divisores

www.FreeLibros.me

43

posibles del nmero entero positivo N , miontras que la adicin hocica


ra y la m ultiplicacin booleana <g> se definen as

m n I m, n]

m & n = (m, n),

donde [m, n] os el m nim o comn m ltiplo de I 09 nmeros m y n


y (m , n) es el mximo comn divisor ae stos. Pongamos aqu

JV

m
por ejemplo, en el caso analizado anteriormente en el que N = 210
1=210, 2 = 105, 3 = 70, 5 = 42, 6 = 3 5 , 7= 3 0 f
10 = 21, 14=15, 15 = 14, 21 = 10, 30 = 7,
35 = 6, 42 = 5, 70 = 3, 105 = 2, 210= 1.

Est claro que

l = N

- l.

Adems, es evidente que


N
m ~ JV/m ~ m

Tambin aqu tienen lugar las reglas do Morgan:


i

i= i 0 #

m n = m n;

por ojomplo,
6 21 = f6 , 21] = 42,
8 21 = 35<g) 10 = (3 5 , 10) = 5

42 = 5

y
G 21 = (6, 21) = 3,
(5 2 = 3 5 10=|35, 10] = 70

3 = 70.

Dejamos a cargo del lector la demostracin completa de las reglas de


Morgan (vase a oste respecto el ejercicio 6 de la pg. 50)

Supongamos ahora que tenemos una igualdad que se


cumple en cualquier lgebra de Boole; por ejemplo, la igual
dad ya conocida

A (A -|- C) (B 4 C) = A B -f AC.
Aplicando a ambos miembros de esta igualdad la operacin
raya, obtenemos
A (A + C) {B 4 C ) = A B + A C .

Pero, en virtud do las reglas de Morgan,


A (A 4 C )(B + C ) = [A (A 4 C)] {B 4 C) =

= A { + C ) 4 B + C '^ 4 J 4 C 4 B C = A 4 AC 4 BC

www.FreeLibros.me

44

AB + AC AB-AC = {A + B) (A + C).
Do este modo, tenemos en definitiva

A -j-A C+ B C = (A + B) {A-\- C).


Pero como esta igualdad se cumple para cualesquiera A , B_y
C , continuar siendo vlida si designamos los elementos A ,
B y C de nuestra lgebra de Boole simplemente por las le
tras A , B y C; entonces llegaremos precisamente a la igualdad

A + AC + BC = (A + B) (A + C)
dual de la igualdad inicial.
Es as cmo de las propiedades de la operacin raya
(y, en primer lugar, de las reglas de Morgan) resulta el prin
cipio de dualidad. Slo no debemos olvidar que si la igualdad
inicial comprende los elementos especiales O o I , entonces,
debido a las igualdades,

0 = 1

r= o ,

en la igualdad transformada (dual) aparecer / en lugar de


O y O en lugar de 7.
Por ejemplo, aplicando la operaciu raya* a ambos miembros
do la igualdad

A (A + /) (B + O) = At
(vase el ejercicio 5 de la pg. 22), obtenemos

A (A + I ) ( B + O ) B
o, puesto que

A(A-\-l) (B+ 0) = A(i4 + /)4 - + =

= -\ -A ^ T -\ -B + 0 = -\- r-\-B d=A -ir A 0-\-B


y

_
A B = *A + B ,

la igualdad

i + A O + B I = A-\-B.
Pero la ltim a igualdad (en la
te a la siguiente

que A y B son arbitrarios) es equivalen

A -t* AO
+
B A -j- B
que se obtiene de la igualdad iuicial al sustituir la suma por el produc
to, y viceversa, as como el elemento O por el elemento / , // viceversa.

www.FreeLibros.me

45

Es notorio quo el principio de dualidad tiene un campo


de aplicacin incluso ms amplio quo el sealado: aparte de
las igualdades booleauas se puedo aplicar tambin en las
desigualdades booleanas. Pero para explicar esto debere
mos, ante todo, estudiar un concepto ms que desempea mi
papel importantsimo en la teora de las lgebras do Borde.
En toda lgebra de Boole, adems del concepto de igual
dad de elementos de este lgebra (la igualdad A = B signi
fica que A y B vienen a ser simplemente un mismo elemento
del lgebra de Boolo), existe otra relacin importante entre
los elementos que desempea aproximadamente el mismo
papel que desempea en el lgebra de los nmeros la relacin
mayor que* (o menor que). Esta relacin se indica con el
smbolo 3 (o c ) y se escribe
A r> B
o B cz A
(las dos ltim as relaciones tienen el mismo sentido; fjate
en que se asemejan a las frmulas a > b y b < a); on el l
gebra de los conjuntos, la relacin A zd B significa que el

F1G. Ifl

conjunto A contiene, en tanto que una parte suya, el conjunto B


(fig. 19). Por ejemplo, si A es el conjunto de los nmeros
pares y A e es el conjunto de los nmeros enteros divisibles
por 6 , entonces es obvio que A 2 zd Ae', del mismo modo exac
tamente, si A es el conjunto de los alumnos avanzados de tu
clase y B es el conjunto de los alumnos que estudian en sobre
saliente, entonces, por supuesto, A o B . Debe slo tenerse

www.FreeLibros.me

46

cu cuenta que tambin escribiromos A zs t si los conjuntos


A y B coinciden, pues tambin en esto caso el conjunto B
est contenido ntegramente en el conjunto A . De este modo,
la relacin :d para elementos del lgebra de Boole so asemeja
ms a la relacin 2^ (mayor o igual que) para los nmeros
que a la relacin > (mayor que).
Est claro que
si

A => B

zd

C,

entonces

A r> C

(fig. 20); de una forma anloga, para los nmeros, de las

relaciones a ^ b y b ^ c s e deduce que a ^ c. Adems,


si

A zd B

zd

A,

entonces

A B,

lo mismo que para los nmeros de las relaciones a ^ b y


b ^ a se desprende que a b. Por ltimo (y ello es muy
importante para nosotros)
si A

B, entonces A cz B

(fig. 21). As, el conjunto de los alumnos avanzados es mayor


que el conjunto de los alumnos que estudian en sobresaliente
y de ello resulta que el conjunto de los alumnos atrasados
est contenido en el conjunto de los alumnos que no estudian
en sobresaliente.
Hasta aqu hemos venido subrayando la semejanza exis
tente entre la relacin z> para los conjuntos y la relacin ^
para los nmeros. Sealemos ahora una diferencia substancial

www.FreeLibros.me

47

entre estas relaciones. Dos nmeros (reales) a y b cuales


quiera siempre pueden ser comparados, es decir, necesaria
mente tiene lugar una de las relaciones a ^ i o i ^ a1). Por

K IG .

22

contraposicin, para dos conjuntos A y B no se cumple, como


regla, ninguna de las relaciones 4 ^ 5 y B r> A (fig. 22).

F IG . 23

Notemos adems que


I zi A

A id O

) Si tienen lugar a la vez ambas relacionos, los


nmeros a y b son iguales.

www.FreeLibros.me

48

cualquiera que sea el elomeuto A del lgebra de los conjun


tos y que siempre (o sea, para cualosquiera A y B)

A -f B zd A

AB cr A

(fig. 23).
Sealemos el signiiicado de la relacin
en Jas dems lgebras
de Boole que conocemos. En el lgebra do los dos nmeros (ejemplo 1
de la pg. 25) esta relacin se establece mediante la condicin

1= 0
y en el lgebra de los cuatro nmeros (ejemplo 2 de 18 pg. 26) me
diante las condiciones
lrs,

i => p,

1 ^

9,

p =

<; id 0

(los elemeiitos p y q de esta lgebra son incomparables, o sea, no tieno


lu^ar ninguna de las relaciones p
g y g r j p). En el lgebra de los
mximos y los mnimos (ejemplo 3 de la pg. 27) la rotacin o
coincide con la relacin
consideramos que los olomeutos x e y
estn vinculados por la relacin x = y si el nmero x no es menor

que el nmero y (por ejemplo, aqu y 13 j y

i 3 l ) 1). Por ltim o,

en el lgebra de los mnimos mltiples y I 03 mximos divisores


(ejemplo 4 de la pg. 30) la relacin
n significa que ol nmero n
es divisor del nmero m\ por ejemplo, aqu 42
6, mientras que loa
nmeros 42 y 35 de esta lgebra son incomparables (o sea, no tieno
lugar ninguna de las relaciones 42
35 y 42 c 35). Proponemos al
lector demostrar que la relacin o , definida de esta forma en cada
una de las lgebras do Boole enumeradas, posee todas las propiedades
que hemos sealado para la relacin => en el lgebra de los conjuntos

Es natural denominar desigualdad booleana toda frmula


cuyos primer y segundo trminos estn vinculados por la
relacin r> ( o c ) , Trataremos slo de las desigualdades v li
das para todos los valores de los elementos A , B, C, . . .
del lgebra de Boole que figuran en la desigualdad, como son
las desigualdades I
A , A ^ 3 O, A
B
A o A zd AB
mencionadas anteriormente. El principio de dualidad afirma
que si en una desigualdad de este tipo sustituimos la adicin
por la multiplicacin, y viceversa, el elemento O (si es que figura
en nuestra desigualdad) por el elemento I , y viceversa, y si
cambiamos el signo de la desigualdad por el signo contrario
(o sea, si sustituimos la relacin:=> por la relacine;), obten
dremos de nuevo una desigualdad vlida (es decir, una desi
gualdad que se cumple para todos los valores de los elementos
l ) En esta lgebra de Boole para dos elementos cualesquiera
x e y del lgebra siempre tieno lugar una de laB relaciones x => y
o y 3 x por lo menos.

www.FreeLibros.me

49

del lgebra do Boole que en ella ligaran). Por ejemplo, do

(A + B) (A + C) (A + I)= > ABC


(vase el ejercicio 8 , b de la pg. 50) se deduce que siempre

AB + AC -f AO cz A + B + C.
Para demostrar el principio de dualidad, basta aplicar la opera
cin raya a arabos miembros de la desigualdad inicial. As, de la
ABC y de la
validez de la desigualdad (^ _ + B) (A + C) (4 4 /)
regla si A zd B , entonces A a B , se deduce que tambin es vlida
la desigualdad
(A + fl)(il + C) (A-\-) c: ABC.
Pero, en virtud de las reglas do Morgan y tenioudo on cuenta que
1 = 0 , obtenemos

(A + B) (A + C)(A + 1) = (A + B ){A + C ) + -+7 =


= A + B + A + C + T ^ B + C-{- AO .
Anlogamente

ABC A 4 B

C.

De esta forma, deducimos que para cualesquiera A , B y C tiene lugar


la desigualdad

AB + C + A O cl A + B + C.
Pero como aqu A , B y C son arbitrarios, so pueden designar simple
mente por A , B y C. De esto modo llegamos precisamente a la desigual
dad
A B + AC + A O c l A + B + C
dual, en el sentido explicado anteriormente, do la inicial.

EJERCICIOS

1. Escribe las igualdades duales de todas las igualdades que so


propone demostrar en los ejercicios del 1 al 1 de la pg. 22.
2. Demuestra las siguientes identidades del lgebra de los coajuntos:
a)

(/1 4fi></143 ) = ;

b)

AB-\-(A + B) (A-\-~B) = A-\-B\

c)

ABC A B A C IO ;

d)*

A + B=A-\-B.

www.FreeLibros.me

50

I. Demuestra nue si 1 operacin raya figura en una igualdad


del lgebra de Boole, tambin es vlida la igualdad que se obtiene
de olla sustituyendo toda adicin hooleana por la m ultiplicacin
buoleana, y viceversa, todo elemento O (si os que aparece en nuesLra
igualdad) por el elemento J, y viceversa, pero conservando la opera
cin raya eu su siliu cada vez que aparezca en la igualdad inicial.
(Ejemplo: de la identidad del ejercicio 2, c se deduce que

+U+

cualesquiera que sean los elementos A , B y 6' del lgebra de Boole.)


4. Qu igualdades se obtienen, por medio del principio de
dualidad descrito en el ejercicio 3, de las igualdades do los ejerci
cios 2. a, b y d?
5. Comprueba que en el lgebra de los cuatro nmeros (ejem
plo 2 de la pg. 2<i) se cumple la segunda regla de Morgan: ab
a
b.
6*. a) Sea N = p (p , . . . pj,, donde todos los nmeros primos
Pn Pa. -i Pft S01 distintos. Demuestra que en esto caso el algebra
de los mnimos mltiples y los mximos divisores, cuyos elementos
son los divisores del nmero N (vase el ejemplo 4 de la pg. .'{(i),
se convierte en el lgebra de los subconjuntos del conjunto universo
1 = {P i, P?> -i Ph)*'< deduce de aqu que en esta lgobra de los
mnimos mltiples y los mximos divisores se cumpleD todas las
leyes del lgebra de Boole incluyendo tambin las reglas do Morgan.
b) Sea N p-t, donde p es un nmero primo y A es un entero
positivo. Demuestra que en este caso el lgebra de los mnimos m l
tiplos y los mximos divisores, cuyos elementos son los divisores
del nmero N , se convierte en el lgebra de los mximos y los m ni
mos definida en el conjunto de los nmeros 0, 1, 2, . . ., / I . Deduce
de aqu que para esta algebra de los mnimos mltiples y los mximos
divisores se cumplen todas las leyes del lgebra de Boolo incluyendo
tambin las reglas de Morgan.
c) Sea N p ' p 18 - - P u h V m = PialPs2 Pftft> donde
0 4 ]
0
. . ., < ah < A h (vase, el ejercicio 6
de la pg. 35). Qu forma tendr la descomposicin en factores primos
del

nmero

Emplea la frmula obtenido para demostrar

las reglas do Morgan en el caso general del lgebra de los mnimos


mltiples y los mximos divisores.
7* Entro las lgebras do Boole que conoces, en cules se cumplen
y en culs no se cumplen las igualdades

A 4- A = I y A A U?
8.
Demuestra la* siguientes desiguaIdades del lgebra
conjuntos:
a> A-\~B-\-L z?
D) (^-j- );
b) ( 4 4 l.i) U 4 < ) (H J) zd ABC-,
<)

(/! + ) (B -hQ (C-\-A)=>AHC;

(1)

A + IS^>AB + A.

www.FreeLibros.me

de los

51

9. Escribo las desigualdades que se obtienen de las desigualdades


a, b y c del ejercicio 8 aplicando el principio de dualidad; demustra
las direclaiuoiito, siu recurrir al principio do dualidad.
10. Demuestra que si una desigualdad booleana comprende la
operacin raya, tam bin es vlida la desigualdad que se obtiene
de la inicial sustituyendo la adicin booleana por la multiplicacin
booleana, y viceversa, el elemento O por el elemento / , y viceversa,
conservando la oporacin raya en su sitio cada vez que aparezca
en la desigualdad inicial y sustituyendo el signo de la desigualdad
por el signo opuesto. Aplica este principio para obtener una desigual
dad nueva a partir de la desigualdad d ael ejercicio 8.
11. Comprueba todas las propiedades de la relacin o para
a) el lgebra do los mximos y los mnimos;
b) el lgebra de los mnimos mltiples y los mximos divisores.
12*. Sean A y B unos conjuntos tales que A => B. Simplifica
las expresiones
a) A + B\

b)

AB;

c) A + B\

d)

B.

4.
CONJUNTOS Y PROPOSICION ES;
LG EB RA
DE

LAS PROPOSICIONES

Volvamos de nuevo al lgebra booleana de los conjuntos,


principal en nuestro folleto. Preguntmonos cmo pueden
definirse los conjuntos que representan elementos de esta
lgebra. Por supuesto, el modo ms sencillo para definir un
conjuuto es el llamado modo ex p lc ito o enum erativo cuando
se indican simplemente todos los elementos del conjunto
considerado; as, puede hablarse del conjunto do los escola
res: Alejandro, Simen, Miguel, Catalina, del conjunto de
los nmeros: 1, 2, 3, 4, 5 o del conjunto de las cuatro opera
ciones aritmticas: adicin, sustraccin, multiplicacin, di
visin. A l indicar todos los elementos de un conjunto, en las
Matemticas se acostumbra incluirlos entre llaves; as,
puede escribirse

A e= {Alejandro, Simen, Miguel, Catalina},


B = (1, 2, 3, 4, 5}

C = {+ ,

www.FreeLibros.me

x,

:}

52

(en en ltimo caso, los signos de las operaciones representan


las operaciones mismas)1).
Sin embargo, este modo de definir un conjunto resulta
muy incmodo si el conjunto tiene muchos elementos y no
puede servir en absoluto para definir conjuntos infinitos (ya
que no podemos enumerar una cantidad infinita de elementos
do un conjunto). Adems, incluso en los casos en loa que es
factible y sencilla la definicin explcita de un conjunto,
ella difumina a veces la esencia misma del conjunto conside
rado, Jas razones que nos conducen a unir en un conjunto
precisamente estos elementos y no otros.
Est mucho ms difundido otro modo de definicin de
los conjuntos, llamado implcito o descriptivo, cuando seala
mos una propiedad que caracteriza todos los elementos del
conjunto considerado: as, puede hablarse del conjunto de
todos los alumnos de tu clase que estudian en sobresaliente
(es posible que sea precisamente el conjunto A que figura
ms arriba), del conjunto de todos los nmeros enteros x
tales que 0 < ; x ^ 5* (ste es precisamente el conjunto B)
o del conjunto de todos los animales del parque zoolgico
de Mosc. E l modo descriptivo de definicin de un conjunto
es totalmente aplicable a los conjuntos infinitos como el
conjunto de todos los nmeros enteros o el conjunto de
todos los tringulos de rea 1 *; es ms, segn hemos sealado
anteriormente, los conjuntos infinitos pueden definirse slo
aplicando el modo descriptivo.
E l modo im plcito (descriptivo) de definicin de los
conjuntos vincula stos con las proposiciones que se estudian
en la Lgica Matemtica. A saber, este modo de definicin
de un conjunto consiste en que fijamos un conjunto de obje
tos, que son los nicos que nos interesan (por ejemplo, el
conjunto de los alumnos de tu clase o 'e l conjunto de los
nmeros enteros) y enunciamos despus una proposicin que
cumplen todos los elementos del conjunto considerado, y
slo estos elementos; si nos interesan slo los conjuntos de
alumnos de tu clase, estas proposiciones pueden ser: estudia
en sobresaliente, es ajedrecista, est sentado en la pri
mera fila, se llama Andrs, etc. E l conjunto A de todos
los elementos del conjunto universo / (conjunto de los alum
nos, conjunto de los nmeros, etc.) que cumplen la propiedad
l ) Vase tambin el ejercicio 6a de la pfig. 50.

www.FreeLibros.me

53

que es el contenido de la proposicin dada a se denomina


conjunto de verdad de la proposicin dada (vase por ejemplo
la fig. 24)1).
De esta forma, hemos establecido una conexin bilateral
entre loa conjuntos y las proposiciones: cada conjunto so

j a

O la I ^ O a @ fe
fc.
{a ^a

a- o e/emento 6 um quadrltam"

t>- "o elemento um tringulo'

FIG . 2*

describe por una proposicin (esta proposicin puede consis


tir incluso en la simple enumeracin de los elementos del
conjunto: es Alejandro, Simen, Miguel o Catalina) y a
cada proposicin le corresponde un determinado conjunto de
verdad de esta proposicin. Adems, para cualquier conjunto
de proposiciones incluso de proposiciones referentes a
objetos heterogneos se puede indicar siempre el conjunto
universo / que les corresponde y que comprende todos los
objetos de los que tratan las proposiciones consideradas.
Sin embargo y esto es de suma importancia entenderemos
por proposicin slo una afirmacin de la cual podemos decir
si es verdadera o falsa (respecto a un elemento determinado del
conjunto universo considerado). De esta forma, son propo
siciones las frases tiene dos cabezas y dieciseis brazos o
2 X 3 = 6 (la segunda de estas frases no depende siquiera
de cmo se escoja el conjunto universo /), mientras que la
consigna Viva el Primero de Mayo! o la interjeccin |Ah!
no representan, por supuesto, proposiciones.
Por cuanto las proposiciones nos interesan nicamente
desde el punto de vista de los conjuntos que describen, no
*) La9 proposiciones sern siempre designadas por
letras minsculas del alfabeto latino mientras que los conjuntos de
verdad que les corresponden sern designados preferentemente por
las mismas letras maysculas del alfabeto latino.

www.FreeLibros.me

54

haremos diferencia y consideraremos idnticas dos proposi


ciones a y b a las que correspondo un misino conjunto de
verdad. Si dos proposiciones a y b (por ejemplo, estudia en
sobresaliente y tiene slo notas sobresalientes o el nmero
x es impar y el nmero x dividido por 2 da 1 como resto)
son iguales, escribiremos

a b.
Habr que considerar iguales entonces todas las proposi
ciones idnticamente verdaderas (o carentes de contenido), o
sea, las proposiciones que son verdaderas siempre, independien
temente del elemento del conjunto / que se considere; as,
son idnticamente verdaderas las proposiciones 2 X 3 = 6,
el alumno de tu clase es uri varn o una hembra, la estatura
del alumno no pasa do 3 metros, ele. Designaremos todas
las proposiciones idnticamente verdaderas por la letra i.
Tambin consideraremos iguales todas las proposiciones
idnticamente falsas (o contradictorias) que no tienen nunca
lugar, o sea, las proposiciones cuyo conjunto de verdad es
vaco. Como ejemplos do tales proposiciones, que designare
mos por la letra o, pueden servir las siguientes: 2 x 2 = 6 ,
el alumno de tu clase sabe volar, su estatura pasa de los
4 metros, el nmero es mayor que 3 y menor que 2.
La relacin existente entre los conjuntos y las proposicio
nes permite definir para las proposiciones unas operaciones
algebraicas especficas similares a las introducidas anterior
mente para el lgebra de los conjuntos. A saber, denominare
mos suma dedos proposiciones a y b la proposicin cuyo conjun
to de verdad coincide con la suma del conjunto de verdad A
de la proposicin a y del conjunto de verdad f de la proposicin
b\ designaremos esta proposicin por el smbolo a + bl).
Pero sabido es que la suma de dos conjuntos es sencillamente
la unin de todos los elementos pertenecientes a ambos con
juntos; por eso, la suma de las proposiciones a y b es la
proposicin a o bi>. donde la conjuncin o significa que es
verdadera la proposicin a o la proposicin b o bien ambas
a la vez. Por ejemplo, si la proposicin a roza es aficionado
at ajedrez y on tu clase a esta proposicin le corresponde el
l) Kti la Lgica Matemtica I surnn de dos
proposiciones a y b Rule denominarse disyuncin do las mismas y re
presentarse por el smbolo a V f> (compara con la designacin .4 (J t
de la suma de los conjuntos A y D),

www.FreeLibros.me

55

conjunto de verdad

A {Alejandro, Simen, Miguel, Andrs, Catalina,


Alejandra, Elena}
mientras que la proposicin b reza es aficionado al juego
de las damas y tiene el conjunto de verdad
B = {Alejandro, Miguel, Pedro, Igor, Catalina, Luz},
entonces a -f- b es la proposicin es aficionado al ajedrez
0 al juego do las damas y a esta proposicin le corresponde
01 conjunto de verdad

A + B = {Alejandro, Simen, Miguel, Andrs, Pedro,


Igor, Catalina, Alejandra, Elena, Luz}.
Si el conjunto universo es el conjunto do las figuras repre
sentadas en la fig. 24 y las proposiciones c y d significan

c-"o elemento redondo"

d-o elemento talado'

c- { @ o
c v d - "o elemento redondo OU miado
f ig .

25

e/emento
redondo raido

c a "o

la figura es redonda y la figura est sombreada, entonces


la proposicin c + d reza <da figura es redonda o est sombrea
da (fig. 25).
De un modo anlogo, denominaremos producto ab de las
proposiciones a y b con les conjuntos de verdad A y 13 a la pro
posicin cuyo conjunto de verdad coincide con el producto A B
de los conjuntos A y Bx). Pero el producto de dos conjuntos A
l) En la Lgica Matemtica el producto de las
proposiciones a y t> s denomina cot frecuencia conjuncin do las
mismas y se designa por el smbolo a f\ b (compara con la designa
cin A n O del producto de los conjuntos A y B).

www.FreeLibros.me

56

y 7? es la interseco j , o )a parte comn de los mismos, que


contiene los elementos que pertenecen a ambos conjuntos A
y f , y slo estos elementos; por eso, l producto ab de las
proposiciones a y b es la proposicin a y b, donde la con
juncin y significa, como siempre, quo son verdaderas
ambas proposiciones: la proposicin a y la proposicin b.
Por ejemplo, si las proposiciones a y Preferentes a los alum
nos do tu clase tienen el mismo significado que antes, entonces
la proposicin ai> reza es aficionado al ajedrez y os aficionado
al juego de las damas y a esta proposicin le corresponde el
conjunto de verdad

A B = (Alejandro, Miguel, Catalina}.


Si las proposiciones c y d , referentes al conjunto de figuras
representadas en la fig. 24, significan la figura es redonda
y la figura est sombreada, entonces la proposicin cd
significa la figura es redonda y est sombreada (fig. 25).
La relacin existente entre los conjuntos y las proposicio
nes permite traspasar a los proposiciones todas las reglas del
lgebra de los conjuntos;

a + b = b + a,

ab ba;

leyes conmutativas dol lgebra do las proposiciones

(a -f- b) -J- c a -f (b + c),

(ab) c = a (be);

leyes asociativas dol lgebra de las proposiciones

(a -f b) c ac -\
- be,

ab -|- c (a 4 - c) (b -j- c);

leyes distributivas del lgebra de las proposiciones

a + a = a,

aa = a.

leyes idenipotentes del lgebra de las proposiciones

Adems, si i es una proposicin idnticamente verdadera


y o es una proposicin idnticamente falsa, entonces siempre
(o soa. para cualquier proposicin a)

a 4 " o = a,
a + i = i,

ai a\
ao o.

Por ejemplo, la proposicin estudia en sobresaliente o tiene


dos cabezas os equivalente a la proposicin estudia en sobre
saliente, mientras que la proposicin es aficionado a la

www.FreeLibros.me

57

natacin y tiene menos de 200 aos es equivalente a la pro


posicin es aficionado a la natacin1).
Para comprender cmo las leyea del lgebra do las proposiciones
se deducen de las leyes del lgebra de los conjuntos, consideremos,
por ejemplo, la segunda ley distributiva. Puesto que el conjunto de
verdad de la suma de dos proposiciones reprcseuta la suma de loa
conjuntos de verdad de estas proposiciones y el conjunto de verdad
del producto de proposiciones es el producto de sus conjuntos de ver
dad, resulta que el conjunto de verdad de la proposicin compleja
ab -j- c (o sea, de la proposicin tiene lugar a y b o c) es AB -f C,
donde A , B y C son los conjuntos de verdad de las respectivas propo
siciones a, b y c. Anlogamente, el conjunto de verdad de la proposi
cin compleja (a -J- e) (6 + c) es el conjunto (A -j- C) (5 -j- C).
Pero, en virtud de la segunda ley distributiva del algenra de los
conjuntos,

A B + C = (A + C) (B + C ).
Por consiguiente, los conjuntos de verdad de las proposiciones ab
c
y (a -J- c) (6 + c) coinciden; pero esto significa precisamente que las
proposiciones ab + c y (a + c) (b + c) son iguales. (Vase tambin
La pg. 18 donde hemos sealado que las proposiciones es aficionado
al ajedrez y al juego de las damas o a la natacin y es aficionado
al ajedrez o a la natacin y tambin es aficionado al juego de las
damas o a la natacin tienen el mismo sentido, o sea,

ab + c (a + c) (6 + c),
donde las proposiciones a, b y e significan, respectivamente, es afi
cionado al ajedrez, es aficionado al juego de las damas* y ea aficio
nado a la natacin.)

Aparte de las operaciones de adicin y de multiplicacin


de los conjuntos, tambin se puede traspasar al lgebra de las
proposiciones la operacin raya. En esto caso debe entenderse
por la proposicin cuyo conjunto de verdad, es el conjunto A,
donde A es el conjunto de verdad de la proposicin a. En otras
palabras, deben cumplir la condicin aquellos elementos
del conjunto universo I que no figuran en el conjunto A,
*) Roprescntomos tambin las leyes onumeradas
ms arriba en la forma que suelen aparecer en los testos do Lgica
Matemtica:
a V b = b V a>
o f\ b b \ a\
(a V b) V c = a V (* V *)
( A *) A e = a A (& A c)
(o V 6) A f = (a A c) V (b A <). ( A b) V e = (a V e) A
V );
d V o = a,
A = I
a V o = a,
a f\ a]
a /\ o = o.
a V i

www.FreeLibros.me

58

o sea, los elementos que no cumplen la condicin , y slo


estos elementos. Por ejemplo, si la proposicin a reza tiene
notas insatisfactorias, entonces la proposicin a significa
no tiene olas insatisfactorias (tiene buenas notas en todas
las asignaturas); si el conjunto universo / consta de las

8lo P O
b- "o elemento \ O um tringulo"

figuras representadas en la fig. 24 y la proposicin b reza


la figura es triangular, entonces Ja proposicin b significa
la figura no es triangular (fig. 26). En general, ia proposi
cin tiene el sentido de no a; por eso en el lgebra do las
proposiciones la operacin raya se denomina formacin
de la negacin o simplemente negacin.
Enumeremos ahora las leyes del lgebra de las proposicio
nes relacionadas con la operacin de la negacin:

a = a\
a-\-u i

a 0 ;

o= i

i o;

a-\-b ah

ab = a + l>.

En efecto la negacin de una proposicin idnticamente falsa


(por ejemplo, 2 x 2 no es igual a 5 o este alumno no
tiene dos cabezas) siempre ser una proposicin idntica
mente verdadera, mientras que la negacin de una propo
sicin idnticamente verdadera (esto alumno no tiene menos
de 120 aos) siempre ser idnticamente falsa. Tambin
es fcil comprobar las dems leyes (jliazlo!); es verdad, que
stas no requieren una comprobacin especial ya que se

www.FreeLibros.me

50

ded uce il lus leyes correspond un les del algebra du lo


conjnnlos1).
EJERCICIOS
1. Cita tres ejemplos do proposiciones idnticamente verduderaS
y dos ejemplos de proposiciones idnticamente falsas.
2. Supongamos que la proposicin a significa:
a) 2 X 2 = 4;
h) os varn;
c) el elefante os un insecto;
d) sabe volar.
Qu significado tiene on todos estos casos la proposicin ~a>
Es idnticamente verdadera? Es idnticamente falsa?
3. Supongamos que la proposicin a significa es aficionado al
ajedrez, mientras que la proposicin b significa es aficionado al
juego de las damas. Qu significado tienon las proposiciones:
a) a-\-b;
f)

ab;

b) ab;
g) ab;

c) 7 + 6 ;

d) a-|-&;

e) "s + i;

h) a 6?

4. Supongamos que la proposicin a significa el alumno estudia


en sobresaliente, la proposicin b reza ef alumno es moreno y la
proposicin c afirma el alumno es aficionado a la natacin. Qu
significado tienen las proposiciones:
a) (a -(- ) c y ac + be;
b)ab -(- c y (a + c) ( b -f*

e)?

5. Supongamos que las proposiciones a y b significan: el nmero


entero positivo es par y el numero entero positivo es primo. Qu
significado tiene]) las proposiciones:
a)

ab;

b) a +6;

c) ab;

d) ab\

e) a-J-ft?

Qu representan los conjuntos de verdad de estas proposiciones?


6. .Supongamos qiie las proposiciones a y b significan, respectiva
mente, el alumno es miembro del crculo matemtico y el alumno
participa en el coro, Qu significado tienen las proposiciones
a)

a-|-6

b) S

y
y

a b;
tf+'V

*) Por ejemplo, puosto que los conjuntos de ver


dad de las proposiciones n -{- l> y a l>son iguales n A
D y A H, respec
tivamente, donde A y f son los conjuntos do verdad de Ins proposicio
nes a y 6, y puesto quo A + ti = A /?. entonces de la definicin do la
igualdad (coincidencia) de proposiciones resulta que a -(- b a b .

www.FreeLibros.me

60

5.
LEYES

DEL PENSAMIENTO
Y

REGLAS

DE LA DEDUCCION

Aliora podemos responder a ]a pregunta de por qu Ceorge


Hoole dio ol ttulo de Investigacin de las leyes del pensa
miento a su obra en la que fue construida el lgobra extra
ordinaria considerada en el folleto presente. En efecto, el
lgebra de las proposiciones tiene una relacin directa con
las leyes por las cuales se rige el hombre en el proceso de
pensamiento, ya que la suma y el producto de proposiciones,
definidos anteriormente, no significan otra cosa sino las
cpulas lgicas o e y, la operacin raya tiene el sentido
de la negacin, mientras que las leyes del lgebra de las
proposiciones describen las propiedades principales de estas
operaciones lgicas por las cuales se rigen todas las personas.
Claro est que muy pocas personas interpretan estas propie
dades en tanto que leyes matemticas del pensamiento, pero
incluso los nios pequeos las emplean con soltura. En efecto,
nadie duda, por supuesto, de que decir corre rpido y salta
alto os lo mismo que decir salta alto y corre rpido; en
otras palabras, todos saben (aunque no todos son conscientes
de ello que las proposiciones ab y ba tienen el mismo sentido,
son iguales.
Ahora podemos explicar las razones que han motivado
en nuestros das tan acrecentado inters hacia los estudios de
Coorge Boole, liacia la interpretacin matemtica de las
leyes de la lgica en forma de especficas reglas del lgebra.
Mientras el campo del pensamiento ha constituido una pre
rrogativa absoluta del raciocinio humano, podamos desen
tendemos de la descripcin formalizada de las leyes del
pensamiento; pues las personas siempre se han regido por
estas leyes sin darse cuenta siquiera del contenido de las
mismas. Poro en los ltimos decenios la situacin ha cambia
do vertiginosamente y hoy tratamos de encomendar a nues
tros colaboradores electrnicos, las mquinas computadora
electrnicas, funciones que antes cumplan slo seres conss

www.FreeLibros.me

61

cientos: direccin de la produccin y elaboracin de horarios


del transporte, solucin de problemas matemticos y traduc
cin de libros, planificacin de la economa y bsqueda de
datos que nos interesan en la vasta bibliografa cientfica;
hoy da las mquinas electrnicas juegan incluso al ajedrez.
Pero, para ensear todo esto a las mquinas, nos hemos visto
obligados, naturalmente, a enunciar con claridad las reglas
del juego, las leyes del pensamiento, que deben seguir
las inteligentes mquinas creadas por el hombre: mientras
el hombre sigue instintivamente las reglas de ia lgica, para
la mquina es preciso formularlas con claridad y, adems,
formularlas en el nico idioma que slo puede compren
der la mquina matemtica, en el idioma de las matem
ticas 1).
Pero volvamos a las leyes del pensamiento. Las de
mayor inters son las relacionadas con la operacin lgica de
la negacin; muchas de stas tienen nombre especial en la
Lgica. Por ejemplo, la regla
a+ a= i
expresa la llamada ley del tercer excluido-, tiene lugar la
proposicin a o tiene lugar la proposicin a, sin que pueda
darse un tercer caso, y por eso es siempre verdadera la pro
posicin a + a, o sea, a o no a. As, aun sin saber nada
sobre el alumno de mayor estatura de la sptima clase de la
escuela N 12 de Leningrado, podemos afirmar que este
alumno estudia en sobresaliente o no estudia en sobresalien
te, que es aficionado al ajedrez o que no es aficionado al
ajedrez. La regla

aa = o
lleva el nombre de ley de la contradiccin', esta ley establece
que las proposiciones a y , o sea, a y no a, jams pueden
tener lugar simultneamente, es decir, que el producto de
estas proposiciones es siempre falso. Por ejemplo, si un alum
no estudia en sobresaliente, la proposicin no estudia en
1)
Empero, no quisiramos que el
de aqu la conclusin do que el lgebra elemental de las proposicio
nes, a la que est exclusivamente consagrado este folleto, representa
ya el aparato que permite construir mquinas computadoras comple
jas o plantear ios problemas en forma tal que la solucin de los miamos
pueda ser ya confiada a lafi mquinas electrnicas.

www.FreeLibros.me

62

sobresaliente aplicada a esto alumno ser, por supuesto,


falsa; si el nmero (entero) n es par, para l resulta falsa la
proposicin es impar*. La regla

a a
se denomina ley de la negacin doble; establece que la negacin
doble de una proposicin equivale a la proposicin inicial.
As, la negacin de la proposicin es par, referente a un
Dmero entero, es la proposicin es impar; la negacin
es no impar de esta ltima proposicin nos haco retornar
a la proposicin inicial sobre la paridad del nmero. De un
modo anlogo, la negacin doble no es un alumno que no
tiene buenas notas de la proposicin acerca de que el alumno
tiene buenas notas equivale a la proposicin inicial tieno
buenas notas.
No es menor la importancia que tienen las reglas de
Morgan

a-\-b=>ab

ab a-\-b

para las proposiciones aunque el enunciado verbal de las


mismas es algo ms complejo (vase a este propsito el ejer
cicio 1 que viene a continuacin). De la misma forma todas
las dems reglas del lgebra de las proposiciones, como son
las leyes distributivas

{a + b) c ac -f be

ab 4- c (a 4 - c) (b 4- 0

o las leyes idempotentes


4- = a

aa = a,

representan determinadas leyes del pensamiento, determi


nadas reglas de la lgica que rigen la obtencin de nuevas
conclusiones de otras que ya se conocen.
Un lugar peculiar ocupan las reglas referentes a la rela
cin lgica j. Hasta el momento no hemos considerado esta
relacin; sin embargo la conexin bilateral entre los conjuntos y Jas proposiciones, que hemos establecido anterior
mente, permite traspasar sin dificultad la relacin =3 del lge
bra de los conjuntos (relacin de inclusin) al campo del
lgebra de las proposiciones. A saber, escribiremos

www.FreeLibros.me

63

y diremos que la proposicin a se deduce de la proposicin b


(o quti a es m corolario de b) siempre que el conjunto de verdad
A de la proposicin a comprenda el conjunto de verdad B de la
proposicin b, o sea, siempre que

A => B .
Por ejemplo, puesto que el conjunto B de los alumnos de tu
clase que estudian en sobresalionte est contenido obviamente
en el conjunto A de todos los alumnos que tienen buenas no
tas, resulta que la proposicin a: el alumno de tu clase tiene
buenas notas en todas las asignaturas es corolario de la
proposicin b: el alumno estudia en sobresaliente. De un
modo anlogo, el conjunto

A , = {6 , 12, 18, . . .}
de los nmeros (enteros positivos) divisibles por (i est con
tenido en el conjunto

A 2 {2, 4, 6 , 8 , 10, 12, 14, 16, 18, 20, . . .}


de los nmeros pares; por esto, la proposicin el nmero es
par resulta corolario de la proposicin el nmero es divisible
por 61).
A menudo se denomina deduccin a la comprobacici de
que dos proposiciones a y b estn vinculadas por la relacin
a
b; en este caso la proposicin b se denomina hiptesis
y la proposicin a, que se deduce de esta hiptesis, se denomi
na tesis. Con las deducciones nos encontramos muy frecuente
mente en la ciencia y en la vida cotidiana; por ejemplo, tienen
como regla carcter de deduccin las demostraciones de teo
remas matemticos: se exige demostrar que la hiptesis b
del teorema (por ejemplo, el ngulo P del tringulo M N P
es recto, fig. 27) implica la tesis a (M P 2 + NP* MNH\
en esto caso la frmula a z? b equivale al teorema de Pitgoras). En las deducciones (por ejemplo, al demostrar los teore
mas) empleamos sistemticamente (sin darnos cuenta a veces
*) Si a
b, tambin se dice que la proposicin b
es condicin suficiente para a (para que el alumno tenga buenas notas
en todas las asignaturas es sujtctente, por supuesto, que estudie en so
bresaliente) y que la proposicin a es condicin necesaria para b (para
que el alumno estudie en sobresaliente es necesario, por supuesto, que
enga buenas notas en todas las asignaturas).

www.FreeLibros.me

64

de ello) ht propiudades principales de la relacin o 1):


a r) a;
si a r> b y n a, entonces a = 6 ;
si d 6 y 6 d c, entonces a r> c\
i
zd a y a rs o cualquiera que soa a;
a: + b n a y s D a i para cualesquiera a y 6 ;
si a zd 6, entonces id a.
Por ejemplo, sabemos que si las diagonales de un cuadril
tero se cortan en el punto medio de ambas (proposicin b),

F IG . 27

dicho cuadriltero es un paralelogramo (proposicin a)2);


por otro lado, en el paralelogramo los ngulos opuestos son
iguales (proposicin c). De este modo, tenemos
a D

cd

a;

por eso

c ra b
o en otras palabras: si las diagonales de un cuadriltero se
cortan en el punto medio de ambas, sus ngulos opuestos son
iguales.
Detengmonos finalmente en el empleo de la regla asi
a
b, entonces b => a. Esta regla es la base de las as llama*) La regia a j 3 o, enfonces a = 6t
se opuncia a voces as: si b es condicin necesaria y suficiente para a,
las proposiciones a y b son equivalentes (desde nuestro punto de vista,
iguales o dniions).
a) E esto caso tenemos incluso a 3 b y b z> a,
o sea, a = b.

www.FreeLibros.me

05

das demostraciones por el absurdo. Supongamos quo debemos


demostrar que tiene lugar la relacin a id b: do la proposicin
b se deduce la proposicin a. Frecuentemente resulta ms
fcil demostrar que si a 110 tiene lugar, tampoco puede cum
plirse b , o sea, que de la proposicin no a (proposicin )
se deduce la proposicin no fe (proposicin b).
He aqu un ejemplo de este modo de razonar: demostremos
que si el nmero (entero) n mayor que 3 esprimo (proposicin b),
entonces n es de la forma 6k 1 (donde k es un entero), o sea,
que al dividir n por 6 se obtiene el resto + 1 o el resto 1
(proposicin a). Es bastante difcil demostrarlo directamente,
sin basarse en la regla si a z b, entonces b zd ar, tratemos,
por eso, de recurrir a la demostracin por el absurdo. Supon
gamos que tiene lugar la proposicin a, o sea, que el nmero n
(entero y mayor que 3) no es de la forma 6k 1. Al dividir
por 6 cualquier nmero entero n se obtiene o bien el resto 0
(en este caso el nmero n es divisible por 6 ), o bien el resto 1 ,
o bien el resto 2, o bien el resto 3, o bien el resto 4, o bien el
resto 5 (o el resto 1 que viene a ser lo mismo); por eso, la
hiptesis significa que al dividir el nmero n por 6 se obtiene
o bien el resto 0 (o sea, el nmero os divisible por 6 ), o bien
el resto 2, o bien el resto 3, o bien el resto 4. Pero un nmero
divisible por 6 jams puede ser primo; si al dividir un nme
ro entero n > 3 por 6 se obtiene 2 4 como resto, el nmero
es par y, por consiguiente, no puede ser primo; si al dividir
n por 6 se obtiene 3 como resto, el nmero es divisible por 3
y tampoco puede ser primo. Es decir, do a se deduce b (simb
licamente ~b zd ); de aqu se desprende precisamente que

a zd b
que es lo que queramos demostrar*).
EJERCICIOS
i.
Enuncia verbalmente las reglas de Morgan a + 6 = ab y
ab s= a + b del lgebra de Jas proposiciones.
l ) Ms preciso es el razonamiento siguiente: de la
relacin demostrada b zd a se deduce quo () :z> (6) o "a n ; pero,
como en virtud de la ley de la negacin doble a = a y 6 = b, tenemos
a zd b.

www.FreeLibros.me

60

2. Cita un ejumplo que ilustre


a) la ley del tercero excluido;
b> la ley de la contradiccin;
c) la ley de La negacin doble.
3. Propn un ejemplo para ilustrar cada una de las propiedades
do la relacin =3 (relacin do secuencia) de las proposiciones enume
radas en la pg. 64.
4. Recuerda algn ejemplo que tu conozcas de la demostracin
por el absurdo y escrbelo en forma simblica.
5. Sea a z> b. Simplifica la suma a + b de las proposiciones
a y b y el producto ah de estas proposiciones.

PROPOSIONES

^ CIRCUITOS DR CONTACTOS

Para terminar este folleto indicaremos un ejemplo ms de un


lgebra de Boole que posiblemente te parezca bastante inesperado.
Consideraremos como elementos de nuestra lgebra lodos los circuitos

de contactos posibles, es decir, los circuit".- elctrico* provistos de


una serie de interruptores de contacto. Las seccione; aisladas de lal
circuito, somojante al representado en la fig. 28, las designaremos
con letra latina mayscula; estas sern precisamente los elementos
del lgebra especfica considerada.
Por cuanto la nica misin de una seccin de un circuito elctrico
consiste en conducir la corriente elctrica, no haremos diferencia
y consideraremos iguales dos secciones idnticas en este aspecto,
o sea, dos secciones que contienen los mismos interruptores y que
simultneamente conducen o no conducen la corriente cuando la
posicin (cerrado, abierto) de todos los interruptores es la misma.
Adems, denominaremos suma <4 + ;-d de dos secciones .4 y :

www.FreeLibros.me

67

de un circuito el resultado de su acoplamiento en paralelo y producto


el resultado de su acomplamienlo en ferie (vase la fig. 29. a y b,
donde las secciones 4 y ) contienen un contacto cada una). Est

A,

8^

A+B
V

b)

0}
FIO. 29

claro que la adicin y la multiplicacin de secciones <lo un circuito


elctrico definidas do esta forma resultan conmutativas
y asociativas

+ .A =

4 .f?. 4

U 4 8) 4 < =
4 {* + <6)
U M ) % = ^ (.9?)

= 3(W

(= J + & 4 ),
( = f $ r)

(vase la fig. 30, a y >, en la cual est representada la suma triple


^ 4 .9 4 % ,V el producto triple
do tres contados). Tam
bin verifican las leyes idciupo lentes::

4 .-A A*

.ya que la conexin en serie o en paralelo de dos contactos idnticos


(o sea, simultneamente cerrados o abiertos ambos) da el mismo resul
tado que un contacto nico. Ms difcil es comprobar que en nuestra
Algebra de los circuitos do contactos so cumplen ambas leyes dis
tributivas:

U 4- JSB) <6 = .4% + m

^ 4 ? = U 4

?) (# + #);

sin embargo, tambin tienen lugar estas leyes como puedo verse de
las figs. 31 y 32 (es fcil comprobar que el circuito representado en la
fig. 31, a es igual, en nuestro sentido, al circuito de la fig. 31, b
y que el circuito de la fig. 32, a es igual al circuito de la fig. 32, 6).
Convengamos, finalmente, en designar por y el contacto siempro
cerrado (soldado; fig. 33, a) y por O el contacto siempre abierto
(ruptura delcircuito; fig. 33. b). Es evidente entonces que
(fig. 34) y que

j 4 = J

JO = A

<4 4 CJ = y

<4 = (i)

(fig. 35);de esta forma los contactos"j y O desempean


en nuestra
lgebra de Doole el papel de los elementos especiales / y 6.

www.FreeLibros.me

68

Convongamoa, adems, en indicar por ^ y


un par de contactos
est nece
tal que si el contacto j l est cerrado, entonces el contacto

C,

-/8C

/1+0+C

cr o-

(W

(a)
FIG. So

tartamente abierto; es fcil desde el punto de vista tcnico realizar


semejante par de contactos (ig. 38). Es evidente que

o f- o f.

J= G .

= J.

www.FreeLibros.me

69

asi como que


= 3
(fig. 37, a y

A<AQ

6). Ms complejoos demostrar las reglasde Morgan:

.A 3) =

+
<8.

pero tambin ellas tienen lugar aqu (vase la fig. 38, a y b, donde
as secciones de circuito
-f 3 y a i +
se determinan, digamos.

l ---00

---- o0 o-

(B)

(t>)
FIG. 33

(b)

M
F IG . 35

por la condicin de que si e circuito


+ 8 conduce la corriente,
entonces el circuito
+ 8 no la conduce, y viceversa).
La semejanza que existe entre el lgebra de los circuitos do
contactos y el lgebra de las proposiciones es muy valiosa en dos
aspectos. En primer lugar, permite sim ular proposiciones complejas
mediante circuitos elctricos. Consideremos, por ejemplo, la propo
sicin compleja

rf = n)c+a6c.

www.FreeLibros.me

70

B^/1+B

+B^AB

(>)

<b)
F IO . 38

www.FreeLibros.me

71

donde a, b y c son unas proposiciones simples, mientras que la adi


cin y la multiplicacin de las proposiciones y ia operacin raya
significan, como de costumbre, las cpulas lgicas o o y y la nega
cin. Hagamos corresponder a las proposiciones o, 6 y c ios contactos

B
>

A b c

a b c

A ( B C + B C )

F IG . 39

fy <55 y r< en tal caso nuestra proposicin compleja d quedar repre


sentada por el circuito de la fig. 39 que corresponde a la combinacin.

- I-

Para comprobar si la proposicin d es


de los contactos J-, & y
verdadera siendo, digamos, verdaderas las proposiciones a y b y falsa

c
\

'ir
l'IC . 40

la proposicin c, bastar cerrar los contactos j f y .58 del circuito -2}


y aorir el contacto % (tig. 40): si el circuito
conduce la corriente,
quiero decir que correspondo a una proposicin verdadera i (o sea,
a un circuito
que conduce la corriente), dicho de otro modo, en
este caso la proposicin d es verdadera; en cambio, si dadas estas
condiciones el circuito 3 no conduce la corriente (es igual al cir
cuito <}), la proposicin d es equivalente on estas condiciones a la
proposicin o, on otras palabras, as falsa.
La segunda ventaja, que se obtiene de la semejanza existente
entre el lgebra de los circuitos de contactos y el lgebra de las propo
siciones, consiste en que permite construir, basndose en las reglas

www.FreeLibros.me

72

de la Lgica, circuitos de contactos que satisfacen condiciones dadas


de antemano (y que pueden ser bastante complejas). Lo mostraremos
con dos ejemplos.
Ejemplo 1. Es preciso construir un circuito elctrico para un dormi
torio con un bombillo elctrico siendo deseable tener dos interruptores',
uno junto a la puerta y otro sobre la cabecera; el giro de cualquier inte
rruptor, independientemente de la posicin que ocupe el otro, debe des
conectar el circuito si anteriormente estaba conectado y conectarlo, si
estaba desconectado.
Solucin. Desuemos por
y J0 los dos contactos correspon
dientes a los interruptores; en tal caso, el problema consiste en cons
truir una combinacin % (correspondiente al circuito elctrico del
dormitorio) de los contados 4 y $1 (as como, posiblemente, (le
y >%) tal que al cambiar el estado de cualquiera de estos dos contactos
cambie tambin el estado de lodo el circuito % (es decir, que convierta
en circuito abierto el circuito que conduce la corriente, y viceversa).
En otras palabras, nuestro problema consiste en hallar una combi
nacin c de unas proposiciones a y b tal que al cambiar la proposicin
verdadera a por la falsa, o viceversa, cambie el carcter (verdadero,
falso) de toda la proposicin c\otro tanto se refiere a la proposicin b.
Esta condicin es satisfecha por la proposicin c verdadera si ambas
proposiciones a y b son verdaderas o si ambas son falsas, y falsa en
los dems casos (en los que una de las proposiciones a o b es verdadera
y lia otra es falsa). El hecho de que en esta descripcin hayamos emplea
do la conjugacin o sugiere la idea de que es posible representar la

>

A B + A B

ir

F IG . ( I

proposicin c en forma de suma de dos proposiciones, una de las cua


les es verdadera si son verdaderas a y b, mientras quo la segunda es
verdadera si son verdaderas a y ~b (o sea, si a y 6 son falsas). Fijndo
nos ahora en la conjugacin y, que figura en la descripcin de los
dos sumandos de la suma buscada, llegamos a la conclusin do que
estos sumandos son

ab

a b.

De esta forma tenemos definitivamente

c = ab-\-a b

www.FreeLibros.me

73

y es fcil comprobar, en efecto, que esta proposicin c salislace las


condiciones ms arriba enumeradas.
Volviendo ahora de las proposiciones a los circuitos de contactos,
deducimos que el circuito elctrico % que nos interese viene oxprosado por la frmula
est clara que d o ofrece dificultad la realizacin tcnica de semejante
circuito (ig. 41).
Ejemplo 21), Hay que construir un circullo elctrico para el mando
de un elevador; suponemos, para simplificar, que el nmero de pisos es
igual a dos. El circuito debe contener dos contactos que se manipulan
oprimiendo botones instalados en la cabina del elevador (botn de des
censo) y en el primer piso, junto a la puerta del elevador (boln de lla
mada)', los contactos adicionales estn relacionados con las puertas del
elevador en el primero y segundo pisos, con la puerta interior de la cabina,
asi como con el piso del elevador sobre el cual ejerce presin el pasajero
que se encuentra en la cabina. E l circuito elctrico que permite manejar
el descenso*) del elevador, debe conectarse slo si la cabina se encuentra
en el segundo piso y si, adems, se cumplen, las condiciones siguientes:
1 ) estn cerradas ambas puertas del elevador y la puerta de la cabi
na; el pasajero se encuentra en el elevador y oprime el botn de descenso o
2 ) estn cerradas ambas puertas del elevador (mientras que la puerta
de la cabina est cerrada o abierta); en la cabina no hay nadie; una
persona oprime en el primer piso el botn de llamada.
Solucin. Designemos los interruptores de contacto que regulan
la conexin del circuito de la forma siguionte: 0f es el interruptor
que se cierra slo ai la cabina se encuentra en ol Segundo piso; ,5,
y .9 son los interruptores que se cierran cuando ae cierran las Puer
tas del elevador on el piso 1 y en el piso 2; Pc os un Interruptor anlo
go relacionado con la Puerta de la Cabina; P es el intorruptor rela
cionado con el piso do la cabina que se cierra bajo la influencia del
peso del Pasajero;
y j&i son los Interruptores relacionados con el
Botn de Descenso que se encuentra en la cabina del elevador y el
Hotn de Llamada que se encuentra en primer piso, junto a la puerta
del elevador. Segn la condicin dol problema, el Circuito buscado
para manejar el Descenso del elevador dobe conectarse (conducir
la corriente) slo en el caso de que:
1 ) el contacto
est cerrado, y el contacto .f'y est cerrado, y el
contacto
est cerrado, y el contacto ,f>e eat cerrado, y el contacto
P est cerrado, y el contacto 8d est cerrado

o
2) ol contacto f est cerrado, y el contacto

osla cerrado, y ol

*) Hemos tomado este ejemplo del libro de M. A. IoJieTaen,


Cjjrnaji, C ohctckoo pauio, 1958, CTp. 214 ( I . A. Poletev, Seal,
pg. 214).
a)
Aqu slo consideramos la estructura del circuito que permite
manejar el descenso del elevador; anlogamente so puede examinar
tambin la estructura del circuito que desplaza el elevador hacia
arriba (vase el ejercicio 6 de la pag. 75).

www.FreeLibros.me

74

contacto : f t est cerrado, y el contacto


est cerrado o abierto,
y el contacto 8 est cerrado, y el contacto
est abierto.
Teniendo en cuenta que la operacin lgica y* corresponde al
producto de proposiciones (de contactos), mientras que la operacin
lgica o correspondo a la suma do las mismas, obtenemos fcilmente

%d=

(. f' H- &c)

Empleando la igualdad
la propiedad del contacto J L-/fO

Pora cualquier contacto

e,

81

as como lo ley conmutativa <ie la multiplicacin y la ley distribu


tiva, podemos simplificar la expresin obtenida:

= <^i ^ 2 (f''c-S&d+ ^ j )
Es fcil persuadirse do cmo debe realizarse tcnicamente se
mejante circuito (fig. 42).

E J E R C IC IO S

1. Representa los circuitos de contactos que corresponden a las


proposiciones complejas
a) (a+ b)(c+ d);
b)

abc-\~al>+a;

c)

abe -f abe+ abe;

d) (a + 6) (a + 6)-|-a> + <t b.
2. Representa los circuitos do contactos que corresponden a las
proposiciones
(o + c) (b + c) (a -J- d) (6 -f- <)

ab -f- cd

y comprueba la igualdad de estos circuitos.


a*. Construye el circuito elctrico
que comprende los contac-

www.FreeLibros.me

75

toa , tS, % y (y, posiblemente, los contactos j ( , 8, & y ^*)


tul que
a) el c irc u ito ^ s e cierre slo si estn cerrados torios los contactos
A , * % y 2> o si no est cerrado ninguno de estos contactos;
b) el circuito
se cierra slo si estn cerrados algunos de los
% y Z poro no todos estos contactos.
contactos i,
4.
a) El comit consta de tres miembros. Construye el circuito
elctrico que muestre los resultados de una votacin; cada miambro
del comit vota oprimiendo un botn; el bombillo se enciende slo
si la proposicin rene la mayora de votos.
b)
C o n s tru y o un c ir c u it o a n lo g o p a ra un c o m it c o m p u es to
d e l p re s id e n te y c in c o v o c a le s ; ol b o m b illo d eb o encundertxj ahora
s lo si la p r o p o s ic i n re n e la m a y o r a d e v o to s o s i lo s v o to s so han
r e p a r tid o p o r ig u a l p ero o l p re s id e n te h a v o t a d o a f a v o r d e la p ro p o
s ic i n .

5*. Construye un circuito elctrico que permita encender y apa


gar el bombillo empleando
a) tres interruptores independientes (compara con el ejemplo 1
do la p^. 72);
b) n interruptores independientes.
6.
En las condiciones del ejemplo 2 do la pg. 73, construye un
circuito que permita desplazar el elevador hacia arriba.

www.FreeLibros.me

76

APNDICE

DEFINICION
DEL
LGEBRA DE BOOLE
Se denomina lgebra de oole un conjunto arbitrario de ele
mentos a , (5, y, . . . para los cuales estn definidas dos operaciones,
adicin y m ultiplicacin, quo ponen en correspondencia a cada par
a y p de elementos la suma a -f- P y el producto aP de los mismos*);
est definida la operacin raya que hace corresponder a cada elemonto a un elemento nuevo a 3); existen dos elementos especiales
o o i y se cumplen las reglas siguientes:

Reglas referentes a la
operacin de adicin

1 ) a- fp

Reglas referentes a la
operacin de multiplicacin
1a ) ctf} = a ;

leyes conmutativas
12 a) (ap)Y = a(pY);
leyes asociativas
(3a) a a = a.
leyes idempotentes

2 ) (a-fP) + 7 = a + (p + Y),
3) a - f a a ,

Reglas que relacionan la adicin y la multiplicacin

4) ( 4 P)Y = V + PV

l 4a) P + ? * - ( + Y)(P + Y)-

leyes distributivas
Reglas referentes a los elementos o y i
5) a + o = a,

5a) cu = a;

6) a + 1 = 1 ,

6a) ao o.

Reglas referentes a la operacin raya


7) a = a;
J) Compara coq lo expuesto en la pg. 24.
a)
Los matemticos dicen a esto respecto que en el algebra de
Boole hay dos operaciones binarias (adicin y m ultiplicacin), que
a cada dos elementos a y P del lgebra de Boole ponen en correspon
dencia un nuevo elemento (a + p y aP, respectivamente)^ y una
operacin uara que hace corresponder un elemento nuevo a a cada
elemento a del algebra de Boole.

www.FreeLibros.me

77

8 ) o = t,

) 8 a) 1 = 0 .

Reglas que relacionan la operacin raya con la


adicin y la multiplicacin
9) a - fp = p,

| 9a) ap = a-f-p.
reglas do Morgan

En la definicin del lgebra de Boole cabo no exigir la presencia


de la relaciono: la inclusin a r j B puede ser definida por cualquiera
de las condiciones a + ft = a o ap = p, de donde so pueden deducir
todas las propiedades de la relacin o :

D a;
si a 3 p y P zd a , entonces a = p;
si a = p y p
7 , entonces a => v;
=> a y a o o;
a + P ^ a y a a aP;
si a o p. entonces p o a
([dedcelas!). Es ms, en la definicin del lgebra de Boole se puede
no exigir la presenciade una de las operaciones de adicin ode m ulti
plicacin, exigiendo slo la presencia de la otra oporacin y de la
operacin raya; por ojomplo, teniendo las operaciones adicin
y raya*, podemos definir la multiplicacin mediante la regla de
Morgan

a'p=cc-j-{T.
Sin embargo, la presencia de las operaciones de adicin y de m ulti
plicacin nicamente (sin la operacin raya) no determina an
el lgebra d Boole.
La definicin del lgebra de Boole dada ms arriba es poco eco
nmica: muchas de las propiedades enumeradas pueden ser dedu
cidas de las otras, de modo que no es indispensable exigir uue se
cumplan. Esta definicin tampoco es la nica aceitada en la litera
tura: en varios libros y artculos, a las reglas principales (o axiomas)
del lgebra de Boole se agregan adems las siguientes:

Reglas que relacionan la operacin raya con los


elementos o y i
10) a + a = i

110a) a a = o .

En el caso de tal definicin, el ejemplo 3 (lgebra de los mximos


y los mnimos) considerado en el 2 no reprsenla ya un lgebra de
Boole y el ejemplo 4 (lgebra de los mnimos mltiplos y los mximos
divisores) ofrece un lgebra de Boole slo en el caso en ei que el nme
primosdistintos
ro inicial JV so descompone en el producto de factores
dos a dos (tal es el nmero 210 = 2-3-5 *7 que figura en el texto,
pero no ser ste el caso, digamos, dol nmero 72 = 23 -3s = 2-2-2-3-3).
A este respecto pueden verse, por ojomplo, los libros [21 y [4| o el
artculo [8 ] de la lista bibliogrfica que viouo a continuacin.

www.FreeLibros.me

78

RESPUESTAS
Y SUGERENCIAS A EJERCICIOS

1
1. (A + B) (A + C) (D + D)(C + D) =

- [<B 4 /I) (C 4 )H (B 4 D) (C 4 )] =
= (BC 4 A) (BC 4 D) = (A 4 BC) (D + BC) = AD + BC
(aqu se utiliza la segunda ley distributiva).

2. A {A 4 B) - AA 4 AB A 4 AB A I + B =
= A (/ 4 B) =
= 4.
5. >1 (/) 4 /) (B 4 O) = A -I-B = AB.
6. (A + B) (B + C) (C + A) = ABC + AB + AC + BC =
= ABC 4 5 / 4 C 4 BC /IB (C + I) 4 AC + BC =
= B / 4 .4C + BC = AB 4 BC 4 CA
(vase la identidad demostrada en la pg. 21).
7. [(/* + B) (B 4 C)i (C + D) = (AC + B) (C 4 D) =

= AC 4 vtCD 4- BC 4 BD - AC + BC 4 BD.
10. [ U + S + C ) ( 4 C 4 B ) l ( C + /) + /l) =
= [AD 4 (B 4- C)] (C 4 D 4 A) =
[(AD 4 B) 4 C} [ a 4 )) 4 C] =
= (AD 4 B) (4 4 D) 4 c = i4D 4 AD 4 AB + BD + C =
= AB 4 AD 4 BD 4 C.

2
4 0 i
0 0 /
; I /

0 0 0
/ 0 1

0 P C r

b) 4

0 /

0 0 P C i
P p p I r
C C / c i
I I I I /
,

0
p
C
I

0 P c /
0
0
0
0

0
P
0
P

0
0
C
C

n i x [,. 6,] m xlo. 6]

m, ] = *>,

Pt

1 l p.{

c
I
mxfa,,, &,,]

2 2 . . . ph

m u [a ., 6 . ] m iu [a ,., t>_]

(m, )=-Pj

0
P

k h;

in ln ja ,

2 ...p A

www.FreeLibros.me

!>.]

11 h\

79

3
1. AB 4 AC 4 BD 4 CD = (A 4 D) (B + C) (vase ol ejer
cicio i del 1); A + AB = A (vase el ejercicio 2 del 1); AB +
+ BO 4 A I = A (vase el ejercicio 9 del 1); ABC 4 BCD 4
4 CDA = {A + B) (A 4 D) (B 4 D) C (vase el ejercicio iO de!

1).

2. a) (A + BHA + B )= A A + AB + BA + B B **A + A B + B A + 0 = *

= A + BA-\-BA = A (B + B) A = A +1A=* A + A = A\
b) AB+(A + B)(A-{-B)=zAB-\-A+B+BA-{-BB =
= AB 4 0 4 A B 4 B A + O = AB + AB+ BA^=(A B 4 AB) 4 ( d f f 4 B) -=

A(B-\-B)-\-{A+) B A I + IB = A-\-B;
c) ABCBAC = ( i " 4 B 4 C) ( + B) AC = [</i4 B) 4 Cj (/14 B) AC =
- A (4 4 2?) AC 4 B (A 4 B) AC 4 (A + B) (CC) =
= (AAj (/14 5) C 4 [5 (A) C 4 {BB) AC] 4 ( + B) O =
= O (X + B) C + [BOC+O AC] 4 O = Q\
d) A + B = A + I B = A + { A + A ) B = A + A B + A B =

= (A I+ A B ) + AB = A {I-\-B)-\-B
= A{

AB =? A-\-AB.

3. Aplica la operacin raya a ambos miembros de la igualdad


considerada; utiliza el hecho de que A = A .
4. AB-\-AB = A (vase el ejercicio 2a);

(A-\-B)(AB-\-AB) = AB (vase el ejercicio 2b);


A(-\-B)~AB (vase ol ejercicio 2d).
6.
a) A cada divisor m del nmero N lo correspondo un subconjim to dctonninado del conjunto / = {p,,
ph) de divisores
primos del nmero N; a saber, el conjunto <fe aquellos do estos divi
sores que a la vez son tambin divisores de m; adems, ai a los nme
ros m y n les corresponden los subconjuntos A y B del conjunto /,

entonces a los nmeros m n = (m, ], m n = (m, n) y m

les corresponden los conjuntos A 4 B, AB y A .


b) Si m = p y n p b, entonces m n = Ira, ni p'nJ'".

m n (m, n) = /?m5rl ^a

y m=

= p-1~a.

r\ m n4i-air)A2~2
,,Ak~ah
?
V Pl
P2
'"Pk

www.FreeLibros.me

80

7. Estas igualdades no se cumplen en el lgebra do los mximos


y los mnimos (salvo el caso en 1 que los elementos del lgebra son
dos nmeros solamente) y en ol lgebra de los m nimos mltiples
y los mximos divisores (salvo el caso en el que todos los divisores
pf. del nmero N son distintos dos a dos; com
primos p, p3, . .
para con ol ejercicio 6a).

8.

a) (A -1- B) (A + C) = A -f- A C + A B + BC =
= A I + A C + A B + BC = A (/ -f C + B) + B C =
= A I + BC = A + BC <= A + B c A + B + C\
1.) (A + B) (A + C) (A + /) = (A + B) {A + C) I =
= {A + B) (A + C) A + BC => A z=> ABC

(compara con el ejercicio 8a);


c) (A + B) (B -f C) (C + A) = A B -f BC -f CA => A B => ABC
(vase ol ejercicio 6 del 1);
d) Puesto que A rs AB y B ^ A B , se tiene A + B r> AB-\-AB.
9. ABC cr A B + AC (vase el ejercicio 8a);
AB + AC + AO <= A
B + C (vase el ejercicio 8b);
AB -f BC
CA a A
B
C (vase el ejercicio 8c).
10. A fc .(A + B) (A + B).
12. a) A; b) 6 ; c) / ; d) O.

4
5.
a) el nmero entero positivo es par y os primo; el conjunto
do vordad es (2>; b) el nmero entero positivo os im par o e3 primo;
ol conjunto do verdad {1, 2, 3, 5, 7, 9, 11, 13, 15, 17, . . .} difiere
del conjunto de los nmoros impares en que se ha agregado el nme
ro 2; c) el nmero entero positivo es im par y es primo); el conjunto
de verdad (3, 5, 7, 11, 13, 17. 19 ,. . .} difiere del conjunto de todos
los nmeros primos en que se ha excluido el nmero 2; d) el nmero
entero positivo os par y no es primo; el conjunto de veraad (4, (5, 8,
10, 12, 14, 16, . . .} difiero del conjunto do todos los nmeros pares
en que se ha excluido ol nmero 2; e) el nmero entero positivo es
impar o lio es primo; el conjunto do verdad {1, 3, 4, 5, 6, 7, 8, 9,
10, 11, . . .} es ol conjunto de todos los nmeros enteros positivos
a excepcin del nruoro 2.

5
5. o + b a; ab = b.

6
1. a) Vaso la fig. 43; ) vase la fig. 44;
3. a) Vase la fig. 45, a; b) vase la fig. 45, b.
4. a)
+ .4 % +

www.FreeLibros.me

81

b) f = i

-I- && +

+ m s% +
(el botn

+ && + %2t + %% +
<e& + Z% + && + %Sr) +
+ &%%& + &3>%2F + %2%&

lo oprime el presidente del comit).

5. a) t f ^ t m + t m + J f - ]

V O i

pCr O

i
ja

+b x c +o)

P IP . 43

p r
A

C ~

{8C+>M

FIG . i

_X v~

s =a b c o +Md

Cy

_ c ^ _

0^

_D ,

S=(A+B+C+D)(+8+C+)

b)

a)
FIG. '.S

www.FreeLibros.me

82

BIBLIOGRAFIA

1. James T. Culbertson, Mathematies and logic for digital devices.


Prinston (N .J.) 1958, Van Nostrand.
Gn este libro, que do presupone del lector ningn conocimiento
previo que rebase los mrgenes del programa de la enseanza media,
pero que requiere cierta insistencia y determinados hbitos do lectura
de literatura matemtica, se toca de formo muy am plia todo el aba
nico de problemas que constituyen el contenido del folleto presente.
Contieno numerosos problemas destinados al trabajo individual.
2. E- Berkeley, Symbollc Logic and Intelllgent Machines , New
York, 1959.
En muchos aspectos este libro es prximo al anterior, pero dedica
menos espacio a las lgebras de Boole a cuenta de un enfoque ms
amplio de los problemas relacionados con las mquinas matemticas.
3. J . Kemeny a.o., Introduction to fin lte Mathematies, 1957.
Un amplio libro de texto destinado a los estudiantes de primer
grado de especialidades no matemticas; comienza por una detallada
discusin de las cuestiones examinadas en el folleto presente. Con
tiene numerosos problemas.
4. R. Courant y H. Robblns. What is mathematies?, Oxford Univ.
Press, 1941 (traduccin castellana Qu es la matemtica?, Alda,
Buenos Aires, 1954).
En este extenso libro, destinado en primer lugar a los alumnos
de los grados superiores de la enseanza media, tambin se tratan las
lgebras de Boole.
5. A. K aufm ann, R. Faure, Invitation a la recherehe operationnelle, Pars, 1963.
Uno de los captulos de este libro de sumo inters, escrito para
lectores poco preparados, est dedicado a las lgebras de Boola.
6. R- R. Stoll, Sets. Logic and A xiomatlc Theorles, W . H . Freeman and Co., San Francisco-London, 1801 (Conjuntos, lgica y teoras
axiomticas).
Este libro es de un contenido ms profundo que los anteriores,
pero ser de gran inters para un lector ms experto.
7. Jl. A. KanywHBB, 7mo maKoe MamcM.amwiecKaii aoiuko, Hayua, 1984 L. A. K aluzhnin, Qu es ln lgica matemtica?)
Un poqueo folleto de contenido prximo al libro |6].
8. H. M. HrJioM, A Acepu ByAn, c6. O HeK0T0 p u x uonpocax
coopeMenHofi naTeuaTHKH h xnepneTUKn, tripocoeiuonuo, 1965,
cTp. 290324 (I. M. Yaglm, Algebras de Boole, en el libro Sobre
algunas cuestiones de la Matemtica moderna y de la Ciberntica,
pags. de 230 a 324).

www.FreeLibros.me

83
A N U EST RO S L E C T O R E S :

Mir edita libros soviticos traducidos al espaol, Ingls, francs, rabe


y otros idiom as Bxtranjeros. Entre ellos figuran las mejores obras d las distin
tas ramas de la ciencia y la tcnica: manuales para loa centros de enseanza
superior y escuelas tecnolgicas; literatura sobre ciencias naturales y mdicas.
T ambin se incluyen monografas, libros de divulgacin cientfica y ciencla-flccin.
D irija n sua opiniones a la E d itir la l Mlr, 1 Rizhski per., 2. 129820, Mosc,
I-HO, G SP , U RSS.

www.FreeLibros.me

SALEN A LA LUZ LOS S IG U IE N T E S L IB R O S

Efm ov N.
GEOMETRIA SU PERIO R
En este libro se examina un gran nmero de pro
blemas. Se da la argumentacin matemtica de: la
geometra eucldea, las geometras no eucldeas de
Lobachovski y Riemann, la geometra proyectiva,
la geometra de Minkovski y las cuestiones geo
mtricas do la teora especial de la relatividad
y una nocin general de las formas topolgicas
de la geometra de curvatura constante. La obra
so divido en tres partes. E l material principal
se ojcpono on las primores dos partes. El material
de la tercera parto nociones principales de la
geometra do curvatura constante puede ser
aprovechado en el trabajo do los crculos mate
mticos.
E l libro so caracteriza por la claridad de su expo
sicin y es comprensible para amplios crculos
de lectores, aunque las cuestiones quo trata, por
as decirlo, no siempre son sencillas. Ha sido ree
ditado varias veces on la URSS y en otros pa
ses.
Est destinado a los estudiantes de centros do
centes superiores, as como a todas acuellas per
sonas quo se interesan por las matomaticas.

www.FreeLibros.me

85

Berman G. y otros
PROBLEMAS Y EJERCICIOS
DE ANALISIS MATEMATICO
(2* edicin)
Esta coleccin de problemas est dedicada a los
estudiantes que cursan anlisis matemtico on
centros de enseanza tcnica superior.
No contieue la teora ni las frmulas necesarias,
el lector las encontrar en los captulos respectivos
del manual de anlisis matemtico. La mayora
de los problemas est subvidida en grupos, lo
que facilita el trabajo con este libro. A los grupos
ae problemas de contenido homogneo precede
una indicacin general. Todos los problemas de
contenido fsico van acompaados do las nociones
nocesarias sobre la fsica. E l libro contiene un apn
dice: Tablas do las magnitudes do algunas Jun
ciones elementales.
E l autor analiza un total de 4465 problemas.

Elsgollz L.
ECUACIONES DIFERENCIALES
Y CALCULO VARACIONAL
(3a edicin)
En este libro el autor examina las ecuaciones dife
renciales de primer orden y de orden superior,
sistemas de ecuaciones diferenciales, teora do la
estabilidad, ecuaciones de derivadas parciales de
primer orden, mtodos de variaciones en los proble
mas con limites fijos, problemas de variaciones
con lmites mviles, condiciones suficientes del
extremo, problemas de variaciones de extremo
complejo y mtodos directos en los problemas de
variaciones.
Est destinado para los estudiantes de las faculta
des fisicomatemticas do los centros de enseanza
superior y especialistas que estudian los problemas
de matemticas indicados.

www.FreeLibros.me

86

Budak B., Samarski A ., Tjonov A.


PKOBLEMAS
DE FISICA MATEMATICA
En dos tomos
E l libro abarca la mayor parte de los principales
mtodos do resolucin de los problemas de fsica
matemtica. So presta especial atencin a la parte
fsica de la cuestin, a la formulacin de los pro
blemas, a los modelos matemticos de los proce
sos reales, a los ilustraciones fsicas de los mto
dos de resolucin y de los resultados.
La coleccin contiene problemas de deduccin de
ecuaciones y do condiciones lmites, as como de
aplicacin de distintos mtodos de resolucin de
problemas de frontera de la fsica matemtica.
Los problemas cuentan con indicaciones para su
resolucin y con las respuestas a los mismos. Para
muchos problemas se exponen las resoluciones con
la aplicacin de los mtodos ms sencillos.
El libro est destinado a estudiantes de univer
sidades e institutos de enseanza superior que
cursan las matemticas por irn programa am plia
do. La obra tambin resultar de inters para pro
fesores universitarios, colaboradores de institutos
de investigacin cientfica y para ingenieros.

www.FreeLibros.me

87

Efmov A ., Dcmidvich B. (bajo la redaccin de)


PROBLEMAS DE MATEMATICA
PAHA LOS CENTROS DE ENSEANZA
TECNICA SUPERIOR

En dos partes
Esta obra se compone de dos partes (parte primera:
Algebra lineal y fundamentos del anlisis mate
mtico ; parte segunda: Captulos especalos del
anlisis matemtico) y est destinada a ser con
solidadas en las clases prcticas (seminarios) las
partes tericas del curso ao matemticas suporioros,
estudiado en los centros de enseanza superior.
El manual contiene problemas sobre lgebra li
neal y vectorial, geometra analtica, clculo d i
ferencial e integral do funciones do una y m lti
ples variables, ecuaciones diferenciales, anlisis
vectorial, fundamentos de la teora de la variable
compleja, series y sus aplicaciones al clculo
operacional. De este modo, el manual abarca lodo
el curso do matemticas superiores estudiado on
las centros de enseanza superior, con excopcin do algunos cursos especiales.
Cada captulo de esta obra est provisto de una
introduccin en la cual se dispone el material
terico (definiciones, teoremas, frmulas princi
pales), necosario para la resolucin del ciclo de
problemas del captulo dado. Aqu tambin se
examina un nmero suficiente de ejemplos, que
ilustran los mtodos fundamentales de resolucin
de los problemas. Todos los problemas propuestos
tionon respuesta a l final del captulo, y los ms
difciles vienen provistos de indicaciones (estos
problemas se indican con estrellas) o son resueltos
(problemas con dos estrellas).
Una particularidad destacable de esto libro la
constituye la existencia do ciclos de problemas do
clculos segn las parte3 fundamentales del cur
so. Cada problema do clculo exige la escritura
del programa en la lengua Fortran y luego la
resolucin en una computadora. La inclusin de
esto tipo de problemas on el manual es necesaria
para una asimilacin ms profunda de los mtodos
numricos conjuntamente con el estudio de los

www.FreeLibros.me

captulos correspondientes de las matemticas su


periores. En el manual propuesto, tambin es una
novedad el estudio conjunto de las propiedades de
las series en los campos real y complejo. Semejante
metodologa de exposicin del material prctico
sobre la teora de las series, permite comprender
con mayor profundidad y desde un punto de vista
unificado las propiedades de las series funcionales,
en particular, las series de potencias y las de Taylor, introducir la forma compleja de la serie de
Fourier, la transformacin de Fourier y la reali
zacin prctica de las mismas; la transformacin
discreta de Fourier (TDF).
Semejante enfoque de la exposicin del material
sobre la teora de las series est asegurada mediante
la introduccin en el manual del captulo Fun
damentos de la teora de funciones de la variable
compleja. E l estudio de este captulo do las ma
temticas superiores por parte de los estudiantes
do las especialidades ae ingeniera ya hace tiempo
que se ha transformado en una necesidad y en m u
chos institutos de enseanza superior se ha incluido
en los programas.

www.FreeLibros.me

www.FreeLibros.me

Lecciones populares
de matemticas
Se publicaron los siguientes libros
de matemticas de nuestro sello editorial:
E. Ventsel
Elementos de la teora de los juegos
L. Golovin e I. Yaglom
Induccin en la Geometra
A.G. Krosch
Ecuaciones algebraicas de grados arbitrarios
A.I. Markushvich
Sucesiones recurrentes
I. Natanson
Problemas elementales de mximo y mnimo
V, Shervtov
Funciones hiperblicas

Editorial MIR

www.FreeLibros.me

Mosc

Você também pode gostar