LOGICA CONJUNTOS

matemtica estudia los sistemas formales en relacin con el modo en el que codifican nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones ycomputacin. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica( o logstica), lgica matemtica, lgica teortica y lgica formal.

Hiptesis del continuo. La coleccin de todos los conjuntos de nmeros naturales P(N) tiene la llamada potencia del continuo: tantos elementos como (por ejemplo) puntos en unarecta. Su estudio es uno de los principales problemas en la teora de conjuntos.

La teora de conjuntos es una rama de las matemticas que estudia las propiedades de los conjuntos. Los conjuntos son colecciones abstractas de objetos, consideradas como objetos en s mismas, y son una herramienta bsica en la formulacin de cualquier teora matemtica. Ms an, la teora de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras geomtricas, ...; y junto con la lgica permite estudiar los fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas de la teora de Zermelo-Fraenkel es suficiente para desarrollar toda la matemtica. La propia teora de conjuntos es objeto de estudio per se, no slo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hiptesis del continuo o la existencia de un cardinal inaccesible. Por esta razn, los razonamientos y tcnicas de la teora de conjuntos se apoyan en gran medida en la lgica matemtica. El desarrollo histrico de la teora de conjuntos se atribuye a Georg Cantor, que comenz a investigar cuestiones conjuntistas "puras" en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influenciado por Richard Dedekind. El descubrimiento de las paradojas de la teora cantoriana de conjuntos propici los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo XX.

Ejemplos.

Los conjuntos numricos usuales en matemticas son: el conjunto de los nmeros naturales N, el de los nmeros enteros Z, el de los nmeros racionales Q, el de los nmeros reales R y el de los nmeros complejos C. Cada uno es subconjunto del siguiente:

ENUNCIADOS Y VALORES DE VERDAD

Entramos en el estudio semntico cuando hacemos referencia al carcter de verdad o falsedad que pueda tener una proposicin. Al hacer referencia al posible valor de verdad o falsedad que pueda tener una frmula estamos admitiendo un principio, el principio de bivalencia: todo enunciado es o verdadero o falso, pero no ambas cosas a la vez.

Para determinar el valor de verdad de una proposicin molecular, independientemente de los valores de sus componentes, existe un procedimiento mecnico: las tablas de verdad. Para construir las tablas de verdad hemos de tener en cuenta el nmero de filas con valor de verdad V= 1 y de falsedad F= 0, de los que ha de constar la tabla; el nmero de filas se rige por la siguiente formula 2n , donde n = al nmero de variables proposicionales de la frmula dada. As, para una sola variable p, la tabla sera 21 = 2 filas, o sea:

p 1 0

Condiciones de verdad del negador:

p 1 0

p 0 1

Cuando una enunciado es verdadero (valor de verdad positivo), su negacin es falsa (valor de verdad negativo), y a la inversa. las condiciones de verdad de la negacin se pueden representar de la siguiente manera:
Condiciones de verdad del conjuntor:

p 1 1 0

1 0 0

q 1 0 1

Podramos unir dos enunciados cualesquiera mediante la cpula "y": p= llueve q= hace fro; mediante smbolos: p q . Al igual que sucede en el lenguaje ordinario una conjuncin es verdadera cuando lo son los dos enunciados que la forman, y falsa en todos los dems casos. A la conjuncin en los Principia Mathematica se representan con un punto (.),&, y se la denomina producto lgico, por su analoga con el producto en las matemticas. Puede suceder que en la conjuncin alguno de sus miembros est negado, en este caso es necesario aadir el valor de verdad del miembro que est negado. Los valores, en este caso, de q son los contrarios de q.

p 1 1 0 0

q 1 0 1 0

q 0 1 0 1

Adems, en una conjuncin podemos aadir ms enunciados. Tres por ejemplo: p q r. En ese caso es verdadera si los son los tres enunciados que la forman.

