FUNDAMENTOS DE ALGEBRA

Para iniciarse en el estudio del lgebra, es importante utilizar principios bsicos de la aritmtica. Saber sumar, restar, multiplicar, divididir, potenciar y obtener raices cuadrticas; utilizar los signos adecuadamente y comprender por lo menos, los axiomas de las propiedades de los nmeros reales. As, el Algebra se define como el uso ms general de la aritmtrica. Partimos, de saber leer las expresiones algebraicas. Por ejemplo: un numero........................lo escribimos......................... x la suma de dos nmeros............................................... a+b el producto de tres nmeros .........................................abc el cociente de dos nmeros ...........................................x / y

Cada uno de los resultados de las operaciones bsicas de la aritmtica, tiene un nombre, con el cual sabemos como escribirlo en una expresin algebrica. Entendemos entonces, que cuando operamos ms de una expresin algebrica con otra similar o diferente, tratamos cada uno de sus miembros individualmente. Definimos entonces TERMINO, como la unidad ms pequea de una expresin algebrica. Y cada termino, consta de un coeficiente, una literal y un exponente. Ejemplo: Todas las operaciones bsicas de aritmtica tambin son utilizadas en el lgebra, con algunos distintivos. Cuando sumamos dos o ms trminos, cuidamos que estos trminos sean semejantes. Dos terminos son semejantes, si tienen la misma literal y el mismo exponente. Por ejemplo:

Ntese, los trminos semejantes estn de rojo; y cuando operamos los sumandos estos son los coeficientes. Importante: Fgese lo que sucede con los signos. Nota: los exponentes y las literales no cambian.

SUMA DE POLINIMIOS
EJEMPLO 1: (Suma de polinomios de igual grado) A = - 3x2 + 2x4 - 8 - x3 + 1/2 x B = -5x4 - 10 + 3x + 7x3 2x4 - x3 - 3x2 + 1/2 x - 8 + -5x4 + 7x3 + 0x2 + 3x - 10 (el polinomio B ordenado y completo) ______________________________ -3x4 + 6x3 - 3x2 + 7/2 x - 18 (el polinomio A ordenado y completo)

A + B = -3x4 + 6x3 - 3x2 + 7/2 x - 18 Para sumar dos polinomios, hay que sumar entre s los coeficientes de los trminos del mismo grado El resultado de sumar dos trminos del mismo grado, es otro trmino del mismo grado. Si falta algn trmino de alguno de los grados, se puede completar con 0, como en el ejemplo en el segundo polinomio se complet con 0x2. Y se los suele ordenar de mayor a menor grado, para que en cada columna queden los trminos de igual grado. Tambin se los puede sumar de otra forma (sin ponerlos uno sobre otro), y en la EXPLICACIN de cada ejercicio lo mostrar resuelto de las dos maneras. EXPLICACIN DEL EJEMPLO 1 EJEMPLO 2: (Suma de polinomios de distinto grado) A = -3x2 + 5x - 4 B = 4x3 - 5x2 + 2x + 1 0x3 - 3x2 + 5x - 4 + 4x3 - 5x2 + 2x + 1 (el polinomio B ordenado y completo) ____________________ 4x3 - 8x2 + 7x - 3 A + B = 4x3 - 8x2 + 7x - 3 En el polinomio de menor grado, se pueden completar los primeros trminos con ceros. As, se rellenan las columnas que faltan adelante de uno de los polinomios, para que quede encolumnado trmino a trmino con el otro polinomio. EXPLICACIN DEL EJEMPLO 2 (grado 2) (grado 3) (el polinomio A ordenado y completo)

EJEMPLO A B

3: = =

(Uno 9

de

los + 4x2 -

trminos

del 5x3 3

resultado 4x2 + -

es

cero) x 2x

5x3 + 0x3 + ____________________ 5x3 +

4x2 0x2 -

4x2 + 2x x

x +

9 3 6

= 5x3 -

La suma de los trminos de grado 2 di 0x2. Luego, en el resultado final ya no se ponen los trminos con coeficiente cero.

RESTA DE POLINOMIOS
La resta de polinomios consiste en sumar al minuendo el opuesto del sustraendo. P(x) Q(x) = (2x3 + 5x - 3) (2x3 - 3x2 + 4x) P(x) Q(x) = 2x3 + 5x - 3 2x3 + 3x2 4x P(x) Q(x) = 2x3 2x3 + 3x2 + 5x 4x - 3 P(x) Q(x) = 3x2 + x - 3 Tambin podemos restar polinomios escribiendo el opuesto de uno debajo del otro, de forma que los monomios semejantes queden en columnas y se puedan sumar. P(x) = 7x4 + 4x2 + 7x + 2 Q(x) = 6x3 + 8x +3

MULTIPLICACIN DE POLINOMIOS.
Para multiplicar polinmios recordemos que utilizamos la propiedad distributiva. Cada uno de los terminos de un polinomio se multiplica por cada uno de los terminos del otro. Ejemplo: Para realizar esta operacin, es bsico conocer las leyes de los exponentes. En este caso, para la multiplicacin los exponentes se suman y los coeficientes se multiplican. Podemos notar, que los exponentes se suman y los coeficientes se multiplican (en rojo). Luego, como toda multiplicacin aritmtica, se suman los semiproductos (en rojo), dando como resultado el producto final (en azl). Ahora, una divisin algebrica es similar a una divisin aritmrtica. El nico variante que hay entre la operacin aritmtica y algebrica es que la divisin algebrica cuidamos el orden en que colocamos cada uno los trminos asociados al cociente, a los subproductos y al residuo. Aqu un elemplo:

Iniciamos. Tomamos del dividendo el trmino con mayor exponente y lo dividimos entre el termino de mayor exponente del divisor. as:

Ahora, colocamos este cociente intermedio sobre la casita, sobre las x cuadradas, en ese orden. Y multiplicamos al divisor por este resultado. El producto de la multiplicacin lo colocamos debajo del polinomio dividendo, cambindole de signo y realizamos la resta como sigue:

Una vez que realizaste la resta (el resultado en negro), procedes a bajar el siguiente trmino y continuar con la divisin, repitiendo los mismos pasos hasta terminar tu divisin.

POLINOMIO POR POLINOMIO

1. Multiplicacin de un nmero por un polinomio Es otro polinomio que tiene de grado el mismo del polinomio y como coeficientes el producto de los coeficientes del polinomio por el nmero y dejando las mismas partes literales. Ejemplo: 3 (2x3 3x2 + 4x 2) = 6x3 9x2 + 12x 6 2. Multiplicacin de un monomio por un polinomio Se multiplica el monomio por todos y cada uno de los monomios que forman el polinomio. Ejemplo: 3x2 (2x3 3x2 + 4x 2) = = 6x5 9x4 + 12x3 6x2 3. Multiplicacin de polinomios Este tipo de operaciones se puede llevar a cabo de dos formas distitnas. Mira la demostracin con el siguiente ejemplo: P(x) = 2x2 3 Q(x) = 2x3 3x2 + 4x OPCIN 1 1 Se multiplica cada monomio del primer polinomio por todos los elementos del segundo polinomio. P(x) Q(x) = (2x2 3) (2x3 3x2 + 4x) = = 4x5 6x4 + 8x3 6x3+ 9x2 12x = 2 Se suman los monomios del mismo grado. = 4x5 6x4 + 2x3 + 9x2 12x 3 Se obtiene otro polinomio cuyo grado es la suma de los grados de los polinomios que se multiplican. Grado del polinomio = Grado de P(x) + Grado de Q(x) = 2 + 3 = 5
OPCIN 2

PRODUCTOS NOTABLES
Productos notables es el nombre que reciben multiplicaciones con expresiones algebraicas que cumplen ciertas reglas fijas, cuyo resultado se puede escribir mediante simple inspeccin, sin verificar la multiplicacin. Su aplicacin simplifica y sistematiza laresolucin de muchas multiplicaciones habituales. Cada producto notable corresponde a una frmula de factorizacin. Por ejemplo, la factorizacin de una diferencia de cuadrados perfectos es un producto de dos binomios conjugados, y recprocamente. Factor comn

Representacin grfica de la regla defactor comn. Forma un gnomon. El resultado de multiplicar un binomio por un trmino se obtiene aplicando lapropiedad distributiva: Para esta operacin existe una interpretacin geomtrica, ilustrada en la figura adjunta. El rea del rectngulo es (el producto de la base por la altura), que tambin puede obtenerse como la suma de las dos reas coloreadas: y Ejemplo: Cuadrado de un binomio

Ilustracin grfica del binomio al cuadrado. Para elevar un binomio al cuadrado (es decir, multiplicarlo por s mismo), se suman los cuadrados de cada trmino con el doble del producto de ellos. As: Un trinomio de la expresin siguiente: se conoce como trinomio cuadrado perfecto. Cuando el segundo trmino es negativo, la igualdad que se obtiene es: En ambos casos el signo del tercer trmino es siempre positivo.

Ejemplo: Simplificando: Producto de dos binomios con un trmino comn

Ilustracin grfica del producto de binomios con un trmino comn. Para resolver un binomio con trmino comn se tiene que identificar el trmino comn: en este caso X, la cual se eleva al cuadrado, mas la suma de los no comunes: (a)(b) el resultado se multiplica por X mas la multiplicacin de no los comunes: Ejemplo: Agrupando trminos: Luego: Producto de un binomio conjugado Vase tambin: Conjugado (matemtica)

Producto de binomios conjugados. Dos binomios conjugados se diferencian slo en el signo de la operacin. Para su multiplicacin basta elevar los monomios al cuadrado y restarlos (obviamente, un trmino conserva el signo negativo), con lo cual se obtiene una diferencia de cuadrados. Ejemplo:

Agrupando trminos: A este producto notable tambin se le conoce como suma por la diferencia.

TRIANGULO DE PASCAL
Tringulo de Pascal para n=10. En matemtica, el tringulo de Pascal es una representacin de los coeficientes binomiales ordenados en forma triangular. Es llamado as en honor al matemtico francsBlaise Pascal, quien introdujo esta notacin en 1654, en su Trait du triangle arithmtique.

Si bien las propiedades y aplicaciones del tringulo fueron conocidas con anterioridad al tratado de Pascal por matemticos indios, chinos o persas, fue Pascal quien desarroll muchas de sus aplicaciones y el primero en organizar la informacin de manera conjunta. 2 La construccin del tringulo est relacionada con los coeficientes binomiales segn la

frmula

(tambin

llamada Regla

de

Pascal).

Si

entonces para todo entero positivo n y todo entero positivo k entre 0 y n.3 El tringulo de Pascal se puede generalizar a dimensiones mayores. La versin de tres dimensiones se llama pirmide de Pascal o tetraedro de Pascal, mientras que las versiones ms generales son llamadas simplex de Pascal. Historia

Tringulo aritmtico chino. La primera representacin explcita de un tringulo de coeficientes binomiales data del siglo X, en los comentarios de los Chandas Shastra, un libro antiguo indio de prosodia del snscritoescrito por Pingala alrededor del ao 200 a.C.4 Las propiedades del tringulo fueron discutidas por los matemticos persas AlKaraji (9531029)5 y Omar Khayym (10481131); de aqu que en Irn sea conocido como el tringulo Khayyam-Pascal o simplemente el tringulo Khayyam. Se conocan tambin muchos teoremas relacionados, incluyendo el teorema del binomio. En China, este tringulo era conocido desde el siglo XI por el matemtico chino Jia Xian (10101070). En el siglo XIII, Yang Hui (12381298) presenta el tringulo aritmtico, equivalente al tringulo de Pascal, de aqu que en China se le llame tringulo de Yang Hui.6 7 8 9 Petrus Apianus (14951552) public el tringulo en el frontispicio de su libro sobre clculos comerciales Rechnung10 (1527). Este es el primer registro del tringulo en Europa. En Italia, se le conoce como el tringulo de Tartaglia, en honor al algebrista italiano Niccol Fontana Tartaglia (150077). Tambin fue estudiado por Michael Stifel (1486 - 1567)11 y Franois Vite(1540-1603). En el Trait du triangle arithmtique (Tratado del tringulo aritmtico) publicado en 1654, Blaise Pascal rene varios resultados ya conocidos sobre el tringulo, y los emplea para resolver problemas ligados a la teora de la probabilidad; demuestra 19 de sus propiedades, deducidas en parte de la definicin combinatoria de los coeficientes. Algunas de estas propiedades eran ya conocidas y admitidas, pero sin demostracin. Para demostrarlas, Pascal pone en prctica una versin acabada de induccin matemtica. Demuestra la relacin entre el tringulo y la frmula del binomio. Fue bautizado Tringulo de Pascal por Pierre Raymond de Montmort (1708) quien lo llam: Tabla del Sr. Pascal para las combinaciones, y por Abraham de Moivre (1730) quien lo llam: "Triangulum Arithmeticum PASCALIANUM" (del latn: "Tringulo aritmtico de Pascal"), que se convirti en el nombre occidental moderno.

