PRESENTACION Dada tz gran acogida que siempre ha tenido el tibro “ANALISIS MATEMATICO”, asi conta la necesidad de corregir ciertos errores de forma y de impresisn y, fundamentaimente, la necesidad de actualizar ciertos temas e incorporar otros, nox han motivada a las autores y al Centro de Matematica de ia Universidad Central det Ecuador a presentar esta nueva edicién dedicada a aquellos estudiantes que se inician en el estudio del eéeulo diferencial e integral en una y varias variables. Como en ta edicién anterior, se han abareado los temas contemplados en los programas de un primer curso de mateméticas para carreras profesionales téenicas, comenzando por tos fundamentos de la matemética, para continuar con tépicos usuales tales como los sistemas de los mimeros reales y complejos, funciones reales, dlgebra vectorial y geometria analitica, limites y continuidad, derivacién, integracién y sus aplicaciones. Pero, a diferencia de ta cedicion anterior, en esta se incorporan los contenidos correspondientes a un segundo curso de las carreras antes mencionadas y es asi como se incluyen los capitulos correspondientes a las funciones vectoriales, al céiculo diferencial en varias variables, las integrales mailtiples yun ‘capitulo introducioria a las ecuaciones diferenciales ordinarias, Todo esto dentro de ta rigurosidad necesaria en wn texto de mateméticas, sin entrar por ello en consideraciones demasiado formalistas o demastraciones demasiado complicadas, que solamente servirdn para entorpecer su comprensién, tratandose de un libro orientado a prineipiantes. Cabe hacer especial énfasis en le capitulo IV, donde se introduce el espacio euclideo R°, haciendo hincapié en los espacios R’ y R’, para luego presentar la geometria analitica en forma sencilla, utilizando precisamente conceptos propios de los espacios euclideos como distancia, pardlelismo y ortogonalidad, ‘Se han revisado completamente los eercicios, eliminando algunos por considerarlos poco ilustrativos, reeniplazindolos por otros y afiadiendo un buen ntimera de ellos de mayor interés. Esto incluye una revisién total de las respuestas a los ejercicios impares ast como a un buen mimero de ejercicios pares. Expresamos nuestro agradecimientos a las ingenieros Jairo Navarrete y Oscar Toalombo, quienes revisaron las respuestas de los capitulos I al VI y det VIF al XV respectivamente. No seria justo terminar esta presentacién sin mencionar el aspecto de forma, Se ha puesto especial cuidado en ta presentacién del libro, él mismo que ha sido disefiado y levantado por ta Sra. Sonia Bravo para quien va nuestro especial reconocimiento. Igualmente, con el aporte de Ja Ingeniera Zulay Almeida, se ha logrado wna mayor precisién en los graficos, fo cual ‘solamente ha sido posible gracias al empleo de téenicas de computacién. Los autores Quito, 2007{indice general Ld 12. 13. 14. 1s. 16. CALCULO PROPOSICIONAL Introduccién Proposiciones Gonectivos Légioos 6... eee eee Aplieaciones . 0... eee ee eee Cuantificadores . SHeeepot sees 1.5.4. Funciones proposicionales 1.5.2, Cuantificadores i Métodos de demostravion . . 2. CONSUNTOS 24, 2.2. 2.3. 24, S Introduccisn. Determinacidn de conjuntos, Represontacién gréfica. Diagramas de Venn-Euler Relaciones entre conjuntos 241. Igualdad . . 2.4.2. Inclusién de conjuntos. Subconjuntos. 2.4.3, Propiedades de la inclusién de conjuntos. El conjunto de las partes de un conjunto. 25.1. Propiedades de la igualdad de conjuntos, Operaciones con conjuntos 2.6.1. Conjunto universal o referencial 2.6.2. Interseccién de conjuntos . . « 2.6.3. Unién de conjuntos ....... Propiedades de la Unién e Interseocién . . Diferencia - Complemento 28.1. Diagramas de Carroll 2.8.2. Diferencia simétrica Bjercicios de aplicacisn 1B 13 13 16INDICE GENERAL 3. Bl Sistema de los Ntimeros Reales 31. BT. 38 39. 3.10. Axioma de Cuerpo: 3.L1. — Propiedades de las operaciones de adicién y multiplicacion. Axsiomas de Orden Representacién Geométrica do fos Niimeros Reales. Tatervalos Conjuntos Acotados. Axioma de completitud E} Conjunto de los Neimeros Enteras. B} Principio de Induesién Los Numeros Racionales y los Nrimeros Irracionales, Valor Absolute... - 4, BL SISTEMA DB LOS NUMEROS COMPLEJOS 41. 42. 43. 44 46. 4.6. AT. Introduccion. Los Nimeros Complejas como Cuerpo Representacién Geométrica de los Nitmeros Complejos . Valor Absolute o Médulo de un Nitscro Complejo, Imposibilidad de Ordenar los Nuimeros Complejos. La Forma Polar de un Niimero Complejo. Races N-ésimas, 5. RELACIONES Y FUNCIONES Bil 5. 5. 5.6. 8.7. Producto Cartesiano 5.1.1. Representacién grdfica del producto castesiano Relaciones 5.24, Introduecién q 5.2.2. Grafo de una relacion 5.2.3. Dominio y recorrido de una retacién Propiedades de las Relaciones 5.3.1. — Relaciones como transformaciones Funeiones o Aplicaciones 541. Introduccion . . 54.2. Definicién de funcién . . Funciones inyectivas, sobreyectivas y biyectivas . Puncidn inversa Composicion de funciones 49 50 51 58 60 60 66INDICE GENERAL 5.7.1. Propiedad fundamental de la funcién inversa 5.8. Funciones reales 5.8.1. Operaciones con funciones reales 5.8.2. Propiedades de las operaciones definidas en F(A,R) . 5.9, Funciones mondtonas 5.10. Funciones Pares ¢ Impares 5.11. Funciones Reales Usuales .... . « 5.1L. Funciones afin y lineal oo... 5. Sees 5.AL2. Faneién Potoncia Positiva 5.1L3. Pancién Potencia Negativa Bild, Funcién Ratz B.ALD, Funcién Polinonial y Racional 5.LL6. Funcisn parte entera Funciones Trigonométricas 5.12.1, Funciones periddicas 5.12.2. Representacién grafica 5.12.3. Fancidn tangente . . . PEE eRe CES 5.124. Puncién cotangente . . 5.12.5, Funcidn secante eee Se eee eee 5.12.6. Funcigu cosecante 5.12.7, Las gréficas de las funciones y = Asen(Bx + C) y ¥ = Acos(Ba + C) 5.18. La fancién exponencial 6. EL ESPACIO VECTORIAL R” 6.1. El Bspacio Vectorial Do... ae G11. — Tgualdad de Elementos de R™ 6.12. Definicién de las Operaciones en R” 6.1.3. Multiplicacién por un Numero Real. 6.5.4. Combinaciones Lineales de Blementos de R" . . . . 6. Depenciencia ¢ Independencia Lineal de Vectores en R" Vectores Colineales Sistema Generador .. . . Bases de BR" Bose Canénica do"... eb eer eerie etc 6.2. Interpretacién geométrica de los vectores de R? y de R® 6.21. Producto Esealar : : ce iW INDICE GENERAL Espacio Vectoriel Buctideo 257 Longitud 0 norma de un vector 287 ‘Vectores ortogonales 263 Sistemas de referencia en el plano y en el espacio... .. = 264 Sistema de referencia ortonormal He ce 264 6.2.7, Angulo entro dos vectores. 26... one 268 6.3. Aplicaciones a Ja Geometria Analitica . . . 273 63.1. La I{nea recta 6.3.2. Rectas: en el espacio 64. El Plano 6.5. Las Conicas . . . « . Le aa +. 303 6.5.1, Definiciones fundamentales 2.0... 0.00. 304 6.5.2. Eouacién general de las cétiess . 6... ee 308 6.5.2. Renaciones cartesianas de las einicas ae 307 654, La Pardbola See : : iseetorerane: tr) 65.5. La Blipse See eee cnae 302, 65.6. Lahipérbola. so... 0. : : 381 7. LIMITES Y CONTINUIDAD 343 TA. Entornos . = 343 7.2 Entomo reducido. . . . : eee wo BM 7.3. Designaldades y Funciones eee Lees BAB Td. Limites . : : : Hts 361 75. Definicion de limite de una funeién .. 2... . ‘ oe =. 363 7.6. Propiedades de los Limites ...-......005 See 366 77. Usnites Laterales 0 : Eee eee SFP 77.1. Limites Infinitos y Limites al Infinito : . 374 78. Continnidad ee : 379 7.9. Continuidad dle los polinomios pee - 383 7.9.1. — Célculo de Limites de Funcioncs Continuas Bote 386 Continuidad Lateral. 0... Ee oe. 386 79.3 — Limites Trigonométrices «6... : see 892 7.9.4, Limite elgebraico fundamental... 22.0... : - 896 7.9.5. "Teoremas sobre funciones continuas .. 6... ss : 398 Ejemplo de aplicacién del Teorema de Bolzano. . « ce OdINDICE GENERAL 8. DERIVACION 8.1. Introduccién 8.2. Motivaciones Geométrica y Fisica de la derivada ..... . 8.3, Derivada de las Funciones Usuales en un Punto... 0... 84. La Funcién Detivada. 2.2. HE 8.5. Otras Notaciones para la Derivada . . 8.6. Derivadas a Derecha e Inquierda . . . 87. Relacion entre Derivabilidad y Continuidad . 88. Propiedades de la Derivada ..-........ 8.9. Derivadas de las Funciones ‘Trigonométricas Directas, 8.10. Derivada de la funcién compuesta (Regla de la cadena) 8.11. Regla de la Cadena en la Notacién Leibniz 8.12, Derivacidn Impiicita 6... cence ee 8.13. Derivada de la Funcién Inversa se eee 8.14. Derivada de las Funciones Trigonométricas Inversas 8.14.1. Derivada de la funcién exponencial ........ 8.15. Derivadas de las Funciones Hiperbélicas 8.16. Derivadas de Orden Superior q 8.17. Aplicaciones Geométricas y Mecsnicas de la Derivada. . . . 8.18. Velocidad y Aceleracién . 8.19. Coeficientes de variacién ligados Peete 8.20. Maximos y minimos de las funciones . . . 8.21. Trazado de Curvas 2. eee eee 8.21.1. Problemas de méximos y minimos...- 2.2... 8,22. Céleulo de Ifmites indeterminados 8.23, Método de Newton para determinar las rafces de f(x) =0 8.24. Ladiferencial.. 0.2... 00.0222 eee 8.25. Aproximacién de funciones «62... ee eevee 9, INTEGRACION 1, Introduccifn. oe ee eee eee 9.2, La Integral Indefinida . 9.2.1. Fanciones primitivas o antiderivadas .. 2... 9.2.2. Propiedades de la Integral Indefinida ...... . 9.2.3. Aplicaciones de la integral indefinida, 93, Lalntegral Definida .. 0.2.2... ee 547 He 2 BBL ee 887 ees 500vi INDICE GENERAL 93.1. El simbolo de sumatoria ...... 05... eee 560 93.2. Particién de intervalos ... . ee » . 562 93.2. Lanocién del érea BE ReSEe eee E Reed 564 93.4. — Definicion de Ja intogral on ol sentido de Riemann . . . are eer 9.3.5. Bjemplo de una funcién Riemann integrable Scere 569 93.6. Bjemplo de una funcién que no es Riemann integrable en [0, 1} . . 570 937. Criterio de integrabilidad... 2.2... Hee oH TS. 9.38. Propiedades de Ia integral... . ; : 579 9.3.9. Teorema del valor medio para integzales . 881 93.10. Desigualdad de Schwarz eee eects penerenensenit (10 94, Relacién entre Integracién y Derivacion. . oe eee 582 9.4.1, Primer teorema fundamental= 6... . a : 582 94.2. Seguado teorema fundamental del céleulo. . . 585 95. Métodes de Integracién : 588 9.5.1. Método de integracién por eustitucién 588 9.5.2. Método de integracion por partes 6... ee eee 595 9.5.3. Integracién de funciones racionales . 2... . ee » = 605 9.6, Integrales Trigonométricas. eee ee eee es - 618 9.7. Primitivas de un Producto de Senos y Cosenos de Punciones Lineales de 2... . 626 9.8. Integrales de un Polinomio en sens y cost 2... eee +. 629 9.9. Integracidn de Funciones Hiperbdlices on oo. 632 9.10, Sustitueiones Trigonométricas eee ee a : os 634 9.0.1. Integrales de la forma / R (« % =e) dx donde R. designa una fun- ciém racional. . / ie : - 648 9.10.2. Integracién de funciones racionales de seno y coseno, . . ss + » 646 10.Aplicaciones de la Integral 651 TOs Area oO eee ee eee oy Hy .. GL 10.2, Coordenadas Polares. 2.0... eee ; 659 10.3, Area de una Regién en Coordenadas Polares . . . eee - 663 104. Volumen de un Solido de Revolucién 50... eae HEE FBS 104.1. Volumen de un sélide de revolucién utilizando el método de la corteca, Gilindrica, 6... eee ie peu oma 105, Longitud de Arco de una Curva Plana... . . eee en) 10.5.1, Area de una superficie de revolucién eee ve 685 10.6, Centro de Masa de una regidn Plana... eee eseINDICE GENERAL vi 10.7. Centro de Masa de un Sdlido de Revolucion « Steere 698 10.7.1. Teorema de Pappus. 701 40.8, Momento de Tnereie .. 2... eee ee eee 2 702 11.Ecuaciones Diferenciales Ordinarias 707 iid. Generatidades . 707 112, Beuaciones diferenciales ordinarias de primer orden... . aH m0 113, Campos direcciouales y soluciones HE Hee m2 LA, Ejemplos de ecuaciones diferenciales de primer ordi 11.5. Métodos para resolver una ecuacién de primer orden 11.5.1. Analisis cualitativo de ecuzciones ordinarias de primer orden 11.5.2. Andlisis cualitativo de ecuaciones diferenciales antonomas 11.5.3. Anélisis cualitativo de ecuaciones diferenciales no autonamas . 720 1184. Espacio y linea de fase oe : 722 11.6. Método de Buler para ecuaciones ordinories de primer arden. 2... m2 1.7. Técnicas analfticas para resolver una ecuscién diferencial de primer orden... . 736 1L7.1, Eeuaciones dela forma y/ = f(a)... . 736 y= gy) 1L8.L, Beuaciones a variables separad: 118, Ecuacidn diferencial del tipo yf LLG. Beuaciones que se roducen 2 variables separables 119.1. Eeuaciones de la forma yf = f(ax + by +0), con a,b,c constantes 11.9.2. Heuaciones diferenciales homogéneas de primer orden . 11.9.3, Houaciones diferenciales del tipo y= f (SME)... 2 TS M10. Ecuacién diferencial exacta .. eevee eee eee af 782 1110.1. Factores integrantes 756 11.11. Eouacién Diferencial Lineal de Primer Orden . RE RErESerEe eer ete 760 11.12, Beuacion Diferencial de Bemoulli. 2... : 768 11.13, Eouacién Diforencial de Riccati . es : o/h 11.14, Integracién de EE. DD. en forma no normal . . ‘ a 768 11.14.1. Ecuaciones de ja forma x = f(y) : PEELE EEE EEE Heer 11142. Beuaciones dela forma y= f(y)... s+ : 769 11.143. Beuscidn de Clairaut ret Sere rar 769 1114.4, Ecuacién diferencial de Lagrange. - . Reece eere ree 770 1115, Trayectorias ortogonales . . Eeeee Bec eo HEE eeE ere ee Seeet brea 1.18.1. Ecuacién diferencial de una familia de curvas. ve MR 11.1.2. Trayectorias ortogonales 176 L1G. Algunas aplicaciones de las ecuaciones diferenciales . . . . . ae BLvatr INDICE GENERAL 12.FUNCIONES VECTORIALES 12.1, Operaciones con funciones vectoriales . . 12.2, Limites, continuidad y derivacién de funciones veetoriales . . . 12.3. Integracion de funciones vectoriales . . . Cee eee ce 12.4. Velocidad y accleracién See He 12.5, Aplicaciones a las curvas. Vectores tangente unitario y normal principal 12.6. Longitud de arco. Funcién longitud de arco 12.7. Vector eurvatura .. . 128, Parametrizacién con respecto a la longitud de arco 13.SUPERFICIES EN TRES DIMENSIONES, 43.1. Superficies Cilfndricas ©... eee 13.2, Superficies cuadréticas 0 cuddricas .. 0.0... : peers 13.3. Superficies de Revolucion... 0... eee eee THe 14.FUNCIONES DE VARIAS VARIABLES 14.1. Introduecion 14.2. Funciones de Varias Variables... . . . 14.3. Curvas de nivel 14.4. Limites y contimidad ©. 2.2... 144.1. Continuidad ..-- 2... ae eee 14.5. Derivadas Parciales ..... See ee eee eet 14.6. Interpretacién Geométrica de f(a, yo) y fy(to, yo) 14.7. Interpretacién Fisica de fo(z0, yo) ¥ fy(to,yo) 2 eee eee 148. Derivadas Parciales de Orden Superior... 14.9. Gradiente 14.10. Derivada Direccional... 6... eee ee ae eee 14.11. Vector Gradiente y Plano Tangente ........ 14,12. La Diferencial... 2... 0... SESE 1412.1, Diferencial de un campo escalar .. . 14.2.2, La diferencial de un campo vectorial ee 1412.3, Diferencial de la funcién compuesta, Regla de la cadena 14.124. Interpretacién geométrica del gradiente 14.13. Di 14.14. Maximos y minimos. Extremos locales y puntos desilla .. 6... jon implicita 6. ee 14.15. Férmula de Taylor de segundo orden para campos escalares . . 14.16, Multiplicadores de Lagrange 6.0 eee eee eeINDICE GENERAL LS. INTEGRALES MULTIPLES 15.1. Integrales Dobles «26.20. se ae 45.11. Introduccion... 15.1.2. Definicidn de la integral doble 15.1.3, Integrales dobles sobre regiones rectangulares 15.1.4, _Integrales dobles sobre regiones mas generales . . Cambio de Variables para Integrates Multiples 15.2.1. El jacobiano Integrales Dobles en Coordenadas Polares nee Areas, Momentos y Centros de Masa 15.4.1. Area... 15.4.2. Masa y centro de masa de una lémina plana, Integrales Triples... 18.5.1. Integrales triples en coordenadas reotangulares La Integral Triple en Coordenadas Cilindricas Integral Triple en Coordenadas Esféricas 15.7.1. Coordenadas esférices eet 15.7.2. Bl jacobiano en coordenadas esféricas,Capitulo 1 CALCULO PROPOSICIONAL 1.4. Introduccién El eéloulo proposicional es Ia rama de las matemdticas que nos permite discernir sobre la validen © no de los razonemientos y demostraciones que se efecttian. Los conceptos de proposiciones y conectivas légicas constituyen el pilar en donde se sustenta el eélculo proposicionsl. 1.2. Preposiciones Por una proposicién nosotros entendemos uns frase en le que se declara algo y a la que podemos asignar un valor de verdadero o falsa; pero no ambos al mismo tiempo. EJEMPLOS 1, Hoy es un dia soleado. Hista es una proposicién; pues podemos razonar si es verdadera falea. 2. Magallanes descubrié América y Colin descubris Australia, ista es también una propesicién, por la misnza saz6n dada en el ejemplo 1. «/3 es un niimero racional”, Esta es una proposicién, pues podemos decir, si esta afirmacién es verdaders. 0 falsa. 4, Por dos puntos pasa una recta y una sola recta, Esta es wna proposicisn. 5, jHoy trabajaremos? ista no es una proposicisn, pues no tiene sentido asiznar a esta frase un valor de verdadero 9 falso. 6. jAdios! No es una proposicién, 242=6. Es una proposicién, pues podemos decir, si esta igualdad es verdadera o falsa, 8. Laexpresién: 2—4 = 1, noes una proposicidn, Poro, si sustituimas # por cualquier mimero, ella ‘se convierte en una proposicién, A este tipo de frases se les Hama funciones proposiciouales. Las proposiciones las notazemos con las letras p, ¢, 7 ete »* 12 CAPITULO J. CALCULO PROPOSICIONAL Note que ins proposiciones 1) y 5) del ejemplo anterlor no se pueden descomponer en dos o més proposiciones; a este tipe de proposiciones, las Vamaremos proposiciones simples. La propasicién 2) del ejemplo es una proposicién compuesta; puss esté formada pot las proposiciones: "Magallanes descubrié América” y por la proposicién “Colén desenbrié Australia”; estas dos proposiciones estan relacionadas 0 unides por la conjancién “y". Para indiear si una proposicion es verdadera 0 fala hiilizaromos los simboios Y o F respectivamente, Bl valor de verdad de una proposicién p To notaremos v(p); asi, si p es la proposicién “Marx eserihis ta obra: El Capital”, se tiene que dicha ‘proposiciOn e2 verdadera y eseribiremos u(p) = ¥. Las proposiciones simples ge relacionan entre si, mediante los Uamatios conectivos Iogicos. oi Conectivos Légicos ‘Las conectivos légicos fumdamentales son: la negacidn, le conjunciéa, la disyunciéa, fa implicacién y Ts equivalencta LA NEGACION Se puede obtener otra proposicién a partir de une dada, negéndola; es decir, anteponiondo la palabra Sno” 0 “no es cierto que”. Bl simbolo que usaremos para representer la negacién “no” es EJEMPLOS 1. Sipes le proposicién “Bstoy estudiando” la negacisn w p de esta proposicién seré “No estoy estudiando” o también “No es cierto que estoy estudiando”. Sig es la proposicién “Pedro esté triste” Ja negacion = g e3 la proposicién “Pedro no est triste” ¢ tambiga “No es cierto que Pedeo esta triste”, Note que la negacién as un conectivo légico que no nos relaciona dos proposiciones simples pere dsenos una proposicién compuesta, sino que, @ partir de una proposicién simple nos da una nueva praposiciéa simple, Eg claro que tos valores de verdad que puede tomar la proposicién —p a partir de la proposicién p siguen las siguientes regias: 2) Site) =V entonces u( 7) ii) $i v(p) =F extones Vin p) =V [As{ por ejemplo si p es Ia proposicion “Quito es Ia capital del Ecuador" que es verdadera (V); se tiene que - p es In proposicisa “Cito ao es la capital del Ecuador" que es falsa.(#). En ves de anotar las reglas i) y i) se construye lo tabla de valores de verdad siguiente: {e Tse VPP I FLY) LA CONJUNCIGN ‘La conjancién os un conective légico que nos relaciona dos propesiciones simples para former uma proposicién compuesta, iumada In conjuncién de las dos proposicioncs; la conexiém de las dosCAPITULO 1, CALCULO PROPOSICIONAL 3 proposiciones se realiza con ol nexo “y” cuyo sfiubolo es A. Asf si p y q soa proposiciones, 1 conjuncidn de p,q 1a notamos pAg que se lee “py 9”. EYEMPLOS 1. Sip esla proposicién “Juan es bueno” y si q es Ia proposicion “Maria es feliz”; 1a conjuncién de py ges la proposicién p Ag: “Juan es bueno y Maria es feliz" 2. Sipes le proposicién “Hoy dia es hanes” y g es la propasicisn “Hoy din esté soleado” entonces la conjuncién de las dos propesiciones es la proposicién p Ag + “Hay dfa es lunes y esta soleado”. Por la naturaleza del nexo *y” para que una proposicién coajuntiva sea verdedera, se caquiere {que las dos proposiciones sean verdaderas. Asf por ojemplo si p es le proposicidn “Coltn descubris “América” que es verdadera y si g es ln proposicién “E! hombre es mortal” que es verdadera se ‘iene que pq es la, proposicién “Colén descubris América y el hombre es mortal” que también es yerdadera, Sir es la proposicién “La Luna es satélite de Marte” que es falsa, entonces p Ar es le proposicién “Cotén descubrié América y ln Luns es satélite de Marte” que es evidentemente falsa. Luogo la tebla de valores de verdad de la proposicidn p Aq a partir de los valores de verdad de py 72 la siguiente: (pe Teagh pry 7] ViF, Py fo FY FlFl £ LA DISYUNCION ha disyuncién es un conectivo I6gico que nos relaciona clos proposicionés simples para formar una proposicién compuesta. La conezién entre las dos proposiciones se realiza con el nexo “o” cuyo simbols es V, asf pV @ se jee “po g”. EJEMPLOS 1. Sip es ia proposicién “3+ 2 = 5) y ¢ 6s la proposicién “4 es un mitmero par”; se tiene que la disyuncién de las dos proposiciones es pV q: “3+ 2=5 © 4 es un mimero pac” 2. Sipesla proposiciéa “Pichincha es una provincia del Beusdar”: y g es In proposicién *Guayas ‘es una provincia del Ecuador”, entonces la disyuncién de las dos proposiciones es la proposi- cidn pV q: “Pichincha o Guayas son provincias del Ecuador” o también: “Pichincha es una provincia del Ecuador o Guayas ¢s una provincia del Ecuador”. Note que la disyuncién nos permite una eleceién, ost o p es verdadera, a g es verdadera o ambas son verdaderas a la vet, Iuego si decimos “Londres es capital de Venezuela o 4 es un ndmero paz” no estamos faltando a la verdad puesto que para que la proposicién disyuntive sea verdadera debernos aceptar que la primera parte es verdadere o que la segunda parte o que ambas son verdaderas. Sogiin esto se tiene la siguiente tabla de valores de verdad: [ejaleva viv] vy ivirl v | Fiv| v Fle| FP4 capi? ILO 1. CALCULO PROPOSICIONAL De acuerdo a Ja tabla de valores de verdad se sigue que para que pV/¢ sea verdadera basta con que una de les proposiciones sea, verdadera, Bs necesario sefialar que los conectivos logicas ~, A, V pueden relucionar proposiciones compuestas como se verd en ajemplos posteriores Estos tres conectives Iéxicos que hemos consicierado son los conectivos fundamentales del Céleulo ‘roposicional (realmente se puede considerar tan solo 2: la negacidn (+) y Js disyuncién (V}. ir clos conectivos més que son muy utiles, ellos A partir de estos conectivos légicos podemos son el condicional y ei bicondicional BL CONDICIONAL Sipy qson proposiciones, el consctivo ligico condicional o imp! p+ q que se lee “p implica q” 0 “si p entonces q”. La proposicion p => ¢ es por definicion Ia proposicisn (4 p) Vq cacién nos da una-nueva proposicién A partir de las tablas de valores de verdad de los conectivos ~ y V podemos construir Ie tabla de valores de verdad de p => q de la siguiente manera: De acuerdo a la tabla de valores de verdad se tiene que p => g es falsa snieamen antecedente p es verdadero y et consecuente g es faiso. EJEMPLO tiene que p = qe la Si p es la proposicién “yo estudio” y q 8 le proposicin “voy al cine” proposicién “si yo estudio entonces voy al cine” @ de acuerdo a la definicién de este conectivo se tiene que p => @ es la proposicién “yo no estudio o voy al cine”. EL BICONDICIONAL Sean p y ¢ dos proposiciones, si relacionamos estas proposiciones con ¢l conective ligico bicondi- colo si q”. Esta proposicién p 4 q es oional obtenemos la. proposicién p + que se lee “p si ys proposicién (1 = g) A (q = p) 9 en otras palabras p condiciona g y q condiciona p. Bl lector puede comprobar que ia tabla de valores de verdad de p <7 q os la siguiente:Note que la equivaloncia p + q es verdades mismo valor de verdad, 0.1, CALCULO PROPOSICIONAL nicer ienie cuando las dos proposiciones tienen ol Por las reglas anteriores se puede detorminar tablas de valores de verdad y los valores de verdad de proposicion compuestas en las cuales aparecen varios conectivos I6gicos. BJEMPLOS 1. La tabla de valores de vertlad de la proposiciéa ((o p) Aq) = (PV (> a) 2: Ele len em eed eve) ends eVED) Wie? FF { ¥ Vv VIF[_F FLV ve Vv FIV, Vv vo F FF al ¥ F_iy [Tv Vv I 2. La tabla de valores de verdad de la proposicién [pV (qAr)] 4 [(P¥.a) A(PVn)} es PLT EAS eVGA) [pve ove | OVI ABVY [PVGAN S OVOARY (wiviy[ev yy ¥ ¥yiV Vv Vv VIViFCF vv Ty F VIF|VIF ee v ViFIFL FLY Vv Tv = I ¥ [Flv ivTv eet ae Vv FLVTFLF Fw ¥ FCF CR FTF | v 7 (AFP TF F. | FF I Vv H 3. Sean p, y 7 propesiciones, supongames que pe cl valor da verdad de la proposicién [pV (~49)] @ [a7] Solucién: — wgipVing ia ¥{_¥ “Luogo la propesicién cada ¢s falsa. 4. Sip es false, q verdadera y (p Aq) # (9A (1)) es verdadera; determinar el valor de verdad de la proposicisn r. Solucién. Como v(p) = Fy v(g) = V3 entonces u(p Aq) = F y dado que la proposicién (PAg) @ (GA lon) & verdad jebe tener que la, proposicién (gA (+ r}) debe ser false y como (9) Proposiciones como [pV (qA7)] 4 (pV ¢ V, (7) debe ser falsa, ea consecuencia r es verdadera. }.A (pV rj] que son siempre verdaderas sin depender de Jos valores de verdad de les proposiciones componentes se Haman tautologtas. En él siguiente teorema damos las tantologias qu Conjuata ‘Teorema 1.1 Sean p, ¢ 45 utilizaremes; sobre todo en Ja Teorfa de. yr proposiciones; entonces Ins proposiciones siguientes som tautotogtas.6 CAPITULO 1, CALCUL PROPOSICIONAL 4) Propiedad de idempotencia de tos conectives =, V, A. duotepep ii) (PAR) ep iti) (pvp) ) Propiedad conmutativa de los conzctiuns V,.A ) (eva) vp) a) (PAG) @ GAP) ¢) Propiedad asociatina de los conectivos V, A U Ipvavre pv@vrl H) (PAD AT) & PAGAN) 4) Propiedad distribution de los conectivos VA Y PAV ry] & [(PAg) VipAr)] i) pV (gAr)] @ [pV 9) A pvr] ¢) Leyes De Morgan para las proposiciones Y= (pV (mp) Atg H) o(pAg) # oP) V (og) A) Leyes de absorcion pV (pAg ep i) @AQSG ii) (PADD Demostracion.- a) Probemos la parte ii}: (Api ep (p Tap) [pane wry ¥ (EF ¥ b) Probemos la parte i) @vgeve i pl alevalave| @Va # leva) vive vy Ly Vv. VpFr Vy v FIV yy v CETFCF TF ¥B] resto de les demostraciones se deja para el L 2, 3 4) Demostraremos la parte §) reici )eevgetrAra [EMAC HPV SCRE F v | F al eee ¥ | u ee ete ra ‘ios Determinar cintles de las siguientes frases son proposiciones 2) Hola! 2) Yo estudio Qué conclusiones se deducen de Jas siguientes premisas? ) Si el Ecuador explotara su propio petréleo, entonces el Ecuador obtendr gtesos econdmicos. Bl Ecuador explota su propio petrsleo b) Silos estudiantes estudiaran para los examenes, eutonces los estudiantes tendrian buenas aotas, Los estudiantes no tienen buenas notas. Sean p, 4" ¥ & proposiciones. Calcular el valor de verdad de las siguientes proposiciones suponiendo que p y q son verdaderas y que ry # son falsas: a) (pAgh=r ) @sser 8) (rvelsg N -@ra ) a PAs) 9 (Vr) A@Ys) a) pa (ras) hy (rs) A(PAQ)