algebra | ALGEBRA roscoe vt ils Mica. “rartormactoneslnele. Cioponatiznesn Armando 0. Rojo Ex Profesor Titular det Departamento de Matematica, Facultad de Ingenieria, Universidad ae Buenas Aires Decimoctava ecicién a BAERIA-EDITORIAL HU EL ATENEO‘igeb | 18a. ec. -Busnes Ares: El Alerao, 1096 sia) rar | Ros 1489p, 23x 180m, | ‘Advertoncia importante: {ldereche de propiedad de esta obra comprendapara su aur la fasuling ds Seponer de els, pubican, Yedocr, aaptriaoautoriar ‘ raducoln 7 eorodusia an eusiglr forma lo parents, por Imodios siocrdnsos 0 mecancas, neuyendo elocpas,grabecon (ragnestonca ycuarersotoma da amacenamiata e intomacio, er consiguarte nadie Hane feutad a erie or derechos prectacor ‘Sh pormga autor y dot ctr. po eer Les infacicrs sen repiidos con tas pons. ol aneuo 172 y ‘eneordans Wl Codgo Fonal arte. 2. §, 10,71, 72 8y 11.723, rimrenones svtaneda, Mn! Geara6353, ‘Rerareie pevnca So Bue Ae IMPRESS ENLA AAGENTIVA PROLOGO La encohansa de loe contenioos fundarientales cel algebra actualy el uso de su peculiar tecminologia son una realided wn iodos los cursos biticos a nivel uriversitario ¥ profesoral. Creo que hay do; razones principales que dan crédito a esa decormi- rnacién: una asocieda al progreso de Jas ciencas, a /aunidad soncaptual y. en whtima Instancia, af mundo de la intelizencia: a otra vinculada estrachamente 2 sus aplica- clones on casi todas las disciplines oe wterds pristico y de vigencia cotidiana. ‘No sseapan 2 esta considerscianes lar difeuliadee que se preseatan inicialmante ante 10 que es, de sigina maners, nuevo, Precisaments ea constoncia me he movida ‘edactar ese texto elimental de digebra, en el que he procurado desirollar sus conte- nidos con ura metodologia que estimo aproplada. Se han intercafado ejemplos que, ‘ademés de ilstrar la teorfa, hazen pose la adquiscién de métodos adecuados de trabajo, Un oetalle que juzge de interés pars los lectores es la espuerta que sed 2 0s problemas propuestos o al menos la sugerencia de pavtas para las demostraciones que "iguran en ‘os trabajos préeticas. oy desimonio de mi sgradscimien's @ los amigos que me han ayudedo y stimulator en esta tarea, y 2 Te Editorial EL ATENEO, cuyo cersanal no ha eecat- mado esfusrzos para resolver lee dificutaces inherentes 2 Is publicacién det texto, APMANDO 0. ROOCONTEN/DO ana orden puede vr cumpliga ono. Eo aaa ig snaeo. dina, que sm declaitvas, ten sentido Sear S00 SRrdadereso falas. A étas les lamamos proposiciones. Definisiin ‘roposcion es toda oni respecte de la cual puede decse sie verdodera fate2 NOCIONI DE LOGICA Es decir, proposicion es toda oracién decarativa. Toda proposicion ests asvciada ‘un valor de verdad, el cual puede ser verdadero (V) 0 bien falso (F). Las emaciones GS) y (6) ton diferentes desde al ponte de vista grimstical; ol abyata dirct> de la (5) e5 ef sueto deb (6), pero ambas tienen el misiro sgnificato, y las onsideramos como la misma proposicién, Podemos decir entonces proposicton es el signficado de toda oracin declaratva 13. NOTACIONES Y CONECTIVOS Las proposisiones gensricas son denotadas con las leas p, q, 1. etc. A parti de proposiviones simples es pasihle generar otras, simples « compueetas Es Sec. se pueze operar con propesiciones, y segin sean tale: operaciones te utilizan ciertos simtolos, lamados conectivos igicos. conestvo perc asada Signiiendo ~ Negacién 20 p 0.90.6 cierto que p ’ Conjuncién 0 producto légiko = py “ Disyuncién o suma logica 7 04 (en sxntido inciuyente) = Implicasion implica q 9 sip, ertonces g - Paly silosig Pog (er satido 1.4, OPERACIONES PROPOSICIONALES Definiremos las operaciones entre proposciones en el sentida siguiente: dadas tuna 0 dos proposiciones, cuyos valores de verdad se conocen, se trata de esracterizar la proposicion resultante a través de su valor de verdad. Se supone que en la eleccidn de estos valores se tiene en cuenta el buen sentido. 14, Defisicion Negacién de la. proposiciin p es Ia proposiciin ~p (no p). cuya tabla de valores de verdad es Negacién ~ -[-. Vale Fly Se trata de una operacién unitaria, pues a partir de una propasicion se obtiene tra, que es su negacion, OPERACIONES PROPOSICIONALES Bjemplo 11. La negacion de P+ tolo hombre es honesto es ~p: no todo hombre es honesto o bier: ~P! noes cierto que todo hombre es honesto ~p hay hombres que no s08 honestos, ~p: exsten hombres deshonestos ta cual es V, ya que Ia primera es F. 1.4.2, Confuncién encion Conjnson de as poposones py @ I roposicinp * q (py gh. cua tabla de valores de verdad es. 2tatera Vee ee vir F rly] F Fie F La tabla que define la operacién establece que la conjuncién solo es verdaders si lo san las ds proposiciones componentes, En todo ou caso es fsa. Fiemplo Si declarammos 1)3 es ua niimeco impar y 2 es un nimero primo % trata de bi eonjuneisn de las proposiciones + ps 3-68. un ndmero impar 4 2es un aiimero prime Y Por ser arabas verdaderas, la proposicién compuesta es V. fi) hoy es lunes y mafana ¢s jueves ‘sta conjuncién es F, va que no coexisten kas verdades de p y 4. 143, Disyanci6n Definician Disyuacién de las proposidones p yg es ln proposicién pv @ (p 0 a) cuye tabla de valores de verdad esNOPIONES BE LoGica. Pl¢[rv a viv] v viel ov hy elel & al ction 0s uieada en snide inlet, ya que a vera de lvancion se eno de qu al meno: ina dels propio! se. ae lercuse onda ta pasos aizada en sentido excoyens eluents ts aig lima conf cn el inte acs 1 materia se uta te divuncin dina por a tabla grcedente ts aguta toda posibilidad. uae 7 La disyuncon s6lo «& F en el caso en que las dos proy sea ‘que las dos proposiciones componentes Fionplo 1-3. 1 hoy +s tunes o martes ceresenta la Gayuncion de ls proposcions 9: oy es lunes y 4: hoy es martes. bl sencido de la“tonjuncién’o es exleuyente, ya que p y 4 no pueden set simultines mente verdadess. No obstante, la proposiién compuesia puede snalizase a la lus Ge tabla prepvesta, a avés de bs tes titinos renglones y ser fn sas ls ii} regalo los libros viejos © que no me siven 5 la disyuncion de las preposiciones regalo les libros vijos 1 regalo les libros que no me sirven EI sentido éel 0 es incluyente, pues si en efecto regalo un libro que es vie. v jie ademas no ne sive, entonses p vg es V 1m) 3 es an a ero imps @ 4 és un mimero primo «> aa propoposicién V, pues ta primera es V. 14.4 Implicadéa 0 Condicional Definicion Implicacién de tas proposicionés p y q esl sla propo: Sip entones q) cuya tabla de salores de werdad es LUPIREACIONES TROFOSICIONALES. eene|s menels Las proposiciones p y q se aman antecedente y consecuente de ta inplicacion > ondicinal, La implisaciOn usual en mlemdtica 25 formal an el sentido de que ya es recesarig que el consecuente se derive Yogicamente de. antecedente: cuand> sto octrr. la implicacion se Hara material y queda ncluida en a primera Las lablas de valores de verdad se cefinen arbitrariamente, pero respetando # sentido comin, Enunsiamos la siguiente proposicion: SI apruebo el examen, ENTONCES te presto el apunte” (1) Se tts de fa implcacién de las proposiciones > apmuebo el examen, 4 + te presto el apunte Interess inducie la verdad 0 falsedad Je la implicacin (1), en términos de la Vo F de las proposicienes p yg. El enunciado (1) puede pensarsé como un ‘compromiso, condicionade perp, y pocerros asociar 3 verdad al cumplimiento del Compremiso, Es obvo que si p es F. ex decir, si no aprucbo el examen, queto liberado Wel comproniisn, y preste © no preste el apunte la proposicion (1) es V. Fs decir, si el antecedente es Fla implicacion es V. ‘Sip os V, en cuyo caso aprutbo el examen, y no presto el apunte, el compromio no se cunple, y a proposes (1) es entonces F. 5i py q son V, entonces ls implicacion es V percue el compromiso se cumple. ‘De estz mode,, le implicciin s6lo es falsa cuardo el antecedente'es V y el sonsecuente es F Eyemphy int 1a hoy es Innes, entences mafana es martes sla implicacién de las proposiciones hoy es lunes 4: maftara es martes Como no puede darse antocedente V y consecuente F, ta implicaciénes V. ey le-le P eV por ser ef antecedente FNOctONts DE LOGICA 1.45. Doble inplicacién © bicondicional Defmcién Dobie impiccién de tas proposiones fy es a proposiclin p = ¢ tp si 60 sig), cuya tabla de valores de verdad es a vp later viy|¥ viel oF ely] of Fle| v La doble implicacién 0 bicondicioral sélo +5 verdadera si ambes proposiciones tnenen el mismo valor de verdad. La doble implicacin puede definsse como la conjunciga de una mplicacion y su ‘eviproca, De ese modo, la tabla de vilores de verdad de p = q . puede obtaverse sdioate la tabla de (p “> (4 =p), como sigue eta [e «fuse lw sornaen vfv{_v v Vv ve F v F Ffv v F FE Fie v v v Lyemplo 15, i) Tes equilitero siy silo si Tes equiingslo «3 fa doble impliacién de las propos ones Ds Tes equiliteo Tes equiingato Toda ver que p sea V, también In es q. y andlogamente, si p es F, @ es F. De ‘medo que la dobie implicadon es V. = D1=6 sy sblosi a Jas proposiciones son Ja Goble mplicacion propuesta es faba sip es Fy @ es V, Em tos demés casos & ¥. ‘CORDICIONES NECESARIAS Y SUF 1.466, Diferencin simértica simétrica 0 disyuacién exclayente de las proposiciones p y q esa np ¥ 7 (B 0 qen sentide excluyente) cuya tabla de valores de Pla [ea vpvT F viel v ely] ov Fle] F La verdid d> p x ¢ exté carscterizada por Ia verdad de ura y sélo usa de as proposiciores comporenes. . Es claro que p ¥ g equivale a ls negacion de'p = 4. 1.5. CONDICIONES NECESARIAS Y SUFICIENTES CConsidecamos la tabla de valores de verdad de la inplicacion Te @ fam c qos V, J entre ellos hay uno en que p es V.enel unl resulta serdadera Es obvi que nos referimos al primer reagon dela tbl, y se tiene que si p = es Vy p eV, emtonces q cs V. Se dise entonces que = antecedente pe conciciin sufciente para el consecutrteg En cambio, a tee, nada podemos deve de q, puesto que puele ser V3 F. Por ova parte, csaado p = q_ ex V. si q es V, entonces p puede ser V 0 F:mas para ue p sea V se necesta que q 10 sea. Se dite entonas que q es condicion secesria_ Paap: Resumiendo, i p= q es V,entonces p es conicin sufciente para ¢ ¥ @ 6 condicén necetaria ara. Estas condiciones suclen exprearse as 4 Sip (condieién suficiente) sélo sq (condicin necesiai9CIONTS 12 LOGICA emplo 1 La siguinte implicscién es V: “SIT es equilaera, ENTONCES T es idsceles" En este iso ps Tes ecuilétero 4: Tes isésceles YP es coudicién suiciente pura q, es decir, que un tridngulo sea equitero es fufleiente para asegutar que sea isécees. Por otra patie, T es equiitero sOlo ies Bosceles: es deeu, que un trdngolo sea wsOsceles es revesario pura que sea equilitero Sea ahora la doble implicacion pq. es decir (p = 9) 7 tq = p) Si pq eV. entonces p= q @ V ya ™ p eV. Se tiene. atendindo a te primera, que p es condisén suficente pa g: y, triendo en cuenta ls segunie ‘mplicacion, ocurre que p es cordicién necesaria part 4 Ex decir, si p « ges V, entences el antecedente p es condicion necesaria y suficiente para el conszcurnte Aniloganente, en el 230 dz doble imptcacién vevdadera, « consicvente y es tambien condicign necesaria y suficente para el untecedente p, Femplo 17, La propesicion “T es equilétera SL Y SOLO SI T es equiings sla doble implicacién de las propexiciones : Tes equiltero 17: Tes equiingulo Aquélla es V, y cualquiera de las dos proposiciones es condicién nevesaria y sufciente pura la otra. L6, LEYES LOGICAS Consideremos ta proposicion tena pad o cay bla de valores de verdad es pla [pra] e-aee [he-o lve viv] v ¥ 7 vie} F F y Fly |v F 4 Flelv ro 4 Leyes Loaicas: ° indspendientemente de Bos valores de verdad sroposicion compuesta (1) ¢8 Vs ‘ in eee fentonces que tal proposiiéa es uso de Ian propsions componties se tautologia o ley l6sica. La propasciin p = p es V cuslquiers que ajemplo de una ley Hozica, En cambio p A ~p 6s F, Aiccion, En el ciiculo proposicion: Jemosteacion se reduce a 12 cont verdad! sea el valor de verdad de p Es otro cualquiera que sea p. Se dice que es um conta sa se utilizan bbs siguientes leyes 0 tautologias uy ecvion 3¢ la correspondiente tabla de valores de 1.6.1, Iwolucion, ~cpeP el modo de leerla es: “no, no p, equivale ap”. 1.6.2, Kdempotencis waver (pypleP 1.6.3. Conmutatividad n) deladiyuncon pv aed YP bydetaconjunca ps a7 a *P 1.6.4, Asociatvidad a) de ta disyuncion wvyavrepy avy bp De ta conjentign norep san 1.65. Distributividad incon respecto de la dsyuncion a) de la con (vgrreisnv arn +) de a dinyuncién respect de a conjuneion wagvreevar avn