Axioma: Es una proposicin tan sencilla y evidente que no necesita demostracin, ejemplo: el todo es mayor que cualquiera de sus

partes. El formalismo surgido como consecuencia de la crisis fundacional de principios del siglo XX dio lugar al llamado programa de Hilbert. Dicho programa abogaba por la formalizacin de diferentes ramas de las matemticas mediante un conjunto de axiomas explcitos, en general formulados en lenguajes formales de primer orden. Eso significa que junto con los axiomas lgicos ordinarios de una teora de primer orden se introducan smbolos extralgicos (para constantes, funciones y predicados) y ciertos axiomas matemticos que usaban dichos signos que restringan su comportamiento. Cada teora matemtica necesita un conjunto diferente de signos extralgicos, por ejemplo la aritmtica de primer orden requiere la funcin "siguiente" y una constante que designe al primer de los nmeros naturales (a partir de esos dos signos nuevos una constante y una funcin, son definibles la suma, la multiplicacin, la relacin de orden "menor o igual" y todas las nociones necesarias para la aritmtica). El programa de Hilbert hizo concebir la posibilidad de unas matemticas en que la propia consistencia de axiomas escogidos fuera verificable de manera relativamente simple. Sin embargo, el teorema de incompletitud de Gdel y otros resultados mostraron la inviabilidad del programa de Hilbert para los fines con los que fue propuesto.

Limitaciones de los sistemas axiomticos A mediados del siglo XX, Kurt Gdel demostr sus famosos teoremas de incompletitud. Estos teoremas mostraban que aunque un sistema de axiomas recursivos estuvieran bien definidos y fueran consistentes, los sistemas axiomticos con esos sitemas de axiomas adolecen de limitaciones graves. Es importante, notar aqu la restriccin de que el sistema de axiomas sea recursivamente enumerable, es decir, que el conjunto de axiomas forme un conjunto recursivamente enumerable dada una codificacin o gdelizacin de los mismos. Esa condicin tcnica se requiere ya que si el conjunto de axiomas no es recursivo entonces la teora ni siquiera ser decidible.

Con esa restriccin Gdel demostr, que si la teora admite un modelo de cierta complejidad siempre hay una proposicin P verdadera pero no demostrable. Gdel prueba que en cualquier sistema formal que incluya aritmtica puede generarse una proposicin P mediante la cual se afirme que este enunciado no es demostrable.

Postulado: Es una proposicin no tan evidente como lo es un axioma pero tambin se admite sin demostracin por ejemplo el decir que en una recta hay una infinidad de puntos. Teorema: Es una proposicin que puede ser demostrada. La demostracin consta de un conjunto de razonamientos que conducen a la evidencia de la verdad de la proposicin. Corolario: Proposicin que se deduce de un teorema como consecuencia del mismo. Punto: El punto no tiene dimensiones, carece de masa es algo abstracto (alejado de la realidad), es decir, no se puede definir. Lnea: Es una secuencia de puntos. Segmento de recta: Es una proporcin de lnea recta.

Razonamiento deductivo: la forma de pensar utilizado en la ciencia y particularmente en geometra, se conoce como mtodo deductivo. El mtodo consiste en, valindonos de la lgica, deducir nuevos conocimientos a partir de conocimientos anteriores que se consideran verdaderos. Como es natural, deben existir alguno o algunos principios generales bsicos (axiomas, postulados y definiciones) desde donde comenzar la construccin de una nueva ciencia. La geometra es un sistema axiomtico o deductivo en el que cada teorema se deduce de otro, previamente demostrado.

METODO INDUCTIVO Y DEDUCTIVO

El proceso de inferencia inductiva consiste en exhibir la manera cmo los hechos particulares (variables) estn conectados a un todo (leyes). La inferencia deductiva nos muestra cmo un principio general (ley), descansa en un grupo de hechos que son los que lo constituyen como un todo. Ambas formas de inferencia alcanzan el mismo propsito aun cuando el punto de partida sea diferente. Cuando usamos simultneamente los mtodos de inferencia inductiva y deductiva para buscar la solucin de un problema cientfico decimos que estamos empleando el mtodo inductivodeductivo, cuyas reglas bsicas de operacin son: a) Observar cmo se asocian ciertos fenmenos, aparentemente ajenos entre s. b) Por medio del razonamiento inductivo, intentar descubrir el denominador comn (ley o principios) que los asocia a todos. c) Tomando como punto de partida este denominador comn (por induccin), generar un conjunto de hiptesis1 referidas a los fenmenos diferentes, de los que se parti inicialmente. d) Planteadas las hiptesis, deducir sus consecuencias con respecto a los fenmenos considerados. e) Hacer investigaciones (tericas o experimentales) para observar si las consecuencias de las hiptesis son verificadas por los hechos. Teora de conjuntos Sean un elemento y conjuntos

