Claudia Canuto

Anita Tabacco


Mathematical

Analysis 1


















~ Springer



Mathematical Analysis 1
Claudio Canuto, Anita Tabacco






MathematicalAnalysis 1










































~Springer


CLAUDIO CANUTO
Dipartimento di Matematica
Politecnico di Torino

ANITA TABACCO
Dipartimento di Matematica
Politecnico di Torino




Translated by: Simon G.
Chiossi Institut fr
Mathematik Humboldt
Unversitat zu Berlin








CIP-Code:2008932358

ISBN 978-88-470-0875-5 Springer Milan Berlin Heidelberg New York
e-ISBN 978-88-470-0876-2 Springer Milan Berlin Heidelberg
NewYork Springer-Verlag is a part of Springer Science+ Business
Media springer.com
Springer-Verlag Italia, Milan 2008
Printed in Italy




This work is subject to copyright. Ali rights are reserved, whether the whole or part of the material
is con- cerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, re- production on microfilm or in other ways, and storage in data banks.
Duplication of this publication or parts thereof is permitted only under the provisions of the Italian
Copyright Law in its current version, and permission for use must always be obtained from
Springer. Violations are liable to prosecution under the Italian Copyright Law.

9 7 8 6 5 4 3 2

Files and figures produced by the Authors
Cover-Design: Francesca Tonon, Milan
Printing and Binding: Signum Sri, Bollate (MI)

Springer- Verlag Italia Sri,Va Decembrio 28, 20137 Milan- 1


Prefacio











Las recientes Especificaciones Programa europeos han obligado a una nueva evaluacin de la estructura
y programas de estudio de todo el sistema de la educacin superior italiano, y un replanteamiento
subsiguiente del material de enseanza.
Cursos de conferencias Nowadaysmany, especialmente los ms rudimentarios, exigen que los
estudiantes dominan una gran cantidad de conocimientos tericos y prcticos en un lapso de apenas
unas semanas, a fin de obtener un nmero srnall de crditos. Como resultado, los instructores se
enfrentan al dilema de cmo presentar el tema. Tienen que tomar decisiones apropiadas sobre el
contenido de conferencias, el nivel de comprensin requiere de los destinatarios, y que tipo de lenguaje
a utilizar.
Este libro de texto est destinado a ayudar a los estudiantes a adquirir los conceptos bsicos de clculo
en los currculos donde herramientas matemticas juegan un papel crucial (para Ingeniera, Fsica,
ordenador scienceand de similares). Los conceptos y mtodos de clculo diferencial e integral de
funciones de una variable real fundamentales son presentados con el propsito primario de dejar que los
estudiantes asimilen su empleo eficaz, pero con conciencia crtica. La filosofa general que inspira
nuestro enfoque ha sido sim-plificar el sistema de las nociones disponibles antes de la reforma
universitaria; al mismo tiempo, hemos querido mantener la exposicin rigurosa y evitar la trampa de la
compilacin de un simple formulario de recetas listas para su uso.
Desde este punto de vista, el tratado es "estratificada" en tres capas, cada una corres-
pondiente a la participacin cada vez ms profunda por parte del usuario. El nivel intermedio se
corresponde con el texto ntegro. Nociones primero se presentan de una manera ingenua, y slo ms
tarde definidos con precisin. Se discuten sus caractersticas y tcnicas computacionales relacionados
con ellos se explican de manera exhaustiva. Adems de esto, los teoremas y propiedades funda-
mentales son pruebas followedby, que son fcilmente reconocibles por el color de la fuente.
Al leve primaria! las pruebas y las diversas observaciones deben ser omitidos. Por el bien del lector,
frmulas esenciales, y tambin otros que se consideran importantes, se han resaltado en azul y gris,
respectivamente. Tablas SORNE, colocados tanto a travs de-y al final del libro, recoger las frmulas
ms tiles. No era nuestro deseo de crear una jerarqua-de-clases para los teoremas, en lugar de dejar
que el instructor a que cree su propia cuenta a este respecto.
VI Prefacio