Construccin del tringulo de Pascal. El tringulo de Pascal se construye de la siguiente manera: se comienza en el nmero 1 centrado en la parte superior; despus se escriben una serie de nmeros en las casillas situadas en sentido diagonal descendente, a ambos lados, del siguiente modo: se

suman las parejas de cifras situadas horizontalmente (1 + 1), y el resultado (2) se escribe debajo de dichas casillas; el proceso contina escribiendo en las casillas inferiores la suma de las dos cifras situadas sobre ellas (1 + 2 = 3), etc. De manera general, esto se cumple as debido a la regla de Pascal, que indica que para todo entero positivo n y todo entero positivo kentre 0 y n. En la ilustracin, en la ltima fila, la cifra 4 cuyas casillas situadas sobre ella corresponden a las cifras 1 y 3, se cumple que , para la cifra 6 se cumple y para la ltima cifra 4 de igual manera, se cumple propiedad para las dems filas. ;

Cada nmero en el tringulo es la suma de los dos que estn situados por encima de l. Por lo tanto, todas los cifras escritas en cada fila del tringulo, corresponden a los coeficientes del desarrollo binomial de la potencia de una suma

Vnculo entre el tringulo de Pascal y el binomio de Newton La expresin que proporciona las potencias de una suma de Newton. se denomina binomio

(1) En esta expresin, lo nico que se desconoce son los coeficientes de los monomios, de manera que la relacin con el tringulo de Pascal es la siguiente: Los coeficientes de la forma desarrollada de (a + b)n se encuentran en la lnea n + 1 del Tringulo de Pascal. Se puede generalizar este resultado para cualquier valor de n N por induccin matemtica. Propiedades del tringulo de Pascal

Tringulo de Pascal con algunas casillas coloreadas. Se puede observar como se distribuyen los valores simtricamente alrededor del eje vertical. Los valores de las casillas de ambos lados (en amarillo, verde y rojo) tienen igual valor, debido a la propiedad de simetra . Los casillas exteriores, (en azul) tienen valor nulo y las casillas en violeta proporcionan un ejemplo de la regla de Pascal.

Cada uno de los valores de un tringulo de Pascal escritos en forma de tabla corresponden a un coeficiente de la expansin de una potencia de sumas.

Concretamente, el nmero en la lnea n y la columna p corresponde a , o tambin denotado como ( por "combinacin") y se dice n sobre p, combinacin de n en p o coeficiente binomial n, p. Las casillas vacas corresponden a valores nulos. Usando las propiedades de los coeficientes binomiales, se pueden obtener las siguientes propiedades de cualquier tringulo de Pascal con todo rigor: Los valores de cada fila del tringulo guardan simetra respecto al eje vertical imaginario

del mismo, debido a que Los valores correspondientes a la zona fuera del tringulo tienen valor 0, puesto

que cuando p > n. Y claro, la regla de Pascal de construccin del tringulo da la relacin fundamental de los

coeficientes binomiales Una consecuencia interesante del tringulo de Pascal es que la suma de todos los valores de una fila cualquiera del tringulo es unapotencia de 2. Esto es debido a que, por el teorema del binomio, la expansin de la n-potencia de (1 + 1)n = 2n es

que corresponde precisamente con la suma de todos los valores de la n-sima fila de un tringulo de Pascal.

Otras representaciones del tringulo

Tringulo de Pascal en el escrito original de Pascal. La ilustracin al comienzo del artculo muestra el tringulo de Pascal dibujado como un tringulo equiltero. Es posible enderezarlo de tal forma que su dibujo quede como un tringulo rectngulo. De esta forma, a la izquierda queda una columna de nmeros 1. La siguiente columna deja un lugar vaco en la primera fila y sigue con la sucesin de nmeros naturales: 1, 2, 3, 4, ..., n, .... La tercera columna deja dos filas vacas y comienza con la sucesin matemtica de los nmeros triangulares: 1, 3, 6, 10, 15, .... Dibujado de esta manera es fcil ver que: Cada nmero en una columna cualquiera es igual a la suma parcial de los elementos de la columna anterior (a la izquierda) hasta la fila anterior en orden descendente. La tercera columna es la sucesin de los nmeros triangulares; la cuarta, la de los nmeros tetradricos; la quinta, la de los nmeros pentadricos, y as sucesivamente.

DIVISIN DE POLINOMIOS
La divisin algebraica es la operacin que consiste en hallar uno de los factores de un producto, que recibe el nombre de cociente dado el otro factor, llamado divisor, y el producto de ambos factores llamado dividendo. De la definicin anterior se deduce que el dividendo coincide con el producto del divisor por el cociente. As por ejemplo, si dividimos , se cumplir que

Si el residuo no fuera igual a cero, entonces:

Para efectuar una divisin algebraica hay que tener en cuenta los signos, los exponentes y los coeficientes de las cantidades que se dividen. (+)(+)=+ ()()=+ (+)()= ()(+)= Divisin de un monomio por otro Para dividir dos monomios se divide el coeficiente del dividiendo entre el coeficiente del divisor y a continuacin se escriben las letras ordenadas alfabticamente, elevando cada letra a un exponente igual a la diferencia entre el exponente que tiene en el dividendo y el exponente que tiene en el divisor. El signo del cociente ser el que corresponda al aplicar la regla de los signos. EJEMPLO: Dividir SOLUCIN: EJEMPLO: Dividir SOLUCIN: EJEMPLO: Dividir SOLUCIN: En ocasiones el cociente de dos monomios es fraccionario y, por consiguiente, la divisin propiamente dicha no puede efectuarse en los siguientes casos: a) Cuando una letra est elevada a un exponente menor al que se halla elevada dicha letra en el divisor. b) Cuando el divisor contiene alguna letra que no se halla en el dividendo. EJEMPLO:

Dividir

DIVISIN DE UN POLINOMIO POR UN MONOMIO Para dividir un polinomio por un monomio se divide cada uno de los trminos del polinomio por el monomio teniendo en cuenta la regla de los signos, y se suman los cocientes parciales as obtenidos. EJEMPLO: Dividir SOLUCIN: EJEMPLO: Dividir

SOLUCIN: EJEMPLO: Dividir

SOLUCIN: Divisin de un polinomio por un polinomio. Para dividir dos polinomios se procede de la manera siguiente: 1) Se ordena el dividendo y el divisor con respecto a una misma letra. 2) Se divide el primer trmino del dividendo entre el primer trmino del divisor, obtenindose as el primer trmino del cociente 3) Se multiplica el primer trmino del cociente por todo el divisor y el producto as obtenido se resta del dividendo, para lo cual se le cambia de signo y se escribe cada trmino de su semejante. En el caso de que algn trmino de este producto no tenga ningn trmino semejante en el dividendo, es escribe dicho trmino en el lugar que le corresponda de acuerdo con la ordenacin del dividendo y del divisor. 4) Se divide el primer trmino del resto entre el primer trmino del divisor, obtenindose de este modo el segundo trmino del cociente. 5) El segundo trmino del cociente se multiplica por todo el divisor y el producto as obtenido se resta del dividendo, cambindole todos los signos. 6) Se divide el primer trmino del segundo resto entre el primer trmino del divisor y se repiten las operaciones anteriores hasta obtener cero como resto. EJEMPLO: Dividir:

Para resolver la operacin anterior se procedi del modo siguiente: En primer lugar se han ordenado dividendo y divisor en orden ascendente con respecto a la letra y y en orden descendente con respecto a la letra x. A continuacin se ha dividido el primer trmino del dividendo, trmino del divisor, , obtenindose , entre el primer , por cada uno de los trminos del divisor,

obtenindose como resultado , que se escribe debajo de los trminos semejantes del dividendo cambiando los signos de todos los trminos semejantes, obtenindose como primer resto Despus se ha dividido entre segundo trmino del cociente. Multiplicando . obtenindose como cociente , que es el por todos los trminos del divisor que

se obtiene como resultado , que se escribe debajo de los trminos semejantes del primer resto cambiando los signos de todos sus trminos para efectuar la resta. A continuacin se ha procedido a efectuar la reduccin de trminos semejantes, obtenindose como segundo resto Finalmente Multiplicando se ha por dividido todos los entre trminos , obtenindose del divisor como se cociente . obtiene como

producto , que se escribe debajo de los trminos semejantes del segundo resto cambiando los signos de todos lo trminos para efectuar la resta. A continuacin se ha procedido a efectuar la reduccin de trminos semejantes, obtenindose como tercer resto 0, con lo cual queda acabada la divisin. EJEMPLO: Dividir:

SOLUCIN:

FACTORIZACIN
Para factorizar polinomios hay varios mtodos: Sacar factor comn: Es aplicar la propiedad distributiva de la multiplicacin respecto de la suma, As, la propiedad distributiva dice:

Pues bien, si nos piden factorizar la expresin distributiva y decir que

, basta aplicar la propiedad

Cuando nos piden sacar factor comn o simplemente factorizar y hay coeficientes con factores comunes, se saca el mximo comn divisor de dichos coeficientes. Por ejemplo, si nos piden factorizar la expresin , ser

donde 6 es el mximo comn divisor de 36, 12 y 18 Para comprobar si la factorizacin se ha hecho correctamente, basta efectuar la multiplicacin, aplicando la propiedad distributiva de la parte derecha de la igualdad, y nos tiene que dar la parte izquierda. Otro ejemplo: Factorizar Atencin a cuando sacamos un sumando completo!, dentro del parntesis hay que poner un uno. Tener en cuenta que si hubiramos puesto multiplico y me da que haber dado. Sin embargo si efecto Otros ejemplos: y quiero comprobar si est bien, pero no como me tendra

DESCOMPOSICION FACTORIAL.
La Factorizacin de nmeros enteros en nmeros primos o Descomposicin Factorial, consiste en expresar el nmero como un producto de factores primos. La Factorizacin se fundamenta en el Teorema de Factorizacin nica, que afirma que todo entero positivo se puede representar de forma nica como producto de factores primos. Por ejemplo, 42 = 2 x 3 x 7, y no hay ninguna otra factorizacin de 42 en nmeros primos, salvo en el orden de los factores, que no afecta en la multiplicacin por tener la propiedad conmutativa. Por este motivo se enuncia el Teorema como de Factorizacin nica. Para descomponer un nmero en producto de factores primos, procedemos de la siguiente manera: Escribimos el nmero a descomponer y a la derecha trazamos una lnea vertical. Buscamos el menor nmero primo, (2, 3, 5, 7 ...), por el que sea divisible el nmero. (Aplicamos los criterios de divisibilidad para saber si la divisin ser exacta o no). Dividimos el nmero por ese nmero primo. Colocamos el divisor (el nmero primo) en la parte superior derecha y el cociente debajo del primer nmero. Repetimos el proceso hasta que en la parte izquierda aparezca un 1, lo que nos indica que la descomposicin ha terminado. (Recordar que el nmero 1 es especial y no se considera primo ni compuesto).

Veamos algunos ejemplos de descomposicin factorial Factorizacin de 2310 Factorizacin 3150 de

2310 1155 385 77 11 1

2 3 5 7 11

3150 1575 525 175 35 7

2 3 3 5 5 7

<="" td="" style="border-bottom-style: none; 1 border-top-style: none;">

2310 = 2 x 3 x 5 x 7 x 11

3150 = 2 x 3 x 3 x 5 x 5x7 3150 = 2 x 32 x 52 x 7

A continuacin te facilitamos la posibilidad de saber cual es la descomposicin factorial de un nmero. Para ello, introduce el nmero que quieras en el recuadro y despus pulsa en "Factorizacin". Para saber la de otro nmero, repite el proceso.

FACTOR COMN.
Para comenzar, comparemos las multiplicaciones con los factores y veamos si podemos descubrir un patrn.

Usan la propiedad distributiva. Cuando multiplicamos, tenemos que: Cuando factorizamos .

Para factorizar un binomio, debemos hallar un factor (en este caso a) que sea comn a todos los trminos. El primer paso para tener una expresin completamente factorizada es seleccionar el mximo factor comn, . Aqu tenemos como hacerlo:

Mximo factor comn (MFC).- El trmino , es el MFC de un polinomio s: a es el mximo entero que divide cada uno de los coeficientes del polinomio, y n es el mnimo exponente de x en todos los trminos del polinomio. De este modo para factorizar , podramos escribir

Pero no est factorizado por completo por que puede factorizarse an ms. Aqu el mayor entero que divide a 16 y 8 es 6, y el mnimo exponente de x en todos los

