•••••••••••••••••••••••••••••••••••••••••••••••••••

lecclones populares de matemitlcas

ALG 8R

EXTRAO 01 RIA

. M. Yaglum

• • • • • • • •

:--------

• • • • • • • • •

0--------

A

c

Moscd

••••••••••••••••••••••••••••••••••••••••••••••••••

H. M. HrJIOM

nOIlYJlHPHbIE JIEKUHH no MATEMATlffiE

HEOBblKHOBEHHAH AJlrEBPA

JlSAATEJlE.CTBO aHAVHA»

LECCIONES POPULARES DE MATEMATlCAS

r. M. YAGLOM

ALGEBRA EXTRAORDINARlA

Segun d a edici6n

Traducido del ruso por Carlos Vl'gll, Candiriato a Doctor en Cienclas' Iisico-matematlcas, ClIl{'dnltico de l\1atematieas Suporiores

EDITORIAl, MlR MOSCU

Primers edici6n 1977 Segunda edici6n 1983

H a ucnanClIWM M",,,e

© Traduccion al espaiiol. Editorial Mir, 1977

IMPRESO EN LA URSS

INDICE

§ 1. Algebra de los mimeros y algebra de los conjuntos 7

§ 2. Algebras de Boole 22

§ 3. Otras propisdades de las algebras de Boole: principio de dualidad;

igualdadss y desigualdades boolesnas 36

§ 4. Conjuntos y proposiciones;

iilgebra de las proposiciones51

§ 5. «Leyes del psnsamientos y reglas de Ia deducci6n. 60

§ 6. Proposiciones y circuitos de contactos 66 Apendice, Definicion del algebra de Boole 76 Hespuestas y sugerencias a ejercicios 78 Bibliograffa 82

7

§L ALGEBRA

DE LOS NUMEROS Y ALGEBRA DE LOS CDNJUNTOS

En la. eseuela, duranta las: clases de Aritnie.tica y.de Alge,"" bra, sa, estndian numeros- die [a ma~div~rs~ Indole, 'En Ell primer grade los alnmncs se encuentran con losnuxpetos enteros que no les crean dificultades, pues .en sumayorla visnen. .a 1a ascuela 'tsnlendo clerto eouocimiento de Ids mismos. Pero mas tarde aparecennuavos y nuevos (IU,Umeros»; ahara ya nos hemos acostumbrado a sllos Y D-O nos sorprenden; pero nemenes cieeto es que cada Y9Z q'l),o,se amplia ~l coucepto. de-mimero tenemo? que deshaceeuos de unas U otras ilusiones~ Elnumero (entero) responde, 8 18 pregunta.de cuantos objetos centlans una u otra colscclen: pOl' ejemp]o" de cuantas mansanas bay en una casta, de. QUantas p~gina~ Hene un libro 0 de: cujintos varones hs:yen un aula. ~y las fracciones? aAcaso

puede hab_eren un anla.33 ~ varones 0 aparecer 3 ~ plates en

una mega~ CLaro q1l!e' no, Pero en Ia mesapuedahabar- 4-, ;manzanas, una. palicula puede durar 1 ! horas e ineluso ,lluede lraber en un est ante 6' ~ Iihros (10 que no haiila, a. favor, del dueiio de los Iibros psro tampoco contradics el santido conran). Apenas nos acostnmhramos a que puede heber un ,1l11mero fraecionario de ebjetos, aparecen los: llumer(}~.1l.egati~ vos. Claro esM, que en, UD eatante no puede haber -3Uhros; esto ~erfa ya contranatural. Pero un, termometro puede mercar -5°'Y .t'U puedestenex -50 kopeks; 10 ultimo, desde luego, es muy lament'able pero s610 para tty no para' las Matematicas. Y en. los gradoe superlores aparecen numeros 'verdadera-

mente derribles»: primero los irracionales'. como es V 2;

2"

8

y dsspues los imagiuarios, como as 1 + 2il): los pl'opios nomhres expliean Ia actitud del hombre hacia estos numeros hasta que se acostumbroa ellos. Es poslble que tii los ignores por ahora y 5610 los conozcss mas adelant.e2)resto no es obi.ce

o-+b'manlanar

ab m_Mza has

o o o'o o o o

o CJO:O()Oc) D 6 C)it)(j DO

~~

IImcnZiPtas b mQnzah()s

Fill • .1

para que leaseste Iibzo, Los n6.mer.o~ irractonales e im'a:ginarios estan muy lejos de 1a idea primaria del nmuero en tanto quecaraeteristtca de Ia cantidad de· objeto.f!; sin embargo,

tamhien Ilevan el nomhre de «nfuneros·». .

lQ~e es 10 que tienen de C.OIDUn todos estes tipos de numeros? lque obligll a darles el mismo nombre de «n4mero»? La ssmejanza principal entre todos los t'ipos de nfimeros consiste en que se puedeu suma» y multipIicar3).Pero asta semejanza es bast-ante relativa: aun cuando podamos sumar y multiplicar mimeros de todos los t~P()S, estas operacionea tienen sentido absolutamente distinto en los djferentes casos.

I) Los nil,meroa de tipo 1, + 2i su~le.n denommarse actualmente c,amp/ejcs; el term'lno tmagtnario (0 imagtnarja puro) 50 emplea para los nlimeJ'()s como 2t 0 -<V2"t (eo contraposicion, ]05

numeros como 1. -; 0 va suslen denomlnarse uaZes).

2) 'Una expoaici6n llicida y sencilla de los dtstlntea tiposde biimeros aparece en ellibro de I. Niv,en, Numbres; rational and. i.rrational, Random House, New York, 1961.

, 3) Perc no restar-ul tampoco,dlvtdi:r: aiconocemcs

8610 los DUmeros positjvos, no podemos restardel .niimero 3 at nume~ 1"0 5;si conocemoss61o los numeros enteros, no pedemos divldir el nfunero 7 por el mimero 4 .•

Asi" sumar des numeros ~nteros positives a y b -si:gnificff hallar e1 n(im~ro de objetss eomprerrdidos en Ia tilli.on'de dos coleeciones, una 'd.¢" tj s otra de Ii Qbjetos,: si en. una clase de s,eptim<;'i gr~do bay 35 alumnos yen otra clase (leI misrno gJ;'a:do hay 39 'a lum nos, 1;11) amhas clases de e$t_o grado llabni 35+.39= 7lj alumnos ('vease tamhien 13 fig., 1), Db modo an al6g,o, multipHcar los numeroE_ elftSl'OS posit,j"osa y b sjgniHca lraHar el l)inn,l:1rode, o"bje:io$ r!-el CQ'lljHiH9 ~e a coluc:c:~ol1es con 'b objclos :en cail_a UTI:;r: sien una eS90"\-l~llJ, hay 3clu$es .de s,e.pUmo. gi'adp yen. cada un'!8studl(\n36 111umDos,e.n In escuela 'habra 3·36 = 108alurunos de sep,tim'o grado {'vease tambiellla fjg., 2). Peri) S8 Irace imposible exteI)d'eren. esta 'fBttn'u,I3_s deftn:ie'ibJ]',e,s de Ill. adicion y de 1a multlplicacion a'I ,c,4's_()cl~ las f~,aqciones nf al de Ioa.ntimeros llegativos (~e los: IlU~,eJ'{),_~ irracionales e imaginarios preferimos inclnso DO lrablar, aqui),

De .tal manera. Ilegamos, al paieeeI'I a In toncllisiaiL si'g_u1e~ite':' denominamoscon Iamisma palabra m(im,l;1ro_»dl,s~ ti-ntos,ti,pos de Jliimer:o~ debido a, QUj3 todos ss p'l(jde)1 sumac y rnultipJicar; pero Iaspropfas operaciones de adic.idn y de mliltiplicaeion SOil absolnsamente distintas segun los ilife:rsntes t i pbs de niimei'b~. Sin empatgO. aqill n-os: .hemoe :aprssurado: un poco; de heeho, la adici6i:tqe 19$ nume.ros enteros y 1a 'aqldon de las frac.c~on;e$no .son opsraciones tan absolutamente distin tas.M as exactamente, las' 'detf:iticionesde esta,s operecioneseon e:fecti'"a:mento difei'entesj allm'abieJ1, sus pro'piediIdes son apsolutiarrie-nte id€nti-c.as. Asi., para 'i1.iimerosde- cua{gui,er jud.ole

a,+b=b+a

loy conrnutativa ill' 18 ndrcion

;(a+b) +e_==, a+ (b + c)

ley a:soejariva de Ia:

'ndiciWl' -

-y alJ =.l5if;

ley c'Oi1mutfl~iva dOe Ja mil Itlpl.lcaclen

if (ah) c = a (be);

loy a,~8(nal,jv-a d,e la miltlpli(;"aci6n .

en todos 10s eaSJ)s existen dos mimerosespeeiales 0 -y 1, tales qile

a + 0 = it Y a··1;= a

p(ira_!nq.op:u}D{H·o a., 1: para el Algehta -.:;n~derna ¢!'I tt,pi~o 91 sig11iimte'_punto de vist~'acetca de-L contanido de esta materia: al AIgehta e.studia, algunos aiseemas (distintvs) de niimeros

10

para Ios cualoseatan definidas las cperaoiorres cleadici6n y' de tilU1tiplicacion qne verifican la$Jeyes:ya sefialadas y otras

como, por ,ejempl0, . ~ ,

fa + b} c = IlC + DC,

ley distrlbuti.v.a: do' la multiplicaci6:n.respecto a. La sumo. donde ct, b~'c son mimerosde cuc.lquter indole,

til existenclaen los'sistemas de mimeros de dos-operaclones -la: adici6n y lao multiplicaci6n-orfgIna cierto paralsll.")Uo tanto mas manif.iestopol" euanto Ias pl'£!'pieQ.!ldes, ~te lao adi.ci6n se parecan mucho :Q las de Is. ml.l1ti.p1ica~on. Este paralelismo se observa, porejemplo, en que cualquier Interrogado isufltHlli fRan] a «proporcioM emana

lItIidoll r-o:sta-

mal t;lyHcaei6n "/.

a1 signo de inten:ogaciop pOl' «divi...'ii&msin reparar mucho en 10 que-significa csta~<"proporci6n»; tamhien se -onser:cv8. en que. Ios -alumnosj.e Incluso sus padres, .confunden .ftecuentemente 1:0$.. H'ibninosde /i.n·umero oPQes.tO» (e1 mrmeeo -a ,q_ue.;;um"do con '61 ,ni'irnerp'a. daO) y de <mU1ll91"0 IllveJ;SOl} (el nU,_mero 1}(l. cuye. producto.por at'l).umel'o dado a :es i'gual a f),. asI come en la similitud que existeentre las propiedades de 18 progresion aritmetica (serif! denumeeos en Iacual Ia dtfereno.ia en .... :tte. d.osnum.lir.os· sucesivos cualeaquiera es Ia misma) y la pl';Qgresi6n.geometrica (serie de u-umeros en La cual 61 cociente de a.OB nUrneros sucesivoacualesqutera as el mlsmo).

Sin embargo! no siempre se ohsetva esta semejanza, sste psraleltsmo. Poe ejemp10, alnfimerc 0 desempeaa un papel capecin:] 1\0 s6lo respecto a la -a.dieion stno tambiell respecto a.Ia multi plica.cioll: ~sto se expresa en que pitta tcdo.mimero a

a·O = 0

(de aq_ui resulta, en particular, que no sa puede dividir poi' 0 ii.Ii numero distinto de O)..lUlora bien, si en Ia ultimtt'igualdad sustituimesIa ID11) t.l_plieacion }Jor 1a adil?i.6n y el ceto PQr. el uno, obterrdremoa mHt<l.l_gualdad» extraiia

11

valida solopara a. = 01). Ademas, si en Ill, ley distributiva «(I, +0) e - .ac: + be sustituimos la adicion por la multtplicacion y viceversa, obtendremos Ia «iguaIdad»

ab + c = (a + e) (b + c)

con Ia que nadie, por supuesto, estara de acuerdo, [Como es obvio que

(a+ c) (b + c) = lib + ae + be + c2 = ab+c (a + b+c), resultaqtie (li + c) (b + t) = ab + c solo .sic = 0 0 si

a + b + c = 1.] -

Pero el Algebraco(loce tamhien otros Sistemas, nonumerlcos, en los que tambien ss puedeu definir las openaciones de adicion y de multlplicacionmessimilares entre S1 que 1a adicion -y Ia mult.ipl.icacion de los mimeros. Consideremos, par ejemplo, el «algebra de los conjuntos» que es muy irnportante. Se entiends par conjunto una coleccion cualquiera de objetos arbitcarioa denominados elementos del conjunio: se pusde hablardeL «conjunto de lo-s alumnos de una clase de septimogrado», del «lionjunto de los. puntos de un circulo», del «conjunto de los puntos de un cuadrado»; del «conjunto de los elementos de la tabla _peri6dica de Mendeleev», del «conjurrto de los mimeros pares», del «conjunto de las notas de los ahimnos de una clase», del «conjunto de 10;., elefantes de Ia India», del «conjunto de .Ias faltas gramaticales en tu composieton»; etc. Resulta hastante claro como puede defirrirse la «suma de doaconjuntos»: entenderemos par suma A + B del coniunio A y del·. coniunto B simplementela union de 'ambos conjuntos, Por ejemplo.vsi A es el conjunto 'de varones y B el conlunto de hemhras de tu clase, A + .8 es el conjunto de todos Ios alumnos de tuclsse; si A es el conjunto de todos los mimeros enteros positives .pares y B esel conjunto de 'todos los mimeros divisibles par 3, el conjunto A +B

{2., 3, 4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 2Q,21, 22, ... }

consta de unos y otros mimeros: si A es el conjunte: de los puntas del ovalo sombreado en 1a fig. 3 horizontalmente y

~) Si 10. Igualdad a + 1 = 1 Iuese vaUda para lodo a, seria imposible restarJ a cualquler numero distinto de 1;esto, por

supuesto, ~s Ialso; as! 3 - i, = 2, -

12

B es e1 conjnnto de los puntos.del ovalo sombreedooblieuamente, e1 coniunto A + B as toda la regIon sombrsada en la fig. 3. Esta clare (vesse, por ejemplo, Ia fig, 3) que para cualesquiera des coajuntos A y B

A + B =B + A,

o sea, para la adicion de conjumtos se CU(I'I,.ple la ley conmutatiua; Ademas, por supuesto, cualesquiera que .saan los conjuntos A, Bye siemprs

(A + B) + C = A + (B + C),

o sea, tiene lugar la ley asoctattoade laculici6n de conjuntos, El coniunto (A + 11) + C (0 A + (B + e)) se puede indiear

8

J.'IG. :I

simplemente por A + B + C omifiendo los parentesis; .representa launion de los tees con juntos A, Bye (asi, en Ia fig. 4· e1 conjunto A + B + C coincide con toda la r~gi6n sombreada).

Convengamos ahora en denominarproducto AB de loe eoniuntos A ,y B la parte comiin. a La. lnteJ:Seecion de.estos con;jJ,~dOS·. As], si- Aesel conjlll:ito de-ajedrecistas de tu clase y B es el conjunto de nadadores, AB sera el ccnjurrto de los aiedrecista!i1 diestros en natacion; si A es el conjuntode los mimeros snteros positives pares y B es e1 conjunto de los

13

nfimeros divisthles por3;eleonjunto AB

{6; 12, ~$. 24, ... }

est~ formado por 'tod._og, Ios n'4meros ,dj:y'isihlcspur 6; si el conjunto A consta de los puntos del ovalosombreado en Ia fig. 5 horisontalmente y B .es. el conjuntode.Ios puntosdel

FIG. ,

A

-

ovalo sombreado verticalmante, ,e1 conjunto AB quedara cuhierto en Ia mismafigura pot una (tr~jaJ> da Iineas horizontales y verticales, Est'a, clare qpe tambien para ia multipUcacion de coniunios se cumple ,la ley conmlttativa, 0 sea, pars cualesqutera dos conjuntos A y B

AB =BA

PH •• 5

(v.ease lamisma ftg. 5; se comprenda tambten que e1 (leonjunto AD de los ajedrecistas diestros ennatacion» yel «conjnnto,BA deIos-nadadores diestros en 61 ajedrez» es un misnro conjunto]. Ademas, es .ignalmente obvio que .para lamultiplicacion de confuntos es valida tambiet: la ley asoetolwa, o Sell', para cualesquieratres conjuntos ,A" Bye

(AS) C = A' (Be).

El cQllj.unto (AB) C '0 A (Be) se puede indicarsimplemente por ABC omitiendo Iosparentesis; rspresenta la parte comiin

3·11'76

,0' lp: 'inlCI'sec<tlqilde 'losJres conju:ntos,ti1 B y ,C (e,n,tit -fig. 6' ,~l c'<)Jrivnt,o_4BC tj e,n:e: un triples,()mbnfadol)). -ES'.nptRble.qp:o pa.r.a cualesquiera. tnes cQlljuntos A, Bye

secutriple: t'(lmNdit la.ley- diskibUt'ii,Jt,l: ' '.

(A' + B) C = A C + BO.

'E:q dectf,), ;;;i A _(lS, qJgamo-s. el co.njunto de losajedr!il.c-isfas .de 'tu class, Bes'el conjunto de Ios alumnos aficionaijQ'S a],

l1'IG.6-

:l.uego' de 1as;damas y C es el con'junto de los nadadores, ,en:'tonces,A +-B -reprcsenta lit un.ion de los conjulitos de Ips ajedrecistaS y de log, aficionados a1 juegode las .damas, 0 sea" 'clMlijunto de .Iosalumuos ,aficiQ-nados a. uno dee~ctos; [uegos: a:l tlelaje,drez 0, ~1 d,e las dam_as (0, posihlemente, 1: al d.el ,aje,I;h.:e,:t yal de las d~mas:).El c;o_nj'unto (A + B) ese oDti:ene 'clelco'Ojnn-to A + B dejanduen III union-A + B s610 aq,ue-

,l) He aqUi otro -ejemplo q\1~ .e~pljc_a)aJ(l,Y 'a!?Q¢~-a,.. ,t!VR de 'In multiplica_Qi6n do. ·c,onju.iltas. S_aan A el conjtiritp de. los: l)';~nie<~QB, enteral> gL-v-i_si!Jlt).S pot: 2, -n ,al c-onj,J.l~t9;de Ios numeros dlviSIDles _por Sy_.-C el conlUllto' de 19S"nu~o6 dlvlsible_s po)' 5,; entonces, An- es,eLcoriju,nto daJoilhfunerofnHvisihl~spot 6'y (AB) C~,s,el cotJjun.to(je los nfimaros divi$ibles po)' I) ypor 5,0 sea, divisbles por '~n. De otrp lado,_ B_G_es ol'Conjunto .de los IlUffii_lfOS ,divisible!> P9i' 1.5 y A (B:C): es e{c-O,njUillo de ~oo nUInllrOS pares _Q.lvi.sibles _po~ 15,0,ge8, .esde,niie"·o. elconju:ntQ de I.odog, los ;nii:lneI'!ls (ent_etij',l) :di'_y'I:Si")I~~: ,po)' 30.

15

Has aiUIDnOS que-ademae.saben nadar. Pero 'l~rtli clare (1"(;1 ohtandrsmos exactamcnte 01. mismo conjunto Iormando .Ia union A C + Be del ,conjunto A,C de.Ios ajefl!'ecistas diestros en :J:la:t1H~i6n y del con] unto Be de los ,afiCion;'ulos al j\leg'o de las damas <rue; saheT~ nadar,

Es posihle que esta explicacion verbal ile La, Jey distrtbutiva te parezea farragosa, Convtene empioar eil tal caso 111

Jl'H •• 7

