Está en la página 1de 18

LOGICA MATEMATICA

Lgica es el conjunto de los mtodos y principios usados para distinguir el razonamiento correcto del incorrecto. Existen diversos tipos de lgica como son la lgica proposicional y la lgica de predicados. Lo que caracteriza a la lgica proposicional es que toma como unidades bsicas a las proposiciones y que tiene en cuenta como se combinan entre ellas por medio de conectivos lgicos para formar argumentos vlidos Ejemplos: Todos los matemticos utilizan sandalias Cualquier persona que utilice sandalias es algebrista. Por lo tanto, todos los matemticos son algebrista. La Lgica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado en particular. El tipo de expresiones que interesan a la lgica son aquellas cuyo contenido puede ser evaluado como falso o verdadero. A este tipo de expresiones se le denomina proposicin, sentencia o enunciado. Preposicin El lenguaje en sentido estricto es un sistema convencional de signos es decir un conjunto de sonidos y grafas con sentido, sujeto a una determinada articulacin interna. Con el podemos: Afirmar o negar Oraciones declarativas Expresar deseos O desiderativas Formular preguntas O interrogativas Expresar sorpresa o O exclamativas o admiracin admirativas Indicar mandato u O imperativas obligacin Valor cualidad

La lgica solo toma en cuenta las oraciones declarativas


Una proposicin se define como un enunciado, una oracin declarativa, o una expresin simblica, de la cual se puede decir sin ambigedad, que es verdadera o falsa, pero no ambas.

Ejemplo: La Coca-Cola es una empresa transnacional verdadero. Todos los alumnos de la CUN son menores de edad.. Falso El grupo de CONTADURIA est iniciando el curso de matemticas discretas.. verdadero Todos los alumnos de LA CUN tienen coche del ao..... Falso La veracidad (V 1) o falsedad (F F) de una proposicin se llama valor de verdad Variables proposiciones Las proposiciones se representan mediante variables proposicionales simbolizadas con letras minsculas p, q, r,...... que se denominan tomos. Una proposicin p tiene un valor de verdad que es V F pero no ambos a la vez. Ninguna proposicin podr carecer de uno de dichos valores de verdad. Ejemplo: p: San Marcos es un municipio del dpto. de Sucre. q: Un gobernador puede reelegirse segn la constitucin poltica Colombiana. De esta manera podemos decir que p puede ser verdadera o falsa dependiendo de alguna situacin, lo mismo para q y as poder asignarle valores de verdad.

Estos smbolos pueden modificarse o combinarse mediante conectivos lgicos dando lugar a proposiciones compuestas o moleculares. Conectivos Lgicos (Trminos de Enlace) Son palabras y/o smbolos que enlazan proposiciones con el fin de construir un lenguajes (verbal o simblico) ms amplio. Los conectivos lgicos ms usuales son: Simbol Palabra Nombre o (), [] Agrupacin No, no es cierto, not Negacin ^ Y, and Conjuncin v O, or Disyuncin inclusiva, permite todos los casos. v F..F, xor Disyuncin exclusiva, permite solo uno de todos los casos. Si entonces Si condicional o implicacin Si y solo si Bicondicional o implicacin doble

La jerarqua de las proposiciones son: negacin, conjuncin, disyuncin, implicacin, bicondicional y son asociadas por la izquierda. Pero tiene mayor los signos de agrupacin, des esta manera, si nos encontramos con la proposicin: (p q) ^r 1. Primero resolvemos la implicacin (p q) 2. Luego hacemos la negacin de r ( r ) 3. Por ltimo la conjuncin

Tablas de verdad
Son un instrumento empleado en la lgica proposicional, para indicar las diferentes interpretaciones de una frmula y el resultado de las mismas. Representan de manera grfica todas las posibles combinaciones de los valores de verdad que se formen de las proposiciones. Sus valores pueden ser V ( verdadero) o F (falso), 1 (encendido) o F (apagado), para saber cuntas filas deben utilizarse se aplica la formula 2 donde 2 representa los dos posibles valores que puede tomar y n es el nmero de proposiciones con las que se forme la formula.