Operacin Notacin Se lee pertenencia inclusin x pertenece a A A est contenido en B

A est contenido en B o es igual que B inclusin A contiene a B A contiene a B o es igual que B Una barra cruzada sobre el smbolo niega el enunciado; por ejemplo pertenece a A"; Expresiones Operacin Notacin Se lee igualdad menor que mayor que aproximado x es igual a y x es menor que y x es mayor que y x es aproximadamente igual a y Notacin cuantificador universal cuantificador existencial cuantificador unicidad tal que por lo tanto Ejemplo: o bien existencial con marca de Se lee para todo x Existe por lo menos un x Existe un nico x es "x no

x, tal que y x, por lo tanto y

Teorema de Weierstrass: "Sea f una funcin real continua en un intervalo real cerrado y acotado [a, b], donde a es estrictamente menor que b. Se tiene que:

La funcin f est acotada. La funcin f alcanza un mximo y un mnimo en dicho intervalo, no necesariamente nicos."

Este teorema se puede expresar con notacin matemtica de la siguiente forma: " ".

Lgica proposicional, lgebra de Boole Operadores bsicos Los operadores lgicos ms bsicos son la conjuncin, la disyuncin, y la negacin. Sean y dos proposiciones Operacin Notacin Se lee Negacin Conjuncin Disyuncin no 'p' 'p' y 'q' 'p' o 'q'

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

Implicacin Una combinacin muy til de los operadores matemticos es la implicacin. Se escribe o como abreviatura de . La declaracin " implica " es falsa

siempre que sea verdad pero no necesariamente . Si y , se escribe , que se lee " implica y es implicada por ", o bien

" si y slo si ". Uno de los usos ms comunes de los operadores lgicos se encuentra en la Programacin de Sistemas de Informacin, as como en la generacin de circuitos elctricos, y en general en cualquier sistema de toma de decisiones para la empresa o para la vida cotidiana, por ejemplo:

Si salgo tarde de mi casa y no tengo vehculo, entonces llegar tarde al trabajo. Conjuncin|Salgo tarde no tengo vehculo llegar tarde al trabajo.

Si decimos Aqu no hay nadie y aplicamos literalmente la doble negacin expresada en nuestro hablar cotidiano entonces podramos asegurar que Aqu hay alguien. Negacin| hay nadie Aqu hay alguien

Viajo en autobs o viajo en mi coche, no las dos cosas a la vez. (al autor: por favor considera un ejemplo diferente. Parece ser que has introducido una disyuncin exclusiva referida a la disyuncin lgica que pones en el siguiente enlace) Disyuncin| viajo en bus viajo en mi auto o lo uno o lo otro

Si mi empresa no produce nada quiere decir que mi empresa 'produce algo'. Negacin| produce nada Produce algo

Cuantificadores Hasta ahora las declaraciones que podemos hacer no dicen cundo son verdades. Para decirnos cundo una declaracin es verdad, necesitamos los cuantificadores. Hay tres cuantificadores bsicos: el cuantificador universal, el cuantificador existencial y el cuantificador existencial con marca de unicidad. Aqu estn los smbolos. Nombre cuantificador universal cuantificador existencial cuantificador existencial con marca de unicidad Las declaraciones cuantificadas se escriben en la forma Notacin Se lee Para todo x... Existe por lo menos un x... Existe un nico x... que se leen

"para todo , es verdad que " y "existe por lo menos un tal que es verdad".

Estos dos ltimos cuantificadores pueden usarse para lo mismo, ya que mismo que dice . En palabras, decir "no es para todo

dice lo

que es verdad" es igual

que decir "existe tal que es falsa".

Teora de nmeros Conjuntos numricos especiales

Anlisis matemtico Anlisis real Lmites Para decir que el lmite de la funcin es o bien Igualmente, para decir que la sucesin escribe: o bien . cuando tiende , se escribe: . va cuando tiende a la infinidad, se

Derivadas Derivadas ordinarias Se define la derivada de una funcin como el lmite del cociente del cambio en la ordenada y la abscisa. Hay varias notaciones para denotar la derivada de una funcin de una sola variable:

Las derivadas serian:

Derivadas parciales Si la funcin depende de dos o mas variable, por ejemplo:

Las derivadas parciales respecto a cada una de las variables independientes:

Miscelneos Funciones Para decir que una funcin va desde el espacio Tabla de Smbolos En matemtica, existe un conjunto de smbolos que son frecuentemente utilizados en la formacin de expresiones matemticas. Debido a que los matemticos estn familiarizados con estos smbolos, los mismos no requieren ser explicados cada vez que se utilizan. En vista de esto, para beneficio de los matemticos novatos, la tabla siguiente lista muchos de estos smbolos comunes, junto con su nombre, pronunciacin y el campo de al espacio , se escribe .

las matemticas con el que se relacionan. Adicionalmente, la segunda lnea contiene una definicin informal, mientras que la tercera provee un ejemplo breve.

TCNICAS DE DEMOSTRACIN Una demostracin matemtica es un razonamiento realizado con una lgica vlida que progresa a partir de ideas que se dan por ciertas (llamadas hiptesis) hasta la afirmacin que se est planteando, o sea, hasta obtener la veracidad de la tesis formulada.1 Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin: fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas bsicas de deduccin del sistema en cuestin. El hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la demostracin de la negacin de este resultado implica que es falso. Aunque en general no existe un procedimiento nico de demostracin de tesis, s existen diferentes tipos de demostraciones que son utilizados comnmente en matemticas:

Demostracin por contraposicin (formalizado y utilizado en los silogismos por Aristteles)

Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles) y, como caso particular, descenso infinito

Induccin matemtica
o

Induccin fuerte

Por otra parte, a pesar del alto grado de intervencin humana necesario para hacer una demostracin, tambin existen tcnicas computacionales que permiten hacer demostraciones automticas, notablemente en el campo de la geometra euclidiana. Ejemplo de una demostracin por contradiccin Llamada tambin demostracin al absurdo Demostracin de la afirmacin Antes de demostrar esto debemos tener claro que existen ciertos axiomas que nos permitirn, en este caso, demostrar nuestra afirmacin. Dado que nos basaremos en

axiomas, tenemos que nuestra demostracin (siendo cada paso lgico correcto) es verdadera.

Usaremos los siguientes axiomas de los nmeros reales: Ax1. Ax2. Si y , con a,b,c reales. Entonces

Asumidos ciertos estos axiomas podemos comenzar con nuestra demostracin. Supongamos por un momento, contrariamente a lo esperado que, llegamos a una contradiccin. Puesto que , aplicando el axioma Ax2 al multiplicar por 1 (que es menor que cero), tenemos que , lo cual es una contradiccin. Como nuestra hiptesis era que es que , y sta es falsa, lo nico que ahora podemos decir y veamos que

. Pero el axioma Ax1 dice que la nica posibilidad donde no existe

contradiccin es que efectivamente Luego

Razonamiento Es claro que lo que debemos tener es una contradiccin. Para ello, primero debemos plantear una hiptesis, y comprobar si es cierta o no. De no serla nos conducir a una contradiccin. Debe tenerse claro que nuestra hiptesis comienza cuando decimos que 1 es menor que cero y no en los axiomas mencionados anteriormente (porque stos estn ya demostrados o bien, asumidos ciertos y no requieren, por lo tanto, mayor anlisis) . Como sabemos que la afirmacin "'1 es menor que cero" es falsa, debiramos llegar a una contradiccin. Pero no basta slo con saberlo, ya que debe ser demostrado. Nuestra hiptesis fue que uno era menor que cero y, luego de ciertos pasos lgicos correctos usando los axiomas, concluimos que uno era mayor que cero, lo cual claramente no puede ser cierto, ya que por la ley de tricotoma, dos nmeros reales deben cumplir una y slo una de las siguientes relaciones ; o bien ,

pero nunca dos ni tres juntas. Luego, como nuestra hiptesis nos conduce a una contradiccin, es falsa, y debemos considerar todas las posibilidades, menos esa. Esto es: como uno no es menor que cero, debe, necesariamente, ser mayor o igual que ste (cero). Pero el axioma primero dice que uno es distinto de cero, por lo que slo queda la opcin de que 1 sea mayor que cero Razonamiento incorrecto Un error comn entre quienes comienzan el estudio de estas materias, es el de pensar que han llegado a una contradiccin sin haberlo hecho. Por ejemplo: Suponen que: , Luego sumando (-1) a ambos lados lo cual es una contradiccin ya que .

