APENDICE LOGICA Y DEMOSTRACIONES de axiomas. Como oto ejemplo, la definiiéa de “grupo” en el dlgebra abstacta 6 _AvENDICE ‘es bésicamente un conjunto de axiomas que se supone posee un conjunto de ele- ‘necesrio saber que ‘cuando Q es fas). Ea este caso se acostambra eseribir P = Q. Por ejemplo, 2 exerbe (Gees Abraham Lincols) = (« isenavo presidente d los Estados Unidos), de formar nuevas proposiciones a pati de 35 Lgeos. Existen varias maneLorca Dewosmacones ” SP ene props etn mptn si rponin dent por oP aecesverdaderacano Pesos cuando Ps verdad. (Una Sort pralnnpan de Per =P) alton es oon lapse P= (0 P, (Eten pind dole esc") dap? 120" Popnisiones, ntonces su onjunlin esa proposicin dents - Pya que es verdaders cuando tanto P como son verdaders y es falsa en los dems 10 (Py (20 2), yy que esta proposici6n slo ex falsa cuando P es verdadera y Q es falsa, ‘erdadera en los casos restanes. De la primera ley de De Morgan y del pinch ‘ela doble negaciga se sigue asimismo que P => Q es un equivaente logic de la Proposicién (o0P)00, ya que esta proposicion es verdadera a menos que tanto no P como Q sean falas; deci, a menos que P sea verdaderay Q sea fsa Contrapositivo y reeiproco Com ejercici, et lector debers demostra que a impicacién P => Qesequi- impicacion001A Y DeMOsTRACIONES 1” Siestoy en Chicago, entonces estoy a Tinos, centonces el cotrapostve (00 Q) = (ao P) ea implicaciéa ble implicaciéa (ola bicondicional), que se denota por PQ 0, Psiyssiosio, Y que se defie por @=2)yO>P. sun oerceis directo demostrar que P <> es verdaderaprecsameate cuando Py Qson ambas verdaderas 0 ambas falas. Contexto y cuantificadores 2? {Un subgrupo de un grupo dado? i mati dontiad? (EL videntemente la primera proposicign es ‘embargo, la segunda proposicign es verdadera, ya qu se puede tomar x= 16x =—1 i de enteos,entonces Las pro- i (vs) Ge +y =) (cateadida para enteros) se puede leer Para todo entero x, existe anentero y talquex+y= 0,{LOGICA Y DEMOSTRACIONES a De manera similar, la proposici6n a annvans ty =0) = puede leer como Ins variables mencionadas antes. Asi en la proposicign (verdadera) anterior, et valor de y depende del valor de x; en ete caso, six = 2, entonces y = -2, en tanto aque six =3,eatonces y =-3. n0(Ws) PF pusnaser (Gs)n0# 1 de manera similar, 20 (3% pasuaser (Vy) no R ‘Cuando interviescn varios cuantiicadotes, estos cambios e usan repetdamente ‘Asi, la negacin de la proposicin (verdadera) dada aoteiormente pasa aser de 20 (WH) E+Y=0), GW) E+y-4 0, La dtima proposici se puede expresr en palabras como: Exist un entero al que para oda yx +y # 0. «a ArENDICE (Ex proposicisn es, desde lego fas) ‘De manera simi, la negain dela proposici fl) dada anteriormente pasa a sr do manera scesva 20 3) (Vs) (e+ =O), (19). 90 (03) (e+ y= 0), (9) Ge) 06+ y= 0), MENE+ #0, Laima proposicin se puede express en palabras como: Para todo eateroy existe unemtro rial que x+y #0 Observe que esta proposici x verdaderay que el valor (os valores) de que Ices ty # 0 depende de yen general ‘De manera smi, a proposiisn Para toda 5 > 0, inerato (6,8) contene un punt que perenece al conjunto A. se puode considerar que inlay a negacin Exists 6 > Ota que el interalo (4,8) 0 conten ningin punto de A La primera propoticin se puede simbolizar como (18 > 0)(@y € AY(y © (-3,9)), 1 80 negacion se puede simbolizar como (25> oy(¥y © AY(y € (~8.8)) (85 > 0)(4.n(-8,3) = 2).LocIcAY DEMOSTRACONES oo “directas” del tipo descrito arriba, pro daremos aqut un ejemplo elemental. De- rmostremos el siguiente teorema, ‘Teorema 1.£! cuadrado de un entero impar también es un entero impar Si'se hace gue simbolice un entero, entonces I hipotesis es P: mes un entero imp, ‘La conctusign del teorema es: : ni¥es un entero ipa ‘Se necesita la defniion de entero impar, por lo ques introduce la propecia Ry:n= 2k +1 par agin entero k jucir la proposiciGn n?=2m + 1 para alga puede obtener esta proposicion usando Rint = (2k +1) = ake + ak +1, Rysn! = 2(2k* + 2k) 41, ido la proposicgn k Entonces el caadrado den ests dado por n= ai! + 4k-+ 1 = hace m = 24 + 2k entonces mes un enter yn? =2m + 1.Por par. aso. ‘Teorema 3. Sea a = 0 un niimero real. Sipararoda €> Ose tiene 0a <&, ‘entonces a=.L69ICA Y DEMosTRACIONES as Demostracién. Sia = 0s flso, entonces como a = Ose debe tener a> 0.Ea este caso, s se escoge & = 1a, entonces se Lene & > Oy & Os fsa ono, Se presenta ahora un ejemplo més de una demostracién por el contrapositivo. ‘Teorema 4.Sim, n son nimeros naturales tales que m + n > 20, entonces m 10, ebien,n = 10. Demostracién. Sila conclusién es fala, entonces se curplen las dos des- 44 Demosteacién por contradiccién. Este método de demostracion hace wo el hecho de ques Ces una contradicign (es decir, una proposicion que siempre es fala tal como “I = 0"), entonces las dos proposiciones| son equivalentes gic. Portanto, P= Qs establece demestrando que la propo- siciéa (Py (20 0) implica una contradiceisn. ‘Teorema 5.Sea a > 0 un mimero real, Sia > 0, entonces1/a > 0, Demostracién. Se supone que la proposicin a > 0 es verdaders y que Ia Se deduce que 1 <0 Sin embargo, esta conclusion conraice el ode que 1 > 0 1a matemitica. Una es la demostracin de que no hay ningin némeroracional r que saisfaga r? = 2. Este es el teorems 2.1.7 en ‘el texto.) tra es la demostracién del caricterinfnito de los ndmeros primos, la ‘cual a encuentr en los Elementos de Buclides. Recuérdese que un nimero nat- ral pes primo isis iicos ivisoes son I y p Se supondrén los resultados bsicos {de que todo nimero primo es mayor que Ly qve todo némero natural mayor que 1 5 primo o divisile por un aimero primo. ‘Teorema 6. Elementos de Euclides, Libro IX, Proposicin 20.) Hay una inf itu de nimeros primo. Demostraciin. Si se supone, por conradicién que los nimeros primos son finitos, entonces se puede suponer que S = (p,, ,}¢8 conjunte de todos los a6 artxoice nimeros primos. Se hace m =p, “+ py tl producto de todos los nimeros primes, yse hace g = m+ 1. Como q > para toda, vemos que qno esti en Sy que, pot ‘onsiguieate, quo es nimero primo. Entonces existe un primo p que es divisor de 4. Puesto que pes primo, entonces p =p para algunaj, por lo que pes un divisor de 'm. Pero sip divide anto a m como aq =m + 1, entonces pes divisor dela dferen a q~ m= 1. Sin embargo, esto e8 imposible, por Io-que se hs legado s una contradicein. orp. Libro: Inbredocerin ol andhsig metemidice de une variable real Who. Boberd 6 Bardle Donald 2 sherberd Bddarel Ly muse fsem : 4ge- IB -S191-9