1.

2 ELEMENTOS DE LOGICA MATEMATICA

Mara Concepcin Gonzlez Enrquez

Proposicin lgica simple. Es una proposicin afirmativa a la cual se le puede asignar un valor de verdad nico. 1. 2. 3. 4. 5. 6. 7. 8. 9. Consrvese en lugar fresco. No faltes! Algunos profesores fueron receptivos a las ideas expresadas. Los jugadores estaban comenzando a sentirse frustrados y a ser demasiado crticos consigo mismos. Crean en FES Cuautitln un nuevo antihipertensivo. Este enunciado es falso. A las focas no les crece el pelo La conectividad inalmbrica est en tus manos y la puedes experimentar. Antes y despus

Los enunciados 3,4,5,7,8 son proposiciones lgicas simples Las proposiciones lgicas simples se pueden relacionar con otras proposiciones lgicas simples a travs de los conectivos lgicos, para dar origen a una proporcin lgica compuesta. Conectivos lgicos elementales. Negacin no Conjuncin y Disyuncin o El valor de verdad de una proposicin lgica compuesta depende de los valores de verdad de las proposiciones simples que la componen. Tablas de verdad Negacin:
p p

V F

F V

Ejemplo. P: el sol es ms pequeo que la tierra F P : el sol no es ms pequeo que la tierra V.

Conjuncin:
P V V F F
Q V F V F P Q V F F F

Ejemplo. P: 2 es par y 2 es primo V Q: 3 es par y 3 es primo F R: 8 es par y 8 es primo F S: 15 es par y 15 es primo F Disyuncin:
P V V F F Q V F V F P Q V V V F

Ejemplo. P: 4 es par o 4 es mltiplo de 2 V Q: 4 es par o 4 es primo V R: 8 es primo o 8 es mayor que 6 V S: 15 es par o 15 es primo F

Conectivos lgicos compuestos. Implicacin: si______, entonces______.

P V V F F Q V F V F P Q V F V V

Smbolo

Ejemplo. Si dos nmeros no son iguales, entonces uno es mayor que el otro. Si es negro, entonces no refleja la luz. Doble implicacin O bicondicional: _______ si y slo _______.
2

Smbolo

P V V F F

Q V F V F

P Q V F F V

Una bicondicional es la conjuncin: P Q y Q P Ejemplos. Patinaremos si y solo si el hielo no es demasiado delgado. Un polgono es un tringulo si y slo si tiene tres lados Elementos de una implicacin y proposiciones relacionadas a ella.
PQ

P se llama el antecedente, hiptesis o condicin suficiente. Q se llama conclusin, consecuente o condicin necesaria. Si Daniel es de Morelia, entonces Daniel es de Michoacn. Una condicin necesaria para que Daniel sea de Morelia es que sea de Michoacn. Una condicin suficiente para que Daniel sea de Michoacn es que sea de Morelia. Proposiciones relacionadas con P Q son : Recproca: QP Contrapuesta: Q P Ejemplo. Implicacin: Si Daniel es de Morelia, entonces Daniel es de Michoacn. Recproca: Si Daniel es de Michoacn, entonces Daniel es de Morelia. Contrapuesta: Si Daniel no es de Michoacn, entonces Daniel no es de Morelia.

Proposiciones equivalentes

Dos proposiciones lgicas compuestas P y Q se dicen equivalentes si para el mismo conjunto de valores de sus proposiciones componentes se obtienen los mismos valores de verdad de P y Q. si P y Q son equivalentes se denota por P Q . Leyes de lgica Conmutativas:
P Q Q P P Q Q P

Asociativas:
( P Q ) R P (Q R) ( P Q ) R P (Q R)

Distributivas:
P (Q R) ( P Q ) ( P R) P (Q R) ( P Q ) ( P R)

De la condicional
P Q P Q P Q Q P

Para demostrar las equivalencias anteriores se construyen las tablas de verdad correspondientes al lado izquierdo y al lado derecho de la relacin y deben de coincidir los valores de verdad en cada uno de los renglones de las tablas. Demostracin de P (Q R) ( P Q ) ( P R)
P V V V V F F F F Q V V F F V V F F R V F V F V F V F QR V V V F V V V F P (Q R) V V V F F F F F P Q V V F F F F F F PR V F V F F F F F ( P Q ) ( P R) V V V F F F F F