Este razonamiento tiene un error, ya que no llegamos a una contradiccin. Nuestra hiptesis era que 1 era menor que cero y por lo tanto, con los procedimientos realizados , que es verdadero. En esta caso la afirmacin es falsa.

Ntese que para llegar a una contradiccin debemos tener lo siguiente:

Una afirmacin P (en nuestra hiptesis) que diga que sta es cierta. Una conclusin que diga que P es falsa.

Claramente ninguna afirmacin puede cumplir con esto. En lgica esto la afirmacin sera: P es cierta y ~P es cierta, que se lee "P es cierta y no P es cierta". Ejemplo de una demostracin por induccin Demostrar que

Demostracin

Debemos comprobar si la afirmacin es cierta para parte desde .

, ya que la sumatoria

Sea

, entonces

. y la afirmacin es cierta para .

Supongamos ahora, que la afirmacin es cierta para un sucede para .

fijo, y veamos que

Por propiedad de las sumatorias tenemos que

como la afirmacin es cierta para , tenemos que

ordenando

como es distinto de

, podemos simplificar y

que es lo que queramos demostrar. As, la afirmacin tambin es verdadera para Luego, la afirmacin es cierta para todo Razonamiento El principio de Induccin dice que dada una afirmacin cumple que

. .

, esta es cierta slo si se

es cierta Si es cierta, entonces tambin lo es.

Entonces, como nuestro

es lo que queremos demostrar, debemos ver si es cierta .

para su primer trmino. En este caso para

Ntese que no necesariamente nos debe quedar 1 en la sumatoria. Lo que nos indica el es que debemos ver si es cierta para el primer trmino. Como la afirmacin se cumpla para , el paso siguiente era ver si, asumida cierta para , se cumpla para

. As entonces, usamos lo que queremos ver si es cierto en el nico miembro de la izquierda de nuestra ecuacin. Luego aplicando propiedades de la sumatoria, podemos descomponer la sumatoria en partes y dejar lo que sabemos que es cierto, separado de lo que se puede aplicar por definicin. Sabemos que es cierto para , por lo tanto el primer miembro del lado derecho lo podemos sustituir, mientras que al segundo miembro slo aplicamos la definicin de sumatoria. Luego, sumando las fracciones y agrupando, concluimos que el primer miembro del lado izquierdo de nuestra ecuacin, se puede expresar como lo que queremos demostrar. Por lo tanto, concluimos que la afirmacin es cierta para Definicin formal En lgica matemtica y en lgica proposicional, una demostracin es una secuencia finita de frmulas lgicas bien formadas: .

tales que cada Fi es o bien un axioma o bien un teorema que se deduce de dos frmulas anteriores Fj y Fk (tales que j<i y k<i) mediante una regla de deduccin vlida. Es decir,

Dada una demostracin como la anterior si el elemento final Fn no es un axioma entonces es un teorema. Desde el punto de vista de los lenguajes formales el conjunto de teoremas demostrables coincide con el conjunto de secuencias de frmulas bien formadas sintcticamente bien formadas.

Ejemplo 2 En un tringulo, si dos ngulos son iguales entonces los lados enfrente de los ngulos iguales son iguales. Esta declaracin es verdad.

Inverso: En un tringulo, si los lados enfrente de dos ngulos son igual entonces los dos ngulos son iguales. Esta declaracin es tambin verdad.

Lo contrario: En un tringulo, si dos ngulos no son iguales entonces los lados enfrente de dos ngulos no son iguales. Esta declaracin es verdad.

Contrapositive: En un tringulo, si los lados enfrente de dos ngulos no son iguales entonces dos ngulos no son iguales. Esta declaracin es verdad.

Contradiccin: Existe un tringulo donde estn igual dos ngulos y los lados enfrente de los ngulos iguales no son iguales. Esta declaracin es falsa.

Ejemplo 3 Si una forma es un cuadrado entonces es un circunferencia. Esta declaracin es falsa.

Inverso: Si una forma es un circunferencia entonces la forma es un cuadrado. Esta declaracin es falsa.

Lo contrario: Si una forma no es un cuadrado entonces la forma no es circunferencia. Esta declaracin es falsa.

Contrapositive: Si una forma no es un circunferencia entonces la forma no es un cuadrado. Esta declaracin es falsa.

Contradiccin: Existe un cuadrado que no sea un circunferencia. Esta declaracin es verdad.