trminos es Donde

. De esta manera la factorizacin completa es

es el MFC.

EJEMPLO: Factorizar EJEMPLO: Factorizar EJEMPLO:

Factorizar EJEMPLO:

Factorizar EJEMPLO:

Factorizar EJEMPLO:

Factorizar EJEMPLO:

Factorizar

DIFERENCIA DE CUADRADOS
Se le llama diferencia de cuadrados al binomio conformado por dos trminos a los que se les puede sacar raz cuadrada exacta. Al estudiar los productos notables tenamos que: En donde el resultado es una diferencia de cuadrados, para este captulo es el caso contrario: Donde siempre la diferencia de cuadrados es igual al producto de la suma por la diferencia de sus bases. Pasos: Se extrae la raz cuadrada de ambos trminos. Se multiplica la suma por la diferencia de estas cantidades (el segundo termino del binomio negativo es la raz del termino del binomio que es negativo). Ejemplo explicativo:

Ejemplos:

TRINOMIO CUADRADO PERFECTO

Se llama trinomio cuadrado perfecto al trinomio (polinomio de tres trminos) tal que, dos de sus trminos son cuadrados perfectos y el otro trmino es el doble producto de las bases de esos cuadrados.

En el trinomio cuadrado perfecto los trminos cuadrados son siempre positivos, en cambio el trmino del doble producto puede ser negativo; en este caso debe ser negativo uno de los trminos del binomio cuyo cuadrado es el trinomio dado, del ejemplo anterior tenemos:

Ambas son respuestas aceptables. Regla para conocer si un trinomio es cuadrado perfecto. Un trinomio ordenado con relacin a una letra es cuadrado perfecto cuando la primera y tercer letra son cuadrados perfectos (o tienen raz cuadrada exacta) y son positivos y el segundo termino es el doble producto de sus races cuadradas. Ejemplos:

TRINOMIOS CUADRATICOS

Esta es la factorizacin de un trinomio cuadrtico del tipo mas elemental. La regla para factor izar este tipo de expresiones consiste en lo siguiente: Se colocan dos parntesis.

En medio de cada parntesis se coloca el mismo signo que tiene el segundo termino (bx). Se buscan dos nmeros (h y k) que multiplicados (hk) nos den el tercer trmino (c), y que sumados (h+k) nos den el coeficiente numrico del segundo trmino (b). La primera posicin de cada factor determinado lo ocupara la raz cuadrada de la letra comn. La segunda posicin la ocuparan los trminos encontrados (h y k)

SUMA O DIFERENCIA DE CUBOS.

Recordamos de cocientes notables que:

Pero en la divisin exacta el dividendo es igual al divisor multiplicado por el cociente, efectundolo nos queda:

De donde se deducen las siguientes reglas: La suma de dos cubos perfectos se descompone en dos factores, el primero es la suma de sus races cbicas, y el segundo se compone de el cuadrado de la primera raz menos el producto de ambas races ms el cuadrado de la segunda raz. La diferencia de dos cubos perfectos se descompone en dos factores, el primero es la diferencia de sus races cbicas, y el segundo se compone de el cuadrado de la primera raz ms el producto de ambas races mas el cuadrado de la segunda raz. Ejemplo explicativo:

Ejemplos:

TEOREMA DEL FACTOR

En lgebra, el teorema del factor sirve para encontrar los factores de un polinomio (una expresin en la cual los trminos slo son sumados, sustrados o multiplicados, e.g. ). Es un caso especial del teorema del resto. El teorema del factor establece que un polinomio si es una raz de , es decir que . tiene un factor si y slo

Ejemplo Si se desea encontrar los factores de primer factor, . Si el resultado de sustituir

, para ello se podra tantear un en el polinomio es igual a 0, se sabe

que hay un factor. Es polinomio:

un factor? Para saberlo, se sustituye

en el

Cmo esta operacin da 18 (y no 0), As que ahora se prueba con Que da como resultado 0. Por tanto, y -1 es una raz de .

no es un factor de (sustituyendo en el polinomio):

, que es equivalente a .

, es un factor,

Las otras dos races se pueden encontrar dividiendo entre para obtener un polinomio de segundo grado, que se puede resolver de la siguiente manera adems el teorema del factor es muy factible para estos casos.

FRACCIONES ALGEBRAICAS.
Una fraccin algebraica es una expresin fraccionaria en la que numerador y denominador son polinomios. Son fracciones algebraicas:

Las fracciones algebraicas tienen un comportamiento similar a las fracciones numricas. El valor de una fraccin no se altera si se multiplican o dividen el numerador y denominador por una misma cantidad. Esta cantidad debe ser distinta de cero. Por ejemplo: Si se multiplica por x + 2 en su numerador y denominador resulta:

Se recomienda hacer las operaciones con calma y mucha concentracin ya que son frecuentes los errores de signos y los errores en el uso incorrecto de parntesis. Operaciones con fracciones algebraicas Simplificar fracciones algebraicas La simplificacin de fracciones algebraicas es objeto de frecuentes errores, pero se simplifican igual que las fracciones ordinarias: dividiendo el numerador y el denominador por factores comunes. Entonces, la clave est en el factor comn. Para simplificar al mximo habr que factorizar los polinomios numerador y denominador. Por ejemplo, simplificar:

Otro ejemplo, simplificar la fraccin

Primero, factorizamos los polinomios del numerador y del denominador, para quedar

Como vemos, simplificar (o reducir) una fraccin algebraica consiste en transformarla a otra equivalente cuya particularidad es ser irreductible (se puede simplificar slo hasta un cierto nivel). Suma y resta de fracciones algebraicas Para sumar y restar procederemos de forma similar a como lo hacemos con fracciones de nmeros enteros, reduciendo primero acomn denominador.

Igual como ocurre con las fracciones de nmeros enteros, la suma y resta de fracciones algebraicas puede ser con fracciones de igual denominador o de distinto denominador. Suma y resta de fracciones algebraicas con igual denominador Veamos el siguiente ejemplo de suma y resta:

Como el denominador es comn (x + 1), este se ha unificado en una sola fraccin, que ahora tiene como numerador a todas las cantidades que eran numeradores en las fracciones que estamos sumando y restando. Ntese que dichas cantidades se anotan entre parntesis cuando no son monomios, para no confundir luego los signos. Ahora sacamos los parntesis teniendo cuidado de cambiar el signo interior cuando delante del parntesis hay un signo menos (), y nos queda

Hicimos las operaciones posibles y llegamos al resultado. Suma y resta de fracciones algebraicas con distinto denominador Veamos el siguiente ejemplo:

Tal como lo hacamos al sumar o restar fracciones de nmeros enteros, utilizando el mnimo comn mltiplo (m.c.m.) las fracciones con distintos denominadores se transforman en fracciones equivalentes con denominador comn. Entonces, que debemos hacer: encontrar el m.c.m. de los denominadores, que llamaremos mnimo comn denominador (m.c.d.). Para calcular el m.c.m. factorizamos 5ab a2 15b2 a 2 5b a 15b a 2 5b 1 15b b 5 1 15b b 5 1 15 5 1 1 3 3 1 1 1 Multiplicamos los factores y queda a a b b 5 3 = a2 b2 15 que es lo mismo que 15a2b2 y es el mnimo comn denominador (m.c.d.) de las tres fracciones involucradas. Conocido el m.c.d. operamos con fracciones con denominador comn: Previamente, dividimos el denominador comn (15a2b2) por cada uno de los denominadores individuales, para conocer la cifra o valor que se multiplica por cada uno de los numeradores, y lo hacemos as:

Esta es la forma tradicional de operar cuando hemos hallado el m.c.d. Pero tambin hay otra, como la siguiente: Encontrado el m.c.d. (15a2b2) se multiplica cada fraccin (tanto numerador como denominador) por los trminos que faltan por completar dicho m.c.d., del modo siguiente:

Ntese que los trminos que faltan se obtienen haciendo la misma divisin del caso anterior. Un ejemplo ms: Sumar El m.c.m. de los denominadores, o mnimo comn denominador (m.c.d.) es x(x 3) Hacemos

Qu hicimos? Sumamos los numeradores dejando el mismo denominador y simplificamos el numerador: Producto (multiplicacin) de fracciones algebraicas Para multiplicar fracciones algebraicas procederemos igual como lo hacemos con fracciones, multiplicando los numeradores y los denominadores, aunque antes de multiplicar debemos simplificar, si se puede. Veamos qu significa esto: Sea una fraccin algebraica cualquiera que est multiplicada por otra ,

entonces: Veamos ahora ejemplos de multiplicacin (producto) de fracciones algebraicas Multiplicar

Anotamos la multiplicacin de los numeradores y de los denominadores:

Simplificamos antes de efectuar el producto:

Ahora, podemos multiplicar los factores finales:

Ejemplos desarrollados a)

b)

c) Importante: en los tres ejemplos anteriores (como en casi todos los casos) es preciso dominar la factorizacin de productos notables. Cociente o divisin de fracciones algebraicas Para dividir fracciones algebraicas procederemos igual como lo hacemos con fracciones, haciendo el producto cruzado de numeradores y denominadores, aunque antes de multiplicar debemos simplificar, si se puede. Veamos, ahora qu significa esto: Sea una fraccin algebraica cualquiera que est dividida por otra , entonces:

Veamos ahora ejemplos de divisin (cociente) de fracciones algebraicas Dividir

Anotamos haciendo el producto cruzado:

Simplificamos y finalmente multiplicamos:

Ejemplos desarrollados

a)

b)

c) Nota: en ejercicios de este tipo es importante tener bien definida la lnea divisoria de las fracciones participantes. Si el ejercicio est bien expresado, la lnea divisoria principal es la que se halla frente al signo igual (=).

d) Fracciones algebraicas compuestas En los ltimos ejemplos nos encontramos con un tipo de fraccin algebraica especial: las fracciones compuestas.

Una fraccin algebraica compuesta contiene una o varias fracciones simples en el numerador y/o denominador. La operacin de reduccin de fracciones compuestas consiste en identificar y reducir las fracciones simples que la componen. Ejemplos:

1)

2)

3)

HISTORIA LOGICA MATEMATICA

Siglo XIX Previamente ya se hicieron algunos intentos de tratar las operaciones lgicas formales de una manera simblica por parte de algunos filsofos matemticos como Leibniz y Lambert, pero su labor permaneci desconocida y aislada. A partir de la segunda mitad del siglo XIX, la lgica sera revolucionada profundamente. En 1847, George Boole public un breve tratado titulado El anlisis matemtico de la lgica, y en 1854 otro ms importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lgica como un clculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemticas como la suma y la multiplicacin. Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lgica formal, donde introduce las leyes de De Morgan e intenta generalizar la nocin de silogismo. Otro importante contribuyente ingls fue John Venn, quien en 1881 public su libro Lgica Simblica, donde introdujo los famosos diagramas de Venn. Charles Sanders Peirce y Ernst Schrder tambin hicieron importantes contribuciones. Sin embargo, la verdadera revolucin de la lgica vino de la mano de Gottlob Frege, quien frecuentemente es considerado como el lgico ms importante de la historia, junto con Aristteles. En su trabajo de 1879, la Conceptografa, Frege ofrece por primera vez un sistema completo de lgica de predicados y clculo proposicional. Tambin desarrolla la idea de un lenguaje formal y define la nocin de prueba. Estas ideas constituyeron una base terica fundamental para el desarrollo de las computadoras y las ciencias de la computacin, entre otras cosas. Pese a esto, los contemporneos de Frege pasaron por