Condiciones de verdad de la disyuncin: Podemos unir dos enunciados en el lenguaje ordinario con la partcula o: p o q; con smbolos: p q. Se la denomina suma lgica. El significado del disyuntor es el siguiente: la disyuncin es verdadera cuando al menos uno de los enunciados que la forman es verdadero, falsa los enunciados que la forman son falsos a la vez. Las condiciones de verdad de la disyuncin son la imagen invertida de la conjuncin. Para comprobar la verdad de una disyuncin es suficiente con probar la verdad de uno de sus enunciados; para probar su falsedad es necesario comprobar que son falsos los dos enunciados que la forman. Pero la traduccin al lenguaje formal es parcial e incompleta, aunque se corresponde con la partcula o del lenguaje ordinario, no debe confundirse con ella.
p q

1 1 0 0

1 1 1 0

1 0 1 0

 En el leguaje ordinario hay dos usos: uso exclusivo y el uso inclusivo. El uso exclusivo, no permite que los enunciados sean verdaderos al mismo tiempo; por ejemplo: cuando un juez pregunta al acusado si es culpable o inocente. El uso inclusivo, permite que una de las opciones sea falsa; por ejemplo: para aprobar lgica hay que hacer el examen o presentar un trabajo. En latn existen dos partculas diferentes aut y vel, la primera tiene un uso exclusivo y la segunda inclusivo. Esto aparece bien diferenciado en el anlisis lgico: f10, f2. La idea que encierra la disyuncin exclusiva es: que uno de los extremos de la disyuncin es verdadero, pero no los dos. (p q) (q p) Condiciones de verdad del condicional: el smbolo recibe el nombre de implicador o condicional y es la formalizacin, parcial e incompleta de la partcula del lenguaje ordinario "si ...entonces". En losPrincipia Mathematica el smbolo es una herradura; el signo de la inclusin en matemticas. la expresin que precede a la implicacin se llama antecedente, la que le sucede, consecuente. Una proposicin condicional es verdadera en todos los casos, salvo que el antecedente sea verdadero y el consecuente falso. As, segn Filn existen tres modos como un condicional puede ser verdadero y uno de como puede ser falso.
p q

1 1 0 0

1 0 1 1

1 0 1 0

Es verdadero cuando empieza con una verdad y termina con una verdad, si es de da es de da; es verdadero si comienza con una falsedad y termina con una falsedad, si la tierra vuela, la tierra tiene alas; y es verdadero tambin, si comienza con una falsedad y termina con una verdad, si la tierra vuela, la tierra existe. Y es falso, si comienza con una verdad y termina con una falsedad, si es de da, es de noche". La tabla del condicional ha sido muy discutida, esta que se expone aqu es la definicin de condicional material, en la que no se requiere ninguna relacin de contenido entre antecedente y consecuente. Sino slo el valor de verdad de sus componentes, a este criterio se llama extensional. Condiciones de verdad del bicondicional (coimplicador): en el lenguaje matemtico no formalizado es frecuente el uso de la partcula "si y solo si", "cuando y solamente cuando", y "equivalente". Fundamentalmente cuando se hacen definiciones. La partcula que se utiliza para formalizar es . Un bicondicional es verdadero cuando su antecedente y consecuente son a la vez verdaderos o son falsos; y falso en los dems casos.

p 1 1 0 0

1 0 0 1

q 1 0 1 0

PROPOSICIONES SIMPLES Y COMPUESTAS

Qu es una proposicin? Proposicin.- Es toda oracin o enunciado al que se le puede asignar un cierto valor (V o F). Si no puede concluir que es verdadero o falso no es proposicin. Ejemplo Las proposiciones se denotan con letras minsculas. Ejemplo: p, q, r, a, b, etc. Clases de proposiciones Hay dos clases de proposiciones: a. Proposiciones Simples.- Tambin denominadas atmicas. Son aquellas proposiciones que no se pueden dividir. Ejemplo: El cielo es azul. (verdadero) Nomenclatura: p b. Proposiciones Compuestas.- Tambin denominadas moleculares. Son aquellas que estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos. Ejemplo: Fui al banco, pero el banco estaba cerrado. Los lectores de este libro son jvenes o universitarios. Si el mircoles prximo me saco la lotera entonces te regalar un auto. Proposiciones simples y compuestas, tambin llamadas atmicas y moleculares respectivamente. Hoy es lunes (falso). Si es proposicin ya que se puede verificar. El rbol es grande. Como no se puede concluir si es verdadero o falso, no es una proposicin.