Ejemplo: Tenemos 3 proposiciones: p:El pas est en crisis econmica. q:El gobierno est aumentado el precio de los productos. r:Los trabajadores tiene salarios insuficientes. Calcular los valores posibles para la proposicin (p V q) r mediante una tabla de verdad. Aplicando la formula 2 tenemos 8 filas. Es recomendable desglosar la proposicin compuesta en proposiciones ms simples aplicando la prioridad de los operadores, todo esto para facilitar el clculo de los valores de verdad. Para saber la distribucin de los valores verdaderos y falsos en la tabla simplemente se va dividiendo los valores por cada fila o columna, dependiendo del siguiente criterio: como en este caso son 3 proposiciones se harn tres divisiones: Para la primera columna (p) 8/2=4 se distribuye en 4 verdaderos y 4 falsos. Para la segunda fila (q) 8/4=2 se distribuyen 2 verdaderos y 2 falsos intercalndolos hasta finalizar las 8 filas.

Para la tercerea fila (r) 8/1=8 se distribuyen 1 verdadero y 1 falso intercalndose hasta terminar las 8 filas. Esto es para las proposiciones atmicas, las dems sern en base a las reglas de los conectivos lgicos, la divisiones depende del nmero de proposiciones en cuestin. La tabla nos queda de la siguiente manera:

Clasificacin de las proposiciones


Las proposiciones se clasifican en Proposiciones atmicas y moleculares Las proposiciones pueden constar de un solo enunciado o de varios, en el primer caso las denominamos proposiciones atmicas y en segundo moleculares. Proposicin Atmica Una proposicin es atmica cuando no posee conectivos lgicos. Son entonces las ms simples. Ejemplos: En el invierno hace frio. Colombia est en crisis econmica. La ballena es roja La raz cuadrada de 16 es 4 Gustavo es alto Teresa va a la escuela Proposicin compuesta o molecular Es una o ms proposiciones atmicas adecuadamente escritas, unidas con trminos de enlace como No, o, y, sientonces, si y solo si. Ejemplos: En el invierno hace frio y en algunos lugares cae nieve. Colombia est en crisis econmica si y solo si se devala la moneda. No es difcil desarrollar un software. Clasificacin de las proposiciones moleculares Las proposiciones moleculares, segn el tipo de conjuncin que llevan, se clasifican en conjuntivas, disyuntivas, condicionales y bicondicionales; si llevan el adverbio de negacin no se llaman negativas. a. Las proposiciones conjuntivas (p^q) Llevan la conjuncin copulativa y, o sus expresiones equivalentes como e, pero, aunque, aun cuando, tanto... como..., sino, ni... ni, sin embargo, adems, etc. Ejemplos: a) El es un artculo y de es una preposicin. b) El nmero dos es par, pero el nmero tres es impar. c) Silvia es inteligente, sin embargo es floja. d) Tanto el padre como el hijo son melmanos. e) Manuel e Ismael son universitarios. f) La materia ni se crea ni se destruye. g) Ir a verte aunque llueva. h) Ingresar a la universidad aun cuando no apruebe el examen de admisin. Sean p, q dos proposiciones, la proposicin compuesta p y q (p^q) se llama la conjuncin de p con q y se define as: El valor de verdad de (p^q) es V si tanto p como q tienen valor V. ejemplo

Proposicin con forma de Negacin La negacin es una operacin unitaria que se aplica a una proposicin y tiene el efecto de revertir el valor de verdad. Se simboliza as: o con el smbolo , se escribe: p y se lee: No p; negacin de p; o, No es cierto que p, esto es, si p es verdadera entonces p es falsa, y si p es falsa entonces p es verdadera. llevan el adverbio de negacin no, o sus expresiones equivalentes como nunca, jams, tampoco, no es verdad que, no es cierto que, es falso que, le falta, carece de, sin, etc. Ejemplos: a) Nunca he odo esa msica. b) Jams he visto al vecino. c) Es imposible que el tomo sea molcula. d) Es falso que el juez sea fiscal. e) Al pap de Nelly le falta carcter. Puede estar compuesta de una proposicin simple o molecular P: Juan va a la disco