Observamos que los valores de verdad de la quinta columna coinciden con los valores de verdad de la octava columna, por lo tanto concluimos que las proposiciones P (Q R) y ( P Q ) ( P R) son equivalentes. Ejemplo de P (Q R) ( P Q ) ( P R) . Por la maana voy a trabajar y por la tarde voy al deportivo o voy al cine.

Es equivalente a afirmar: Por la maana voy a trabajar y por la tarde voy al deportivo, o por la maana voy a trabajar y por la tarde voy al cine Leyes de negacin:
P P
( P Q ) (Q ) (P ) ( P Q ) (Q ) (P ) ( P Q ) P (Q )

leyes de de DMorgan

Tenemos la siguiente clasificacin de las proposiciones lgicas

Tautologa : siempre verdadera Proposiciones Contradiccin : siempre falsa por su valor de verdad Contingente : a veces verdadera

Ejemplos. De Tautologas
Q ( P Q) P ( P Q ) P ( P Q ) P (( P Q )) ( P Q ) ( P Q ) P Q P P Q Q P

Para la primera Q ( P Q ) hacemos su tabla de verdad

P V V F F Q V F V F P Q V F V F Q ( P Q) V V V V

Resulta siempre verdadera para cualquier conjunto de valores de verdad de sus componentes.

Ejemplos. De contradicciones
P ( P ) ( P Q ) P ( Q )

Hacemos la tabla de verdad para la segunda ( P Q ) P (Q )

P V V F F Q V F V F P Q V F V F
( P Q) P Q ( P Q ) P ( Q )

V F V F

F V F V

F F F F

Resulta siempre falsa para cualquier conjunto de valores de verdad de sus componentes. Ejemplos. De contingentes
( P Q) P ( P Q ) ( P Q ) P P Q

Hacemos la tabla de verdad para la primera ( P Q ) P

P V V F F
Q V F V F P Q V V V F
( P Q) P

V V F V

Resulta a veces verdadera y a veces falsa dependiendo del conjunto de valores de verdad de sus componentes.

Razonamientos lgicos. Un razonamiento lgico es una sucesin de proposiciones lgicas P1 , P2 ,K Pn , Q donde las proposiciones P1 , P2 ,K Pn se llaman premisas o hiptesis y Q se llama la conclusin. El razonamiento lgico se dice que es vlido si la proposicin
( P1 P2 K Pn ) Q

Es verdadera. Si alguna de las Pi es falsa, entonces P1 P2 K Pn es falsa y ( P1 P2 K Pn ) Q es verdadera. Por lo cual, el caso importante es
6

cuando todas las hiptesis son verdaderas, P1 P2 K Pn es verdadera y con ello llegar a probar que Q es verdadera. Razonamientos lgicos bsicos
Ponendo Ponens P Q P Q Tollendo Tollens P Q Q P Tollendo Ponens P Q P Q

Para demostrar que cualquiera de los razonamientos anteriores son vlidos construimos su tabla de verdad de la implicacin que los califica. Hacemos la de Tollendo Tollens
P V V F F
Q V F V F P Q V F V V Q F V F V

( P Q ) ( Q )
F F F V

P F F V V

(( P Q ) (Q )) (P )
V V V V

Queda demostrado que el razonamiento lgico es vlido. Ejemplos de razonamientos. 1. Si l est en el partido de ftbol, entonces l est en el estadio 2. El est en el partido de ftbol

3. El est en el estadio. 1. Si tiene luz propia, entonces el astro es una estrella. 2. El astro no es una estrella.

3. No tiene luz propia

1. Esta sustancia contiene hidrgeno o contiene oxgeno. 2. Esta sustancia no contiene hidrgeno.

3. Esta sustancia contiene oxgeno. Ejemplo. Si la ballena es un mamfero, entonces toma oxgeno del aire. Si toma oxgeno del aire, entonces no necesita branquias. La ballena es un
7