alto sus contribuciones, probablemente a causa de la complicada notacin que desarroll el autor. En 1893 y 1903, Frege publica en dos volmenes Las leyes de la aritmtica, donde intenta deducir toda la matemtica a partir de la lgica, en lo que se conoce como el proyecto logicista. Su sistema y su aplicacin a la teora de conjuntos, sin embargo, contena una contradiccin (la paradoja de Russell). Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. Siglo XX El siglo XX sera uno de enormes desarrollos en lgica. A partir del siglo XX, la lgica pas a estudiarse por su inters intrnseco, y no slo por sus virtudes como propedutica, por lo que estudi a niveles mucho ms abstractos. En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de la matemtica a partir de la lgica, evitando caer en las paradojas en las que cay Frege. Los autores reconocen el mrito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia mathematica tuvo un xito rotundo, y lleg a considerarse uno de los trabajos de no ficcin ms importantes e influyentes de todo el siglo XX. Principia mathematica utiliza una notacin inspirada en la de Giuseppe Peano, parte de la cual todava es muy utilizada hoy en da. En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo despus de los Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic Logic en donde propone un nuevo condicional ms adecuado para recoger el significado de la expresin "si... entonces" del lenguaje natural. Lewis lo llama implicacin estricta. El nuevo condicional requiere, para ser verdadero, una relacin ms fuerte entre el antecedente y el consecuente que el condicional clsico. En 1920 David Hilbert propuso de forma explcita un proyecto de investigacin (en metamatemtica, como se llam entonces) que acab siendo conocido como programa de Hilbert. Quera que la matemtica fuese formulada sobre unas bases slidas y completamente lgicas. El origen de los modelos abstractos de computacin se encuadra en los aos '30 (antes de que existieran los ordenadores modernos), en el trabajo de los lgicos Alonzo Church, Kurt Gdel, Stephen Kleene, Emil Leon Post, Haskell Curry y Alan Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el desarrollo terico como en abundantes aspectos de la prctica de la computacin; previendo incluso la existencia de ordenadores de propsito general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representacin de lenguajes por estructuras formales basados en reglas de produccin. La deduccin natural fue introducida por Gerhard Gentzen en su trabajo Investigaciones sobre la inferencia lgica (Untersuchungen ber das logische Schliessen), publicado en 1934-1935. En los aos 40 Alfred Tarski comenz a desarrollar junto a sus discpulos el lgebra relacional, en la que pueden expresarse tanto lateora axiomtica de conjuntos como la aritmtica de Peano. Tambin desarroll junto a sus discpulos las lgebras cilndricas, que son a la lgica de primer orden lo que el lgebra booleana a la lgica proposicional. En 1941 public en ingls uno de los manuales de lgica ms acreditados, Introduction to Logic and to the Methodology of Deductive Sciences. Noam Chomsky en 1956 propone una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formalesllamada jerarqua de Chomsky. Si bien a la luz de los sistemas contemporneos la lgica aristotlica puede parecer equivocada e incompleta, Jan ukasiewicz mostr que, a pesar de sus grandes dificultades, la lgica aristotlica era consistente, si bien haba que interpretarse como lgica de clases, lo cual no es pequea modificacin. Por ello la silogstica prcticamente no tiene uso actualmente. Adems de la lgica proposicional y la lgica de predicados, el siglo XX vio el desarrollo de muchos otros sistemas lgicos; entre los que destacan las muchas lgicas modales.

EL METODO INDUCTIVO.

El Mtodo inductivo, cuando se emplea como instrumento de trabajo, es un procedimiento en el que, comenzando por los datos, se acaba llegando a la teora. Por tanto, se asciende de lo particular a lo general. La secuencia metodolgica propuesta por los inductivistas es la siguiente: 1. Observacin y registro de los hechos. 2. Anlisis de lo observado. 3. Establecimiento de definiciones claras de cada concepto obtenido. 4. Clasificacin de la informacin obtenida. 5. Formulacin de los enunciados universales inferidos del proceso de investigacin que se ha realizado. Siguiendo este mtodo, las investigaciones cientficas comienzan con la observacin de los hechos, siguen con la formulacin de leyes universales acerca de estos hechos por inferencia inductiva, y finalmente llegan de nuevo por medio de la induccin, a las teoras. La contrastacin emprica es el criterio de los inductivistas a la hora de evaluar una nueva teora. La teora es aceptada si se prueba empricamente o de lo contrario es rechazada. Este enfoque inductivo de la ciencia ha sido sustituido por el modelo hipottico-deductivo. Tal como manifiesta Blaug (1985, pg. 20)* Este enfoque inductivo de la cienciaempez a derrumbarse gradualmente en la segunda mitad del siglo XIX, bajo la influencia de los escritos de Ernst Mach, Henri Poincar y Pierre Duhem, y a principios de nuestro siglo empez a tomar una visin prcticamente opuesta en los trabajos del Crculo de Viena y de los pragmticos americanos, de lo que surgi el modelo hipotticodeductivo de explicacin cientfica. Actualmente es un mtodo superado y generalmente no aceptado en economa ni en el resto de las ciencias sociales. El inconveniente de este mtodo estriba en justificar como fiable y verdadero el conocimiento obtenido por induccin.

METODO DEDUCTIVO
En este mtodo se desciende de lo general a lo particular, de forma que partiendo de enunciados de carcter universal y utilizando instrumentos cientficos, se infieren enunciados particulares, pudiendo ser axiomtico-deductivo cuando las premisas de partida la constituyen axiomas (proposiciones no demostrables), o hipottico-deductivo si las premisas de partida son hiptesis contrastables. Cuando el cientfico comienza su trabajo en una teora y a partir de ella, aplicando razonamientos lgico-deductivos, acaba ampliando precisando o corrigiendo dicha teora, est utilizando lo que se llama el mtodo deductivo Pereda (1987, pg. 41)*. La elaboracin de una teora siguiendo el mtodo hipottico-deductivo, requiere un proceso que incluye una serie de etapas: 1. Proceso de induccin para la obtencin de un resumen descriptivo de los hechos observados. 2. Proceso de deduccin en el que se generalizan las descripciones y explicaciones inducidas para tratar de aplicarlas a situaciones y hechos an no observados. 3. Las hiptesis deducidas de la etapa anterior han de ser sometidas a comprobacin emprica. 4. Las hiptesis que son validadas empricamente se organizan en unos principios generales, los cuales se pueden relacionar dando lugar a una teora. La teora a su vez, tendr que probarse a travs de nuevas observaciones empricas. La propugnacin del mtodo hipottico-deductivo como nico vlido en el campo de la ciencia y la primera formulacin corresponde a Carl Hempel y Peter Oppenheim. Para estos autores toda explicacin cientfica sigue una misma estructura lgica que incluye al menos una ley universal, ms una delimitacin de los condicionantes iniciales relevantes que en conjunto constituyen el explanans, o premisas de las cuales se deduce el explanandum, o afirmaciones acerca del fenmeno que se trata de explicar con la nica ayuda de las reglas de la lgica deductiva, Blaug (1985, pg. 20)*.

Dentro de esta lgica deductiva la explicacin implica las mismas reglas de inferencia lgica que la prediccin, con la diferencia de que la explicacin se produce despus de ocurridos los acontecimientos y para la explicacin es necesario saber acerca de la naturaleza de las variables y la determinacin de la variable causa y efecto. 10. EXPLICACIN Y PREDICCIN Dos objetivos fundamentales de la ciencia son: dar respuestas vlidas a preguntas significativas, as como realizar predicciones. Las explicaciones cientficas deben cumplir dos requisitos sistemticos: el de relevancia y el de contrastabilidad: A) La relevancia explicativa hace referencia a que debe referirse a hechos que sean significativos para el asunto que se considere. Por tanto, una explicacin no ser cientfica, si alude a hechos irrelevantes respecto de la cuestin a dilucidar. B) Las explicaciones se exige que puedan ser contrastadas empricamente, y por tanto, que exista la posibilidad de confirmarlas o refutarlas. Uno de los objetivos fundamentales de la elaboracin y contrastacin de hiptesis, leyes y teoras, es la explicacin de hechos y de sus pautas o regularidades. Establecemos relaciones entre variables, pero deseamos ir ms lejos, intentando descubrir los mecanismos que explican las relaciones. La explicacin de un hecho consiste en explicar una proposicin que describe el hecho. Se trata de una argumentacin lgica con proposiciones generales y particulares. Explicar un hecho, es insertar el hecho en un sistema de entidades interrelacionadas por leyes. En una investigacin cientfica, las explicaciones nos permiten profundizar en el conocimiento, descubriendo el por qu de los hechos y de sus relaciones. La ciencia trata de dar solucin a los interrogantes, a los problemas planteados. Las leyes y las teoras difieren en su grado de explicatividad, en su capacidad para dar respuesta a los problemas planteados: a) Profundidad. A medida que la ciencia progresa, las explicaciones suelen pasar de ser superficiales a un mayor grado de profundidad. La profundidad de la explicacin depender del nivel alcanzado en esa rama de la ciencia. Las teoras representacionales o de mecanismo suministran explicaciones ms profundas. b) Precisin. Algunas teoras brindan explicaciones ms exactas o ms acordes con la experiencia. c) Nmero de supuestos de la teora. Se prefiere la teora que subsume mayor nmero de leyes, y en consecuencia, incluya el menor nmero de supuestos. Supone explicar lo ms posible con el mnimo de especificaciones.

METODO ANALOGICO
El mtodo analgico es razonar por medio de analogas. Consiste en encontrar dos situaciones o sistemas que sean similares (o anlogos). Si sabes el resultado en uno de los sistemas, obtienes la conclusin de que en el otro sistema obtendrs el mismo resultado. Es un mtodo de pensamiento difcil, lleno de posibles falacias, pero muy usado en ciencia. Por ejemplo cuando los paleontlogos descubre un dinosaurio, miden su esqueleto y pueden saber, ms o menos cuanto pesaba, de qu se alimentaba, si era de sangre caliente, etc. Todo eso se obtiene por el mtodo analgico. Sabemos cunto pesamos, de que nos alimentamos, cual es el metabolismo de los animales que estn vivos ahora. Entonces suponemos que furamos del tamao de un dinosaurio y vemos cuanto pesaramos, que tanta comida necesitaramos para mantenernos, etc. Y as es como se sabe todo lo que se sabe sobre los dinosaurios. Los mtodos analgicos consisten en emplear relaciones de semejanza entre objetos diferentes para encontrar soluciones. El pensamiento analgico es el que, segn Christohper Jones en su obra "Mtodos de diseo", se sita en el hemisferio derecho del cerebro. El diseo es un ir y venir del pensamiento lgico, analtico, realista, reproductivo,

concreto (hemisferio izquierdo), al pensamiento analgico, sinttico, fantstico, creativo, mgico (hemisferio derecho). De esta forma podemos buscar relaciones entre dos objetos diferentes Hemos visto en clase que la analoga est en disposicin de toda persona desde la infancia. La analoga cartesiana consiste en proyectar un objeto que conoces en un campo que desconoces, sirvindote de todos tus recursos (imaginacin, entendimiento, etc) para encontrar todas las relaciones posibles entre dos objetos (Descartes). Es decir, hay que buscar los fundamentos de lo conocido para incluirlos en otros mbitos. Es lo que se llama en creatividad "flexibilidad", que es la capacidad de adaptarse rpidamente a las situaciones nuevas u obstculos imprevistos, acudiendo a nuestras anteriores experiencias y adaptndolas al nuevo entorno. En clase hicimos un anlisis funcional para entender los mtodos analgicos. Analizamos las funciones de un grifo. stas son abrir y cerrar, de tal manera que controlamos tres cosas: la cantidad de circulacin de fluidos, el tiempo, y el movimiento de los fluidos. Haciendo una analoga con los elementos podemos llegar a la conclusin de que la luz tambin puede ser regulada por un sistema biolgico (el ojo humano abre y cierra regulando la cantidad de luz) o un sistema mecnico (un obtulador de cmara). Con otro fluido como el gas podemos hacer lo mismo con un sistema biolgico (narz) o un sistema mecnico (vlvula). En cuanto al control del movimiento tambin encontramos analogas: los pies seran un sistema biolgico de movimiento y los coches seran un sistema mecnico. Mediante este anlisis funcional de un objeto hemos logrado encontrar analogas entre elementos tan dispares como un grifo, un ojo, un obtulador de cmara, una narz, una vlvula, unos pies y un coche. Otro mtodo analgico de asociaciones forzadas consiste en escoger dos objetos y obtener, por medio de la imaginacin y el pensamiento analgico, cierto nmero de diferencias o afinidades. En clase Giorgio De Marchis buscamos 15 afinidades entre coche y zapato y 15 diferencias entre mvil y aspiradora. Al principio nos basabamos en lo normal...tamao, funciones, caractersticas fsicas, etc. Pero luego fuimos viendo como las ltimas que se nos ocurrian eran cada vez ms originales. Otra forma de hacer esto es mediante la superposicin: 1. Se plantea de forma clara el problema. 2. Se buscan asociaciones, palabras del mismo campo semntico, similares, al problema. 3. Se escoge una palabra al azar y se buscan palabras relacionadas. 4. Se enlazan todas las palabras mediante una tabla. Mtodo antittico Los mtodos antitticos consisten en conseguir la liberacin mental mediante ejercicios que nos permitan despegarnos de las reglas establecidas social y personalmente. Es un concepto definido por Michael Foustier, y bsicamente consiste en utilizar la anttesis ("oposicin o contrariedad de dos juicios o afirmaciones), reconstruir, desmenuzar, ver una cosa desde un punto de vista distinto, utilizar la utopa incluso. Hay que partir de una actitud de duda para as poder cuestionarnos valores y creencias arraigadas, no para eliminarlas, sino para construir algo mejor. Una explicacin a todo esto la di el profesor Francisco Garca en clase: "inventar es empezar a hacer patente la fisionoma de este mundo, mostrar la figura de este mundo...no podemos inventar lo que no existe...lo que se opone a la invencin es lo que ya existe". Por lo tanto para inventar hay que basarse algo ya existente, y con ste tipo de mtodos lo que se hace es reconstruir algo existente hasta tal punto que en ciertos casos no parezca que tenga nada que ver. Uno de estos mtodos consiste en utilizar objetos para acciones para las cuales no estn diseados. Por ejemplo: Goma de borrar utilizada para hacer juegos de construccin, hacer un mosaico con gomas de distintos colores, moldearlas para hacer figuras, etc. Destornillador usado para hacer palanca, hacer agujeros, etc. Los mtodos antitticos consisten en conseguir la liberacin mental mediante ejercicios que nos permitan despegarnos de las reglas establecidas social y personalmente. Es un concepto definido por Michael Foustier, y bsicamente consiste en utilizar la anttesis ("oposicin o contrariedad de dos juicios o afirmaciones), reconstruir, desmenuzar, ver una cosa desde un punto de vista distinto, utilizar la utopa incluso. Hay que partir de una