p: Juan no va a la disco

En este caso la negacin afecta a toda una proposicin compuesta

Proposicin con forma Disyuntiva o Disyuncin Una proposicin Disyuntiva, es aquella que est formada por proposiciones atmicas o moleculares, digamos p y q, con el conectivo Lgico o. Se simboliza as: V, se escribe: p v q y se lee: p o q Existen dos operadores de disyuncin: La disyuncin exclusiva o excluyente y la disyuncin inclusiva o incluyente. Disyuncin Inclusiva Son dos o ms proposiciones de las cueles puedo elegir una o ms de una, se caracteriza por permitir que las proposiciones que contiene sean todas verdaderas, as que se le llama tambin Incluyente.

La disyuncin inclusiva entre dos proposiciones es falsa solo si ambas proposiciones son falsas.

A continuacin se presenta una tabla de los valores que puede tener la Disyuncin Inclusiva:

p v q: Juan saca 1F en su examen semanal o lava el coche de su pap de lunes a viernes. Debemos fijarnos que su pap le pidi cumplir con p o cumplir con q, significa que Juan puede cumplir con una sola de estas tareas para poder ir al antro. Las posibles situaciones en las que Juan se podra caer para ir al antro son:

Disyuncin Exclusiva
Son dos o ms proposiciones de las cueles puedo elegir solo una, no permite que las proposiciones que contiene sean todas verdaderas, as que se le llama tambin excluyente. Solo es verdadera cuando una de las proposiciones lo es

La siguiente tabla muestra los posibles valores que puede tomar la disyuncin Excluyente:

Proposicin condicional (p q) si p. entonces q Llevan la conjuncin condicional compuesta si... entonces..., o sus expresiones equivalentes como si, siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, slo si, solamente si. Ejemplos: a) Si es joven, entonces es rebelde. b) Es herbvoro si se alimenta de plantas. c) El nmero cuatro es par puesto que es divisible por dos. e) Cuando venga Ral jugaremos ajedrez. f) De salir el sol iremos a la playa. g) La fsica relativista fue posible porque existi la mecnica clsica.

d)Se llama issceles siempre que el tringulo tenga dos lados iguales.

h) Nuestra moneda se devala solamente si su valor disminuye

De la tabla se deduce que la condicional pq es falsa cuando p es V y q es F. En la condicional p q, p se llama antecedente y q consecuente.

Para aclarar la tabla anterior consideramos el siguiente ejemplo: Juan le dice a su esposa Si hago el negocio, entonces te compro una moto. Veamos las distintas posibilidades: Juan hace el negocio y le compra la moto a su esposa. En este caso mantiene su promesa; por lo tanto su proposicin fue verdadera. Juan hace el negocio, pero no le compra la moto a su esposa. En este caso, rompi su promesa, por ende su proposicin fue falsa. Juan no hace el negocio, pero a pesar de ello le compra la moto a su esposa (no rompiendo su promesa) por tanto su proposicin fue verdadera. Juan no hace el negocio y no le compr la moto a su esposa; por tanto no rompi su promesa y su proposicin fue verdadera. Las proposiciones bicondicionales. (pq)

Se caracterizan porque establecen dos condicionales, pero de sentido inverso. Por ejemplo, la proposicin bicondicional el tringulo es equiltero si y slo si tiene tres lados iguales establece dos condicionales de sentido inverso: si es tringulo equiltero, entonces tiene tres lados iguales y si el tringulo tiene tres lados iguales, entonces es equiltero. Formalizacin de proposiciones Formalizar una proposicin significa abstraer su forma lgica, es decir, revelar su estructura sintctica a travs del lenguaje formalizado de la lgica. En trminos ms sencillos, formalizar una proposicin equivale a representarla simblicamente. La tcnica de formalizacin de proposiciones comprende los siguientes pasos: a) Se explicita su forma lgica empleando las conjunciones y, o, si..., entonces, si y slo si y el adverbio no en sustitucin de sus expresiones equivalentes. b) Se halla su frmula reemplazando cada proposicin atmica por una variable proposicional, las conjunciones gramaticales por sus operadores lgicos correspondientes y el adverbio no por el operador negativo. c) Los signos de agrupacin se usan para establecer la jerarqua entre los operadores de una frmula lgica, pero slo cuando su omisin la hace ambigua. Ejemplos: Kant es filsofo, pero Frege es lgico Forma lgica: Kant es filsofo y Frege es lgico Frmula: p: Kant es filsofo. q: Frege es lgico. pq