mamfero y vive en el ocano. Conclusin: la ballena no necesita branquias. A: la ballena es un mamfero B: la ballena toma oxgeno del aire. C: la ballena necesita branquias. D: La ballena vive en el ocano. 1. A B 2. B C 3. A D
C

Este razonamiento lgico es vlido o no? Las tres premisas las tomamos como verdaderas Como A D es verdadera, entonces A es verdadera D es verdadera Relacionamos A con A B que es la premisa 1., usando ponendo ponens, tenemos verdadera B Luego esta junto con B C que es la premisa 2., usando ponendo ponens, tenemos C verdadera Esta ltima es la que requeramos a partir de las premisas. Por lo tanto el razonamiento lgico es vlido Ejemplo. Si Toms tiene 17 aos, entonces tiene la misma edad que Juan. Si Joaqun tiene distinta edad que Toms, entonces Joaqun tiene la misma edad de Juan. Toms tiene 17 aos y Joaqun tiene distinta edad que Juan. Concusin: Joaqun tiene la misma edad que Toms y Toms tiene la misma edad que Juan. T: Toms tiene 17 aos M: Toms tiene la misma edad que Juan J: Si Joaqun tiene distinta edad que Toms S: Joaqun tiene la misma edad de Juan 1. T M 2. J S 3. T (S )
( J M )

Este razonamiento lgico es vlido o no? Las tres premisas las tomamos como verdaderas
8

Como T (S ) es verdadera, entonces es verdadera T es verdadera ( S ) T M y T por ponendo ponens, M es verdadera JS y (S ) por tollendo tollens, (J ) es verdadera Como hemos obtenido que tanto M , como (J ) son verdaderas, entonces J M es verdadera. Esta ltima es la que requeramos a partir de las premisas. Por lo tanto el razonamiento lgico es vlido Ejemplo. Si el testigo est diciendo la verdad, Samuel tiene una coartada(alib). El testigo est diciendo la verdad o hay una conspiracin. Si hay una conspiracin, Juan est implicado. Si Samuel tiene un alib, Jorge es inocente. Juan no est implicado. Conclusin: Jorge es inocente. V: el testigo est diciendo la verdad, S: Samuel tiene una coartada(alib). C: Hay una conspiracin. J: Juan est implicado. I: Jorge es inocente. 1. V S 2. V C 3. C J 4. S I 5. J
I

Ejemplo. Razonamiento lgico no vlido. Si la enmienda no fue aprobada, entonces la constitucin queda como estaba. La constitucin no queda como estaba o podemos aadir nuevos miembros al comit. No es cierto que el informe se retrasar un mes o que la enmienda sea aprobada. Si podemos aadir nuevos miembros al comit entonces el informe se retrasar un mes. Conclusin: el informe se retrasar un mes. A: la enmienda fue aprobada, C: la constitucin queda como estaba M: podemos aadir nuevos miembros al comit R: el informe se retrasar un mes 1. A C 2. C M
9

3. ( R A) 4. M R
R

( R A) R A R , A son verdaderas A C y A por ponendo ponens, C C M , C por tollendo ponens, M M R , M , por ponendo ponens, R Por lo tanto R y R , nos da una contradiccin.

Por lo que el razonamiento no es vlido. Ejemplo. Demostrar T ( P Q ) a partir de las siguientes premisas
S P Q R T SR

Como queremos demostrar que una implicacin es verdadera, suponemos verdadera su hiptesis T , luego T , T S R por poniendo ponens S R
MR R

Tipos de demostraciones en matemticas

Directas
Contrapuesta Indirectas Contradiccin

Induccin Matemtica

Demostracin Directa. Se aplica para demostrar proposiciones de la forma P Q . Se supone verdadera P, y junto con axiomas, teoremas y razonamientos lgicos se debe obtener que Q es verdadera. Demostracin Indirecta (Contrapuesta)

10