PROPOSICIONES LOGICA EQUIVALENTE

Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atmicos. Diremos que dos proposiciones P y Q son lgicamente equivalentes si es una tautologa, es decir, si las tablas de verdad de P y Q son iguales.

p q V V V F F V

p q q V F V F V F

(p q) q F F F

p F F V

((p q) q) p V V V

F F

ARGUMENTO Y FORMAS DE DESMOSTRACION

Como hemos indicado tales argumentos son los argumentos lgico-matemticos en cuanto formales y todos aquellos que siguen sus forma al ser aplicados a unos datos tenidos como vlidos para obtener la demostracin de una afirmacin concreta como verdad necesaria y por tanto indiscutible. Esto ocurre cuando el producto de todas las afirmaciones,5 del discurso como proposiciones lgico-matemticas implican una conclusin como tautologa.

Mtodo Directo
Para demostrar que P -> Q supondremos que la hiptesis P es verdadera y a partir de este punto razonando como haga falta intentaremos llegar a que la tesis Q es verdadera, con lo que quedara demostrado P > Q. Un ejemplo clsico: Demostrar que en N todo mltiplo de 6 es tambin mltiplo de 3. Es decir: Si x el mltiplo de 6 x tambin es mltiplo de 3. Supongamos que x el mltiplo de 6 (hiptesis verdadera) luego x=6*m para todo m perteneciente a N, pero sabemos que 6=3*2 luego x=3*2*m; n=2*m n pertenece a N Finalmente tenemos que x=3n, x el mltiplo de 3 con lo que tenemos Q, por tanto P->Q.

Mtodo reduccin al absurdo

Slo sabremos si es una tautologa. Supondremos que es una contradiccin, por tanto podemos suponer que puede ser falsa. Sin con esta suposicin se llega a una contradiccin quera decir que esa falsedad supuesta nunca podra darse, por tanto la proposicin sera siempre verdadera es decir una tautologa

Mtodo Inductivo
Sirve para demostrar frmulas o propiedades que son verdaderas para infinitos nmeros naturales. Es decir para demostrar que las propiedades de la forma P(m) se cumple casi siempre para todo nmero natural m N siendo n+ el conjunto de los caractersticos sin el cero V n N+ (Siendo N* = N-{0}) Se trata de demostrar P(n), V n N* El mtodo de demostracin inductivo consta de 3 pasos. 1. Paso Bsico Demostrar que la propiedad se cumple para el primer valor de de N que nos digan, casi siempre ser 1. Se trata de demostrar P(1).

2. Paso Inductivo Consiste en demostrar que si se cumple para un cierto n entonces tambin se cumple para n+1. Es decir que si se cumple para P(n) entonces se tiene que cumplir P(n+1). Se trata de demostrar la implicacin P(n)->P(n+1). Supondremos como hiptesis P(n) (hiptesis de induccin). 3. Conclusin Del paso bsico y del paso inductivo se deduce que la proposicin se cumple para todos los n naturales mayores o iguales a 1 (n>=1).

CUANTIFICADORES
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 Notacin Se lee

cuantificador universal

Para todo x...

cuantificador existencial

Existe por lo menos un x...

cuantificador existencial con marca de unicidad

Existe un nico x...

Las declaraciones cuantificadas se escriben en la forma "para todo x, es verdad que p" y "existe por lo menos un y tal que q es verdad". En realidad, estos dos ltimos cuantificadores son iguales, ya que

que se leen

dice lo mismo que

dice . En palabras, decir "no es para todo x que p es verdad" es igual que decir "existe x tal que p es falsa".

CONJUNTOS Y ELEMENTOS
Conjunto
Para otros usos de este trmino, vase Conjunto (desambiguacin).
Los diversos polgonos en la imagen constituyen un conjunto. Algunos de los elementos del conjunto, adems de ser polgonos son regulares. La coleccin de estos ltimos los polgonos regulares en la imagen es otro conjunto, en particular, un subconjunto del primero.