No iremos al teatro a menos que venga Ral Euclides no es mdico ni fsico. Frmula: Ni Vilma, ni Silvia, ni Anglica ingresaron a la universidad.

Forma lgica: Si Ral viene, entonces iremos al teatro Forma lgica: Euclides no es mdico y Euclides no es fsico. Forma lgica: Vilma no ingres a la universidad y Silvia no ingres a la universidad y Anglica no ingres a la universidad.

Frmula: p: Ral viene. q: iremos al teatro. pq p: Euclides es mdico. q: Euclides es fsico ~p ~qopq Frmula: p: Vilma ingres universidad. q: Silvia ingres universidad. r: Anglica ingres universidad. ~p ~q~r a a a la la la

. TAUTOLOGA, CONTRADICCIN E INDETERMINACIN Al hacer la tabla de verdad de cualquier frmula nos podemos encontrar con tres casos: que la tabla de verdad de la frmula slo tenga V, que slo tenga F, y que tenga V y F. TAUTOLOGA: Es una frmula siempre vlida, sean cuales sean los valores de verdad de las proposiciones que la integran. Es decir, es una frmula cuya tabla de verdad final slo tiene unos ( V ). CONTRADICCIN: Es una frmula no vlida nunca, sean cuales sean los valores de verdad de las proposiciones que la integran. Es decir, es una frmula cuya tabla de verdad final slo tiene ceros ( F ).

INDETERMINACIN O CONTINGENCIA: Es una frmula que puede ser vlida o no, en funcin de los valores de verdad de las proposiciones que la integran. Es decir, es una frmula cuya tabla de verdad final tiene unos ( V ) y ceros ( F ) no importa en qu proporcin. Ejercicios tablas de verdad(p V q) r

Tabla de verdad de la frmula: p (r ^ q) se lee Si no p, entonces r y no q. La


conectiva dominante es el n =3 2= 8
p v v v v f f f f q V V F F V V F f r V F V F V F V f

q
F F V V F F V v

(r ^ q) f F V F F F V f

p
F F F F V V V v

p (r ^ q)
v v v V f f V f

[( p q ) ^ q ] p p V v F F q V F V F (pq ) v F V V q F V F V [( p q ) ^ q] f f f v p f f v v [( p q ) ^ q ] p v v v v

( p q ) ^ ( p q ) Se lee Si, entonces q, y no es cierto que si p, entonces q. es una contradiccin

CONJUNTOS
Un conjunto es una coleccin bien definida de objetos, llamados elementos. Es aquel est compuesto por objetos que satisfacen una caracterstica determinada. Ejemplos de conjuntos

1) N = {1, 2, 3, 4,.}
2) A = {a, b, c, d,. x, y, z } 3) C = {x / x 3, x N } 4) A = {{a, b}, {b, c},{d}}

Los conjuntos se denotan por letras maysculas y los elementos del conjunto se denotan por letras minsculas, nmeros o combinacin de ambos.
Relacin Elemento - Conjunto. La relacin entre un elemento y un conjunto dado es una relacin de pertenencia , o no pertenencia. EJEMPLO: Si se tienen en cuenta los conjuntos anteriores. 1) 4 N. 2) 0 C 3) {a, b} A 4) {a, c} A. 5) d A. 6) 100 N.

Relacin Conjunto - Conjunto. La relacin entre dos conjuntos se establece como de inclusin no inclusin. EJEMPLO: De los conjuntos ya definidos. 1) {2, 4, 6 . . . . . . } N. 2) {a, e, i, o, u, } A 3) {x / x 10, x N} C. 4) {{a, b, c,}} A. 5) {{b, c}, {d}} A. 6) {-3, -2, 0} N.