Se aplica para demostrar proposiciones de la forma P Q Se supone verdadera Q , usando esto, junto con axiomas, teoremas y razonamientos lgicos se debe obtener que P es verdadera. Demostracin Indirecta (Contradiccin o reduccin al absurdo) Se aplica para demostrar proposiciones de cualquier tipo, en particular las simples, P. Se supone verdadera P , usando esto junto con axiomas, teoremas y razonamientos lgicos se debe obtener una proposicin de la forma R R la cual es una contradiccin. Demostracin por el Principio de Induccin Matemtica. Se aplica para demostrar proposiciones relativas a los nmeros naturales exclusivamente. Ejemplos. Demostraciones directas: 1. Si x + 3 = 10 , entonces x = 7 Demostracin. x + 3 = 10 , hiptesis x + 3 3 = 10 3 restamos 3 de ambos lados por inverso aditivo x+0 = 7 por neutro aditivo x=7 Por lo tanto x = 7 . 2. Si n y m son pares, entonces n + m es par. Demostracin. n y m son pares, hiptesis n = 2k y m = 2l para ciertos enteros k y l n + m = 2k + 2l sustituyendo en n + m n + m = 2( k + l ) factorizando 2 Por lo tanto n + m es par.

Demostraciones indirectas(contrapuesta): 1. Si n 2 es impar, entonces n es impar. Demostracin. Negamos la conclusin n es impar Es decir, suponemos que n es par, Por lo que n = 2k para algn entero k, n 2 = 4k 2 elevando al cuadrado ambos lados de la igualdad

11

n 2 = 2( 2k 2 ) , por lo que n 2 es par , hemos llegado a la negacin de la hiptesis, Por lo tanto, Si n 2 es impar, entonces n es impar.

Demostraciones indirectas(contradiccin): 1. Si a Q y b Q , entonces a + b Q . Demostracin. Suponemos falsa la implicacin, es decir que las hiptesis son verdaderas y la conclusin falsa: a Q y bQ y a +bQ Entonces a Q y ( a + b) + ( a ) Q , Por lo que b Q , Por lo tanto b Q y b Q lo cual es una contradiccin. Lo que estuvo mal suponer es que la conclusin era falsa, por lo tanto se tiene que si las hiptesis son verdaderas tambin lo es la conclusin, as: Si a Q y b Q , entonces a + b Q .

2.

2 es irracional.

Observamos que se trata de una proposicin simple. Suponemos que es falsa, es decir afirmamos que: 2 es racional
p con p, q Z , q 0 q Adems se puede suponer que p y q no tienen divisores en comn

Entonces

2=

diferentes de 1, es decir son primos relativos. Esto se puede suponer puesto que si tuvieran divisores comunes diferentes de 1, se cancelaran al hacer el cociente de multiplicativos. Ahora multiplicamos de ambos lados
2q = p
2= p por q q

p , debido al axioma de inversos q

Elevamos al cuadrado de ambos lados de la igualdad

2q 2 = p 2

Esto nos dice que p 2 es un nmero par y tambin p debe ser par. escribimos p = 2m con m Z

12

Y lo sustituimos en 2q 2 = p 2 Quedando
2q 2 = ( 2 m ) 2 = 4 m 2 q 2 = 2 m 2

De aqu que q 2 es un nmero par y tambin q debe ser par, Pero si tanto p como q son nmeros pares, entonces tienen divisor comn a 2, que es diferente de 1. Esto contradice el supuesto que no tendran divisores comunes diferentes de 1. Por lo tanto estuvo mal suponer que 2 es racional Por lo tanto 2 es irracional.

3. Si 100 pelotas se colocan en 9 cajas, entonces alguna de las cajas tiene por lo menos 12 pelotas. Se colocan 100 pelotas en 9 cajas y todas las cajas tienen a lo ms 11 pelotas. Tendramos 9 11 = 99 pelotas colocadas, lo que contradice que eran 100 pelotas. Por lo tanto: Se tienen 100 pelotas en 9 cajas y alguna de las cajas tiene por lo menos 12 pelotas. Proposiciones con cuantificador. Sea P ( x ) una propiedad, A un conjunto. Cuantificador universal: Sirve para indicar que todos los elementos del conjunto A satisfacen la propiedad P ( x ) Para todo x en A , P ( x ) Para cada x en A , P ( x )