En matemticas, un conjunto es una coleccin de objetos considerada como un objeto en s. Los objetos de la coleccin pueden ser cualquier cosa: personas, nmeros, colores, letras, figuras, etc. Cada uno de los objetos en la coleccin es un elemento o miembro del conjunto.1 Por ejemplo, el conjunto de los colores del arcoris es: AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen. Por ejemplo, para los nmeros naturales, si consideramos la propiedad de ser un nmero primo, el conjunto de los nmero primos es: P = {2, 3, 5, 7, 11, 13, ...} Un conjunto queda definido nicamente por sus miembros y por nada ms. En particular el orden en el que se representen estos es irrelevante. Adems, cada elemento puede aparecer de manera idntica una sola vez, esto es, no puede haber elementos totalmente idnticos repetidos. Por ejemplo: S = {Lunes, Martes, Mircoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes, Mircoles} AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta, Naranja} Los conjuntos pueden ser finitos o infinitos. El conjunto de los nmero naturales es infinito, pero el conjunto de los planetas en el Sistema Solares finito (tiene ocho elementos). Adems, con los conjuntos pueden combinarse mediante operaciones, de manera similar a las operaciones con nmeros. Los conjuntos son un concepto primitivo, en el sentido de que no es posible definirlos en trminos de nociones ms elementales, por lo que su estudio puede realizarse de manera informal, apelando a la intuicin y a la lgica. Por otro lado, son el concepto fundamental de la matemtica: mediante ellos puede formularse

el resto de objetos matemticos, como los nmeros y las funciones, entre otros. Su estudio detallado requiere pues la introduccin de axiomas y conduce a la teora de conjuntos.

CARDINALIDAD Y TIPOS DE CONJUNTOS

Los tipos de conjuntos son como el conjunto universal, que denota todos los elementos de una clase determinada; el conjunto vaco, que no contiene ningun elemento; los conjuntos cuyos elementos pueden ser finitos o infinitos;los subconjuntos, que son conjuntos que estan contenidos dentro de otro conjunto. La cardinalidad de un conjunto es el numero de elementos de ese conjunto. Ejemplo: A={a,s,c,d} , la cardinalidad es 4 Dos conjuntos son ajenos si no tienen ningn elemento en comn. Ejemplo: A={a,s,c,d} , B={e,f,y,h} A y B son disjuntos.

OPERACIONES CON CONJUNTOS

Unin
Dados dos o ms conjuntos, se define la unin de conjuntos, como el conjunto formado por los elementos de todos los conjuntos. Ejemplo: Sean los conjuntos A = {a, b, c, d, e, f} y B = {a, h, j}. La unin de A y B es {a, b, c, d, e, f, h, j} La unin tiene las siguientes propiedades: Conmutativa. A unin B = B unin A Asociativa. (A unin B) unin C = A unin (B unin C). Distributiva: A unin (B interseccin C) = (A unin B) interseccin (A unin C) Absorcin: A unin (A interseccin B) = A Idempotencia: A unin A = A Elemento neutro: A unin conjunto vaco = A Dominacin: U unin A = U Inversa: A unin A' = U Inversa de Morgan: (A unin B) ' = A ' interseccin B '

Interseccin
Dados dos o ms conjuntos, se define la interseccin de conjuntos, como el conjunto formado por los elementos que pertenecen a todos los conjuntos. Ejemplo: Sean los conjuntos A = {a, b, c, d, e, f} y B = {a, h, j}. La interseccin de A y B es {a} La interseccin tiene las siguientes propiedades: Conmutativa. A interseccin B = B interseccin A, Asociativa. (A interseccin B) interseccin C = A interseccin (B interseccin C). Distributiva: A interseccin (B unin C) = (A interseccin B) unin (A interseccin C) Absorcin: A interseccin (A unin B) = A Idempotencia: A interseccin A = A Elemento neutro: A interseccin conjunto vaco = A Dominacin: conjunto vaco interseccin A = U Inversa: A interseccin A' = U Inversa de Morgan: (A interseccin B) ' = A ' unin B '

Diferencia
Dados dos conjuntos A y B, su diferencia, A - B, es los elementos de A que no pertenecen a B. Ejemplo: Sean los conjuntos A = {a, b, c, d, e, f} y B = {a, h, j}. La diferencia A - B es {b, c, d, e, f}. La diferencia B - A es {h, j}