Formas de Nombrar un Conjunto. Bsicamente existen dos formas de nombrar un conjunto.


Ellas son: 1. Por Extensin o Forma Tabular. Se logra dando una lista de todos los elementos del conjunto. Ejemplo. 1) A = {a, b, c, d, x, y, z,} 2) B = {2, -2} 3) P = {0, 2, 4, 6, 8.} 4) E = {} 2. Por Comprensin o Forma Constructiva. Aqu se da una propiedad que cumplen todos los elementos del conjunto, empleando eso s, la notacin apropiada. EJEMPLO: 1) A = {x / x > 16, x Z} 2) B = {x / x2 + 4 = 0, x C} 3) C = {x / x son las letras de la palabra ingreso} 4) D = {x / 3 x 4, x R

Ntese que la barra " |" se lee tales que.


Conjunto Finito. Un conjunto A es finito, si el proceso de contar sus elementos tiene fin, es decir al conjunto se le puede asociar un nmero entero positivo. EJEMPLO:

1) M = {x / -8 < x < 8; x es par } dgitos16

2) D = {0, 1, 2, 3, ..., 9}. Conjunto de los nmeros

Conjunto Infinito: A es un conjunto infinito si se presenta la imposibilidad de listar sus elementos, o de asociar el conjunto con un nmero entero positivo. EJEMPLO: 1. C = {x/x son las circunferencias que tienen como centro el origen de coordenadas cartesianas } 2. M = {x / -1< x < 1 x R} Por qu es infinito? Igualdad de Conjuntos: Dos conjuntos A y B son iguales si tienen los mismos elementos. Se escribe A = B. EJEMPLO: 1) Si A = {x / x2 + 4 = 0, x = C} y B = {2i, -2i} entonces, A = B 2) Considerando la definicin el conjunto A = {2, 4, 6,8} y el conjunto B = {8, 4, 2,6} son iguales, ya que cada elemento de A es elementos de B y cada elemento de B es tambin elemento de A. De esta forma se observa que el orden de los elementos en un conjunto no importa. 3) Si se consideran los conjuntos { 2 } C = {x| x 3x + 2 = 0} , D = {1,2} y E = {1, 1, 1, 2,2, 2, 2} al usar la definicin son iguales, es decir. C=D=E. Es decir no importa el nmero de veces que se repita un mismo elemento es un conjunto. 4) Si M = {c, o, s, t} y D = {x / x es una letra de la palabra costo} Ser M = N? Si A no es igual a B, entonces se dice que A es diferente de B, y se escribe A B . Conjunto Vaci. A un conjunto que no tiene elementos, se le llama conjunto vaci o conjunto nulo y se denota por:

o{

Ejemplos:

1. El conjunto de emperadores romanos que an viven. 2. B = { x| x = 4 y x es impar} . Al resolver dicha ecuacin se obtiene que x = 2 y x = 2 y no son impares. Conjunto Universal. Tambin se le denomina conjunto de referencia conjunto de todos los conjuntos. Es un conjunto del cual se pueden derivar otros conjuntos. Matemticamente se denota por la letra mayscula U. EJEMPLO 1 Si U = N = {1, 2, 3, 4,}. De este conjunto se pueden derivar otros como: A = {2, 4, 6, 8,..}; B = {1, 3, 5, ..}; C = {1, 2, 3, .. 10}. De esta forma el conjunto N se plantea como un conjunto universal o de referencia para A, B y C. EJEMPLO 2. El conjunto de los nmeros C, es el conjunto universal para los dems conjuntos numricos, estudiado ac. Subconjunto. Se dice que un conjunto A es un subconjunto de B, si todo elemento de A es tambin elemento de B. Y se denota como:

ABoAB
EJEMPLO: 1) Supongamos que A = {a,b,c} y B = {a,b,c, d,e} . Se observa que A B. Sin embargo, si C = {a,c, f } se obtiene que C B , dado que f B.