Cuantificador existencial: Sirve para indicar que unos, algunos elementos o al menos un elemento del conjunto A , satisfacen la propiedad P ( x ) Existe un x en A tal que P ( x ) Existen algunos x en A tal que P ( x ) Existen unos x en A tal que P ( x )

Negacin de proposiciones con cuantificador universal.

13

No es cierto que (Para todo x en A , P ( x ) ) equivale a decir Existe un x en A tal que P ( x ) No es cierto que (Existe un x en A tal que P ( x ) ) equivale a decir Para todo x en A , P ( x ) Ejemplos. P ( x ) = Todos los aspirantes fueron aceptados P ( x ) = Algunos aspirantes no fueron aceptados
P ( x ) = Algunos estudiantes de Actuara estudian carrera simultanea

P ( x ) = todo alumno que es de la carrera de Actuara no estudia carrera

simultanea. Ejemplos. a. b. c. d.

Todos los mltiplos de 6 son mltiplos de 2. Todos los mltiplos de 6 son mltiplos son mltiplos de 4. Algunos mltiplos de 6 son mltiplos de 5. Algunos mltiplos de 6 son impares.

Ya contamos con los elementos bsicos de lgica para poder demostrar los teoremas de nuestro curso. 1.3 TEOREMAS DE CAMPO DE NUMEROS REALES TEOREMAS. Para cualesquiera nmeros reales a, b, c se satisfacen: 1. Si a + c = b + c entonces a = b 2. a.0 = 0.a = 0 3. Si ac = bc y c 0 entonces a = b . 4. El neutro aditivo en los reales es nico. 5. El inverso aditivo de cada nmero real es nico. 6. a = (1)a 7. a (b) = (ab) = (a )b 8. (a ) = a 9. (a )(b) = ab 10. ab = 0 si y slo si a = 0 o b = 0 . Demostraciones.

14

1. Si a + c = b + c entonces a = b a + c = b + c hiptesis por axioma de inversos aditivos, existe (c ) y se suma a ambos lados de la igualdad
( a + c ) + ( c ) = ( b + c ) + ( c ) a + (c + ( c )) = b + (c + ( c )) axioma de asociatividad de la suma a + 0 = b + 0 propiedad del inverso aditivo a = b propiedad del neutro aditivo.

2.
a.0 = a.0 + 0 propiedad del neutro aditivo = a.0 + (a + (a )) expresando 0 en forma adecuada

= (a.0 + a ) + ( a ) axioma de asociatividad de la suma = a (0 + 1) + ( a ) = a. 1 + ( a ) = a + (a ) =0

axioma de distributividad propiedad de neutro aditivo propiedad de neutro multiplicativo propiedad de inverso aditivo

3. Si ac = bc y c 0 entonces a = b . ac = bc hiptesis (1) c 0 hiptesis (2) Como c 0 , por axioma de inversos multiplicativos, existe c 1 R Multiplicamos de ambos lados a la hiptesis (1)
(ac )c 1 = (bc )c 1

a (cc 1 ) = b(cc 1 ) axioma de asociatividad de la multiplicacin propiedad de inverso multiplicativo a.1 = b.1 propiedad de neutro multiplicativo. a=b

En matemticas cuando se desea probar la unicidad de algn trmino, se supone que existen dos elementos con las mismas propiedades y con la debida argumentacin se concluye que dichos elementos son iguales 4. El neutro aditivo en los reales es nico. Suponemos que existen dos elementos identidad para la suma: e1 y e 2 Entonces deben satisfacer que (1) a + e1 = e1 + a = a para todo a R (2) a + e2 = e2 + a = a para todo a R Respectivamente. Sustituimos a = e2 en (1) (3) e2 + e1 = e1 + e2 = e 2 Sustituimos a = e1 en (2)
15

