Sistemas axiomticos

Las Cadenas Una cadena es una combinacin de ies y ues construidas a partir de la cadena i, usando una o ms de las siguientes reglas de manera secuencial y finita: 1) Al agregar u al final de una cadena se tiene otra cadena. 2) Si aparece uu en una cadena, se puede eliminar uu y se obtiene otra cadena. 3) En una cadena se puede sustituir iii por u para obtener otra cadena. 4) Al agregar a una cadena su rplica (o ella misma) , se obtiene otra cadena. Ser uiu una cadena? Ser cierto que iuu tambien es una cadena? Es o no iui una cadena? Una teora es un conjunto organizado de conocimientos. En matemticas las teoras se construyen a partir de la declaracin de un reducido nmero de relaciones entre objetos abstractos que se asumen como vlidas (verdaderas). Esas relaciones o propiedades iniciales reciben el nombre de axiomas...Si los axiomas de una teora coinciden con una componente de la realidad, entonces la teora, con todos sus teoremas, sirve como modelo til para describir, explicar y predecir ese aspecto de la realidad... (R. Olfos) Un sistema formal es la expresin ms rigurosa de una teora matemtica conocida; requiere de una simbologa especial, aunque sta no es del todo determinante, pues no interesa el significado de los smbolos que se utilizan ni de las expresiones que con ellos se construyen, sino slo el modo como se combinan segn reglas explcitas. En otras palabras, importa slo la sintaxis y no la semntica. Hay que tener presente que un sistema formal no se refiere a objetos que existen ni a verdades en el sentido que habitualmente se le da a estas palabras. As los axiomas son siempre slo una convencin, un acuerdo que se toma para construir una Teora. Decir que un axioma es una verdad que no necesita demostracin es parte del pasado... (A. Mena) Un poco de lgica La lgica es uno de los pilares de la matemtica junto con algunos objetos abstractos. Estudiar la lgica nos introduce en un pensamiento correcto, es decir, la manera correcta de pensar y plantear argumentos. No se trata del pensamiento verdadero.

Las teoras matemticas se basan en la consistencia interna de sus axiomas. Nuestro lenguaje natural se encuentra lleno de aplicaciones de la lgica que muchas veces no son correctas: Ejemplo: No se nada, no no quiero, yo miento(cuidado con esta afirmacin). Conectivos utilizados y: Conjuncin. p q Ser verdadera si se cumplen ambas condiciones simultneamente. Ejemplo: se buscan nmeros x con la siguiente condicin p: x es mayor que 0 q: x es menor que 1 Si tomamos un nmero entre 0 y 1, cumplir ambas condiciones a la vez, eso significa que los nmeros entre 0 y 1 son los que se buscan o: Disyuncin: p v q Ser verdadera cuando alguna sea verdadera: una pareja quiere celebrar su primer aniversario. Piensan en dos opciones: p: ir a caminar por la playa q: ir al cine. En qu ocasin queda contenta la pareja celebrando el aniversario? => implica . Implicancia. Se identifica una causa y un efecto, accin y reaccin, antecedente y concecuente. p => q Significa que si ocurre p debe ocurrir q. Ejemplo: un nio no quiere tomar sopa. La mama le dice Si te tomas la sopa, te hago tu postre favorito En qu circunstancia el nio queda contento? equivale <=> . Doble implicancia o equivalencia. Funciona como la igualdad para nmeros reales. Ser verdadero si lo que se compara son ambas veraderas o ambas falsas simultanemamente. Analice si las frases dadas significan lo mismo en cada caso: Si llueve voy al cine y si voy al cine llueve. Si no lloro no tengo pena y si tengo pena lloro. Si el sucesor de x es igual al sucesor de y, los nmeros x e y son iguales y Si dos nmeros son iguales, sus sucesores son iguales. Si dos nmeros tienen el mismo sucesor entonces ambos son un mismo nmero y Si dos nmeros son iguales, sus sucesores son iguales.

todo nmero tiene sucesor y Ningn nmero no tiene sucesor. Existe un natural que no tiene sucesor, Existe al menos un natural que no tiene sucesor, Existe un nico natural que no tiene sucesor y Existen naturales sin sucesor. Si dos naturales son distintos, sus sucesores tambin lo son y Si los sucesores de dos naturales son distintos, entonces los nmeros tambin lo son. Si dos naturales son distintos, sus sucesores tambin lo son, Si los sucesores de dos nmeros coinciden, entonces los nmeros son iguales y Si los sucesores de dos nmeros son los mismos, entonces se trata de los mismos nmeros.

Los nmeros Naturales: IN Ax. 1: 0 es un nmero natural. (cero) est en N. Ax. 2: Para cada nmero natural existe un nico sucesor Ax. 3: 0 no es sucesor de natural alguno. Esto es, 0 s(x) cualquiera sea x en N. Ax. 4: Si los sucesores de dos nmeros son iguales, tales nmeros tienen que ser iguales. Esto es, dos nmeros distintos tienen sus respectivos sucesores tambin distintos entre s. Interpretacin de los axiomas Ax. 1: Cualquier conteo que realicemos siempre parte de una situacin en la que se tiene cero elementos. Ax. 2: El conteo Para determinar el cardinal o cantidad de objetos de un conjunto se hace identificando o separando uno a uno los objetos, de modo que siempre hay un siguiente hasta finalizar el conteo, adems, el siguiente siempre es un nuevo objeto Ax. 3: No puede ser que el siguiente de un nmero sea el cero, ya que ello llevara a encerrar el proceso en un crculo, como en el caso de la aritmtica modular. donde, por ejemplo, las 13 horas es la 1 de la tarde. Ax. 4: s(x) = s(y) --> x = y

Ax. 5: Si tomamos un subconjunto de los nmeros naturales y en este se verifica que: est contenido el primer elemento 0 y adems para cada elemento del subconjunto tambin est su sucesor, entonces podemos concluir que el subconjunto es el mismo conjunto IN. Definicin de Adicin en IN

x x x x

+ 0 = x , para todo nmero natural x + suc(y) = suc(x + y), para todo x e y naturales que cumplan: + y es un nmero natural + y es nico dados x e y en IN

Teoremas asociados a la suma en IN. Asociatividad de la suma Para todo natural x, y, z, se cumple que: (x + y) + z = x + (y + z) Conmutatividad de la suma Para todo natural x, y, se cumple que: x + y = y + x Propiedad cancelativa de la suma Para todo natural x, y, z, se cumple que: x + y = x + z => y = z DEFINICIN Sean x e y nmeros naturales, se dice que: (1) x es menor o igual que y (o lo que es equivalente y es mayor o igual que x) si existe , de tal modo que x + y. Se anotar x y

(2) x es menor que y (o lo que es equivalente y es mayor que x) si existe , de tal modo que x + = y. Se anotar x < y.

Orden TRICOTOMA: Dados x e y nmeros naturales se presenta uno y slo uno de estos casos: x=y x<y y<x La relacin es de orden en IN, es decir, cumple con: Reflexividad, Antisimetra, Transitividad.

Otros teoremas Monotona de la suma Para todo natural x, y, z, se cumple que: Del buen orden Todo subconjunto no vaco de nmeros naturales tiene un menor elemento.