CAPITULO I INTRODUCCION A LA LOGICA MATEMATICA

Con esta introduccion de la Logica pretendemos estudiar ciertos principios importantes para el estudio de la matematica De!inicion Una proposicion es una oracion declarati"a completa con un signi!icado #ien de!inido $ de la cual podemos decir %ue es "erdadera o !alsa Por e&emplo las oraciones' (el oro es un metal precioso)* +,-./* +,-.0 son proposiciones Consideraremos proposiciones en su !orma mas simple 1atomicas2 $ las proposiciones compuestas* como a%uellas !or3 madas por proposiciones simple mediante terminos de enlace Una proposicion simple es una proposicion sin t erminos de enlace Los terminos de enlace se usan para !ormar nue"as proposiciones a partir de proposiciones at omicas Por e&emplo* consideremos micas* las siguientes proposiciones ato

4o$ es Domingo No 5a$ clase Mediante un termino de enlace podemos !ormar una nue"a proposicion compuesta Por e&emplo 4o$ es Domingo $ no 5a$ clase El termino de enlace %ue 5emos utili6ado es ($) Cuando tenemos una proposicion molecular es importante deter3 minar las proposiciones atomicas %ue la componen

TERMINO7 DE ENLACE
Los terminos de enlace entre proposiciones %ue utili6aremos son' 8 $ 9* 8 o 9* 8 no 9* 8 si * entonces 9 7im#olicamente representaremos estos terminos de enlace por * * * .* respecti"amente Claramente al utili6ar un termino de enlace entre dos o mas proposiciones atomicas o#tendremos proposiciones compuestas O#ser"emos %ue el termino de enlace 8 no 9 actua so#re una sola proposicion* mientras %ue los demas t erminos de enlaces actuan so#re dos proposiciones Algunos e&emplos en las %ue utili6an siguientes los terminos de enlace son los

7i estamos en diciem#re entonces pronto llegara la Na"idad 4o$ es lunes $ 5a$ clases El "iento arrasara las nu#es o con seguridad llo"era No tendremos clase en el d:a de 5o$

;amos a sim#oli6ar cual%uier proposicion con las letras p* %* r* s* t* etc

La regla !undamental de la logica es*

La le$ del medio e<cluido Toda proposicion de#e ser "erdadera o !alsa* pero no puede ser am#as cosas* ni puede ser ninguna de las dos cosas ;amos a comen6ar con algunas proposiciones cu$o "alor de "erdad es intuiti"amente claro = 7i p no es cierta* claramente p es "erdadera 7i p es cierta entonces p es !alsa 1La le$ del medio e<cluido2 + p % es "erdadera si $ solo si am#as son "erdaderas - p % es "erdadera si $ solo si p es "erdadera o % es "erdadera > La proposicion p % 1p implica %2 se conoce como proposicion condicional? a p se le llama antecedente $ a % el consecuente 7e acostum#ra con esta implicacion decir %ue p es condicion su!iciente para %? % es condicion necesaria para p Tam#ien podemos decir %ue p es la 5ipotesis $ % es la conclusio n Diremos %ue p % es !alsa cuando unicamente en el caso donde p es "erdadera $ % es !alsa La proposicion % p se le llama la rec:proca de la proposicion p % Es necesario %ue nos demos cuenta de %ue p % no garanti6a %ue % p Por e&emplo* < . - . <+ . A es "erdadera* pero la rec :proca es !alsa PROPO7ICION @ICONDICIONAL Es la proposion e<presada s:m#olicamente por p % es una com#inacion de las dos proposiciones condicionales p . % $ % . p El s:m#olo de enlace se lee (si $ solo si)o (necesario $ su!iciente) La proposicion p % sera "erdadera si p $ % son "erdaderas o p $ % son !alsas Por e&emplo* Un triangulo tiene tres lados iguales el triangulo es e%uilatero <+ . A . < . -

INBERENCIA LOGICA
La idea de in!erencia se puede e<presar diciendo %ue de proposiciones "erdaderas 1premisas "erdaderas2 se o#tienen solo conclusiones %ue son "erdaderas Es decir de premisas "erdaderas* entonces las conclusiones %ue se deri"an de ellas logicamente* 5an de ser "erdaderas 7e dice % es consecuencia logica de p* 1p %2 si p "erdadera implica % es "erdadera

7e dice %ue un ra6onamiento es "alido si la conclusion es consecuencia logica de las premisas