actitud de duda para as poder cuestionarnos valores y creencias arraigadas, no para eliminarlas, sino para construir algo mejor. Una explicacin a todo esto la di el profesor Francisco Garca en clase: "inventar es empezar a hacer patente la fisionoma de este mundo, mostrar la figura de este mundo...no podemos inventar lo que no existe...lo que se opone a la invencin es lo que ya existe". Por lo tanto para inventar hay que basarse algo ya existente, y con ste tipo de mtodos lo que se hace es reconstruir algo existente hasta tal punto que en ciertos casos no parezca que tenga nada que ver. Uno de estos mtodos consiste en utilizar objetos para acciones para las cuales no estn diseados. Por ejemplo: Goma de borrar utilizada para hacer juegos de construccin, hacer un mosaico con gomas de distintos colores, moldearlas para hacer figuras, etc. Destornillador usado para hacer palanca, hacer agujeros, etc. Otro mtodo antittico sera el Brainstorming, desarrollado por Osborn. Es un ejercicio de creatividad en grupo que consiste en ir diciendo ideas o palabras al azar. Tiene varias fases: 1. Digamos que "el semforo est en verde", se dejan pasar todo tipo de ideas o palabras. 2. El semforo est en rojo, vamos analizando las cosas que se han dicho y se van seleccionando unas y rechazando otras. 3. El semforo vuelve a estar en verde, por lo tanto volvemos a dejar pasar ideas nuevas. 4. Semforo rojo, volvemos a filtrar y seleccionar lo dicho. Este proceso se puede repetir cuantas veces sea necesario hasta conseguir llegar a la idea que buscbamos (solucin a un problema, objeto creativo, idea original, etc). Osborn dice que "cantidad es calidad", ya que las ltimas ideas son las mejores. Existen ms mtodos antitticos como el de la inversin: invertir, quebrantar una funcin. Por ejemplo: un paraguas utilizado como baera, como parasol, como cesta, etc.

PROPOSICIN LGICA.
En filosofa y lgica, el trmino proposicin se usa para referirse a: Las entidades portadoras de los valores de verdad. Los objetos de las creencias y de otras actitudes proposicionales. El significado de las oraciones demostrativas, como el Sol es una estrella. Es un producto lgico del pensamiento que se expresa mediante el lenguaje, sea ste un lenguaje comn o formalizado, cuando adopta la forma de oracin gramatical, o simblico, cuando se expresa por medio de signos o smbolos de un lenguaje formal. En Lgica tradicional se distinguen la proposicin y el juicio, por cuanto la primera es el producto lgico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio. Para Aristteles, la proposicin es un discurso enunciativo perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio de trminos. Por eso el juicio es una afirmacin categrica, es decir, incondicionada porque representa adecuadamente la realidad. La lgica y otras ciencias Un enunciado lingstico (generalmente en la forma gramatical de una oracin enunciativa) puede ser considerado como proposicin lgica cuando es susceptible de poder ser verdadero o falso. Por ejemplo Es de noche puede ser Verdadero o Falso. Aunque existen lgicas polivalentes, en orden a la claridad del concepto, aqu consideramos nicamente el valor de Verdad o Falsedad. Se llama proposicin atmica, o simple, cuando hace referencia a un nico contenido de verdad o falsedad; vendra a ser equivalente a la oracin enunciativa simple en la lengua. Proposicin molecular cuando est constituida por varias proposiciones atmicas unidas por ciertas partculas llamadas "nexos o conectivas", que establecen relaciones sintcticas como funcin de coordinacin y subordinacin determinadas entre las proposiciones que la integran; tal ocurre en la funcin de las conjunciones en las oraciones compuestas de la lengua.

Proposicin, enunciado y creencia. Por proposicin (cursivas en el original) entenderemos el contenido comn de oraciones declarativas sinnimas. Segn este sentido, dos oraciones expresarn la misma proposicin si tienen el mismo significado. Otra interpretacin considera como una proposicin al conjunto de los mundos posibles en los que es verdadera, o una funcin de los mundos posibles en valores de verdad. Padilla Glvez, J. op. cit. p. 61 Llueve es un enunciado, lo mismo que It rains. Ambos enunciados expresan la misma proposicin lgica por cuanto ambos representan siempre el mismo valor de verdad, verdadero o falso en cualquier situacin, bien sea de verdad o de falsedad. 4 Tambin se distingue la proposicin de la creencia.5 Apreciar, percibir que llueve como acto interno del individuo fundamenta la creencia, con independencia de su expresin lingstica. Podramos de alguna forma considerarlo como pensamiento. Mirar por la ventana y constatar que llueve suscita una creencia de que est lloviendo, con independencia de que se exprese afirmndolo en un enunciado. Como proposicin, (independiente de las creencias y los pensamientos de cualquiera; con independencia del lenguaje o forma de expresin lingstica en el que se exprese el pensamiento, incluso de la realidad de que llueva o no llueva), a la lgica lo que le interesa es nicamente la funcin: poder ser verdadero o falso. Algunos filsofos, por eso, llegaron a pensar que la lgica habla de lo posible, lo que puede ser o no ser, o de mundos composibles, pero no de lo real. (Mundo = conjunto determinado de posibles compatibles en una unidad posible). La lgica se preocupa de las proposiciones; y estudia las formas vlidas segn las cuales a partir de la verdad o falsedad de una o varias proposiciones se pueda argumentar o inferir la verdad o falsedad de otras. Por eso la verdad lgica es una verdad formal, que no tiene contenido. Eso explica por qu puede establecer sus leyes y reglas de modo simblico, construyendo diversos clculos que puedan modelizar algunos contextos lingsticos o teoras cientficas, de forma semejante a las matemticas. Su elemento fundamental es la proposicin lgica y la definicin de las reglas que, tomadas como leyes lgicas, permiten la transformacin de unas expresiones bien formadas (EBF)s en otras equivalentes, como inferencias. Tengamos en cuenta que el clculo lgico basado en valor V y F, traducido como sistema binario a 1 y 0, es la base sobre la que se han construido las mquinas de clculo y los ordenadores o computadoras. Los enunciados y los juicios subjetivos son estudiados por otras ciencias. Proposicin atmica y molecular. En los casos anteriores hemos considerado nicamente la posibilidad de un enunciado atmico o simple, simbolizada con una sola variable. Estas proposiciones se llaman atmicas. Si establecemos conexiones lgicas entre varias proposiciones segn unas reglas perfectamente establecidas en sus elementos simblicos y definidas como funciones de verdad, construiremos proposiciones moleculares o compuestas. As la proposicin Si llueve entonces el suelo est mojado, enlaza la proposicin llueve con la proposicin el suelo est mojado, bajo el aspecto de funcin de verdad si entonces.. Proposicin lgica y valores de verdad El valor de verdad de una proposicin lgica atmica (o variable proposicional) es, por definicin, verdadero o falso (podemos representarlo como V o F). As el enunciado llueve es verdadero si y slo si est lloviendo en ese momento. Pero si dicho enunciado se considera como proposicin lgica atmica, p, entonces puede ser tanto verdadera como falsa. Es una verdad de hecho o contingente, porque tiene los dos posibles valores de verdad, por la propia definicin de proposicin lgica. El contenido de la relacin de un enunciado con lo real no es objeto de la lgica sino de otras ciencias.

Verdad de hecho o contingente, contradiccin y tautologa. El valor de verdad de una proposicin molecular puede ofrecer los siguientes casos: Que su valor dependa del valor de verdad de las proposiciones que la integran, segn las conexiones lgicas que las unen. En ese caso dicha proposicin tiene un valor de Verdad de hecho o contingente. Puede ser unas veces verdadera y otras veces falsa segn la verdad o falsedad de cada una de las proposiciones atmicas que la integran. El valor lgico V (verdad) de la proposicin llueve y hace calor, slo se dar en el caso de que las dos proposiciones llueve (p) y hace calor (q) sean tomadas en su valor de V; en los dems casos ser falsa. Sin embargo en la proposicin llueve o hace calor basta que una de las dos sea considerada en su valor de verdad V para que la proposicin molecular sea verdadera. La funcin y conjuntiva y la funcin o disyuntiva se definen en tablas de verdad, como funciones de verdad, functores o conectivas. Las dos proposiciones moleculares enunciadas ms arriba pueden ser verdaderas o falsas segn sean los valores que tomemos en consideracin en cada una de las proposiciones que la integran. Por eso ambas son contingentes. Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, como relaciones lgicas, siempre y necesariamente es falsa. Entonces esa proposicin es unacontradiccin. El valor de verdad de la proposicin llueve y no llueve es una contradiccin y siempre ser falsa, con independencia del valor que consideremos V o F de llueve (p) y de no llueve (p). La funcin de verdad no se define mediante una tabla de verdad. Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, siempre y necesariamente es verdadera. Entonces esa proposicin es una tautologa. El valor de verdad de la proposicin llueve o no llueve, es una tautologa y siempre ser verdadera con independencia de los valores que consideremos de llueve (p) o de no llueve (p). El anlisis del valor de verdad de una proposicin se realiza mediante las tablas de verdad. Las tautologas se constituyen como leyes lgicas o verdades formales y son la base sobre la que se construyen las reglas de inferencia en el razonamiento o clculo lgico

SIMBOLIZACIN DE PROPOSICIONES.
La sintaxis es una parte de la lgica que se interesa y ocupa de la estructura y composicin de las proposiciones. Las proposiciones y los vnculos entre ellas son considerados como un tipo de sistema matemtico. La lgica formal y la lgica simblica. La palabra lgica proviene del griego logos que significa idea, palabra, razn o razonamiento. Por tanto, podramos considerar el estudio de la lgica, como el estudio de los mtodos y principios utilizados para diferenciar un razonamiento correcto de otro incorrecto. El problema central de la lgica es establecer bajo qu condiciones un enunciado (proposicin) puede ser considerado como una conclusin derivada de otros enunciados (proposiciones) llamados premisas. En tal sentido la lgica se ocupa del estudio de los razonamientos o inferencias, considerados desde el punto de vista de su validez, lo que no debe confundirse con la verdad de las proposiciones que lo componen. De un lado aparece la verdad formal correspondiente a la validez del razonamiento y de otro lado la verdad material correspondiente a su contenido o materia. Puesto que la lgica slo se interesa por la verdad formal de los razonamientos, frecuentemente se le llama lgica formal y se orienta esencialmente a la investigacin