(4) e1 + e2 = e2 + e1 = e1 Relacionamos (3) y (4) a travs de el axioma de conmutatividad de la suma e1 + e2 = e2 + e1 por lo tanto e1 = e2 . 5. El inverso aditivo de cada nmero real es nico. Tomemos a R supongamos que existen dos inversos aditivos para a : a1 y a2 , entonces se deben satisfacer a + a1 = a1 + a = 0 y a + a 2 = a2 + a = 0 Por transitividad de la igualdad tenemos 0 = a + a1 = a + a2 Y por la ley de cancelacin para la suma, la propiedad 1, a1 = a 2 . 6. a = (1)a Identificamos el lado izquierdo de la igualdad como el inverso aditivo de a el cual satisface (1) a + ( a ) = 0 el lado derecho (1)a , entonces se quiere que resulte igual al inverso aditivo de a , entonces deber satisfacer la propiedad de inverso, por lo que lo sumamos con a , para ver qu resulta por ax. de neutro multiplicativo a + ( 1)a = 1.a + ( 1)a por distributividad = (1 + (1))a ax. de inverso aditivo = 0.a teorema 2 =0 Esto quiere decir que a + ( 1)a = 0 (2) relacionamos las expresiones (1) y (2) y tenemos a + (a ) = a + (1)a y por la ley de cancelacin concluimos a = (1)a . 7. a (b) = (ab) = (a )b (ab) es el inverso aditivo de (ab) y satisface (1) ab + ((ab)) = 0 Se requiere que a (b) resulte igual al inverso aditivo de (ab) Por lo que sumamos ab + (a ( b)) = a (b + ( b)) por distributividad = a. 0 inverso aditivo =0 teorema 2 Es decir ab + (a (b)) = 0 (2) Igualando las expresiones (1) y (2)
ab + ( (ab)) = ab + (a ( b))

16

Y por la ley de cancelacin se tiene a (b) = (ab) . De forma similar se comprueba la otra igualdad (ab) = (a )b . 8. (a ) = a Sabemos que a es el inverso aditivo de a (1) ( a ) + a = 0 Se requiere que (a ) cumpla con la propiedad de inverso aditivo de a , entonces sumamos ( a ) + ( (a )) = ( a ) + ( 1)(a ) propiedad 6 = (1 + (1))(a ) axioma de distributividad inverso aditivo = 0.(a ) =0 teorema 2 Esto significa que (a ) + ((a )) = 0 (2) relacionamos (1) y (2) (a ) + a = (a ) + ((a )) Por la ley de cancelacin (a ) = a .

9. (a )(b) = ab Sabemos que ab + ((ab)) = 0 (1) Ahora teorema 7 distributividad = ( a )((b) + b) inverso aditivo y teorema 2 = (a ).0 = 0 Es decir (a )(b) + ((ab)) = 0 (2) relacionamos (1) y (2) ab + ((ab)) = (a )(b) + ((ab)) Por la ley de cancelacin tenemos (a )(b) = ab . 10. ab = 0 si y slo si a = 0 o b = 0 . ) ab = 0 hiptesis como a 0 entonces existe a 1 R y multiplicamos de ambos lados la hiptesis a 1 (ab) = a 1 0 1 asociatividad de multip. y teorema 2 (a a )b = 0 inverso multiplicativo 1.b = 0 neutro multiplicativo b=0 En forma similar si b 0 , entonces a = 0 . ) Si a = 0 o b = 0 , por teorema 2 Otras operaciones que realizamos con nmeros reales son la resta y la divisin pero stas no son bsicas porque se pueden definir a partir de la
( a )(b) + ((ab)) = ( a )(b) + ( a )b

17

suma y la multiplicacin respectivamente, junto con elementos inversos adecuados. Definicin. Sean a, b R , se define la resta de a menos b , lo cual se denota por a b , como a b = a + (b) Definicin. Sean a, b R con b 0 , se define la divisin de a entre b , lo cual se denota por
a a , como = a (b 1 ) b b

Conocemos ciertas frmulas llamadas productos notables, las cuales se obtienen de aplicar la propiedad distributiva de nmeros reales, entre ellas podemos listar:
(a + b) 2 = a 2 + 2ab + b 2 (a + b)(a b) = a 2 b 2 (a + b)3 = a 3 + 3a 2b + 3ab 2 + b 3 (a + b)(a 2 ab + b 2 ) = a 3 + b 3 (a b)(a 2 + ab + b 2 ) = a 3 b 3 (ax + b)(cx + d ) = acx 2 + (ad + bc ) x + bd (a + b + c ) 2 = a 2 + b 2 + c 2 + 2ab + 2ac + 2bc