REGLA7 DE INBERENCIA
Cada una de las premisas P: %ue se dan a continuacion se consideran "erdaderas $ por lo tanto sus conclusiones tam#ien son "erdaderas

Regla = 1PP2 1Modus Ponendo Ponens2 P = ' p . % P+ ' p Conclusion ' % Regla - 1TP2 Modus Tollendo Ponens P= ' p % P+ ' p Conclusion ' % Regla > 172 7impli!icacion P= ' p % Conclusion ' p Regla / 1DN2 Do#le negacion P= ' 1 p2 Conclusion ' p P= ' p P+ ' % Conclusion ' p % Regla D 1472 7ilogismo 4ipotetico dis$unti"a P ' p % P+ '' % r= Conclusion p r P= ' 1p %2 Conclusi on ' p % P= ' p % Conclusion ' % % Regla A 1De Morgans2 Regla C 1A2 Le$ de Ad&uncio n

Regla + 1TT2 1Modus Tollendo Tollens2 P= ' p . % P+ ' % Conclusion 'p

P= ' p % P+ ' % Conclusion ' p P= ' p % Conclusion ' %

'

P= ' % P+ ' p Conclusion ' % p

Regla 0 1DP2 7impli!icacion P= ' p p Conclusion ' p P= ' 1p %2 Conclusi on ' p % Regla =E Le$es conmutati"as P= ' p % Conclusion ' % p

PROPO7ICION A@IERTA Una proposicion a#ierta P 1<2 es un enunciado so#re una "aria#le < %ue se con"ierte en una proposicion cada "e6 %ue la "aria#le < se sustitu$e por un "alor particular <o E&emplo = P 1<2 ' +< , - E es una proposicion a#ierta 7e con"ierte en proposicion para cada numero de!inido <o En particular P 1+2 es cierta mientras %ue P 1E2 es !alsa E&emplo + A1<2 ' <+ E 7i suponemos %ue < toma "alores reales* claramente A1<E 2 es !alsa para todo <E . E* mientras %ue P 1E2 es "erdadera CUANTIBICADORE7 LOGICO7 Brecuentemente las proposiciones a#iertas se utili6an con ciertas e<presiones llamadas cuanti!icadores* con los cuales se determina el "alor de "erdad de la proposicion resultante Los siguientes seran los cuanti!icadores %ue usaremos' = Cuanti!icador uni"ersal* para todo <* representado sim#olicamente por < + Cuanti!icador e<istencial* para algun <* representado sim#olicamente por < - Cuanti!icador de e<istencia $ unicidad* e<iste un unico <* representado sim#olicamente por F< O#ser"acion = La !rase (para cada <) se usa en el mismo sentido %ue la !rase (para todo <) O#ser"acion + 7i una propiedad es compartida por todos los elementos de un con&unto @* escri#iremos' (Todo < en @ tiene la propiedad P )* 7im#olicamente* < C* P 1<2 O#ser"acion 7i una propiedad es compartida por uno o "arios elementos de un con&unto C*

escri#iremos' (Algun < en C tiene la propiedad P )* 7im#olicamente* < C* P 1<2 E&emplo = <1<+ E2 es una proposicion "erdadera E&emplo + Para todo < e<iste algun $ tal %ue < , $ . E* sim#olicamente esta proposicion es 1<2 1$21< , $ . E2 Esta proposicion es "erdadera* $a %ue dado < ar#itrario tomamos $ . < O#ser"acion - 4a$ %ue tener cuidado con e<presiones del tipo 1<2 1$2 $ 1$2 1<2 las cuales no tienen el mismo signi!icado Por e&emplo si 4 representa los seres 5umanos* podriamos decir' Para todo < 4 e<iste $ 4 tal %ue $ es la madre de < 7im#olicamente se representa por 1< 4 2 1$ 4 21$ . m1<22 A5ora estudiemos la proposicion E<iste $ 4 tal %ue para todo < 4 * $ es la madre < 7im#olicamente se representa por 1$ 4 2 1< 4 2 1$ . m1<22 O#ser"emos %ue la primera proposicion es cierta mientras %ue la segunda es !alsa O#ser"acion > La negacion de la proposicion (Todo < en @ tiene la propiedad P )* sim#olicamente

1 < C* P 1<22* es (E<iste algun < en @ %ue no tiene la propiedad P )* 7im#olicamente* < C* P 1<2 O#ser"acion / La negacion de la proposicion (E<iste < en C tiene la propiedad P )* sim#olicamente 1<

 C* P 1<22* es (Para todo < en C* < %ue no tiene la propiedad P )* 7im#olicamente* < C* P 1<2 Por e&emplo* las negaciones de las siguientes proposiciones son'