acerca del lenguaje, que analiza simplemente las estructuras de ste, prescindiendo de los contenidos concretos. El juicio Todo concepto significa algo, pero ningn concepto enuncia nada, porque enunciar es decir una cosa de otra y un concepto no puede hacer esto. Para conocer hacen falta otros instrumentos ms que las ideas. Con puros conceptos slo iniciamos el camino del conocimiento y avanzamos en l en la medida que nuestra mente junte o rena mediante una relacin dos o ms conceptos. Conocer es ver las cosas en la integridad de su ser. Por eso cuando slo se tienen conceptos como: Necesario, libro, caminar, no conozco todava. Para llegar a conocer las cosas, necesito otro instrumento que me signifique lo que las cosas son de hecho y de verdad y por tanto me garantice su existencia, la cual por ser acto escapa al universo de los simples conceptos. Esto es precisamente lo que hace el juicio. El juicio es el que utilizando los conceptos: placentero, fumar, necesario, no, algo, tabaco, me da a conocer que fumar tabaco no es algo necesario, sea placentero o no. Los conceptos fumar, necesario, etc. Por si solos no me daban conocimiento, porque no me decan si una cosa es (existe), ni lo que es y por tanto lo que es de hecho y de verdad. Los conceptos por si solos intervienen en el lenguaje sin alcance cognoscitivo y por lo tanto no son verdaderos ni falsos. Podrn ser adecuados o inadecuados, distintos o confusos, claros u oscuros pero verdaderos o falsos no. Entendemos entonces por juicio el acto de la inteligencia por el cual sta me une al afirmar o separa al negar, dos conceptos. En todo juicio hay dos ideas y una afirmacin o negacin. Dados los conceptos: hombre y mortal, nuestra mente acta sobre ellos y los une o separa, as: El hombre es mortal. El hombre no es mortal. Y observamos que el elemento esencial (formal) del juicio es precisamente esa unin o separacin, realizada a travs del verbo ser que se llama cpula. El juicio se expresa lgicamente por medio de una proposicin, ya sea empleando las palabras o expresiones de un lenguaje o utilizando smbolos matemticos. La lgica moderna ha preferido prescindir de los juicios y atenerse a las proposiciones. La proposicin Una proposicin se compone de dos trminos y el verbo ser (cpula). Por una proposicin entendemos: Toda expresin que tiene sentido y mediante la cual se afirma o niega algo que puede ser verdadero o falso. Las proposiciones son enunciados que en un contexto determinado o en una teora se pueden calificar como verdaderas o falsas. Las opiniones, preguntas, rdenes y exclamaciones no son consideradas proposiciones. Clases de Proposiciones. Toda proposicin tiene una cosa que se llama materia y otra que se llama forma. La materia de la proposicin la constituye los trminos (sujeto y predicado), mientras que la forma es la integracin de esos materiales a travs de la cpula. Desde el punto de vista de la lgica, el nico verbo que existe es el verbo ser. Para la lgica los otros verbos, lo

son, en cuanto contienen el verbo ser, por lo dems son atributos y se les llama verbos atributivos. Atendiendo tanto a la materia como a la forma, se puede clasificar a las proposiciones en dos grandes conjuntos: Proposiciones Simples o Atmicas y Proposiciones Compuestas o Moleculares. En cuanto a la forma la divisin es esencial, en cuanto a la materia es accidental. Proposiciones simples o atmicas son aquellas que comportan uno o varios sujetos (sujetos lgicos) y un predicado (predicado lgico) que afirma algo en torno a dichos sujetos. Proposiciones compuestas o moleculares son aquellas que comportan la combinacin de dos o ms proposiciones simples unidas por medio de un conectivo u operador proposicional. Representacin simblica de las proposiciones. Las proposiciones las simbolizamos con letras como p, r, r, s, t,, etc. y se llaman letras proposicionales o variables proposicionales. Operaciones Lgicas Operaciones Lgicas Negacin Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Condicional Bicondicional Conectivo lgico o trmino de No enlace . Y O O Si ..ent . onces si y slo si . Smbolo lgico u operador

Apartes tomado del texto Introduccin al Simbolismo Lgico de Hugo Guarn Vsquez.

VALOR DE VERDAD
En lgica, un valor de verdad es un valor que indica en qu medida una declaracin es verdad. Por ejemplo, el valor de verdad de la proposicin llueve y no llueve es una contradiccin y siempre ser falsa, con independencia del valor que consideremos V o F de llueve (p) y de no llueve (p). La funcin de verdad no se define mediante una tabla de verdad. Algebraicamente, el conjunto {verdadero, falso}, o funcin lgica, forma un lgebra booleana simple (subdirectamente irreducible). Otras lgebras booleanas se pueden utilizar como conjuntos de valores de verdad en lgicas multivaluadas, mientras que la lgica intuicionista generaliza las lgebras booleanas a lgebras de Heyting. En la teora de los topos, el clasificador de subobjetos de los topos toma el lugar del conjunto de valores de verdad. Esta nomenclatura est quizs ms de acuerdo con los usos que prevalecen en matemticas que con los de la filosofa.

CONECTIVOS LGICOS
En lgica, una conectiva lgica, o simplemente conectiva, es un smbolo que se utiliza para conectar dos frmulas bien formadas(atmicas o moleculares), de modo que el valor de verdad de la frmula compuesta depende del valor de verdad de las frmulas componentes. En programacin se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.

Las conectivas lgicas son, junto con los cuantificadores, las principales constantes lgicas de muchos sistemas lgicos, principalmente la lgica proposicional y la lgica de predicados. Conectivas Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un nico valor de verdad. En consecuencia, cada conectiva lgica puede ser definida mediante una tabla de valores de verdad que indique qu valor devuelve la conectiva para cada combinacin de valores de verdad. A continuacin hay una tabla con las conectivas ms usuales y su definicin mediante tablas de verdad: Ejempl Anlogo Ejemplo de uso en Conectiva Notacin o Tabla de verdad natural el lenguaje natural de uso Negacin no No est lloviendo.

Conjuncin

Est lloviendo y es de noche.

Disyuncin

Est lloviendo o es de noche.

Condicional material

si... Si est entonce lloviendo, entonces e s s de noche.

Bicondiciona l

si y slo Est lloviendo si y si slo si es de noche.

Negacin conjunta

ni... ni

Ni est lloviendo ni es de noche.

Disyuncin excluyente

O bien est o bien... lloviendo, o bien es o bien de noche.

Las conectivas por la tabla de verdad Dado que las conectivas son funciones de verdad, existirn tantas conectivas como funciones de verdad. Sin embargo, no todas las funciones de verdad tienen anlogos en el lenguaje natural, y en consecuencia, no todas son estudiadas con el mismo inters. A continuacin se incluye una tabla que lista las 16 conectivas binarias posibles.

Donde: 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16.

Tautologa Disyuncin lgica Condicional material inverso Proposicin Condicional material Proposicin Bicondicional Conjuncin lgica Negacin alternativa Disyuncin exclusiva Negacin lgica Negacin del condicional material Negacin lgica Negacin del condicional inverso Negacin conjunta Contradiccin

PROPOSICIONES LOGICAS
La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. La lgica proposicional trata con sistemas lgicos que carecen de cuantificadores, o variables interpretables como entidades. En lgica proposicional si bien no hay signos para variables de tipo entidad, s existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ah el nombre proposicional. La lgica proposicional incluye adems de variables interpretables como proposiciones simples signos para conectivas lgicas, por lo que dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples. Considrese el siguiente argumento:

Maana es mircoles o maana es jueves. Maana no es jueves. Por lo tanto, maana es mircoles. Es un argumento vlido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusin falsa. Esto no quiere decir que la conclusin sea verdadera. Si las premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas son verdaderas, entonces la conclusin tambin lo es. La validez de este argumento no se debe al significado de las expresiones maana es mircoles y maana es jueves, porque stas podran cambiarse por otras y el argumento permanecer vlido. Por ejemplo: Est soleado o est nublado. No est nublado. Por lo tanto, est soleado. En cambio, la validez de estos dos argumentos depende del significado de las expresiones o y no. Si alguna de estas expresiones se cambiara por otra, entonces podra ser que los argumentos dejaran de ser vlidos. Por ejemplo: Ni est soleado ni est nublado. No est nublado. Por lo tanto, est soleado. Las expresiones de las que depende la validez de los argumentos se llaman constantes lgicas. La lgica proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lgicas. En cuanto a las expresiones como "est nublado" o "maana es jueves", lo nico que importa de ellas es que tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intencin es simbolizar una expresin con valor de verdad cualquiera. A estas letras se las llama variables proposicionales, y en general se toman del alfabeto latino, empezando por la letra p, luego q, r, s, etc. As, los dos primeros argumentos de esta seccin podran reescribirse as: poq No q Por lo tanto, p Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as: Ni p ni q No q Por lo tanto, p Conectivas lgicas Artculo principal: Conectiva lgica A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los smbolos que se utilizan para representarlas en lenguaje formal. Expresin Smbolo en el en Smbolos Conectiva Ejemplo lenguaje este alternativos natural artculo Negacin Conjuncin Disyuncin Condicional material Bicondicional Negacin conjunta no y o si... entonces si y slo si ni... ni No est lloviendo. Est lloviendo y est nublado. Est lloviendo o est soleado. Si est de da. soleado, entonces es

Est nublado si y slo si hay nubes visibles. Ni est nublado. soleado ni est

Disyuncin o bien... o O bien est soleado, o excluyente bien bien est nublado. En la lgica proposicional, las conectivas lgicas se tratan como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de

verdad. Por ejemplo, la conectiva lgica no es una funcin que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la funcin no a una letra que represente una proposicin falsa, el resultado ser algo verdadero. Si es falso que est lloviendo, entonces ser verdadero que no est lloviendo. El significado de las conectivas lgicas no es nada ms que su comportamiento como funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir. Negacin Conjuncin Disyuncin Condicional Bicondicional

Leyes notables en lgica Entre las reglas de la lgica proposiconal clsica algunas de la ms notables son listadas a continuacin: Ley de doble negacin Leyes de idempotencia Leyes asociativas Leyes conmutativas Leyes distributivas Leyes de De Morgan Otras leyes como el principio del tercero excluido son admisibles en lgica clsica, pero en lgica intuicionista y con fines a sus aplicaciones matemticas no existe un equivalente del tercero excluido, por ejemplo. Lmites de la lgica proposicional La maquinaria de la lgica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, tambin existen argumentos que son intuitivamente vlidos, pero cuya validez no puede ser probada por la lgica proposicional. Por ejemplo, considrese el siguiente argumento: Todos los hombres son mortales. Scrates es un hombre. Por lo tanto, Scrates es mortal. Como este argumento no contiene ninguna de las conectivas no, y, o, etc., segn la lgica proposicional, su formalizacin ser la siguiente: p q Por lo tanto, r Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin de que el argumento es vlido. Para teorizar sobre la validez de este tipo de argumentos, se necesita investigar la estructura interna de las variables proposicionales. De esto se ocupa lalgica de primer orden. Otros sistemas formales permiten teorizar sobre otros tipos de argumentos. Por ejemplo la lgica de segundo orden, la lgica modal y la lgica temporal.

LA NEGACIN
La negacin es un operador que se ejecuta. sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin considerada.

Tabla de verdad de Negacin EJEMPLOS p: 4 + 4 es igual a 9 -p: 4 + 4 no es igual a 9 p: El 4 es un numero par -p: El 4 no es un numero par

CONJUNCIN

La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.

Tabla de verdad de la conjuncin p ^ q (se lee: p y q) EJEMPLOS: p = El numero 4 es par q = Siempre el residuo de los nmeros pares es 2 entonces p^q: El numero 4 es par y Siempre el residuo de los nmeros pares es 2 p = El numero mas grande es el 34 q = El triangulo tiene 3 lados entonces p^q: El numero mas grande es el 34 y El triangulo tiene 3 lados

LA DISYUNCIN
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

Tabla de verdad de la disyuncin p v q (se lee: p o q) EJEMPLOS: p = El numero 2 es par q = la suma de 2 + 2 es 4 entonces pvq: El numero 2 es par o la suma de 2 + 2 es 4 p = La raz cuadrada del 4 es 2 q = El numero 3 es par entonces pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

LA IMPLICACIN
Implicacin lgica La implicacin supone un contenido semntico adems de formal. Un sistema lgico se define como una estructura compuesta por un lenguaje formal junto con una relacin binaria de consecuencia semntica (o implicacin lgica) o una relacin binaria de consecuencia sintctica (derivabilidad), o ambas. La relacin de consecuencia semntica se define con respecto a una clase de estructuras y la relacin de consecuencia sintctica, con respecto a un sistema de pruebas.10 El clculo lgico formal sirve para establecer una relacin, o derivacin entre una condicin y su condicionado, o el establecimiento de una afirmacin hipottica. Si las premisas son verdaderas lo es tambin la conclusin. Cuando el clculo tiene una intencin argumentativa en su contenido semntico, entonces partimos de un contenido material afirmado como verdadero, cuya verdad es condicin necesaria de la verdad de lo condicionado en la conclusin, como implicacin. Normalmente el uso lgico del pensamiento es argumentativo en este sentido, y por ello esta distincin no tiene mayor importancia en la vida ordinaria, y suele confundirse con facilidad. La implicacin en la lgica actual Filn de Megara, hacia el 300 a. de C. estimaba el condicional tal como hoy da se define la funcin de condicional en las tablas de verdad. Diodoro de Cronos en la misma poca, no aceptaba ms que la condicin en el sentido de implicacin. Los escolsticos distinguieron entre proposicin formalmente hipottica, la condicin y materialmente hipottica, la implicacin, y as ha perdurado en la filosofa tradicional. En el siglo XIX Frege, Peirce, Russell y, en general los lgicos matemticos, aceptaron el sentido de Filn, mientras que Clarence Irving Lewis (1883-1964) ha defendido la postura de Diodoro. Para Lewis la implicacin como tal se refiere a la inferencia o prueba. La condicin formal, en cambio, nicamente muestra lo que ocurrira o podra ocurrir si una proposicin falsa fuera verdadera, lo que abre esta problemtica a la cuestin de la modalidad, (necesidad-contigencia, posibilidad-imposibilidad), especialmente estudiada por este autor, que ha dado lugar a la Lgica modal, de gran desarrollo actualmente. Un ejemplo explica bien lo que se quiere decir. El ejemplo antes citado "si esto que dices es verdad, yo soy el Papa de Roma" (A B), lo consideramos como una afirmacin con un contenido de verdad realmente dbil, y prcticamente sin sentido.

