Indice ProposicionesVogiens . 1.1.1. Clasiticacin de las proposicones Kxicas . Bjercicios Concetores Ligiens Ejereieios . Algebra proposicional 1.5.1. Equivalencia bigiea - 1.5.2. Principales levesligicas @ tantokigieas jercicios Arguments ogicos| 17.1. Argumeatos notables 17.2. Bjericios « - Cuantifeadores : 181. Funeign proposicional o predicato 1.82. Cuantiieador universal: ¥ 18.3, Cuamtificador existencials 3 LSA, Negacion de cuantificadores general185. Uso de eoatracjemples « 186, Existencia y uniidad 19, Ejerecion 110, Métodos de demestracion 11, Bjercicios 1.12, Detostraciones mater 1.13. Ejereieios 2. Conjuntos 2. Axiomas 22. Relaciones entre conjuntes 22.1. Relacion de igualdad 2.2.2. Relacion de inclusion 23, Algebra de conjuntos 23.1. Uni deconjuntos 2.4, Intersorion de wonjuntes 2.41, Complenento de sn canjunto 2. Diferenca de conus 2448. Diferenca simétrien 2A, Producto carts 25, Ejecicios 26, Conjuatos Numinicos 26.1. El eonjuto de os ni 26.2, El eanjunto de les 26. ELeonjuato de les nimeros racionales Q . El sistema de Jos ssimeros reales 8.1. Definicén 3.2, Propielades dela adicion y raultipieacion cxomtien de es nimeros reales 33. Potenciacin y tadieaein en 3.4. Mis propia de la relacon de orden 35. Ejericios 8.6. Incervales de mianeros reales 1.7. Méduloo valor abwoluto 38. Maximo entero 86 0 2 9% 100 101 105, 107 Mm 5. 16 120 12s - 18 135 136 138 ui 4, Relaciones y fanciones 3.9. Bjericios 16 8.10, Supreme e flim Lr BAIL. Bjercicios 7 3.12, Aplicaciones: evuaciones 150 3.12.1, Beuaviones Hinenks 61 3122. au 8.124. Beuaviones con valor absolato B.A25. Bjereicios 8, Kenariones eon ralieales 3.18, Aplicaciones: inecuaciones 3.13.1, Ineeuaciones linens 180 3.13.2. Inecunciones racionakes Ii 3.13.3. Ineeuaviones com radicals 19 3.14. Bjercicios i 3.15. Principio de induccién matemétiea 3.15.1, Principio de inducin matemti 8.16, Bjevcicios 5.17, Problemas resueltos sobnedesiguatdaces 3.18. Bjercicios 4.1, Relaciones 4.1.1. Relacion de Equivulencia 11.2. Clases de equivalercia B 3. Funciones LL. qualdad de Fmeienes 41.8.2. Fimeiowes y rsolusiin de cenaciones L838, Bane In LBA. Compusieiou de 4A, jeri 4.5, Conjuntes imagen ¥ preinagent 4.6, Faaciones reales de yariable eal 4.6.1. Facianes paves eimpares 1.6.2. Fancianes poritieas 20sa. Algebra de fancione 10, La funcion exponencaly la 110.1. Acotatninto de stecnjinntes La funcion exponencial 10 1.103. Funcion lagaritano natural 12 118. Ejerric 1.15. Traslaci wtieal de funciones 116, Tiaslacin horizontal de fancion 1.47 Retox de Fa ses le funciones 119, Grea de funciomes especiales Bibliogratia Indice alfabético Introduccién a la légica ua logica se ha desarolad a fo large dela historia dea unmanidad, pudiendo les etapas: légica antigen que pexlria cousiderarse desde Ia lvidise en dos jie hasta undid del siglo XIX, cys enmactertsticay fueron: cater tmideraron Iilossfico, método desertion y dvisida tripartita. las culturas con estas caractersticas dentro de st desarrollo del euguaje y peasamiento, algunas tots cultura fueron la Antigua China, la Antigua India y bs Antigua Greeks Tendo esta stim de donde se tien muchos de los resultados tesco Hlerados como los puntos de partida de muchas tearias, Dentro de ss grandes txponentes se tiene Parnnides de Elea, Demberit, Zev de Ek, Sierates Protagoras, Plain y Aristteles, este skimo considera como el padre dle Ia sie, laste Blbsafo Goons Mk como representantes de la ligica antiga, co1ne Muchos mitotese investigadonesindiean que la égiea movlerna que se puede con sierar que inicia « mesial det siglo XIX, endo las prinipales caraete Invicter flosdfico, métode matemétia y divisiin tipartit: veniemdo como si Boole, Venn principales representantes « Giuseppe Peano, David Hilbert, Fre be Mongen, Rosell, fed Tarski y Francisco Mied-Quesada, coma se muestra a 12. en la ig Fn el proscute capitulo se trataré brevemente las etapa de ba Hea, ubicacion dle In Kgica on tn ciencin,klentificackén, clsfcacion, algebra propesicional, ta 1tacion a ba Logica Capitulo butted teak, enantifalores y métodos de demostracion de angumentos totugias, prdicades, ca igi. Gravis a la tigi, la matemtica posce un lengua elaro y um método preciso ns partie de axiomas, deiniiones y teoretansdemostrados denustar toon’ aa previameate, Como se pee ver, par ejemplo, en In teorfa euctidians, ==. C-m vo 0 nocién primitiva es un concepto no definido En gies, un concept ps un eontesto determinado. implica que su signifieado sea Que un eoncepto primitive sea no definido, inmpreciso, pcs las relaciones entre Jos conceptos primitives, los axiomas, las de finkionesy teoremas, otorgan un signifieado preciso. Son ejemplos de nociones primitivas © conceptes primitives, Ia de punto en geo- retria eucldiana, conjunto en a teorfa del mistno nombre dada por G. Cantor, Ui axioma es un enunciado que se admite sin demosteaciou Por un punto exterior a una recta pasa tna dnica reeta paralela, es wn ejemplo Sin la Wigica Jos axiomas serfan un montén de verdades seeptadas, pero nada ‘nfs. La liga, sin embargo, les de sentido y permite concluir nueva verdades (teotemas) que antes ne conociamos Un ejemplo de un teorema de la geometria plana euclidiana, el siguiente: la summa de los éngulos interiores de cualquier triéngulo siempre es de 180" Para evtar un ciculo vicioso o tegtesin sin fin eu ls definiciones, ta ligicn debe iniciaese introduciendo algunas nociones prisarias take como proposicin, valor de wed, concetvo oxic, Figura 1.1: Line de tempo de la Kgica antsCapitulo 1. Intvoducion a la Wigica Fe Figura 1.2: Linea de tiempo dela Kigica moderna, Actualiente se puede considera la Kgicaiepeadizado de af cian dentro de la ciencia, puede considerasse conto una ciencna formal HERE posiciones légicas Seyi la Real Academia Esperile (RAE), el término proposicién viene del latin propostio, “nis ythene las neepcianes siguientes 1. Aecidn y efeeta de proponer 2, Expresion de un juiio entre dos términos, sjeto y prdicado, que afrma ¢ hioga este de aquel, 0 inelnye o exclave el primero respecte ‘Tradicionalmente, oracion que se une mediante coordinacién o subordina COracion (estructura grammatical), COracion subordinad 6, Contenido de un enunciado Enmuneiado de una verdad demostrada o que se trata de demostrr. 8, Parte del discumo, en que se amuncia 0 expone aquelo de que se quiere convencer y persia alos opentes 9, Proposicioues deshonestas, puede decir que es verdadero o also. Un proposicion 6 os vera pero no ambas, es decir, solo na de las dos posbilidades. La verdad o fasedad ribuido une proposickn se cenomina valor de verdad. Bl valor de serdad d tuna proposicién se representa con lotras Vy F paca desiguar verdadero y respectivamente Por ejemplo, en e contesto de la aritmtica, 24-1 = 5 correspond efectivamente & un proposicion, Mas asin, su valor de vera es "So sonoma sonal Informacion ast dela rasaCapito 1 Introduccion ab Mica ones con letras mimiseulas: Py @y Fy ete eae sn caracterstica de ser verdadero 0 also, es posible pad que ua pepsin tiene a of ie soe vada prposicion dada py, con 9 var de verdad, V 0 F jfuete Esta loviendo en Iquit nwvial le una propesicion Wgica es que debe tener sentido: es deci, debe x denocraticanente aceptads por wns connunidad de personas como verdad o Enuncindos que no son proposiiones Kigicas Muchas voces preven en el lenguaje natural o formal expresiones que no se puede determinar le verdad, Son los casos dea unas expresiones que no son proposiciones 1. Las opinion 2 Las on 10, Las moras juridicas 1, Hels hierar 12, Biches populares 1, Personajes ftv, Cla icacién de las proposiciones légicas Se puede cousiderar la siguiente clsifieacin 1. Soggin su eantidad, 1L1 Universales. Trata de toda tna categoria oo + Todo ingeniro es maternitica 12 Particulares. Trata uns parte de una categoria, EEE ae eee eee om ee ee Se oe vetifcadas o experinentadsvein a fa Fogle ‘George Cantor nacio en Alemania El idolar esta rs caro que el euro, Apodicticas, necesarias 0 demostrables. a+) + Sia € Rentonees a? es no negative. 5 Problematicas, plausibles o probables. Cuando st valor de verdad no se puede determinar de manera immediata ERIE «El execimiento poblacional del Peri en cunrentena fue del 5% + EL préximo atio habeas ingreso direeto ala UNT. 5. Segiin su complejidad 3.1 Proposiciones simples o atémicas Cuando presenta na propos: ion que no puede deseornponerse tt otras proposicones. 3.1.1 Proposiciones simples predicativas. Tiene mn sujeto y predic cade. + La matemtica es una ciencia bisiea + Ls bucterias som organismos multicelulares + Tres e¢ un niimero primo. 5.12 Proposiciones simples relacionales. Tieuen dos © nas sujetos om los cuales se estableee una rlacio, Cay + Peri y Ecuador som paises vecina + La Escuela de Deseo y Ia Escuela Cieucias Politicas per tenecen a la misma facta 32 Proposiciones compuestas, moleculires 0 eol enlaces que se Haunaran eoneetores hig + 3. un nimero primo y admis par + Juan est en la univers o est en st cas 1. Deterine silos siguientes enn Figue su respuesta Li art2ey, 1.2 Tod tvingulo es rectangulo, 1.3 AT que madruga, Dios Ie avd 1.6 Las buenes 17 La Tierra es plana 1.8 La familia es la dla fudamenta de a soci 19 F=m 1.10 Law 1.1L Los centaur fern civiizades Le chicas conociero la mine 1.18 El que sao, sabe qe se0 eniique y elasifique s fase proposicion ot & 221, Tosos los peruancs sont poquetios 22 Torts las noches de luna Tena sae el hombre lobe. 24 La Universidad Nacional de Tyujilo es la universidad mas grande de Trujillo 24 Ian y Vetor sn ingeniros 2.5. Mania ¢ Ivanny son amigas. THRE conectores Logicos Los eonectores lgicos pertiten construe nuevas proposiciones a partir de pro- posieomes ya conocidas, estas nuevas propesiciones se denominan compuesta 0 Inoleculer. Sina proposicin es molecular y est4 compuesto por .proposiciones simples, entonces el nimero de combinaciones posible de los valores de verdad de las funciones componentes es de 2". Por ejemplo, para una proposicin com puesta por des proposiclones simples se tiene 2# = 4 combinaciones posibles de ‘nso de estar compuesto por $ propesiciones, Dado que el valor de verdad los valores de verdad Vy F. 1 mero de combinaciones posibles es de 2° de una proposicion compuesta sth dependiendo de los valores de verdad de sus respectivas propesiciones camponentes, ella se puede representar mediante ta tabla, denominada table de verdad, Las cuales serén muy ails para defini los conectives Pens Sco p nna proposicion, la negacion de p, “pes la proposicién cuyo valor de ‘ede es contrario al valor de p, Esto se representa mediante la siguiente tabla de verdad. —$ i i@ —______— 1.3. Conertores Légicos La expresion “p s¢ lee no p. Por ejemplo, al nega de la proposieiin MMi hermano ga cumphs quince ios, Mi hermano ain no cumple quince aos. Petes ke Ta proposiciin pV.q s¢ le p oq, Se dice que pq es vendatlera, © >i tiene p'¥9, cuando a menos una de ls des proposiciones, © bien verdaera; en cualquier otro caso es fas ‘Su espectivn tabla de verdad muestra ques se tiene pq entonces, tanto prom {q. phteden sr al sino tiempo falas play Viv V virlv | Fol ee) Por ejemplo, la proposicion fala Ja de verdad, alguien afr qe Tal eo se apreca ns respectiva ta pg, lo ue est afimnand es qne amb propeCapsule L fotroccon ah Hea Be gave p implica q 0 si p entonces q. Se dice que esta in p propane faa and pe verdad ¥ 9 ase cua tao cay Para estudiar ef valor de verdad de p+ g, nos debetos concentrar ene case de que la ipdtessp sea veradera, Sa partie de esto se coucluye que Bs tesis 4 ey \erdadera,eatonees p > verdalens: ys se eoueluye que coneTiye que ha exis je fsa, entonces p—> @ 68 fal. En resumen: sf alguien afirma que se tiene +a. debemes conclu que si pes verdadera entonces uecesariamente q seri ‘erdaera. Tad esto se explicita través de sn respoetiva tabla de verdad pa] Pe er fie que Ia proposiicn p es equivalence eon la proposicin q (0 que p al y Au 4. Por to tata, se tene la siguiente tabla de verdad para la equivalencies plate] vv v_| [vit r F[v|_F Flirt v_] + de Ins diagonales de parlclagramo dete paved tienen ta misma roprsiiones que las eonstivuyen, es sien verdadern Sicdos propaiciones py qe tienen Tas sas al Lego, la propesiciin p+ 4 es ua tautologia pve by pee Opa Qen son ejemples de tat tiv tablas vera, se obtiene {que son verdxleras para cialquir combinacicn de las valores de verdad de ss respectivas propasiioues componentes. La tubla de verdad de lx prope item a) 6 icin, tas ells Dado que una ¢antoloy es una pe quivaletes entre + penibledesignar estas proposiciones con ha era V (Ves una proposickin). Por jemplo (pV -p} 9 V. Esto rio (2 ~ #) por el sino 1 contradioeiou es uaa propestc noponiciones qe Ia eompone as, contradic una proposicain denotada con l AT igual que las tant tra F1 jon equivalente a la proposicion P, como se Por ejmpl, p A~p. «8 una propos Je aprevia en st tespectva tabla de verdad. puede apeciar et Los coneetivos kgicos son muy ates para combinar una cantidad inita de pro. prnicines¥ obtener nueras proposciones cus valores de verdad pueden ser deerminadas construyend sus respectivastablas de verdad, Ejer 1. Determinar fos valores dle verdad de las siguientes proposicfones 8) 2+5=0VG-3=4) ) @-9-8) 9 @ 76) 6) G+8=m)A@-3>2) ) (48-12) 4 4-8=5) 2 Suponga que x es un nimero real dado, y suponga que p.q yr. simboli mnleaacdye siguientes desigualdades respectivamente, Rscribir simbolicamente las asa bocres gacrss [En los cjeciios del 3 al 6, uilice las leyes de De Morgan para escribir las nega + de los enunciads siguientes, 8. Manuel rstudia Matemticas y la hermana de Manuel estudia Enformética 4. El archivo que envié Miuska esta en whatsapp o en el correo. 5. El ligt de as unidades de 4678 6s 4 06s 8 1A, Ejerciion (6. El ebdigo det programa en C-+ + tiene un error dle Wien en las primers dos linea ose compila con tn conjunto ineumpleso de dates, CConstruir sus respeetivas matrices de verdad para las proposicoues sigien- 8) Women Avy py) ») Pavaaaora) Wg a4) 8B P4204) 4-4 ©) (eva “A AL-pv) ma 1) I-pAa) +=) lr A-WV-¥)) 8) (Aa PLA “Uip > -) > fav) Wy PAG V—n] > Kona vv) 1D) (@B-4) AW Agi > od) ~ (000 DAUCPAP) 44) 9-9 OV AIA SEVP} done 4 denota el operadordisyuntor exeluyent 8 Indien el tem anterior, cules on tatologasy cules son contradieiones Eu los entncidos de 9 al 12, considere que + 68 un ainero real arbitraro, Use clones espctias. mw -W0<2<4 Westor>t Ins leyes de De Morgan para esribir las ne o-2ered MW re2or>s 18, Uiilee tables de verdad para comprobar las siguientes equivalenel a) p—e=-pva Wa) 1H Muestre que los siguientes ennciados son Kgicannente equivalents poavn pawn y pAw—eEee Algebra proposicional BEBE Eauivatencia togica stud para las proposiciones P—>Q y (“P)V@ las vestas son idénticas;¢ proposiciones eompue - 1. veoduocion a a AI constuir la tabla de ranas corvespanientes de estas aanente of mist propasiciones compuestas tienen exacta 0 aor de verdad para cada comnbinacibn de valores de verdad de las proposiciones, Py Q.Sean Ry S micionescomupuestas que iavolucten las mnisinas pros jones componentes, Entonees & y S se denontinan fdgicamente equivalentes Si Ry Sewn los mismes valores de vend para todas las combinaviones de pposicones componentes. SIA y $ so sta por It = S. Por lo tanto, P > Qy (=P)VQ P\vQ quivalentes y, P—+ Q Otro ejemplo, anus simple, de equivalencia Kgiea se retire a PAQ ¥ QAP. Que PA Q= QA P ve verlca com la tabla de verdad Cll eel significado prscticn de la equivalence logics? Suponga que 22 y quivalentes. Entonces saberos que 2 1s ls eommbinaciones posible de serdad dle sus enmnciadas componentes. Pero esto significa que la bicondiional R <> Se verdavtera para todas ls combinaciones pasibles de hones de verdad de sus enuncindos componentes x, por lo tanto, R « Ry $son 1. Por otro lao, si +—+ $ es una tautolgln, enon oma que Rey alguna proposicion $ amente oquivaetes, Si poems ‘que Ses verdadero, entonces 2 también es verdadero, Por ejemplo, st nga que we quire verifear la verdad de una implicacion P —+ Q. $i povlemos ~ dad dela afirmacion (~P)VQ. entonces la equiva cde P P)VQ sarantiza que P —+ Q tambin es verdadero, Dado que P+ Q ¥ (-P).V Q sou logicamente equivalents, veriicada et una abla, y puKStO que esta equivalencies especialmente impo eee Sean Pv Q dos prop [EGE Principates leyes logicas 0 tautolégicas es una Tey igi sso si cunlguiera que sea ain a propos una verdad Tile Principion Legh TL Principio de identidad. Una proposison solo « 12, Principio de no contradiction, Una propos faba ta ver, la eual se expe 1. Principio de tercio exeluido. Un propesicio to hay’ una texcera peel, la eval se expresa por qnivalencias notables EL. Ley de involueién (Doble nexacion) Dos vale una afrmacionLey de idempoteneia Una cadens de conjunciones 0 disytmciones de yg, BS. Leyes del bicondicional son Ed. Leyes connuutativas Eu as proposiciones conjuntivas,disytntivas bicon 81 p—g= 4 : poe 9. Leyes de absorcion son D1 pay id pega bons Ll (pagar 1D, Leyes de transposieion so 11 (Pa = 4 reper 102 (pg) =( 5, Leyes distributivas Si en un esquemn hay mis de wna conjuneion, dyn ’ : Mal @ 6 faa i‘ 12 [ym ap: é 6 i : 0 do una prop : conveniente tsar las leyes del alge te i SSTERED S p0152 cue se dese veioar = (a) (P= PACQ) 7. Leyes del condicional sSolueiom: ; Para cualquier par ale propesiciones P v Q se ten Marga ¢invelucion se tiene Jus lees del eonicional, las eyes ce De (PQ) =-1-P)V 9) =P) A(-@) a), 50)» PA(-Q) som ogieamente equivalents. se del biconicional, las faye de De Morgan y ta parte (a) se (PQs WAG PI =P Q)V-1Q PI) OP VQ) v-CQv PI =(PACQIVIQACP) 1 lo tanto (PQ) y [PA (-Q)V IQ Las leyes del algebra proposicional también som dies para expresar una propos ‘on copuesta en tna ms simple como se muestra en cl siguiente ejemplo, iene EEN iti bs ees ted etgtre proposicioal si “ave. Soluelont (waa) ¥~abva = Wwagv-aive Hoag rgva ava -vv-ail FI siguiente ejemplo muestra que las eyes del Algebra. prope Verilicr si ta proposicién siguiente es na tatoos [ev-~ana Sp. Solucidn: Por lo tanto la propenicion es una tatoo RE Eiercicios 1. Daas as siguientes proposiciones a) pA@Y~#) Aa) by pAGa) Aa Ar) ©) (AMA) (pA) Ama) Indicarexsles son equivalents. sano ls eyes del debra propos a) pv (@a~e) b) WV @a-niad 0 K-pAg) 3 (AW) A-0 0) (oa 4-9) 21 a Ia Nigica Capitulo 1 Introduccion a by pagan co Ppa(qy nr) Heady OOD] ddonte o/b += a tambien s simboliza por @ T beste operador ex lead conjunciin opuesta incompatibilizadar, barra de Nicod © negacibn Sean P y Q dos proposiiones. Demostrar que a) (PVQ)AWPAQN = (PQ) b) (PAQ)V(AP.A=Q) es Iogicamente equivalente a P © Q. Se define p § q por (=p) A (-9) {Coal de las siguientes propesicones es ? ecuvalente a “(p+ vl valvia tol YW Ia Lavico sal [ee all vob donde a 46 := >a A-% ol cual se Hama inalterador, daga de Sheffer Aisyuneion opuesta, negacion conjunta 0 fecha de Perce. HREM cumentos logicos Las demostraciones jn un papel importante en Jas matemtieas, y el raz namiento deuetivo es Jo base sobre la cual descansan las demastraviones. En rmatemstions, ses, quinn, biol, derecho, ete. Un argument Kg vwnladeras) se puede inerr que eieta conclusion (airman) es vera las eonexiones entre ls enuneiados y dels deduces qu se uniendo qu las premisas son verdaderas sencional determina cuales son tantologias 17. Anum ile (P2) En mateméticas Maina razonamiento a un par ordenado ({P,)-4) ¢ 5 un conjuto into de prope ones, Hamadas prem Tlamada conelusién. Un rizonamiento es deductive sf silo si las premisas fe Ph Pr. Py son verbena evidencing de In verdad de Ia conchasn, infereneia. De este modo toda rega de inferencia es una tautologta eck eee Vin argumento es vilido (infereucia wilida) sim premisa Po conjuncion del {P,} implica Inconel g, esto es PLA Pe PyAs=-A Pq) — 4 os una tantolos [En Jogi, estudiamos los métodos y prinipios wtilizados pars distinguir arg rmentos vil argumentos som villidoso iva Por lo tanto, un argument es vilida ai y solos, cand todas las premisis lena, Dieho de otta manera, un argument Tas premisas sea fala Demo ‘in, Por bites tenemos que el argument es vl 1a condiconal (Py A Py ae Iu conchasn ex verdadera, Pues de lo contri, bs cond na tautology la eonjuncion de las prem we Ja inferencia no seria vida contradiciend Ia hie EEIEEEEED bet nsinar si py ges naeCapi 1 Introduction af Kea ; br Pas ory la conelasi Aqui las premisa son: Py: —p " on se debe demostrar que : (Py A Py) Pa) —¥ Q, es una tautologin. AL coustrnir la pla] [or vivi¥ v vfvfef vy vfefy} vy lvlele] v Jelv|v| Jrlvlr| oF Flriy] ov rlefe| v rmsas implica la conclusion, huge se tiene que a inferencia es valida 1. La valde de to depende de las valores de verdad mi defo enidas de ls enuneiadas que aparecen en I inferenca, sino de la forma es 2 modifica si una varias de lax propeniciones compor 1 remplazan por sus equivalents. n argument (Py A Py ---A Py) —+ 4, también se denota de la siguiente a i ——— 4. Un inforencia puede ser un tatoo, una contingent $i fa comliconal no es una tautologa se dice que lain «vii Solueciow [ua tabla de verdad dela proposicion [(p — 4) At a Plale—a [ca fry vy Fv & Jvje] oe fe v |] v Jejy} ovo fvdv F rl _v |viy Seg este ejemplo sguiente razouamien tengo dinero; po No tengo Por lo tanto, No voy al cine EE cual, como se hia isto ¢s am argumtento no vad, puesCapito 1, Issue la Kien p: Yo tengo dinero soy al cine, ay sminat la vide de la inferencia: Stef triéngulo es isdser 1 iguales. Pero ef tridngulo no tiene dos tados iguates Solucion: p+ El tridngulo es isisceles 14: BI tringulo tiene dos ladas iguales Lego, 4 ? Osten — 4). A(-al| (Tee ast tbl de ver Lego, da —— $$ Solueisn: a tabla de verdad de [ip 9 ~a) 0 V V y v P r F a tabla muestra que se trata de una flaca, Ing el angunnen ara demustear que el arguento no es vililo no es necesaro constr lt de verdad completa, ES sufiente demostrar que pata ‘aloes de verdad de ls propos vr la conclusion sea faba, En el ejemplo anteriores suficiente demostrar oh ila te aa Fur sto wos indnce & pensar que wa argumento & ¥ os de verdad de hs enueados compouentes de sibilidad de elegr os va in fsa, Es deci nara que las promis sean verdaderas Inconel vHemoatrar ln vale dun arguaeo se supone aque Ta. conjunesin de ee rteadera y la conchisin fas, ta ica poi que invalid La nplicactn (mins Pa) 4 vw y F si mo ne demuestra eta pasa a sfeencia serve, A esta mane de demir bn valde del argurento sl Haars metodo abreiadn invalidfrulo troduced ala Wigloa ara esto, es itil considerar ls siguientes pasos: 4 Asignamos el valor verdadero cada ua de as premise de fsa ty conclusion Deduct la valde de cada tna de las variables proposicionales en funcion clos vertativas, empezando por la conchision @ por ef operador de ve ofrece una sola posibliad de last nna de las premisas qu Si cada una de las variables cumple una sola funcion veritativ, se habra proba que la conjuncion de premisas es verde ya coneTusion es fala por Jo que, a inferencia no seré val Ie tiene Tos valores de verdadero y falso a la vex, quedaré Si una var “demostrado que no es posible que la conjuncidm de premises sen verdadera erencia es wild y la eonelusin falsa, Pot lo que, hay implieacion y la pone avr Solucién: Dado of argumento (> a) NAVA) Si el valor de verdad de =q es falso, entonces el valor de verdad ¢ es verdadero. Lego com la primera premise p —+ 9 y la falsedad de ~q se obtiene que cl ‘aor de verdad de p,tatabién es falo. Porser g verdadero tenemos que ln segunda prema qr es verdad sin importar el valor de verdad de rel eval podria ser {also. Consideraudo r falso tenemos que el valor de verdad de =r es verdadero. Por Jo tanto tenctos una eombinscgm de vnlores de verdad para el cual la verdad de Ja conjuacién de premisas da una conchusin falsa, Estos, silos valores de verdad pesiviones 9 s0n falso, verdadero y faso respoctivamente entonces clusion “y es fala, Por Jo tanto, la implicacion no es una tautologia, esto Argumentos Wigicos sae es: inferencia no 68 vida sable es vlan freee Solucién: Dado ol argumente PS aACPAW Aa Pn. la conchason es aka ‘Supongamos que la conjuneidn de premisas es verdadero De la falsedad de ta proposiiin (p —+ r) a tiene que ol valor de verdad « Jy son respectivamente verdadero y falso. De o, tambien el valor de verdad de q. que ef fl valor de werdad der se tiene ‘Tomuando lx primera prensa (p—+ q) ¥ tos valores de wed ry 9) es flo, Por ko tanto wna premises ‘verdadera y fabs a la vez lo cual no pode sor es decir noes posible encontrar una combinaciin de valores de verdad para p,q F tal que la conjunc de pees sea verdadera ya conclusion faa, Ex conclusion la infor es vila HEAR A reumentos notables Como se vio anteriormente, cuando wn argumento contiene tres @ mas declare cones simples diferentes, se vuelve tedioso determinar la valider del argument vl. Oten tnanera de pobar que uM arguUento & covstruyendo la tabla Wilido es dectucir su couclusion a partir de ss premises mediante wa steven de arguments elementales. kx qe Hamaremos lees. que se sabe vies. NI Ley del Modus Ponens Si representackdn sinbiea po avarl—a——— — y su cxque cis or re 2 Lay del Modus Tollens a vepreseacn stb Xz Simplitescion . Sesion po (ord : poe Adore 6 Ada ssw liso 1 ? 8 Lay del Silogiamo disyuntivo son caquen isc: a . v Adicion avaawie 8 (eva AP NSA ace ‘Se simboliza por: we na yovequemaciics pO ne pee A P Sey de la inferenciaequivalente Su representacién simbilica es: su esquema clisico; 2 —— 6 4 wa (parda N9 Ley del absurdo ete Se simboliza por: ss exquema lisic: » : pla » 6 Awl Ni Ley del silogismmo hipotético ‘Su mepeesentarin simblica es pe Ana) . Sana snoeon yt esquemia elise: a a pa Se efectuard la demostracon para Nb (Ley det sikgisao hipotéticn). Las den Luacioues restates quedan como ejercieio para el Teor Demostracion Ni) Ley de la transitividad simeéteica ara pea ¥ r proposiciones ligicas. Si (p — 4) ¥ (g-— ),entouces (pr). Pata comprobat la vale de este arguento se procede a construir la tabla de (os a)nc cera! de la proposcin (ip — 0) \(@—+ 1) >in, por lo tanto NS es wn ar 1 implicacion es una tautolost La tabla indica que I he gio vid, Esta Ly «1a ide basin deers de las denostraciony ste a argumento dado cs una seevencia de ermneiados tal que (Una prueba formal de un (2) un enuneiado que se sigue cada eunciado es (1) tna premisa del argumento, 0 “fe emunecados anteriores mediante in argimento wide elemental, (3) un enn: dado que es Kgicamente equivalent a vn enuneiado precedente en la seeuenca 6 (a) el limo enunciado en la secuenea: la coneusion del argumento, Le forma verar las premisas y la secuencia de corecta de eseribir una prueba formal es ‘Teclatariones deducidas de elas junto con wna justficacin para cada declaracion. La justifeacidn de cada enunciado dedcido especifia el emmciado 0 enunciados anteriores de los que se dedujo y Ia resla de inferencia que se utili STINET escribir ct siguiente argumento en forma simbéliea y constr ina prueba formal de su valida Si estudio, saco buenas notas Sino estudio, me divierto Por Io tanto, suco buenas notes © me divert. Solucié Sea Ee nuniado go estudio y B el enunciado Saco buenas notas, Y D la firwacion Me div to, Luego la forma simbalica del argumento dado es Ambas premisas son proposicionesconsicionales. Uno eontieue E com hiptesis ‘yet otro contiene (-E) como hipétesis. Debido a que un proposicion condicionsl fy st contrapositiva son Hogicamente equivalentes. se puede reemplazar ke prime Deo quo le segunda proinisa por su contrapasitiva, Dao que In conc Ia proposieién D y dado que la segunda premisa eontiene la peoposici tno conclusion, se reemplaza la primera premisa £ —+ B por su contrapostiva (CB) (o£). De las proposicones verdaderas (=) + (06) » OF) + 0 deuce por la regla de silogismo hipotético (2) —» D. De la defivicion del ‘ropoxcion condicional, (-B) —+ D es lgicanwnte equivalent a ln proposii (4-8) VD. Dado gue ((-B)) = B, se obtiene la conctusion deseale BY D. Por lo tanto, se he desarrollado una prac formal de que el argumento co vide 1. FOB prewisa 2 (oE) 3D premisa 3. (2B) — (-£) |, equivalencia Wgica (contrapostiva de 1) 1 (CB) D ——82jsilosisme hipotéticn 5. (ACB))VD 4, equivaleneia lgiea §. (OB) = BB equivalenci logiea (dole negacin) BvD 5.6, ley le sustain, Lo que conte Ia prueba Picnic Juana fue « la confeencia en ten o en avi $y panna fue ala conferenca en tren @ conduc st propio auton, hee lear tarde Janae perdié la ceremonia de aperta, Jnana no lego tarde Por Ho tate orem Solucidy ‘Sea T la propasiciin Juana fue a fa confrencia en {ve -a C Juana conducfa su propio evel Sea A la proposicion Juana fue a ta conferencia en avidn. Se Se L nyropoten Juan leg tare. Y A Jaana se peri ta ceremonin de aprtre nes la forma sinbolica delvio 1 Inteuueron & a ose im TVA (rye) (LAM) ab = atercera premise Les erdadera Porto tant, Les fabs LAM oa, eg, ALM) es verdacero, De -(EAAO y in segunda pres, (7'VC) —* (LAI), se igh usanvlo la tela de inferencio contra iene (27) 4 (C) ¥ por la rea de simplilearon positva que (VC). Entonees, por una ley de De Morgan, st onjuntiva obtenenos (XP), De (=P) ya primera pre To tanto, Juana fue ala conferencia sn, TVA, conchuinis A rand la sega del silogisno dsyuntvo. Por vermin ex una concn eli, que se deduo uso fxs hs prensa dans, Ejer 1. Demosttar por bs tabla de valores de yoda o por el nétodo abrevindo, si tos esque representan o no reqlas de iferencias vidas reo poe ) pve ot poo u po ar n paar) - aor) : rvs ae ros oa), ' TOSa Foe pve yroe wea) Finducie a fo sible y deterinar valle de Ho emu 1) Si trabajo, 10 puedo estudiar, Estudio © aprucbo mateanitirs. pe Ia, Por tanto, aprobé materi. 1b) i Ges par, entonces 2 no divide a7, El nimi 5 no es primo 0 2 divi a 7. Por tanto, (es impar 6) Sitrabajo no pusso estudiar, trabajo © aprucbo matematieas, pero apre 1yé matemitieas, Por tanto, esti 4) Sime gustan las matemtics,entoncesestuiaré, Estado jlo el evs ©) Enel cumpleaios demi spans le Hear lores. Es of eumpleaios de 1 tanto, hoy trae asta tad £) Si Londres no esté eu Dinamatea, entonces Paris no est en Franc tanto, Londres estén Dinannatea. tiene el mayor nimere de accion, oes economistao iene mich ‘Oenrve que Lois ewe el mayor nfimero de aeciones, En conseeuencia & es evootista@ Lee mul dives. Dewastrar cada un defo arguuentos notables eonstruyene tas tle verdad y hacieto uso del método abrevin36 1. Construya tna prueba formal de Capi Isr ta vader de end argumento a) § RAD v) (Pva) rs P ee weve ee ad gh gathvi ea eee En lossguientsejrccias, esriba cada argument en forma simbélica ws do ls letras indicadas y eoustrya una prueba formal de la alder de cada un sefuclo artificial (L), entonees silos peees muerden (B), I de peces (F). Jorge usa un sefnelo artical 28) Si Jonge us Jorge entra el limite legal captura el Kite legal de peees. Por tanto, Jos peces no pero Jonge pica by) Si Arturo asste a clase (A) 0 Beruatdo asiste a clase (2), entonces Carlos ho axiste a elase (~C). Bernardo nsiste a clase 0 Carlos asste 2 clase. Si Bennardo asiste & clase @ Arturo no asiste a clase, Daniel asiste a clase aro no asiste a clase 0 (D). Arta asiste a clase. Por lo tanto, Be Daniel asiste a clase ). Si Mary se gradi, Maty 6) Si Many estuia (8), Mary se graluara ( Vinjaré (T) » Mary trabajar para st tio (U0). Mary extndia, pero Mary nwo trabnja para st tio, Por tantoy Mary viajar 11) Si Robin va al bose (P), Robin eanina (#2) y Robin pesea (F). Robin hwo eamind » Robin no pesed a Robin acampo (C). Robin no aeamp Por lo tanto, Robin no fe al hose. seriba cada argumento eu forma simbtien usanid Tas letras iicadas y 0) St Alice asste a bx reunion (A), Betty asiste ak reunin (22). Si Betty ian ceunion (C). Si Carl wsiste reanién, Donna no asiste a la reunin (~D). $1 Eye no asiste a la rouniin (>E). Si Donna wo asiste a a eeuni6n, Pay asiste a la unin (F), Eve no asiste ala reunion Fay no asiste «Io reain, Por Io tanto 1.81 by) Si Imogene va al pienie (P), entonces Ingen usa jeans aes 1 usa jeans, entonces Imogene no asiste nal banguete (B) ui al ne no asistid al bangquete baile (D), Imogene asst al baile. Sit cenvonces tiene sn boleto se banquete (Z), pero uo tiene su boleto. Por Ez Cuantificadores Los tipos de propesicionesestudiadas stn aorn elas secetones anteriores involueraban enmciados de tipo = Todos fos estudiantes estudian Kien -Existe una persona en la eanpresa que viste de roo. Tox las personas 4 Ta empresa que vsten de rojo is aun, enneados matemitios de a formu: vwsson proposing, pes sn precisa a ira qe poles wales nv considera. Un exneiado mus preciso peti set dle ka sarile wes metered 3 < Ae para tds hs mere rakes 1a 1a frase para todos los nimeros reales 5 un gemple de catia, On tip de enatificadorconmasnante sate primera prt del enancioy po wal tal existe Tem valores 0 solo para algunos valores cenmple aeesaiamcnte para toes8 Gs lwo de loseumntifeadores ampli ential de ennciads Posies due Puede formers en eomparaié con Tos enuneiados de a sceciou anetio. LOs cuant son my importantes el pa de Laca que ks favoluera Het nongg ‘ropio, Vien de primer arden 0 Kien de predicndos. Es ‘ste tipo de igi os {qu eestuinn los ejemplos dads anterionmente y que son denon nn sosdow abiertos, predicados o fancionespraposcionales, Un enuacindd abierta ey ana o ws yaribles ¥ que se convierte tna propo. tun emnciado que invol icin Ica ewundo toma valores particulars de un conjnto E: HEGRE _Funcisn proposicional o predicado Sedice que #¢5 una variable de un cierto conjunto de referencia si vepresenta a eualguier objet, a cada objoto de dcho coujunto Una func proposchonal Plea. 2.23 ra, qa ser teemplazadas por elementos particulares dl onjunto de referencia E, hacen que P se transform en una proposicién Iogica, srg) es una expresin que depende n or tanto, susceptible de tomar el valor V 0 F. 1. Se asumira que el conjumto de referencia E comtiene al menos un elemento, 2. Las funciones proposiiouales serén denotadas por letras mayisculas como P.Q.RS, 3, Considetee conju de referencia = (se es unn persona} y la Fanci p 2): es un Jugador de Fitbol profesional fom 26, Luege + P(Pavlo Guerre) es V + P(arta Vieira) es F ———— 1.8. Cuautifcadores Jos micros 2, Considere el conjunto de referencia E = B, es et conjunto reales, y be funeion proposicional Qe): con 2 € B. Lage, QQ} 8 Vy Q(6) os F ¥ a fuse proposic nE=R 3. Considere el eonjunto de refer Plate) 20+ b> eon a, boe E. Liege, + PUD SY. + e(dua) ar [DURINEIEEEINEEN 100 fe notaein Pe) de dos fora dino 1. Para referral fauciin propesiional msn y mostrar que ela vate itnholos para obtener propestton ble que reemplazames por eadenas de Fegicas 2, Para rferenas,cuanes 1 es ulgo en particular, ala proposicin que se form al haber hecho e} memplazo ex In funcin proposicional por un obj particular # del conjunto de referencia Aa expresividad dela Kgicadepreicados viene dada por Ia posed de eu tifear universalmente, «decir, de poder hablar de tds fos elementos dew onjuito, fudependinte de-cnsntos clement tenga el conjuto, Para el se i dor universal el cual es denotado cot el sinbolo ¥, ve so ests qu la conjncsn A aplicado todos ls elementos det confit. BEER Cuantificador universal (2) ex wus propasieion verdadera si al eeuplazar £ por La expresion We € E 10 de Es: verfien que P(e) es una proposiion verdadera, cualquier cleme dleci P(e) es vente, siempre que © eB8. Cuamtificadones ves po On: 1. YB, Qlu.2) es prdicad en le variable Ply eV ee BE] iP) 2¥) tee sale E> Pe) eV 2, Ys € E.lvy € E, Qly.s)) = V2 € Bot € E, Qly.2) (conven n nombre a cada una de las dos itmplicancias . Instancacion 0 ejempliincion Universal ere) | ea) Demostacén, Dado que ive € £,P(a)) Plo) : pa (oe Goneraleaciim Universal Sise cumple Ple) pata €€ Eartitevo,entonees, ls propociion Qe €£,Ple}) 1s verde fer eae ee [vee ere na 2 Bla) Atte € £,Q10)] (EERE es 2 (100 as personas nada opr cer)» eee : : ' i re EP (ir € EQ E : Lyre EPL Qe) (hipores ot b= P(e), entonees E axbityario y (Relajacion. PEE, Pla) Ap A ‘arable 2», entonces E.Pls) 6 WE E.Qs) (Generalracin univers eon €€ E atbitratio, (Reajacion ton, Pero en ef caso de Fanciones propesicionales con———————— Capitulo 1. ntroduectd a 1.8. Cuamific {por (1), (6) definiion de 4) 2 (ir € B,Pla)) Air € EQ) son Si ve tiene que (3e € E, Pla), entonces para un elemento & F pat aes se tee que P(e) es verdadera (re BQ ne EPL) ome : nneralizaeién existenciak ree $i se cuuple P(e) pare un elementa e € E particnlar,entonces 1 B,P(a)) Ale € BQle)) _(Hipstess. 1. (ire E,PCay)A Cir € EQ q ie F,Qle)) cone € B arbitrario (Instanciaciu univers, ee [bec ert) Qi] — [ares PiniaGre Be 2. Peale 5. Ple) AQle) cone E arbitrario (Instanciacion universal) vr E,Pla) AQl2) (Generalzacion universal) . Demostracion, 1. AEE, P(a) AQ(2) (Mipoters. 2, Pe) AQUe) para ulgin €€ E(Instanciacion existencial HEE Cuantificador existencial 3. P(e) parm algin e € E (Relajaci 1 Are E,P(x) (Genvealzacion 6 La expresion @r € E,P(x}) ¢s ana proposicién que es verdadera si y silo si (vr © E,-P(e)) es flea, Formalmente se tiene 5. Q(e) para agin €€ E (Retajacion) 6 Bee F,Qle) (Generalizacion exiscencal B,P(a)) + (ve € EP) Ape Gre BPC) Mee £,Q2)) defen de . Po) esverdadera para um e partiular de B BEZEL Nezacion de cuantificadores emotes pr 9, = Pe), etonces a 1. Nogacién del ewantifieador existenctal E, Pla) [Ne € EP © £.Plr)) mV mV V Pm 2 Al igual que para ef caso de ta dfincién del cuantificador universal, sed ee tongue eon distin nombres ee er € EP(a)) > Bre EP Ur dos implicancias impicitas ela definicién Instaneiaciou 0 aje oe Halla a negacion dle bas siguientes propesiciones ‘on existencial:Se ———————————————_ a a te elemento ¢ recibe el nombre de contraejemplo p ala propasiciin un i . vr € E, Plz). IEEE 8:2 = (responds Solucin - ~ , = César Vallejo € E . ‘es un contraejemplo a Yr € E, P(x). : avr eR r+y=0)2areR ye Ret y=0) Notar que : | z ; rdadero. Por 5 rar quela propesiion (ERE crepe psec HER s0 de contraejemplos alsa En muchos casos es il sabee que cietta proposicion no es verdadern para todos an los elementos de un conjunte dado, Esto es, pata demostrar Ia falsedad de la ee Lea 0 universal . Ye B.Pla) Bre RV ER VE Jogo un contraejemplo para esta proposiin es una. par de mimes eles 2 ‘qu enplan con Ba expresion E,-Pla) V8+Ge w+ m wwe 32 € E.-Pla) Sy wy = 4 luego Drobar que Yr © E, Pla) es fas ada, O se :Wi Gato 1. Inoduein ate ion __ Existencia y unicidad 'E, P(e) es una proposicin que «3 verdadera si y S6lo 1r,@ € E+: 8i P(t) P(E) soy existe une € E tal que P(e) es verdadera y ¥. ) <> (Bz € E, Pla) A (Wa. € EPC) A Plt) 2 (ise BPC Fs decir, existe um inieo e € £ tal que P(e) es verdadera Ena nm =0) 1, La expresion (3! € 2. vin € 2, Sean E = {todas las personas) y Pe): €4 un jugador de febol prof B,Play. Pademos nat que z= Paolo Guerrero — P(x) # = Christian Cue — P(A) Lucgo, no existe un tnico 2 iin (Slr € E, Pl) E tal que P(x) es verdadera, Por tanto, la Sea E un conjunto de referencia. Sean Q(x) un predicada y P otro prediendo ‘que no depend de x definidos en E. Entonces EP). CEP) oP. £E.Qle}) < (vir € E,Pv Qla)) © E.0lx)) €E.PAQ), Sea E un conjunto de referencia y P(e, y) un predicado, Lago 1. (Ve € £.¥ye B,Plasy)) 9 (vy € Ever € E.Plesa)} 2. (Bre Ev € B,Pla,y)) — Gye Bar € EP) 3. (Gre By E.Ple,yl) — (re Bare BP) la kim DORE ete ce notar que nose tiene of scpn0c0 innplicancia, Es decir, no necesariamente se cumple que 9 € E. Plz.) Contracjemplo: Soa B= 8 y Plr.y) Para y €N asbitrario, existe # = y-+1 tal que > y. Luego se cumple que No obstante, no se cumple que (Ar € N.¥y € Nox > y)s pues ningtin entero es rnayor que tas fos nimeros naturales eee ‘Senn Plz) ¥ Ql) predicados con conjunte de referencia B. Las sigieutes pro- posiciones se cumple Mods Poutens Universal Pie) A (er € E. Plz) 9 Qn) > Ae 2, Distr bueion de ¥ con respecto a (2 € EPG) A (4 € EQ) Wve < E, Pla) AQUI) « 5. Disteibucin de 3 con respecto a [ar € EP) VQ) B,Pla))v (Br € FQ) E. Plu) v (vr € £,QUe E.Pie)v Ql), E,Pa) \Qu)) > (Are ) a parte (3) ndse cumple, Para verificar esto, basta tomar B P(e) es par Qe) + # es impar como contracfemplo. GRE iercicios 1. Hallar la negaeidn de Ins siguientes proposiciones fa) Existe un mimero = tal que para todos los nimeros reales > 0, existe ‘un nomero entero positivof tal que In(>—z) > 5 y que siz < rentonees es pa by) Para todo nsimero real ¢ > 0 existe un mimero entero & tal que para todo entero pasitivo n, J ~ | < 6) Bxiste un niimero ral M > 0 tal que para todo x € (~% bese 7), se tiene que Demestrar ls siguientes proposiciones 4) [yee B[Pe) QL)» [Rx) S P)]] [ve € B,-Qle) =H) » P(e) + Qt2)] A [By € E, Plu) A Ry] [3 € £,Q(e) A © [Fee £. (Pe) +c) vt] 1 fre £. Ale) — Sta)} 6 (vee £.Pa)Ass(e]] [Bee £0) 4 frre B [P(e + Qe) v Rta)] Ane B,Q(e)] A P@)]] Bee E.R) 10. Métodos de demostracin 9 PERRO Mctodos de demostracion Una demostracin ogica os un razonmiento con que se finelamenta la veracidad de un pensarriento, En general meviante ella podemos verifear si una propest cin lgica es verdadera y determinar la valde de un argumnento, Existen varios tnétodos de demostracin entre ells se encuentran las mtodos directs e iit tos. Las demontraciones periiten que los estudiantes desarrallen diferentes tipos ide habilidedes coma son canjetutor, induct, desuci, justifcar, generalizar ¥ dar contra ejempla. ‘A continacios se deseribirén los principales métodos de demostracin. Principal: tnente ls derostraciones de implicaciones Ins euales som muy usadas €, matemst teas 1. Demos:racion por tablas de verdad cst demostracin se obtiene una tabla, tabla de verdad, dando a as sas posiles asignaciones de va proposiiones atomicas invlueradas to Jovora sil tabla es una loves de verdad. La proporicin compucnta ser tautologi, esto es, la proposicidn es verdadera en todos los easos poses 2. Demos:racién de proposiciones ~P Se debe probar que P es fa. 8, Demos:racién de propesiciones Pv Q Se puede hacer demostrando que una de las dos proposciones P 0 Q es verdadera n de propsiciones PQ ota independiente, que tate P como Q von verdadero 4, Demos:raci Se debe probar Bs baskamente la rela de infrencia conocida como adjuncin Demostracién de propesiciones A> B A B es una tantologa. En genera las Para este caso se debe probar que raciones matemticas son de este tipo. La propasicion As denon dlemost Js conclusion. En el proceso de bs nada hipotesis yla proposicion B t demostacin se utiliza otras proposicones cones o teorems. Para las implicaeiones se tenon Tas siguentes mts dle demostr1 ala logic Copii 1. Introduce 54 Demosteacién directa ostracion directa s¢ asume que Jas de inferencia, loves Wie dos, se deduce In verdad de B. Esto gg 'B partiendo de la verdad de A. Biv una a 4 es verdadera, luego hy, ee eye as, axiontas,defiicione, teoremas previamente demostra hay’ que denostrar Ia verdad de Demostracién por contraposicion Ja condicional A => B 0 es tay, Cuando la demostracion directa de jon resulta usar la equivalencia simple, en umichos casos, una buena opct qosien B= “A, ln contrapositiva de A = B. Luego haciendo uso de tntodo directo o cualquier otro método se demuestra “Bi => ~A, Daddy que lx condcional y su contrapasitiva son Kgicamente equivalents, a bien se deunuestra In otra desnostrar una de elas ta Demostracién por contradiceién 0 reduceién al absurdo En una demostraciin por conteadiecion, se demmestra que un proposi= xdo que no es posible que sen fnlsa. Bs decir, ms verdadera deamostran se asuune que una proposiein es falsa y se lega a alguna eontradiecién, En mestro caso nsuunimos que A= B es falbo, esto 6s (A) VB es fal 0, luego por las lees le De Morgan y doble negacién se tiene AA (-B) ts verdadero, Por lo tanto, para este tipo de demostracion se parte de te suposiciin que la hipStesis A es verdadera y que la coclusion B es fal pair de ellos llega a alguna contradicein. Demostracién vacia En este caso se demuestra que el valor de verdad de hipétesis siempre fal, Luego, la implicacién es verdadera, Demostracion Se demuestra que el valor de verdad de la conclusion B es siempre 5 verdadera, independiente del valor de A, Luego, la implicacion es vetdadera 6. Demoste ‘on por casos © por agotamiento Este mttodo est basado en la siguiente equivalencia lgiee (PvQ=m (P>RAQ=R) En una demostracon por eas, por ay p por agotamiento, se demuestra (PVQ) => R 10. 1.10, Métordos de demostracion demostrando P= R y QR por cualquier teen ‘Demostracion de proposiciones de la forma P= (Q= Ri) Para ello se puede utilizar la Ley de Erportacon y probar que bs proposiion ir de las premisas Py Q ve prucha (PAQ) > Res veudadera, es decir, a p Ia valides de R. ‘Demostracién del enunciado bicondicional P= Q {a demostracin de est tipo de proposiciin equivale a probar que P?—r Q ‘una tautologn, Para ello se debe probar P = Q. ¥ ademis se debe probiar Q= P.. Muchos de los resultados en matemtieas son de est tipo Demostracion por contradiccion En 5.3 9 v6 oimo demostrar el enmnciado (P = Q) por eontradiceiin, Ex jecion de un emunciado P (que puede general uns demostracion por con ‘enuneiado condicional) se basa en la equivalencis ogiea P = ((4P) = ©) donde C esa contradiceion. Para probar esta equivalencia hard use de la equivalencia del enunciado condicioual (A =» B) = ((~A)vB), Ince (=P) = C) = (-(-P) v C) = (PVC) por doble negacion. Como C es una contradiceién, C’«s un emunciada faso y por lo tanto (PC) = P. Por lo tanto, P = ((-P) = C) donde C es una contradiecion, Lego pasa demostrar por contradicion un ensaclado P, se niega P y se Hega 2 alguna couteadiceion 1 cuantificadores Demostraciones de proposiciones que conti lores uo se establezcan explicitamente Ange es posible que fos euanti Ja mavoria de las teretas mateméticos son en realidad enunciados attic fieados, Sea U el univers del discurso. 10.1 Demostracién de proposiciones (vr © U)[P(2) Como se ha visto, el exnciado cuamtifieado (az € U){ P(x) « verde sonjunto de valores de verdad del enunciad P(r) Xo, part Ao si solo si el fs verdadero para cada elemento del universe, U. Por lo tant probar (Vr € U)(P(a)), se hace que + sea un elemento aritraio de U yy se dexhuce que P() es verdader, 10.2 Demostracian de proposiciones (3r ¢ U)/P(2) )(P(e)) es verdadero siempre que el El emunciado cumntfiado (Srl Capitulo 1. Introduccion Mt sto de verdad de P(e) no en e conjunto veto, Hay dos formgy cexistencia (Br € U)(P(=))- Podemn, n constructiva exhibiendo o explieandy 1 que tenga In propiedad P(x), 1a no construetiva haciendo yy conju tte probar ef enunciado de presentar una demostr como eonstruitw clemento 2 bien, postemos presentar una pruebs stovlido de gue alain elemento x en U hace que el enumciady a P(x) sea verdadero. 11, Contraejemplos ) enunciado (e € U)[P(2) es fabo, si existe agin elemento € U para ‘elemento 1 6s llamado contracjemplo del enn. ost cd eual P(x) es falso, Dicho ado (¥2 € U)|P(2)]. Por lo tanto, al encontrar un contragjemplo dleamosteando que (Vr € U)[P(a)] es false. A continuacién se verin ejemplas de algunos de los uétodos antes expuestos. Se A un subeonjunt de neon rks ta qu cumple By Axioma L $< A. Axioma2, eA > Sr+1e A. Axioma3. TEA A YEA a (rty)EA. Uuilzaudo ol taétod direto demostear las siguientes proposiciones SiT A entonces 2 A Proposicion 1 Demosticién. Hipstesi ‘Desiet 5 € A (este hay que demostrar) A [se acepta como verdadero) 1 Tea (Promisy 2 EA (Axiom 2) S$ WEAASEA (Dely2) 4 +3=25€A (Axioma 3) Proposicién 2. S.2€ A, entonces 21 os 1.10, Métaos de demostracion 8 Demostractén. Hipotesis: ‘Tesis: 27 € A. 1 2€A (Premise, 2 aQ)41=7EA (Axioma 2) 3. EA (Proposicibn 1 1 2EAA BEA (Dely3) 2425=27€A. (Axiom Notar que para la demostracion de la propeseion 2 se hizo uso de la Proposicion 1a enal ya estaba demostrada, reales tal que cumple las . Sen Bun subeoxjunto de mimero sSgulentes propesiciones (axiomas) Axiom 1 5€B. Axioms 2. reBAyeR (e+ Litzando ol mtod de contrapesitin demestrar las siguientes proposice B Proposicion 1. $113 ¢ B,entonees 4 Demostruciin, Hipotesis: 13 ¢ B Tesis: 1¢ B. Partimos de la suposciu que tess fala, esto (4 ¢ B) es vradera 1 468. 2 FEB AASB (Memporensia) 3. d44=8eB (Axioms 1 8eBA GED (Dedy Axim I) 5. 845=18eB (Axiona2) (5) contradice a hips Porto tanto, 4 ¢ B. .apie J. lnteoducetn la Hogten Proposicin 2. Si(ar~6) ¢ B, exons (= # BY -11¢B). Demostracién. Hipotesis: (32 ~ 6) € B- ‘Tess: (# ¢ BV ~11¢ Bh. Supongamos que ~( ¢ BY 114 B) es asa, esto es (7 BA “116 B) ay verdadero 1 reBA-NeB. 2 eB Ale B (Axioma2). (Axioma 2:41 y 2) 3 wepn-led L ge—1e 8 (Asioma 2) 5. See BASEB (Ly Axioms 1) Go be 6 EB (Axioma 2), (4e—)_contraice Ia hiptesis Por Jo tanto, x ¢ BV ~11¢ B. . Notar que para la demeetracion de la proposicién 2 se hizo uso de la proposicién 1 la eval ya estaba demestrada, Sea C wn subconjunto de nimeros reales tal que cumple las 5 sigulentes proposiciones (axioms): mplo 1 Asioma 1. 8€C. Axioma2, 2€C A yeC aye. Axioma 3. GC. Utitizando el método de educcién al absusdo demostrat las siguientes proposicio- Proposicién 1. Si 3 Demostracion. Hipotesis: 4 Tess: $c. i EC (de Ty la hipstess (Awioma 2) Ba 4. 2€C (Simpliicacion en 3) SA REC (Dedy Axion 1) (Axioma 2). 6 66C en) contradiee el axioms 3. or lo tanto, la suposiciin es fala, 4 ¢ C 1 Proposicion 2. Si + €C,eutonoes V2r ¢ C Demostruciin. Hipotesi ‘esis: Vr ¢ C Partimes dela suposiion que lt esis fala, est 1 VirEC. © (det ya hipsesis (Asiona €C _(Simplieacion en 3) C (Awioma 2) (Propiodad de radials) BEC (Deby Axioms |) 8 GEC (Axionn2) (9) contradice el axiom 3, Por Jo tanto, la sposicon es fas, vCapit 1 Ino suimenoseeales tal que cumple las siguientes proposicig Sea A um subconjunto de us (axiom: Awioma], 56 A Axioma I, 2€A => 3r+26A Axiomalll, red A yEA > (EtHEA TA indtodos indicados demostrat las siguientes proposiciones Axioma 1V, Utilzando los 1. BEA > IGA. (Método Directo) 4ed = MEA, (\Mleodo Directo) 4 eA > QBEAV MEA), (Método Directo) L SEA ATIEA + 51EA, (Método Directo) 5. reAAyed @ (r+ 27417) EA. (Método Ditecto) 6 FEAN YEAS (Te+3y416) EA, (Método Directo) 1 gs 3¢A. (Contrapsitva & gas GA VI2EA). (Contrapositiva ) 9. Gute+D EA = (VEAY ZEA}. (Contrapositiva ) (Conteapositiva ) Wo. (By @A v (2+10) ¢A) > WEA Y =¢ A). 1 BEA 1g, (Reduccion al absurdo) 12 21EA = -8GA. — (Reduccién al absurd} 1B. reAnyed =Sr-y)¢A. — (Reduccion al absurdo) Me 2g, 15, (Bre Alle! —1te-+70=0), —— ee 1.12, Demostraciones matemitieas ——- RRRER Demostraciones matematicas I matemitio griego Tales de Mikto (610-516 a. C) feel primero en conecbit in como una ciencia deductiva, conjunto de proposiciones, la idea de In goome ‘eid una de has cuales se obtione de los axiomas, postulados yd las proposicions demostradas previamente. Lo iniciado por Tales fue continua por ss sucesctes proximadamente alrededor del aio 300 aC, en una obra publicada yeni por Euclides te Alejandeia (325-265 a. C.), Etementos, ptos que no se definen, t&r= Jos sistemas matemsiticos dednetivos existe o os indefinidos, en la geometria plana punto x recta son ejemplos de term ralas 6 principio lnmados axtomas t 108 no defini, También existen certas te f postuiados los cuales se aceptan como verdadetos, no se denmestran, ¥ 6 ‘lec relaciones entee Tos objets indefnides,et el Bi eo, lego de los téraninos indetnides ¥ finidos y tris las afirmaciones sro Elemntes existen ceo postulados. En todo sistema axiom los axiomas todes los dennis concepts deben ser del ins, Las definicfones describen tnvos objetos Tes asignn un noxubee proposicdn det tio deductivo se dice complete si cuslaues jstente, sa partir Un sistema nat nas, El sistema os €0 sistema puede sor dvd de los ax de sus axiomas no 6 posible decir proposi vez, Un teorema es una afirmacign verdadera que ha sido sas y werddras a to vilido, um eorolarlo es una consecuencia domestroda tiediante wa ange stint de un teorema ana teotiaaxiomuitica) consste de los sig Vn sistenua natemitio deducts (0 tes seis leat 1. Un idioma subyacente: el espaliol, et nuestro caso. 2, Un sistema de Hgien deductiva 3. Una isa de téraninos indefins. Janene defini, Hamados definiciones 4. Una lista de Si Unn st de enuneindos que se spo que son verdaderos, mada pot Inds o asiomas Una fista de ewuncindos deducids, amides teoremasCapit 1 nto fend Et conju de los 2, -1,0.123b Para Jo que sigue. ¢ coat avenger Fetal gue n= 2k Mr imoro entero 1 ¢© Par, sextet Kala Definicion 1.10: eanero & tal ue ro n es mapa, si existe un euteTo K tal Tn aero ent Looga, por defini, el eongunro de kos mers pares 6120.24.61 kl kez eb eonjunto de los mmuerosSmpares & Poke |Re2p= (BBD Lead juntos y st niga & 1 conjumto de ac os inypar, pero no ambos. To tnperos neni, dec, sae tit 065 par ‘contac se dati algunos eemplos haciendo uso de Hos miétodos de demos: 1» Poesto que n es un entero par, por definicion de par, existe un Elevando al ewarado ¥ usando la propiedad asociativa de " 2m, donde m= K( 2K). Dado que 2 yk son aiineros enteros y el conjunto de les aximenas enteros « (2K) es um ntimero entero. Por le a definiion cerrado oon respecto ala nulkiplicacion, auto, debido que n® = 2m y en est animero entero. se deduce de Je un nero eater par que n es un timera enter pa . nulo uso del método de contraposicion, demostrar: i Demostrucrén. Sea wn exteto impar, existe ww k € 2 tal que n tad evar al euadrad, usar las propiedadesdistributivas la prop la mauleipicaciée Ia propa de ka 2k + (2k 1) = wk +1} (2+ H(t) = 2H (2k) + 2k 2p 1, donde p= k(2K) + 2h Dao que 2 y & son msimeros enteros 9 tmultiplicacion y la suma, 7s un nimero entero, Lego, dado qu onde p es un nfinero entero, se coneluve de ta deiniciin de un ater {un entero impat, entonces es wn entero impar te proposic Demostrocién, Seu P el ennucinde 1? ter ned nn es um entero impar. Se demestrars: por contradic 1 ae nto es, Se sp Py Q son verdaderos. La neyacion del eminciada Q en es un entero pat Por tauto, existe un entero & tal que n= 2, Elevand al cuadrado y usando la ropieslad asociativn de la mutiplicacon, se tiene ni? = 228) = = 2p donde p= KK) Dado que los enteres son certados con respecto a la muipleacion, pes un entero yn? es un entero pat. El eumciado “n? es un entero pat” es el emunciado =P. Puesto que se asinnié que Lis ennuciades Py Q son weedaderos ya partir de cles se dedujo que “P es widladero, se tiewe la conteadiceion PA (=P), Por tanto, queda demostrada In proposiciin por eontradieeion . COlscrvar, en este caso que el enmnciako Aen la contraticekin (=P) es ba hipstesis P. BREW Denswestre In proposicion: $i es wn exter impur, extonces = eath ex an entero per: metiate (a) wna demostrar i dinecta (buna dents traci por contraposicin y (c) ni eemostracion por contradiceionn direta mostracion strain. (a) DO" exo & al que ae esa entero a Puesto a 5k +1) = 2p donde gq _gesgk-+1) B= 10k +2= 26841) apa secs wn nimero eter x — Seb em mire Par Davo ave 9 pur contraposiein su = Saw es un entero par, cd Sire 3m (0) Demostacrin Jecir, fn — 8 6s un entero impag, Lego. exist n=sn—dn sn 3 dn 3 = (5n—3)—4n +3 det 1—tn43 — int 21h 202) to, si Sn 8 no es un mimeo entero, 1s par. Por lo dado que k= 2042 - oe raposicion, sin es impar, eno impar. Por contr ces un eater par, 0s un entero ipa: P centonees 5 ~ Bes pa {e) Demostoucim por eontruiccion 3 es un entero impar. Como n es Suponga que 1 es un enter impar yn inp, existe um entero F tal que n= 2k + 1. Lego, 10k +5—3 = 10k +2= 2(5k-+1) Sn—3=52K +1) — Dado que 6k +1 6s un wimero entero, 5 — 3 es un nfimero par, 10 qHe contradice aestea suposiin de que Sn ~ 3 es wn mero impar W Olservar en este easo que el enunciado R en la contradiecion 2A (A) es lt roach Q. (IEEE 00.11 por cass a sgnienteproposicion Sin es un enters Demotraid. Prat demotion de est propsivion sexu considerados dt 1.12. De ostraciones matemitieas a Caso 1. Superga que n es un nimero entero par, Por defini tal que n = 2k. Lugo, 1-4 = (2k)? +k donde p = 2824. Dado que kes Por lo tanto, ui? existe un entero k MRE 2h = 212K +4) ro enter, es wi ninera enter 2 un aimero enter par Caso 2. Supongn qu entero impar. Por definicdn, existe un entero m tal que = 21 Lago, n+ = (Bret 18+ 2-4 1 = A 2(2m? +31) = 2g, donde q = 2n#-+3m + 1. Da tera, q 5 un nero entero, Parka tanta, 02 + 1 es un manera entero +6m+2= EE 051200 et sii ero n 0s par, shy solo sin es an entero par wunciado bicondicional Un uimero en Demostraciin. Anterionmente se presento una demestracion dneeta del enuneiado sim es un entero par, entonces n? es un entero per, y wn demestracion por contraponicion del enmncind $1! De no haber hecho tales demostraciones, ests tendsian que ser desarrollada ag Por lo tanta se coneluye que n es tn entero par, si solo sin? ui entero pa fete ejemplo. BEI) Ses nym nsmeros enteros, El entero mates par si y solo si ees PAPO nes pe Demostracién, Primero, se demostrard que si mn es par, entonces «8 par o cs par. Supongase que mi es par. Luego, elebe existir wn mimero entero & tal que (1) mn = 2k, Sim es par, Ia demestrackin queda eoueluida. Por of contraro, si 1m es impar, Entonces (2) mm = 2) +1 para alin entero j. (1), se tiene (25 + I) = 2k, ast (8) jn +n de Ia igual (8), se obtiene (4) = 2k ~ 2ju = 2(k ~ jn). Dado que j,k y ros enteros los eros enteres son extras bajo la multipleaign y iastituyend (2) en 2k, Restando 2; a anus laos Ta esta, de la ectaclén (4) se deduce que mes un nero entero par. Por lo tanto, Si mn es par, entonees m es par 0 1 €8 parCapito 1 Introduccion ces par, entonces tn 6S par. Pop indo, se demostrari que si mes par ©" 5 se pred suponer qe me par est 8, existe uy hipdtesis mo 1s par, Inego 2k, Ast, mn inne). Lo cual ilies gue nue es par. De tam [kj = 2(hn) (esto se cumple sea n par g eatero K ta que n nisma manera se puelle Suponer va la mis eoncusién, Por fo tanto, si m es par 1 €8 pa qe es par Demostrar el siguiente enuneiado por coutraiceion. BI entero EEE Sense puede escribir como ta sumia de an entexo impar y dos enteras pas Demostracién, Supongase lo contratio, que $12 se puede eserbir como Ia suma p+y+s, donde x ‘le am entero inpar dos enteros pares. Esto es, (1) 5 fs uu mero entero impar ¥ ambos y. = son pares, Dado que 2 «= impar, (2) san entero k. ¥ puesto que yy = son pares, existen eteros fy tn tales que (8) y = 21 y (4) = = Bin, Sustituyendo (2), (3) y (4) en (1) 56 (6) 5 (2h-41) 421+2m = 2¢b-+1-4m) +1. Dado que k++ es lun nore entero, de (5) se deduce que 512 es un mnero entero impar, lo cuales 2+ 1 para a ‘na contradieciin, Por lo tuto, Bl nimero entero 512 10 se uede escribir coma Iu sume de an nimero entero impor y dos nimeros pares. . Penn Sean ay b nimeros naturales. El nero a divide a b si existe un nimero) natural etal que ac = b. Sia divide a 8, entoners también deeimos que a 6s un factor de by que bes divisible por a Pee (Un nimero primo es mn nimero natural mayor que uno que es divisible solo ees ue ‘Un nineto compuesto es un uimero natural mayor que Uno gue HO 68 Un ero prt, Enuncianossin demestracion el Teorema Fundamental dela Avitmsétic, también See eet edo nimero natural mayor que uno sn primo © puede esribitseiicament como un proto de nimeros pris except por el orden en que se eseriien Tos factors panes CObservar que 12 68 un nimero compuesto, pues 12 = 2-2-3, 13 e9 un almero 7. Por lo tanto, of primo 2. wn faetor primo y Hes compuesto, pues M = {de 32 exactamente dos veces y el primo Ses an fetor de 12 exactamente ua ves fr 12. puede esriir nicamente como 12 = 2-2-3 excepto por et oxen de tox fectowes primos, de igual manera 14 = 2-7 salvo por el orden. Alnededor del ato 350 a.C., Beles dennostns que a ts infinito” Publict este resultado eu su tratado, las Blementos. Su prueba es por contradceiin y es coms sigue, Supongamos, por el contrario, que la cantidad {de vimeros primes es fnito ¥ pademas enumerar, todos ls primos, medionte pr pa ne Ba + be Dado que Pass PR SOM pispavnsPe: Considerar (1) @ naturals, todos los cuales son mavores que uno, qe un nimero natural mayor que uso, Por lo tanto, segin el torema fundamental de la aritmética {cs un primo o 4 puede escribise inicamente como un producto de msianeros primes. En cualquier caso, tee wn factor primo. Dado que py. pao ela Tista completa de ineros primes, algn p, donde 1 < j < kes um factor de g 9 ‘tambitu es un fctor del producto py-py.phs Luge postemes eeseibir (1) como 2) ator pee ) fy py es factor Dad ae pare alg j donde 1 < me. , 9am factor del lado aquierdo de a igualad (2); en eousecuencia, el primo py 68 wn factor de 1, Yo cual es una contradiceion Por lo tanto, la supose de que soo hay una cantidad init de ninmeros primos ts fas. Por lo tanto, la caida de nomevos primes es infuito DEIISEEIE Dest que Para todos los enteros imparesn, ef entero n® Demosiracién, : Sea n un entero impar arbitrario. Dado que 1 es impar, existe un entero & tal que n = 241 Paki =a take conjuno de nmetos enteros es cerado bajo la suma yl nuutiplicack, 242-+2% Al elevar al cuadrade y soordeuar, se tiene 7k) +1, Pasta que K es entero elIntyodnecién a ta Yin sun wimero entero, logo por defici, 1 ef un nner mPa . fe un teorema de identi aditive para el con. La existencin oh (adc Zvm EZ) +0 =m, bs establecido simbilicamente fue rf mjunto de enteros Z es tintea, Demostear que La identidad adiien (para elo cexisten ds ientidades aitivas die Yn €Zy (2) m +0 =m Vin € Z, Jom € en (1) am =, Demostraciin. Supangamos to contain, tintas 0,07 € Z aque satisfac (1) mm +0 =m Dado que la ecuacion (1) wrdhadera para tod rae ay ne one eu (8) 00 = Dao que a ccunion (2) 6 verdadery bentonces (2) se converte eu (1) 0-40 = 0 5) +0040 Porto para cada € Z, em (2) sea mm Por 23, connautativad de Ta sun para tos enteros ( tanto, de (8), (Dy) o+0'=0. aos Por lo tanta, el ero ¢8 ai. GREER Eiercicios rientes, demustee cada teorema mediante una demostracion B diceta los ejerccis sig 1. Sim es un entero par, entonces m1 ¢5 un entero impar 2, Si mes un entero impar, entonces m+ L€8 un entero par {5 Sim es um entero impar, entonces 2+ 1 un entero pa 1. Para eualguier entero m, 2m ~ 1 es un entero ipa 5. Sim y non ambos enteros pares, entonces m + eS un entero par 6. Sim y non enters impares,entonces m+n €8 un enter pa 1. $i mes un entero par y 1 6s un entero impar, entonces 1 +1 es un entero 8. Sismes un entero par y 1 es un entero itapar,entonees na es un entero pa Fn ls siguientes ejnccia, demuestre cada teorema mediante una demostracion 19, Si mes un eutero impar,entonves m+ 1 es un entero pa 10. 5 mes un entero par, entoners m 4-2 es un entero pat 11, Si mn es un entero pat, entonees imo 1 es un entero pa 12, Si ran es un entero innpar, entonces my 1 son anos enters impares 18, Si mm sum entero par, entonces m ¥ 1 son ambos enterosinupates © 11 S01 ames enteras pate, 11 mm-é n yma son ambos enters pares, entonces ty 1 son ambos enteros En los ejerecios siguientes, demuestre cada teoretn mesfiante una prcha por 15, Sinn es un entera impr tanto come 1 sn enteros impares 1, Sie un entero par, eutonees in + 1 es un entero impr 17, Sean wometos enters. Sin — 11 = n+ (=n) es un entero impar. entonces entero ina En los eerecios sigientes, demueste cada tenrem por casos Sin es am wdmero natura, entonces u( + 1) es pa 19, Sin es un nimere natural, eons 1? +hn +5 es impar. 20, Para todo entero m el entero 2+ a es par 21, Para tec entero mel entero m+ Sn 7 es impr ‘Sea mun entero impr enone sm = j-+1 para agin entero 0m = Okt para alsin entero f Bu los siguientes eereicis,denestre cada teotema mediante una demostracion por eontraposieion, ws y slo sel ianero natural n+ 1 es impar 2 timero natural ms lero m es impar iy slo si me mn utero impa 2, Para too entero mele 25, Para todo entero mel entero Sin es nmpar iy solo si Snes impar entero1. Intgodtcetn a la. oie Capit war si y solo si StF 9 65 un 26, Para tl eatero re entero Zim — 4 6 entero pat 2, Sean yw mimes enters: BL etero m1) «= par sly 10 Sm a par 0 m es ipa. por contradiccién. cates, demuestae cada 0 En los ereicios ig ‘8, B ntmero natural 111 no puede escrbise com Ia sua de tres nGmeray naturales pres 420, El imero natural 110 no se puede escribir come la sun de dos ntimeras tural pares yun aximero natural impo 30, No exstenenteros my tales qe dn + 6 = 8 4 431, Noexsten enteros m yn tales que i + 6n En losejerccix siguientes, demostrar cada no de los teoremas deexistenca 432. Baise un mero natural 1 tal que n? +2 1 38, Bxintem enteros mm tales quem 5 34. Bxisten enteros m y m tales que Gm +2in = 3. -Existe un entero impar tal que la suma de sus digitos es par y el producto de sus digitos es par. 46, Existen dos soluciones enteras distintas dela ecuacion 2 = En los eerecios dados cemuestre ol teoreina de unicidad. 837 Pana el teoreia de existencia de inversos aitivos para Tos mi (Gm eZ) (3(-m] € Z).m-+ (-m) = 0. Demestrar que para todo entero m, su inverso aditivo —m es tinico. in dela identidad maltiplicativa para el conjunto 48, Para el tcorema do existe de mimeros enters Gre Zi(me Z), Im =m. Denostrar que It ideutidad muttiplicativa del eonjunto de enteres es nica = — Ejerccios 30, Existe un tnico nfinero real + tal que para todo ninuero realy. yee = dy. (Sugerencia: demastrar, priero, la exintencia de dicho nimero teal ¥ ego demostrar la unica), 40. Demuestra el siguiente teorema de exisencia y unicidad Para cata mimnero rea x, existe un nico wimeza realy tal queConjuntos ta teorta de conjunton, Se Bu este capitulo daremos una intraduccion Iisa ¢ Demos que esta representa la pier angular de la matemitien actual, poe ella se ie el estudio dle las discplinas mateaninieastrvicionales. Desde siglos pasado. Jos matemiticos han cousiderado conjuntos de objetos te uno u otto pos y las nociones actuales dle la teora de eonjuntes consideran ae una gran ceantidad de aquells argumentes clisicos 1 el obs Fue George Cantor, quien finales siglo XIN convieto a los confuntes {eto principal de fa matemitica, pero fue i estudio de fas canjuntos ifinitos su ‘paso mis osido en la teoria de conjuntos, Estos conceptes no fuerost aceptattos rmatemitien de Ta époes, sin eur, et inmesiatamente por la conn fltima década del sighs XIX, la teotia de Cantor ya se usa anupliansente y fue aceptado incluso por les mis excéptiens, pcs se convietieron en una hertanieata invaluable de la maternatien, en particular del analisis Cuno las ideas dle Cantor parecta que 331 s¢ habia ganado la aceptacion de 1 comunidad matematica, apareeeron las paradojas que finalmente sexbraron seins dudas sabre la solider de ks teoria de conjuntos en la forma en que Cantor a habia const uid nla que io Bertrand Russell en 1902 De las diversis paradojas que aparece cs la mas eGlebne ¥ trascenuente, pues inv 1 ls aspectas tis elementales worarse, Esta paradoja puc de Ia teoria de conjuntes y, por ende, no pod it wom0 Capitulo 2. Conjuntos descrbinse de la siguiente manera Silex am congunto, sus elementos paeden ser conjuntos, esta suele acurrar com fivewencia en matematicas, por ejemplo, A puede ser un conjunte de panos, donde ‘aula plano se eonsidern coma ant conjunto de puntos. Bxiste ta posibilidad de que wedi sor we elemento de sf mismo, por ejemplo el conjunto de todos los conjuntos tiene esta propiedad. Sea 5 el conjunto definide por todos los conjuntos que no son elementos de s ode 5, S no es un elemento de 8. Por otto lado, tnismos. {Fs $ un elemento en sf aisine ? Por un lado, si $ ex un eleme tentonces, por la propia definicion de $ Si S 10 es un elemento de $ , entonces nuevamente por la misma definicion de S, $ es um elemento de S. Por tanto, $ es un elemento de S si y sdlo si $ no es un elemento de S, lo etal es una contradieciin del tipo mas fundamental Antes de las paradojas, nunea se habia planteado la cuestion de la existencia ‘de conjuntos. Cantor “delinis” un conjumto como “una eoleccién en un todo de Adeterininados y diferentes objetos de nuestra percepeién o nuestro pensamiento, atnados clementos del conjunto™ Eu otras palabras, Cantor acept6 por sentido co%niin que si podlemos deseribir una propiedad de los objetos, tambien es posible hhablar del conjumto de todos los objetos que poscen esa. propiedad. La solucidn al problema de Ins paradojas fue crear una teoria axiomética para la teoria de conjuntos. En esta teoria los términos de “eonjunto” y la relac6 ‘es un elemento de son eonceptes pritatives y- no defines; sn significado no es relevante y sus propiedades son formalmente dadas por los axiomas. Los axioms fueron establecidas de modo que se pudieran demostrar todos ls resultados tiles de la teoria de Cantor vse impidan la aparicién de paradojas. La primera teorfa axiomitica de la teoria de conjuntos fue dada por Zermelo 1 1908 ¥ fue mejorada por Skolen y Fraenkel, es wsado anyplinmente hasta la sctualidad, En este sistema axiomatico, el primer concept primitive (es deci. no se define) eel de conjunto, cuya noctbn es lade ser uns eolevcidn de objetos X.Y, 29 sus lementos (objetos) se denotan por letras miniseuas, como por ejemple a. b [Los conjuntos seréu denotadas por letras mayiseulas A, B,C, EL otto concepto primitive es la relaeién de pertenencia, relacion de clemento-conjunto, devotada por A con el que eseribiromos, por ejemplo, # € t I 2, Axioms El-sistema de axiomas es un tema complicado y abierto ala discus. Sin embar | 0, para los propdsitos de este libro, que es lade itrodcir los concepts de ls counts de eonjumtos,enutciaemos solamente tes que nos periitan cumnplir con nest propésito, Lita teorfa axiomtica mas Paul Halmos [3 Charles ¢ MRM ioms En Ia teorin de conjuntos esenciatmente to que se tir de otros ya dados, parn luego compararlos con anteriores. En cualquiera de estos casos, se usa conjuntos va existentes, ny pele evear conjumtos de a nada L ‘qualdad de conjuntos la comparacion nus Iisiea,e& que se establece ol Er Dos conjuntos sn iguales sy solanente si, lenen fos mists elementos, Str boticamente eseribinas VAL. Mad ( tiva de que ds conjtos son Aguas i sien kas mismos elementos, Es otras Lo we cote eon dice os gue In rouse com nesta ae in palabras, um conjunto questa completamente earacterizado por ls elementos 9 Iso, Este ceontione, no inaportande si ellos vam raxioma nos perinite,adewis, defini wn coujunto descibiend ox dents ehanentos, decir, ckserbiembslo por extension. Bs decir, para delinir am Jen eseriit ss elementes entre aves, por ejemp conjunt por extension se A= (8.6.9.13} (7.3.5.1), om tabla, os evidente que (13.5, Debido al axiona de is