Todos los 5om#res son mortales Algun 5om#re es inmortal

7u negacion es 7u negacion es

Algun 5om#re es inmortal Todos los 5om#res son mortales

Metodos de demostracion
Demostracion directa Tratamos de demostrar lo siguiente' 7i 4 entonces T donde* 4 es la 5ipotesis $ T es la conclusio n La demostracion directa consiste en comen6ar con algo conocido $ proceder paso por paso usando las le$es de in!erencia $ de otros resultados conocidos 5asta llegar al resultado esperado Podemos decir %ue una demostracio n directa es una cadena de proposiciones de la !orma'

Po P= P+ Pn Pn,=

' 4 14ipotesis2 ' 4 . % = ' %= . %+ ' %nG= . %n ' %n . T 1conclusion2

Las reglas de in!erencia garanti6an la "alide6 de la conclusion T E&emplo Demostrar %ue la multiplicacion de un numero entero par por un entero impar es un entero par Es de la !orma 7i 4 entonces T* esto es* si m es par $ n es impar entonces mn es par 7u demostracion directa es como sigue'

Po

' m es par $ n es impar m es par $ n es impar . m . +r* $ n . +s , = para enteros unicos r $ ' m . +r* $ n . +s , = . mn . +r1+s , =2 mn . +r1+s , =2 . mn . +Hr1+s , =2I mn . +Hr1+s , =2I . mn es par mn es par 1la conclusion a la %ueriamos llegar2

P= ' s P+ P- ' P> ' T '

O#ser"emos %ue 5emos utili6ado repetidamente la regla de in!erencia = Demostracion indirecta Algunas "eces la demostracion directa tiene algunas di!icultades $ se opta por esta#lecer la demostracion utili6ando una !ormula e%ui"alente mencionaremos dos tipos de demostracion indirecta

= Demostracion por la contrareciproca conocida tam#ien como demostracion por contraposicion utili6amos la propiedad 14 . T 2 1 T . 4 2 Consiste en demostrar la "alide6 de T . 4 usando la demostracion directa? la e%ui"alencia implicara la "alide6 de 4 . T E&emplo Para %ue el producto de dos numeros enteros sea par es necesario %ue por lo menos uno de los dos sea par Escri#iendo en la !orma 4 . T tenemos %ue si mn es un entero par* entonces m es par o n es par Teniendo en cuenta %ue 1p %2 p % 1Le$ de Morgans2 La contra3rec:proca se leer:a' 7i m es impar $ n es impar entonces mn es impar La demostracion directa es como sigue' m . +s , = $ n . +t , = . mn . 1+s , =21+t , =2 . +5 , = donde 5 . +ts , t , s Entonces %ueda demostrado %ue mn es impar Demostracion por contradiccion Este tipo de demostracion tiene su sustentacion en las siguientes e%ui"alencias logicas = 14 . T 2 4 T + 4 T . R R 4 . T El metodo consiste en suponer %ue el contenido del teorema es !also 7egun =* esto signi!ica %ue siendo la 5ipo tesis 4 "erdadera la conclusion T puede ser !alsa En todo ra6onamiento las premisas se toman como "erdaderas Por eso escri#e el supuesto T Estesesupuesto tiene como4 consecuencia logica la contradicion R R $ segun + esto implicaria %ue 4 . T es "erdadera* lo cual !inali6a la demostracion E&emplo Demostrar %ue el cuadrado de la ra6on de dos +enteros puede ser e<actamente a . + no Para demostrar esta proposicion demostraremos La proposicion dice %ue si a $ # son dos enteros entonces 2+ # 1 a %ue su negati"a es !alsa En consecuencia tenemos %ue demostrar %ue si a $ # son dos enteros entonces 1 2+ . + no # es posi#le ;amos a suponer sin perdida de generalidad %ue a $ # no tienen !actores comunes ;amos a suponer %ue la negaci on de la proposicion es cierta es decir %ue a + 1 2 .+ # entonces a+ . +#+ El segundo termino implica %ue a+ es un entero par $ por la demostracion anterior a es par O sea a . +s donde s es algun entero 7u#stitu$endo el "alor de a o#tenemos >s+ . +#+ * lo cual implica %ue #+ es par $ por lo tanto # es par* esto es* # . +t El 5ec5o %ue a . +s $ # . +t signi!ica %ue a $ # tiene como !actor comun +* en contra a de la suposicion de %ue aJ# no tiene !actores comunes Consecuentemente no es cierto %ue Aplicando la regla de 1 in!erencias podemos mostrar la "alide6 del la demostracion siguiente ra6onamiento Demostracion por dis$uncion de casos