2) N Z Q R C. Complemento de un Conjunto. Si A es un conjunto cualquiera, su complemento es el conjunto formado por los elementos que le faltan a ese conjunto, para ser igual al universal. El complemento del conjunto A se denota como Ac y se define como: Ac = {x / x U x A} Ejemplo Si U = { 1, 2, 3, 4,.. 9} es el conjunto de los nmeros dgitos y si seefine el conjunto A, como A = { 2, 4, 6, 8}; entonces. Ac = {0, 1, 3, 5, 7, 9 }

Diagrama de Venn Son diagramas cerrados que sirven para ilustrar relaciones y operaciones entre conjuntos.
Cada conjunto se representa por medio de un crculo inscrito en un rectngulo que representa su conjunto universal.

OPERACIONES ENTRE CONJUNTOS 1. UNIN. La unin entre dos conjuntos A y B, escrita como A B, se define como: A B = { x / x A x B }; o que son tanto los elementos de A, como los de B, es decir, los elementos comunes y no comunes a A y B. La unin entre conjuntos es una operacin conmutativa Ejemplos 1 Si A = { u, v, x, y, z, w}; B = { m, n, x, y, z}. Hallar AB SOLUCIN: Como la unin de dos conjuntos son los elementos comunes y no comunes a ambos, entonces, A B = { m, n, u, v, x, y, z, w} y B A = { m, n, u, v, x, y, z, w} 3 Sea A = {a,b,c} y B = {b,c,d,e} Entonces A B = {a,b,c,e}. 2 Si A = { x / x2 - x - 12 = 0, x N }; B = { 4, 8, 12}. Hallar A B SOLUCIN: Como A = { 4 }, entonces, A B = { 4, 8, 12 }.

4 Supongamos que C = {a,b,c,d} y D = {e, f } Entonces C D = {a,b,c,d,e, f } .

2 Interseccin entre conjuntos La interseccin de los conjuntos A y B es el conjunto formado por todos los elementos comunes de ambos conjuntos de ambos conjuntos. La interseccin de A y B se denota como: A B y se traduce A interseccin B.

Utilizando la forma constructiva de un conjunto, tambin se puede definir la interseccin de la manera siguiente: A B = { x x A y x B} En diagramas de Venn A B se representa como:

Ejemplo Si A = { u, v, x, y, z, w} y B = { m, n, x, y, z}. Hallar A B. Se conforma la solucin de la operacin en el conjunto formado por los elementos comunes a A y B as: AB = { x, y, z} y BA = { x, y, z}

Entonces A B = B A, es decir, la interseccin de dos conjuntos, al igual que la unin entre conjuntos, es operacin conmutativa Ejemplos. 1. Sea A = {1,3,5,7,...} y B = {2,4,6,8,...} entonces A B = = { }. Diferencia entre conjuntos. Diferencia de los conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a A, pero no pertenecen a B. La diferencia de A y B se denota como: AB y se traduce A menos B. Utilizando la forma constructiva de un conjunto,tabbin se puede definir la diferencia de la forma: A B = {x x A y x B} El diagrama de Venn para A B se representa como:

ejemplo

1. Sean A = {p, q, r, s} y B = {r, s, k} entonces: a) A B = {p, q} . b) B A = {k} El diagramad de Venn es:

NUMEROS
NUMEROS NATURALES El conjunto de los nmeros naturales denotado usualmente por la letra mayscula N, se define como:

N = { 1, 2, 3, 4, 5, . . . , . . . } De tal definicin se desprende: 1. El conjunto de los nmeros naturales es infinito, puesto que no tiene ltimo elemento. 2. Es discreto, ya que entre dos nmeros naturales hay un nmero finito de nmeros pertenecientes a este mismo conjunto. 3. El conjunto tiene un primer elemento que es 1, a partir del cual se define para todo natural un sucesor y un predecesor. EJEMPLO 1. Entre 5 y 12 hay seis nmeros naturales que son: 6, 7, 8, 9, 10, y 11. EJEMPLO 2. Entre 24 y 25 no hay ningn nmero natural. El conjunto de los nmeros naturales en lo referente a cierto manejo aritmtico, es muy limitado. Basta traer al caso algunas situaciones entre muchas: La operacin diferencia, entre nmeros naturales, no siempre es un nmero Natural EJEMPLO. (18) (20) = -2 y -2 N La ecuacin de la forma x + a = b, siendo a y b N, no arroja siempre como solucin para x, un nmero natural. EJEMPLO . Si se considera la ecuacin x + 10 = 6 Solucionando para x se llega a que, x = -4, -4 N Para diversas necesidades matemticas, entonces, se vio la posibilidad de ampliar el conjunto. Aparece luego, el conjunto de los nmeros enteros. NMEROS ENTEROS: En una aplicacin del conjunto anterior. Se le agrega al conjunto de losnaturales N, los enteros negativos, introducido segn se cree, por los matemticos italianos, y el cero inventado por los Hindes*; as que el nuevo conjunto se simboliza por la letra Z y se define como:

Z = {.., -4, -3, -2, -1, 0, 1, 2, 3, 4,..} Al conjunto Z-, subconjunto de Z, se le llama enteros negativos: Z- = {.., -4, -3, -2, -1,} Z+ = {1, 2, 3, 4, 5,

Y al conjunto Z+, tambin subconjunto de Z, se le denomina enteros positivos .. }

Al igual que el conjunto de los nmeros naturales, la definicin de los nmeros enteros permite concluir:

1. El conjunto es infinito, puesto que, no tiene primero ni ltimo elemento, 2. Es discreto. EJEMPLO. Entre -2 y 3, hay un nmero finito de nmeros enteros, son: -1, 0, 1, 2. CASOS PARTICULARES DE NMEROS ENTEROS. En teora de nmeros, se conoce como casos particulares de este conjunto los siguientes: 1. Nmeros Pares: Un nmero a Z es par si puede escribirse como a = 2k, en donde K Z. EJEMPLO 1. 10 es par porque 10 = 2 x (5), siendo K = 5 y 5 Z 2. Nmeros Impares: Un nmero b Z, se dice impar si puede escribirse como b = 2k 1 siendo K Z. EJEMPLO 2. -23 es impar, porque -23 = 2 x (-12) + 1, siendo k = -12 y -12 Z. 3. Nmeros Primos: Un nmero p Z es primo, si sus nicos divisores 1 y p. EJEMPLO 1. El nmero 5 es primo, porque tiene cuatro divisores que son: 1 y 5. EJEMPLO 2. El nmero -29 es primo, porque tiene cuatro divisores que son: 1 y 29. Los nicos nmeros primos que son pares son el 2 y el -2, los dems son impares. NMEROS RACIONALES: Un nmero se define Racional si se puede expresar de la forma (p/q) , en donde tanto p como q son nmeros enteros, con la restriccin de que q sea diferente de cero (q 0) Los racionales se denotan por la letra mayscula Q. EJEMPLO: Son nmeros racionales (10/3) (-50/7); y todos los nmeros enteros Z. Se deriva de todo lo anterior que: N Z Q.