Diferencia simtrica
Dados dos conjuntos A y B su diferencia simtrica es la unin de la diferencia A - B y B - A. En el ejemplo anterior la diferencia simtrica es {b, c, d, e, f, h, j}

Producto cartesiano
Dados dos conjuntos A y B, el producto cartesianos de estos dos conjuntos es el conjunto formado por todos los pares ordenados (a,b) donde a es un elemento de A y b es un elemento de B. Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos. El producto cartesiano A x B = {(a,1), (a,2), (b,1), (b,2), (c,1), (c,2)} El cardinal (nmero de elementos) del producto cartesiano es el producto de los cardinales de los dos conjuntos, |A x B| = |A| x |B|

SEGUNDA UNIDAD
SISTEMA DE NUMEROS REALES (FOTO)

RECCTA DE NUMEROS REALES

La recta numrica es un grfico unidimensional de una lnea en la que los nmeros enteros son mostrados como puntos especialmente marcados que estn separados uniformemente. Frecuentemente es usada como ayuda para ensear la adicin y la sustraccin simples, implicando especialmente nmeros negativos. Est dividida en dos mitades simtricas por el origen, es decir el nmero cero. En la recta numrica mostrada arriba, los nmeros negativos se representan en rojo y los positivos en morado.

EXPONENTES ENTEROS
Exponentes Si n es un entero positivo, la notacin exponencial a2 que se define en la tabla, representa el producto del nmero real a multiplicado n veces por si mismo. La expresina2 se lee a a la ensima potencia o simplemente a a la n. El entero positivo se llama exponente y el numero real a, base. Notacin exponencial
Caso general (n es cualquier entero positivo)

Casos especiales

Ejemplos:

RADICALES RACIONALES Radicales

A continuacin definiremos la principal raz ensima de un numero real.

Definicin de Sean n un numero entero positivo mayor de 1 y a , un numero real. 1) Si 2) Si 3) a) que b) Si . Si y n es par, entonces no es un nmero real. , entonces , entonces es el nmero real positivo b tal que .

y n es non, entonces

es el numero real negativo b tal

Si n=2 se escribe

en lugar de

se llama raz cuadrada principal de o es la raz cbica de a.

simplemente raz cuadrada de a. El nmero

OPERACIONES CON EXPRECIONES ALGEBRAICAS

OPERACIONES CON EXPRESIONES ALGEBRAICAS A) SUMA Y RESTA DE EXPRESIONES ALGEBRAICAS

Para sumar o restar expresiones algebraicas, sesuma, o se resta los coeficientes de los trminossemejantes.Ejemplo: -8bx2y5+ 12bx2y5+ bx2y5= 5bx2y5 SUPRESIN DE SIGNOS DE COLECCIN 1)Cuando el signo de coleccin est precedido delsigno ms, se elimina este signo sin producirningn cambio. a + (b - c) = a + b c 2)Cuando est precedido del signo menos, seelimina el signo de coleccin cambiando todoslos signos de suma o resta que se encuentradentro de l. a - (b - c) = a - b + c INTRODUCCIN DE SIGNOS DE COLECCIN 1)Cuando tiene que ir precedido del signo ms, seescribe el signo de coleccin sin realizar ningncambio. a + b - c = a + (b - c) 2)Cuando tiene que ir precedido del signo menos,se escribe el signo de coleccin, cambiando lossignos de suma y de resta de todos los trminosque se introduce. a - b + c = a - (b - c) MULTIPLICACIN DE EXPRESIONES ALGEBRAICAS Es la operacin que consiste en obtener una expre-sin llamada producto, conociendo otras dos llamadas multiplicando y multiplicador. PROPIEDADES DE LA MULTIPLICACIN El grado del producto es igual a la suma de losgrados de los factores.El trmino independiente del producto es igual alproducto de los trminos independientes de losfactores.Ejemplo:Sea el producto: (4x4+ 5x + 6) . (7x5+ 6x2+ 2) . (3x2+ 6x - 3) . (2x - 5) Grado (absoluto) del producto: 4 + 5 + 2 + 1 = 12 Trmino independiente: (6) (2) (-3) (-5) = 180