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0 NCCIONES DE LOGICA 1.66, Leyes de De Morgan 4) La negacn de una dicyancin ex aqualonte as conjunc de tas negacones oe) ee )La negicion de una conjincién es equivlente a la disyuncée de las negaciones PA Menr v mG Frenplo 18. Tabla de valores de verdad de a dstutvidad de la coniunsin resge~w de (VO reipanviarn (ada valor de verdad de p puede asociane a dos valores de verdad de @, y por ‘ada uno de estos pares de valores se tienen dos posbilidades are t:'en sonsecuencia, cesultan 2" =8 cenglones en lt tabla, Si se dan proposiciores, on la table hay que analizar 2" renglones Por otra parte, es porible simplificar la confeccicn de la tabla, como se indica a ova 4 7 =@rnva@rn VAvaven Ya ava lavanlevalavatay vyvielr(ly|rieif vveivivily |vivie erage ealivy ar ere i Vata valev | vie ie Fyvteterily |eied¢ reetetviy | ripe Ferieir{y |rieie Eyemplo 1-9. Cenfeecionamos ja tabla de valores de verdad de Ia siguiente ley de De Morgan: ~@ serpy ng ~ pag = pv Fav vv|]V]F tPF TF viverlyirpiviy virervivivivie vierr}viyjiviv INPLICACIONES ASOCIADAS Ejemplo *-10. 1a proposicién (Paavo ces una ley lozica, pues la tabla hos mest que es ana tqutologia. 1.7, INPLICACIONES ASOCIADAS cto: en conexién con 6, s Sea el condicionsl p= y, que Ihmamos direc : presentan otros tres, obtenidos por pernutaciones o negacienes del artecedente y asp reciproco spn contrario ~a= 7p contrarreciproco Las cuatro implicaciones propuestas se Haman conjugadas, y cualquiera de ells puede torratse com> directa. El siguiente esquema nos proporciona la relaciin que Jas vincul: resipocos ane ty g oy : 5 os pena repro yp Es Fail verificar que las implicaciones contcrreefprocas son equivalentes, es decir, los situientes bicondicionales son tautolo wea ecas~p (@ar) eps i contarteirocs,y no podemos Sila impasn dicta eV, también sentir. ¥ 8 podemon afirnar iver. e a reeprocs © de la contaria. Pero 1400 verdad2 NOCIONES DE LOGICA, coplicional y su reciproco © contario, entonces sen verdaderos 10s euatio, y las ‘roposiciones antecedente y consecuente son equivalentes, Se presents continuamente la necesidad de demostar la verdad de p = q, y de 10 con ke expuesto se presentan dos métodos: I) direc». Si p esF, nada hey que probar, pues en este caso pq es V. Sip fs V say que esiablecer qu: el valor de verdad de 4 ¢s V. li) indirecto. Si q es V queda establecida la verdad de p =. Pero siq es F ‘nay que examinar p y Megara establecer que su valor de verdad es F. : 1.8, NEGACION DE UNA IMPLICACION ~2) sou eyuivalentes, como to monstrs fa sigwente table @ = @ = ~ ea viviv] Vi VIVEF ee eve vs vay, eivivilviviree Fivie{[vivirery a, la megacién dela primers equivale a la negaciin de la segunda, sw eget ~al ¥ pee 1.6.1, se tiene ~(p =a) (ps ~a) Es decir. negacién de una implicseiin no es una implicacion. sino la vonjuncién delartecedence con la nagaciin del consecuctte Eyemplo rt Sean las imlicaciones i) Si hoy es lunes, entonces mafana es micoles, ) tes r=cy Ses negaciotes son, respectivamente, “Hoy es lunes y maftana n0 es miércoles” wre-ta Pee [RAONAMIENTO DEDUCHIVO 3 1.9, RAZONAMIENTO DEDUCTIVO VALIDO En maten‘tica interesa el tipo e razonamiento Manado decuetivo. Lismamos razonaiento a un par erdenado ({7%} ; ¢), siendo ‘p; } un Conjunto Fito de propsiciones, lamadas oemisas, vq una proposcion,Wariada conclusion, respecto fe cual se cfirma que deriva de las premisas. Uh razouaniento es deductive «iy s6lo a ls prrmisas son evidencis de la rerdid de la conclusion, es decit, si Py. Pa...» Pm sO verduderas, entonces rerddera. Un razonanisnta dedactio es vilido si ne es posible que las pemisas ‘Ean verdadetas y la conchsiot fas, De un taionamiento no se dice que es V0 F sino que es vid © m0 Jamamos rela de irferencia, a todo esquema valido de razotamiento, indepen: diontemente ds la Vo Fe las proposicione: componentes, De este moto, toda tog de inferencia es wLteliica. in razoramiento decuctivo es vlido cuando el condicional cuyo antecsdente es ta conjuncién de las prema, y el consecuente es la conclusion, es tautoligio. Son ejemphs de reqs de inforencia: Wey del madus poner Sip yp © 4, ENTONCES 1a notacién elisieaee by Ley del modus sotens: Este esquema es 1a Rotacién clisca del condcional Wpea) s ~ulerr ) Ley dal slogismy potetica poa oe) per Es decis,laproposiciin ((@ =+ q) * (@ =D] = (p=) esuns tautclogia. En cambio, el conckcional [7 > q) Aq } =p mo es una forma vilida de“ NOCIONES HIE LOGICA rmonamionte, ya que la comespondion'e tbla de vilores de venlad nos muestra que noes tautolegico. Flemplo 1-12 4a) Justifcar la validez del razonamiento psa ng ps) En lugar de confeccionar la tabla del concicional entre lk conjuncié de las premisis ¥y la conclustin, harems uso de ls leyes del sélculo proposicional, a fin de simplifcar fa situacion. La segunda premisa es equivalente a la contrarreciproca q =r: por la ley dal silogisme hipotético, dla primera y de éta, resulta p = r. La dltans premisa es V. y en comsecuencia r es F. y como p = res V resuta necesariamente quep es F. Ly fercera premisa equivale ap V1. de acuerdo con una ley de De Morgan, y por set > falsa resulta la verdad de z. Ahora bien, sierdo ry r = ¢verdaderos, este la verdad des. por 1.9), ‘bj Justfcar Ia valdez del razonaméento cuyas gremias son Hoy lueve o hace fri Hoy lueve ono hace feie, ¥'a conelusiin: Hoy Lueve, En lenguaie simbdliv s¢ tiene pva oeaveese ° 4, 0 bien ~g es F: cualquiera que sea el caso, por ser las disysnciones verdaderas, resulta que p es V. De otro modo, kz conjuncion de ambas disyunciones, por ls fiewibutivided, es equivalente a pv (@ 4 ~q), La verdad de aquélas asegura ly verdad de ésta,ycomeg « ~g 25, result a verdad de p L1G. FUNCIBNES PROPOSICIONALES, SU CUANTIFICACION EI simboio P (x) es la fepresentacién de un predicato 0 propiedad relativos 3 sbjeto indeterminado x, perteneviente a certo usiverso 0 es um Groponsbn, AT expresions de este sip se ls lana “inconer © exems ros Definiiin Funciin proposicional en una variable 0 indeterminada x es toda oracién en & aque figura x como sujeto u abjete directo, li eval se convierte en proprsicion para cada especificarion de x, En nuestro ejemplo resultan proposisiones como P(-4)-—4 ssimpar CF) PC 5): Sesmmpar (V)etc. Se presertan también funciones proposicionales con des variables 0 indztermiradss, Sea, por ejemplo P(x, y) x esdvisor de y Lo mismo que en el caso anterior, six ¢ y son enteros, P(x ,) noes proposiciba ya que mo podemos afrmat la verdat o falsedad del enunciado. Mes para cata particulacizacion de valores se tiene una proposicion Pi-2,6):—2 esiivisorde 6 (W) Pi 12,6): 12 esdivisor de (F) |A partir de funsiones proposicionsles « posible obtener proposiciones general mediante un procesO llamado de cuantifcacion. Asocados a la indeteminada +. introdue.mes los simboles ¥ x y 3 x, lamsdos cuantificadores universal y xistench tn.x,respectivamente. Las expresiones Pari todo x, se verifica P(x) Exite x, tal que ve verifca P(x) sedenotan medianie Vi PO) a ax/ FG) @ ¥y cortesporden a una funcién proporiioral P (+) cusitficada universsimente en el primer eas, y exisiencialmente en el ssgunto. Un funciin proposicional cvanificadshe 6 NOCIONES DE: LOGICA adquiete el cardcter de prop dsimos sn. Tn efecto, retomando el primer ejemplo, si “Todos los nimeros enteros son impares”. (1°) es elaro que hemos enurciado una proposiisa general y relativa a todos los aimeros énicros, cuyovalor de verdad es F. Una traducciGn més detallada de esta proposicion corsiste en ‘Cuslquiera que seas, x es imper”., Es decir Ye x5 impat Si cuantifiamos exsienciimente la misma funcin proposicional,se tiene 2x/.xesimpar Osea “Exist x, tal que es impar”, O bien “Existen exteros que son impares”. O més brevemente “Hlay enteros impares” EI valor d: verdad es V, y en consecuencia se tata de unt proposicén. El ‘cvantificador exstencial refiete a, por lo meros, un x, Es obvio que una funcién propositional cuatificada uriversalmente es V siy sso si som V todas li proposiciones particulares asociadas a aquéla, Para asegurar la verdad de ana funcién proposicional, cuantficada existenclirente, es suficiente que sea veréaderaalgusa de las proposiciones asociadasa la Funciéa proposic onal. Un problema de interts es la negacién de funciones proposicionsles cuantiicedas. La regacion (1) es “No todos os enteros son imparts” ces decir “Existen enteros que no son impares™ yensimbolos 3x/~PO) Entonces, para negar una funcién proposicional cusntiticada universalmente se ficador enexistenci. y se nieg: ls funcion proposicicnal La negaciinde “No existenenterosimpares” Es dec “Cualquiera que sea ef entero, noes impar” © loquees lo mismo “Toco entero es par” En simbolos veisPan siege eeen en sn Vie entone: ‘ecistencialmente se cami Aparece clara la euantiicacion: Teniendo en events la forma ée negar ura funeion proposicionsl cu urivetsalmende y una iniplicacion resulta Esdecir CUANTIEICACION ” ar um fnciénproposconal cuantificade iene rh: 334 ne o st seine uation en univers se nes la ficou iguientesequivalencss ~[vx Pop] © 3x/-PO) ~[ax/ Pi] & VERO) Ejewplo 1-13. Sea la proposition Todo etque ta conece, ia ad ducie ta wagasisn al Nos interes eseribitla en lengiaye simbOlcy, nepal. y retraducie 12 nega lengiaje ordinario. 7 iia propesicion dada pusde enuncinrse: ‘Cualquiers que sea la percona, sls conoce. extonces ta dria, deuna implicseion de la funciones proposicionales Pid: x leeonoce Qis): x la odmira se tiene vx: P(x) #908) ntificada P(r) 2 *QU0 Y pasando al lengua ordinaria: Hay personas que la conscen y no fs admiran, jemplo iit Consideremos a mama cuestiinen el siguieate cas Todo entero admite un inverso atv. “Cualquien. que sea elentero,exise otro que sumado aél da cero". Intervienen dos varables y la funcion propesicional PE yin ty=08 NOCIONES D2 LOGICA crcurTos Locicos, La expresisn simbéica es entonces Y para p sissF vaay/aty oo Su nepacisn es lecisel interrupto se ccna sip es Vy e abre sip es F. x/~“13y/x+y=0) Ee mm area is Las operaciones proposicionals pueden “epresentarse mediante circuitos con tantos Es decir interruptorcs como proposiciones componentes, combnadosen sere o parlelamente, ax /vyiety #0 +) Cenjuncién {La traduccion al lenguaje comin es “Existe un envero cuya summa con wualyuier vuo,es distinta de cote a 7 Este cirauty admite el passe de commence, es decit, la verdad de pg, slo silas Ejemplo 1-15, tosson V. Sea la preposicion 4) Deyuncién. Esté representada porui éircuit en paralelo Hay aluranos que estudian y tabajan, B Su enunciado sugiere un cuantificador existencial y dos funciones proposicionales, - —F P(x): x estudia | — Qex): x trabaia 1 En forma simbélica se tiene 4 3x/PQ) A Qe) La falsecad de p vq, es decir, el hecho de que no pase coriente, sole se verifica enol caso dela falsedad simultinsa de p y Su negacion es i) taplicaci6n. Como veisPo) > Qe manera Mt todd ea e acuerdo 2on 1.8, aplicando ua ley de Ds Morgan y la doble negaciGn, se tiene ve i-P@) ¥ ~Q() Traduciendo al lengsaje ordinatio Cader a En consicuencia.elGircuito asociado es *Cunlquiera que sea el alumno, no estudia 0 no trabajo”. : 1.11 CIRCUITOS LoGIcos La verdad de una proposisién puede asocarse al pasaje de comiente onan circuite elictrico con un interruptor. - Para representar a p, sies V, se tiene 5 is) Dferencia simétriea or 1. Usilzando sucesivamente 14.6., 14.5. una ley de De Morgan, Ia negacién de2» implisaciones y la las equvalencias NOCIONES DE LOGICA ributvidad dela disyuncin respecto de la conjuneién, se Yemen sar eae ected sample ong ~arne erm are (Pv DAY MACY AN CTY ee acne teats ef ceito P 5a | { a “4 Fjemplo 1-16. 1) El ciruito correspondiente ala proposicion buen, tu @wraved « p @ Ae =| — a fe simplificar aquélia. PY ~4 P o a es sufciente ove p 0g sean V. ‘exRcuiTos L9GICos A ii) La operacién propesicional que caracterira a siguiente circuito |TRABAJO PRACTICO | 1.17. En el libro Hijos en libertad. de A. S. Nei esti escritas as siguientes ps Mis maestros hicen que tedas la leciones sean aburrides 9 : No seeptan las respuestas que no figuran en ‘os libros. 7: Imponen un cimulo de normas estipidas CConstrui ls prozosiciones prq.vaver. (Prager 1-18, Escribr en forma simblica le siguiente proposicién compuesta que figura en el “La chatura y eltedio de ciertas dscipinas excolares se crasmiten a los maestros, ¥ las escuelas se Henan de hombres y nujeres de mentalidad estrecks,vanidosos. ‘cuyo horizonte estélimitado por el pizsrron y el ibro de texto”. 1-19, Confeccionas la tablas de valores de verdad de las proporiciones Deroe i)~py gee sma 1-20, Negat las proposiciones construidas enel ejerciefo 1-17. 121, Proponer las siguientes pro>osiciones en forma simbélica, negarlas, y etraducir fas al nguaje comin: 1) Noes justa, peromantiene el orden. ) Los alunos conocen alos simtladoresy los desprec:an. ii) Silos ‘lumnos conocen a Tos simuladores, entonces los desprecian 1.22, Determinar si las siguieates proposiciones son leytslogicas iypnara ile =a s @= =n ii) pp Wpspva FRABAIO PRACTICOT a 23, Simpificr las siguientes poporicions ii-cp v ~a) He vO veep ad 1-24, Sabiendo que pv qs Vy que ~q 8 V, determina el ior de verdad de (evans ~adaa + 4-25, Deterninar, en cada caso, si la infornacién que se da es suficiente para conceer el vdlor de verdad de las siguientes propesiciones compuestas. En ciso afirmativo.justficarto ilipemerr + rev Wv MeCP sD: aeV Wir ae@vn Wp. Wer: perev, pesVyresk + dh26, Los valores de verdad de fs proposiionesp, a, ry $ son, respectivarrente, VF F, V, Obtener los valores ce verdad de lipvavaas poole lp vrera 1-27. Nega ls proposiciones ib 3x/Pay v ~Con | ve'Pi9 = 00) | vasyiey a6 [26 vesar que pu prota stivdenca de ropescones ryt ; sce enon entrain pea dar rary sep -28, Dada: las proposiciones 1” Eleuadrado de todo nimero reales mayo: que 2. ii! Enisten enteros cuy» cubo aurentado en 1 es igualal cubo de siguiente, Ienguaje ordinari. 1-36, Constiuir un circuito correspondientea la proporicién | if, Todo el que estudia tivnfa, ‘expresaras simbélicaments, negar las expresiones obtenidas y retraducicas al Dn m~OV ORY paw” NOCIONES DE LOGICA 1:31, Se tiew el siguiente circuito: D 27s Lt 4 ) determinar la proposicin correspondiente 4 ) simplifiar ésta, y construr et circuito asoviado ‘un mimero es unpar entoncts Expesar simbelicamente l siguiente teorema: su eiadrado es impar™ Enunciar el contrarreciproco, el cortrario y elreciproco Demostrar el primero. 1-33, Siento psa. bevimpar @:ay bson impares Denostrar p> 134, Justficar el razonamiento puna ~qer pvr > 1:35, Le vismo an siguiente caso: 1-36, lnvstigar a videz del rzonamiento siguiente: Siel interés no es egotsta, entonces es, ia fterza vitsl de las personas y es cespontineo. El nterés noes la fuerza vital de les personas y es espontineo interés es egoist Capitulo 2 CONJUNTOS 2.1. INTRODUCCION EI propésito de esta seccién es @l estudio de“l teoria intitiva de conjuntes. En ese sentido, jos témines “conjunto”, “pertenenca” y “elemento” son considerados ‘came primitivos, Sobre esta base e definen la inclusion y la gualdad,y se estudian sus propicdades. El mismo tistamienta se hace corresponder 2 las operaciones enire ‘conjuntos. El zapitulo se campleta con al desarollc de ejemplos en los que se pretend ‘master un método adecuado de trabaje DETERMINACION DE CONJUNTOS 22.1, Notaciomes Para denota: conjuntos utlizaeros generalmente Jetnis mayisculas, y para especiicar elementos se usarin lets mindsculas, 1 menos que dichos elementoi sean, 450 vez, conjustos, Pam indicat ls pertenencia ée un elemento a un conjunto seré Utlizado el simbolo €. Le proposicion “a € A” « lee: “a pertenece a Ao bin “el elemento a pertenece alconyunty A” Sunegacid #5 “a ¢ A", que & le: ano pertenece a A” Sie conjunta 8 esta formado por lo elementos a, 6 ¥¢ _ 62 eve caso & nombian tos lot elametos del conjunta, yo dee que st dhreminadoyorextensir. Testis uss pra caratrzatconjnts mumdzicos ones Suen IN conjunta de los mimeros natuntes 2 sonjunte de los nimeros enteras6 conlUNtos Q coxjunto de ls nGmeros racionales RR cosjunto de ls niémeros reales € cosjunto de fs nerve cor La representacién por extensin del conjunto etyos elementos son 1,0 y 1.25 A={-10n} Es fic ver que se trata del conjunto de los nimeros enteres cuyo valor absoluto &: menor que 2; en est? enunciado hacemos referencia a elementos del cosjunto Z. de lo: ‘nimeros enteros, el cual st llama referencial o universal: alemis, estamos interesco: +n aquellos que satsfacen la propiedad de ser. en valor absoluo. menores que 2 La noncion cormspondente es a (xeziwc2} ¥y st dice que et conjunto ha sido determinado por comprensin El conjunto universal depende de fa disciplna en estudio, se ija de antemano. » esti formado por todos los elementos que intervienen en el tema de interés, En genera se denotaré con U. Definicioa ,. Un conjunto se determina por extension si y sélo si x enumeran todos los elementos que lo constituyen. Un conjunto # define por comprension si y Slo si se da I propiedad que caracterzs asus elementos, a ,rrrr—— CC . ‘o mis brevemente. i U esti sobrentendido {«1P@} ¥y se lee: “A es el conjunto formado porlos elementos x, tales que P (x)"-P(x) es una uncién proposicional, y un objeto del universal sertenese a1 conjunto si y séle si verifica la propiedad. es de:ir aed Pa) a V En consecuencia a@A @ Pla) a F 2.2.2. Conjuntos especiales Extendemor la ancién intitiva de conjunte + las casos de areneia de elementos y de unicidad de clementos. mediante la introduesi6n 4 los conjntos vaeio y untaria, DETERMINACION DE CONJUNTOS » {Un conjurto vaefo et aque! que carece de elementos. Un conjunto unit formado por 1n Gnio elemento, ‘Una propiedad funsién propesicional, que & converte en proposicin filsa tojos los elenertos dé universal. caracter:a por comprensién un conjunto vacso. Designaremos con ¢ al conjunto vacto, y puede definirs simbélicamente asi oe (xine) En este caro ls propiedad relativa ax es P (x): # x. la cual resilta fa que sea, 'SiA esel uonjunto cuye Gnico elemento esa, eseribuemos cualquier, aa{a} Ekmplo 21 Derermina: simbolicamente y por extensi‘n Ids siguientes conjuntos definidos por ccomprensin: 1) Acsel conjunta de los nimeros enteros cuyo cxadrado esigual a1 En este cao ft propitdad que caracterizaa los elementos de Aes la conjuncién de PujiceZ y Quy: Envonces (xixez tat} ¥¥ somo universal puede sobrentenierse el cosjunto de los miimeros reales racionas. ‘Siproponemcs aZ como universal, puede escibirse . ‘Obviameme. by determinacién por extension es "cae (-1a} : ‘Considerardo s N como univer. la propiedad caracteristica de los elemertos de B sla conjunciin de Pix? y QG):x<6 ‘ue podemosexpresar Rey D consiste an la metiatriz det seprento AB Exempla 23. Tl conjunt S esti formado pores posible resultadee qu se obtienen a dos ae cates yaa la pera moneda soc (cara) y$stlle)¥ por sada un? Tectog e even las mismas positidades para la sogunds, 25 decir es sat Entonces0 coNtuNTOS 2.3, INCLUSION 23.1, Concepta Sean Ay B dos conjuntos Si oourre que todo elemento de A fertenece a B, diremos que A estéincluide en 3, 0 que Aes parte de B, o que A es un suboonjunte de 3, y eferibimos ACBL Definicién >< } ACBeVxixeA >reB Esta definicion tiene el siguiente significado: si sabemos que ACB, entonces lt proposicion Vx:xeA =xeB es Vi wecibrocamente, sj est proposcién es V. emtonces se verifica que A CB. En repetidas ovasiones s© necestara demostrar que un conjunto es parce de otra: ‘mtonees. de acuerdo con la definicién, serd sufisiente demostrar que cualquier ‘lemento del primero pertensce al segundo, Teniendo en cuenta la equivelencia enue una impli incon anterior puede expresise asf con y Ie contrarreeiproca, bk ACB eVa:x€Boxea |Ademas, considerando bb equivatencia entre p= q y ~{p » ~g), podemes teaducir la misma defincién de h siguiente manera ACBe@ax/xeA s <#B es Es decir, en la inclusiGn ne puede darse que haya un elemento de A que no ertenezcaB. Sobrentendiendo el cuantif:ador universal, pare descamar Is notackn, eserbi- ACB oxen oxeB 23.2. Diagramas de Venn 4 Existe una representacién viual de los conjuntos dade por diagramasllamados d= Venn. En este sentido, el conjurto universil suele representarse por un rectingulo, ¥ a los conjuntos por recintos errados. Es claro que todo.elemento ds A perenzce a U, es seeir, AC U, Sean A,B y C subconjuntos de U, como indica el diagrama YD vu INCLUSION DE Consustos u En este 2aso se verifca A CB. Ejemplo 4. Sean Ny los conjuntos DDefinimos a relactin de divisor en N mediante fagrama: de Venn a|b sysblosi 3 meN/ Tenienco en cuenta esta definiciSn, y la elaciOn de menor o gual, la representacion por extensin de tales conjuntos es 4.8} L236} Bett ce 1y €3 términos de diagramas de Venn Ejemplo > Consideremos el conjunto U de todos 0s tringubs; si I denota ef conjunto de lot trlingulos isosceles, Ede los equilteros y R de los triingulos rectingulos, s tiene3 CONSUNTOS, “Ya que tod» tringuto equiltero iene Ios tes lados uals, en consecuendia tne dos jguales, & decir, e isosceles. Ademés existen tridngulos -séseles que som fectangulos, pro ningin iriingulo equlitero es reetingule 2.33, Igualdal de conjentos Fsclaro que dos conjuntos sm iquales si sor idénticos,es decir si tienen los mismos clementos, Extonces, todo elemento del primero pertenece al segundo, y todo elemento de éte pertenece al primero, Definiién Aad ACB BOA Epmplo 26. Lr cojooe de nimerou elt ae{are ex} ne {10-0.¥20} sexigulesyrave ee Bt biconticional se destobla en las dos implicaciones que prucban la doble inslusion, yen consecuencia la igualdad. Ejemplo 27 Scan los conjuntos de mfimeros nteros Hx-0ex.w-)=0exed ae (xieet B={x/ul “Teniendo en cuenta que el cuadrado de un nimero entero es igual al cuadtado de su valor absolu. resulta reaweste leider ered En conseuencia, A= B. Ejemplo 24. Demostnt que el conjunto de fos nimeros naturales impares es igual al conjumto de I aGimeror naturales euyo cuadrido es impat. Minow A= {eeN/s ssingar) Tet) A=B be ( eens? aimee} Demers LGt4ALDAD DE CONIUNTOS 3 Hota previ Por cefinicion, ua nimero natural x es impar si y solo si existe keN tal que k=1. Por otra parte, es [sil ver que el producto de dos naturales consecutivos es imparsy ave ls ierencla ente un nlinero par y ane impar es impar, Vantos ahora 2 nueste Jemostractin, la cual consiste en prober las dos inclusiones que definen ta igualdad Ie) ACK Enef sear eA. kL oon ken = ai -ak+i om keN ext 22.08 242-1 Senene xe A sx esimpar Dera d eet = 2 RE sienlo EN Hkmos utilizado sucesimmente, '@ definicion de A, ls definicién de miimero impet, cuadado de un binomio, la distibutiidad de la muluplicacion, ts Sustitucida de 1 por (21 nuevarente fb distributividad, ta definicion de ‘numero wnpérsy finalmente la defin cién de B. 2°) BCA, Es clare que x= x (+1) ‘Ahora bien x€B > x esimpar +e. (+) x esimpar 2x EA, esimpar En consecuencit A=B. Propiedades de ta inclwion { JREFLEXIVIDAD. Todo conjunte es part desi mismo. En efecto.si Aes un coajunto, la implicactor vrixeAsxeA a V En cowecsoncti. por definidién. se iene ACA. W)TRANSITIVIDAD Si un vonjucto es pute de ono y este 2s parte de an tercens, enlonces el primero esti Hipowss) ACB Bcc Demostacion) Sea x A. Por hipStesiss tiene xed axeB y xeBoreeu ‘conuNtos Entonces, por ley del silogisei0 hipotético xed sxe Y, en conse:uencia, por definicgn de inclusiom AC C. ii) ANTISIMETRIA. Si un conjunto es parte de otto y éste es parte del primero, entences son iguates. ACB A BCA esa consecuencia de ladefinision de igualda. 235. Caracterizacién del conjunto vacio Propiedad. Et conjunto vacio estéincluido en cualquier ot, esis) A es un conju. Tess) 9C A. Deniosiracién) Consideramos la siguiente proposicion Weixeg >xEA a cual es V por ser el an:evedente F, En consecuencis. de acuerdo con la definicion Je inclusion, se tiene @ CA. Non i teorema es vido cualquiera que sea A: en particular, A putde ser vacio. li) Propiedad. Et conjunto vacio es nico. En efecto. suponemos que. ademis de 9, existe ¢ también vacio. Emeroes, de do con i ). es verdadera la proposicin ee por detinicion de igualiad, result @ = @ Fiemplo 29, Cemostrar ACO MARS, Como se trata de una gualdal se requieren dos inchsiones. 19) BCA por23.s.i) 2°) AC 9. Severifica por hipéresis Luego A= 6. 2.4. CONJUNTO DE PARTES Fado un wonjunto A. podemos formar un muevo conjunto corstituide por codos los sabcanjuintos de A, el cus cece el nombre de conjunto de partes de A. 4 CONJUNTO DE PARTIS. 5 Definicién 7 Conj mtn de partes de A es el conjurto cuyos eementos sn todos subconjuntos eA, Pye { x/xC A} Los eleertos de sste conjuato son a si vez conjantos, y, en consecuencia, P(A) ces un conjinte de corjuntos. De acuerdo con la definiciin se tiene XeP(ayeXc a FI prohems de devitir si un objeto es un elemento de P (A) se reduce adeterminat si dicho ofjet0 ¢s un subconjunta de A, De acuerdo con la propiedad reflexiva dela inclusfin, cualquiera que sea A se tiene ACA. y en consecuencta A ¢ P(A) por definicién de conjunto de partes. Ademés. por 2.3.5.1) se sabe que @ CA, y por ly misma definicion @ # P(A) Es dir, cuelguitra que sea A. el mismo A y el vacio son elementosde P(A), Ejemplo 10. Deterirnar el conjunto de partes de A= { 2.3.4) Los elementos de P(A} son todos los subconjuntos de A. es det ‘Ya notcibn por extension es wore fo. 2) 3) 4}. Ga) Gath. Gat) a} Ejemplo 211, 7 5) conjunto de partes del vacio es el eonjanto cuyo dnico elemento es el P@={o} 1i) La portenercia relaciena elemerto a conjunto, mientras que 12 inclusion ‘elagona conjuntos ene i, Desle est puato de vist, dams los valores de verdad dela siguientes proposicones reativs al ejempo 210. oca v gen F ora