SUGERENCIAS Y SOLUCIONES PARA, Seccién 1.1 Repaso 1. Un proposicin es una aim que es verdadera 0 fls, pero no anbus 2 Latabla de verdad de una proposicn P formada con as propos clones. Pists tdas las combinaciones de los valores de ‘edad pra py.” Py donde V dono verdadero y Fs, para cada combinacién da el valor de verdad de P. 3. La conjneién dela proposicions py 4 es la proposiién p¥@ Se denoa por p 4 4 pa | pag vv v vr F BV FE BF FE 5. Ladlisyunci6n de las proposciones py q es la propose p og Se denota por p V 4 6 pia | ve vv v vr v FV v BOF F 7. La negacgn dela proposicin pes la proposicin nop. Se de- nota por =p. efor v | oF ef ov Seccion 1.1 1. Es una proposiciga, Negavién: 245 7 19 4. Bsuna proposicin, Negacin; Aurey Meadows no era a “Alice” ‘orginal en “The Honeymooners" 7. suns proposicién, Un entero par mayor que dno es la suma de dos primes. 9. Nose obwuvieon 10 cara. (Alterativa: se obtavo al menos una enw) 582 EJERCICIOS SELECCIONADOS 2 1B. Bw. 2. 2. 3 2». a, a. sf 56 No se obtuvierom cars, (Altemativa: se obtuvieron 10 eruces) Verdadero 16, Verdadero pa | paw vy VE PY PrP (agarg F nae maze F F F (PVOACPYO ADV DACPY =A naes seme pag falso Leo no toma ciencias dela computaci, [Leo toma ciencias dela computacin © Leo no oma matemiti- Hoy es lunes o est loviendo, (oy es lunes y est loviendo) y no ceure que (hace ealor 0 que hoy es lunes), sp He opanw par 50, (pv) Ar No, si se supone la interpreta: estar fuera dela ley una pe sona que tenga més de tes [3] perros y més de tes [3] gatos ens propiedad demo de la ciudad. Un juez deteminé que el deerewo ra "umbiguo". Puede decise que el significado que se queria era “Esré fuera de la ley una persona que tenga mis de wes (3) ros 0 més de es [3] gatos en su propiedad dentro dela ciudad.” rnacionles ¥ argues ¥ (norte O su) ¥ dakotaSeccién 1.2 Repaso 1 2 10. Sip yq son proposiciones, la proposcién condicional es la roposiin sip entonees 4. Se denota par p > 4 Sugerencias y soluciones para ejercicios seleccionados 583 2 P20 4% P4O ae PAO si P4O 2. — >a | pinta simple pales ywlow vv[ ov ver] F vel oe ev] or ok rv] ov rel _v v re] iv nla proposcion condicionl p > 4, pes la hipstesis Ena proposicién condicionl p — g, ges la eanlusia, nla propescién condicional p> ,q es la condicign necesaria En la proposicién condicional p -» g,p es la condicién sufi La reciproca de p +g es 4 +p. Sipy axon proposiciones a proposcin bicondional ea pro- posieién psy slo stg Se denota por p «> ea [pon vv| ov ver] oF ev| F eri iov Silas proposiciones P y Q estéformadas pr las proposicionsp,. + Py PY Q son equvaleteslgicos sempre que dados cules” guiera Valores de verdad dp... Py Ya sa qe Py Q son a= tbs verdaderaso Py Q som abs fas, PV =P AGP AG) = PYG 12, Lacomtapositva de p> 4 68-4 > =p. Secci6n 1.2 1, Si José ested dur, entonces pasar el examen de matematicas discrete 4. Si Katia pasa matemiticas discret, entonces tomar el euso de aloritmos. 71. ‘Sil programa se pode ler, eatonces esti bien esructured, 8 (Puacl cjercicio 1) Si José pas el examen de matemiticas isere- tas, entonces esto do, 10, Verdadera 13. Fala 16, Fass 1B, Verdaders 21, Verdadera 24, Verdaders 27. Veedaders 28. p> q BL go (pam) 32, Sihoy es lunes, entonces esti loviendo. 35. No ocurre que oy es lunes o est loviendo iy so i hace ear BB. Seaps4 <6y 9:9 12. La afimacié dada: p > g; fla Revipoca: q+ p81 9> 12, entonces 4 « 6; verdadera, Contrsposiiva: “g-> -p:si9 = 12,entonces 4 > 6; fale 41, Seap: 1d] <3yg-3 <4 <3, [La afirmacién dada: q > p; verdadera Rectproes: p> gi [4 <3 enlonoss 3 <4 < 3; venders CContspostive: —p -> “gsi f¢|> 3.entonces 3 > 404 > 3 verdad Como p impl ges verdader precisament cuando g impl pes ver- Aaders pimp q = g imp p. 55. pa | roa mye vv vo ve F F FY voy FOF v v Como p -> q es verdadera precismente cuando ¥ ges verda- era, p> = pV Seccién 1.3 Repaso 1. S1PU)es una afimmacén qe incaye la variable x, Ps lama una foncién propoiconal si para cada x en et dominio de discus, 4x es una proposicén. 2. Un dominio de discus para una fanei6n proposicioal Pes un conjuto tal que Pts et defini para todo xen D. 3. Undafimacién cuanificadauniversalment es una afimacidn dela forma para ado x en el dominio de discus, 4. 4. Un contragjemplo pack I afrmacign Vx Ps) es un valor dex pa rel que PA) fala, 5. Uni afimacn cuantificada exstencialmente es una afrmacion del forma para alguna en el dominio de dscuso, Po) 6 4¥x P(x) y 3e>PCR) Sones os mismos valores de verdad Gx PCa) y Ve PCH) Semen fs mies valores de verdad 7. Para probar qbe une afimacisn cuntiada uiversalmente Us) ex verdadere, demueste que para todo ene dominio de is curso, la propoicin PC) es verdadera 8. Para probar que le afirmacién cuantificada existencialmente “ie PL2) es verdader enevenire un valor deen el dominio de Aiseurso para el que PG) es verdadera 9, Para prohar que una sfimmacién cuantiicada universlmente Ye P(x) es falsa,encuentre un valor de-xen el dominio de discur- so parael que la proposicin Px) es fsa 10, Para probar que Ia afirmacién cuanifieade existencalmente Je P(x) es fala, demuestre qu para toda x en el dominio de dis «euro, Ia propasicin Pls) e fala Secci6n 1.3 1. Es una func proposicional. El dominio de discuso podea se todas los entero, ‘4. Es una funcion proposicional. HI dominio de discurso es el con- junto de todas las peliculas 7.1 divide #77, Verdadera, 10, Para todo entero positvo n,n divide «7. Fal584 — Sugerencias y soluciones para ejerci 12, Todo estudiantes en el curso de matemticas. 415, Algin esttiante no est en el curs de matemiticas. 18, (Paraelejerccio 2) 3x P(x), Algsin estainte no esti en el cur soe matemsties 19, Todo alta profesional jueg ftbo. Fats, 22, Alguien no jeg fbolo alin jugar de fol es un ale pro- fesional. Verdadea, 25, Todos son alts profeionalesy jugadores defo Pals 27. (Para el sjetcicio 19) 3X(P(YA~QCD), Alguien es un atleta profesional y no jugga fib 28. ¥e(PCX) > OW) BL. Bx(PEx) A U8) 32, (Paral gercici 28) 3x(P(x) A O(a). Alyn contador no os duet de un Porshe 38, Falso, Un contraejemplo es x= 0. 36. Verdadero Fl valor. x =2 hace que (# > 1) + (2? > x) sea ver daders, 39, (Paral eercico 33) 3x(0? <2), Existe que se 41. FI significado literal es: Ningin hombre engi a su esposs. El significado deseado cs: Alga hombre no engaia a su espost. Sea 2.x) la afirmacidn "x es un hombre” y sea Q(x) la afirmacin "x cngaa a su espose”. En simbols, lz afirmacion aclarada es SRP) AOL) 44, Fl sieifcado itera es Nngin problem smbienal es una tage Fl significado deseado es: Alpin problems ambiental no es una ts god. Sea Pla afrmacién “x es un problema ambien” y sex (Q() Ia afmacign "x es una tages. En simbols, la afirmacién sclrada es Ix(P() QCD), 47. significado teres: Todo noes deur y mel. El significado Aeseado es: No todo es dlzuray mel Sea Pt la afimacin “x es dulzura y-anel”. En simbolos, la afmacién aclarada es PQ), Seccién 1.4 Repaso 1. Par toda x y pra today, PCs 9). La afimacin es verdadea si ara today para toda yen el dominio de dicurso, Pls, 9) 8 Ver- fader. La afirmacin es fsa sexist al menos una xy al menos tuna yen el dominio de dscurso tales que PU 9) e fas, 2 Paratodax, existe yal qu Psy). La afimacidn es vedadea si, para toda en el dominio de diseurs, existe al menos una ye el dominio de dscurso pars la cul Px, es verdaera. La afirma chin s fal sexiste a menos una-xen el dominio de diseurso ca aque Pls, 9) es fala para toda yen el dominio de discuro, Exists ue para today, P53). La abiacin sera cx al menos ua xen dominio de discus al que Ps, 9) <3 verdadra pa ratoda yen el dominio de diseuso, La frac sala para to dh enel dominio de discuno, existe a menos una ye el dominio de tiscun ta que Po) faa 4. xine x y existe y tl que PC,» Laafirmacion es cera sex te al menos une xy al menos un yen el dominio de dscurso les que Px, yes verdadera. La afimacién fas i, para toda 1 paza toda ¥en dominio de dscurso, PU, 9) fas. 5, Sea Px) lfc proposicional “c= y" can lo entero como dominio de discus. Entonces Wray P(x, ) es verdad ya que, para todo entero x, existe un entero y (por cemplo, y= ) tl que "yes verdadra. Por oo lado, =3¥) Px, 9) es faba, Para tor do entero x, existe un entero y (por ejemplo, y =x ~ 1) tal que = ys fala 6 a w. ios seleccionados Bay Ply) 1 BVP) ve8y-P, 9) 9. ¥aVy>PLa,Y) Dada una funein proposicionalcuantificada, usted y su oponete, quien lamames Femando, juegan el juego de Iigica. Su meta es in- ‘ear hacer quel unc prposiconal sea cea Ia meta de Fe: nando es infentar hacer fl, Fl juego eomienza eon el primer cuantiiesdor (iguicda). Si el cuanifcado eV, Fernando eige ut ‘aor para ese variable; scl cuansicadares 3, sted escoge un va Jor pares variable. Hl juego contin con el segundo cuaniicadr. Desputsdeclepir valores para tos las variables, sla func pro- psicional es verdadera, sted gana: ses alsa, Ferando gana. Sius- ted pode gant sempre sin importar 0, Verdadera. Para cualquier x si se hace y = x ~ 1, la proposicién condicional six = y,entonces x? yes cierta porque a hips Sis es alsa (Paral ejerccio 21) 3x3y(e2 > y +1) (@ara el ejercsio 21) Como ambos cuantificadores son, Fernando lige valores para ambos xy y. Como Fernando puede cept valo- res que hagan +? = y+ 1 falsa (por ejemplo, x = 2, y= 0), Fer- nando puede ganar el juego. Por lo tanto a proposicin es fas, Como los primeros dos evatificadores son V, Fernando elge va- lores para ambos yy. El imo cuanificador es 3, de manera que usted elige un valor para z. Ferando puede elegir valores (por sjemplo,x = 1, y= 2) de manera que no importa qué valor selee- cone usted para za expresién (en DAGeM ¢s fla, Como Femando puede elegir valores para as variables de forma que usted no pueda gana, la firmaci cuanficadaes alsa,Sugerencias y soluciones para ejercicios seleccionados 47, ¥x3y P(x, y) debe ser verdadera, Como Wx ¥9 PE. 3) es ver Aaders sin importar qué valor dex se selescione, Px») 8 cieta ‘para toda y,Entaces, para cualquier x, Psy) es eerta para cual- ‘qieryespectica, 50, ¥3¥y PL.9) puode ser fas. Sea P(x,» ln expres x > y, Si cl dominio de discurso ex el conjunio de los enteros, Yedy Px.) es verdaders; sinembrago, Vy P(x, y)esfalsa 53, Vey P(x, 9) puede ser fla. Sea Px 9) la expesiin x = y, Si el dominio de discus es el coajumta de enteros positives, 3x¥y P(x, y) es vordadera; sin embargo, YX ¥Y PL 9) 08 fas, 56, We¥y PCL») puede so alsa. Sea Px,» ln expres x = y. Si el dominio de discurso es el conjumto de eneros positives, “ie 3y PCa, 9) ef verdadera sin embargo, Vx Wy PL, y} es alsa 59. 3x~(¥y Px, »)) oes un eguvaene gion de =(¥x Iy PC 9). Sea Px») lacxpresin. < y Sil dominio de discurso ese con- junto de enteros, 2-y¥y Pex, y)) es verdadera sin embargo, “tr 3y PU, 9) es alsa 62, 3:3y7P(x,y) no-x um oquivalenteliico de “(Ve Fy PL») Sea Psy) la expesiin x « y, Sil domino de dsurso ese con- junto de eneros, 33) P(x, 9) es verdadera; sin embargo, “eve 3y P(x.) es fa, Seccién 1.5 Repaso 1 Un sistema matemiico consist en exiomas,definiciones ytemi- os no definidos 2. Unaxioma es una proposicidn que se suponeverdadera ‘3. Una definicién crea un nuevo concepio en términos de los exis- 4. Untérmino no defini es un éemino que no tiene una dfinicénex- plist, sino que est definido de manera implica po lox axioms '. Unteorema es una proposicién que debe demostrarse que es ver ders {6 Una demostraién s un argumento que esablece Ia verdad de un 7. Un Tema es un teorema que suele no ser muy interesante por ‘mismo, pero que resulta il para demostar oto teorems, ‘8 Una prueba rec supone que ls hipiess son ciertasyentonces, usando las hipétess, otros axioms defniciones yeoremas demos. ‘zados anes, prushadiectamente que la conclsién es verdadera 9. Umentro mes pars existe un enero tl ue n = 2k 10. Un entezo es impar si exist un entero k tal quem = 24 4 1 11, Una demostacién por conradiccinsupone que las hipstess son verdaderasy que la conclusin es flea y después ust la hiptesis la negocin dela concusia, junto con otros axiomas,definicio- res y teoremas demostrados antes, para obtener na conradicein 12, “Demosracién inet e ora nombre parla demesrcin por contradict 13, Para probar p — 4, la demostracién por contapostva praca la sfirmaci6n equivalente > 4 -> — . 14, lugar de peobar iv mv vp) a «en la demostracién po easos, se proc DN DA APB: 18, Para proba RPC, se encuentrs un miembro «x en el dominio de dscurso que hace a Pra) verdadera 585 16. El razonamiento dedustvo se rfiere al proceso de delinear una conclusén a parr de una secuencia de proposiciones 7, Brel aumento Py... Py. las ipstesis som py ys Py 18, “Premises oto nombre pata hipéess 19, Enel angumenio p,.py. py la conclsin es 4 20, El angumento py, Pa.» Pal 46 vido siempre que spy PY ¥ p, som todas verdaders, entoncesgtambia es verdades, 21. Un rgumento invade es un argumento que noes lio. 2 pg Be pq Ze = 7 Fr ap 28. pa Ba P 26. p mpg “ aoe PG pot % pve a 7 Myer 30. Pid) para todo den D Pia) sidestienD ix FG) 31. 3ePQy) ee Pld paca alguna den D Pd) pra alguna dea D ra Secci6n 1.5 1. Sites puntos no son colineles,entonces hay exaetament un pl ‘no que los conten, 4 Sixes un mimero real no negativ y mes un entero positive, x" esl nimero no negative y que stacey — x 7. Sean my mentros pares. Entonces existe ky tales que m = 2k, yn = 2k, hors mb n= By + 2hs = 2k: +h). Por To tanto, m-+ mes pat 10, Sean m y m enters impars. Entonees existen ky y &, tales que 2h Ly m= 2k, + 1 Ahora (ky + 1)(2ky +1) = Ak ky + 2k, + kp $1 200k ka + Ry ha) +1 Por lo tanto, mes ima. Bo O0405 4-0 porgue b+ 0 = B para todo rimero teal b (0-40) porgueb-+0=b para todo nimero realb 04.520 porque a(h +6) = ab + ae para todos ls ndmeros reals a, Be ‘Tomando @ == - Oy b= 0, le ccuacin anterior se conviee- weeng + b=a4 6 por tun, *0. 16. Supongs que la conclusién es falsa, es deci, que no hay des ol 4s que contienen el mismo némero de meoneds. Suponga que se sreglan las bolas en orden csciente del nero de monedas que contienen. Entones la primera hols comtene al menos una mo- neda; la segunda bosa coniene al menos dos monedas:y asl su- cesivamente, Entonces el nimero total de monedas es al menos LE2b 3b Om as, Esto contrac la hiptess de que hay 40 monodss. La prucha por contradiecin queda complet,586 Sugerencias y soluciones para ejerci 19, La afirmacign es ventaderay se demuestra usando lz procba por contradiecign. Suponga que para toda = A. Como, < A para today 5,< A. Sb baby Abt Ap AA, Al vii entre n se obliene pete oy aque es una contradic, 22, Se consideran tes eas: x = 0,4=O <0. Six 0, [xl =ary sen(s) = 1. Porto tanto, le ena) Six=0, [sl =O sen(x) = 0. Por lo tant, I] =0=0-0= sencs)e Six <0, [xl = ry sgn) = —1, Por lo tanto, sen) Fin todos los casos se ene [al = spain 25, Se consideran dos casos: x > yy x <> Sire», mala yh =x y min(s 9) Por lo tanto, xs) + i, ») oa Sixes, mats yh Por lo tanto, y mints 9 smix{s 9} 4 minlx yoy beast Bn cualquier ess0, smix(x 9) + minx y} sbytinoydl z 28, Gxt, y) + mins, y shythe aet2y SP ety BL Vilide: p+ g at 7 34 Invade (pv) +g get =p 36. Vili. Si 4 megabytes es mejor que nada de memoria, entonces ccomprareos una noeva computador, Si 4 megabytes es mejor que cero memoria, enfonces compraremes més memoria, Por lo tanta, si 4 megabyies es mejor que cero memoria, entonces com prams una nueva computadora y compearenos mis memoria 28. Invild, Sino compramos una nueva computadoraentonces 4 me- sabytes no es mejor que ero memeria, Compearemos unt nieve ‘computador, Por lo tanta, megubytes es mejor que cero memria, 41, Invalid 44, Invlido “47, Un anilisis de aumento debe tomar en cuenta el hecho de que “nat” se usa de dos maneras muy diterenes, 49. Suma ios seleccionados 153, Seap la proposicién “El ato tiene gasoina, sca gla proposicion "ea a tends”, y sea rl proposcion "Compraré un reessco™ Enonces las hipsteis son poa aor ° Dep-> gy q-> r 5 pusde usarcl silogismo hipottico para con cluir que p > re p > ry p. se puede usar modus ponens para coneluirr Como r representa la proposicién “Comparé un eftes- «co, se eoncluye que la conelasén se deriva de las hipstesis 156. Sea Pix) la funcdn proposicional “x tene una eaeuladora que ffi” y sea QC) It funcién proposicional “x eninde ls fun- ones wigonométicas”. Las hipétsis son Ws PC) y Va(PCx)—> (0c). Por ejempliicacion universal, se tiene P(Rafael) y PRA fael) > Q(Ratel. La epla de inferencia modus ponens ahora da (O¢Rafee), que representa la propesicin “Rafael entiende las fun- clones trgonométreas™ Se concluye que la conclusién se deriva de las hipotsis. 159, Se consruye und tabla de verdad para todas las proposicions im- plicadas: pa roa voy v FOP vor F voor Foy Vv Foy FE v voy Se observa que siempre que la hipétess p > q y ~g sean verda ‘eras, la conelusin“ ptambign es verdadera; portant, el argb- mento es vélido (@. Se consruye una tala de verdad para todas las proposicione im- plicada: ea pag vo v vor F Foy F POF F Se observa que siempre que las hipsessp yg son verdaderas, It onelusdn p A g también es verdader; por To tam, el argumen tos vid, (6. Por definicén, la proposicin Vs P(x) es vedadera cuando PU) «es verdaera para toda xen el dominio de dscurso, Se sabe que Pld) es verdadera para cualquier d en el dominio de discuso D, Por tanto, Ve P(x) es verdadera Seccién 1.6 Repaso 1 pya.opyriavr 2 Una clita conse en téminesseparads por o, donde at tein uns variable ol oegain de una vara 3. Una demostrain por resoluién procede aplicandorepetidas ve- 5 la reg en el ejericio 1 pares de airmaciones para derivar nuevas afimaciones hasta obtener ls conchsi,Sugerencias y soluciones para ejercicios seleccionados 1 vv vovofFy vv voor v vor vovoy FovoV v voy FOV F v voy FoR Y F voy FoR E F v 2 L-pvave 2-4 a7 4 dety2 5 deays Primero se ve que p > qe Iogicamenteequivalente a ‘Ahora se argument lo siguiente Pa 1 spvg 2 pve a@ dety2 7. @uael gericio 2) L -pvave hipsesis ay hipétesis Bor hipsesis ap negacién de conclusion S.-pyr dety2 6-9 deays ‘Ahora 4y 6 se combinan para dar una contradicen Seccién 1.7 Repaso 1. Suponga que se tene una funcignpropesicional Stn) euyo dome rio de diseurso exe conunto de enteos positives. Suponga que S(1) es vedadera y, para todo n > 1,8 Stn es verdader,enton- ces Son + 1) es verdaera. Entonees Sin) es verdadera para todo 2 Primero se verifca que Ul es verdadera sabe). Despues se supone que Stn es verdadera para prar que Sin 1) 8 ver dea (paso indutv. 4. La sama geometrca es la suma tar! ar? tober Es igual a ace! ST Secci6n 1.7 1. Paso base 1= 1 Paso inductive Suponga verdad par, Le $ On DE Ont Dean (1.2.3)/6 wep? 4. Paso base 2 ry 10, 2 1s, 18, 21. 24, 587 aso inductive Suponga verad para. 2 nlx + Qn 1) 2 a in P= REED en ay (4 Din +2143) 6 Paso base 1/(1-3) = 1/3 Paso inductive Suponga verdad param t 1 1 —— T BaD TH GETS 1 TP DRTH ~ Be cosix/2)-2)sem(x/2) sen(x/2) Paso inductivo Suponga verdad para, Entonces Paso base cos eos bt cose + eosin + De coslin/Dn = Dl senins/2) sents) Foon + De.) DDebe demostarse que el Indo derecho de (+) es igual a cosfr/2)n + 2 senlln + Ds /21 ene) sto es lo mismo que demostrar que [despuss de multiplier pore ‘én se0(e/2)] Foouln + Dasen (2 | 1/2, debe demosterse que Sie (PaKn+ Dy # cosarsen(a— f) + cos2asenft = costa +f sen sua skima ccuscién se puede verifcarreduciendo cada lado téaminos que implican 9 8. Paso base 1/2<1/2 aso inductive. Suponga verdad para n L35--Qa— Ont) Leth BAG moa” In Paso base (0 ) e161 Paso inductive Suponga veda para n eee ral S242" porelejercicio 14 Pars < Paso base 7! —1=6 esdlvisible ent 8 Paso inductive Suponga que 8 divide 7 —1. Ahora ee eee Como 6 divide alos dos, =I y 67, aide a su suma, que es pn Paso base 3 Paso inductive Supongn que 8 divide a 3+ 7" —2. Ahora 30" 42) 440" +. 17) 2 = Ses divisible ene & silamti2588 26, 2. 2 35. 36. Por a suposci nduciva, 8 divide a3 + 7 ~ 2. Se punde war in- dduccin matemitica para demostar que 2 divide a7* +1 par toda» > I (el argument e similar al dad en Ia sugerencia par el ceri co 21. Despds se deriva que 8 divide a 4 + 1). Come 8 divide tanto a 30" + — 2) como a (7 +1), ambi divide a su sua, quees 99747722 in el paso inductivo cuando le inca (n + 1) se agroga, debido 8 Jas suposciones, la linea eruzaré cada una de las otras linea ‘ora, imagine rcorrer la linea (n +1). Cada ver que pas p tana de ls cepiones originales, se divide en dos regiones [Lr ml Se denota el euadrado en el rengln cola j po, ). Eaton 8s, pr simeti, deben eonsiderarse so tabletos de 7 x 7 con eusdrados (,)eliminados donde i 2%, que se pucde eosar usando el ejereicio 34, Entonces, el tablero deficiene de 2"! x 21 se enlosa. El paso indutivo qued completo. El tblero es un tomino, ‘Numere los euros como se musts if2[s]a 2[afa[2 s|if2[s ifa[s Observe que cada tomino cubreexactamente un 1, un 2y un 3 Por lo tanto, si existe un enlosado, se eubren cinco nimeros 2 Com se roguieren cinco trominos, el cuadro que falta no pucde ser 2, De maner similar, el char Falkante no pucde ser 3 ». a. Sugerencias y soluciones para ejercicios seleccionados 1 mismo argument aplicado 2 tfafe]a 2 3 [2 sf2fals rfafefa muestra que la nice posibiidad para el cuadro qu fale sea unt esquina, Este tablero se puede eles: Se prucba que pow =a"! es un ciclo invariant para ciclo "whi- Je" Justo ates de que el ciclo “while” ince su ejececén = 1y pow = 1, de manera que pow’ = a. Se ha probado el pas base. Supongn gue pow = a"! Si = m (Ue frm que el everpo de ico se ejeeua otra ver, pow se convene en pow ea a se convient en + 1. Sea probado el paso inductive. Por lo tanto, pow = a es invariant pau el ciclo “wile” leiel “while termina cuando i es invariant, en este punto pow = 1, Como pow a) s=022 4+ 2n-+ 204 1) = Sy +2042 (14 29m = 4 242 mean Sia 4 2njentonces ) Dobe tenerse 8 5, = Shay +20 (8,442 —D1420 Syn 2n-4-200= 1) Siaat 2a + 2m = 1) $2(0—2) = SFI +2] niet) |] cen (MOD =r anee Sim =2, cadn persona lanza un pastel aa ota y no hay sobre La alirmacin es falsa. Ea iG 3 ns 1y 3 son los mis leunos, pro ninguno es sbrevivente Sean xy y puntos en XY, Eatonces x est en Xy y est en X. Co ‘mo X es convexo el smento de recta dex ayes en X. De mane ra similar, el segmento de recta dey est en ¥. Poe lo tao, el segmento de recta de-xa y esi en XY. Asi, X Yes convexSugerencias y soluciones para ejercicios seleccionados 55. x, ns, Apligue el eorema de Helly srt 60. Paso base JQ)=1 Paso inductivo Supenge verdad para. Alora suponga que 2" pee- sonas estén colocadas en cielo, Se comienza por elitr 2,4, 6, +21 Bnonces se tienen 2 personas colcalasencteloy, €0- ‘menvando con I, se elimina la segunda persona, después la eur, asf sucesvamente. Por la suposicin indotva 1 soirevive. Po lo fan, 1s denota los n puntos y Xl eteulo de radio | centrado XpornX, 1) Coma se elimins 2,1 sobrevive, Entonces JO) = 52) = 63. La potencia mis grande de 2 menor © igual que 100,000 es 2 ntones, en la notacin del ejericio 61, n = 100,000, Por el ejericio 61, 4(2.00,000) = Jn) = 2j +1 = 2-34.468 + 1 = 68.09. 64 by that tb, = (aa) Hao) Fee (ans = nd May Fag = das a yaque ay... a, se cancelan. 67. Sea Entonces 1 = Ady = dy) ~ dy = OF = WI eed Sea b, = Aa, Por el eercici 64, tn a, ay Sie ~ Aa Shh 1 =n met! aeT Multiplicando por —1 se leg ala rma desea Seccién 1.8 Repaso 1. Suponga que se tiene uns funcién proposicional Sn) cuyo domi- io de discurso el conunto de eneros mayoresoguales que ‘Suponga que Si) es verdder: y ara oda n> my, SUA 8 ver- dadera para toda ky =k = n crtonees Stn) es Vrdadera. Poo tant, Sines verdadera para todo enero n >, 2. Todo conjunto no vacio de enterosnonegativos ene al menos un clement Sid n son emeros, d > 0 existen entero dicosg(eocient) y ‘wesiduo) que susficen n = dg-+r, O< 7 8 y se puede lograr un im- pore de k centavos o mis ustndo slo timbres de 2 y 7 centavos para 6 = & = n, Por la suposicin inductva, xe puede lograr un ia 1s, 8. 589 importe den ~ 2 centavos, Al agregar un tbe de 2 centavos se tien el import den centavos Paso base (n= 4) Se puede runir un impore postal de 4 cen- tavos usando timbres de 2 centavos Paso inductivo Se supone que se puede lgrar un impede cen- tavosy se prucha que se puede eunir un impote dem +1 centavos ‘Sine os timbres gue forman el mote dem centavos iy sl menos un imbre de 5 centavos, se sstitye un timbre de een- tavos pores de 2 centavos para tener + centavos. Sino hay timbres de 5 centavos ene los que forman el impore de m centa vos, hay al menos dos times de 2 centavos (porque n > 4). Se sustiyen Los dos mbes de 2 centavos por uno de 5 centavos pa- ra reunirn + 1 centavos de import postal c= 20,65 = 29 B estas a=teska= |. Paso base (n= 4) El primer ugador remueve una carta (de eal- ‘ir pila) Luego el segundo jugidor quia la dtima cara y gant el juego. Paso inductivo Suponga quem > Iy siempre que haya dos plas de L> n carts, cl segundo jugador siempre puede ganar el juego. Suponga que hay dos pis de meats. El primer jugadorre- tira i eartas de ua de las plas, Si = m (es decir el primer juga or retin fdas las cartas de una pil), el segundo jugador puede nar emoviendo todas las eartss dela pla que queda. Si 1. Se lig el entera mayor n que sae tistace alee, ma (Ersinen de sound problemas anterior mesa ua su Llyn itate ts es no acotada; de manera que existe alm) Sis obiene una desi ualdad, pe en forma epics, entonces supoaga que iv lop pte tae ” z(t scl que D >0,Como nes leer mis gine qu satis (0), Tytyyly toe That te arg Defina590 Fn particular, D < 1. Pr l ejeciio 20, D debe esrbirse en for- ma cpipci: donde Is, son distntas. Dado que 1 =Ds s para i= 1 m Te nen4lenpani Se deduce que 12 ccna son disintas, Entonoes st ropresentada en forme egipcia. 23, tin esta solu, In induce es sobre el conjunto X de eneros limparesn > 5, donde 3 divide a ~ 1. Ese tipo de inden se poede jostfcar al considecar que la primera airmacin se wate ‘el entero mas pequetio en X a segunda afieracin es cere del segundo entero mis pequeto en X, etter, Pasos base (1 Iucidn sin = 7, 7,11) Bl ejerccio 32, seecidn 1.7, da una so- Sin 11 seenciere el cuadro que falta en Ia esquina del subtablero de 7 x 7 (vea la Figura siguiente). Se enlosa este sub tabloro usando el resultado del eercicio 32, seccién 1.7. Se enlo- san los dos subtableros de 6 x 4 usando el resultado del eecicio 31, seccidn 17. Se enlosa el subablera de 5 x 5 com un coadro faente en la esqina usando cl resultado del ejercicio 29, secién 117. Con esto queda enlosado el tablero de 11 Paso inductivo Suponge que n > Ll y suponga que sik 5, y 3 divide a? — 1, enfonces un ablerodeficien- te dek x kse pede enlosa con trominos CConsidere un tablero deficient de nx n. Enciere el euadro fattante en una esquina del subtabero de (n — 6) x (n ~ 6). Por a suposiciéninduciva, este blero se puede enlosar con om nos, Enlose los dos subahlers de 6 x (n—7) usando el resultado del jecicio 31, seein 17. Enlose el tablero dficiente de 7x7 usando el resultado dl ejercicio 32, seceiéa 17. Bl blero de n> rn queda enlosado ye paso inductive queda completo, Sugerencias y soluciones para ejercicios seleccionados aang PxO-T} 6x0 ms 27. Sea Xun conjunto no vacio de enteros no negatives. Se debe peo har que X tiene un elemento menor. Usando induceién matemt ca, se demuestra que para toda n > O, si X coniiene un elemento menor o gual quem, entonces Xtene un elemento menor. Obser- ve que eso prutha que X tiene un elemento menor. (Como Xes no ‘avi, X contiene un entero m. Ahora bien, X coniene un elemen- tomenoro igual que se deduce que X tiene ur elemento meno, Paso base (7 =0) Si contiene un elemento menor 0 igual que 0, entones X comtien al 0 pussto que X consta de eneros no ne- fativos. En este caso, es el elemeato menor en X aso inductive Ahora se supene que siX coniene un elemento menor a igual que n,entones X tiene un elemento menor, Debe demostarse que si X contine un elemeato menor o igual que n+ enconees X ene un elemento menoe. ‘Suponge que X contiene un elemento menor o igual que n + 1. Se consderan dos esos: X contiene un clemento menor o gv en Xn0 contiene un elemento menor o igual que. Si.X con- tiene un elemento menor o igual que n, por la suposvin indueti- va, X tiene un elemento menor. Si X no contiene wn elemento menor igual que n, como X contiee un elemento men «igual aque n-+ 1, X debe contener am + 1, que ese elemento menor en X-El paso inductivo queda completo Capitulo 1 Autoevaluacién 1. Fabs 2 Poa PAgviry—) vovov v vVover v vor v v vor. v roy oy v Pov F v FOF F Vv Tomo el curso de administacién de hoteles y ya sea que no tome supervsin recreativao tome cultura popula 4 pyG@ay 5. Sil.usobsone 10 en matemaicas discretas, entonces Las estudia dare Reciproca: Si Las estudia duro, entoces abiene 10 em matemé- tics discretas. Contapositiva: Si Lis no estudia dur, entonces 1 obtiene 10 en matemsticas discret 7 Verdadera Brg >o—y 9. La firmacidn no es uns proposicidn. Fl valor de verdad no se pede determina sin saber a qué se reiere "el equipo”2. 18 “ 1s, 16. n. 1. a. Sugerencias y soluciones para ejercicios seleccionados La afirmacin es una fancin proposiional. Cuando se sustiuye un equipo en particular en ia variable “equipo”, la aimmacion se coavierteen una proposicién ara todos los enteros posits n,n y m-+ 2 son primes. La pro- posicién es fas, Un eontanjemplo es = 7 ara alin entero positivo m,n yn-+ 2 on primos. La propos cs vendadera Por empl, sin = 5,ny n+ 2son primes. BeVy>K(x.y) ‘Ws5yK(x, »); todos conocen a alguien La afirmacin es verdaera, Para toda x, existe ya saber la rat cibca dex. tal que x = y En palabras: Todo ndmero rel ie tas rai edica in WUIyNEP Cx, y,2)) = AGNWEP Es, ¥, 2) BeYyWWEPCR 9.2) RYVSREAPCL, 2) ‘Suponga que si cuatro equpos juegan siete juegos, nngin par de ‘saipos jucga al menos dos veces; o, de manera equivalent, st cuatro equpos juegan sete juegos, cada par de equips jucga cuando mucho una vee. Silos equips son A. B, Cy D,y ada par ‘de equipos juega cuando mucho una ver, el nero mar de je 0s que se pueden juga AyB, AyC; AyD; ByC; ByD; CyD. [Bntonces se pueden jugar cuando mucho ses juegos. Psta es una contradiecén. Por lo tanto, si cuatro equips uogan sete juegos, sgn pa de equips juea al menos dos veces. [Los axiomas son afirmaciones que se suponen verdaderas. Las de- finiciones se usan para crear adevos conceptos en trminos de los En una prueba directa, no se supone la nega dela conelsin, mientras que en una prueba por contradiceién, se supone la nega- inde a conelusign, lL argumento es invade. Spy r son verdaders y qs fas, las hipétesis son verdaderas, pero la conclu es fas. (evar =spvayr aravr SGpynicave (png) ons = Cp yn py nla va V9) Lopva 2 -av—r 3. pyor 4 -pvw ety? Sor deays Lapva 2-wr BR pyar ar negacign de la conclusion 5. pyor dety2 6or ae3ys ‘bora 4y 6 dan una conidiccién, 591 En los eericios 25 al 28, slo se da ef paso inductive, IS DHA I HMMs ani HAND io en 42) 26. in Dn BHP + On + int DP = AEE ED 1 _ Mn In 12n+ +i an + pp = et Be aes Did n. 2 ny net 7Rt Gam aa ee 1 TOFD!” GFR EDT 2 OT YL + in $2") soe yet ere aa] = TER a4 D2) bint w. 9=9, ®. @=2e 31. aso base (= 1) «1 = Paso Inductive = Rea) tm = 2n/2)Igln/2) + = Aa /2)Ighn/2) 4 = nilgn- 1) +n =nIgn 32, Sea X un conjunto no vaio de ener no negtivs que tene une cota superior Dee demostarse que X conten un elemento mayoe Sea Yel conjunto de cota superioresenteras para X: Por t= posiiéa, Pes no veto, Como X consiste en enters no negatives, ¥ también consiste en enteros no negatives. Por la propiedad del buen orden, ¥ tiene al menos un elemento, dgamos n. Coma ¥ ‘consist en coas superiors para X, > m para toda ken X, Supon- 2,2 manera de coavadicein, que n no estéenX. Fatonces k= "pare oda ken X.Asfn~ I es una cota superior de X, lo ual tes una contradicién, Por lo tanto, n estéen X. Como k = n para toda Ken X, nese elemento mayor en X Seccién 2.1 Repaso 4. Un conjuno es una colecisn de objets, 2. Un conjuno se puede defini ixtando 1s elementos en él. Por cfemplo (1.2, 3.4) es el conjunto qe consis en fos emeros 1, 2,3, 4 Un connt también se puede defnr dando las propieda- des access pares ineprantes, Por esp, {eles nimero ral, positvo} define el conjunto que consists cn fos nimero reales postivs. I ndmeo de lementon en X sxex oe X= FsiXy Yeienen los mismos elementos, XC Yrsitado clement de Xes un elemento de ¥ X esun subconjnto propio de ¥denoiao XC Y, i XC VyX A ¥ 10, I conan potecia de X esa eoeccidn de tados ls subconun tos de X. Se denotapor PD, m2 xex seme