Iepr~&elItaci6n graf.ica, En Ia fig. 7, aeJ conjuuto A + B est4 somhreado hoeizontalmente. y el COil) unto C, vertrcal.mente, de modo Ql.H! ,('1 imnjmlto (A + m C resultaeubietto por \11)3. {(l'ejiu) (leJIIl-c'(l.s. En Ia fig. 7, b]0S.colII'm"o~AC y Be est'an sombreados coon Hoe,as ohltcnadas hacia Ia dereehn :y 113CiR la .izquierda , respectivamente; el eoujunto A.C + Be coiucide con toda Ia region sombreada en estn Iigura. Pero es fadl vel' que Ia region AC + Be sombreada en Ia fig. 7, h no fiifiel'o de laregi6n. (.4 + B.) C dohlumente sumlireada-en '19 fig. 7 a.

No es dif'lc.il eomprender quo «con j\1lI to» dosornpefia a1 papel del eero en nuestra (dllgobra de. J08 conjuntos», Ell efecto, Ia adlcion de este conjunto Q (designllTomos 01 «conjunto cero» per Ja lat1'a. D. simHal' por su forma al numel'Q 0) no dehe alterarningull 0,onJllll,t:o; illega, 01 .(::(mjllflto, 0 no contiene ningiiu elemeuto, es ,«(vado», Puorles sentir 01 deseo

de axcluir per complete semejante f'on:junto vaeio de III COJl-

16

s'iderac,i6n: sial conjunto 0 no con.tiene, al emen t09 t represents I un absurdo, y .110 un conjunto, y oi siquiera vale 1a pens hablar d~ el. Sin embargo, tan tnfnndado seria proceder de esta mansoa COmo exch.lil' eJ 0 del conjunto de los .mimeros por el meeo hecho de- que in «colecci6n» de cere objetop tambien, es «vo-cia» y, al pareeer, no tiene. sentido hablar del {(DU)ner,Q» de oblates que contiene. Pero, en :realidad,s'i tien~ sentido; y mucho, 81. no tuyiese.mos el 'n:umer:o 0, no po driamos rest an uno de 6tni. eada des uum.;'lI;OS (porque. en este caso Iadifereneia 3-3 no seria igual a nada], no podriaino,s, r~presen~ar, digamos, e1 nUme~o i08 (una. centena., oeho Y-.W'dades y .nmguIJA decena] .en a1 srstama. decimal de numeraci-oll,como tampoco podriamos Iracer otras muchas eosas; no es casual que el surginuento de Ia idea del cero sea considerado como uno de los acontecimlentos mas notables en toda Ia historia de, 'Ia. Adtmetica. EXllctamente igual, si no 'se iI.lcluye entre los conjuntos el conjunto vacio 0, '00 .podremos sefialar al, prodneto (0 1a intersecci6n) de dosconjuntos cualesqulera: asl as vacla la intersecci6n de J05. conjuntos A y B representados,en la, fig. 8, como tambHines vacia la inteesecotcn. del conjunto de los alumnos de tu clase que estudian en sobresaljenta y del conjunto de los elefantes, Y en general, si nos negasemos '9 nsar el concspto de eeonjunto vaclos, en mnchos cases tenrlriamos que hahlar de -lOB. confuntos :con granrecelo: l.Y si resulta vacio, 0 seat. no ezlste, aleconjunto de los .alumnos de quinto grade Ilamados Andres en.Ia escuel a N° 6de Leningrado»?

Est;i clare 'que si 0 as e1 6onjunto vacio, entences :_para, cualquferconjunto A

A +O=A.

No' meaos clam esta que caalquiera quesee elconjunto A

siempre

AO=O,

,ya.que"es necesartameute vacia 18 jntersecci6n de cualqutsr conjunto A y del conjunto Ocarente de, elementos: {dig-amos; Ia Interseecicn del eonjunto de las .alumnas de tu clase y del conjunto de todos los alnmnosde estal:.ura superior a: 2,5 m),

En Quanta al '(Ioon.junto umdads, Ia situaci6n esalgo mas co.mplic. a.da. Es'tec.o. njunto I (10 deslg.naremos }lor la Tetra I, similar porsu forma al mimero 1) debe ssr tal que su producto (0 sea, intersecci6n) con cualg_uier conjnnto A tiene que coin-

i7

cidl(" con A . Perode aquise deduce que nuestro coujunto 1 debe ,coJ)t.en,er, todoslos elementos de todos lo~ conJUtl,to§" A. Est~ claro, que semejante COJljllutopl.i8de ~:l!:ist~r s610 5t UOl;) hinit am os a aquellos conjunsos A ouyos elementos se toman de una determlnadaccleeefende «objetos»;, a 10s_ conjuntos de los alumnos de una escuels 0 class Cleterminadas (pOI' ejemplo, A p-u:ede senel eonjun'to de los alumnos que estudisn en-

~-

, ,

,

'F1G-. 8

FHl.9

.sobresallente y B el COlljuuto delos ajedreoistas]; I). los.conjunt6s'iotmados pOl' niinieros ei1te<l'os'po~itivos (A puade set el, conjunto de los numeros _pares y B 01 conjurito, de Tos nu,meros pximo:.sque no admiten ,mas divisores queellos mfsmos y Iaunidad); "!, los eO.Q.jnn.tos·comp\l,esto,s por punt:os que forman -figuras perteneeientes a un determtnado cuadrado como las repressntadas en las fig. 3, - 4, 5-, 6, 7 -:y 8:, En eate oascentenderemos per 1 el «eonjunto mas grande'»q-ne contisne todos los «obje:t:os» considerados: e1 coniunto .de todos los a lum nos de Iaescuela 0 Ia class, ,?onsid'erad,asj el c:qnjl,lnto qe todos l~ nUm:eI:~ entwo,s positivQS ,0 hion. e1, coniWito,;" de todos los puntos del cnadrado (fig. :9)., En el ,q.ilge.bra deJose;onju:ntos» este conjun.to Jl1eva el Iiombre de unftal'to 0 unfverso. Es obvio qua para. cualquler conrunto «menor» A (eincluso- para a1 conjun:to A que coincide (ion I) ten<b;emos

AI =A

18

011 pleua correepondeucla ton 18 condtcion qUQ define Ia unldad,

De (jsl.o·ruod'o vemos que ell el '((algo1:lra d~ los cenjuntos» cousteuida las ley tIS tie las operacianes se asemejan mucuo a las 1eY9$. del algebra. r~ferelltes alas ruimeros, que conocemes dol curse ascular de Ma'temliticasj sin embargo, esta seD1e}anza cord as leyea . numerfcas it 0 es total. Es verdad que en el tilgebra de los conjuntos tlenen lngar, Como hamos comprohadu, cast todas IllS leY,es principales y~a1id:<ls para los numeros; PSI:O 911 eH~ tam.hiease cumplen otras leyes que, posihlemente, to pareceran exttaijaS~ Pot _ejemplo, hemos $eiial~do yo. quapara 103 nifm9i:Q_s np tiene .lugar, como ragla, Is ley quereaulta de Ia lgualdad a- 0 = .0 si ~ustHuimo:,? en ella 11) mulrlpllcaoton pot Ia -adicion y e1 cero por Ia unldad ya que para. casi todos los. mimerose teoemos a + 1 *1. En camhio, en elalgehra de los conjun tos Ia.situaclen es distin ta: aqul stempre

A + 1 = 1.

En efecto, .el eO{ljul1~O 1 es, pO!, definicion, al «mas grandee Y. por eso, es tmposlble aumentarlo mas: cualquiera que soa a1 conjunto A (tomado eritraIos conjuntos considerados) que agreguemos al eonjlln,t6 unitario I, sismpre obtondrsmos oj mismc con-junto I.

Ademas, -al sustltuir en 10. ley diatcibutiva (a + b) c = = ac +bc Ia {ldiei6n POl: Ia IDllltiplieac16n -y viceversa; he-

.mos ehtenido .Ia «lgualdads absurda ao + -c = (a + c) X X (b + c) que para lo~ mimeros resulta casl slempre Ialsa, En elaIgenra de los cen[untes Ia sitllaci6,n as o~ICa: aqui siempre (o sea, p.ara cualesquiera conjuntos A, 1J y C,) tlene lugar la igu~ldad

A8 + C = (4 + C.) (8 + C)

que sxpresa Ia s(fgunaa, ley dlstribuUua (la ley distl'i.buti:va .de In aditi6n .respecto a la multiplloacion) del algebra de 108 cOlljnnt,os. En cfccto. sean de nuevo A el coniunto de los Iljoul'ecistas, B e1 co.nju.nto de los aficionados a1 juego de Jas damas Y C 01 conjunto de los nadadores de tu clase. En tal caso es evitlente que la intersecclon AB de los eonjuntos A y R comprendo a todos los alumnos diestrostanto en e1 ajedfO:Z corn 0 en 01 jll~go de las damas y C[J1G Ia union AB + C d~ los conjnntos AlJ y C consta de todos los alumnus qua son

f9

aficionados y al ajedrez y al rucgo de Ius damas u que saben nadal' (as posiLle qua sun. nfielonados 1.11 ajedrez, al jtll~go de las damas y a la nutacion). De otro Iado .. Ji\S uuiones A + C y 1J. + C de los. cmljun:tmf;.!~ y Cy de· los coniuntes Bye so componen, respecuvamsnte, rio los alumnos afrcionados aJ ajedre» 0 diestros 'en natacion (0., posiblcmente, a_fieiolUldo._!i· y a lajeilrez y a Ia n"ata:cion) y de los alumnus aficionados at [uego de las damas 0 a la natacion. EsLa clare que J a irrterseccion (A + C) (B + C) .de estos' dos ultimOs eonjuntos

FIG •. to

B

J

A.

(b)

comprende a todoa los alumnos diestros en uf!tacion y a torlos los alumnos qlle no sahen nadar pero Ron aftcionadns tanto .al ajedrezcomo al [uego de las damas, 0 sea, esta intersecciou coincide con el.conjunto AB + C.

Puesto que esta eX'p~icaci"6n verbal te puodeparecer surevesada, oaremosademas una interpretacion grafica de Ia sogunda ley distrlhutiva. En .la jig. 10, a Ia Interseccfon AB de los conjuDWs A y B esta sombrcuda con Iineas oblieuudas baCia la derecha y el conjunto C, con Ilueas oblicuadas hacta la izquierda; toda Ia regi6n sombreads en esta f~gul'a representa eLconjunto AB + C. En 18 fig. ·10, 'b homos sombteado hozizontalmente la union A + C d·e los conjuntos A y. C y vert.icelmente la union B + c as, los COPjU11tos B y C; la interseceion (A + C) {B + q de estas dos uniones quada cublarta en esta Iigura por Unl) «red». Pero es facil ver que

20

In regiou de Ia Jjg:. 10, b cuhierta pur lit .red de Iineas hortzoutaJes y vOl'.ticalIJS coluoide exactarneute coil la .l'egioJl SUInhreada 'en Ia fig. IO,u; esto domuestra precisamante Ia S9:-

gnnda ley dis~·ibllti¥a. "

. Sefialemos, para terminar, otras dos Ieyesdel alge.bra de, los cnnjuntos. que centradicen los oonoclmientos " algobraicos adquiridos en la escuela, Es facil comprender quocualquiera que seael conjuntQ.A. su union con otro iguat y so. intersecci6n con si' mism» coinciden eonel, conjunto Iniclal A:

Y AA=A.

Estas dos igualdades se denotninan a veces leyes idempotentes,

Es muyventajoso el hechode que las ley~s gener ales del Alg!31)ra. conservan una ffilsm!l forma. para todos Ios tipos .de ruimeros: graciasaello, al pasande Ios ntimeros enteros.aIos fraceionatios· 0 relatives (tornados COIl e1 signo «mas» a «menos» h podemos utiliaar plenamen te los l1ahi tos adq Iii rtdos con anterioridad ys6lo necesitamos aiiadir oteos (de acuerdo a. Ia I?,serva mas r~c;8. de mimeros considerados), ~ro no adquirir nuevos. La situacicn es enteramente distinta cuando pasamos de losmimeros a 16s conjuntos: aqui parcialm~nte uecesitatnos tambti'iri l1:ibitos nuevos, Jia que una serie de Ieyes del ,algf;lbra de los eonjuntos DO bene Iugar para los

ntimeros'), "

1.) Etl estJi diierencia entre 1a$. ley1J.o;! del 61gebra do Ios conjun"to5 y Ias leyes UU1116 rica s iadiel! precisamente 111. causa de que en.muchos texros la a~cio(l y 10, multiplicaci6n (o sea, IR unidu "y lain tm:s!lCc.i611) de.Ios .conjuatos se l.'rl\ficlln C~A srgn'oS romplet[!ffienta dletintcsda.Ioa sigil.(I$ cortielitea + :y '.; 1<1 union de los eonjuntoa A y 11 se indica por.A U B y Ia irlterse.cci6n de estos conjuntos, por .A n 11. Puesto que en este Iolleto tamhlen hablaremos de 'otroa sis~eD_las lilg~bra.ic.{}~ su Jos cuales 18. *~dic:i6li9 X \~~l1lultiplicaci,6.f!._ se 1'.lgan per las nusmas leres que _l!6 da!} an &l algebra de los oonjuntos, resulta-uaturat que nos .desen'teridamos de los simbclos U y n proptos precisameute daIa teoria de los conjuntos; 01 deseo de subrayar lit pfoxhriid{\d existente e.IltrO las iil.gebras conslderadas y 01 algebra. escol~r$wpuja a emplear los sigbosh:nhitmdea de adici6n y rriultipliilociol\. Sin embargo, conviene, por-Lo visto, escrihir aqui Jag -princIpales leves del·algebra de los con] un tos tam.bi'cn ell Ias desigiraci'ones cst.:in~ar' de III teoria, de. los conjuntes;

,) U B = H U A s A n n = -E n A;

leyes conmutattvas '

f;.4 U H) U C = A U (il U C) Y (A n B) n c ,., A n (/l n C);

. teyes asodlltivlls

21

ltDumel'cmOR'(lsta~ leyos nueoas. Rllt.rc cllas figura J-a' rulacion

A.+T=]

que -dQ;tor..mina 1.a profunda dif(\renci~ exis,tent_o entre 01 conjunto llIiitario r y :01 mimero 1. La segunda ley distriuu,tivR del algeh'ra, de' Ius conjuTltos ofreceuna Iorrna mnypCClJ liar

(Jc-«abrlT los pardntesis»: .

(A + C) (B -1-0) =,AB + C;

por ejemplo , aqui

(A + D)(B + D) (0 -I-D) =- l(A +D) (B + D)J (C+ D) = .= (All -f- D) (C -+ D)' '- (AB).C' + D =ABC + D.

Par ultimo. rasultan totalmentannev:!l.s para nosotros las leyes Idempotentes

A +A = A y AA = A

que a veces se expresan en Ia.forma siguientec en el 4lgffbra de loe C01tjul'ltos no existen exponentes ni coeiicientes. En afecto, tsnemos, para eualesqniera A y n,

A +A+ .... +A =A y A.A· ... 'A=Ai "-v--'

II; V6Ces

asi ,poreJam plo

(11 + B) (ll + C) (C + A)=

= ABC + .AAB· + ACe -I- AAC + BBC + AIH] + + BCe + ABC ,= (AHC + ABC) +(AR +.A8) +

+ (AC + ,AC) + (Be +BC) = ABC +AR",:1- At' + ec (compare con elejerClcio 6 que viane a coutinuacton).

AUO-A Y AnJ=A, A' U I = I y A n 0 = (J;

Jlropiedades del conjunto vaclo 0 ydel eonjunto unitario 1 (A u-m n C = (An C) UUi' n C) Y ,(A n m ,U C =

> - - = (A U C) n (B U C);'

leyes distrfbutlvae

A U A = A 'y A n A, = A. leyes ldempotentes

22

EJEIlGIC.IQS

DemU(l3trn las iguaJdados siguhmtcs ell las q:u 0 -J 115' letras 'rnnyu~ou.

Iss repr.Bse.ntan. c(lnjilnf.os (con la -partJcutaridad de que Iaslotr3s 0 e J rJlPvc~entansiemjlra Ios conjun',o~ vai(i'o Y U \lit sri 0.,. rellpectivtunelJte):

LeA + 81' (A + 0) (8 + B) (0 + D). r= All + BC. 2. 11 {4 + B} = A.

,a. JIB + II' = .4.

IJ~ _A (A + C) (8 + 0) = AB + AC. 5. A (A + 1) (8 + 0) = AB.

'6.(..1 + _E;) (B + C) (0 + .4) = liB + Be + CA. 7. (A + m (B + &) (C + D) = AD + H'C + /J.D,. -8. (.11 + H) (li + Z'-) + (A + JI)(lJ + OJ "'" A + JJ~ 9, (A + 8)(8 + h (A + 0) == A.

10. (A + B + G) (!J + C + D) (0 + 11 + A) = A,/l + AD + .!f- BD +'C,

.Ej,{'mplo;

A(A+C) (H," C) = A[(A+C) (B+C)J=

I;;')' al!\!efatlvado I. ml.llUllTieaCI6n

>= A (AlJ+C) = (AB"I-e) 11=

2!1 ley - I(),), <lOl,l,ml)to.t!vD d(l lu

ttl6~dJjl.ltlvll IOt!Utnlicacl6t\

(l1B)A+CA.

le,r,es Rsonlaltva y ~dmf1l\l!,tltj_"a . di:lla-niu.llil,Hca1)MTi

'liI'le,y ilia I, rl h b (1vro

. =(AA) lI+A:C = AB+AC.

luy idiHllPo(on'e. dO' III. niu lUil IleaclJ Ii

§2.

ALG·EBRAS DE BOOLE

Reull~mos todas las leyes del algebl'8 de Iosconjuntosque

crmocomoS hasta 01 memento .

A + B = B + A Y A B = EA;

iQyee enllJl'1utj,ltivlls

(/1 -f -11)1-- C = A + (11 + C) y (AB) C = A (Be);

·l~yes iUloeia\iv!ls

23

(A + B) C = AC + BO y AB + C = fA + C) W + C); leyesdist.dbu ti v all

A + A = A Y AA = A. leyea Idempotenres

Ademas, en el Algebra de los conjuntos cxistOL1 dos olementes (conjuntos) especlales 0 o I tales que

..4. + 0 =A y AI-= A;

A + I = I y AO = O.

Estas leyes (9 reg las de las operaciones) son slmilnres a las leyes del algebra de ]011 mimeros que til doruinas psro no colnciden conellas: por SUPUElsto, eI61gehra de Ios coujuntos tambidn ee un «8.lgebrsl> , pero no a quell a que tt1 has estudiado antes, sino un algebra nueva" extraordlnarla.

Pero tampoco ~1 algebra corriente de los ruimeros es un algebra \inica, sino muclias «algehras»: podemos hahlar rlel {(algebra de los rnimeros en t~t-Of:I posi t ivoss, del {(algebra de los niimeros racionales (0 sea, enteros y fraccionarlosj», del dJgebra de los nqmel10s relativos (0 seavposlttvos Y no ]lrisltivos.)>>; existe ademas el «algobra da 108 mimeros reales (0 seavrectonsles e trractonalesp, el «a1gebra de los OI'smeros complejos (reales e ini.aginartos)>>, etc. Todas sstas ~6.1gcbras» difieren una de otre tanto an los ntimercs eon los (III(\. Be opera, como en Ia dBfinieion de estas operaciorres (0 sea, de la adicion y la tllulLipHcaci6n); sin embargo, las propiedades princlpales de las operacioues-son Ias mismas en tOflos )08 casus, Es natural preguntarse ontonces cual as 13 situaci6n en el Algebra espeeifica de los eonjnntos: lapare,ce 6sta CTI una forma unicn,. 0 tam bien aqt11 exi.<;t,f< una Rerie ne (uilgobrns) slmllares que difieren una do otra tanto en Los elementos con los qua sa opera comoen Ja deIi.nici6n de estss opeeaciones (quecorrttnuaremos denomtnando adicioll y multiplicacidn] pero que son iMntiCQ:s en cuanto a las propisdades de nstas o peractonesr

. Probahlemente, to presientes 'fa que existen muchas algebras semejantes al aJgeora de.Ios conjuntos (0 sea, algebras 'err las que rig-en Jus mtsmas t.oglas que en el algebra de los conjuntos), Y oslo elecfivemonte es asi. En prlmer ]lIg'_r. las propias 6,lf(6bras de los coniuntos puedsn sel" wuy variadss: podemos hahlar del (l6.Igobra de los conjuntos do alumnos de

')!.

_I

tu c)nso»,cl,el «,Hgobl'a. de los conmntos de animales del parq\lO, zoologico de MO~c{l» (que, pox supuesto, es un algebra iotalmente dfstinta), del dlgebra de los conjuntos 'fo'fma5Ios por \1ll0S U otros n(lIile'r-Qs», I del «algehra .d'~ los conjuntos formados por puntos fle un ~uad1"ado»·Jveanse .las figuras de 10 S, a In 10), del «algebra de 105 conjuntos de .libcos de una bihlloteca oscolars 0 del «algobra deIos conjuntos de ostrellas». Peto oxisten tambien otros ejemplos, muy distintos, de algebras que tienen -pTOpiedades semejantes: ahora darsmos algunos.

'Un minute de a.tetlcion antes cie pasar a estes ejemplos.

Al analizar los ejemplos que vienen a continuaeion, debos recordar consegnridad que. detin'ir en: un eonjunio de objet,os (elementos) a, b, ... las_opemcio1t~de adid6n' Y Illultipliellcion s.tgn£ltca ezponer lOln:eglas quea.cada pl'fr de objetos a y b ponrm en ,~orrespondencia otros dos objetos c 'y dilamados Burne') y producto de a y b:

c = a + b y d = ab;

Escogeremos estas regles de modo que ~e eumplan todas las lcyes de oporaciones que earacterizan Iii algebra de los conjuntos. Pero no tienesderecho a preguntar por que In. suma 'de a ~ b es igual 9. C;pUM dejinimos la suma a + b precisemente como c y las definicrerres, como se sabe, no son ohjeto de diseusion. Puade suceder que en algunos cases nuestras definicicnee ts parszcan extrafias: yes natural, porqua estas deliniciones 'se'ranrtueva!;> pa-ra ti, "y todo 10 nuevo, 10 ins6lfto, siempre parece extrano.En Ia vtda no te sorprenden ohjetos tanusombrosos como: son al teleyisor y el teh~Xono; pero esto se debe s610 ~ qua estas aoostumbradoa ellos, Encamhio, si tomamos un alumno de segundo 0 tercer gnado ~q1ie esta Iirmemente convencido de que Ia suma de dos mimeros a. y b es e1 mimero de objetos de la union de una coleccion de a ol;ljetos y de una coleecidn de b objetos. (vease Ia fig. 1 do In p6g.8) y de queel pcoducto ab es e1 numero de objetos do Ia union de a colscciones con b objetos en cada UM (v6ase Ia fig. '2 rle J8 pag. 8)-. Ie oxplicemos que es uqa iraccion ~ despues Ie deeimos que la suma y e1 produoto-do las fracclones a lJ I f' .'

c y 'J' so f (' men ast

~+~ ad+bc a b qb

c d cd Y 7·7=Ci{·

25

estas reglas (quo 'Para t i resulran ahors absolu tamen t'O nntura I es) lepareceran, segura men te, .Ill \J Y oxtrafias.

Pues hien, he aqui nuestros ejempi()s.

Ejempl0 l. Algebra de la« dos mimeros. Aceptemos que rruostra algebra tieno dos elementos solarnerrte que, prrr razones de' comodidad, denotninnrernos numerus e inrlicarcmos con los simboloe habttuales 0 y 1 (aunque aqui estes simbolos tienon UD sontido completamonte nuevo). Deflniromos Ia rnultipUcaci6n de nuestros mimcros exaetamente iguaL que en Ia Aritmetica habitual, 0 sea mediante 'la signients

«tabla de multtpltear»: .

.:....m1

a a 0

1 0 1

.mierrtras que Ia, adtcion. la dofiniromos «easl (Ie Ia forma enrriente», 0 sea, con ]a uniea diferencia de 1(1' Arit.metica habitual ccnststente ell que 1a sums 1 + ;1 Set'a ahora de IIUSV(J igual a 1 y no a 2 (pues este numero simplemente no exlste on nuestra «algebra db los dOB munoros»). De este modo, 111 «tabla do sumar» tiCilC QIl uuestra algebra 1a forma

+ 0 1

o 0 1

1 1 1

Es ob vio , guo (';11 el alge,bra asl dcfinida ~tCllt\JI lligal' ambas leyes conmutativas:

a -I- b = b -I- a y ab = ba para cualosquiora a y b. Es fneil comprobar que tamhien se cumplen en ella las lsyes asootattvas

(a + b) + c = a + (b + c) Y (llb) G = lL (be)

para cualesqniera (L, b y (,

con 10. parricularidad de que ni siquiera hace falta comprobar Ia ley ascctativa pan la muitip'licaci6n, pues nuestra m,ultipl;icaci6n nueva coincide ;ntcgl'llment.e Coli 11. mnlt.ipJjc,acion de Ios il1'imerosy para 6sla la Joy nsaciativu.es v,ilitla. Tambien es faciI vel' que ticIleh Ingar aqui lasIcyes Idempotontos:

a; + Q' = a y aa = a p'a~l:l cualquier a.

o sea;pacra n = 0 Y para a = 1 (ihe. aqui.el pOfque hemos j.om:<tdo t -+_ l' 1J}.-Algo mas dificH resulja comprcbar -las

.Ieyes d il3t['f~lJqv,as- -

(a +1}) C = ac + be y ab + c = (4 + :~) (b +c) para cualcsquiera a,. b 't e.

POI'ejemp.1o',1lIl l'lu(>_stra 6.lg~hra

('1'. + 1)·1 '-- f.:l = 1 y (1· t) + (1· i) _= 1 + f .= 1;

(,j,"1l+1=1+1=1 y (1+1)·(1+1) .. 1.1='1. Ii'llJI),Jrnento,. siermvenimos en Il'signa,r al nfunflro 0 eel .pa'pel del.e] emen to 0 de n ueatra fa 1gebra y al ni'unel'O 1 e:1 [Japel dol clemente I, tandi'all lug.ar tam.bicn las reg-las rrueeeutes a los elementos ospoclales Oe I: siompre (0 sea, para Ii = 0 y para a =1)

a + a = ay a·1 = a;

a + 1= 1 Y e- n ~O.

EjempJo 2. A~gebra dj;:los cuai;m rnimeros. He: aq.ul un ejemplo :alg.o ma:scomplejoa~mque del mismo genero. Snpoilgan'lQs que los elementos del :ftlgebl'a son cuatro «nUnieros» que indicaremos con las cifras 0 y { y COil las Jetl'RS P y q. Defini:rclUQS la udici6n y la multiplicacion, eft el alge:braeonsldorada con las tablas siguientes:

+ 0 p q 1

·0 0 P lj i

p p P 1 1

q q 1 q 1

1 1 1 1 1

o

o fJ q 1

o 0 '0 0

p

o pOp

o 0 q q Op 'q 1

q 1.

TamMen aqui, como es nell persuadirse mediante' la compeobucieu d 1 recta,

a + b = (i + a Y (lb = 'fJa para cualesquieee ,tt y ir; (:a +.b) +c: = a + '(b + c) y (ab.) c= a. (be) l'aracualesquiera (l.. b y .e;

''(0:'+0) r . all + be 'y db -l- 'C """ (a -I-- c) (0 + c) J)fl.1';)CnnJusquiera If" fj Y lq

a +11 = a "Y (ta:;= a. para cualquier (L

(0 sea, parua = O. .p, q y 1).

27

Adej]jas, los rnhneros 0 y 1 desempefiau a(IU} a1 papal de los elementos 0 e I del 8.1geb~a de los conju~tos ya que para cualquler a

«-I-O=a y a·1=«; a+1=1. y 4·0=Q.~

EJcmplo 3. Algebra dt los mcixlmQs !J los mtnimo«; Tomemos como los elementos de nuestra algebra un conjunto (acotado) de numeros,po[ ejemplo, aceptemos quo estes elementos son algunos mimstos x (0) posiblemente, tOMS elks) tales que 0 ~ x < 1, 0: sea, los mimeros comprendidos entre. 0 y 1 incluyendo los propies numeros 0 y 1.. En C\lanto a Ias operaciones de adicion y mnlttpltcacton, las dofiniremos de UIl modo enteramente nuevo Y. _Rara no eonfundirlas con Ia adici6n y Ia multipltcacion comientcs, emplearemos incluso signos nuevos: EB (adicion) y ® (multipllcacion]. Asan:er, aceptaremos que Ia sziina s: .$ y de dos mimeros x eyes .tgual al mayor de eS,tps (0 a cualqniera de ellos si x = y); entenderemos por producto x ~ y de los nfimeros x e y el men or de estos (0 cualquiera de ellos si x = y). Por cJomp}o, si los elementos denuestra algeora Son los niimeres 0, 1/3• 1/"'1 2/3 Y 11 la «ta-bla de sumars Y Ia «t,;ilile. de mulf.ipllcan de nuesfros niuneros tiene:n, 1-3. Iorma

Ell 0 1_ i j 0 ,I 'I 2 1
:r .2 '3 ® 3 T '3
0 0 2 1 0 0 0 0 0 0
"3 T. 3"
t 1 t 2- 1 1 0 1. 1
::I 3" "'[ "2 3' "3 3' 3 ""'l> 3"
"
i .1 ., 2 1 0 f 1 I 1
'2 '2 '2 "'2 .3 2 :r '2 2" :r
2 2 2 2 2 j 2 0 "l 1 2 2
'3 3' 3" 3 "3 11 ]" 2 3 3'
1 1 1 1 1 1 1 0 1- , 2- 1
a- T :r
El1 las Matomliticas, 01 m.q,Y(lf cie dos 0 varies mimoros It,
v, ..• , $ sut·lt! ih'~ignnrso asi: max tu., v, . ., z1 y el nrenor
de estes n(lmero::, pi'ir el slm:bol6 min [u, U, . ., z]l). Dc ossa
J.) max Lu' ..... . . "_. zJ y Utili lu. u, , ., s] sa
pueda leer. respecuvamente, como ernaxtmo de U, Vi: •. r .. ~ u y ~mi-
lliino de 1-'. v, .. '.' _d. 2"8

Torma, OIl iluesti'.a <lalgeb.l!ll de los maximos y los :i;nlnlmC1s», por deJinicion

xEB'Y =maK lx, yl Y:r: ® II = mID (x, Yl •

Podemos tambien couvenir ell. representar los rtumcl'os pol' modlo.depuntos.de Ie l'("ct.a inlmericai ,entOlrc()s,los1r.u.m'ero~::t;, dondeO ~.jj :;:;: 1 s , ql!odanlJl .represontados porlospunsos del

ICey

a I---....---O------O------~.!

y

x

,·lG. 11

segmento 'horiznntal delongltnd I, In Burna: x EEl y dedos fiGmeresz; ey. por aqueJ de .Ios puntos x 0 y que se .halla a fa d.erec.bayel producto X ® y pbrel puntosttnado a Ia fzquierdo (fig, ti).

Estia. ol~r,oque nuestras nuevas operactones de: adicion y mult.iplicacien s'atisfacen las .Ieyesconroutativas,

x ffi: y = y EEl x· y x®:y = y .® x,

'I amhien sseumplen eb viaments las leyes aso'cia'ti vas

(.1: e,y) EBz = .x$ (y e z) y (x ® v.) 0z=x ® '(y $ z); asi, el mimero '(x $: y) Eez, ox .EEl: (y e z) -que sa puede indJc8,l' simplemente po'!: x·$ y EB z omitie.ndo!Qspar~ntesis

)r0y :~ ... l8!y; 0 'z y®z

ol----Oo-------«.--.,-------:o....----___,y

x i

FlG •. ·fll

esel max (x, y, :z] (fig. 12) yel mimero (x ® y) .181 Z 0 x ® o (y ®. z) -0 simp')emente x ®y ® Z, sin los par.entesises 01 min lx. y , . .2) (vilase de nuevo 'la fig. 12). No menos clare estu que tamMen las Ieyes idempotentes tienen Iugar aqui:

z EEl x = mh. Ix, xl = x 'Ix ®x = min [z, xl = a;

29

Comprobemos; Iinalmerrte, Is: validoa de las layeS ilistdhutivas

(x €B. y) ®z = (x ® :z) $ (y ® z) (x €I y) €a ·z = '(x $ z) ® (y ffi ,z). ESta clam que el ruimero

(x EEl Ji) ®z = min {max [Xi y, z1}

as igual a Z s'i al ntenas uno. de las ftrimeras x Ii y es mayol' lJUe z yes igual 'al maror dees:l;os mimeros si ambos son men ores

y

(xe n@Z=(X@z)e(y@Z)

Y®,Z 'x®z x:9)i

Q Jo'--Q' 0 0

.Y z K.

(!CeY)®=rx®z)9HY®Z) Y@z xeyDxfi!}z

II 0 """0'- 0 0

y: -X -r

II

(8)

(b)

FlO. 13

que z (fig. i3, a y b). Pero a estomismo exactamsnte es i:gual ~Dmbjen al mimero.

(x ®z) Ea (.y ® z) = Il)3:X {min lz, a], min lV, zl}'

{vease de nuevo. Ia f~~.13),. De un modo analoge, al ruimero (x ® y) ED z =± max {min [x, .!f._z]}

es Igual a _z si al· menos uno-de los muneros x 0 !! es menor que- z y es igual al manor oe est os ruimeros sl am,DOS SOil mayores

(X®YHDz .. (xffitJ®(Y9Z) (~ ® y l(Bz=(X!BzJ0 (YEBz~

O x,,®, Y x$z=y$l" x0y",-xez Yez

~~--o--- __ ~------~.I o~·~~--~~x~----~--~!

y ~'j Z .Y

fa)

que z (fig, 14 .. a y b). Pero a esto mismo es igual t8mbien e:1

n(lmero .

(a: ED z) ® (y EEl z) =m.ill {mAx [x, sl, max.ry, al} ,('Yea."IO oe nue:vo la fig. 1il;

4-.H76

30

Pars persuadimos ahors de quo en uues~r~6Igepra especffica sacumplen todus las leys:,; del algebra de lo"S coujuntos, '~astaTa sefialar solamento que el papel de los elementos 0 e I del tilgeJira de los eonjuntos 10 desemperian 8qilf el menoc de loantimeros coasrderados -_61 numer:o 0- y el mayor de, estes J}umeros.-e] DUmBeo 1. En efecto, eualquiern que.sea el munero :1;. donda O~x~i, sfempre

,x €a 0 = ma-~ (:I;, OJ = x y x ~ 1 = min Ix, 11 = 3);

x EB 1 = max [z, iJ = 1. y x ® 0 = min fXl 0]= O. EjempJo 4. Algebra de los m£nimQS multiples y l()srna::ci;nos

diuisores. Sea Nun numero entoro positivo eualqulera; tomemos como elementos de auestra alge~ra nueva todos los poatbles divisores- del numero .N; poe ojemplo, si N = 210 = = 2· 3 ·5· 7, los aleman tos .del aIgeb:r:a conslderada son los numerosd , 2,-3, 5, 6, 7, 10, 1~, 15 .• -21, 30, 35, 42, 70" 105 y 210. La adicion Y' Ia multiplicacidn :de nnestms numeros :las definiremos ahora de una forma COm pletament e nueva: entenderemos por suma m ffi n .ds -los numeros m y ,n el mfnlme COBum m6.ltip)o de 109 mism os , 0 sea, elmenor numero entero (positivo) que esdtvtsible por ambos 'nUmer()s -m; y. n; tomaramos como producto m ® It de los nnmeros m. y n e1 maxlmQ c.omull divlsor de estos mimsros, 0 seat el 'm,ayor mimero entero que divide a m y B n; Por ejemplo, st N == 6 y auestra 8.lgehra contiene solamente cuatno nrimerce 1, 2; 3 y 6, 1a adfci6n y 18. multiplieaci6n de Ios numeroa vlensn oadaspor las tablas slguientes:

EEl j 2' 3 6 '® i 2 3 H
2 3 Ii f :t t t 1
2 2 2 6 G 2 i 2 i 2
B a- n 3 G 3 .. J :1
6 6 6 6 G 6 t 2 3 6 En, Is «Aritmetllca superior» (teorla de loa mimeros), al minimo connln mUltiplo de dos ,0 varlos niimeros m, n, •.. , " sa designs frecuentemente por [nt, n ••.. , sl Y. el, maximo comun divisor de estos mismo numeros, por (m, n, , . " s).

De esta forma, en nuestra algebra por definicion m ffi n= lm, nJ y m ® n, = (rn, n).

Por ejemplo, si e~ algebra contteua Ips njimeros 10 y 15, entonces-

iOES 1.5 = [JQ! 15) = 30 y 10 ® iQ = (to, 15) = 5., Es evidente qu.e en nuestra algebra siempre

m ES n = n EEl Tn Y m ® n = n ® m.

Ademas, aqui

(m EB n) $ p = m E9 (n e p)

(podemos convenir en indicar este numeto simplemente par 171 Ea n €Bp omltiendo los _par~ntesi&) y

(m ® n) ® p = In €I (~ 181' p) (== (m, n, p))

(este n6mero sa puede indicar .simplemente por m ® Ii €I p). No .menos evidontes son Jas leyes idempotentes;

mEB m = tm, m1 = m y Itt ® m = (m; m) = m.. Alga mas diticil (como siempre) result a comprebnr las leyesdistributivas. El mimero

(m Ef) n) ® p == ([m, nl. p)

no es otra eosa.qua.sr mdximo c,omun divlsor del numero p y del minima comlfn muUtplo de los numeros'm yn ( lrellexlona bton en e1 sentido de esta Irasel); contfene aquellos, y s610 aqueUos, factores primos que figuran en Ia deseompcsicfon de p y al mismo tiempo en 18 descomposieion d'e uno de los numeres m 0 n por 1,0' menos. Pero ~sta clam -que estos Jactores primos (y s610 estes) figurantambien on III descompeslcicn del mimaro

(m ®p) €B (n ® p) = {(m. p)t (n, p)J;

por eso, siempre

(m ffi n) ® p = (m ® p) ffi (n ® p).

Por ejemplo, s( los n(jmeros se toman riel eonjunto de. 109 drvisores del numero 210, tenomos

(10 $ 14') ® 105 = ([10, 141. 1.05) = (70, i05) = 35

32

y

(10 0, 1,05) $ '(14' e '105) = (10, 105). (14, 105)1 =

= [5, 71 = a,5.

An alog-omente, el numero

(rn ®' ,n) €I' p. == [(m, n}, pI

"lS el.minimo c,omun mulHplo deln-ume1'o p y delmaxlmo comiin. divisor de los niimero« m. y n; .conttene aquelloe Iactores primos, (y "13610 aquallos] que figuran en la desc'omposici6)1. de p 0.' bien en ladescomposicion de ambos rnimeros m, y n (0, posiblemante, 'cn la' descomposicton de P l' en Ia descomposicion de ambos nUmeros,m"Y ri). Peeo estes mismos factures exactamente confione tambisn e_l ruimoro

(m ,~ p) -(8) (!.1,$ p)= (11!t" pl, [n. pl) y, -por OgO, sienrpre

(m ® n)$ p ='(m EEl p) ® (it: EB p).

Por ejemplo,

(40 ®i4) 6il 105, = 1'(1 Di' 14), 105) = [2,105) -: 210

y

(1'0 ffif05) (9 (14 $ 105) = ([10, iD5]. f14. 105]) =

= (210, '21:0)= 2W.

Ftnalmente, eljiapel, de los elementos 0 e I deJ algebra de los .conjuntos Iodesempetian aqui e1 manor :de los mimerOR de 18: colecclon considerada -el numero1.:",.. y e1 mayor de cltos -91 mimeeo N .. En efecto. es svidente que

m ,$I 1 = lm, 11 = I1'L Y

rn El1 N = 1m, Nl= N y

m ® N = (m~ N) = mj m (9 1 = (m, 1) = m

(noolvides que en nuestra tilgehr'a fig-prall Ios divisores de) minrero N solamente). De esta fprma, tambien aqui Sa cumplen todas las leyes del algebra' de los conjuntos,

Vemcs, pues, que oxiste unac,antid;ld suficientemente amplia de dtversos sistemasde ,(<objetos» (elementos delalge-

33

,-

", - , "1

,,.f

_ 1 I;~ t. 'J

CeORGE BO'OL'E tl81~186~J

bra considerada) en los cuales sa pueden definir las operacrones de ad,ietOn. y mul,tiplicaci6n. quo satisfacen todas las reg-las que sahemos se cump1en en elll.Igehra de' los eoniuntes: dos leyes comnutativas, dos leyes asociativas, dos layes dis'trlbutivas. dos. loyes idempotentes y cuatro roglas datermi .. nan tesde las -propi:etfades de los elementos eespeciales» que: en; nuastras algebras desempefian un papel~r6xhno 01 que desempoiian el cera y la unidad, Mas tarde veremos otJ,'OS dos ejemplos, mu)' importeutes e interesantes, de talesalge.

bras. -

Ahora, al .pasar al estudio de- las propiedadas generales de todas estas alKeh~as, dehemos, ante todo, darles un nembre gonertco. Actualmonte tcdss ellas se (lell(Hnin~n algehras

34

de Boule1) ya: que Iue George' )joole~, destacado matC:lDl.aUco I.!lgMls del's,iglo X1X, quien por p,rimcl:a VO'z \;lstudio las 6.Jgebras depl'Opicu\lues t~n I;lxtraiias,. Ccnservaremcs los nomhres q.e;<I'a4icioul}· y«m u1 Hplicaciompal'a. las operaciones pcincipales del aJgebra de Boole (pero debesrecordar que no sou 10. ,adJcion y,multipHca'Ci6ii corrientes do los numeros)i sill em'batgo:. a 'vacos denourinaremoa estas operaciones (uU.,. C.Mlt, boo.lean,a, y ~ult~pUeac.iqn booleana,

La obra de G. Boole, eousagnada al oxamen mtnucroso dal ii.lgehf.Rt!xtta,Qrdinaiin a1 q~westti. dedicado esteIolleto ,al'll.l'eci6 pol' prtmeraves on 1854, 0 sea, 'haee inas de 10,0 afios, bajoel tlttiJo,d:e «Iny~tig,a,ci6n delas Jeyes_del. pensamientoe (<<lllvesti'gqt.io.o. of tIle laws of thoughts). Pos,thleme.nt,e este l.:ituJo t,e:p1,u;.eco, pOl' i!1loraextl'a,iioj paro despues de Ieer a,ste (oJloto! oomptenderas que ralacion exiSte entre las le:Ye8 de nuestro pensamlento y las algebras ex..traordi_naiias que aqui se lutaHza,ll, N otemos s610 que. puee;isamente esta conexion entre las a.igepras de Boole y las <dayes del pe,D8al;llte.nto» explics pOl' que la obra de Boole, que inictalmsnte paSo desaporeihida para los, matem.a,ticos, despienta hoy !.-an gl.'~ui in teres,. Durante los ultimos: afios 815t8, obra ha sido varias voces' .reeditada y tl.'aduclda It dtsttntos idtomas; en mucbos paiscs cl c'ODcepto do algebra de 13001e-ya figura, de una U otra forma, en 61 eurso escolar da las Matemati.ca.s; onotros paises, entre ~Uos 18 URSS, In- idea de Incluh; eate coneepto en e-l curse de la ansefianza media se. esta , dena tiendo nctrvamente y: tiene ardientes adictos entre los matematiees -s lo~ pcdagogos.

BJERGtctOS-

1. Compl'ueha. dlrectumente que para todas Ias teruas de clementoo deluiiIge,bra de Boole .de los dOB num(~to~ (ejemplo 1~, pag •. 25) 111111 VU]il!lIsilmb8s leyn uist.:rjbutivOJ;~,

J) En 61 apendice (pag.76) dames Ia defin:ici6n e,xlu'·t11 ita lAS, aIID'br~ de Boole..

2). Paden de 18 ',cscr\ tora ingleea E tel Lili.$n Boole (Itlas fODocidapor al :Il.pcllido desu marido M ' V Oinicz" revoluolcnarlo iiO!.aco)., lIU~ot"l del In nnvela (eEl Tabauo».

.2. GOinpt:l,l~b~ l\Jll~,jI's )eyc~ ilistI'Hllitirili:!: Pil'l'u,!lljt~JllJiil>,t.cflla's d~ tJie:munt'os,-:deL«algclira de-.Huole do Ins euutro 'uiementos»-. (olom'plo 2,

pag. 26),. _. ..'_

, · .. ·3 •. 8) $[ 1:)11, t'u ,apurta,.lllODto no huy m~1! ascolares qllehli 10:;1 ecotrJunrOi3: d~ eSJ~'Qlares QIl' tu:, apart>amen~Q*, son: elCQrijull,tti _l quo cQilstu de un escolar y el conjunto 0 q¥0nO': contleuc escolarM" (conjlllito vaclo): Forma para el«algebra de los conjuutos de escola1'El~que real~~Ilell 11,1 'Ilp~r~ame,qtoll:(esta. algebraC'olltJIme ~pse_lqme!it.~e', 0 eI, sOisl1!tlllte) 1& «:tahla d~ sUInar~ y ra ~t"lhlnd,emultlphc'~l.r'», Y cOJnpD.,talas con las .tablas de In pag.,25jdeduce de aqin: queparael. ~algolJI'I:l,de loa dos nu:mer~s» considerada 'en aI' ~jell\plo- 1., (Ie esto pUTagrafO seoum-

plan :efElCl!vu~eri'te~:o,d.al! Jus 1!3~'es del a.lgebrD: .. lle 11061e, .. ,

b) SilpOn'gamoSi,tHl(j OliUil, i!mat.tal).,i'en.to: v:i~,el).' dos ,()Sl}'ol;atos, l~edro y 'Cal'alina, :E'lltonc-eS' el«>aig1lbra de 10':1 COllluntus ita escclaros ~l.ue residen.en .. 0. sre. a:par!Jamen.to* ,contieUe :cuayro ele(miln:to~.:elcQnJun,to: I que comprenda dos 'cscolar~s; dO~COliJU!ll()~ P (PqdroJ. y' (J (CataHIlu) fotmac\p: cada \100. .por urr 00. C'ol.ot;. -a\ coniunte vaei9 o. j101'lD8 121 stabla ds suman y'ta (ltabla de multtplicar» parI! ostaaJgebra de los conjuntoa' Y c·O'mpa:rallis COil IaU:alllil.$ de L~ p.1ig, 26; d:edilce .Je.'3quI. quo para 01 «,~'Igabr[t deJQS, 6ua~ro num'~ro9» C(lJlsidotuil:i, en 01 .lJjemplb 2.de eate- pa'ra:gra!(:j'se. eumplen todas lilsJeyes' del .algebra do Boole.

~., Comprueha gpo

I { ,r [t .-1 ] 1. '} .. " - {' . ,. [f 1 ]

fI) m n . lJHl~ ,2' B' 4.' =m,l'X' mill ,Z' "4 •

,[1' 1J'}'

10m 8' 4 .

, { . r 1 1 ] 1} . { -l 1

rnax "mHl1"l:!'., 3' , '4.'. = mme max '2'

h)J[f2, .301,8),= {(t2, 8l, (20,8)1

j J 'r 1i J'}

4 ,lnll):a"A,- ,

y

((1,2, 8.0), 8]=; ([{Z, 811 130.81).

:j. a)' Forma b dabla deaurnaray In ~ta,qla de rnulttpllcar» lIar" 01 :a1gehrll de Boole de los tr03 numaros 0, i- y 1, doude ::1>$ y =

"

= max. [~, .yJ Y ie. ® y = 'n0111Jx, vI; compruebaqueen esta 'a.lgebra

ae CUll1plM.HI.B: leye)'1 del ·:alg.ebtll de Hoole.' .

.hi Formula dilNa .de ~U.funn .If.1a ~tabla de n;lI.iltiplicril~paYil' eltiJgebra fOl"Il)'aJlil, ]lor 1'09. dlvrsores del' nunrero -1,2, 'qon,tle mID :1'1:= ";'_'\m, ",,1 y "1)'181 n.~' (Ii". n); ¢oni:!Hu·ellii. que ail ostll M"gilhra:,Bocum:.. Jilenai:guuas 'de Ias ley!)s' del 'algebra de. ~o61o. . ,

6;~. Supongamos que ~a. deseonrpusici6nou flH;'torc~.~ prunos xle un numero /'f (en tl' ro P0i!!!tIYO) es de Ill. Iorma

", _ ,AJ;o\2 ,~11

.. -Iii Pt. - .. , p~ 'j

36

entonces dos cUi\leSCluicra rlivisoros m y n de este nUJrroro se pueden rL\j)J'oseulur en Ill. Ierma

CI as ch

m = P, P2 ••. Ph '

donde 0 ~ al ~ .41, 0 <aa "Ai, ... , 0 ~{1IL ~. Alt. Y

_ bl .b2 IIh.

fl.-PI P2 ... PIL '

donde (} ~ /)1 < At> 0 ",,'bt < Au, . , " 0" hI>. "A" (algunos da los Dumeros aJ._ Q'1I1 • , " "It. bl, ba, ...• 1111 pueden f9l!\lltar igi.lales a COIro). lQu.e forma t.iellClI an este caso las dcscomposicioMa eo factotOil primos de los numeros ltn. Il] (minlmo comun muttiplo daJoe lIumerQS In y n) y (nt. n) (maximo comuu divl~Oi' as los numercs In y.n)? Emploa Qstns d~SC()Jl1posicioDes para dsmostrar que' COnBtituye 1111 aJgebra do Hoole 61 oonjunto de todos los. dlvi'aores dol humera N £011 las opoNrioM!j, III $ n == 1m, tlJ y m (lSI 11 == (m, n).

§ 3.

OTRAS PROPIEDADES

DE LAS ALGEBRAS DE BOOLE:

PRINCIPIO DE DUALTDAD; IGT)ALDADES Y DESIGUALDADES BOOLEANAS

Pt()SigllD'iOS e1 estudio de] _Iilgebro extrao,rdin.aria que hemos denomlnado D.lgebr~ de Boola, Ante todo, salta 0 1a vi5~ to el paraleltsmo complete que extsts entre. Ias propiodades d& 10 adieien, .booleana y do la multlplicacion booleana: .estas propiedades son tan similares que- en toda formula (jcorreeta, porsupuestol) deZ algebra de Boole se puede susututr la adici6n por w,'multtpUcac16n, y vtceoereo; la f6rmula seguira siendo valida. Por ejemplo, ell ellilge.bra de Bools ~e cum pte

la Igualdad .

A (A + C) (B + C) =AB + AC

como 10 hemos demostrado auteriormente (vease el ejemplo conslderado al final de los ejercicios del § 1, p;ig. 22). Slls:tituyondo ell esta igualdad Ja adici6n por 13 multiplioacion,

y viooversa, obtenemes Ia igua,ldad

A + A C + Be .._ (A + Ij) (A + C)

que tamhierl. fiS valida fveass 01 ej£lmp16 de .la pag. 38). 8.610 d~be ten erss au euenta-: que si en. una ig,l,tdlilad 'del tiJge,_bfit de B9:Q~e,_ jigu1?(ln .11:,8 e.lerrreritO$ especiales Q e. l_, al su~~i,ty.ir la a,dicion booleana. por la mu,ltiplic(lci6n booleana, y vicfJverso,. deberem(nl sU;$Utui" eJ element» 0 por l,y el-elemetuo I porO. POt ajamplo" es valida Ia igualdad -

(A + B) (A + I) + (A + B) (8 + 0) = A + TJ (veas~ e_lejercicio' 8 de Ia pag. 22); de aqui results que tambien t.iene Iugar Ia igualdad,

(AS' + AD) (AB + BJ)= AB.

,F.sta propiedad de lasii1gebras.d~ Boole_ que perrnite 4grat~it:ameDt.e_" (o.sea, sin demostracion-)obt.ener-de'C"ada. igualdad aka 'nueval) Ilava, !;l'I nombee de pr.fnctp.io -/k du,aUilatJ. yla/! 'Igualdades, que .resultan una de otra por'medio de este prjnclpio, S6 denomirran duale« nnas respecto a o:.tTas-. El- P.riilclpiode41,1alidl;ld se.de_du~e de que La lista de· las leyes pr'incipale~ del~lgebr.il de B.ool~ -q,\le -son las uniess, quo podomos emplear al 'demostraeune U otra f6rmwla, booleanl~-cs per!oGtllmen to «simetric·fl;I): concada ley con t'iell@ ctea, dual deJa primera, es dedi', que's9 ohtiene do aqualla Stlstituyeo(lo

:1) Puede suceder que la lgualdad, «nueva. (que se .obtrleng !lustit_uye,n,ao ~n una f6rwula dclalgebra de Beole lao adl0l6n por. .13 multi:plicaci6!Ji, -y vJcev6rs:a)coillcida. con Ie ihiCinl y en esto caso nuestro -pr:oce.d,I:mlento 110 arroja vontafa algona. Por: ejempl0, al austitmr 1a adici6n.por 10, mult.ipli~aciqni "y v.keversa,. la igllaldad eorrecta (veaseslejerc-iCio. 6 (Ie Ia p_ag. :22)

(.4_ + B) ~B + C) (0 + A)= AS + Be'+ CA so I,tans[orma en. la igualdad

A_B +BC,+ ell = (A. + B) {B + OJ (9 + til

qU(J ccincido con Ia in-ii;:iah Ia !gunldild (Qjercido 7, rag,. 22)

(A + B) (8' + C) (C + D.) = At; + so + DJ)

a& LrnilSto-rmil. III S\lstit 11 i r I a mul UpUc nci 6n por Iii mHci6n, y v jet .. VlJrlln, so la. igll aldaiJ

A.$ + BC.+ CD = (A + 0) (n + C) (II +.D)

que .s61oillsuhstanciahneuttI dine.re de IoJnlclal (sa h:!lns.rOi~mtl en 1.0. Luid.u.llil eustitulr Ia letra H per III Ietra C y laletrn C i!or Ia_lotraJf).

38

/11 adicion porla multtplicacien, y viceversa, y ol olemcnto 0 pOI' 01 elemento I, y 'V iceversa, Asi, In IllY eonmutativa do la adiciorr es. dual de Ia ley corrmurat.iva UI) Ia m)Jitiplica':' elon;]a loy asociaHva de-Ia adicidn es dual dola Iay aseclatlV~l ,do l.l~ multiplii::,(\cion: In ley idempotente Of) 1~ ~dici6n es final de Ia ley icit!mpott'n:t.e de Ia mulrlplicacion: 1a prlmern ley distributiva ('8 dual de Ia sogunda ley distribut.iva; 'pOI' ultimo, las ignaldados A + 0 = 0 Y A + J = I SOH duales de las igualdades Al = A Y AO = 0, respocttvamonto. POI' esn, si para dernostrau una iguahlad homos omplcado nnas u otl"as 10)105 prmcipalcs del algebra de Boole, podumos (10- mostrar Ito la mi$1DD Iorrna exactamcnte. reourrtendo a los Ioyos d ualss tambien In igualrlad Mlill do In Inicial ,

~jl!lliplo, Dernostremos Ia igualdad

A + A C + Be = (A + H) (A + C)

dun I do Ia Igu3Jdad

A ('<1 + C) (If + C} = "j_[J +,AC.

A+AC+ RC -- A+(AC+BC)

Icy 1I5(lclativ'l 1 JI TI'Y

d~ hi ildicJ6i, distl'fbutiva

= (A+ 8) C-j A [(A +1J)+A](C+A) =

rey COn~f!1 nl ... II Il:Ii I a ley

de la llIUI;I(," dlilLrlhulivll

= ,r(A-I-A)+ B](A+C)=

IU,YI'~ ~"'''II"t,,1'1 'lit.. ~a~o,,!'ltlva dt~1 n ndlcliln

=- (A+B)(A+C)

lC}' 1dempot~nte de 1,1 lll.lici(in

(compara con 10 ilenlosl~taci6u do Ja: Igualdad A (A + C) (B + C) =

= ,1 B + A C ell 1.1, pag. 2,2). .

Otrudemostrueion ilel princi pio do duulidad esta Iigada a que ell el iilgebm do Hoole existe una operacien especial 1)01' cuyo efect o tod.o elemento A rl(.l osta filgebl'a seteansforma en un clemente 1l11eVQ A a In vez que 10 aaid(in se transiorma en lao muUiplU:a'CtOn. 11 uiceuersa. 'En otrns palahras, esta oporactdn (q IJ(} denom inaremea opemcion ~q'fJ.Jla») os tal que

JfTB=AB y AR=A+B.

Adornas.

39

Ftualrnnnte; pOT' efecto do 10. operaciou «['uYU» ol slomunto A sa transforma ell -eleiemsnto inicl a l A, Cl sea ,p"rn todo elemerrto A del algebr.a de Boolo

A=(A)=A.

En e1 algebra de, los cOttjuntos Ia oporaoton «raya» (o."Ita operation especifica permite obtener 1Ji), nuevn olerncnto d(~l algebra de Boob!' a partir do uno y no de dos elementos dadcs Como es 01 CaBO de las operaciones duadicion y multiplicacion) tieno (;'.1. slgulente significado. Entendenros poe A el

'FIG. Pi

complement» del conjnnto A, 0 sea, el con-junto [orouuio por aquellos elementos del coniunto untverso J, If 8610 aquellos, '111f no eonstan en el confusuo A (fig. 15). POI' eiemplo, Ri el conjunto uni verso represonta el conjunto de todol'l los a 111m 110"1 de tu class y A es 61 cmljnnto rio los alumnos Stllilpelldli:h)~ como minima eu una do las asigJJatul'as del primer tdrncstrc (el conjunto de los alumnos atrasados), eutoneos A es el conjunto de los alumnos que hall sacado 110 menos do esausIaetQl'io» en todas las asignaturas (el cnnjunto de los D..J~m~ nasa {1 ol an l.£l dos) .

D~ Ia deti:ni~ioll m isma del eomplemenio A dt'l coujunlo A sededuce qua

4.0

Yerne

\7 AA=O.

,r

(vel1..o::e .Ia misma fig. :15; IuS' des ultimas igualdades pueden servtr tneluso de 'definici.6n del cOlJjuIJ1.0 .4). Es evidente tamhien que

0=[ ~ 1=0.

Demostremes finalmente que en 01 algebra de Iosconjuntos se cumplen Iaapropiedades mas importnntes de la operacion ~raya»:

A+B=AB y A8=A+B;

estas reglas so danominan reglas de Morgan en memoria dol matematico ingies Augustus de Morgan (1806.1871L contemporaneo y correligtonarto de Geor~{l Boole. En Ia fig, 16, a

(8)

(b)

JI'IG. 16

npareca semhreado , con line:as ohlicuadas nacitlla Izquierda, e1 6v:alo (el conjunto) A y ell Ia fig. 16 •. b, con Iineas ohlicua-

das .hacia 18, derecha, S1I cemplemento A .hasta el. euadrado complete I ; con linens hnrf sontales esta sombreado en la

fig. H) a.Q) ovalo (cl crhljmilo)B yen Ia rig.1G, b, conlfnens verticales, 511 complomento If. En la fig. j6, a resulta sombreada 18 1'cgi6n A -I- B, mientras que ell J3 fig. :16, b resulta dohlementcsembecade 1~ region. AB . .Paco comparaudo las

4,1,

figuras i6. a y t6, b, so ve que lliregi6n doblemente somhreada en Ia fig. -16, b complemanta la region sombreada an la ~ig. 16, a; cop esto quada demostcada Ia prjmers reg)1I fie Morgan:,

A+B=AB.

Por otra parte, en 13 fig. 16, a resulta dohlemonte somhroada la region AB y en la fig. 16, b resulta sombreada Ia reg'ion

A + B. 'Estaa dos l'egiones (conjurrtos) son,ohviamente. una complemento de 18 otra, es decir •

.....__ - -

AB=A+B.

Sefialemos ahora elsignifi.cado de la, operaei6n «l'~ya, ell los demas eiemplos de algebras de Boola eonsideredos unteriormonto. As,i, en e141g:ebra de los dos numeeoa (ejemplo ide ill 'pag~ 25)

0=1. y 1=0.

Es ev.idente que a, = a para cualquiereIemente a deesta OJgohra (0 ~8. para a = 0 y para /l. = I). Adem6s, comparando 18 ttEl_bJa, de suman y Ia .tabla de 'nmltiplicllrt .fonnadapara,losnumeros '0 = 1 -y 1-= 0:

+_Q_! o 0:1 t t t

0=1. {=O y 0=1 i 0 1=1) 0 0

se deduce q1JO so todos los Ca!I08 a + b = ab,; do Ull modo ami.logo s.ecOI:llpmeba .. tambilin .la segundll regla do Morg,an: at 0:::;;; + :;;:

En e_1 ~lgebra de los cuatro nuaterOS (ejemplo 2 dB Ia pag. 26)

0=1, )}=q, ~~p -y f=o.

Es e'9'iileote dll nuevo que a = a cualquiera que sea 'ol alamaato a. de nuestea Iilge~ra. Para comp~obar la relaci6Ii Q + b = ~li', bnstara comparar como antes dos iaMas

+ o P 11 1 0,:, 'I p=q q=p '1=0
0 o p q :l 0=1 q p 0
p p p 1 1 Y p=q q q 0 0
q q t q i - 0 0
t { t 1 1 q;=p p p
1=0 0 0 0 0 Analogamcnte S8 comprue}J:a tiunhieu III -rolaei6u ~b = ;- + i.

Pasemos ahora al 4lgebra de los m6xhnos )" I~s m(nlmos ouy08 elementao son los llumer.os :t: tales que 0 -<. x ~ 1, mientraa que 18

42

adieioD hQoLean8:Ef) y Ia mulU£llicaci61) booleana ® se Ileflnen as{:

"t; ED Y = max 1%, yl -y Z ® !f = min ~x, .11]-

t'MQ ~e on (Jilts tlgebra tengan lugar lSl'lreglas iJe Morgan

xE!1y=;0'Y '! z®y=xEElY!

ell (tc~ir, pant q~~ sea

max [;z;1y)~miJlli,"ii1 '1 min [x,yt-='11l'11X ex, Jil.

haco fa]ta solumente, qne Is 6pcI'Bci6n ¢raY_lI~ lnvlerta el urdau de los elementos, es decin, qno do 18 colldici6n :r: -<= y Be doduzca la cOlldid6n

¥

O~--~~------~--------~x----~

If i

FlU. 17

-;:~ ii l!por ,que?). POI" e~osi los elementos delalgebr-a ~on tedos los numeros a: tales que 0 ~ x ~ 1.. podemos :pone:r, por ejemplo,

;'=1-z;

ee puedo aceptar que- el punta -; 8S sfmetrico d~t

1 .

eentro 2' del seJ!:m.~nto [0, 1] (Ilg, J 7). Ell tul caso

en otras palubeas,

punto z respect» at as (lvlden-te que

y

Pnr supnesto, tlenen lugar tQmhio{l las reglas de Morgan :t$;y=;-0y v ~®y=;ffiii

(vease 1.8. fig. 18, a y Ii).

(I):

h)

FIG. 18

Censideremos Imalmonte el algebra de loamfnimos m6JtipJes 'i de los maxilllOS dlvlsores euyoa elomentos lion todos los dlviseres

43.

posihll1s del DUm61'0 .. enteeo posith'o N, m:lcDt.ra9·q~e la. e:dlcl6n ·boolea. aa m y .la ffi\iltipliwci6n boolean a ® S9 definen asi

mEa n= [m.n] y IIV® n = (ml n);

dande 1m. 111 os el~nJ;ninfo epnJu'l: ~ul~iplo de 109 n{If!letos 114 ~ It "y (m. 11) e~ 01 maXimo eornun dIViSor de estos. Pongamos aqm

m=l!... ;

",.

por Cljemp1o, en al case analieado anteriormente en al que N = 2iO t=21O; 2=105,3=70, ·5'=42, 6=:035" 7=30,

10=21, .14=.t5; t5==i~. 21=10,30==7,

Esta clam que

<15=6, .}2=5, 70=3, TIi5=2, 2-10=1. 'i=N y N=1.

AdemAs, es "yirieute quo

- N

m= N/m=m.

TamMen aqui tianeD ]ugar las .reglas de Morgan: mEBn.=m,®1i y m®,n=m(£!ni

por ojoillplo,

6 Ef)2t = [6. 2tl = 42, 60,:IT=35®to=(35.; 10)=5 y

y

fj ® 21 = (6, 2.t) =3, 'ii.$2f=35G:HO=135,101=10 y '3;=70.

Dejamos II cargO, delleetor 1a.,demostraciOn complete iie las Teglas de Morgan: (vease a oste respecte e1 ejercieio 6 de 1ft pug. 50)

Supongamos ahora que tenemos una Igualdad que sa cumpla en, cnalquier algebra., de Boole; por ejempio, la lgualdad y8 .eonocida

A (A + ·C) (B + C) = AB + AC.

Aplicaudo a ambos mtsmbros de esta igualdad 18 operacion cra,ya», obtenemos

A(A+C) (B·+C)=AB + AC.

Pero, en. virtud de las reg las , de Morgan,

A (A + C)(B+ C)={A(A+ e)l (R +C)=

= A (..4 + C) + B+C = A + A. + C + Be -1 + AC + Be

44

y

AB+.AC =AB.A"C = (A: + B) (A +C). .De este mode, tenemos en de{izlitiva

A+:AC+ JiG = (A+'8)(A+ C)~

Pero como ssta igueldad sa cumple para cualesquiera A. B y C, ccnbinuara siendo valida si design amos loa elementos A, .iiy C de nuestra alg~bra de Boole simpiemente por las Iatras A • .B y C; entonces Uegaremos precisamente a la igualdad

A + AC + Be = (A + B) (A + C) dual de Ja igualdad inlcial,

E~" asi comode laa]}l"opiedades de Ia opera cion «ra-YM (y,en primer Iugar, de .Ias ragtas de Mm:gari,) result a el prindpio 'd,e dualtdad, S610 no debemes olvidar que-si, Ia igualdad inicial comprsnde los elementos eespecialese Do 1, entonces, .debido a Ias igualdades,

o J e r 0,

on la Jgualdadtransformade (dual) aparec_era I en Ingar de Oy 0 en Ingar de I.

Porejemplo, uplicaude 111 operaci6n uaYIl. II· amboa uriembroa do 18 Igualdad

A ,(A + 1) (B + (1) = AB ('lease e1 ejereicio 5 de la peg. 22h obtenemos

A (A+l) (B+O)= A.B

0, puesto que

A (A+ I)"{B+O) = A (A+I)+B+O'= =A+A+I+B+O=A+AJ+BO=A+AO+BI

y

11i lgualdad

A+AO+Bi.=A+Ef.

Perc h ultima igulloldad(en 18 quel1 jj son arbitrarioB).as equivalen-

t:8 a la sigmeote ~

A + AD -I- Bf = A +-8

quese obtiene de la Iguliidad illiclal al su.rWuir la Burna/or el produc- 10, '!J vlceverla, IUf Como el de-menlo a po, d eltl/1tfl'O , Y "'cellers".

45

Es notorro quo el prlnoipio de dualidad tiu~le uucampo de ~plicacii6Ll incluso mas amplio quo el seflalado: <!:parte de las igualdades booleanas sa puede apllcar tamhien en las (fQ~igua;ldades booleanass, Pero para' explicar estodeberemos, 'ant!'! todo, estudiar WI concepto m.asque desempefia nil papel Importantielmo en la teoria de. .las algebras do Bonle.

En toda algebra de Boole,adem1i8 del.concepto de lgualdad de elementosde estaalgahra (Is ignaldad A = Bsignifica que A 'Y B vienen a -scr .slmplemente un ntistrto clemente del aJgebra de Boole), e.IX.iste otra relacionImportante ~ntl'e Jos elementos que dese,m.peiia aproximadamente. el mismo papel que desampefiaen al aJgehTa de los Dumeros Ia rela.cioll «mayor que. (0 «men or que»). Esta rslacion se indica conel simbolo::::) (0 c) y se ascribe

.A=:>B 0 BcA

(las doe ultimas rslaciones tianen aJ mfsmo sentido; lijate en que se asemeian a las formulas ,a >b y b < a); 00 el algebra de- los coniuntos, 18 relacion A ::> B s~gnifica que el

FlS. til

conjfl,nto A contiene, en tanto que una parte§uya, elconju.nto 11 (fig. 19). Por ejemplo, 81 .All as 81 e6njUJfto de los mimeeos paree y A'i! es elconrunto de los nume:fos onteros divisihles ROY 6, entonees as ohvioqua A2 ~ Aij; del 'mlsmo mode exactamento, si. A as el conjunto de lQB alnmnoaavansados de ttl clase y B as 01 conjunto de los alumnos qusestudian en sobresallente, entonces, por snpuestu, -A =:') B. Debe !3619 tonerse

46

OFI eueuta que tsmb'ien eserlhiromos A .=:l B sI los coujuntos A y Bco.inc.i,den; PU(>c8 .t:llmbj(;~1 oneeto easo el coniunto B esta eontenldofntegrauienta en el conjmlto A. De es.te modo, la 1'el~u~t6n'~' para eietnentos deL61gebra de Bools se asemeia mas· 8. 1£1 r.elaci6il: ? (mayor 0 igual quee) para 10$ numeeos quaa Ia relaclon > (<<mayor que».).

~stiic1aro flpo

S1 .4.:::;. 8 y JJ:::::J O,entoDc~S A ~ C

(lig. 20); de- uwa lonna 8nalo~a, pata los nuIiler.os:, de las

FJ·G;. Z1

relac,'ionesa;;::b y b ~. c se deduce qua (l.' > c. Ademas:,

si A ~ B Y B=:t A •. entonces A = B,

10 mismo que para 103 nfimaros de las ralacfones d ~ b Y b ~ a se desprende que a= b. Pnr ultimo (y alloes TUny lm:p01tante. para nosotros]

~i A::> B,en:Lonces A c B

(f:ig, 21)·. A;sl, el eonjunto de los, alumnos avansados as mayor quael conjnnto de:108 alumnos que estudian en sobresaliante y de ello resulta que 01 conjunto tie, los alumnos atrasadcs est' eontenido en sl ccnluntc de loa alnmaos.que no estudian en. sob resa liente.

Hastaaqul hemoa veni(io subrayaodo Ia semeiauea existenteentre. 10, relacien ~ para los;'conjuntos y Ill. relacian ~ para los nfimeros, Senalem0s ahara unudilerencfa-substanetal

47

lHitr.e, estas relaciones. Des mimerns (reales) a y b oualesquieraeiempre pueden, ser comparados, es deeir, lieteStlria~ mente t~onl} .lugarama delas relaciones a ~' bob ~al'). PO.r

(8)

(b)

FIG. ~2

eontta.po'sici6UT paTa d,oS'cQnjvntos A ¥ B [10 secumple, como r~gla,l:tinguna de las relaciones A=> B 'Y B-:'::l A (fig, 22).

Notemos ademas que

I ::J ~A y A. ::;:l 0

I) Si tienen lugal il. ls vez ambas'relacionos, los mlme,rOB 4 y II son' 'itNIlI.es"

48

eualqulera quo sea e1 elemeuto A del algehra de IoseonjuntU8 y que siornpre (u sea, ]lI11'a cualosquiera A y B)

A + B ;:::l A y AB c: A

(fig. 23).

Seiiale~o8 el siguriicad« de 1a rolaci6n ::J. en las damas algehras de Boola que tOlloclii'u<}s.Eu 01 tlilgebra do los dos uumaross ·(ejsmplo·1 de In ptig, 25) es't'a .·elllci6n se est_ahlooe mediante la eondlciou

1::wO

y IlJIo 01 .~lgebra deIoa cuatro Ilumerast (ejclI\plo 2 de 18 'P4g. iV) msdiante las condictcnes

1:::>0, i=>p. 1~.q, p:::>O y q=:lO

(los elementos p y q de esta algebra son tncomparablts, 0 ~L\, 110 tieno lugur ninguna de las l'elaciqnes iJ =:l q Y !l ::J p). En el «algebra de los' maxlrnos y los minimos» (ejemplo 3 de .la pig. ,27) In rolacion =:l .coincide con III 'ral,acl6n ;;a": coiieldcramos que los elementos ,1: e y es'tu.n vinculados ])01' Ia mlaci6n % '=' Y si aI' mimaro 2: 110 es menor

que 01 numero Y (por ejomplo; aqui ~ :=J ! y 1 .:=> 1)1.). Por ultimo, em el «iilgebm de los. minimoa multiples y los matim:os divisor_os. (ejemplo.4 de 18 pag. 30) Ia relaci6n.m. -=:> n siguifica que 01 numero 11: t>i:!: divisor del numero m: ~Ol' ejemplo .• aqui 4:2 ::> 0, rnientras qlle lOB numeros 42,'Y 35 de - esta ·lj.lgahra sO)J incomp,aral;lles.(o 5(111. no tiona lugur ninguna de las l:elo:ciones 42 =:l 35 y 42 c 35). Proponemoa 11.1 lector demostrae que la relaci6n =:l; definida de esta forma en cada una de las algebras de Boole enumeradas, posee todas las propiedados que hemos seiialado para la relaci6n =:l en e.1 algebr.a de los coniuntos

Es D.atural denominar desig~ldad booleana toda formula euyos primer y segundo te'rminosestanvinculados. por Ia relaci6n ~ (0 cr). Tra:taremos s610 de las desigualdades vali~ das para todos: los valores de los elementos A , B, C. • .. del 8lgebra de Boola que Ilguran en la desigualdad, como Son Ies dssigualdades I ~ 4, A.:::l 0, A + B:;:J A 0 A ;:::l AS menclonadas antertormenta, El. principio de dualida<l afirma que si en U.lUf· desigualdad de este Upo sustttuimos la adici6n por la mu~tiplicaci6n, y. Vice-versa, el.elemento O(si as que IigtIT8 en nuestra deslgualdad) PQr el elemento I. !J uiceuersa; y 5i camhlamo8 elsigno de 18 de5igualdad por eJsigno contrarlo (0 sea, si sustituimos 1a relacion z» porIa relaclonci), obten-. dremoe de nueuo una desi.gua,ldad valida (es dseir, 'una destgualdad que se cumple para todos los valores de los elementos

1) E;Il es'a algebra do Boole para d'09 elementos eualesquiera z 'a II del Algebra Biempte tieno lugar UDIl de las rolacionos $C:::J 11 o ,,::J ;t por 10 rrrenos,

49

del algebra de Boolaque ell ella figu.ran}. POI' ejemplo,d6 (A + B). (A + F) (A + l):::)' AHC

(vease el~je.rcicio 8, b de'la, p~g. ~QJ sa deduce qua siempre AH + .Ac + AO c: .4, + B + C.

Para. d.emostf.llrelprincipio. de d ualld ad. baataapJic(ir laoperuCtQ:11 ;uayu ~ ambos 'rniell1~ros; d.e Ia .desigus{dad i"niciill. As!,. de Ia validez' de til desiguaMaa,,(A + B) (A + C) (A -+ 1). =:. A B.C 'Y de til

r~gla: ~si A ::;:. B. entcnces I c: 0», ee deduce que ta)nbilio es valida· la' desigualde:d

(A+ B) (:4+ lJ)(A+J, c ABC.

Pare, en virtua de 1asreglns. do Morgan y t6uioudo en cuenta quo r =:0, obtane:mo!l

(A.+B) (A+D) (A+I) =(A+B) {A+Ci+A+l.=

=A+ Il+A-f-C+Af= AB+ AC+AO •

.4BC=A+ll+C.

De e!!t:t Iorma, rdeq~ci.mo~ quo para cualesqulere A • 1) y C tiena Iugar

18 d(l8igual.da.a _

AB+AC+AO c A+B+C.

Perccome aqul A, Bye 501) ar,btttt:iri'OI, I!O pueden df;tsignaTsimplo. l!lenle, por.A. B ¥ C. De.este modo llegamos precisamenLe II .111 deslgual# aa:d

AS +AC +.4£:1 c::A + B + C

dual, en el senlidoexplicado anterlormente, _de I'll iuidaL

EmneICIOS

t. Eecribo lli~ igv.jlldad~s duales de t,otias las-ign nIdI! des. que so. _propone dernoskrarQ.n loeejetciriios' dol .~ 111 \{/ de la, pig. 2~.

2. Demuestra Ias eiguientc»· 'identidO:des tl!;)l !lge.bX'lI- de lQS 000-

Iunsos: . .

a) .(A+B) (:I.I+B).=Aj .

b) AB+(A+I,j (A+R)=A+B;

--,'

e} .iBC.1BAC~():

(1). A+AB=-A+B.

50

;I. Domu(.l~tnt I"(UO 51 l I o[JcraCion tray.a» Cigma en una iguaJdad dt!1 IUgobl'u de B9Qle-, tiltllhIclI o~ ,vtiHtlu lu IglJ!\ldad quI,) su QbUone du CUll SllstH,uyonll.o ~pda adle/on hooluana por [a lIlulliTIU(:uc.!6u PlJolctwll, y 't'je'ovcl'~a_, todo alenrcnto 0 (st es que aparecs en IJtlC'SLra I gua1d ad) pOI' 0.1 elemMlQ J. Y vrceversa, petu coaservando Ia .oporll.cion cl'aYII» en s~u 'sitJo' carla vez.!lue aparezca Oll: Ia lgualdad lnle ial. (":je'nlplo:dc, Ia idf'11boad del ejere,icio 2 r ~e: de'riuc(l qll~

A+,LJ+C+A+B+-X+C~l

cuafesqurera que, .sean las elementos A. B )' c: del· 6.1gohra all Boole.] !to lQueigWlldados t;~ ohnenen, por g:tetho del prmeiplo de dualidad doscrlto on 1)1 ejcrcido -3, de las ig,!-aldadoscto 'Joj) ejercidOB 2, a, hy d-?

5. Compcueha quo en el ~iilg'ehra do los cuatro nlnne.ros1> (ejem-

plo 2 de la' Illig; ,21,) se cuniple la .segunda T~I!l, de l\)'orgari': ab = ,~d+h.

6·. n) .Sca il = PIPI ••• PIli donds tudes los rnirneros prlmns Pl .• 'P,D, r: 'f P ~ ilOT~ distiilCOS. D_l![llue~t'1'a q u.e ,eoos1'o. easo el <j'lllgchi'a de los llJlIlbnos Tl/uluples Y' los m:a,xlmos dlVISl>res»r cuyos elem1.!tlLtl8 sou J05 divtaores J,el lnlme.ro N (v4ase 01 ejemplo 4 det La pag. :to). se convierte en el «iil~ehra de. los. subceniuntos del conjunto unlverso 1, = (Pt, P~ ••• " p,,)~' deduce de aqui quo 611 ssta Qalgcibra cia 109 mfnimos multiple!! y (os maxinlOs divisoreSJ se cumplea todas Iaa leyes del 8lg~bra de D cole Iucluyendo tambien las rogIna do Morgan.

h) Sea N = P"~. donde p es un mimero primo y..4 ea un eiltero positivo. Demuestra que en este elisa el .algehra de Iosmlnlmos multiples. y 108 max~mos .illvisOl'es», fUYoS '910meDtos. S~)ll los ,diviS~.r~ del numero N, S,1l convierte ell e} {(alg~bta de los :maXlill.OS y los mtmrnoss dBfinilhl en el conjunio de los numerus 0, 1, ;;!, ..• , A. Deduce de aqui qne para e~t.a,wgelll'a de lOB tninlmos multi.ples,y Ios maxtmos dlvisorea~ se cunrplen todas las leyes de_! iiJgabl'a de Boolo iilcluyando lUlIIbien las reglas deM.ollgn'n.·

._\ "', N AI AaAIl . . a1 "-2 ak• d d

fiJ "ea '. = Pi P! _. - Pi! Y m = PI P.~ •.• Pri. ,00 e

o ~ 41-<A1• 0 .~>a,.~,A2' . ; 'j 0 -< 411 «; .4" (veas,e 01 -e'lercicI9 6 de la pag. 35)'. ,Quo forma tendrii .8 descompOSlcioll en fact-ores jmmos

dol mlrnero ;;. =E_ ~ E1l1Jllca Ia 'f6.J:Tl1ll111 obl,enjdil ju(rn demostrar

m

las regl as de M org~u en 01 Cl)SO general del ¢iilgebra de Ios minimos In.altjple~ ~ 108 maxjmos dlvil3uies)).

7" Entre las algebt'3s de Boele q,ue conocss, eeu cuales S6'C\101plen )' ell cuAles _l10 S9 cumplen las igua.ld.ades

A +A=I y A A=O?

8. Darn uestra 1M Sigtll 011 ies design .. ldados jIll.! Ii:lgeb ra de, r os

,(:OI'1l1TllO!l!

uJ A+B+t =' I.A+fl)(A+C',li b) (A+ll) IA+ 1,:) V1-\ J) ~_ABC;

~.} (A+B) (lJ.j-C) (C+!1}:=>A11(;.'j

L1) A+LJ::::> A:H+A8.

51

9. Bscrlho las desiguaidadee que sa ohtlenen do 111.5 desigualdll.dee a, ,II y e del ejerr.iciO 8 aplleanrlo-el :principio de ~ualidad; deinuGstra.Ias dirtlC{;alllollte, s.i 0 recurrlr ial P.iLllclpiode duahdad.

10. Demuastra que sl una desigutl'ldad beoleana comptende III operad6n-usyl1Jt, tainbien es v~lidll Ia desigualdad que seobtiene de Ia iniCiill 8u8tituyen'do "la adk,i'qri llpoiea,napor.l8 multipliea:ci6il bocleana, y vicU'Ilorsa, sl. elemento 0 pol' el elemente 1. Y vi.cev:ersa, consarvando Ia oporaci6n uaya~ en eu Siti!) cada v,at que npal:BZCa en Ia cf'eSiguahlad Inlclal y sustituyendo el slgno de Ia ilesigualdad por eJ &ign.·' e opue,s~o. ~])Htae$!e.'prim;ipio para. 9.hf.~n,r una ~esigluiJdad nueva a partllda la deslgualdad d del eletCJcu) 8.

11. Comprueha todas las _propiedadea .da Ia c'Blacion "::> para 8) el .algebra de los Olaxiro08 yJos minimoSl;

,b) el,uilgebra de 108 minlmoe mUltiples y los mwmoa divisores&. 12*,. Sean A y B unos couluntos, tales que A ::) B. Simplifics

las exprealonas

8) .4+8; h)AB: c) A+Bi d) AB.

§4.

CONJUNTOS Y PROPOSrCTONESj ALGEBHA

DE LAS PROPOSICIONES

VolvamoR de' nuevo al 6Jgebra booleana de loseonjuntos, principal en nuestro fo1leto. p'reguDte'monos com.o pusden deftnhse Ios conjuntos que rspresentan elementos de asta algebra, Poe supnesto •. 01 modo rmis senciUo para definir un conjunto es el Ilamado modo expllcit» 0. enumeratioo euando se indican simplemente todos los elementos del eonjunto considerado; asi, pU6Q_e hahlarse del econjunto do IDS escolares: Alejandro, Simeon, Miguel, 'Catalina», del econjunto de los n.~merl)S: 1, 2, 3, 4,; '5»' 0 del «conjunto de lascuareo operaclones aritmeticas. .adichin , suetraccl 011, multiplioacion, divisi6n». AI indicar todos los elementos de un conjunto, en las Matematieas se acostumbra inclutrloe ent.re Haves: [lsi, puede escribirse

A = {Alejandro, Simeon, Miguel, CaLalina},

B = {i. 2. 3, 4, 5} 0 C =- {+. -, X t r]

52

(eo CD ulLim9 case, los . slguos de Ias operacrones rapresentan Ias operacio I H~S mistuus) 1).

:SIn embargo, este modo de deirnil' uu coujunto resulta muy in.c-amodo 51 el conj un to, tienemucho.s' elementos, y no puede seevtr en absolute I!ar8 9.~finir, conjuntos infinitos (ya que no. pcdemos enumerar una: eantidad infinita de elementos do un coujunto), Ademas, Iacluso en. los easos en los que as Iactible y sencflla Ia definici6n explictta de un conjunto, ella difumina a veces Ia esencia misma del conjnnto considerado, las' razones que nos condueen '8, unir en un conjunto precisamente estes elementos y no otros.

Esta mucho mas difundiclo otto modo de definici6n de Ios conjurrtos, Ilamado implicit" 0. descriptiua, cnando sefialamOS una propiedad 'lUB caracteriza todos los elementos del corr[unto considerado: asi, puede hablarse del «conjunto de, 'todes los alumnos de t~ clase que estudian en sohrssaltentes (es posihle que sea preeisaraenta el conjunto A que figura m~s arriba), del econjunto de todos los nilmei'6s enteros % 'tales que 0 < z ~ 5. (este es precisamente el eonjnnto B) o del econjunto de todos los.' animales del parque zool6gico de Moscu». EI modo descriptivo de definicion de un conjunto es totalmente apltcabla a los conjuntos infinitos como e1 econjunto de todos los nllueros enteross 0 el «conjunto de todos los triangulo:s de area 1tj es mas, .segun hemos sefialado an terJ.ormente, los conjuntos infinitos pueden definirse solo aplicando el modo descriptdve.

El modo jmplicito (descriptjN0) de definicion de los conjuntos viueulaestos con las proposicione« quese estudlan en 18. Logica Matematiea. A saber, este modo de definicion de un conjunto consiste an que fijamos un conjunto de oh[eLos, que son los tinicoe que .nos interesan (por eiemplo, 01 conjunto de los alumnos de tu elase o'el coniunto de los numeros enteros) y snunctamos despues una proposici6n que cumplen todos Ios elementos del eonjunto eons,iderado,y 8:610 estes elementos: si nos lnteresan solo los conjurrtos de alum nos de tu clase, estas proposicionas pueden ser; eestudia en aohresallentes, ses ajedreeistas, «es,ta. sentado en la pri.mera lU8.», «so llama Andres», etc, El conjunto A de tod.OS' los elementos del conjunto universe 1 (conjunto. de los alumnos, conjunto de los mimeros, stc.) que cnmplen, Iapropiedad

1) Vease tlUnbien el ~j&roicio 6a de Ia pig. 50.

53

que' HS al eontenido .de La proposfc.i6nilud-a. a,se dsnomina conjunto de verdad .d-e Ia proposicion dada fveasepo'[ ejemplo

1 t··· 0,£)1) - " .

.. 11 19; ,Vi. "

De esta forma, .hemoa estahleeido una «~ollexi6(J ,bilat'erllb entre los conjuntoa y las. proposlclones: cada conjunto se

{@.6 DO ~ ~OJjI/) ~ A{D. ~,8{.6 .~ !J.

8- ~o ei6Pm$n!o,~ urn quarJrllalaro" b- ·oeiamantD 6 tim tJf~71gu/o~ FIG. U

deseribe par UJ1~ pr.oposici6n (esi!l pr:npo'Sici6n puede.eonsistir incluso en la simple enumeracion de los .elemeatos del eonjunto: «~$ Alejandro, Simeon, MigUel 0 Catalina'!,)) y a cad-a proposicilm leeorresponde urideterminado 'ctmjunto de verdad de esb pzoposiclen, Ademii's, lIs,Ta eualquisr conjnnto de proposic;ionEis, -inclnso de proposiclones refcerentes a objetos 'heterogeneos- se pusde indicarsiempre el eonjunto universe 1 que Ies corresponde l' que com prende todos 108 objt:rtos de los quo tratart Iasproposiciones.consideradas. Sin .embargo -y estoes de suma imp_or~an.ciil- entenderemos pot pri:Jposic;i.6n solo una: afttm(lcft5n de lat.u,al podem.os 'decir 'st esverdacfera 0 fa.Utt (respectc-a unelementodeterm in-ado de J ccnjunte untverso considorado), De esta forma! SQn proposieiones las frases «tJ:ene dos cabezas y dleclseiabrasoss 0 «2 x3 =6» (Ia ssgunda ae estas frases no depends stquiera decomo se escoja el conjunto universe J), mientras que III cunstgna «}ViVM; 131 Primero de.MayoI» 0 lain.torjecci6nll.jAbI.» DO represerrtan, por SJlPUestQ. preposiciones,

POl' cuanto las proposlciones noa jnteresan (inicamente desds .el punta de vista de los cQujun"tos que describsn, no

1) Las proPQsicioue~ sera!! slempre designluhls p(ir '.Ietrll.e minusr.ulas del uUlI.beto latin/) Initmttas que loa conj,!JnL<H! (ie v~rdad que Ies cor:respondao ser9.f1, d~ign8.t,ios p.reIeIelltememe .por las mi.sM(J$ let.1'.as mayusculs9 del al£n.betQ latI1JO'.

5~· .1

liaremos difereIrc.fa y eonsirleraremos id61ltiCas. dO~l Jit"opbSi.ciones (LYV a: Jas;qno eorrespondo un Inism~1 conjunto ;de vordad.. 51 ,{los prtiposici011OS a y b' (pol'ejemJ)lo,«\llstudic~ I)I! s.o·pvesaJi,CIl!tC» y- \!tienO' s610 1IoJO's sobl'e.sali(mte$» oeol TAumcro x\lls Impar» Y (tol numero x. dlvidldo por 2 da1 como restoa) .son iguales, escribiremos

(/,= h.

fJabr~q ue C(HISiderar 'igllales entonces tuda:'1 la~pt(),po:;j~ cionos idihtticattlente verdadera~ (0. carenies de e:olJM.nido) , 0 sea, laR proj)osiciotle~ qnesoaveedaderas stempre, indaperidien.tomerrta det eJemcntodel conjunto I que se considere; asi, .son .iddnticamonte verdadereslas.proposielouesez .X .3 = 6», «el alumnode tu clase es un V8l"()!l 0 una hemhrae, ela estaruua del alumno no pa~aoe3fllcLl'mil}), etc. D(' .. ;.igilaremo~ torla:a La,s propostctonas iden ticamente vsrdadoraspor la letre: t, Tamhiellcollsideral'emos iguales todas las. j)l'oposiclones idinlfcttmen:te talsas (0 contmditloria.s) que no tieHe:n nUlI<:I' Iugar, .0 sea, las proposictones c,uy_o conjunio do; verdad es vacin, Como eje,mplQs ;do talGS pr()'posi.cjon~g;q~le desi'gllal'c~ ruospor la letca:Q,pue'den servir las siguientes:(l2 X 2 = 6», lIel alumna de tu clase.sabe volar», ({SU estatura pasa de los -4 metros», eel, mimero es mayor qoe $ y manor q,ue2"&.

La.relacicnexfstente entre Ios conjuntos y las, propostoiones permita aefilLir pst'S Iaa peoposieiones unas eperaeloues a'l~cbraicas (lspccHieas sim 11b.1~4ilS' 11 las introdunidns- anteriormente para eI algebru de Ios.conjuntes. A saber, denomlnarernos suma dedos~propoSki(}nes. a 'g b la proposict.6n nty.(Jco,nJun~ to de uerdad (uli.ucide can la: eum« del conJunto de 'vefCdaa . .<4 de lq. prQposici6n a yt)elcanjunto.de verdad 8 ae la proposicf6n b; deeignaromos esta pToposic.io'rl per cll:lho.bolo it + bl). Perc sabido es q"UO In suma, de dos eonjuotoses scnclll amente la ,u~i6u de todos los elementos pedenecientes a. ambos COTl[nntos; por eso, la suma de las proposiciones a y b es Ja pl'Q'posici6n «a 0 1))).. donde Ia eonjnncibll:(!o» significa. que os v)3rdadel'<l, hlproposieiOnil. 0 la propo:sjci'6n b "0 ])j.ena.Il1l)as u Ia v~z. 'Por :lljertrplo" si la propeslcion a. reza «esaficionado al ajoan91,» y on tn clas~ u' e,~t? propcsicj6n lecorresponrleol

t) ~in Ii' JJogien. Ma lertuiHtlil .1 n :>11 lOll' rlo d CIS prcpoalc iOrl(~S <'I, Y II IIU ote deJlOmirl(lros9 dl:syr.tfl£'f6n' do Iaa m i Slt:\ II A 'Y reprcsentrii'~a: per Elistinlioio a V b (c{lmpal'a con, la, de.9ignacl6h A U E de 111. surna de 109 conjuntcs A y B).

5.~

(lOlljql)tode verdad

A = {Alq]!,lndl'o. Sim.e6n, ¥.igllcl, .f\ndrc-s. Ga ta.1i ua, Alejandra, Elena} mientras que Ia proposlctou b reza ees atitiibDftd"o a] juego

de las dam~s»,.y tiene el ceniunto de verdad .

B .'7'" {AlelandrQ, Miguel, Pedro .• Igor, Catalina, LiJ.Z}. entonces a + b es Is: propesicton ees afIcionac1.o ala:jadrez Q al juego de las dumas!) y a esta proposicien lecorresponde

01 cnnjunto de. vefd,ad' _

:.A + B= {Alejandro Simson, l\-1ignel,. An:dres, Pedro,

Igor, Catalln», Alejandra, E.hn1a, Luz] ..

Si el cOlljHn:~O nniverso as el conjunto do las Iig.uras rC_QI.'esentadas OJ}. la lig,.Z4 y 1M proposicicnes c l' .d ·signilka.n

c-"oelemepto a ~dondo" d-"o e/em"nlo ~ mlado#

cv.d ~"oelBme7J!o 6 ff#d'ondo aVra/ado· FIG,25

co{@®

._",...._.

C.II cI ·0 ej(#7)rmto Ii lfJ{ionao :E mllio M

da fjgura as rsdonda» y ,~la fig-lira esta sombreadM:,ontoocli$ 18. P:t'opcoslci6n c + a.reza,da. figllr8,os rsdouda oestasombrea-

da» (fi_g e , 25). .,

De UJ,1 modo 8IJalogo, deaomtnaremos producto ab de ,las propo_s~ci'ones a 11 b con los clmju.n'tos de uerdad. A y B a La propostcf6n cuyo'co.itjunto de verd(l-d cQindae con el prodacto A.B d~ Ins I:.t-I'fijunfios Ay Bl) .. Pern (II prorhtct.o do nos conjuntos A

l) Gn [& LQgi CIl I'd lI.~m6.LlOil .el producto de las proposiOiollflsa y I, So denourinn cnu r.l'I:J.l':llellc'i'tl. Mn,i.u_llc{q.n tIo I.RS, mismas ,j sa designapeeel simhelu « {\ b (com:'l'iH'a. con la designaCion tl n B dal. pi'o~u_c.to de Ios ounjuntas Ay B),

56

y- h es b~ intcrsf'-c-cion, 0 Ia parte, eomun de los:rilism,os". que c,o~l.t:Ic-nclos: clem{;!I1:tos que pertenecen a ambos c_onjuntos A y [11' ysolnestos 'e,lementos; p(}l' eso, e1 producto a.b de las proposieiones a y b as 'a ]lfo.posicion«a: 'y b», douds :la' conJllnci6n«y» signlfica, como slempre, quo SOil vertladoras 8mb_a~ preposicicnes; Ia proposioi6n a y laproposici6n b', Por '(>.je~plo, st las proposle iones .~ 'Y b refel'en,tes-a los alum ~ nosdu tu clasat.lenen el mismo 8ignI1'fcado que antes" entonces Ia propostclon ab·reza «es aficionado al ajedrew y'o.::;a1icionado a] jl1ego de- las damass ya osta proposiclorr Ie corresponds ~l

conjunto de verdad .

A B = {Aleja;nd l'O~, Mig.IJeJ., Caia lin a}.

SIlas proposicienes C y il, refe:rentes al coniunto de figura's representadas en 1 a fig. 24, slgnifiean ela Iig_ura es redendae y «ll!, figura es-!-6 sombeoadaa, entonces Ia propo!l;ic.i6n cd sigonlfica«la figur:a es redon da ycsta somlJrtllHl3}) (fig. 25).

La relac ion e-:x is I.e n to en tre los con j unto's y- las pecposicio- 111.15 pBt'mite traspasar a las proposiciones todas 'las reglas del a]gebr:~ d:e los eoniuntes:

a + b. = b +a, ab = ba,;

leYtl.1l c;mmmlo.UvlIl! dol filgeb~a d'Q las p.roposiciOIlClS

(4. + ~) + c = a + (b -I- c), (ab)c =0. (be);

leyes aaoeietlvas dol algebrn de 1M ]lto}losic.iomls

((L,+ b) c = tu: + be, q"b + I: ~ (a + ,c) (b + c);

reyes d.istributi.vil.s del a:l@hi'~ de las lli'{lI)'Ostciunos

a + a = a., aa. =i a.

leyes [dempoten.tes dellilgebra de .las propoeidones AdemaSl. ,Si t es una 'propos.ici6n ideo'ticamente verdadeca yo' os unapropoei ci 6n 1d6n t tea mente fa ISI}.,c,ntoncessiem.pl'e (0 .soa, para cualquier pro jJUSiciUa tt)

a. + 0 = fl;j ai= a; a + i = i, oo. = a.

Por ejemplo, ln proposiei6n«est;udfa. en sobresalieute otlenc dos cshoaas» escquivaleatee la 'pl'Op'Qs-t.cion eestudia.en sobresaliente», micutras: que ]8 propesicton «e_s aficionado a 18

57

natacion y ttene menos de 200 alios» as equfvalanta a 10 propGsici6n:tes aficionado a Ia nataci6n»1).

'Para oompreil,der c6IPo las le'YI!8. del algepra de las propoeictones Be dedueen de,la8 reyes del Algebra de 108 eoIijuntos, coneidaremoa, por .ejamplo, la segUJIda leg (itstrlbuUl.la. Fu:esto que el conJunto de verde.d de Ie. sume.. de dos proposi.ci.on9S .repr(!sent~ 14 BUrna d.e los eoniuntos de verdad de sstas proposleiones y el confunto de verdad del prod\lc~o de proposie.ion&s 8S el prodocto de 8US con juntos de verdad, results que e1 oo.njunt.o de verdad de la proTlosici6.n compleja ab + c (.0 sea, dela proposiciOn «tiane ll.!gar «4 11 bt 0 ct) es .4B + C. donde A, Bye 'son los conll.!llto8 de. yerdad~e las respeeUvQs Pl!OpOsiciones 4, b y c. Aniilogarnente. el4:onjlinto de verdad de Is proposioi611: eompleja (a + c) (b + c)ea el coojun-to (A t. C) (8 + C). Pero, en vil'tud de la segunda "ley di8tribu~iv8 del algebra de 1011

conluntce, .-

AS + C = (.4 + C) (B + C) •

.Por consiguionte. JOB conjuntos do·vGrdad .de~ 1118- proposicioJ;l9S ,ab '"I- c y' (a+ i)(b + "1 c,oinciden; pera: aJ!,to ,signifks prilcissmente QU8:'lJll1 proposicioneS a~ + cy (a + c) (b + c) son ignales. (V-ease tambieh Is pag. is dondehemos seiialsdo_ ([US In's prop9si~ionell «es, aficionado ul aje(lrez 'Y aljuego de las damas 0 ala nsttlC:iomt y .• es aficionado 01 ajedrez 0 a Is natsci6n y tamb~en os aficionlld~ al juego do Las . da~asp a La nataci6m tiGnan 01 mlsmo sentido, 0 ilea,

ab + c = (a + c) (6 + ,:),

donde 'las. proposieiones a. h y o significaD, rl!8pectivamente, .esafiei.onado al ajedrez~. «00 afibiooado 8."1 jU(lgo de las damsSl y «os liflcionado alII,' nataci6m.)

Aparte de las operaciones de adici6n y de mult.iplicacion de los conjuntos, tambien se puede traspasar al, algebra da.Ias propostctones Ia o.pe:rnciOn(!l'ayal'l. En este easo debe' entenderse por -ii la proposict6n .cuyo conjunto-de verdad es el'COl1jl).nto A, 'donde A es el contunto de verdad de la proPQstcion a. En otras palabras, deban cumpltr la condici6n ii aquellos elementos delconjunto universe I que no figuran en el conmnto A,

1) Ropreseul.omos tumbi,:rl las layea enumeradaa mas arriba en. la Iorma que aueleo 1l111lt_\loer en l05 textos de Logica Matomati~u.:

tI. V b = b V a, II " b= b A a;

(a V b) V c = II V (b V'"), (4 A b) A I: = a A (b A c;);

(a V b) 1\ e = (a 1\ c) V (b A (.'), (a A 0) V t: = (a V c) 1\ (b V c);

a. V ~ :=:- 11, a f\ 0._ -- Ilj

Il V a = II, Ci {\ i. = a_;

4 V i = I, a 1\ () = O~

,18

o sea, los elementos que _l1O ~llmp1~n Ia Gon(!icion a", Y .''1610 estes el~ml'utos, POl' ojemplo, ai laproposiei()1l d reza «liens

notas insatislael.crjas», cntonces la proposleju,rl a~iglliIkR ~II() ticne uotas ulsntIsfJ).ctorias» (>:!t'ionc huonas notaR en tapas las nsignaturas»); si £>1 conjunto universo I eonsta dl) las

iig.urus raprosontadas en fa fig. ~H y In Ijl'op_(jsi~i6n b re1.'a ela.Iigura os tdanguIIlI'», ontonces Iaproposicion b significa ela Iignra n9 es triangular» (fig. 26). Eli. generalvla _jlr(iposil;:i6n a Lielle_tll~ent_ido chHmo a)}; pOI' eso en ol rilgehca _de. hi:':! pi'OPOB ici ones' la, operaciou eraya» se donomlna formaoiun de Ill, nogaci6n 0 simplemente ncgacicn,

Enuineromo$ ahora las leyos del ,algo-bra de las prop(Js.(cio~ uos.relacionudus eOIl In oporaci6n do 1a negaclon:

(L =·a; a+u-~_i Y (la-O;

....

,(),= t y j.--=o;

a +5 .;aJ; y aiJ= a + h.

Ell alecto Ia iliigacioll de una proposicfen identicaruente Ialsa (licit' oj~m pln, «2 X -2 no as igualli 5. 0. «este _ alumu 0 i/O tilm'e dos cabezass) slompre serafina pl'oPQsiei,on irl,6n\icamonte vcrdadora. mtentrns QI1_c In negaci6n de- una pro;posielon M6n I icanren t:~ verd adera (;«e!"tc' alumno n{l tione meuos de 120 aiius!») siom pre :led:' iilclI.iicll mente lalsa. 1\1 III bi,\iL {,8 r'adlcotiJjlnHHlI' las dem:is Iuyes (jhazlol)j HS verdad, que esta~ DO. roquieren una cnmprobaoiou especial ya que se

59

ded ucen d.o Ias leyos correspond i un Los d ~\l Algcb I'll d u los conjun LO$l );"

ElE:Re rc IXJS

t. etta trj1! ejemplos.. d·Q propoaleionea idelltlcamef)te vetdlldora,$

y UIiI,S ejempl'os !Ie :proJ)'osi:cio-fJe~ iden~ie'ilmeri;te :f8Isii~. . .

2,Sopollgamoilque II! proposicii6h a.. significlI,:

8)~2 X 2 = 4'»; -

b) «oa Var6D~;

Ii) 4eT eJefan t,8 as. un in!!e~to~,; ~) fsabe volan.

,~Qu6 significado UenD o.n todos estos casQs 10 Jlroposlc'ion ail l,TIs lderiticamente verdadara? lEs. identicamon~e {aha}

3'. SU,pongllmosg:Ufl 1a juoposioi6n IIB!gni.flcn .eaaIiCions!lo al ajed,roz1!, mientras. q'ue Is pt(lposioi6n b sig'nHictl (ca' ufid.(JIlatlu 1.1.1 jueg'o ds las dllmaa$. t,Que sIgnificado ,tienen las Jlto'posioiones:

a) a.+lii b) ab,; c) a:+b; d) a. ... (ii; .Ill d+k;

r)ab;g) ii"b: hj ';i. b?:

4:; SU. ,p\,'ngs. mo, S 'ij .. UB .1a. Jl.t~po.sicion .a. 'Sign.Hi .. I:l.ll .. eel .il:himnO esLilihll Imsobresailell.tb, Ia prOpO,BHnO,p. b resa ··~·eI alumna es merenos y Ia

propo~iC[6n C ,aIihna f-el \llumpQ cs aficlonadt» a Iii. Ita~aci61U~, t,Qui! 6igii,ilicaaU" 1;ic,nen 1M propo~jcion:~: .

a) (a + b) a y ac + be;

b) ab + e y (a + cJ (b + c)?

5., SllJ~9!lgam'o~r[ue lai! propo9icionc!la y b ~ignmcau: ,«el num~r(l entaro POSItIVO as -PaD y ,t:td nUmero entero P081tiVO: es 'prImo •• ~Qu6

sigliifl.cad.o· tien8l'1 [as proposlclonee: '

a) ab; bJ 4"+11; e) 4"b; d) ub; e) ;i+'ff?

I.Qo.e representan los co:niunto9: As, verda.d de .:rult~s pru.po_siG_~o~ei!? 6. suyongamo9 que laspropostclones lJ y b.slgmflCIiD·, rsspedlvll. mente, eelalumno es mlemhro del eirculo materniitieo., 'Y «el ohlmHO par,tilii])1t 'OV QI ecros. lQue significado tie(len 18.9 proposlcionee

0) a+b y ;"b;

tI) ali 'I u+"'h?

l} Perejemplo, puesto qpo los \~9ujuntos tie verdad rlolllsprQ!losh~innes'tl + hya-li son if;.'1ls.lce. nA +8 y;r8,reSpi~ctivainll'lILo, (Jande II y fJ :son lu! crmJul1to$ de vartil'l.d rio Ins pro'puskio-

Des ay b, Y puestoquc A + B "" Xli" erlwnt,es ue til definici6u do hi igull.Idi:l.d (coincldenciel de proposicrones resulta qU{l 11 -+- b =- ;;b,

60

§ 5.

<i.LEYES DEI ... PENSAMJEN'l'O)

Y HEGLAS

DE LA DEDUCG10N

_ ,1\II.o1'a pOdcn1(ls responder a Iapregunta d~ pill' qne George IJQole Ilio 01 titlll{) dcdilyestigaciBfi de las' leyes del pensa~ miento» a ::;11 obra -en Ia q_Uedue'cO.nstI:uida el <ililgebra extraoOT'dioarial} eonsideradaen el folleto. prcsen-te. En &1ooto. cl algebra. de laapr~pogicloue5' 'tiene una _relaci6u directa con Ins reyes poe las cualss se rfge el hombre encl procoso. de :PMsainiento, ya que Iasuma i el produoto de proposiclones, 'definidoll antefiQtment!'l.. nosignJliQan otra cosa sino las cdpulas Iqgiaas «0.» (i«Y»" la QPCTa.ci6n (~Taya» tiene e1 sontido de 1a neg·aci6n. miantras que las Ieyes del algebra dEi Ias prooosiciones dascnban las propiedades princi.palns de estas opera.dones 16gic.as por las eUB.les. se rigen todae las :personas. Claro ead que mUJ pocas personas in tsrprstan est as propledades ~n tanto q ue leyes 1ll a.temutiicas del p~nsamiento._ pero Jncluso los nifios pequefios las emplean con soltura, En efecto,. nadte duda, por supuesto, de que decir scerre rapido y salta 'alto» 'c8_10 .misrenque .decili '«saTta. alto y_ eorre }apido»-; on otra§ palabras, t_odoss_aben('a:up_qul,:l no. todos son coascientes 4ee:l16. que Ins PI:oposicionj3s(lb¥ ba tlenen' el mismo sentidb, son <dg.ual€s):\.

Ahera podemos expli-car las 1'"8.Z0ucsqtte han motivsdo en nuestros: dias 'tan aerecentado interes' bacia los estudios de GOQr.ge BQ.ole, ha'ci;!f Ia .i:nterpret8cio.ri mate;m6tica de las leses de la 16gic8_en forma de' e._specifieas ~regla:s dt'.J ~lgobra»'. Mientras el campo del pensamiento ha const[tuido una pre .. rrogativa absoluta del racioeinio humane, podiamos doseutendcrnos fie la descripclon Iormalisada de Ias de,y:es del pensa.mjento»:pUG~ las personas siempre se ban regido por sstas J(!.yC8 sindill'se euouta siqlli:era JI~.L contonlde {ie Ias mismas. Pero en los (lltimos decenlos Ia sitnacion ha cambiado :vcrtiginos.amcnte y hoy trntamos de oncomeudar a nuastl'OS scofaberadores (!leetr6n icoss, las ID A !11:ll_0 as COil) putadora' eJecLconicas, Iunciones que' Wiles cumplian solo serss conss

eientss: dlrecoien de Ia produccion y elaboracldn de horartos del transporte, solucion de problemas mateniaticos y traduccion de Hbros, plantllcaclou de la economla y Inisqueda de ·datos qua: nos interesan, '8D la vasta hililiogralia cientjfica; .hoy dia lsi maquinas electroniC&! [uegan Incluso al ajedrez. Pero, para eensefiarstodoesto a las-maquinas, nos hemos vlsto ohltgados, na:turaln:umte., a enuncfar eon elaridad las «reglas del [uego», las eleyes del pensamientos, que deben seguir las eintaligentes» maqufnas oreadas por al hombre: mlentras eI hombre sigue instintjvamenw Iasreglas de la logic.a, para Ia maquina as practso formularlas con clandad y, ademas, formularlas en el Unico <!idioms!} que solo pusde scompreader. 1a maquina matsmjitica, en e1 idioms de las matemat10a8.1),

Pero volvamos a las deyes del pensamlantos. Las de .mayor interes son Ias.relaoionadas con 18 operaci6n logiea de Ia negacidn; muchas de estas tienen nombre especial en la Logica. Por ejemplo, 18 regla

a+a=i

exprasa la Hamada ley del tercer e:ccluido: tiena Ingar la proposicion a 0 riana Ingar la proposicion a, sin que puada darseun tercer caso, y por eso as stem pre verdadera la proposicion a + ii. 0 sea, «a 0 no IIi. Asi. ann sin saber nada sohre e~ ealumno de mayor estatura de la septima clasa de la escuela N~ 12 de Laningrados , podemos afirmar que este alumno Ilestudia en sobresaliente 0 no estudie en sobrosallente», que «es aficionado al ajedrez 0 que no es aficionado al ajedrau. La regIa

(1a=o

neva e1 nombre de ley de .M con.tradtccipnj esta ley establece que las: proposiciones a y ii, 0 sea,a y «no a:&, jamas puoden tener: lugar simultsneamente, as dectr, que el producto de estas propesiciones essiempre false . Pot ejemplo, S1 un alumDO eatudia en sobresaltente, 1a proposieion «no estudia en.

I) Empero, DO quisi"(iramo5 qtle ellec.tor Sllco,.ra de. aqui la conelusi6n de que eI ~lgebra elemental de las proposicio· Des, 0. la que esta exclullivaO).eDt~ .coDsagrado Ogle follato. reprsSButa ya el aparato que permits eo.ns~ruir m6.quina.s computadoras com piejas 0 plimtear los problemas en fonna tal que 10. &oluci6n. de ]os'mi.8mus pueda ser ya lcoIlJiad:a. a laB mliquinas ell!()1.r{mie.as.

62

sobresalien te» ~-plicatla [1 (lsto a lumno aer.i, per 81:1 pUeS~(}i llilsu isi el Tinn'icro (0I1tC1'O)' tt as 1)UI', potu til rosulta Ia lsa 1 a Pl'oposJciQ[l {j~s im·pal'». 'La regia

a-a

ae dcn6mina,leyd~ la negactofl.. doble; cs.tabicce queIa negacion doble de una proposicierrequivale a lE\ pt:opos{ci6n intcial. Ast, 18 negaci6n de Ia PTo'posicion ees par», rafat'aulo n_ un mimero ente.ro; es Ia proposici6n ees tmpar»; Ia neg,scion «as no lmpar» de esta tiltiinapl'0p'osici6n nos hace retemar a la ptoposlci'ou imcial sohre ~a parddad del mimero. De un modo analogo, Ia n~lI,ci6,n doble «no esun alunmo que no tlens buenas no!,p:S' de 14 proposicf6n aG61'Ca de que, el alumno bane bnenas DoL~ equivale a 18 Pl'OPQsicion inicin] «tie II 0 huenas notas».

No es menor In Importancia que tienen las r('.glas de Morgan

a+b =a"b y ab=a+b

para las -PfOpol:1ioi.one,s aunqua el anunctado verbal de las mlsmas es algo.mas cOlll.plc;jo (veaae a. oste proposito el ejerclcio 1 que viene a eontmuacle»). De In misma fot'ma. todas Is's dcmss regIa:",! del algebra de las prepcsiclones, como sou las Ie yes distribuUv8S

(a + b)c = at' + be y ab + c = (.a + c) (b +r) o las leyes ldempotentes

a+a=a yaa=a,

represenban daternrinadas ·«Jeyes dol pcnsamicntu», daterm cnadas reglas de La l6gka que rigen Ia obtenci6n de lllleW'is conclusiones do otcas quo ya seeonecen.

U.n Ingar peculiarocupaa las reglae referent.e.s s, h, rela.,. cion 16gica~_ Hasta elmomento no hemos considerado esia relad6il.; sin embargo Ia «conexion bHateri;l.l» entre. los,c~onJ un tos y las prepesictonea, quahemos eS~B blacfdo all tertcrmenta, permite traspasar sin dlHculta.d Ia l-ela.clOtl~ del algebra. de, los conjuntos (relation de inclusion) al campo del algebra de laa pro.posi_dnnes, A saber, escrihiremos

a··~ b

y diremos qua La ptoposici6n (J .: se deduce d« lao pJ'oposld6n b (0 qUtl a es un cerolazlo deu).siempra l[IIO elconjunio de verdad A de La priJposid6n a rompl'enda liltlmjUli-t1J de verda'll; B iii la. proposkifm·· hi 0 sea, siempre que

.It ~ 13.

Por ejem.plo, pnesto que 01 cQnjunto B de los alumnos de t~l. elsss gu.o estudian ensobresaHohto esta6ontenid'o obviamente enel c'onJunto.A de todos los alumnos quo ttenen buenas 111>tas, .resulta que laptoposipiQD .~:«el alumno de tu clase tiene buenas notas en todas las asigna.turas» os corclarto de 10 proposfcion b: «el alu . mno estudraen sobres;aliente». De un modo analogo, el COJljll0tO .

All = {fit 12, 18. . ..}

de los mimaros (enter()S posiHv.os) divisihles por G Mta contallhJ o ell fil conjunto

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

de los ilumeros pares; pOI:' esto, J8 proposi-cion.«el nU,mero as par)).resllltacorolario 'de-la proposicl()n eel mimero as divi~ihlo

par 6~~}. .. .

A menudo ~e denomina dearM:ol6n a la -comprobacten de que dospropoeietones a y b est an vtaculadas PO! 18: relaci6n a ~ bi en este caso Ia proposioi6n b s~ denomina 'hip6tesls . y 18 p:wpo:sici6.n a. que sededuee de esta bip6tesi"s,.se .denomtna tests. Con las deducciones nos: encontramos muy freeuentementean 1.3. ctencla y. en la vida CQ tidiana ;por l;l'JentpJo, tionen como regia caracter de deduoclon las demostraciones de teoremaa mateDH1'ticos: se- exlge demostrar que fa hi"potesis b delte.orema (p;Ol" ejemplo, ,«elangulo P del t'r:iaI1gu]O MNP es recto», fig; 27) implica 18. tesis a. «(c·Mp2 + NP"= MN'}.~.; en este cuso Ia f'olmula .a zso equivale al jeorema de Pitago~ ras). En las- ded'uooiones(poJ: ejem:plo,al demostrarios te,oce,.masjempleamos, sistematicamente (!'iiu darnescuenta (I veces

1) SiG ::l bj ra .. m:bien se .dice que 1" prop'ps.lci6u b. escondiciO.n s~nCiente para a lp'ara que e1 'a.lumuo· t61).8,(1 ,l)uenasootQ,'S 81t sodaa las aSlgnat!1.ra!es suliclente, por supue,sio, que estudie en soblesaUru,te). y ql1e.Ja proposicilin a as eend lei6n neeesarra para b (para queel aiunmo.:E!lltudie eo sobresallante as MC4.I(lr.to, p.or supueste, que

eoga buenas ·IH).tas en j.odss las asi"gllatursl1).

64

de ello) Ills' proptedudss prlnctpaies de Ia -relaci6n ::>t}:

J'=:; a,;

si a =:). b y b 3 a, eutonces a: = b; sI a ::J b y b 3 C, entonces a.3 c;

t :::. a y a::::> 0 cualquiera que 80D. a;

(t, + lJ :::t a ,Y a :» ab para cualesquiera a, y b; si u.':::::) b, entonces b => a.

Por ejemplo, sabemos que si las diagtJ1iales de un cuadrtlatero se cortan en el punto media de ambas (proposieion b),

M

FIG. 21

dicho cuadl'llatero es un paralewgramo (proposition. a):l); por- otro Iado, en 131 pacalelogramo l{)s angulas opuestos son tguales (prOlljlsici6n c). De este modo, tanemos

a 3 bye::::> lL.j

[lor €iBO

c :» b

o en otras palabras: si las diagollales de un· cuadrtlalero, se cortan en el punta medio de ambos, sus angulos opuestos son iguales:

Detengamonos Iiualmente en el empleo de 10. regla (lsi a::> b, enionces b'=> a&. Esta .regla as 10. base de Ias.asi Ilama-

I) ~ll tagla ut II :::I b y b => a, 'e(l,/.Qnces u = bt se enuncia 11, veces asl: 'sl b es oondiei6n D'lCnSQriQ y suftelente para. a, las propoelciones tl y Ii son equivalents! (desda nuestro lJUnto de vista, iguales 0 id~Dlilll\!!).

l) Ell este caso tenemos incluso a.:=l b y b':::l a, o sea, a = 1>.

G5

Ias demostraciones pOl' el absurdo. Supongamos que debemos demostrar quo tiene Iugar la relac161l a ::;, b: de Ja proposicion b se deduce Ia proPQsici6n a. Frecuentemente resulta mas facil demostrar que si a no time Iugae, tampoeo puede cumplirse b, 0 sea, que de In propostcton «no ail (proposicion a)

se deduce Ia proposlclon «no b» (proposicion bj.

He aqui un ejemplo de este modo derazonar: demostremes que si el 1iumero (ent~ro) 'It maqor que 3 es prima (proposicion b), enumces n es de la forum 6k ± 1 (donde k es itnentero), ° sen, que' aJ d,tvidjt n 11_ot ,6 S6 obtieue el .resto +1 0 el resto ..,....1 (proposici6n a). Es hastante difieil, demostrarlo di.r.e-ctameDte, sin basarse en.Ia regla <isi a :» b, entonces !i =.l a»; tratemos, por e80, de recnrrir-a In demostracion POI' e1 absurdo. SU:POllgamos que tiene Ingar Ia PJ'oposic~6n ii; 0 sea, que ~I nu_tner;o n (entero y mayor que ~) noes de Ia forma 6k± 1. Aldlvidir por 6 cualqnier ntimsro sntsro n se obtiene 0 hian el resto 0 (en este caso el numero n es divisible por 6), 0 bien e1 resto 1. o bien el resto 2, 0 bien el testa 3, 0 bien e1 resto 4, o bien 01 resto 5 (a el resto ~·1 que viene a ser 10 mlsmc): por eso, la hipotesis Ii signiftca que al dillidir el.numero n por 6 se ob~iene o bien el resio 0 (0 SEl8, e1 .ntimero os divisible po£ 6). 0 bien el resto 2, 0 bien el resta 8, 0 bien et resto 4. Pero un n6mero divisihle 'por 6 jamas puede ser prime: si al dtvidir un numere entero n > 3 pot 6 se obtiene 2 04 como resto, e1 numero es pat Y" par consiguiente, no puede ser prime: 81 al dividir n por6se ohtiene 3 como .resto, el mimero es divisible pol' 3 y tampoco puede ser prime, Es deck, do a se deduce b (simh6- licamente b ::;, a); de aqui se desprendo praeisamente que

a=.lb

que es 10 que qneriamos demostrar+).

EJ.ERCICIOS

1. EnUlloia: yerbalma~te las reglaa de hlorgan II + b = ab y ab = a + .b del algebra de las proposioiulJee .

. ).) Mas preclao es I'll razonamiento s:j~ent~: da Ia re1aci6n demostrada b::l Q. se deduce quo (til::;' iii) ~ a -:::.bi pero. como en. virtud de Is ley de 1a negacioo doble ;; = .. y b = b, tenemee a::J b.

66

Z; Gtta un eJ!llllploq-u.E? ilus_I"l'_c li) l~ 1~,y del te:n:ero e,xdll_ido; h)' lao ley de lawnf.r9_dic-d6n-.

oj la le,y de Ia negaci.6.u: doble, ,_

:8~ Prop:6n UlL ejaul£lo para UU9tr?r- e"uta una de l~_s }lfovle(lade"

do 10, relaoion ~, (re1ac16n do 80cuSnew,) de las llrOpOl!!lCiolll's enurae-

radss {In ,la :pag. 64., _

4~ Hectwrna li.1g(in ,elcmplo que tu conoseas de la demostl'.'1d6n )lor et ahsurdo '/' escHbelo en ,forma simb6Uca.

5'. Sila a,:::':>b. Si,f!\,pUfka 1,," suma, a + b di! .las pcoposiclcnes rr ,y b ,>, ,,1 IlfO,IUM<l ab ,de .estas _proposiCio!:ll'S.

§ 6. PROPOSIONES

Y CIRCUll'OS DB GONTACTOS

Para termil)ar esl,e r(lllctuh~dic,a~emos' uoejeruplo ma:~ d,e un' atg§prn de, Boole 'quepos-ibtem:e,nt-O ,to llar{'Z(;'{j bastante I !le~W)Fl;tdo'. CoilsiderilremoswnHl elementos de nuestra iifg-ebratudos los- elrcultos.

,d_6 eontactos poslblcs, es dcctr, '(IS cirrAu{,,,.,. l'icctrj~tl.~ provistos de una ,seNe 0e lhtel'rup rores tie ccutaeto. Las sl:{;c~I,lHe5at~lai1Asdc- Ia 1 (..iorCl) ito, sumo] a n tenL l'cpresentado en III fig. 28, I as deslgnarernos ,om ·..Ie\:ra latina. n_tayuselila;- cstas saran pre9isnmentc -108 elementos ij'(iJ .Mgehl'a.' e.sJll~cHica ~Qn5iderada .

. 'POl: uUilnf.o+a.{i;nica nlisiiSl'I de una ~t;_jbl1 de uu Cit:eUl:tO (·16c!rxco (ofjsJsteen conduclr la cOi'rionLe olectrica, .no haremos dire-rcncin y consideearcmos ~iguale--B~ dOB secc:ioncs ili:entkas 'en ,e.st~ gS_P ect 6" !l_ SO~I. ,UI)$ HKldoHCS (!.UQ conuenen los .misrn'es ;in~~_rrupt_()re5Y;: :q'ue ''SIIDUI ~al1eani()tlt.c oonduecn 0 no eonduce« 111 corrlente. cuanrlo la ]loSic.io II t~r(Jrro.do», {lahlc:rlo~) de todos los lnterruptOl'ElS as la ansma. ,A(l"m{L,~, t\(momiuf\r,c,mosl sumo dl +/if de d()s ,~eC()j!H1C'S .4 ~. ill

'67

de un circulto elresultado de su ae-oplamlento en para/do y prodlleto L.,f-!!lJ, el resull~do de su Momplaml6ritCl en serte (viifls(' l!l fig. 2.9, a y b. donde Ins seccionos .. -II:. y :E cont.lenen un eontaelc carla una). EsHi

D)

b)

PIG. 2&

daroqul' landtcton 'f In multipJ icaci6n de eecctones d:o 1111 clrcuito elool-l'ieo defijlidas de esta forma, resultan comniJlativM

dl + .'.I!l = &1 + .:4. ,c1/:fJ = .'11,,,(,

y asoelatlvas

(dt -I- '$) +r = A + (.9) + '6') (.,f~q}) '(t,= d{ O.E'f,)

(~ d + .1J + ~). (=,;.1$~)

(vease, til fig, 3Q, a y hi Oil La (mal. est6 representada 11\ «snrna tripleD dl + ,~. + I(t' ~'el producro triple ~,fL1J<jj de tros contarl'os). Tamhien veri,fican Ias li>~'es id(,lUl'otcntes!;

.. 4 -I- A = .,f., • .fI-.-i1:'= d/.

ya que Ia consxton en serte 0. en paralelo de dos centactos idelltkos (0 sea, slmultaneamente eerrados 0. abtertoa ambos) UIl, el mismo resulI,!\do que un coutacto lmlctl. 'Mas diflc,jl es comprobar que eil nuestra «'l\lg(1)ra de los ctrcuitosdo contactuss so cumplen amlias Ieyes dist.rrbuti\tas:

(,.,f + :1J) '& = .-ire + J9'(': y ,fl'.:iJ + rg = (d + 'B) (.'11 + ~); sin embargo, _t~mhifn tieneil!ugur .est us !oyea como puedo verse Qe las Ugs.3t Y 92 (es f..\C-il comprobar que el cireuito representado 011 III fig-. ~1"a es ~jgual», en llu~sLr,o sentido, al eircuito do 18 .Hg. ,31, b 'J que eL <:,irC\l!to de Ia 1ig. ;32, OilS «igualt ajdrl:lliJo'deJa fig; 32 bJ.

~(lnve!lgamosl i.inalmcl1te, en deSi?.nal' 1'01' :J 01 (,;(:lll~do si6'_TlPTll (;cml!:!,o (soldadn; fig. 33, a) y par' (') el cORt.1ctosH:mpl'c ablcl'to (I'UPt.IIJ'11 dBI circ,lli~o; fig. 33, b). Es evidente entl1llCCS quo

.:1 + <:> = df- "Y ... 4:1 = .f.

(fig. 8.4) y q-ue

.:fI + :1 = t/ )' .;'f(C] = ('=)

(rig. 3,'1); de asta Iorma los ccntaetos :J y t1 desempcflan en JllIes~l'a_ illgebra de Boole al papel Oil los elementos «espeeinlese I y O.

68

QOI;l vongarnQ5. ademas, en. Indicae :ppn .:if: y _.A un perda contact-os tal que SI' lit' c()nltUill4 e$ta; cerrado, entQnc~s, ei co{Stacto# esla nBC~

~) C~

FIG. '0

(8)

Ib)

-Lye -{]{}.(8~)

c: c

(.i~) (bJ

1"1&. :Ii

eertamente abi'erto;e.s :fa.cil desdea! punto d-B vista tecnico reitliz,at semejantll; par de contactos (rig_ all). E~evldBntB que

69

!lsi como' que

.d'+.~"'" (J Y dl,A-:_fj

(fig. 57., a y b), 1\las c<llDplejo 0" deniostrar Ias regia! de, ~{()rgan:

.,.f + a! = .;- $ "y oA.f!J= ".4+ ~ ;

p,ero 'tam bib' ellas ttanen (ugar ,Q.I)U.l (v6ilse [a fig. as. a yb, donde as seceiones de etrculto .?t+ 9J y A + tIJ sedeterrninan, dig~mo3,~

(aJ

(b)

FIG. a3

{a)

FIG, ,3i

C:JA+I~I

(a/

~'- 0

--- _'AiJ;;'O

(b)

par La condicl6n de que si e oircuioo .~ + 9J eonduca Iaceertente, entonces 0] clrcuito .if + $,00 Ia conduce, y vfCever,ea).

La semejanz(lq-u& e~iste entre el «a:igebra de los cl reuit os de C~l[[ta6toS) -y et ~Mgebra :de laa proposlctones» es nj:uy valiosa en doe ~sp~tO,!I. E~-primer I,uKa:" pe:rmlte, simull\r poopo~iciOiil*! cortlp-ieja5 mediante ctrcutroa elect.ncos, GOilllldeJ.'emos, pOl' B]sm,plo, la ptopa-

.s:ici6n comp_leja -

d=abC+ab;;';,

70

____S-}~£l)._ n Ai-o

(8)

(b)

(6)

FW. '38

71

uOJlde a, bye ~~n. Ulla~ proposiclones «~bp.ples~, lJpfJ!)tras q.l!e Iii adlCIOli y. la multlphcaci6n de lasproposlc,lOlles S In operaqon ~rRYI» s\g~Wc~"n,com(tde costumbre; las copulas 16gicas «O~l\ «:Y~, y lfl, MgllCJ6u. Haga:moScotreJipQndGI' '8 las ',proposiciones aib Y c. los, contados

ABC-tABC""A(BC+sC)

FIG .• 39

dl, $ Y %';Ejll [al caso .nuestra p~oposidon eompleja (1 qUl'da.ni. represent;lldli ppr elcirtl,i'HO deja fig. 3Squ_EJ.eorr~spol).d_e .a.Ia c0ril.binacion.

2=L.,f.i~+L-4$~

de los c orit"(jCl os o:Ii-., <~~y_ 'i§. Para cOffilHpbat si laprop0sici6il d es verdadsra sierrde, dlgamos, verdaderas las proposlciones a y b Y {also.

Ia. proposlei6n C, lJa!itarlt cerrar 109 cemtlctos,.A Y ,g,j del circuuo :t5 y abrir e1 contacto <€ «(ig. 40): 51 el clrcuitu fl! conduce.In corriente, qulore dcclr que corresponde a una proposi.cJ6n .... srdadern f (0 sea ,8 un oircuito,j'q,Il.B conduce' Ia corrientB),dieho .de otto modo, I'll e.ste case la yroposici6Il d esverda'aeraj ell clltrlblQ" sf dadas ,~tns, condictoueae cirouito '$ no conduce Ia corrtente (0$ «lgunb al clrcntto (f)j, .llt pro-posicion d es ,.oquivaientc (In, estus cond lcionee. a. la

jwo:posir-l6n 0, on otras pabbrae, cs falsa.

La sogunda verrtaja, que S9' obtiene de, la semejansa exlstente e~[~re el' 61ge'b!R delos clrcuitcs ,de c_onta~los y el 4.1gebrll delas propoSIC-HInes, consiste :e-If que parmrte constnnr, )jaSfll4n'OSIl' en. las -reglas,

,72

de 10. L6gic3. ,eirc.u{tos de eontactos ,que satisfuceJl eondiciorres dadas de antemauo (y que pueden sarbastante complejas), Lo mostraremoe eon doe eje.mp] os"

, Ejempio (. B~ prects« COIn,truir ii'll Ctrcu~to ~?il:tr'co Pf;l'lJ tm dor:lIdfori'o con UII bomMlio eUctrlco ,slendo deseable tener dOt lnten'uptores: uno -I unto '0; la.pueria y 011'0 sobl'e la cabecera; et CtrQ de cualquier tnte~ rruplor" indep'ei,ldienUfnente d~ la. posicIon que rJCI).peel otro, - debe ae.~i~n,ecth_r el 'clrculto 51 ,ri,n~eriorni~nt, estaba, ¢"{m~ctad" Ii C,,,",eclarl'o, sl

es,taba: ilefC(mec/I,Hi,o. -

SoluciUn. Designemos, por .. .,f; y .:56 los dos corrtaetos corresflondiantes a los Illlerru_ptores; en tal case, el problema cot:l&iste; en construi[' una combinlll:':iOll ~ (e6rrespo.ndlenMI al c,lrcultoeMt;trico del dormitorlu) de. los contactos .of y dJ (asi eomo, postblement e, de df,' y ,~j tal que u.l cambiar ,el esiaiie decualguiera de, estes dos Gontactos ta"nib Ie t!lrn biillelestado de tokl.11 e'l c ircu ito ttt (es decir; II ue coavierta en dr~uitbabilfrto el clreutto que couduee In coriIimte, y lI.icev,ersl.l.). En otras palabrastlluestt:o _prob'lemaconsisteen Ithl1ar unacnnihilIaC10n c deunas proposicicnes a Y b tal que ale,ambiar la proposiclen verdadera a. porIa Ialsa, 0 v'ic_evl)fsa, cambfeel 'caracter (<<,\'erdade[o~, .il_r~lso») de toda Iii. PNPQsici6n e; Qtrtl,lanto: se tiefJ~te a 10, prpposiC"i6n b. :Esta con:iUci6n es. saiisfeeha por. Iapropoliici6h c ve(dild'erli s'iamMs proposictones a 'y f>,.SOIl verdalleras, Oil si ambas son falsas, y'falsa en los. t1,e!ll_as t,8S0S (en ,lQSqIl6 una-de las.peopesrcrones (l 9 b esverdadera y 18 -0:1 ttl es Ialsa). EI :Q~CllO de que en e~tadeS:i:tipcion nayarobs~niplea.GO Ia coi}jngaci(in«b»,- 5ugiore Ia ithm doe quees po_sible tepresental' La

D. ,:.,.4.

___.:__ B " AB+ jiB:

- ..... -Acio. -'7"·9'· ----<>""- -..,_._,;:~~

\_-

B

]ll'oposic_i6n C en i?rma de $uma de dos prop?siciones! una de laecuales'esverdadero_sl eon veWa.derae 4-' y b. mientrns que Ia .segunda as

verdadeta si sonver,daderMa y b (0 sea, si a y b eon _[a18as),. Fijando-nos ahora en taconjuglUli6'o uyJ, que figo:raen Ia descripc_i6il de los dos eumandos de Iasuma buectlds" negamos a I iii 9 onelusi 6n de que 09tOS -sumandos son

a./J y 4_b.

Oa asta {(Irma tenernos dafi,nlti"amellte t=ab+;;-b

73

y es fliell comprobar; enelecto, que eeta proposicion c saLjsInce Jas condfclones mas arriba enumeradas.

Vclviendo ahora de. las proposiciones (J 108 etrcunca de ccntsctoe, deducimos que 81 ctrcutto electtico 'tI que nus Iuterese viene exproeado por la f6rm:ul!l

~=.A:9J+4'$;

,esta clam clue no 6frectl· dtficultad la realization teollica de aemejante -clrcuito (Hg. 41).

Ejemplo 21). IIay gUt COllstruir un circutto electrtco para el mCHIdo de un elej)ado.ri suponemos, p(J.r:a slmp,lt{icar, que ei numero de plsos es igua'l a. tlo« •. El. circnUo debe contener do« contactos. que se mantpulan oprtmiendo botones instaiado« ,en fa eabtna del eleoador (balOn d.e des.;e(50) y el& el primer piso, junto a. to, puerta ad eleuador (bot6n de liom"da); los contactos adCciima1es estd!1. re~uciQnados con las plUr:ta~ del elevadoren III jirimerQ 11 sllguruio pisO$', con la puerta interior de la cabi~ll.. asi como eonel. ,p £10 del eU1.Vlldor ,&qreel cU4l tjeree preli6n. III pa,~a.I"1J que se snemmtra en la cabina. El circuit» el€ctrtco q,uepermtkmanelar e1 <Ur:scensoa) del eleuaikl', 4ebe coneetarse 8.610 st La cabina se eneuentra en el. s~gufufo ptso y 6', ademas, se oumpten. las condidQ/,e.8 sic,,-kn.tes:

1) e$ltin,'Cf~r:adasam.(}(ls ,puertas ad elerJador y l~ JiU6rta iIe Ia cabina,i e.rpasaje.ro se eneuenira en Jl eieiJador y oprtme et bQtQn de des", /'lSO' 0 '2) Ilst4.n ,cerra{fas ambos puertIU del el~vador (mienlras qu« 14 puerta de la eahina e8M cerrada 0 abterla); en la cab!na no hay nad40j !lila person.1l Oprlf7U! t)1.lll primu pilo el boton de lllirullda.

SOlncion. Designemcs los inteulIptQres do oontaeto que :regullln Ja couexi6nuel cireuito de Ia fQrm~sJguionte: ,/1 es e1 Interruptor que so cierra s610 si la eabina sa encuentra en 01 $'(!gundo piso; .'P) y .:f', .son los interrupt?res que ~e clerran cuando se ~ierran las Pl!er':

LaS. del elavador onel P:150 t Y e.n el Pll!(l 2; 9" cos un Interrupter analogo reJaeiouad9 con Ia Puerta de Ia Cabina; :Ji' es el intorruptor relaclonado con III piso de Ia cahina que so ciorra bajo Ia Jafluencta dol peso del Pasajero; $11 y $[ Bon lOB jJlterrUptores .relaoionados ceu 11,1 Hoi-un de Descerrso que saancuenira on la eahina del 9levador y el Hot{m de Llamada. quese encuentra en primer plso, [unto a la puarta ael elevador. S~~un Ill. condicifm dol problema, el Cil'cu.iLo buscado 'Gd para maneiar 'el DeBCBJ;lSO del elevador debe conectarso (conilucir Ill. corri8n~e1 5610 en ,a1 case de que:

1) 01 eoutacto .;r esta corrado, y el contacto .'1'1 osta cerrado, y el conl.ac~o .~: e5M cerrado, y el contacto .f'e.e8t6 cerrsdo, II 01 ccntacto 'ffi esl,n corrado, y ~I contacto flit! ,esla Cemi(~O

o

2) 01 contncto {f esta cerrado, U '01 contacto jill (lstli csrrarlo, y 01

I) Hemos 'torpado este ejemplo del IUno de lIf. A. TI0J19TIIOB, CHI'IIIUr, COIICTCIWB pa,!\110, 1958, llT.p. 214 (L A. Pole.taeV", Sellal,

pag .. 214). . ..' .

') Aqui 5610 conatderamcs La cstructura del .tirc\l.ito que parmite maneiar el descensodel elevador; an~logamente Be puede examlnar :tlimbie'n. 10 estructura del circuito que daspJaie ill elevador hacia arriba (vease, el ejerciclo e de to p'g. 7!i).

74

coutacto :1', est-a corrade, y el ooutacto :1'<; esta cerrado 0 ahiorto, y ('I contucto $, osta cerrado, y ol contact.o :J' esta ublerto, Temendo 611 euenta que la operacton logiea «y~ corresponde al producto de proposiciones (de contactos), miantras que 18 operaci6n logica «o~ correspende a 18 surna de las mtsmas, obtenemos facilmente

r5d= 3'9't.:J'29'e'~~d+ 3'~1.:1'2 (·9'd- .1'J .1J/.~.

Empleaudo In igualdad

:pc+/fc=J.

la propiedad del contacto J (,If:; = df para cualquier eentacto .:It)

asl como 18 ley eonrnutativa de la rnulttplicacuin y 1 a ley distrlbutiva, podatuos simplificar 111 exprcsion obtenlda:

'(f.d = :f:ff!i'~2 (.9"'9.'c$d + g;.!1J/).

Es fnci! porsuadirse de como debe realiaarse tecni<'nmento Sema[ente ctrcuitc (fig. 42).

EJERCIClOS

1. Hepresenta los circuitos de coutactos que corresponden a las

proposiciones oomplsjas

a) (a+b) (6+d);

b) abc+ab+'ii";

c) abc+abc+abc;

d} (a+b) (~+b)+ab+ab.

2. Hepressuta los clrcuitos do contactos que correspond en a Ins proposicloues

(a + c) (b + c) (a + d) (b + d) y ab + cd

y comprueba la ~igualda(b de estos circuttos,

3*. Const.ruye el cireutto oIectrico ,ff quo comprsnde los coatac-

75

tos off. $, ~ y :f) (y, poslblamente, los ccntactos df. :i, ~ 'I .2))

~a.lque .

a) 91 ctrcuuo 3' ae cierre 0610 si estill eerrados todes Los contactos .A, 89, 'i'l!' y !l5 est no 081& cerrado nin~ de esto800n\actos;

b) oI dl'Ou1to,f/!Ie c'ci9rra 8610 si estlin cerrados algullos de los eontactce <If • .t1J. '(ii. y 2 llOfQ no tpd08 esres contactoe,

4. a) EI comite couata de tres miembroe, C(jn~truye el ctrcuuo eiectr'ico, que mu.estr~ !os, r:ew.1tados 'de un.s vot~ci6n; cada miembro del coml~e v.ota QprlIDUmdo un bot6n; 01 bombtilo sa eneiende s6Io si 18 p,roposici6n mune ta mayorta ~e votos,

b) CODstriIyC uri clrcutto an,alqgopare. un \I.omile compuesto del prestdente y cinco VOCfllcs; Ql bombtIlo dabo, en" .. nderse . ahora lM'ilo' si l{l proposiciOn reune l~ I..nayo.riu. de votes 0. si 1011 VOt-V8 so .han repart ldo por igual pero 01 peesldente ha votado -a favor de Iii prQPO-

sici6l:l. "

5-. Const.ru.ye ·~n elrculto eh~etri.co que pertl;l,it4 encender y apagar el ho~illo empleando

a) trea int.eIT1,I.ptilloo Independientea (eompara con. e1 ejemplo 1. de .la' pAg. 72);

.b) .n int.ermpt9;t:es indepenrlien,tes.

. ~.~ En las eoll~.icioM.9 del ejilmjllo 2, do Ill. p~. 7,3. ~onstruye UD ciroulto que pernllt-a dasp.lazar el elevaaor bacia arrlha,

76

APENDlCE

PEFINICION DEL

ALGEB_RA DE BOOLE

Se- danomlrra algebra de -Hoole lI_n Co,l,~junto arbitrari04e etc- 1Ii9,fltos- ct, ~, 'Y •••• para los crrales estan deftnidae doe. operaciones, -adtoi61). 'Y rii1J,l~ipJic-ncion" quo ponen~ en corraepondencia a cada par ,a, Y Ii ,Q'e elementos la sumo. ~ + ~ y el producto a~ de los mislllOSI)i ,esl.a definidll Lo operQci6n «raya. _que bace ()'orrespondeI1 a cada ele-

mente a tin alemento nuevo &,8); ~i8ten dos elementos lespeciales) /) e i .y Be eumplen Ias reglns sigtiientes:

RegiasrefcrcnWs ~ 18 Reglas relerentes 8 fa

ope r ~ci6n de a:dicion operaefon de rnuIUplicilci6n

J) a+~ =~+al Ja) a~-~a;

leyes conmutativas

2) (a+~)+y=a+(~+~), 12a) (a.ji)1'=O:((}v); l~yes asociati vas

S) et+a=I.X, - 1&) ctct=a..

leyes idempotentes

HegIns que relaeienan In adici6u y 10 mrutip1icacion

4) (a.-t~)Y=a.y+~:v~ 14a) cx~+,\,~(a+Y)(~+1)·

leyeF! distrilmU v as

RegLas relerentes a los elementos 0 ~ L

5) a+ 0 =Gt, I 5a) a~ =ct;

6) a+t=t, 6a) ao_=o.

Regins _referentes a 18 opera cion (!ra.yM

7) ~=a;

1) Gom-p,ara COD 10 expuesto en III pag. 24.

2) Los matemtiticos dic~Eln a eats t:~fiecto queen e1 tilgebra ,de Bocla h/!-y dos operaclones b'tn«!!as (!1dIci-6ny multiJlJ:icil,9\~n), que a eada dOs, elementos ct- y ~ del algebra dEl Hoole poaensn correspondeneia un iluevo elemento (~+p :y ct~. respectivamenteh y 'una opereci6n "maria que hsce corresponder un alemento nuevo ci a e~da elemento 'cx .del, algeb'ra de Boole.

77

8) q:=~,

Reglas que relaclonan 18 operacl6u. «raya» con la adiei6n y Ia mnlUplicaciOil

9) Ct+~=a~, I 9a) <iW=«+jf.

regills de Morga~

En la definici6n del algebra de Boole cabe no cxigir Is presencia de If! relaci61i::>: h inClusioua; => Ii puedeser defiriidft per oiialquiera de Iaa condiciones a + ~ = a 0- ClP = p, de donde sa puedan deductr todas las lJ-r<;lpledades cle l~ .relaci6n ;:::):

« ::l(J.i

sl (J. ~ P y B=> ct, en\oPices a: = 6; st IX ::::> ~ y, Ii·::> 1'1 entences a ::::> 'i'l' ~ ::J IX y a => 0;

a + ~ ::::> 0. y ex ::::i «lSi

;!it ~ ~~. entonces tr::::> a:

(tdedilcelasl). Es mas, en La defln.iclon. del algebra de, Boole ee pueda 110 exJgi'r!a presencia de una de las,operaclone_s d(l"adici6n 0 de multiplicaoi6n, exigjendo rolC! l.a prosenGla de la otra operacion 'Ide Ia opel'Mi"6n «rnya.; ror ojom.plo, te~iendo las opel'Rcionell l'adici6n. y «rayu, pcdemoe deftnir Ia multiplicaci6n mediante la regia de Morgan

Ct·~=a+~.

Sip emblU'~o, ia ,presenci,a ~e las ope~aciones de ild'ici6n 'Y d~ mul~iphcMi6.n unicamente (sm la opetacl0n nayafl) no datenrllDe, aun 81 algebra deBcole.

La definicion del al~bra de Bools dada mas atTiba as poco secon6micu·.; muchaa de la:i propladades enum.arl,l.das .pued.en- set dedueidas de las otras, de modo qua no 85 lridi5Jlensable ex\gir quo se cumplan. Estit definicion tampoco es 18uI)108 aceptada en Is Iitera.tura: en. varios libros -y artrcl11os, a las t-reglaa prlncipalesa (0 ~io(l!as) del .algebl"a de Boole sa agregan 9~enUls las Sig11iontes:

Reglas que relaeionan )8 opeT~ei6n (tl'8yll» Con los

elementos 0 Y I,

10) CL+a=~ li0a) cta=o.

En 01 caso de tal clefinici6n, 81 ejf\mplo 3 (algebra. de, los. max:imos y ]O;l- rrrinimns] conshlerado en Pol -§ 2. no rcprIlS-flul,n ya un Algebra de Boole y el ejempJo 4- (6lgelml lie los minimlls m'iiltipJos y los ni!l:lJinos divisores) ofr-ec_e,_un algebra de Boole ~6rQ en of caso on el qUE" el nfimeTO Inlcial, N .80 descorripone en ,61 producto. de faetlireA primos IIlstinjj)$ dos II. dos (tal es el niImero 210 = :1. ·3,·5,7 que £igu'rB eli e1 t'ei'to; pero no seraesteel C38t}, digamos. del numero 72=23 .32 ~ 2 ·2·2 .3.5):. Aeste' respec~o pueden -verse, por ejornplo, ]08 lihros 12J y [41 0 e1 articulo [SIde In lists bibliogrMitm qne vleno :i continulici6n.

78

RESPUES'l'AS

Y SUGERENCIAS A E1ERCICIOS

§1

t. (A + D) (A + C) (0 + D) (C + D) =

= [(B + A) (C + A)l·{(B +m (C + D)] =

= (lJC + A) (BC + D) = (A + BC) (D + BC) =' AD + BC (aqui so utiliza Ia segunda ley dlstributiva),

2. A (A + B) = AA + AB = A + AB = Al + AB =

= A (I + B) = Al = A.

5. A (A + I) (B + 0) = A ·[·B = AB.

6. (A + B) (B + C) (C + A) = ABC + AB + AC + BC = = ABC + ABI + AC + BC = AB W+ J) + AC + BC =

= ABI + AC + BC = AB + BC + CA (veaee Ia identidad demostrada en la pag.- 21)-.

1. [(A + B) (B + C» (C + D) = (AC + B) (C + J)) =

_ = AC + ACD + BC + BD = AC + BC + DD.

'10. [(A + H + CHB + C + D») (C + D + A) =

= [AD + (B + e)] (C + D + A) =

[(AD + B) + CJ [(A + D) + C] =

= (AD + 11) (A + D) + C = AD + AD + AB + BD + C = = AB + AD + BD + c.

3. a) + 10 1 y 01° I

I I I

b) + 10 P C I o 0 l' C I P P P I I C C I C I I I 1 I {

§2

. 10 I 0_1 () 0 J 0 J

y . 10 pel

o 00 00 POP 0 P COO C C lOP C 1

79

§3

1. AS + AC + SD + CD = (A + D) (B+ G.) (vease el ejercleio ,t del § i); A"+ AB =:A. (vease el ejereicio2 del § il; AS + + BO + Al = A (v~a8e el ajercieio 9· del § t); ABC + BCD + + CDA = (A + B) (A + D) (B +.D) C (vaase al ejeroicio 10 del

1).

2. a) (A+8) (A +B) = AA-f;-AB+BA +BB=A+AB+BA +0=

=A+BA+~A.=A t(B+B)A=A+JA="A+A=A~ b) AB+(A+B) (.4+:8)= AB+ AA+AB+ BA+ BE=

;:=: AB+O+AB+ BA+O=AB+AB+BA = (AB+ABj+ (AB+ All) "'" =A (B+Bj+(A+A)B=AJ +lB=A+8; c) ABCABAC=(A= +B+C) (A+B) AC=[(A+B)+CI (A+E) AC""

= A(A+B) AC+B(A+Bi AC+(A+BJ A{CC) =

= (AA) (A+B) C+ (B (AX) C + (B8) AC1+ (A+ B) .40= =0(A+8) C+ [BOc+oACj +0=0; d) A+ B=A+l1J= A+(A+A) B= A+A8+AB=

= (AT +A11)+..4B=A IT + B)+.48.,-,

= AT + A'U= A+ A/J. 3, Apllca III operaeion «raye» a am_!os mlembrcs de la igualdarl eonslderada; utiliza 01 heche de que A = A.

4. AB+AB=A (vease el oj{',rcicio 2a);

(A -j- B) (A8+ AS) = AB (vrutso el ejercicio 2b); A (A + B) = AB (vease 01 o jerclcio 2d)_

6 •. a) A cada divisor m delnumero N 10 eorresponde un subconjUllto dctermlnado del conjunto 1= (PI' p, ••. _, PII) de dtvlsorea prlmos del llumero N; 8. saber, el conjunto ae aquellos do estos divi. SI>r8S que a la Vel son tambieD dlvlsores de m; ademas, si a los DUme .. res m y 11 les eorresponden 108 suhconluntos A y B del eonjunto I,

entoness a los uu meres m ffi 11 = (IT!, Ill, m ® 11 = (m, n)') m = .!!...

m

los correeponden los canjuntos A + B, A 8 v A.

h) 81 IT! = pa y 11 = pb, antcnces tn. ID II "'" 1m. n\ =pmh {a, til,

m ® n = (m. n) = pmfn [a, b] y ;;;= N =p_I~(l.

In

) ._ _ N _ AI~a!A2-a~ All-all

C m-m-P1 P2 ._- flh .

80

7. Estas ignal (1 ad es nese curnplnn en 01 d.l golrrade los maxiJ:(Los y los rninlmoss (salVo el caso en ,01 que 108 elementos del algebra son dos uumeros solamento) y en 01 ~aIgeb~ de Ios m nfmos rniiltiples y los maximO! (Hvisore~(sillvo eloRs!) en oJ qua todos los. divisoroo primos PI' PlI' ... '~ Pit del Jlumero N son dlsrlntos dos ~ dos; compara COn 111 elerclc.o oa}.

S. al (A + B) (A + 0) = A + 4 C + A B + B,C =

= AI + A C + AB + BC = A (/ + C + B) + Be =

= Al + BC = A + Be c:=: A + B <= A + B + C; 11) ,(A + B) (A + C) (A + I) = (A + B) (A + C) I =

= (A + B) (A + C) = A + BC::lA ::l ABC

(compara con a1 ejerdoio 8a); .

c) (;4 + B) (.8+ C) (0 + A) = AB + 11e + C!f._·::;}.AB :::> ABC (\lease 01 (ljercic.iq 6,del § i)j

d) Pussto que A-'=:J AB Y B =:J AB, ee tiene A+B:::J AB-I-AB.

9. ABa c AS + AC (V689O,01 ejero.icio 8a); -

AD + AC + .040,<= A + B + C (v'ease sl ejGreioio8b); AB + BC + CA c A + B + C (vease el eJe.rcicio 80),

10. AB c; (A"+Bl-(A+B).

12; a) Ai b) B; G) I; d) Q.

§4

5. a) <lei niuneto entero positivo es 'par y ea primOt; 91 conjunto do v.or~ad es {2}; b) «eL mimero entera positlvo (lSiffi., par 0 as pr~mo.; 01 conjunto do vt1rdM {1, 2, g,. 5, 7, 9, 11, t,S" 1 S, i 7 I ••• } dificre del conluntc de los mimeros Jmpatea en que sa ha agregado 01 mimew 2; c). ~al,.ntmetoent~ro f}ositi:yo ell i:ml?a.r y. eS ,primo.»}; a1 coniunto de verdad (3, 5, 7. HI '1.3 \ i'1, 19 .•... J difIere del eonjunto de todos 10,s n~m6ro9.pri)llos 6J;l qne se ha ~xclUido e1 n(uueri:l 2-; o) «'el !1umero ontero positicvo os par y no es prlmos; el conjunto de .verdad (4, 6, e, 10,1:2, 1.4, 16, ' .. )difiero del conjunte do todos 108 mimsros 'pares en que SB ha excluldo el Jr6.mero 2; ol q:el llu:Tli6ro cntero posltlvo &.'!Impar 0' 110 es primos: el eonjunto do verdarl {1, 3, 4. 5, Q, 7,8, I), JO, ii, " .. } as 01 conjunto de todos 108 numeto5 eateros posillvcs a excepc,iou del nu,oocro ,2.

.§5

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

§6

t. til Vea.S& In fig. 4.~; a) vetlll8 la fig. 44:

3. a Voase III nil. 45, a; bJ vease 10. Iig. 4.5, b. oi. tI) r!I = .:lJ9a + . .tW + $'if,i

81

J» tf = .';t- (.!BW, + 9J.:t'l + 9J'(6. + 9JfF + W<2l + ~~ +

- f(£!i + .2'4 + 5;:¥ + 1$) +

+ $.~.2~ + dJ'{f!lJ$ + $~'I!F + !iJ1n.'$!IF + '{j':fJ~!P (el bot6n .:4 10 Opl"Une ~1 prestdente deloom~t~).

5, a) 3'=~..:e~+.1t,j'W+.,t$~+';-.iW.

A C

-CJ-C~8)(C+O)

B 0

FIF. U

A(8C+B)+A

FIG. H

S=ABCO+ABciJ 0)

b)

82

BIBLIOGRAFIA

t. Jaroes, T. C~bert8o.n, Muhemattcl a"a ,logIc for dtgtlal tUvfct$.

PrillstOD (N .J.) 1958, Van Noatralld. _

En 8ate Ithro, que no prasupeue del Isetor ningUn conocimiento p.revlo que rebase los m~enes del programs: d~ la ensefiaon. media. per9. que requiBJ'eci,ef1;.a insistenoia y detl;lrm~n,adol! hah,lt_ os de Jec~ura de hteratura matematu:a, se t-oca de lonna DlUY ampbs tode el ahantco de problemas quo c:onstit.uy.e,n e1 oonteiiidCi del folleto prssente. ConUene numerosos problemas destinll,das ill trabajo individual.

2. E. 8erk"ley, 81/m~ollc LogIc' and Intelligent Machtnt!I, New York. 1959.

En muchos 8!ijlSCtO! este Hbro a9 Rro:ximo al enterior, peeo dedica ~en05 espacic a lasalgeb.ras de Boolo a ouense de un anfoque mas smplio de Ins problem!,! relaclonadoaccn las maquinaa matematicas. 3. J. Ke!U~~ 8.0.., rntroduct~on to Ft~t(e,· M~thtinat'c$t ~~~7. Un amplio .Iibro de texto destmado a 108 estndlantea de pttmor grade de8speciaUdades. no -matemafic.as; comlenza- per 'una detallada

d~si611 !:Ie Ias cuesttonea examlnedae en el folleto presenta, Con~ tiene mrmeroeoa problemas ..

4. R. ('.oUl'ant y H~ Robbins, Whal is mathematics?, Orll)rd Univ.

Press, 194t (traduccion eastellana ,(luIS E'S Ia mat.milticn? Aida.

Buenos !Lires, ~ 954)..' .

En eats extol$? librQ. destjnad-o en priin;er: lugar a los ahrmnos de los grados superiores de Ia ensenanza media.tambielL sa tratan las §lgebras .de Boola,

5. A. Kaliliniinn, R. Faure, Irwltatlon a ta recherclu! qperatton-

lUlu; Paris, 1963., ..

Uno de los capitulos do e'ste libra de sumo in teres; escrito para 'leetorM. .IJ,cco -pr,eparlldo8, esta dediliJldo a las «l~bl'as de BOQlo. 6. ~. R. stoll, Se~!, Logic and Aztomattc TheorIes, W. H .. Freeman and Co., Ban FranCisco-:Lnndon. 1~M (Conjunto!, 16,gica y taoMas

~om!tic'as). '

Eate Ij~ro as de on Ilontenido mas profundo que los aIiteriores,

pero ear' de gran. ioteres para un lector mas experto. ,

7, JI. A.l(an.ymJlu;n, .q mo m4XOll, Mjlmll ..... amr~'lticICIJJI, .cOtlA!lJ. ~Bay[tat, 1964 (.. A.Kalu-z:hnin, lQue ea 111 l6gica matematics?)

Uo -poqueiiofolieto de contenido pr6x:imQ al llhro (6J.

S. D. M. Hrl1OM, A',c()t6pw BlIAn., co. fOaeKOTOp!ilX 1l0Dj>ocaX eODp61f~O. Ma11l~1'BlCU R Ko-OepD6Tm<n-., fnpOc~eBBe'J f965. cTp.280-$24 (I. M. Yag16m. Algebras de Bo.oie, en 01 llbro Sobra alguns:!! coestiones. de 18 Materoaticamoderna y de Is Cibern6tica, psgs. de 230 11.324).

83

.A NUESTl'lOS LECTORES:

~Mlr. ecuta llbro8 oovll1tleos tradueld08 al esp~ol, Ingl~, rra.nc~, ~a.be y otrO$' IdloDla8 omanleroa; ~tre -enos figu1'lIn 11111 mel ores obrPlI de IM_ dlsHntas ramllB dE! 18. el.encla y III toonicll: manuales :gal1l tea centros de, en.een~llza superior y eseuelaa tecno16glcbs; ,Ute~atu:ra 6obe)! ctenetas :natunihrs y iti~dlcaBo TliIDbl~n Be Incluyen mOnOgramH~; IIbr_Oa de d-ivulgllcl6n clentt_flca y eiencte.. tkcI6n-,

Dlrtjan BUll qplnionea. a Ill. E-dj_t1rlal '«M.lr~, 1. Ebhiikl -per., 2, .129820, MoliW.

I-HO. (lSP, URSe.· - - -

SALEN A LA LUX LO~ SIG-UIENTES LIBROS

:j:;Irmov N.

GEOMETRIA SUPE_RlOR

Jj:rt este Hbro se ex!l~iha .un gran mimero de problemas. Se d\\ Ia arg~J]nentacl6n matematica de: 111. gco.metr.ia _euclit1ea, las geome~rias DO euolidaas de Lobachevsld y l\iemann, la geomet.ri.o proyectiva , la geometria de Minkovski. y las cuestiones geo· metticas do III teoria; especial de lit relatividad "j una noci{m general de las Iermas topologicas de.Ia geometdB de curvatura constante, La ohIo. so divido en trees partes. El ,matel'ial principia SEl {IXpOna on las primoras des paetes. EI matarla I de la; terceca parto- nocioaes princlpalss de la geomatria de ourvatura constante - puede ser aprovechado en al trahajo do los circulos matematicos.

El libra so caracteziza por laolacidad de 5U axposielon y as ecmpeeosible para amplios circulos de lectores, aunque las GnastianC$ que tratll., por as! dectrlo, no siompre son sencrllas. Ha stdo: reedltado 'varins-veces en 111. unss y en otros palses,

Esta destinado a los estudiantea de centroa jlecentes' 3uperiores, asi como a todas e1J.uellas peeSOOlIS que sa mtaresan POt las mat9lltaticQs.

85

lIiirinan G. y dtros FROBLEMAS Y EJEBCICIOS DE ANALIS'IS MATEMATICO (24 adiei6n)

Esta colace.lon de problemas ,est&' dedleada a los estu Il ian tes que. cursan nn'lisis matam'tIeo on centres de ensefian~ll tCcn'ictl SUP&riOl'.

No contlena Ia teodani las 16rmula.ll necesazias, ellector las'enc()nt~a~~ en los caJ!~tulos respecUv99 del manual de ant\lislS matewatlCo. La mayorlft de los problemas estfi snbvidida en gropos, fo que faeilita 81 tr~bajo Ilon, ests libro., ~ los grupos de problemas de contenido homogeneo precede una iI!dieacl6n general. Todos lospr.oblem~ ~e contenldo fisic.o van acompafladcs de, las n,l_)cionell n~cesarias sobreIa fisica,. El~ Iibr. o contiene un apendice: Tablas dQ 1<1s mag~lItudes do algunas Innclones: elementales,

El . auto).' analiza un total de 4465 problemas.

E.sgoJt~ L.

ECUACIO NES DIFERE.NCIA LES Y CA.EcUW VA-RIAGTONAL

(3" edici6n)

En este- llhro el. autor examina las eeuaclenes dtlerenciales de primer orden y de orden superior, sistemas de acuaclones diIerouCialeS, teoria do la estabiUdad. ecuaclcnes de derlvadas narcialea de primer orden, metO'dos devarlaoicnes en los probta .. mas con limites fijo5. proble:mas de vn-riaci()MS eon Jimij,cs movtles, condlciones suficientc'S del extreme, problemas de vndaclonee de extremo complejo 1 metodas drrectos en los prob,iemas de variaelones.

Ji;s~n destinado para los estudlantes de las: (acuItades fisieomate.maticas do los centres de ensofianZA superior"y especialtstaa q-ue estudian los problemas de matematices lndicedos,

86

Budak B .. , .Samarski ,A.! TJjonov A.

PROBLEMAS

OE }'ISICA ,MATEMATICA

En dos tomos

B-1 l,ihro abarca lamayo,f parte de J03 p'r.iilcipales metodos do ,resolllciO'nde lose Rl:ohlelllas defisi(la· rnatemattca. 8.0 presta especial atenet6n a, Ill, parte f{siclI de Itt cuesti6n, n .Ia 'fol'Illlilacion de los problemaa.a los, modelos ,mate_m&ticos de los proee- 50S, realas, ,'ai, las, ilustrallio·n.lls f[sicas de los mete· dos ne resolucldn y de los .resl1HajIos~

La col eCI;i6IL contione "problefl).as de (Ie~lleIli6j)_ !I8 'ecuaclones y de condfciones l:imites, asleomo de aplicaci6n de distintos ,metodosde resolucl6n de pr.oblemas de fro:\ltera de la flsica matemgtlca. 'Los problemas cuentan con indieaciones pat\!. sa resolution yeon: las raspuestas a los mismos. Para mucho~ pt.o:blenias se eXJ.)Qnen .Ias r;esolu.cl-ones con 1a aplicaciou de .Ios metodos mas sencillos.

El .llbro esta destinade 0. estud lantes de univer.sidades e institutos de ensafianza superior que carsan las m'atem.atiCRs }lor un programa ampllado, La obra tambien ,resu-itara de inter&! para .pro'lesores uni versitarios, cola boradores de institutQS de .rnvestigacion (\ieI)ti~ei! y para ingenieros.

87

Efirquv A ..• Demid6vich B. (Ilajo la-redaeeion ae).

PROBLEMAS DE MATEMATICA

PARA LOS CENll'l\OS DE Et'fSERANZA TECNICA SUPERiOR

En dos partes

~sta, ebra se eompone de dcspartea (parte primera:

"Algebra lineal y fundamenfos del an8:lisis matematico"; pll.rte segu1lda: "Cilp~tulo5~special,es de1 atllilisis niatematko") y e'st~ destinadi:J. n sec consolldadasen las dases practicas (seminnriQs) las partes te6ricas del CUl'sodo matruniticas supertores, estudiado en los centres de ensena,nzllsupeti()f. El manual, cOiltiene }11'oblemas sobre algebra llneal y vectorial, feometria analltica; calculo di· ferencial e integra d.o Iunctones de una y multi· ples var~a)lles, ecuaeiones diferenoia.les, anali~is vectorlll1, f.undamenlos de In teoria de' Iii vllriablo complejn; series 'YSUs apllcacienea al calculo apern_c~ona1. De estemcdo, elmanual abaroe todo 01 CUI.'SO de nlntematicas 8upel'iores estudlado oii las centros de ense.nan~n superior, cou excepc.ion de ,algunos curses especlillas.

Ca~a. capitulo de esta ohra '(lsta provls~o de una Introduccl6n en Ia cud se dispone 01 material teorico (~efinicione~, teorema's. formulas p.r1nci~ pales), neC(lS£lrio pa.ra Ia resoluckin del clclo de Iirol)femns del capitulo dado. Aqui. I'.amlJien S8 cxamlna un ntimero sufielente de ejemplos, que Ilustran los. metodos iundamentales de l'esoluci6n de los problemae. Todos los prohlemaa prepusstos ti,o~c:n resJ;luesta a.l fi;"al dol cl\J1i~ulo! y IUs m;as d.lhClle.s vrenen provtstos de rndlcaclones (estes probleDllls 58 Indican con est~Has) 0 son rosueltos (prolilemas con des estrallas),

Una pattlculazldad destacable de osto Iihro 111 (ronstituye la exlstencia de ciclos de problemas- do, .calcules -Bogun. las partes fundamentales tiel curso. Gada .problema de calculo enge Ia ~dtura del llr~~ram:a en. 18. lengua Forbran .--Y. lu~go Ja resolucion en una computadora. Lf1 mclU816n de este tipo de. ;p:oh~~mlls fill el~allual.es. Dec~sar~lt para una aalmllaclon mas profunda dEl los metoda» numiiricol'! c6njuntamente con. el estudio de los

eapitulos correspondientes de Ills ~1itematieas IIUperiores. En el manual, prepuesto, Jiamhien, as una. novedad al estudio conjunto da las propiedadas de las series an los campos real 1. compIsi'o. Semejante metodologfa de exposle.i6n del matedalpr8:ctico sobee .la te.oria de las ~rie!lj permite comprendBr con mayor profundidad y desde un pun to ,de, vista unificado JaS ~ropiedaa~ de laa series fuactonales, en particular. laS serlss de potenclas y las de Tay. lor, introducir IS. forma complain de la serie de Fourier, la transformaci6n. de Fourier y la'tealitRcion p1:acti,c~ de las mlsmas; In transronnaci6n discreta de Fourier (T'DFJ.

Samejante enfoque de la exposici6u del m~terfa1 sohro la I.ooria: de las 'seriss esta asegurada med-;'ante In tntroducci6n en lil manWiJ del capitulo "Fundamentos de Ia \eorta d'e [uncioueil de Ia variable comple~a". El esludio de este capltulo do las rnal.eUl8tiCas superiores P9r parte de los estu.dian~ da las Ilapecie.lid.ades deingenieri.a ya haee tiem.po que 'se bl!- traJJsformado an una ne<:esidad y en mu" chea institutos de e.n:rsfianza superior ae ha irieluido en lo's pl'ogramas.

.................. ~ ....•......•...... ~ ~ .

· - .

· .'

~ lac,c,lanes popularl. ~

de mate'miflc.s !

• • • • • "

Se publicaron los sigutentes libros

de marematlcas de nuestro sello editorfal:

E, Ventsel

Elementos de I~ teoria de los [uegos L, Golovin! e I. Yaglom Induccidn en Ia Geometrfa

A,G. KUro,sc,h

Bcuaclon es algebralcas de grados arbitrar:ios A.1. Markushevlch

Suceslo nes recurrentes

L Natanson

Problemas elem:entales de maxtmo y mlnlmo V, Shervtitov

Funciones hiperb6licas

• • • • • • • • • • • •

.' •

.' • • • • • • • • ..

• • • ..

• •

• •

• •

• •

: Q ':

· ..

: Editorial MIR MOlco:'

• • •

• •

• •

• •

• • •..•......................••........• ~ ..•...........

• • • • • • • • • • •

Sign up to vote on this title
UsefulNot useful

Master Your Semester with Scribd & The New York Times

Special offer for students: Only $4.99/month.

Master Your Semester with a Special Offer from Scribd & The New York Times

Cancel anytime.