2+ . + Esto completa

P= ' p % P + ' p . r P - ' % . r Conclusion' r 4acemos uso de este ra6onamiento en teoremas cu$a 5ipotesis puede partirse en casos mutuamente e<clu$entes* cada uno de los cuales conduce igualmente a la conclusion pre"ista E&emplo El cuadrado de todo entero* o es un multiplo de > o di!iere de un multiplo de > en = Esto es* n entero . n+ . >t o n+ . >t , = para algun entero t

Puesto %ue n es entero la separamos en dos casos' n es par o n es impar 1p %2 1i2 7i n es par n . +s para algun entero s . n+ . >s+ * es decir n+ es multiplo de > 1ii2 7i n es impar n . +t , = para algun entero t . n+ . >t+ , >t , = . >u , =* es decir n+ di!iere de un multiplo de > en = Demostracion contrae&emplo por

Cuando 5emos pro#ado la "alide6 de la implicacion p . %* !recuentemente se trata de in"estigar la "alide6 de la reciproca % . p Empe6amos anali6ando casos particulares %ue satis!agan la 5ipotesis % $ con!rontamos la "alide6 o no de la conclusion p 7i damos un e&emplo donde la conclusion resulta !alsa* tenemos %ue % p es "erdadera Puesto %ue 1% . p2 % p se sigue por las reglas de in!erencia %ue 1% . p2 es "erdadera $ por lo tanto % . p es !alsa El determinar la !alsedad de % . p mediante un caso particular se denomina un contrae&emplo E&emplo 7i n es un entero primo entonces n es impar em#argo es par En este caso* n . + es un contrae&emplo Es una implicacion !alsa por%ue n . + es primo $ sin

Notacin matemtica
La matemtica se apoya en un lenguaje simblico formal, la notacin matemtica, que sigue una serie de convenciones propias. Los smbolos representan un concepto, una relacin una operacin, o una frmula matemtica segn ciertas reglas. Estos smbolos no deben considerarse abreviaturas, sino entidades con valor propio y autnomo. Algunos principios bsicos son

Los smbolos de una letra se representan en letra cursiva Los smbolos de varias letras se representan en letra redonda de no debe escribirse , porque eso representara el producto logaritmo neperiano.

, etc. , etc.! en lugar en lugar del

"egn la norma #"$ %& los operadores diferenciales y las constantes matemticas universales ' (, tambi)n se escriben con letra redonda .&

Teora de conjuntos
Artculos principales Teora de conjuntos y lgebra.

"ean un elemento y Relacin Notacin pertenencia inclusin inclusin

conjuntos Se lee * pertenece a A A est contenido en + A est contenido en + o es igual que + A contiene a + A contiene a + o es igual que +

,na barra cru-ada sobre el smbolo niega el enunciado! por ejemplo A.!

es .* no pertenece a

Conjuntos numricos
La siguiente tabla recoge algunos ejemplos de smbolos que utili-an blackboard bold. "e muestra el smbolo creado con La/e0, el carcter ,nicode equivalente 'podra no ser visible dependiendo del navegador y los tipos de letra disponibles(, y su significado 1abitual en matemticas TeX Unicode Uso en matemticas 2meros complejos 3uaterniones 2meros naturales 2meros primos 2meros racionales 2meros reales Esfera 2meros enteros Conjuntos numricos especiales

Expresiones
Relacin Notacin igualdad menor que mayor que apro*imado Se lee * es igual a y * es menor que y * es mayor que y * es apro*imadamente igual a y cuantificador cuantificador universal cuantificador e*istencial cuantificador e*istencial con marca de unicidad tal que por lo tanto Ejemplo /eorema de 4eierstrass ."ea f una funcin real continua en un intervalo real cerrado y acotado 5a, b6, donde a es estrictamente menor que b. "e tiene que

!Notacin

Se lee para todo * E*iste por lo menos un * E*iste un nico *

o bien

*, tal que y *, por lo tanto y

La funcin f est acotada. La funcin f alcan-a un m*imo y un mnimo en dic1o intervalo, no necesariamente nicos..

Este teorema se puede e*presar con notacin matemtica de la siguiente forma . ..

!ica proposicional" #l!e$ra de %oole

Artculos principales Clculo lgico y Conectiva lgica.

&peradores $sicos
Los operadores lgicos ms bsicos son la conjuncin, la dis'uncin, y la ne!acin. "ean y dos proposiciones &peracin Notacin Se lee 2egacin no 7p7

3onjuncin 8isyuncin

7p7 y 7q7 7p7 o 7q7

Los operadores bsicos se usan para formar declaraciones atmicas. Las declaraciones atmicas dicen cual combinacin de pp y qq es verdad.

(mplicacin
,na combinacin muy til de los operadores matemticos es la implicacin. "e escribe o como abreviatura de . La declaracin . implica . es falsa siempre que sea verdad pero no necesariamente . "i y slo si .. , se escribe , que se lee . implica y es implicada por ., o bien . si y

,no de los usos ms comunes de los operadores lgicos se encuentra en la 9rogramacin de "istemas de #nformacin, as como en la generacin de circuitos el)ctricos, y en general en cualquier sistema de toma de decisiones para la empresa o para la vida cotidiana, por ejemplo "i salgo tarde de mi casa y no tengo ve1culo, entonces llegar) tarde al trabajo. 3onjuncin "algo tarde no tengo ve1culo llegar) tarde al trabajo.

"i decimos )*u no +a' nadie y aplicamos literalmente la doble negacin e*presada en nuestro 1ablar cotidiano entonces podramos asegurar que )*u +a' al!uien. 2egacin lgica: 1ay nadie Aqu 1ay alguien

;iajo en autobs o viajo en mi coc1e, no las dos cosas a la ve-. 'al autor por favor considera un ejemplo diferente. 9arece ser que 1as introducido una disyuncin e*clusiva referida a la disyuncin lgica que pones en el siguiente enlace( 8isyuncin lgica: viajo en bus viajo en mi auto o lo uno o lo otro

"i mi empresa no produce nada quiere decir que mi empresa 7produce algo'. 2egacin: produce nada 9roduce algo

Cuantificadores
<asta a1ora las declaraciones que podemos 1acer no dicen cundo son verdades. 9ara decirnos cundo una declaracin es verdad, necesitamos los cuantificadores. <ay tres cuantificadores bsicos el cuantificador uni,ersal, el cuantificador existencial y el cuantificador existencial con marca de unicidad . Aqu estn los smbolos. Nom$re cuantificador universal cuantificador e*istencial Notacin Se lee 9ara todo *... E*iste por lo menos un *...

cuantificador e*istencial con marca de unicidad

E*iste un nico *... que se leen .para

Las declaraciones cuantificadas se escriben en la forma todo , es verdad que . y .e*iste por lo menos un tal que es verdad..

Estos dos ltimos cuantificadores pueden usarse para lo mismo, ya que dice lo mismo que dice . En palabras, decir .no es para todo que es verdad. es igual que decir .e*iste tal que es falsa..

Teora de n-meros
Artculo principal Teora de nmeros

)nlisis matemtico
Artculo principal Anlisis matemtico

)nlisis real
mites 9ara decir que el lmite de la funcin es o bien #gualmente, para decir que la sucesin o bien .eri,adas
.eri,adas ordinarias

cuando tiende , se escribe

. va cuando tiende a la infinidad, se escribe

"e define la derivada de una funcin como el lmite del cociente del cambio en la ordenada y la abscisa. <ay varias notaciones para denotar la derivada de una funcin de una sola variable Las derivadas serian

.eri,adas parciales

"i la funcin depende de dos o ms variable, por ejemplo Las derivadas parciales respecto a cada una de las variables independientes

/iscelneos
0unciones

9ara decir que una funcin va desde el espacio Ta$la de Sm$olos

al espacio

, se escribe

En matemtica, e*iste un conjunto de smbolos que son frecuentemente utili-ados en la formacin de e*presiones matemticas. 8ebido a que los matemticos estn familiari-ados con estos smbolos, los mismos no requieren ser e*plicados cada ve- que se utili-an. En vista de esto, para beneficio de los matemticos novatos, en el Ane*o /abla de smbolos matemticos y Ane*o 3onstantes matemticas se lista muc1os de estos smbolos comunes, junto con su nombre, pronunciacin y el campo de las matemticas con el que se relacionan. Adicionalmente, la segunda lnea contiene una definicin informal, mientras que la tercera provee un ejemplo breve. Nota1 "i algunos de los smbolos no se muestran correctamente en tu pantalla, podra ser que tu navegador no implemente correctamente el estndar </=L > sobre codificacin de caracteres o, alternativamente, que te falte instalar alguna fuente requerida adicional.