Los axiomas y teoremas de campo de los nmeros reales son tiles para manipular los nmeros y poder resolver ecuaciones y problemas en general. Ejemplos. Resuelva las ecuaciones dadas: 1. 2( x + 3) = 5( x 1) 7( x 3) Aplicamos la propiedad distributiva en cada uno de los tres trminos
2 x + 6 = 5 x 5 7 x + 21

Para asociar trminos semejantes sumamos inversos aditivos adecuados de ambos lados de la igualdad
2 x 5 x + 7 x = 5 + 21 6

Simplificamos
4 x = 10

Multiplicamos la igualdad por el inverso multiplicativo de 4

x= 10 5 = 4 2 x 2 o x 3

2.

3 5 2 = para 2x 4 x + 3 x 2

18

Reescribimos el denominador 2 x 4 = 2( x 2) , por propiedad distributiva

3 5 2 = 2( x 2) x + 3 x 2

Mutltiplicamos cada trmino por el producto de todos los denominadores diferentes 2( x 2)( x + 3)
3(2)( x 2)( x + 3) 5(2)( x 2)( x + 3) 2(2)( x 2)( x + 3) = 2( x 2) x+3 x2

Simplificamos por la propiedad de inversos multiplicativos

3( x + 3) 10( x 2) = 4( x + 3)

Aplicamos la propiedad distributiva a los tres trminos y simplificamos

3 x + 9 10 x + 20 = 4 x + 12 3 x 10 x 4 x = 12 9 20 11x = 17 x= 17 11

3. x 2 5 x = 14 Sumamos el inverso aditivo de 14 de ambos lados

x 2 5 x 14 = 0

Factorizamos la ecuacin cuadrtica

( x 7)( x + 2) = 0

Por el teorema 10 concluimos que x = 7 o x = 2 4. 3 x 2 + x 10 = 0 Factorizamos la ecuacin cuadrtica

(3 x 5)( x + 2) = 0

Y aplicamos el teorema 10
x= 5 o x = 2 3

5. Una persona invierte 300 mil pesos en dos tipos de acciones: A y B y recibe anualmente 10 mil pesos por concepto de intereses. Las acciones de tipo A producen 5% y las de tipo B el 3% de intereses. Hallar el dinero que ha invertido en cada uno de los tipos de acciones. Denotamos con x la cantidad en miles de pesos invertida en Acciones de tipo A, entonces 300 x ser la cantidad correspondiente en acciones de tipo B. Planteamos la ecuacin(trabajamos en miles de pesos)
x (0.05) + (300 x )(0.03) = 10

19

Lo que es equivalente a
5 x 3(300 x ) + = 10 100 100

Multiplicamos los tres trminos por 100 y simplificamos

5 x + 3(300 x ) = 1000 5 x + 900 3 x = 1000 2 x = 100 x = 50

Por lo tanto la persona invirti 50 mil pesos en acciones de tipo A y 300 x = 300 50 = 250 mil pesos en acciones de tipo B. 6. Hallar la cantidad de kilogramos que se deben tomar de caf brasileo y de caf chiapaneco, cuyos precios son 45 y 85 pesos por kg. respectivamente, para obtener una mezcla de 40 kg. a un precio de 60 pesos por kg. Denotamos con x la cantidad de kg de caf brasileo entonces, 40 x ser la cantidad correspondiente de caf chiapaneco. Planteamos la ecuacin
x (45) + (40 x )(85) = 40(60)

Lo que es equivalente a
45 x + 3400 85 x = 2400 40 x = 1000

luego
x= 1000 100 = = 25 son los kg de caf brasileo y 40 4 40 x = 40 25 = 15 son los kg de caf chiapaneco.

BIBLIOGRAFIA Suppes, Hill. (1992) Introduccin a la lgica matemtica. Revert Pinzon, Alvaro. (1977) Conjuntos y estructuras. Harla Haaser, LaSalle, Sullivan. (1980)Anlisis Matemtico. Curso de Introduccin. Trillas

20