Sin embargo "si hubieras estado aqu, el asunto se habra resuelto" (A B), tiene la misma forma sintctica, pero su contenido semntico de verdad no es comparable al anterior. Si intentamos encontrar el sentido de verdad contenido en dicha afirmacin condicional, observamos: a) La afirmacin parte del conocimiento del contenido semntico falso del antecedente, lo que se manifiesta lingsticamente en el uso del modo subjuntivo. "Si hubieras estado" "no has estado". b) El consecuente es considerado dentro de un "mundo posible", que sabemos que no ha sido real, pero podemos pensar en l como posible: "Se habra resuelto" "habra sido posible que se resolviera". De la misma forma podemos expresar un contenido semntico de verdad basado en la necesidad, como en el caso del tringulo antes citado, o en la afirmacin de un deseo, la afirmacin de una prescripcin, etc. Tal es el campo de la modalidad y la lgica modal.

LA CONDICIONAL

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, yverdadero en cualquier otro caso. La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p q

Tabla de Verdad Condicional EJEMPLOS p: llueve q: hay nubes pq: si llueve entonces hay nubes p: Hoy es mircoles q: Maana ser jueves pq: Si Hoy es mircoles entonces Maana ser jueves

DOBLE IMPLICACION
El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.

Tabla de Verdad Bicondicional EJEMPLOS p: 10 es un nmero impar q: 6 es un nmero primo pq: 10 es un nmero impar si y solo si 6 es un nmero primo p: 3 + 2 = 7 q: 4 + 4 = 8 pq: 3 + 2 = 7 si y solo si 4 + 4 = 8

PROPOSICIONES COMPUESTAS.
Las proposiciones anteriores son todas, proposiciones simples. Para obtener proposiciones compuestas se deben ligar o combinar ms de una proposicin simple. Existen conectores u operadores lgicos que permiten formar proposiciones compuestas (formadas por varias proposiciones simples). Los operadores o conectores bsicos son: y, o, no, no o, no y, o exclusiva, no o exclusiva 2.1 Operador and (y) - Operacin Conjuncin Se utiliza para conectar dos proposiciones que se deben cumplir(ser verdaderas) para que se pueda obtener un resultado verdadero. Su smbolo es: { , un punto (.), un parntesis, o tambin, }. Se le conoce como la multiplicacin lgica(en la matemtica booleana): Algunos ejemplos son: 1. La proposicin "El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera" est formada por dos proposiciones simples: q y r q: Tiene gasolina el tanque. r: Tiene corriente la batera. Con p: El coche enciende. De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue: p=qr Su tabla de verdad es como sigue: .q 1 1 0 0 .r 1 0 1 0 .p = q r 1 0 0 0

Donde: 1 = verdadero 0 = falso En la tabla anterior el valor de q = 1 significa que el tanque tiene gasolina, r = 1 significa que la batera tiene corriente y p = q r = 1 significa que el coche puede encender. Se puede notar que si q o r valen cero implica que el auto no tiene gasolina o no tiene corriente la batera y que, por lo tanto, el carro no puede encender. 2. La ciudad x est en Francia y es su capital es una proposicin compuesta por las proposiciones simples: p: La ciudad x est en Francia. Qu es verdadera solo para todas las ciudades x que estn en Francia de lo contrario ser falsa y,

r: La ciudad x es capital de Francia. Qu es verdadera solo si x es Paris de lo contrario ser falsa Con ello la proposicin compuesta q: p r ser verdadera solo si x es Paris, de lo contrario ser falsa, como lo muestra la tabal correspondiente. .p 1 1 0 0 .r 1 0 1 0 .q = p r 1 0 0 0

El operador y en la teora de conjuntos equivale a la operacin de interseccin, por ello se le puede representar como lo muestra la figura No 1:

Figura No 1. p r Tambin tiene representacin circuital con interruptores ,como aparece en la figura 2. Si los dos interruptores estn cerrados(indicando verdadero o "1" lgico) la lmpara se enciende de lo contrario no.

Figura No 2 Circuito con interruptores que representa la funcin lgica Conjuncin(AND) pr Operador Or (o) Operacin Disyuncin Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se indica por medio de los siguientes smbolos: { ,+, }. Se conoce como las suma lgica en el lgebra Booleana. En trminos literales se comporta como y/o. Por ejemplo: 1. Sea el siguiente enunciado "Una persona puede entrar al cine si compra su boleto u obtiene un pase". Donde. p: Entra al cine. q: Compra su boleto. r: Obtiene un pase. La proposicin compuesta es p: q v r y la tabla de verdad representativa es: .q 1 1 0 .r 1 0 1 .p: q r 1 1 1

La nica manera en la que no puede ingresar al cine (p = 0), es que no compre su boleto (q = 0) y que, adems, no obtenga un pase (r = 0). 2. Con la proposicin m: Ir al estadio si juega Santa f o me invitan Compuesta por las proposiciones: p: Juega Santa F q: Me invitan al estadio Se obtiene la proposicin compuesta cuya notacin es: .m: p v q La tabla de verdad correspondiente es: .p 1 1 0 0 .q 1 0 1 0 .m: p q 1 1 1 0

En cualquier caso la operacin OR o la disyuncin se asimila a la operacin Unin entre conjuntos, por ello en diagrama de Venn se representa, as:

Figura No 3. Diagrama de Venn de una Disyuncin p n q Y en circuito de conmutacin, as:

Figura No 4. Representacin circuital de una disyuncin (OR) p v q de tal suerte que es suficiente con que uno de los dos interruptores este cerrado para obtener un "1" lgico, es decir, que la lmpara encienda. Operador Not (no) Operacin negacin Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador not se obtendr su complemento o negacin (falso). Este operador se indica por medio de los siguientes smbolos: {, ,- }. Por Ejemplo. Teniendo la proposicin : p: La capital de Francia es Paris (p = 1), su negacin ser : p: no es la capital de Francia Paris(p= 0) 2. Para p: 2x4 = 6 (p = 0) p: 2x4 6 (p = 1) .p p

1 0

0 1

Con 1 verdadero y 0 falso. Tambin, tiene expresin en la teora de conjuntos y es el denominado complemento, cuyo diagrama de Venn es:

Figura No 5. Diagrama de Venn Operador not - Negacin En trminos de circuito su representacin ser, como aparece en la figura No 6, Cuando se cierra p ("1" lgico) el led se apaga (falso o "0" lgico) y si p se abre ("0" lgico) el led se enciende (verdadero o "1" lgico).

Figura No 6. Representacin circuital de una negacin (NOT) p

NMEROS REALES
El conjunto de nmeros reales est formado por los nmeros racionales y los irracionales y se puede representar en una recta en la que se determinan un origen y una unidad, de modo que a cada nmero real le corresponde un nico punto de la recta, y a cada punto de la recta se le asigna un nico nmero real. La nocin de orden en el conjunto de los nmeros reales permite definir en la recta real los siguientes conjuntos numricos: Intervalo abierto de extremos a y b. Es el conjunto de nmero reales, cuyos elementos son mayores que a y menores que b: .

Intervalo cerrado de extremos a y b. Es el conjunto de nmero reales, cuyos elementos son mayores o iguales que a y menores o iguales queb: .

Intervalo semiabierto o semicerrado de extremos a y b. Observa en este caso, que solo est incluido uno de los extremos:

Pulsando el botn inicio te aparece un nuevo intervalo finito. Con el control conjuntos numricos puedes cambiar de intervalo. Si mueves el punto de color blanco, puedes ver los puntos que pertenecen a ese intervalo.

Con los controles a y b puedes mover los extremos de cada uno de los intervalos.

1.- En un intervalo cerrado, comprueba que contiene los extremos. 2.- En un intervalo abierto, comprueba que no contiene los extremos. 3.- En un intervalo sermiabierto o semicerrado, comprueba que solo contiene a uno de los extremos.

A parte los intevalos de extremos finitos descritos anterioremente, tenemos los intervalos en los que alguno de los extremos es infinito. Dichos intervalos son los conjuntos numricos , que se representan mediante semirectas en la recta real. : es el conjunto numrico de todos los nmeros reales x que son mayores que a, sin incluir a. : es el conjunto numrico de todos los nmeros reales x que son mayores o iguales que a, incluido a. : es el conjunto numrico de todos los nmeros reales x que son menores que a, sin incluir a. : es el conjunto numrico de todos los nmeros reales x que son menores o iguales que a, incluido a.

Pulsando el botn inicio te aparece un nuevo intervalo infinito. Con el control intervalo infinito puedes cambiar de intervalo. Si mueves el punto de color blanco, puedes ver los puntos que pertenecen a ese intervalo. Con el control a puedes mover el extremo de cada uno de los intervalos. 4.- En un intervalo infinito cerrado por la izquierda o por la derecha, comprueba que contiene al extremo a. 5.- En un intervalo infinito abierto por la izquierda o por la derecha, comprueba que no contiene al extremo a. 6.- Escribe en tu cuaderno el intervalo que te aparece y el conjunto de nmeros reales que representa la semirecta.

ADICIN
Propiedad conmutativa: si se altera el orden de los sumandos, no cambia el resultado: a+b=b+a. propiedad asociativa:

propiedad que establece que cuando se suman tres o ms nmeros reales, la suma siempre es la misma independientemente de su agrupamiento.2 un ejemplo es: a+(b+c) elemento neutro: 0. para cualquier opuesto nmero a, a + o 0 = inverso 0 + a = a. aditivo: = (a+b)+c.

elemento

para cualquier nmero entero, racional, real o complejo a, existe un nmero a tal que a + (a) = (a) + a = 0. este nmero a se denomina elemento opuesto, y es nico para cada a. no existe en algunos conjuntos, como el de los nmeros naturales. propiedad distributiva:

la suma de dos nmeros multiplicada por un tercer nmero es igual a la suma del producto de cada sumando multiplicado por el tercer nmero. por ejemplo, (6+3) * 4 = 6*4 + 3*4. propiedad de cerradura:

cuando se suman nmeros naturales el resultado es siempre un nmero natural. por ejemplo a+b=c. estas propiedades pueden no cumplirse en casos del lmite de sumas parciales cuando tienden al infinito. y as damos por terminado este paso de las propiedades de la adicin en los nmeros reales...

MULTIPLICACIN
La regla de los signos del producto de los nmeros enteros y racionales se sigue manteniendo con los nmeros reales.

Propiedades 1.Interna: El resultado de multiplicar dos nmeros reales es otro nmero real. ab 2.Asociativa: El modo de agrupar los factores no vara el resultado. Si a, b y c son nmeros reales cualesquiera, se cumple que: (a b) c = a (b c) (e ) =e( ) 3.Conmutativa: El orden de los factores no vara el producto. ab=ba 4. Elemento neutro: El 1 es el elemento neutro de la multiplicacin porque todo nmero multiplicado por l da el mismo nmero. a 1 = a 1= 5. Elemento inverso:

Un nmero es inverso del otro si al multiplicarlos obtenemos como resultado el elemento unidad.

6.Distributiva: El producto de un nmero por una suma es igual a la suma de los productos de dicho nmero por cada uno de los sumandos. a (b + c) = a b + a c (e + )= e+

POTENCIACIN DE NMEROS REALES

Todo producto de factores iguales, por ejemplo: aaa puede escribirse abreviadamente as: a3. En la expresin anterior, a3 se llama potencia, el factor que se repite (a) se llama base y el numero de veces que se repite el factor (3) se llama exponente. Potencias con exponente entero

Con exponente racional o fraccionario

RADICALES
Un radical es una expresin de la forma , en la que n cuandoa sea negativo, n ha de ser impar. Se puede expresar un radical en forma de potencia: Radicales equivalentes y a ; con tal que

Simplificacin de radicales Si existe un nmero natural que divida al ndice y al exponente (o los exponentes) del radicando, se obtiene un radical simplificado. Reduccin de radicales a ndice comn 1 Hallamos el mnimo comn mltiplo de los ndices, que ser el comn ndice 2 Dividimos el comn ndice por cada uno de los ndices y cada resultado obtenido se multiplica por sus exponentes correspondientes. Extraccin de factores fuera del signo radical