El nivel ms profundo alcance se refiere a un sitio web de Internet, y permite al lector fuertemente
motivado para explorar ms a fondo en el tema. Creemos que los objetivos generales de las
especificaciones del programa estn en consonancia con el hecho de que los alumnos que quieran y
puedan construirn un conocimiento slido, en la tradicin de la educacin acadmica de Italia. El libro
contiene varios enlaces a una pgina web donde el lector encontrar complementos para, y la
penetracin en diversos temas. De esta manera cada resultado que aparece posee una prueba
correspondiente.
Para hacer la aproximacin al tema menos duro, y an ms gratificante, hemos optado por una
presentacin informal en los dos primeros captulos, en los que las definiciones y las propiedades
relevantes son normalmente parte del texto. A partir del tercer captulo en adelante que se destacan por
el diseo ms visiblemente. Definiciones y teoremas SORNE intencionalmente no se expresan en la
forma ms general, de modo a privilegiar un conocimiento rpido. Por esta razn, una gran cantidad de
ejemplos se aaden habitualmente a lo largo de la manera correcta despus de las declaraciones, y lo
mismo es cierto para las tcnicas computacionales. Varias observaciones realzan la presentacin
subrayando, en particular, los casos especiales y excepciones. Cada captulo termina con un gran
nmero de ejercicios que le permiten a uno para poner a prueba sobre el terreno como el conocimiento
de un slido es. Los ejercicios se agrupan en funcin de los temas principales del captulo y se
presentan en orden creciente de dificultad. Todos los problemas se resuelven, y al menos la mitad de
ellos chaperones al lector a la solucin.
Hemos adoptado las siguientes convenciones grficas para el componente de acumulacin
ing bloques: definiciones aparecen sobre un fondo gris, las declaraciones teoremas 'en azul, una lnea
vertical de color marcan ejemplos y ejercicios en caja, como [: _ [], indican
que se proporciona la solucin completa.
Una versin italiana de este libro ha circulado durante varios aos en Italia, y ha sido ampliamente
probado en el Politcnico de Turn. Queremos dedicar este volumen a Profesor Guido Weiss, de la
Universidad de Washington en St. Louis, un maestro en el arte de la enseanza. Generaciones de
estudiantes de todo el mundo se han beneficiado de la propia obra de Guido como matemtico;
esperamos que su claridad es reftected al menos en parte en este libro de texto.

Estamos agradecidos a los muchos colegas y estudiantes cuyos consejos, sugerencias y observaciones
nos han permitido mejorar la calidad de la exposicin. Un agradecimiento especial al Dr. Simon
Chiossi, por el trabajo cuidadoso y eficaz de la traduccin.


Torino, junio de 2008 Claudia Canuto, Anita Tabacco





































En la direccin

http://calvino.polito.it/canuto-tabacco/analysis_l

ms material y la teora complementaria estn disponibles. Estas notas en lnea estn organizados en los
siguientes epgrafes:

Principie de Mathernatical Induccin
El nmero e
Funciones elementales
Lmites
Funciones continuas
Secuencias
,. Series numricas
,. Derivat.ives
De l'Hpital Theorcm
,. Funciones convexas
expansiona Taylor
,. Cauchy integral
integral de Riemann
integra.ls incorrectas

y proporciona, en particular, las pruebas rigurosas de las declaraciones que no se muestran en el texto. Se
invita al lector a consultar la seccin correspondiente siempre "" aparece el smbolo "en todo el tratado,
como en ~ El nmero e.







Contenido












1 Nociones bsicas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 Conjuntos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Elementos de lgica matemtica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Conectivas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 Los predicados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3 Los cuantificadores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Los conjuntos de nmeros. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 El orden de los nmeros reales. . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.2 Integridad de IR. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4 Los factoriales y coeficientes binomiales. . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5 producto cartesiano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6 Relaciones en el avin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1. 7 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.7.1 Soluciones 26

2 Funciones 31
2.1 Definiciones y primeros ejemplos 31
2.2 Alcance y pre-imagen 36
2.3 Funciones sobreyectiva y inyectivos; funcin inversa. . . . . . . . . . . . . . . 38
2.4 Funciones Monotone 41
2.5 Composicin de funciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.5.1 Traducciones, ponderadores, reflexiones. . . . . . . . . . . . . . . . . . . . . . . 45
2.6 funciones y propiedades elementales 47
2.6.1 Poderes 48
2.6.2 Funciones polinmicas y racionales. . . . . . . . . . . . . . . . . . . . . . . 50
2.6.3 Funciones exponenciales y logartmicas. . . . . . . . . . . . . . . . . . . 50
2.6.4 funciones y sus inversas trigonomtricas. . . . . . . . . . . . . . . . . . . . . 51
2.7 Ejercicios 56
2.7.1 Soluciones 58

X Contenido

3 Lmites y continuidad 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.1 Barrios 65
3.2 Lmite de una secuencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.3 Lmites de funciones; continuidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.3.1 Lmites en el infinito. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.3.2 Continuidad. Lmites en los puntos reales. . . . . . . . . . . . . . . . . . . . . . . . . 74
3.3.3 lmites unilaterales; puntos de discontinuidad. . . . . . . . . . . . . . . . . . 82
3.3.4 Lmites de funciones montonas. . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.4 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.4.1 Soluciones 86

4 Lmites y continuidad 11. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
4.1 Teoremas sobre lmites. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
4.1.1 Unicidad y signo del lmite. . . . . . . . . . . . . . . . . . . . . . . . . 89
4.1.2 teoremas de comparacin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.1.3 lgebra de lmites. Formas indeterminadas de tipo algebraico. . . . 96
4.1.4 Sustitucin teorema 102
4.2 Lmites ms fundamentales. Formas indeterminadas de tipo exponencial. 105
4.3 Caractersticas globales de mapas continua 108
4.4 Ejercicios 115
4.4.1 Soluciones 117

5 Comparacin de local de funciones. Sucesiones y series numricas 123
5.1 smbolos Landau 123
5.2 Funciones infinitesimales e infinitos 130
5.3 Asymptotes 135
5.4 Otras propiedades de las secuencias 137
5.5 Series numricas 141
Serie 5.5.l Positivo plazo 146
5.5.2 Alternancia serie 149
5.6 Ejercicios 151
5.6.1 Soluciones 154



6Clculo diferencial 167
6.1 El derivado 167
6.2 Derivadas de las funciones elementales. Reglas de diferenciacin 170
6.3 Cuando no diferenciabilidad 175
6.4 Extrema y puntos crticos 178
6.5 Teoremas de Rolle y del valor medio 181
6.6 En primer lugar y segundo incremento finito frmulas 183
6.7 mapas Monotone 185
6,8 derivados de orden superior 187
6.9 Convexidad y puntos de inflexin 189
6.9.1 Extensin de la nocin de convexidad 192
6.10 Estudio cualitativo de una funcin 193








Realizar XI

6.10.1 Funciones hiperblicas 195
6.11 El Teorema de de l'Hpital 197
6.11.1 Aplicaciones del teorema de l'Hpital 199
6.12 Ejercicios 201
6.12.1 Soluciones 205

7 expansiones y aplicaciones 223 Taylor
7.1 Frmulas de Taylor 223
7.2 Ampliacin de las funciones elementales 227
7.3 Operaciones sobre Taylor expansiones 234
7.4 comportamiento local de un mapa a travs de su desarrollo de Taylor 242
7.5 Ejercicios 246
7.5.1 Soluciones 248

8 Geometra en el plano y en el espacio 257
8.1 Polar, cilndricas y esfricas coordenadas 257
8.2 Vectores en el plano y en el espacio 260
8.2.1 Posicin vectores 260
8.2.2 Norma y escalar producto 263
8.2.3 vectores general 268
8.3 Los nmeros complejos 269
Operaciones algebraicas 8.3.l 270
8.3.2 coordenadas cartesianas 271
8.3.3 forma trigonomtrica y exponencial 273
8.3.4 Potencias y races n-simas 275
8.3.5 algebraica de ecuaciones 277
8.4 Curvas en el plano y en el espacio 279
8.5 Funciones de varias variables 284
8.5.1 Continuidad 284
8.5.2 Derivadas parciales y gradiente de 286
8.6 Ejercicios 289
8.6.1 Soluciones 292

9 Clculo integral 1 299
9.1 funciones primitivas e integrales indefinidas 300
9.2 Reglas de integracin indefinida 304
9.2.1 Integracin de mapas racionales 310
9.3 Integrales definidas 317
9.4 La integral de Cauchy 318
9.5 La integral de Riemann 320
9.6 Propiedades de las integrales definidas 326
9,7 valor medio Integral 328
9.8 El teorema fundamental del clculo integral 331
9.9 Reglas de integracin definida 335
9.9.1 Aplicacin: clculo de las reas 337
XII Contenido

9.10 Ejercicios 340
9.10.1 Soluciones 342

10 Clculo integral 11 355
10.1 Integrales impropias 355
10.1.1 dominios sin lmite de integracin 355
10.1.2 integrandos no acotadas 363
10.2 Integrales impropias Ms 367
10.3 Integrales a lo largo de las curvas de 368
10.3.1 longitud de una curva y son de longitud 373
Clculo 10.4 vector Integral 376
10.5 Ejercicios 378
10.5.1 Soluciones 380



11 Ecuaciones diferenciales ordinarias 387
Definiciones de 11.1 Generalidades 387
11.2 En primer orden ecuaciones diferenciales 388
11.2.1 Ecuaciones con variables separables 392
11.2.2 ecuaciones lineales 394
11.2.3 Ecuaciones homogneas 397
11.2.4 ecuaciones de segundo orden reducibles a primer orden 398
11.3 Problemas de valores iniciales para ecuaciones de primer orden 399
11.3.1 Lipschitz funciona 399
11.3.2 Un criterio para la solucin de problemas de valor inicial 402
11.4 Ecuaciones de segundo orden lineales con coeficientes constantes 404
11.5 Ejercicios 410
11.5.1 Soluciones 412

Tablas y Frmulas 423

ndice

















































1

Nociones bsicas











En este captulo introductorio nociones matemticas SORNE se presentan rpidamente, que se encuentran
en el centro del estudio de Anlisis Matemtico. La mayora ya debe ser conocido para el lector, tal vez en
una forma ms completa que en la siguiente presentacin. Otros conceptos pueden ser completamente
nueva, en lugar. El tratado tiene como objetivo la fijacin de gran parte de la notacin y smbolos
matemticos utilizados con frecuencia en la secuela.


1.1 Conjuntos

Vamos a denotar conjuntos principalmente por superiores letras en X, Y, ..., mientras que para los
miembros o elementos de un conjunto letras minsculas x, y, ... se utilizar. Cuando un elemento x est en
el conjunto X se escribe x X (x es un elemento de X , o el elemento x pertenece al conjunto X), de lo
contrario se utiliza el smbolo x X. La mayora de los conjuntos consideraremos se construyen a partir de
conjuntos de nmeros.
Debido a su importancia, los principales conjuntos de nmeros merecen smbolos especiales, a saber:


N = conjunto de los nmeros naturales
Z = conjunto de los nmeros enteros
Q = conjunto de los nmeros racionales
IR = conjunto de los nmeros reales
= conjunto de los nmeros complejos,


La definicin y principales propiedades de estos conjuntos, adems de la ltima, se recordar brevemente
en la Seccin. 1.3. Los nmeros complejos se tratan por separado en la Seccin. 8.3.
Fijemos un conjunto no vaco X, considerado como conjunto ambiente. Un subconjunto A de X es un
conjunto que todos sus elementos pertenecen a X; uno escribe A X (A est contenido o incluido, en X)
si el subconjunto A se permite coincidir posiblemente con X , y A X (Una figura correctamente en X)
en el caso A es un subconjunto propio de X, esto





















2 1 n oc i one s b s i c a s








Figura 1.1. Los diagramas de Venn (izquierda) y del complemento (derecha)


es decir, si no agota toda la X. Desde el punto de vista intuitivo fuere ser til para representar subconjuntos
como regiones delimitadas en el plano usando la llamada
Los diagramas de Venn (vase. Figura 1.1, izquierda).
Un subconjunto puede ser descrita por una lista de los elementos de X que pertenecen a ella



el orden en el que aparecen los elementos no es esencial. Esto limita claramente el uso de tal notacin para
subconjuntos con pocos elementos. Ms a menudo la notacin



se utilizar (leer A es el subconjunto de elementos x de X tal que la condicin p (x) mantiene ); p (x)
denota la propiedad caracterstica de los elementos del subconjunto, es decir, la condicin de que es vlida
para los elementos del subconjunto solamente, y no para otro elementos. Por ejemplo, el subconjunto A de
nmeros naturales menor o igual que 4 puede ser denotado

A={0,1,2,3,4} o A = {x N x<A}.

La expresin p (x) = x <4 es un ejemplo de predicado, que vamos a volver a en la siguiente seccin.
La coleccin de todos los subconjuntos de un conjunto dado X forma el conjunto potencia de X, y se
denota por P(x). Obviamente X P(x) . Entre los subconjuntos de X se encuentra la conjunto vaco, el
conjunto que no tiene elementos. Por lo general se designa por el smbolo , por lo que P(x). Todos los
otros subconjuntos de X son propios y que no est vaca.
Consideremos, por ejemplo X = {1, 2,3} como conjunto ambiente. Entonces



Tenga en cuenta que X contiene 3 elementos (que tiene cardinalidad 3), mientras que tiene 8 =

Elementos, por lo tanto, tiene cardinalidad 8. En general, si un conjunto finito (un conjunto con un nmero
finito nmero de elementos) ha cardinalidad n, el conjunto potencia de X tiene cardinalidad

.






1.1 Conjuntos 3




A partir de uno o ms subconjuntos de X, uno puede definir nuevos subconjuntos por medio de las
operaciones de configuracin terica. La operacin ms simple consiste en tomar el complemento:
Si A es un subconjunto de X, se define el complemento de A (en X) para ser el subconjunto



hecha de todos los elementos de X que no pertenecen a A (Fig. 1.1, derecha).
A veces, con el fin de subrayar que los complementos se toman con respecto a el espacio ambiente X, uno
utiliza la notacin ms precisa . La siguiente
propiedades son inmediatos:



Por ejemplo, si X = y A es el subconjunto de los nmeros pares (mltiplos de 2), luego CA es el
subconjunto de nmeros impares.
Dados dos subconjuntos A y B de X, se define la interseccin de A y B de la subconjunto



que contiene los elementos de X que pertenecen a A y B, y la unin de A y B el subconjunto


hecha de los elementos que son ya sea en A o en B (esto se entiende no exclusivamente,
por lo que incluye elementos de un AUB), vase la fig. 1.2.

Recordamos algunas propiedades de estas operaciones.

i) las propiedades booleanas:





Figura 1.2. Interseccin y unin de conjuntos







4 1 Nociones bsicas

ii) conmutativa, asociativa y distributiva:




iii)leyes de Morgan



Tenga en cuenta que la condicin de A B es equivalente a AB=A ,o AUB=A .
Hay otro par de operaciones tiles. La primera es la diferencia entre un subconjunto A y un subconjunto B,
veces llamado complemento relativo de B en A.



(leer "A menos B '), que selecciona los elementos de A que no pertenecen a B. La segunda operacin es la
diferencia simtrica de los subconjuntos A y B




que recoge los elementos que pertenecen, ya sea A o B, pero no ambos (Fig. 1.3).
Por ejemplo, sea X = , A el conjunto de los nmeros pares y B = {n | n <10} el conjunto de los
nmeros naturales menores o iguales que 10. Entonces B \ A = {1,3, 5, 7,9} es el conjunto de nmeros
impares menores que 10, A \ B es el conjunto de los nmeros pares mayores
de 10, y es la unin de los dos ltimos.





figura
La diferencia A \ B (izquierda) y el diferencia simtrica (derecha) dos conjuntos













1.2 Elementos de lgica matemtica 5

1.2 Elementos de lgica matemtica
En la lgica matemtica una frmula es una oracin declarativa, o declaracin, la verdad
o falsedad de que puede ser establecido. Por lo tanto dentro de un cierto contexto de una frmula
lleva un valor de verdad: Verdadero o Falso. El valor de la verdad puede ser diversamente representado,
por ejemplo, utilizando el valor binario de un bit de memoria (1 0), o por el estado de un circuito
elctrico (abierto o cerrado). Ejemplos de frmulas son: '7 es un nmero impar '(Verdadero), 3>
(falso), Venus es una estrella (falso), Este texto est escrito en Ingls(Verdadero), etctera. La
declaracin Milan est lejos de Roma no es una frmula, por lo menos
sin ms especificaciones sobre la nocin de distancia; en este sentido Milan es ms lejos de Roma de
Turn es una frmula. Indicaremos frmulas por menor letras minsculas p, q, r,. . .

.1.2.1 Conectivas
Nuevas frmulas se pueden construir a partir de las antiguas utilizando operaciones lgicas expresadas por
ciertos smbolos formales, llamados conectores.
La operacin ms simple se llama negacin: por el smbolo p (hablado "no p ') uno indica la frmula
cuyo valor de verdad es cierto si p es False y False si p es cierto. Por ejemplo, si p = '7 es un nmero
racional, entonces p =' 7 es un irracional nmero '.
La conjuncin de dos frmulas p y q es el p ^ q frmula ('p y q'), lo cual es cierto si tanto p como q son
verdaderas, false en caso contrario. La disyuncin de p y q es la frmula p q (p o q ); la disyuncin es
falsa si p y q son falsas, cierto en todos los dems casos. Deje, por ejemplo, p = 7 es un nmero
racionaly q = 7 esun nmero par ; la frmula p ^ q = 7 es un nmero par racional es falsa, ya
q es falso, y p q = 7 es racional o incluso es verdad porque p es verdadero.

Muchas declaraciones en Matemticas son del tipo 'si p es verdadera, entonces q es verdadera',
tambin leer como "condicin suficiente para q para ser verdad es que p sea verdad", o "es necesario
condicin para p que es verdad es que q es verdad ". Tales declaraciones son diferentes maneras
de expresar la misma frmula p q (p implica q , o si p, entonces q), llamado implicacin, donde
p es la hiptesis o hiptesis, q la consecuenciao 'conclusin'. Por definicin, la frmula p q es
falso si p es verdadera y q falsa, de lo contrario, siempre es cierto. En otras palabras, la implicacin
no permite deducir una conclusin falsa de una verdadera hiptesis, sin embargo, no excluye una
conclusin verdadera estn implcitos en una hiptesis falsa. As, la afirmacin si llueve, me quedo
con la paraguas me impide salir sin paraguas cuando llueve, pero no lo har interferir con mi
decisin si el cielo est despejado.
El uso de p y q es fcil comprobar que la frmula p q tiene la misma verdad
valor de p q. Por tanto, el conectivo se puede expresar en trminos de la base
conectivas y .
Otras declaraciones frecuentes estn estructurados de la siguiente manera: "la conclusin de q es cierto si y
slo si el supuesto de p es verdadero ", o" necesaria y condicin suficiente para una cierto ^ es un
verdadero p '. Declaraciones de este tipo corresponden a la frmula p q ('p es(lgicamente) equivalente
a q'), llamado equivalencia lgica. Una equivalencia lgica es verdadera si p y q son simultneamente
verdaderas o simultneamente falsa y falsa si la verdad los valores de p y q son diferentes. Un ejemplo es
la afirmacin "un nmero natural es impar si y slo si su cuadrado es impar '. La frmula p q es la
conjuncin de p q y q p es decir p q y (p q) ^ (q p) tienen el mismo valor de verdad.As, el
conectivo se puede expresar por medio de los conectores bsicos , y ^.


Mequede PAGINA 6