Se clasifica dentro de los nmeros racionales, las siguientes expresiones: 1. Expresiones Decimales Exactas. Son aquellas que tienen un nmero finito de cifras decimales, tales como 0.6032; 10.25; -18.36; 2. Expresiones Decimales Peridicas Puras. Son aquellas que son peridicas en su parte decimal. La cantidad de cifras que se repiten por perodo, puede ser de una, dos, tres o ms. EJEMPLO: 1.3333.3 Q, se escribe abreviadamente como 1.3333.3 = 1.3 _ -4.323232.32 Q, y -4.32323232 = 4.32 La notacin indica que 32 es el perodo de cifras que se repite. 3. Expresiones Decimales Peridicas Mixtas. Se caracterizan porque despus del punto que expresa la parte decimal, existe un nmero de cifras que no vuelve a repetirse. EJEMPLO: 8.3254444 Q, y 8.3254444.. = 8.3254 Como en el caso anterior, as se indica de una forma abreviada, el nmero de cifras que se repiten peridicamente Nmeros Irracionales Q` Estos nmeros no son representados como nmeros racionales y si se representan en su expansin decimal, se distinguen de los nmeros racionales porque su expansin decimal no es peridica 1. 2 = 1.414213562 2. 3 = 1.732050808

3. = 3.141592654 4. e = 2.718281828 Los nmeros REALES son los racionales con los irracionales Los nmeros reales R, es un conjunto: 1. Infinito, porque no tiene primero ni ltimo elemento. 2. Denso, porque entre dos nmeros reales hay infinitos nmeros reales. Ejemplo: Entre 1 y 2 hay infinitos nmeros reales. De la definicin de los nmeros reales se llega a la siguiente afirmacin: N Z Q R y como R = Q Q`, entonces Q` R. OPERACIONES CON NMEROS REALES Algunas propiedades de los nmeros reales son: Si a, b y c R, entonces,

Propiedades de orden de los nmeros reales El concepto de orden se indica en la siguiente definicin. Definicin 1. Los smbolos < (menor que) y > (mayor que) se definen como sigue: a) El nmero real a es menor que el nmero real b, y se escribe como: a<b si b-a es un nmero positivo. b) El nmero real a es mayor que el nmero real b, y se escribe como: a>b si a-b es un nmero positivo. Definicin 2. Los smbolos menor o igual que y mayor o igual que se definen por: a) a b si y slo si a < b o a = b. b) a b si y slo si a > b o a = b. Observacin 1. A las expresiones: a < b, a > b, a b y a b , se les llama desigualdades. Propiedades de orden Para cualquier nmero real a, b y c se cumple que: a) Si a<b y b<c, entonces a<c. b) Si a<b entonces a+c<b+c. c) Si a<b y c es positiva (c>0), entonces ac<bc. d) Si a<b y c es negativa (c<0), entonces ac>bc. Observacin 4. Estas propiedades tambin se cumplen para los smbolos: >, y 3.3. Valor Absoluto

Definicin. El valor absoluto de un nmero real x , es denotado por: x y se define como: a) |x| = x si x 0. b) |-x| = x si x < 0.

Intervalos Supongamos que se tienen los conjuntos: A 1 = {x |0 x 3.} A 2 = {x |0 < x < 3}. A 3 = {x| 0 x < 3} A 4 ={ x| 0 < x 3} Observemos que difieren entre si, dado que por ejemplo en el primero se incluyen los extremos que son el 0 y el 3, y en segundo conjunto ya no se incluyen los extremos, es decir, en unos conjuntos se consideran los extremos y en otros no. Grfica, nombre y notacin para cada uno de los conjuntos indicados Al conjunto A1 se le llama intervalo cerrado, es decir, contiene todos los nmeros que estn entre 0 y 3. Tambin contiene los extremos, siendo estos el 0 y el 3. Su notacin es: x [0,3]

Al conjunto A2 se le llama intervalo abierto, contiene todos los nmeros que estn entre 0 y 3, no contiene los extremos. Su notacin es: x (0,3) Al conjunto A3 se le llama intervalo cerrado-abierto, contiene todos los valores que estn entre 0 y 3, contiene el 0 y no contiene el 3. Su notacin es: x [0,3) Al conjunto A4 se le llama intervalo abierto-cerrado, contiene todos los valores que estn entre 0 y 3, no contiene el 0 y contiene el 3. Su notacin es: x (0,3] DESIGUALDADES una desigualdad es una relacin de orden que se da entre dos valores cuando estos son distintos las propiedades de orden: Si a, b y c son nmeros reales, entonces:

1) Si a<b y b<c, entonces a<c. 2) Si a<b, entonces a+c<b+c. 3) Si a<b y c>0, entonces ac<bc. 4) Si a<b y c<0, entonces ac>bc. cuando se multiplica o divide por un nmero negativo, el signo de desigualdad cambia . Resolver6x 4 < 3x 7 aplicar la propiedad 2 y la propiedad 3, se tiene lo siguiente:

4x + 10 7x 4

Solucin:

TALLER 1. LGICA Y PENSAMIENTO MATEMTICO 1 Construir la tabla d verdad (p q) ^(p v q) 2. Construir la tabla d verdad

)]. s tautologa. Contradiccin o contingencia

[(pq) r] [ p(pr)]. s tautologa. Contradiccin o contingencia

3. Resolver las desigualdades que se dan: