11 1A Pre-Algebra Logica proposicional Introduccién Para las matemsticas, las demostraciones o pruebas son la columna vertebral que aseguran la verdad de los fundamentos sobre los que se sostienen. Desde el siglo XVII un matemitico ale- :mén, Wilfrid Leibniz, sugirié la construcci6n de un lenguaje que permitiera la formalizaci6n de demostraciones matematicas. Leibniz era una persona que crefa en el uso de las méquinas, incluso en 1671 construyé una calculadora, step reckoner, capaz de realizar multiplicaciones, divisiones y raices cuadradas, Ademis participé en la construccién de las primeras prensas hidrdulicas, molinos de viento, submarinos, ete. Pero, paralas mateméticas, Leibniz visualiz6 una mdquina que no ha sido posible construir, sin embargo algo se ha logrado, primero con la participacién de George Boole alrededor de 1850 12] y posteriormente de Augustus De Morgan se desarrollaron los primeros trabajos cientifi cos que se enfocaron en adaptar la Logica Aristotélica al Algebra (841. Recordemos que también en el siglo XIX los trabajos de Gauss y otros condujeron a la des- confianza en la intuicién geométrica para demostraciones matematicas. Entonces, fue hasta el siglo XX, que David Hilbert en Alemania, propuso vincular la légica con las matematicas para formalizar los sistemas axiomaticos de teorema-demostracién, asf pues, la logica matemética fue inminentemente necesaria. Hilbert considers la creacién de un sistema Igico-matemético que debia ser vélido en todas las areas de las matematicas, ser libre de contradicciones, consistente y formado por un ntime- +0 finito de pasos. Sin embargo, hasta la fecha no ha sido posible alcanzar completamente los ideales de Hilbert ni de Leibniz, pero, si podemos decir que se ha logrado un lenguaje matemé- ‘ico suficientemente consistente, aceptado por la mayoria de los mateméticos de la actualidad A continuacién,presentamos los conceptos basicos de légica y algunos tipos de demostracio- nes mateméticas basicas para casos sencillos. A pesar de su brevedad,este capitulo es muy im- portante debido a que las reglas l6gicas dadas permiten desarrollar el pensamiento correcto que facilitara el razonamiento matematico, es importante saber que el razonamiento matemé-tico esté sostenido por una columna vertebral formada por demostraciones matematicas. Definicién 1.1 Proposicién Una proposicién es una expresién que se puede determinar como verdadera o falsa, En este texto se utilizan letras maytisculas como p, q, 7... para representar proposiciones. Proposiciones Determina si las siguientes oraciones son proposiciones o no. 1. Guadalupe Victoria fue el primer presidente de México 2, 242=27 3, ;Cuales el camino ala papeleria? 4, ;Salta al lago! 5, sC6mo te llamas? (conje- 6. Nohay mimeros positivos enteros a,b, cy n con n>2tal que a” +b" = c! tura de Fermat) 7. Vamos, vamos! Solucién. son proposiciones las oraciones 1,2,6 En general, las oraciones imperativas, exclamativas ¢ interrogativas no son consideradas como proposiciones, ya que no se puede decir si son falsas o verdaderas. 1.1.2 Valores de verdad Definicion 1.2 Valores de verdad Dentro de las proposiciones, existen s6lo dos valores de verdad; Verdadero y Falso. A cada proposicién se le podré asignar un solo valor de verdad ya sea verdadero (V) 0 falso ® Valores de verdad Observa las siguientes proposiciones: 1 9416= 15; es verdad, entonces su valor de verdad es (V). 2.941 6; esta proposici6n es falsa y por lo tanto su valor de verdad es falso,(F) 3. Laproposicién 3 + 9.es verdad, entonces su valor de verdad es (V), 4, La proposicién Una semana tiene & dfas, es falsa y pot lo tanto su valor de verdad es WV).1.4.3 Proposiciones compuestas ‘Una proposicién compuesta esté formada por varias proposiciones simples ligadas con conec- tivos logicos ya establecidos. Definicion 1.3 Gonectivos logicos Los conectivos I6gicos se utilizan para unir dos 0 mas proposiciones, los més comunes Conectivos Légicos | Simbolo | _ Nombre no = Negacion, y a Conjuncin ° v Disyuncion si.,entonces = Condicional siys6lo si = __| Bicondicional 1, Lanegacién de una proposicién es una nueva proposicién que tiene un valor de verdad opuesto a la proposicién original. Note que +p es la negacién de p y se lee no p. Para negar también se pueden usar palabras como: no es verdad que, no es cierto que, nunca, ninguna, etc. La negacién transforma una proposici6n verdadera (V) en una proposicién falsa ® y-viceversa, es decir: Si p es verdadero, entonces, +p es falso; sig es falso, verdadero aes Conectivo de negacién 4) Si pes la proposicién Las ballenas viven en el mar; ~\p, las ballenas no viven enel mar. by Sing es la proposicién Las ranas no tienen plumas, entonces ~(>@) = 4, seria Las ranas tienen plumas 2, La conjuncién es la proposicién compuesta que resulta de conectar dos proposiciones, PY 4 mediante el conectivo A. Esta proposicion compuesta se denota por p Aq y se lee py4 Conectivo de conjuncién p: Los tigres son felinos 4 : los lagartos son reptiles. P.4q : os tigres son felinos y los lagartos reptiles. 4 p:aeslasolucion de a? —= pag: a=lyeslasolucion de 3. La disyuncién es la proposicién compuesta que resulta de conectar dos proposiciones, py q, mediante el conectivo v, esta proposicién compuesta se denota por pv qy se lee poq. Conectivo de disyuncién p: Los carros son azules 4 : los carros no son eléctricos. vq: los carros son azules 0 no son eléctricos, pixty=4 qixny=4 pvqixty=4ox-y=4 4, La condicional(si... entonces) es la proposicién compuesta que resulta de conectar dos proposiciones, p y q, mediante el conectivo =>. Esta proposicién compuesta se denota por p> qyselee p implica q. Conectivo de condicional Las mateméticas son dificiles. 4 :€150% de los alumnos reprueba matemdticas. p= q: Silas matematicas son diftcles, entonces el 50% de los alumnos reprueba mateméticas. pix=4 qyse Entonces p= q: seria 4>y=16 p: La tierra es redonda 4: Las sillas son grises p= q: Sila tierra es redonda, entonces las sillas son grises. Observese que no necesariamente debe haber una relacién entre las proposicio- nes, es decir pueden ser cosas totalmente diferentes como en el inciso (©) 5. La bicondicional es la proposicién compuesta que resulta de conectar dos proposicio- nes, py q, mediante el conectivo «. Esta proposicién compuesta se denota por p © q y selee psiysolo sig.Conectivo bicondicional p: Las aves pueden volar. 4: las aves tienen alas. p © q: Las aves pueden volar Siy solo si las aves tienen alas. 1.1.4 No‘ \n de verdad Definicién 1.4 Verdad matematica Una verdad matemstica, es una secuencia de proposiciones, vélidas de tal manera que es posible demostrar su veracidad utilizando procesos logicos partiendo de axiomas pre- establecidos, El valor de verdad para cada proposicién apela al conocimiento demostrado en cada una de las reas de las ciencias naturales, fisica 0 de las matematicas. Los valores de verdad recurren a las reglas establecidas de la aritmética. Es importante ser consciente cual es el érea de accién de los axiomas considerados para de- terminar su valor de verdad, ya que lo que sea cierto utilizando un conjunto de axiomas no necesariamente serd cierto si cambiamos las referencias. Por ejemplo, si consideramos un niimero del conjunto R* (Conjunto de ntimeros reales menos el cero), cualquier ndmero aqui, tendré su respectivo inverso multiplicative que también esta en R*, ahora si consideramos un nimero del conjunto Z*, no necesariamente es cierto que para cualquier niimero su respectivo inverso multiplicativo estar en el conjunto Z* Observe que las reglas basicas de inferencia no solamente se originan de la I6gica sino que también provienen de las matematicas (aritmética, teoria de ntimeros, teorfa de conjuntos, ete.) En cierto modo, para determinar valores de verdad, las leyes de la l6gica tienen una jerarquia mayor que las leyes de la Fisica, Mateméticas o de la Biologia, Detiniclon 1.5 Tablas de Verdad Una tabla de verdad es una representacién gréfica de todos los resultados posibles del valor de verdad de una proposicién compuesta por dos o mas proposiciones unidas con conectivos logicos. Acontinuacién se presentan las posibles combinaciones utilizando conectivos légicos para dos proposiciones py qp [4 [>p [png] va [pa] pod vivif[v>vi[yvfv viF[F>F fv] F F Fiviv[>Ff{[vf[vfe Firiv[/Ff[rFf[tyf[v Para obtener los valores de esta tabla debemos observar lo siguiente: 1, Una conjuncién es verdadera cuando las dos proposiciones que la forman son verda- deras. Por consiguiente la conjuncién es falsa cuando una de las dos proposiciones es falsa, 2. Una disyuncién es verdadera cuando alguna de las proposiciones que la forman es ver- dadera, Es falsa silas dos son falsas. 3, Lanegacién de una proposicién es verdadera si y s6lo sila proposici6n es falsa. 4, Una proposicién condicional tiene dos partes: condicién o antecedente y la segunda parte es llamada conclusién o consecuente. En general, un condicional es verdadero si Ja conclusion es verdadera y también en el caso que la condicién y la conclusién sean falsas, 1.1.5 Tipos de demostraciones matematicas Los griegos se dieron cuenta de la necesidad del formalismo de las demostraciones matema- ticas para darles un sentido de precision y de confiabilidad. Para formalizar a las matematicas los griegos desarrollaron los axiomas y teoremas que una vez demostrados son la base para nuevos teoremas, Existen varios tipos de demostraciones; en esta seccién se mencionan algunas de ellas junto con ejemplos. Definicién 1.6 Tablas de Verdad ‘Tautologia: Una proposicién compuesta se llama tautologia si es verdadera en todos su valores de verdad. Definicion 1.7 Tablas de Verdad Contradici6n: Una proposicién compuesta se llama contradicién sies falsa en todos su valores de verdad. Definiclon 1.8 Tablas de Verdad Un razonamiento légico es una proposicin condicional donde la condicién es una conjunci6n finita de proposiciones: Ay 4 Az A... Ap y la consecuencia es una propo- sicién B. [ALA AL A NAW) > BDefinicién 1.9 Tablas de Verdad Si tenemos un razonamiento logico que siempre es verdadero (tautologi An) = B, este razonamiento es llamado regla de inferenci que B es la consecuencia logica de Ay, Az). An AYN Ag Ran ‘También es correcta decir Detinicién 1.10 Tablas de Verdad (Demostracién directa) Es el caso en que se desea demostrar que la proposicién condi- cional A= B es verdadera, entonces la manera directa de hacerlo es deduciendo a partir de A, otras proposiciones Aj, Az,... Ax hasta concluir B, es decir: (A= (A, > Ay) > Ay) >. > AVI > B Definicién 1.11 Tablas de Verdad Demostracién indirecta) Es el caso en que se desea demostrar que la proposicién condicional A> B es verdadera, se utiliza su equivalente “B => 7A, la forma indirecta de hacerlo es deduciendo a partir de “B, otras proposiciones C,..., Cy hasta concluir: @oA wa es decir, WB = (C1 >.> Cy) > OAV A). En el primer caso, sila conclusin es “A en- tonces decimos que es demostracién por contraposicién, en el segundo caso, sila con- clusion es A se dice que la demostracién es por reduccién al absurdo ,también llamadas demostracién por contradiccién. Conective de condicional (jemplo de reducci6n al absurdo) Se asume que los mtimeros reales son parte de una (Goleczi6n mss grande de mdmeros) Inmnadia faGmoros idealest para los cuales este una ‘tmultiplicacién?, que al operar con nimeros reales se reduce ala tipica multiplicacién de ncimeros reales. Ademas se asume que para todo ntimero ideal z existe una raiz. cuadrada, denotada v2, tal que (a= Ademés si z es real positiva, la raiz cuadrada Vz, es la raiz.cuadrada comiin (positiva). Finalmente, si 21,22 son ntimeros ideales entonces: Vam= Vat ve Observe que la regla anterior es correcta si z1 y zz son ambos reales y positivos. Entonces, se llega ala siguiente contradiccién: H1= (Va? = Yal« aT = VET = Viel Por tanto una extensi6n de los ntimeros reales con todas estas propiedades especificadas no existe.Definicién 1.12 Demostracién por contraejemplo Sea U un conjunto y A una proposicién sobre una propiedad del conjunto; si queremos probar que una proposicién de la forma todo elemento de U satisface A es falsa, hay que probar que su negacién es verdadera, es decir: existe un elemento de U que no satisface A, para esto basta mostrar tal elemento, este método es conocido como demostracion por contraejemplo. Detinicion 1.13 Tablas de Verdad (emostraci6n por induccién matemética) Sea A(n) una proposicién para el nimero natural n, Si: ( AQ) es verdadera Gi) A(n) es verdadera, implica que A(n +1) es verdadera entonces A(n) es verdadera para cualquier niimero natural n En lo subsecuente, la ocurrencia de una contraccién es indicada por el simbolo. Conectivo de condicional Calcular la tabla de verdad de los siguientes enunciados: (A> B)A(B> ©) > (A> C)(transitividad), (AV B)A(A> ©) A(B = ©) = Ciprueba por casos), (987A) 9 the By(contaporiciny aso. Solucion: Prueba por Trans TET CASE BSC [US HnESO [ASE viwivE vp v v ViW EFF F F vprtv[ oF |v F v vEETRLOF F F FLV[v|-v_-[-v v v FIV[F[-v-[F F v Flew Tv v v FLFIFIVL¥ v v(A>BAB>O>A>0) a 7 7 Vv v a 7 7 Prueba por casos: A[B[€|AvB|A>C GSOnB=0) viviviv Vv Viv[F[Lv F Virfy>v fv ViF[FL Vv F Vv F Fiv[v[ Vv Vv Vv Vv FivViFlv Vv F F FE F Vv. Vv F F Vv Vv V CVE AA>OAB> CO) [AVIAMSOAB= OSC V Vv F Vv Vv Vv F Vv Vv Vv F Vv F Vv F Vv Prueba por contraposici6n: A] =A #8] 78 | 28> 7A | A>B | OBS 7S A>B) VE [v[F Vv Vv Vv VF FLV F F Vv Flv |v[F Vv Vv Vv FLV Flv Vv Vv Vv Las tablas de verdad en la referencia (1.6.0.1) se llaman tautologias, es decir, todos los enuncia- dos resultantes son verdaderos independientemente de los valores de verdad de sus proposi- ciones. En matemiticas, las tautologfas son usadas con frecuencia como reglas de inferencia Es decir, para todos las proposiciones A, B y C se puede concluir que los valores de verdad del Iado izquierdo, tienen sus correspondientes relaciones de verdad con el lado derecho, En el siguiente ejemplo se muestra como Se aplica la transitividad,(A2B)AB30) (450) 0.6.02) Conectivo de condicional (Transitividad) Definimos los enunciados A,B, C como As= Tiger es un tigre. B: iger es un felino. ce ger es un mamifero. Entonces la prueba por transitividad es: i) A= B: SiTTiger es un tigre, entonces é1 es un felino, ii) B = C: SiTiger es un felino, entonces él es un mamtfero, ili) A= C: Si Tiger es un tigre, entonces él es un mamifero, Los enunciados i) y ii) son verdaderos. Por lo tanto, la verdad de iii) esta dada por la transitividad de la condicional (->). Dado que Tiger es un tigre y un tigre es un mamifero, centonces Tiger también es un mamifero, Conectivo de condicional Wemostraci6n por contradiccién) Un ejemplo de una demostracién matemética por contradiccién es el siguiente: Probar que no existen enteros m yn tales que 2m+4n 5 1.6.0.3) Demostracién. La demostracién por contradiccién, asume lo contrario de la proposicién que se quiere demostrar, en este caso, se asume que si existen enteros m y n tales que la proposici6n (1.6.0.3) es verdadero. Observe que el miembro izquierdo de la ecuaci6n es divisible entre 2 sin residuo, mientras que el miembro derecho no Io esPor tanto la suposicién para la demostracién es falsa. Entonces la proposicién (1.6.0.3), es verdadero, es decir, no existen enteros myn que cumplan que 2m+4n=45 es verdadero, Por lo tanto, la demostracién se termina con un cuadro en el margen infe- rior derecho que significa: lo que se queria demostrar?. Nétese que la demostraci6n por contradiccién se desarrolla igual a cualquier demostracién, la diferencia esta en la manera en que se comienza y en que se termina.En el ejemplo anteriora proposici6n original comienza con un “no” por lo que la proposicién a demostrar comienza conun “si”, Conectivo de condicional (Prueba por Casos). Demostrar que n¢|n-1121 (1.6.04) para todos los enteros n, Demostracién. Primero, tomamos en cuenta que n es un entero, Ahora consideremos los casos para los que se cumple que n < ly n> 1, S{ nes un entero tal que n < 1, entoncesn?1 < 0y porlo tanto, n4|n-=ntl-nslel Ahora siguiente caso: sin es un entero tal que n > 1, entonces n?1 > Oy por lo tanto n-122— n+|n-1 nen Por lo tanto en ambos casos (1.6.0.4) es verdadero, El enunciado se cumple ya que para cualquier entero n se cumple que: n+|n-121 Contraposicién Demostrar que si el cuadrado de un entero es par entonces el ntimero entero en s{ es par. Demostracién.. Definimos los enunciados p, q como: = p: Elcuadrado de un niimero entero es par. = q: Elmtimero entero es par. por lo tanto, las proposiciones negatives quedan, = =p: El cuadrado de un ntimero entero es impar. = 7g: El ntimero entero es impar. consecuencia para una demostracién por contradiccién (24> =p) © (p> 4) tene- ‘mos que Si el entero en cuestion es impar entonces su cuadrado es impar, Para esto, consideramos a n como cualquier entero impar. Por consiguiente, hay un en- tero m tal que: n= 2m + 1. Porlo tanto nt (@m+1)?=4m* +4m+1=22m?+2m) +1 notese que n? también tiene la forma de un nimero impar por lo que: si el euadrado de un entero es par, entonces el ntimero entero en sfes par, es verdadero.Este resultado es muy «til para demostrar que no hay un niimero racional cuyo cuadrado es igual a2 (Demostracién por contradicci6n). Probar que no hay un niimero racional cuyo cua~ drado es 2, Demostracién. Asumiendo lo contrario, se supone que sf hay un niimero racional r tal que su cuadrado es 2. Sin restriccién alguna, asumimos que r = p/q, donde p,q son enteros cuyo méximo comin divisor es igual a1 y q #0. Por definicion 2 pak 7 q porlo tanto pra2q? Notese que 2 es divisor de p? y entonces del ejemplo anterior se tiene que 2 ¢s un divisor de p, asf hay un entero p tal que p = 2p. La sustitucién de esta identidad en la ecuaci6n previa resulta 2p) = 4, entonces también por el ejemplo anterior se tiene que 2 también es divisor de q.Como consecuencia, p y q tienen a 2 como comiin divisor, lo cual contradice la suposici6n.En conclusidn se demostt6 que no hay numero racional cuyo cuadrado es igual a2. Conjuntos Definiciones y operaciones de conjuntos con diagramas de Venn Algebra de conjuntos En mateméticas , un conjunto muy complicado dentro de los ntimeros reales es el conjunto de los irracionales y esto debido a que solamente puede aproximarse hacia algtin niimero fijo, pero no son exactos como los racionales; algunos ejemplos de niimeros irracionales son V2, eer Definiclén 1.14 Nimeros iracionales ‘Un ndimero irracional es un niimero que no puede ser expresado como una fraccién 2, donde py q son enteros, con q diferente de cero y donde esta fraccidn es irreducible. Ast un irracional Es cualquier mimero real que no es racional. 1.3 Numeros reales OBJETIVO: El alumno identificaré la clasificacién de los nimeros reales, considerando su re- laci6n de orden y realizaré operaciones fundamentales con las propiedades para los nimeros