Se descompone el radicando en factores. Si: Un exponente es menor que el ndice, el factor correspondiente se deja en el radicando. Un exponente es igual al ndice, el factor correspondiente sale fuera del radicando. Un exponente es mayor que el ndice, se divide dicho exponente por el ndice. El cociente obtenido es el exponente del factor fuera del radicando y el resto es el exponente del factor dentro del radicando. Introduccin de factores dentro del signo radical Se introducen los factores elevados al ndice correspondiente del radical.

LOGARITMO
El logaritmo de un nmero, en una base dada, es el exponente al cual se debe elevar la base para obtener el nmero. Se lee logaritmo de x en base a es igual a y, pero debe cumplir con la condicin general de que a (la base) sea mayor que ceroy a la vez distinta de uno:

Para aclarar el concepto, podramos decir que logaritmo es solo otra forma de expresar la potenciacin, como en este ejemplo: Que leeremos: logaritmo de 9 en base 3 es igual a 2 Esto significa que una potencia se puede expresar como logaritmo y un logaritmo se puede expresar como potencia. El grfico siguiente nos muestra el nombre que recibe cada uno de los elementos de una potencia al expresarla como logaritmo:

Ver: PSU: Matemtica; Pregunta 19_2006 Entonces, podemos preguntar: Que es el logaritmo? El logaritmo es "el exponente" por el cual se ha elevado una base para obtener la potencia. Ejemplos: 1) El resultado (2) es el exponente por el cual debemos elevar la base (2) para obtener la potencia (4): 22 = 4 2) El resultado (0) es el exponente por el cual debemos elevar la base (2) para obtener la potencia (1): 20 = 1 3)

El resultado (y) es el exponente por el cual debemos elevar la base (1/2) para obtener la potencia (0,25): , pero en este caso debemos despejar el exponente y:

4) 5) Cuidado con esto, hay que recordarlo: Cuando la base no aparece expresada se supone que sta es 10: , el 10 que indica la base, no se coloca, se supone, as:

6) Aqu, otra nota importante, para no olvidar: Los logaritmos que tienen base e se llaman logaritmos neperianos o naturales. Para representarlos se escribe ln o bien L. La base e est implcita, no se escribe:

7) Con lo ya expuesto, podemos empezar a establecer las: Propiedades de los logaritmos No existe el logaritmo de un nmero con base negativa. No existe el logaritmo de un nmero negativo. No existe el logaritmo de cero. El logaritmo de 1 es cero. El logaritmo de a en base a es uno. El logaritmo en base a de una potencia en base a es igual al exponente. Ver: PSU: Matemtica; Pregunta 31_2010 El logaritmo de un producto es igual a la suma de los logaritmos de los factores:

El logaritmo de un cociente es igual al logaritmo del dividendo menos el logaritmo del divisor:

El logaritmo de una potencia es igual al producto del exponente por el logaritmo de la base:

Ver: PSU: Matemtica; Pregunta 17_2005 El logaritmo de una raz es igual al cociente entre el logaritmo del radicando y el ndice de la raz:

Cambio de base:

Logaritmos decimales: Son los que tienen base 10. Se representan por log (x) (ya vimos que la base 10 no se escribe, queda implcita). Logaritmos neperianos o naturales: Son los que tienen base e. Se representan por ln (x) o L(x) (ya vimos que la base e tampoco se escribe, se subentiende cuando aparece ln). Algunos ejemplos de logaritmos neperianos son: ln 1 = 0; puesto que e0 = 1 ln e2 = 2; puesto que e2 = e2 ln e1 = 1; puesto que e1 = e1 El nmero e tiene gran importancia en las Matemticas. No es racional (no es cociente de dos nmeros enteros) y su valor, con seis cifras decimales, es e = 2,718281...

NMEROS COMPLEJOS
Un nmero complejo es una combinacin de un nmero real y un nmero imaginario Ejemplos: 1+i 12 - 3.1i -0.85 - 2i + i 2 + i/2 Un nmero que es una combinacin de dos nmeros? Puedes hacer un nmero combinando a partir de otros dos? Claro que puedes! Lo haces todo el tiempo en las fracciones. La fraccin 3/8 es un nmero hecho de un 3 y un 8. Sabemos que significa "3 de 8 partes iguales". Pues bien, un nmero complejo es simplemente dos nmeros sumados juntos (uno real y uno imaginario). Cero Entonces, un nmero complejo tiene una parte real y una parte imaginaria. Pero cualquiera de las dos puede ser 0, as que los nmeros reales y los imaginarios son tambin nmeros complejos.

Nmero complejo 3 + 2i 5 -6i

Parte real 3 5 0

Parte imaginaria 2 0 -6

Sumar y multiplicar Para sumar dos nmeros complejos sumamos las dos partes por separado: (a,b) + (c,d) = (a+c, b+d) Ejemplo: (3 + 2i) + (1 + 7i) = (4 + 9i) Pero para multiplicarlos seguimos una regla ms interesante: (a,b)(c,d) = (ac-bd, ad+bc) Ejemplo: (3 + 2i)(1 + 7i) = ((31 - 27) + (37 + 21)i) = -11 + 23i Puedes intentarlo t mismo: escribe (3 + 2i)(1 + 7i) en la calculadora de nmeros complejos. Y una cosa interesante es que el cuadrado de "i" s que es -1 Ejemplo: (0 + i)(0 + i) = ((00 - 11) + (01 + 10)i) = -1 + 0i Los nmeros imaginarios existen! Este es un buen argumento sobre la existencia de nmeros imaginarios: Cuando elevas el nmero complejo 0+i al cuadrado tienes -1 As que puedes elevar un nmero al cuadrado y tener -1 ... si usas las reglas de los nmeros complejos.

ORDEN DE LAS OPERACIONES

Para simplificar expresiones numricas que contienen dos o ms operaciones para efectuar, tenemos que seguir un orden. El orden es el siguiente: Efectuar lo que aparece en parntesis. Simplificar las expresiones exponenciales. Efectuar las multiplicaciones y las divisiones en el orden en que aparecen de izquierda a derecha. Efectuar las sumas y las restas en el orden en que aparecen de izquierda a derecha. El dominio del orden de operaciones es muy importante no tan slo en matemticas sino tambin en otras reas como en el campo delcomercio, las ciencias, la ingeniera, para poder manejar el uso correcto de las frmulas. Ejemplos para discusin: 1) 5 x (3 + 8) = 2) 12 x 5 3 x 2 = 3) (4 6)3 + 5(-4) + 3 =

5) 2 + 66 11 3 + 236 = Algunas expresiones numricas pueden tener diferentes tipos de smbolos de agrupacin, tales como, corchetes [ ] y llaves { }. En estos casos, se efecta primero las operaciones del smbolo de agrupacin que est ms al centro, esto es, de dentro hacia afuera, luego aplicamos las reglas del orden de las operaciones. Ejemplos para discusin: 1) 2 + 3[5(7 4)] = 2) -2[(-5 + 3)3 + (-4 6)2] = Ejercicio: Simplifica cada una de las siguientes expresiones:

1) 6 x (-2) + (-20) 2 x 3 = 2) 5[6 3(7 9)] 8 = 3) - 3 7 + 2 (-4) =

6) 64 23 5 = 7) 2 x 3 + 4 9 3 8) 4( 3 6) + 3(7 9)2 = 9) 8[7 6(4 2)]= 10) 3[(8 3)2 + 5(11 7)] = Respuestas: 1) -42 2) 52 3) 4 4) 13 5) -1 6) 3 7) 7 8) 0 9) -40 10) 135

PAREJA ORDENADA
Una pareja ordenada es una pareja de nmeros, (x, y), escritos en un orden particular. La pareja ordenada (x, y) no es la misma que la pareja ordenada (y, x). Una pareja ordenada es a menudo usada para representar un punto en un plano coordenado o la solucin para una ecuacin con dos variables. Ejemplo: Encuentre una pareja ordenada que es una solucin de la ecuacin y = x 3, y grafique el punto en el plano coordenado. La pareja ordenada (5, 2) funciona, ya que 2 = 5 3.

(Dese cuenta que en matemticas avanzadas, una pareja ordenada no tiene que ser una pareja ordenada de nmeros; puede tener parejas ordenadas de conjuntos, funciones, o incluso parejas ordenadas!)

BIBLIOGRAFIA
http://matealgebra1.blogspot.com/2009/10/fundamentos-de-algebra.html http://www.youtube.com/watch?v=jdXw7ez4naI http://matematicaylisto.webcindario.com/polinomios/operacio/suma.htm http://www.vitutor.com/ab/p/a_6.html http://es.wikipedia.org/wiki/Productos_notables http://es.wikipedia.org/wiki/Tri%C3%A1ngulo_de_Pascal http://www.eplc.umich.mx/salvadorgs/matematicas1/contenido/CapIII/3_7_div_pol.htm http://platea.pntic.mec.es/~anunezca/ayudas/factorizacion/factorizacion_polinomios.htm http://www.elabueloeduca.com/aprender/matematicas/divisibilidad/factorizacion.html http://www.eplc.umich.mx/salvadorgs/matematicas1/contenido/CapIII/3_9_1_fact_com.htm http://new.aulafacil.com/curso-gratis-de-algebra,diferencia-de-cuadrados,667,10954 http://new.aulafacil.com/curso-gratis-de-algebra,trinomio-cuadrado-perfecto,667,10950 http://yachay.stormpages.com/07_5fact/factorizacion2.htm http://new.aulafacil.com/curso-gratis-de-algebra,suma-o-diferencia-de-cubosperfectos,667,10956 http://es.wikipedia.org/wiki/Teorema_del_factor http://www.profesorenlinea.cl/matematica/Algebra_Fracciones.html http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica http://es.wikipedia.org/wiki/Proposici%C3%B3n http://es.wikipedia.org/wiki/Valor_de_verdad http://es.wikipedia.org/wiki/Conectiva_l%C3%B3gica http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional http://es.wikipedia.org/wiki/Negaci%C3%B3n_l%C3%B3gica http://es.wikipedia.org/wiki/Conjunci%C3%B3n_l%C3%B3gica http://es.wikipedia.org/wiki/Disyunci%C3%B3n_l%C3%B3gica http://es.wikipedia.org/wiki/Implicaci%C3%B3n http://matedisunidad3.wordpress.com/tag/condicional/ http://www.reocities.com/onildo3/01c_prop_conect_logic.htm http://recursostic.educacion.es/descartes/web/materiales_didacticos/limites_funcion_real_t amc/numeros_reales.html http://matematicasydemas.bligoo.com/propiedades-de-la-adicion-en-los-numeros-realesd#.UshA0dLuLiU http://www.ditutor.com/numeros_reales/multiplicacion_reales.html http://numerosreales5.blogspot.com/2011/04/potenciacion-de-numeros-reales.html http://www.vitutor.com/di/re/rres.html http://www.profesorenlinea.cl/matematica/logaritmo.html http://www.disfrutalasmatematicas.com/numeros/numeros-complejos.html http://facultad.bayamon.inter.edu/ntoro/gemaorden.htm http://hotmath.com/hotmath_help/spanish/topics/ordered-pair.html

INDICE:
Fundamentos de algebra Trminos Suma de Polinomios Resta de Polinomios Multiplicacin de Polinomios Polinomio por polinomio Productos Notables Triangulo de pascal Divisiones de Polinomios Factorizacin Descomposicin factorial Factor Comn Diferencia de cuadros Trinomio cuadrado Perfecto Trinomios cuadrticos Suma o diferencia de cubos Teorema del factor Fraccin algebraica Lgica de Matemticas Historia Lgica El mtodo inductivo Mtodo deductivo Mtodo analgico Proposicin lgica Tipos de proposiciones Simbolizacin de las proposiciones Valor de verdad Conectivos Lgicos Proposiciones lgicas Lgica Simblica La negacin La conjuncin La disyuncin La implicacin La condicional Doble implicacin Combinaciones de proposiciones compuestas Nmeros reales Conjunto de los nmeros reales Adiccin Multiplicacin Potenciacin Radicales Logaritmos Nmeros complejos Orden de las operaciones Parejas ordenadas

INTRODUCCION:
El presente trabajo va relacionado con trminos de matemticas. En las que veremos operaciones de diferentes tipos en las cuales podemos citar los fundamentos de algebra, factorizacin, lgica matemtica y nmeros reales. Se le presenta diferentes operaciones y procesos que lleva cada termino matemtico.

CONCLUSION.
En el trabajo realizado hemos visto operaciones de diferentes trminos y operaciones con procesos, hemos aprendido todo lo relacionado con las matemticas, trminos con ejemplos.