Logica Basica

Walter Orlando Gonzales Caicedo
MATEMTICA
Gonzales Caicedo Walter Orlando
www.goncaiwo.wordpress.com
INTRODUCCIN
El presente modulo est elaborado para el desarrollo del curso de Matemtica.
Su finalidad es servir como primera referencia a los estudiantes que se preparan para la vida profesional y que en el primer ciclo de las diferentes carreras profesionales llevan el curso de Matemtica Bsica.
En la temtica se han abordado los temas, como son: Lgica proposicional, relaciones y funciones. A lo largo de la historia ha sido una preocupacin de los matemticos, o de los encargados de llevar registros y cuentas, resolver situaciones que implican conocer una o ms incgnitas. Existen referencias a mtodos de resolucin desde los aos 200 a.c en la China, sin embargo, la teora tal como la conocemos actualmente ha surgido muy posteriormente consolidndose en los siglos XVIII, XIX y XX.
Esperamos este material se enriquezca permanentemente con el aporte de los estudiantes y docentes.
LGICA PROPOSICIONAL
LGICA PROPOSICIONAL
DEFINICIONES BSICAS DE LA LGICA PROPOSICIONAL
1.1 Enunciados y Valor de Verdad La lgica es la rama del conocimiento que trata los modelos de razonamiento, mediante reglas y tcnicas, con el fin de determinar si un argumento dado es vlido. El tema que nos ocupa es el de la lgica usada en matemticas. Aqu trabajamos con elementos bsicos llamados Proposiciones. 1.1.1. Enunciado: Es toda expresin lingstica, que constituye una frase u oracin. 1.1.2. Proposicin: Enunciado que puede ser falso o verdadero pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. La verdad o falsedad de una proposicin es lo que se llama su valor de verdad. Ejemplos: Son proposiciones lgicas: a) Las frmulas cientficas ya demostradas. As como: (a b)2 a 2 2ab b 2 ; a, b R b) Las leyes o hiptesis cientficas aceptadas. As como: Todo cuerpo ejerce una fuerza de atraccin sobre otro c) Los enunciados cerrados o definidos. As como: + + = 180; si , y = s internos de un mismo tringulo. x + y = 50; si x = 10, y = 30 No son proposiciones lgicas: a) Las creencias, mitos o leyendas. As como: Dios es un ser misericordioso Manco Cpac y Mama Ocllo fueron enviados por el sol b) Las metforas o refranes. As como: El Per es un mendigo sentado en un banco de oro Has el bien, sin mirar a quin c) Las supersticiones. As como: Hoy da me ir muy mal por ser Martes 13 Pase por debajo de una escalera 1.1.3. Clases de Proposiciones 1.1.3.1. Proposiciones Simples o Atmicas o no Estructurales: Carecen de conector lgico, y pueden ser: A. Predicativas: Cuando se le atribuye alguna cualidad al sujeto (utiliza el verbo SER en cualquiera de sus tiempos). Ejemplos: Chiclayo es una provincia calurosa. Freud tena inclinacin por la matemtica. B. Relacionales: Cuando se compara un sujeto con otro mediante una relacin que puede ser de orden, tiempo, espacio, parentesco, accin, etc.

Ejemplos: La seleccin peruana de futbol jug un partido intenso con su similar de Brasil. Relacin de accin. Vallejo con Maritegui fueron contemporneos. Relacin de tiempo. 1.1.3.2. Proposiciones Compuestas o Moleculares (Coligativas): Se caracterizan principalmente porque poseen conectores lgicos. Ejemplos: Lima est al sur de Chiclayo o al norte de Ica. Los restos del Seor de Sipn fueron descubiertos por el arquelogo Marco 1.1.4. Valor de Verdad: A la verdad (V) o a la falsedad (F) de una proposicin se le llama valor de verdad y se denota por: V (p) = V; V (p) = F Ejemplos: p: ( x R) (x2 + 1 = 0); se tiene que: V (p) = F q: Cero es un nmero real; se tiene que: V (q) = V
ACTIVIDADES DE SISTEMATIZACIN 1. Indica si las siguientes expresiones, son enunciados, proposiciones simples o proposiciones compuestas. 1. La guerra y la paz. 2. 17 x = 2x + 75 3. x > y 9 4. Chimbote est entre Trujillo y Casma. 5. El hombre es un ser racional. 6. Cualquier canario es ovparo. 7. Steffany estudia en Universidad Seor de Sipn. 8. Francisco Bolognesi muri en Arica. 9. Celeste trabaja en Lambayeque. 10. Juan Carlos es italiano. 2. Indica si las siguientes expresiones son proposiciones compuestas. Explique. Por qu? La tierra es el planeta azul sin embargo el sol es un astro que tiene luz propia. Los dragones tenan respiracin branquial. Si en el planeta Marte hay atmsfera, entonces la lluvia es oscura. La crisis mundial es un fenmeno econmico sin embargo es controlable si todos los pases desarrollados apoyan a los de economas dbiles. 5. Blanca Nieve amo a sus siete enanos. 3. Indica el valor de verdad de las siguientes proposiciones 1. Ama a tu prjimo como a ti mismo. 2. Extensa selva clida. 3. Existe al menos un habitante en la luna. 1. 2. 3. 4.

4. 300 +250 = 750 5. No es cierto que el Amazonas es un ro. ACTIVIDADES DE EVALUACIN 1. Indica si las siguientes expresiones, son enunciados, proposiciones simples o proposiciones compuestas. 1. Hay reptiles que son carnvoros. 2. Muchos deportistas son peruanos y bolivianos. 3. La inflacin peruana en el 2009 ser menor a 4%. 4. Es probable que la suma de dos nmeros sea menor a 20. 5. Es posible que la seleccin clasifique al mundial 2010. 6. Mancora es una playa nortea que tiene bastante acogida por los turistas nacionales. 7. El oro es un metal slido cuyo smbolo segn la tabla peridica es Ag. 8. El pasaje urbano cuesta 1,20 soles a pesar que la gasolina ha bajado su precio. 9. Alejandro Toledo fue el presidente del Per. 10. Cristbal Coln descubri el continente Americano y fue de nacionalidad italiana. 2. Indica si las siguientes expresiones son proposiciones compuestas. Explique. Por qu? 1. Chocano fue un poeta espaol sin embargo vivi en Cajamarca. 2. El bosque de Pmac es uno de los ms importantes de Piura sin embargo Huaca Rajada es reconocido a nivel internacional. 3. El nmero 16 es divisible por 4 si y solo si tiene raz cuadrada. 4. Chiclayo es una ciudad calurosa y acogedora. 5. Ana y Bruno estudian msica en el Conservatorio. 3. Indica el valor de verdad de las siguientes proposiciones 1. Ningn Diplomtico es extremista. 2. El oro es maleable sin embargo el acero es inoxidable. 3. Ama a tu prjimo como a ti mismo. 4. No es cierto que el Amazonas es un ro. 5. El creador de la Relatividad fue americano.
SIMBOLIZACIN Y VALORACIN DE PROPOSICIONES

2.1. Notacin Proposicional Segn los datos histricos, Aristteles introdujo las letras como: p, q, r, etc., con la finalidad de representar a cada proposicin declarativa. Las variables proposicionales slo pueden asumir los valores de verdad (V) o falsedad (F). As tenemos:
Para dos proposiciones: p, q se tiene la siguiente tabla de verdad:

p V V F F q .. V F V F p 1 1 0 0 q 1 0 1 0 ..
2.2. Conectivos Lgicos Se denominan conectivos lgicos a aquellas palabras o trminos funcionales que ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectores bsicos son: CONECTIVO No Y o o. . . o. . . Si entonces... si y slo si SMBOLO NOMBRE DE LA PROPOSICIN ~ Negacin ^ Conjuncin Disyuntiva inclusiva Disyuntiva exclusiva Condicional Bicondicional
2.2.1. Negacin (~): Es un conectivo singular. Se denomina proposicin negativa aquella que cambia el valor de la proposicin original. Se denota por: ~p, -p, p y se lee: no p. Existen dos tipos de negadores: La negacin, puede traducirse como: No es cierto que ... Es falso que... Nunca ... No ocurre que... Es mentira que ... No es el caso que Es refutable que Ejemplos: p : La luna es de queso. ~p : La luna no es de queso. Su tabla de verdad es como sigue: p V F ~p F V Nadie que sea ... No es el caso que ... No es verdad que Es absurdo que No acaece que... Es inadmisible que Es falaz que Jams ... Es inconcebible que... Es imposible que ... Es errneo que ... De ningn modo Es incierto que En modo alguno
2.2.2. Conjuncin: Dadas las proposiciones p, q. La conjuncin es el resultado de unir estas proposiciones con el conectivo lgico y. Se denota con el smbolo: , , se escribe p q, p q y se lee: p y q. La proposicin conjuntiva es

verdadera. Cuando las dos proposiciones son verdaderas. En nuestro lenguaje podemos emplear: Pero Sin embargo Adems A la vez Incluso As como Del mismo modo An cuando Al igual que Tanto . como . Siempre ambos. con.. No slo.sino tambin. A pesar de .con . los dos a la vez No obstante Aunque Ms an Tambin Es compatible con As mismo De la misma forma que
Ejemplo: Consideremos las siguientes proposiciones: p: La camioneta enciende cuando tiene gasolina en el tanque q: Tiene corriente la batera De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por: p q: La camioneta enciende cuando tiene gasolina en el tanque y tiene corriente la batera Su tabla de verdad es como sigue: p q p q V V V V F F F V F F F F 2.2.3. Disyuncin: Es una proposicin compuesta formada por p y por q relacionadas por el conectivo lgico o. Segn el sentido del conectivo o, se puede interpretar de dos maneras: inclusiva o exclusiva. 2.2.3.1. Disyuncin Inclusiva o Dbil: Se denota por p q, p + q y se lee: p o q. La disyuncin inclusiva es falsa slo en el caso que ambas proporciones sean falsas. Se conoce como la suma lgica. Otras formas de conexin que nos indican una disyuncin inclusiva son: A menos que Excepto que Salvo que A no ser que Y bien o tambin O sino Ejemplo: Consideremos: p: La Universidad Seor de Sipn es privada O en todo caso O tambin O incluso O bien Al menos uno de los dos . o . Alternativamente

q: La Universidad Seor de Sipn es estatal De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por: p q: La Universidad Seor de Sipn es privada o en todo caso la Universidad Seor de Sipn es estatal Su tabla de verdad es como sigue: p V V F F q V F V F p V V V F q
2.2.3.2. Disyuncin Exclusiva o Fuerte: Se denota por: p q, p V q, p q, p q, p q y se lee: p o q pero no ambos. La disyuncin exclusiva es verdadera slo cuando una de las proposiciones es verdadera. Alguna formas de conectivos a emplear son: O ... o ... O bien ... o bien ... No es equivalente ... con ... ....a menos que solamente... ....excepto que slo.... ....o exclusivamente.... ....no es lo mismo que... Ejemplo: Consideremos: p: viajo a Espaa q: viajo a Brasil De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por: p q: O viajo a Espaa o viajo a Brasil ... no equivale a ... No es cierto que...equivale a... O solo .... o solo .... ...salvo que nicamente... ....o bien necesariamente.... ....no es idntico a.... Salvo que .... o ....
Por lo tanto su tabla de verdad es: p V V F F q V F V F p q F V V F
2.2.4. Condicional: Proposicin compuesta que resulta de la combinacin de dos proposiciones simples, a travs del conectivo: Si ..., entonces ... y su smbolo es : , . La notacin p q, p q se lee Si p , entonces q ; proposicin p se llama antecedente o hiptesis y la proposicin q se llama consecuente o

conclusin. La manera de expresar la condicional en el orden antecedenteconsecuente (p q Implicacin directa), son las siguientes: Si p, entonces q Siempre que p entonces q p es suficiente para q p implica q Ya que p bien se ve que q En cuanto p por tanto q p por tanto q p por consiguiente q p por ende q p por conclusin q Dado que p por eso q Porque p por eso q p
Puede tambin expresarse en el orden consecuente-antecedente (q Implicacin inversa), son: q si p q siempre que p q es necesario para p Slo si p, q q dado que p q a condicin de que p q supone que p q es implicada para p q cada vez que p q en vista que p Slo cuando p, q q ya que p q dado que p q sigue de p q de modo que p q puesto que p q porque p Solamente porque p, q q cada vez que p q se concluye de p nicamente si p, q
Ejemplo: consideremos: p: Llueva q: Mejorarn las cosechas De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por: p q q: Siempre que llueva entonces mejoraran las cosechas p: Mejoraran las cosechas siempre que llueva
Su tabla de verdad queda de la siguiente manera: p q V V V F F V F F p V F V V q
2.2.5. Bicondicional: Cuando dos proposiciones estn unidas por el conectivo lgico ... si y slo si ..., cuyo smbolo es: , , . La proposicin compuesta se denota por: p q, p q, p q y se lee: p si y slo si q. La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas.

Tambin se suele emplear expresiones como: siempre y cuando es equivalente a es lo mismo que cuando y slo cuando Si y slo si p, q siempre que y slo cuando es idntico a Ejemplo: Consideremos: p: Los cuerpos chocan q: Existe una fuerza que los atrae De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por: p q: Los cuerpos chocan porque y solo porque existe una fuerza que los atrae. Su tabla de verdad queda de la siguiente manera: p V V F F q p q V V F F V F F V Es suficiente para que suficiente sea Es condicin necesaria y suficiente para por lo cual y segn lo cual cada vez que y slo si si de la forma implica y est implicado por Siempre que y siempre que
2.3. Valoracin de las Proposiciones Hasta el momento hemos conocido la simbolizacin de las proposiciones tanto atmicas como las proposiciones moleculares. Para determinar los valores de verdad a las segundas, es necesario tener en cuenta las tablas de verdad de las proposiciones atmicas ya que, slo ellas pueden recibir directamente los valores de verdad. Considere los siguientes ejemplos: a) Si los resultados se dirigen a la impresora, entonces el nmero N es par o la salida va a la pantalla. Tenemos las proposiciones: p: Los resultados se dirigen a la impresora q: El nmero N es par r: La salida va a la pantalla Se simboliza: p (q r) Luego: como se puede observar se tiene 3 proposiciones simples, es decir que para este caso se tiene: 2 3 = 8 asignaciones posibles para los valores de verdad en total.
10

La tabla de verdad para el esquema molecular, esta dado por: 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 p V V V V F F F F
(q V V V F V V V V V V V F V V V F
r)
(1) (3)
(2)
Se observa que en la columna (1) se tienen los valores de la proposicin p, en la columna (2) los valores de la disyuncin inclusiva y en la columna (3) el resultado del esquema molecular inicial b) Siempre que salga el sol entonces iremos a la playa, sin embargo sale el sol. Por tanto iremos a la playa. Tenemos las proposiciones: p: Sale el sol q: Iremos a la playa Se simboliza: (p q) p q La tabla de verdad para el esquema molecular, esta dado por: p V V F F q V F V F (p V F V V q) p VV FV FF FF q VV VF VV VF
c) La crisis mundial afecta a los pases de bajos recursos econmicos pero los analistas en economa buscan soluciones, a pesar de que la crisis mundial no afecta a los pases de bajos recursos. Tenemos las proposiciones: p: La crisis mundial afecta a los pases de bajos recursos econmicos q: Los analistas en economa buscan soluciones p: La crisis mundial no afecta a los pases de bajos recursos econmicos Se simboliza: (p q) p La tabla de verdad para el esquema molecular, esta dado por:
11

p V V F F q V F V F (p V F F F q) F F F F p F F V V
Como podemos apreciar las proposiciones, las expresamos en forma simblica; a su vez que podemos encontrar sus valores de verdad. Con el fin de diferenciar los valores resultados de las expresiones, se definen los siguientes conceptos: 2.4.1. Tautologa: Una expresin es tautolgica, cuando los valores de su conectivo principal resultan ser verdaderos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (b). 2.4.2. Contradiccin: La expresin resulta ser una contradiccin, cuando los valores de su conectivo principal resultan ser falsos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (c). 2.4.3. Contingencia: Aquella expresin, que en su conectivo principal resulten valores verdaderos y falsos a la vez, para todas las posibles asignaciones de la tabla de verdad. Ver ejemplo (a).
ACTIVIDADES DE SISTEMATIZACIN 1. Determinar el valor de verdad de las siguientes proposiciones: 1. 2. 3. 4. 5. Los restos del Seor de Sipn fueron descubiertos en 1989 sin embargo su museo de sitio fue inaugurado en febrero del 2009.
Miguel Grau naci en Piura, no obstante es chileno. 3/7 es un nmero par o impar. Cajamarca es una ciudad minera por excelencia de modo que invertir en minera es la mejor opcin. 6. O estudias o trabajas. 7. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar. 8. La produccin de mango es buena, me hare millonario. Si me hago millonario, dormir plcidamente. 9. La suma de dos nmeros impares es igual a otro nmero impar no es lo mismo decir que la suma de dos nmeros pares es otro nmero impar. 10. Per as como Ecuador son pases demcratas. 2. Escribe en forma simblica, identificando cada una de las proposiciones atmicas que aparezca en las afirmaciones siguientes: 1. 2. 3. Si Anabel esta en el cine, entonces Raquel debe estar en el cine tambin. El asaltante se escap en un carro rojo o azul. Los resultados del anlisis mdico no son buenos.
12

4. 5. 6. 7. 8. 9. 10. Estars a tiempo slo si te da prisa. l vendr si tiene tiempo. Si ella estaba all, entonces debi haberlo odo. Es un da agradable si est soleado, pero slo si no hace calor. Mara es alta, pero Jaime es pequeo y gil. Si x es mayor que y, y es mayor que z, entonces x es mayor que z. Si no pago la luz, entonces me cortarn la corriente elctrica. Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y pido prestado, entonces no podr pagar la deuda, si solo si soy desorganizado.
3. Formaliza cada una de las siguientes proposiciones, luego construye su tabla de verdad. Estudiar y trabajar es condicin suficiente para ser responsable y admirado por aquellos que nos saben valorar. 2. Ellos son actores, a menos que cantores. Si Paola canta, Liz baila y Marcelo recita. 3. La computadora es compatible con la impresora as como con el programa; entonces, el precio de venta es cmodo o financiable. 4. O bien el SIDA afecta a las defensas del cuerpo o bien afecta al corazn; pero no es el caso que afecte al corazn del mismo modo al sistema nervioso. 5. Slo si los gusanos son invertebrados, las araas tambin lo son; a no ser que, los peces son vertebrados al igual que los batracios. 6. Es falso que sea indisciplinado y ocioso, porque estudio en la Universidad, pero soy ocioso; en consecuencia nunca ser profesional. 7. Es suficiente que sea necesaria la matemtica para la fsica, para que el avance cientfico no quede estancado. 8. Es falso que si se administra teniendo en cuenta los principios directrices un negocio entonces este tiene muchas posibilidades de crecer en el futuro. 9. Si un hombre es honrado, no tiene problemas personales. Este hombre no tiene problemas. En consecuencia, es honrado pero no tiene dinero y esto lo hace podre. 10. Es falso que si Vallejo es poeta, entonces Arguedas lo es tambin. 11. Sin excepcin se da que, la suma de los ngulos internos de un tringulo es 180 es equivalente a la suma de los ngulos internos de un cuadriltero regular. 12. El abogado no es justo ni competente, a condicin de que es falso que no haya consultado con los peritos sobre la cotizacin del inmueble embargado. 13. Cuando la produccin de una empresa aumenta, en consecuencia aumenta la productividad y en algunos casos la demanda. 14. Es inobjetable que, una condicin suficiente para que los pases europeos tengan baja inflacin por lo tanto estabilidad econmica, es que sus gobiernos tienen programas estratgicos de crecimiento as como modelos econmicos. 15. Subirn los intereses bancarios porque subir la cotizacin del dlar, en vista de que, subir la cotizacin del dlar solo si el gobierno no puede controlar la inflacin. 4. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si es: tautologa, contradiccin o contingencia. 1.
13

1. 2. 3. 4. 5. 6. 7. 8. 9. 10. (p q) (p q) (p q) (q p) p (q r) q (p r) (p q) p q) ( p r) ( r q) r (p q) ( p q) q (r s) (p q) (p q) (p q) (q p) ~[~(p q) ~ q] p [(p q) ~ p] (~ q p) [(p q) (p ~ q)] (~ p ~q) r
5. A continuacin se presenta una serie de ejercicios en la cual se especifica lo siguiente: 1. Si p es una proposicin falsa, determinar el valor de verdad de: (p r) r ( q p) (p q) 2. Si (p s) (r s) (q s) es Falsa. Determine los valores de verdad de: a) p q b) r s c) r s d) (p q) r 3. Si (p ( s q)) (r q) es verdadera. Determine los valores de verdad de: a) (r p) (q s) b) r s c) r q 4. Se define la siguiente operacin p * q = q p, hallar la diferencia entre el nmero de V y el nmero de F de la matriz principal de: [ (p * r) (r * p)] 5. Determinar el valor de verdad de la proposicin molecular [(p q) p] (r p) sabiendo que p es verdadera, q y r falsas. Hallar su valor de verdad. 6. Si la proposicin (p q) ( r s) es falsa, deduzca el valor de verdad de los esquemas moleculares: a) ( p q) p b) (p q) [(p q) q] c) ( r q) [( q r) s] 7. Si p y r son dos proposiciones cualesquiera y q: 2 es nmero impar, y [(r q) (r p)] es verdadera entonces el valor de verdad de los siguientes esquemas moleculares es: a) r ( p q) b) [r (p q)] (q p) ACTIVIDADES DE EVALUACIN 1. Determinar el valor de verdad de las siguientes proposiciones:
14

1. 2. 3. Dado que la luna es un satlite por lo cual gira alrededor de la tierra. Per y Ecuador se pondrn de acuerdo salvo que intervenga EE.UU. Las aves poseen pico excepto que tambin alas, pero no ocurre que sean animales acuticos. 4. 5. 6. 7. 8. Eres campen o subcampen. Este ao viajar al extranjero salvo que slo viaje a Lima. A menos que solamente seas Ingeniero, sers matemtico. Un numero es positivo si y slo si es mayor que cero Barack Obama es el primer presidente de raza negra de los Estados Unidos es suficiente para que sea admirado por todo el mundo. 9. El 18 de abril celebraremos el aniversario de Chiclayo o la cada del muro de Berln. 2. Escribe en forma simblica, identificando cada una de las proposiciones atmicas que aparezca en las afirmaciones siguientes: Esta fiesta es muy divertida y la msica es muy buena, por lo cual y segn lo cual todos la pasaron de maravilla. 2. No es cierto que no me guste bailar. 3. Me gusta bailar y leer libros de ciencia ficcin, ms an si la msica es merengue a no ser que no baile. 4. Alberto es feliz si y slo si es rico. 5. Si la liebre est alerta y es rpida, ni el zorro ni el lince podrn atraparla. 6. Si no estoy equivocado, ella conduca un carro rojo, y haba un hombre sentado a su lado. 7. Podemos o bien tratar de obtener la aprobacin del prstamo y comprar la casa o bien esperar a ver si llegamos a un mejor acuerdo. 8. Si no te vas, llamar a la polica. 9. Dos nios tienen los mismos si y slo si tienen la misma madre y el mismo padre. 3. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si es: tautologa, contradiccin o contingencia. 1. 2. 3. 4. 5. 6. 7. 8. 9. [~(p [p [~(p (p p [q (q q) r) q) ~r] r)] (~q (r (~p q) (q s) ~p)] (q ~s) q) ~r s ~s) ~(p (r s) ~p) (r 1.
~r]
~(~p ~q) ~(~p ~q) [~p (~q r)] [(p q) q) r] (~p
(q (p q)]
r) q) (p
(p r ~q)
r) (~p ~q)
10. (p
15
EQUIVALENCIAS E IMPLICACIONES NOTABLES

Ejemplos: a) Consideremos las proposiciones atmicas: p: El trabajo de lgico matemtica est bien escrito q: El trabajo de lgico matemtica est bien documentado Tenemos: El trabajo de lgico matemtica est bien escrito y bien documentado. Su esquema molecular es: (p q)
El trabajo de lgico matemtica est bien documentado y bien escrito. Su esquema molecular es: (q p)
Los dos esquemas moleculares anteriores son lgicamente equivalentes, es decir: (p q) (q p)
Los dos esquemas moleculares anteriores son lgicamente equivalentes, es decir: ( p q) (q p)
Demostrar los resultados obtenidos en las tablas de verdad. Qu puedes afirmar de esas comparaciones? Se podra decir que son iguales?, o De qu otra manera puedes expresarlas? De lo hallado y observado en las tablas de verdad, afirmamos: 3.1. Definicin de Equivalencia Lgica Decimos que dos expresiones lgicas son equivalentes si y slo si tienen siempre los mismos valores de verdad. Es decir, A es lgicamente equivalente a B, si la compuesta A B es una tautologa. La equivalencia, la simbolizamos por o tambin por Ejemplos: a) Demostrar si los siguientes esquemas moleculares son equivalentes, es decir: p q p q
Solucin: Tenemos: p q V V V F p V F q V V p V F q
16

F F V F V V V V V V
Por tanto se observa que los dos esquemas son equivalentes, es decir: p q
b) Demostrar si los siguientes esquemas moleculares son equivalentes, es decir: p q (p q) Solucin: Tenemos: p q V V V F F V F F p F F F V q V V V V F F F V (p V V V F q)
Por tanto se observa que los dos esquemas son equivalentes, es decir: p q (p q) Mediante stas tablas de verdad, comprobamos que en la equivalencia de esquemas moleculares proposicionales, podemos emplear la Bicondicional tautolgica. Para mayor comodidad utilizaremos el smbolo: 3.2. Leyes de la Equivalencia Lgica Estas leyes tienen como conectivo principal una bicondicional lo cual nos indica que los enunciados enlazados son lgicamente equivalentes. Las leyes de equivalencia ms conocidas son: 3.2.1. Ley de la Doble Negacin: p p 3.2.2. Ley de Idempotencia de la Conjuncin y la Disyuncin: p p 3.2.3. Leyes Conmutativas: p p p 3.2.4. Leyes Asociativas: (p (p q) q) r r p p (q (q r) r) q q q q q q p p p p p p p
17

(p 3.2.5. Leyes Distributivas: p p p p 3.2.6. Leyes de Identidad: p p 3.2.7. Leyes de D`Morgan: (p (p 3.2.8. Leyes de la Absorcin: p p p (p ( p (p q) q) q) q) p p p p q q q) q) ( p ( p q) q) V F p F p p F V p V (q (q (q (q r) r) r) r) (p (p (p (p q) q) q) q) (p (p (p (p r) r) r) r) q) r p (q r)
p ( p 3.2.9. Leyes del Condicional: p (p 3.2.10. Leyes del Bicondicional: p p 3.2.11. Leyes de Contraposicin: p p 3.2.12. Leyes de Exportacin: (p q) q q q q q q)
p p
q q
(p (p
q) q)
(q ( p
p) q) (p q)
q q
p p
(q
r)
18

3.2.13. Ley del Tercio Excluido: p 3.2.14. Ley de la Contradiccin: p 3.2.15. Reduccin al Absurdo: p q (p q) F 3.3. Observacin: Estas leyes pueden ser empleadas para verificar la equivalencia entre esquemas moleculares o tambin para simplificar un esquema molecular relativamente complejo a uno ms pequeo o reducido. Y para simplificar es necesario transformar los conectivos a disyuncin o conjuncin, ya que se hace ms fcil trabajar. Ejemplos: a) Simplificar: (p q) ( q p)] p Tenemos: ( p q) ( q p)] p ( p q) ( q p)] p {p q ( q p) p (p q) p p (p q) p Luego: (p q) ( q p)] p p q) ( p q) Condicional Morgan Doble negacin Absorcin Conmutativa Absorcin p F p V
b) Simplificar el esquema: (p Tenemos:
(p q) ( p q)] ( p q) (p q) ( p q)] (p q) ( p q) ( p q)] (p q) ( p q) (p q)] (p q) (p q) (p q) ( p q) (p q) Por lo tanto: (p q) ( p q) (p q)
Bicondicional y condicional Morgan Morgan Doble negacin Conmutativa Absorcin
3.4. Implicaciones Notables Determina las conclusiones correctas de las proposiciones siguientes: a) Como Barack Obama tiene descendencia Keniana es evidente que es afroamericano. Barack Obama tiene descendencia Keniana. Por lo tanto:
19

b) Salvo que no diga la verdad, soy honesto. Ms si fuese el caso que dej de ser honesto. Concluiramos: . c) Si Gilberto es cantante, es autor. Al ser autor es obvio que siempre est feliz. En consecuencia: .. d) La UNPRG brinda sus servicios de formacin acadmica a no ser que se considera una de las mejor del norte del pas. La UNPRG apertura una nueva carrera si se considera una de las mejor del norte del pas. La UNPRG no apertura una nueva carrera. En conclusin: ...................................................................................................... ..... e) Si Dios existe, no es cierto que el mal exista. Pero existe el mal en el mundo. Luego: Analicemos el ejemplo (e), es decir: Si Dios existe, no es cierto que el mal exista en el mundo. Pero existe el mal en el mundo. Luego: Dios no existe Simbolizando las proposiciones atmicas: p : Dios existe q : Existe el mal en el mundo q: No es cierto que el mal exista en el mundo p: Dios no existe Tenemos: El esquema molecular, sin la conclusin, est dado por: (p q) q Y, tomando en cuenta la conclusin el esquema quedar de la siguiente manera: (p q) q] p Entonces afirmamos, que sta condicional es una implicacin. Al determinar sus valores de verdad encontramos que la implicacin resulta ser una tautologa. Es decir: p q (p q) q] p V V V F F F V V F V F F V F V V V V V F F V F V
En consecuencia: El smbolo significa implicacin. Dada una estructura lgica, de la cual se obtiene una conclusin lgica; se dice que la condicional es una implicacin siempre que sea una tautologa. La implicacin lgica se puede expresar de dos formas: horizontal y vertical.
20

3.4.1. Forma Horizontal: Cuando la conjuncin de premisas que implican la conclusin se escribe en forma horizontal en forma explcita usando los conectivos lgicos: . Se tiene: p
1
...
3.4.2. Forma Vertical:Es tambin la forma clsica. En este caso no se escriben en forma explcita los conectivos lgicos ; . La conjuncin de las premisas se escriben verticalmente una despus de otra y al trmino de la ltima premisas se dibuja una raya horizontal y luego y a continuacin la conclusin. Se escribe: p
1 2
p . . . p
___ q Realmente el camino que se debe seguir para llevar a cabo una demostracin formal usando el mtodo directo. Significa que s se sabe que p es verdadera, p es
1 2
verdadera,... y p tambin es verdadera, entonces se sabe que q es verdadera.

m
Donde las p son llamadas hiptesis o premisas, y q es llamada conclusin.

m
Demostrar el teorema, es demostrar que la implicacin es una tautologa. Note que no estamos tratando de demostrar que q (la conclusin) es verdadera, sino solamente que q es verdadera si todas las p son verdaderas.
m
Toda demostracin debe comenzar con las hiptesis, seguidas de las tautologas y reglas de inferencia necesarias, hasta llegar a la conclusin. Para probar la validez e invalidez de los argumentos se hace atreves de las tablas de verdad o empleando en mtodo abreviado que consiste en suponer la conjuncin de premisas verdaderas y la conclusin falsa. Ejemplo: Probar si el siguiente argumento es vlido: ~p Demostracin: Tenemos: ~p (p q) q F V Es decir: q es falso, V(q) = F ~p (p q) q
(p q) = V, entonces: ~p es verdadera y (p q) es verdadera por definicin
de la conjuncin. Si ~p es verdadera, entonces p es falsa por la ley de la negacin, V(p) = F Como: (p q) = V V(p) = F y V(q) = F al reemplazar estor valores en (p q) = V se llega a una contradiccin y por esta razn se dice que el argumento es vlido.
21

Tambin podemos hacerlo mediante la tabla de verdad y verificando que su resultado es una tautologa, lo dejamos como tarea al alumno. 3.5. Leyes de Implicacin Son aquellas proposiciones compuestas donde un antecedente implica tautolgicamente a un consecuente. Leyes de las implicaciones lgicas ms comunes son: 3.6.1. Ley modus Ponendo Ponens: Se presenta de las formas siguientes: p q o tambin: (p q) p q p _______ q Si se afirma el antecedente de una premisa condicional se concluye en la afirmacin del consecuente. Ejemplo: Si en verano hay concurrencia a las playas, entonces hay equipo de salvavidas. En verano hay concurrencia a las playas. Luego: Hay equipo de salvavidas. 3.6.2. Ley Modus Tollendo Tollens: Se representa por: p q o tambin: (p q) ~q ~p ~q _______ ~p Si se niega el consecuente de una premisa condicional, se concluye en la negacin del antecedente. Ejemplo: T eres un excelente administrador si trabajas como gerente en el Banco Continental. T no eres un excelente administrador. Por lo tanto: No es cierto que trabajes como gerente en el Banco Continental. 3.6.3. Ley del Silogismo Disyuntivo: Se representa por: p q o tambin: (p q) ~p q ~p _______ q Si se niega uno de los miembros de una premisa disyuntiva, se concluye en la formacin de la otra premisa. Ejemplo: La USS se encuentra ubicada en el norte del Per o en todo caso al sur de Chile. La USS no se encuentra al sur de Chile .Por lo tanto: La USS se encuentra ubicada en el norte del Per. 3.6.4. Ley del Silogismo Hipottico: Se representa por: p q o tambin: (p q) (q r) p r q r _________
22

p r
Si p q es verdadero y q r es verdadera, entonces p r es verdadero. Esta ley indica que el condicional es transitivo. Ejemplo: La crisis financiera mundial est afectando las economas de los pases industrializados es suficiente para que haya despidos de personal en las grandes empresas productoras de artefactos elctricos. Estados Unidos tendr una economa estable si hay despidos de personal en las grandes empresas productoras de artefactos elctricos. Por consiguiente: Estados Unidos tendr una economa estable en vista que La crisis financiera mundial est afectando las economas de los pases industrializados. 3.6.5. Ley de la Conjuncin: Se representa por: p o tambin: p:q p q q ________ p q Ejemplo: La UCV est en el departamento de La Libertad. La USS est en el departamento de Lambayeque. Por lo tanto: La UCV est en el departamento de La Libertad sin embargo La USS est en el departamento de Lambayeque. 3.6.6. Ley de la Adicin: Se representa por: p o tambin: p p q ________ p q Ejemplo: Hago mucho deporte. Por consiguiente: Hago mucho deporte o estoy cansado 3.6.7. Ley de la Simplificacin: Se representa por: p q o tambin: p q p ________ p De una premisa conjuntiva se puede concluir en cualquiera de sus componentes. Ejemplo: La Tierra es plana, pero la Luna no es verde. Por lo tanto: La Tierra es plana. 3.6.8. Ley del Dilema Constructivo: Se representa por: p q o tambin: (p q) (r s) (p r) q s r s p r _________ q s
23

Si en la conjuncin de dos condicionales afirmamos los dos antecedentes disyuntivamente, se puede concluir en la afirmacin disyuntiva de los consecuentes. Ejemplo: Si Paola estudia entonces ingresar a la USS. Si Paola trabaja entonces ganar dinero suficiente para ser feliz. Pero, Paola estudia o trabaja. Luego: Paola ingresar a la USS o ganar dinero suficiente para ser feliz. 3.6.9. Ley del Dilema Destructivo: Se representa por: p q o tambin: (p q) (r s) (~q ~s) ~p ~r r s ~q ~s _________ ~p ~r Si en la conjuncin de dos condicionales negamos los dos consecuentes disyuntivamente, se puede concluir en la negacin disyuntiva de los antecedentes. Ejemplo: Si Paola estudia entonces ingresar a la USS. Si Paola trabaja entonces ganar dinero suficiente para ser feliz. Pero, Paola no ingresar a la USS o no ganar dinero suficiente para ser feliz. Luego: Paola no estudia o no trabaja. 3.6.10. Ley del Absurdo: Se representa por: p (q ~q) o tambin: p (q ~q) ~p ______________ ~p ~p (q ~q) o tambin: ~p (q ~q) p
______________ p Ejemplo: Si Carlos de Espaa es el rey, entonces es el que gobierna pero sin embargo no gobierna. Luego: Carlos de Espaa no es el rey. ACTIVIDADES DE SISTEMATIZACIN 1. Demostrar que en cada uno de los casos siguientes si los esquemas moleculares son equivalentes: 1. P: ~(p A: [p B: (p C: (p 2. A: ~(q C: ~(p q) (p ~q) ~q) ~p) ~q) (q ~ r)] ~(q [(p (q (p ~r) es equivalente a: ~q r) ~ r) ~q] ~q) q) ~ q] [(p ~[(p q) q) ~q] q],
p), B: [(~ p q) y D: ~(p
24

3. [(~ p 4. ~(p 5. ~ [(p 6. ~ [ ~(p q) q) q) q) (~ q (~p r] r)] q) [~(p (~q)] r) (p ~(q q) r)] (p r)
2. Simplificar cada una de las siguientes Proposiciones: 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. (p (p (p ~(p ~(p ~(p (~p (p [(~q ~ {[(~p q) q) q) q) q) q) q) ~ r) (~q p (p p q) ~(q (~p (r (~s (~ q p ~p) q) s) r) r) ~q)] (~p ~ (p q))] q) ~ (p q)} s ~q p)
~p) ~ q)
(~p (p
3. Determina la conclusin de las afirmaciones 1. Si digo siempre la verdad, los dems confan en m. Y si los dems confan en m, me siento seguro e independiente. Cuando me siento seguro e independiente, soy capaz de afrontar cualquier problema. Como yo digo siempre 2. El crimen se cometi de noche en la ms absoluta oscuridad o el principal sospechoso es ciego. Pero, el principal sospechoso no es ciego o miente al declarar que no vio nada. Pero, no miente o el detector de mentiras "Zopilotz" est estropeado. El caso es que el citado detector es infalible (no puede estar estropeado jams).por lo tanto: 3. No es verdad que estudies y trabajas. Si quieres conseguir dinero entonces trabajas. Luego: 4. Demostrar cada uno de los argumentos anteriores si son vlidos o no. la verdad. Luego:
25

5. Demostrar la validez o invalidez de los siguientes argumentos empleando tablas de verdad y el mtodo abreviado. 1. 2. 3. [( q p) [(p q) p] q (q r) p] r
Ahorro el sueldo cada mes o lo gasto para vivir. Si lo ahorro, no puedo vivir. Pero si quiero vivir no puedo ahorrar. Por tanto no es posible vivir y ahorrar.
4.
Las cosas son buenas en la medida en que son apetecibles y son apetecibles en la medida en que son perfectas. Por donde se ve que el grado de bondad depende del grado de perfeccin.
5.
Cuando dos cosas pueden conocerse la una por la otra y la una puede ser causa de la otra, es que tienen algo en comn. Pero no existe en la naturaleza dos cosas que tengan algo en comn, por tanto no pueden conocerse la una por la otra y as la una no puede ser causa de la otra.
6. Elabora una proposicin molecular por cada una de las leyes de equivalencia y de implicacin. 7. Prueba las reglas de inferencia y las identidades en Lgica Proposicional, mostrando en cada paso la regla o identidad implicada y las premisas utilizadas para los siguientes casos. 1. Si Julin le apost a Alfonso, entonces se gast el dinero. Si Julin se gast el dinero entonces su esposa no compra joyas y su esposa pide divorcio. Si su esposa no compra joyas, entonces los nios no comen o la esposa est enojada. Julin le apost a Alfonso y los nios comen por lo tanto su esposa est enojada. 2. Si el grupo no toca Rock and Roll, o las bebidas no llegan a tiempo, entonces el baile se cancela y Patty est enojada. Si el baile se cancela entonces hay que regresar el dinero de las entradas. No se regres el dinero de las entradas. Por lo tanto, el grupo toca Rock and Roll. ACTIVIDADES DE EVALUACIN 1. Demostrar que en cada uno de los casos siguientes si los esquemas moleculares son equivalentes: 1. ~[(~p) 2. ~{(p 3. ~ [~(p 4. ~(~ p 5. ~{(p q) q) q) q) [p q] [p (p (~p ~q] (p (~p (p q) q)]} (p ~q) q) q)]} q) (p ~q)
26

6. La formula {(E E), R: D W) [(~E W) W (W U)]} ( ~W E) equivale a : M : ~(E ~ ~D, S: E W, O: ~E
2. Simplificar cada una de las siguientes Proposiciones: 1. ~{~[~(~ p 2. {[(~p 3. [~(~p 4. [p 5. (p 6. p 7. (p 8. p 9. [(p 10. (p q q) (q ~q) (p q) ~q ) q) (r s)] (~p q) [(p (~p r) (q ~q) s)] ~ q) ~ q) (p (q r) q q)] p) (p q) (p r) q) p ~ q] q] ~(p [r [~(p [(p q)] (~r q) [p q) ~ q)]} (~p (~p p] ~ q) q p]} r)] ~q
3. Determina la conclusin de las afirmaciones 1. Me llevas a casa o no voy a la fiesta. Si no llueve entonces voy a la fiesta. En consecuencia: .. 2. Todos los que no se presentan al examen de lgico matemtica, tendrn que presentar una justificacin. Aldo no se presenta al examen de lgico matemtica. Por lo tanto: 3. Ningn nade baila vals. Ningn oficial declina nunca una invitacin a bailar el vals. Todas mis aves de corral son nades. Por lo tanto: .. 4. Lancelot ama a la reina Ginebra. Lancelot no ama a ninguno de sus amigos. El rey Arturo es amigo de Lancelot. Los amigos de Lancelot odian a aquellos a quienes Lancelot ama. Por lo tanto: 5. Si el reloj esta adelantado, entonces Rosario llego antes de las diez y vio partir al carro de Carlos. Si Carlos dice la verdad, entonces Rosario no vio partir el carro
27

de Carlos. Carlos dice la verdad o estaba en el edificio en el momento del crimen. El reloj estaba adelantado: por lo tanto: 4. Demostrar cada uno de los argumentos anteriores si son vlidos o no. 5. Demostrar la validez o invalidez de los siguientes argumentos empleando tablas de verdad y el mtodo abreviado 1. [(p q) 2. [(p q) 3. {(s r) 4. {(p r) (q r) ( r p) [r (p (s r)] r] p (q s)] (r s) q) ] ( t (p q)} s
s)} p
5. Si es da festivo, entonces salimos al campo. No salimos al campo, luego no es da festivo. 6. Si no hace fro, sube la temperatura y aumenta la venta de ventiladores. Es cierto que hace calor, por tanto sube la temperatura y aumenta la venta de ventiladores. 6. Elabora una proposicin molecular por cada una de las leyes de equivalencia y de implicacin. 7. Prueba las reglas de inferencia y las identidades en Lgica Proposicional, mostrando en cada paso la regla o identidad implicada y las premisas utilizadas para el siguiente caso: Angelina Dolores est agobiada por problemas amorosos. No se aclara. Si ama a Fierre, no ama a don Alfonso Pacheco, pero si no ama a don Alfonso Pacheco, ama a Robert. Si ama a Robert, deja de amar a Vicentico, pero si no ama a Vicentico, entonces ama al lechero de la esquina Francois. Angelina, por favor, la increpamos, es que no ests segura de tus sentimientos?Una cosa es cierta nos responde-segura de que amo a Pierre.Podras ayudarla aclarando sus ideas?
CUANTIFICADORES Y CIRCUITOS LGICOS

A diferencia de las proposiciones que hemos manejado hasta ahora, el enunciado x3 no es Verdadero ni Falso. Cuando la variable x se reemplaza por ciertos valores de x, por ejemplo 2, la proposicin resulta Falsa. Este es un ejemplo de un enunciado abierto, el cual viene a ser una proposicin slo cuando las variables son remplazadas por los nombres particulares de los objetos. Si un enunciado abierto se llama P y las variables x1, x2, , xn; escribimos P(x1, x2, , xn) y en el caso de una sola variable escribimos P(x).
28

El enunciado x1=x2+x3, es un enunciado abierto con 3 variables. Si denotamos el enunciado por P(x1, x2, x3), entonces P(7,3,4) es Verdadero, ya que 7=3+4, pero P(1,2,3) es Falso, ya que 12+3. 4.1. Definicin La coleccin de objetos que al reemplazarlos en lugar de las variables en un enunciado abierto lo convierten en una proposicin verdadera se llama el conjunto de verdad del enunciado. Antes de determinar el conjunto de verdad es necesario saber cules objetos estn disponibles para ser tomados en cuenta. Es decir, debemos haber especificado un universo de discurso. Denotemos por U = Dp el conjunto universo, es decir el dominio de la funcin proposicional. Ejemplo: Sea Q(x) en enunciado x2 = 4. Si tomamos el conjunto de los nmeros reales como el universo del discurso, el conjunto de verdad ser 2 y -2. Q(x) = {2,-2} en . Si el universo del discurso fuera el conjunto de los naturales, entonces el conjunto de verdad sera 2. Q(x) = {2} en . Recordemos que un enunciado abierto P(x) no es una proposicin, pero P(a) es una proposicin para cualquier a en el universo del discurso. Otra forma de construir una proposicin a partir de P(x) es modificndola mediante un cuantificador. 4.2. Cuantificador Universal Dado un enunciado abierto P(x) con variable x, el enunciado: x Dp: P(x). Se lee: Para Todo x en el dominio se cumple P de x. Y es verdadero precisamente cuando el conjunto de verdad para P(x) es el universo completo. El Smbolo se llama el Cuantificador Universal. 4.3. Cuantificador Existencial El enunciado: x Dp / P(x). Se lee Existe x en el dominio, tal que P de x. Y es verdadero precisamente cuando el conjunto de verdad para P(x) no es vaco. El smbolo se llama el Cuantificador Existencial. Ejemplos: Consideremos las siguientes expresiones: a) Todo hombre es mortal. Puede traducirse respectivamente como: Para todo x, si x es hombre entonces x es mortal. En forma simblica tenemos: x Dp: P(x); donde P(x): x es mortal. b) Algunos hombres son sabios. Puede traducirse respectivamente como: Existe un x, tal que x es hombre y x es sabio. En forma simblica tenemos: x Dp / P(x); donde P(x): x es hombre y x es sabio Ejemplo: Suponga que el universo es el conjunto de los , entonces: a) x, x 3 es Verdadero, pero x, x 3 es Falso. b) x, |x| > 0 es Verdadero, pero
29

x, |x| > 0 es Falso. c) x, x2 = -1 es Falso, pero x, x+2 > x es Verdadero. d) x, x3 = x es falso, pero x, x3 = x es verdadero. 4.4. Negacin de Proposiciones que Contienen Cuantificadores La negacin del cuantificador universal es el existencial y la negacin del cuantificador existencial es el universal. Es decir: [ x Dp : P(x) = x Dp / P(x) [ x Dp / P(x) = x Dp : P(x)
Ejemplos: a) Halle una negacin para: cada nmero real positivo tiene un inverso multiplicativo. Solucin: Sea el universo, el conjunto de todos los , el enunciado puede representarse por: x :x>0 y / xy = 1 Si: x=2, y=1/2 xy=1 x=3, y=1/3 xy=1 x=1/5, y=5 xy=1 Y as sucesivamente. b) Entonces la negacin de x : x > 0 y / xy = 1, es: Solucin: [ x :x>0 y / xy = 1] = ( x ) / [: x > 0 y / xy = 1] = x / [ (x > 0) y / xy = 1] = x / x > 0 [ ( y ): (xy = 1)] = x /x>0 y : xy 1 Esto ltimo se lee: Existe un nmero positivo x para el cual no hay inverso. 4.5. Circuitos Conmutadores: Un circuito conmutador es un circuito elctrico que contiene interruptores para el paso o interrupcin de la corriente. Para el diseo de estos circuitos designemos por p y q dos interruptores elctricos que dejan pasar corriente y por ~p y ~q los que no dejan pasar corriente estos se pueden conectar por un alambre en serie o en paralelo. Grficamente tenemos:
p p + q + q
30

Figura (1) Figura (2)
En la figura (1) se tiene un circuito en serie y se representa por: p q En la figura (2) se tiene un circuito en paralelo y se representa por: p q 7.4.1. Observacin: Su evaluacin en tablas de verdad es: p 1 1 0 0 q 1 0 1 0 p 1 0 0 0 q p 1 1 0 0 q V 0 1 0 p 1 1 1 0 q
Donde:
1 = verdadero (V)
0 = falso (F)
Ejemplo: Describe simblicamente el siguiente circuito:
~ p q r
q ~ p
~r
Solucin: Observemos que el circuito esta en serie y en paralelo, tenemos: ~p y q estn en paralelo es decir: ~p q p, (~p q) y q estn en serie, es decir: p (~p q) q
r y q estn en paralelo es decir: r v q ~r , (r q) y ~p estn en serie, es decir: ~r (r q) ~p
Luego: la representacin de todo el circuito es: [p (~p q) q] v [~r
(r
q)
~p]
4.6. Simplificacin de Circuitos Para la simplificacin de circuitos se debe tener en consideracin las leyes de equivalencia. Ejemplo: Del ejemplo anterior se tiene que el circuito queda simplificado de la siguiente manera: [p (~p q) q] v [~r (r q) ~p] {[p (~p q)] q} {[~r (r q)] ~p} (p q) v [(~r q) ~p] (p q) [q (~r ~p)] q [p (~r ~p)] q (p ~r) Luego: se obtiene el circuito:
p ~r
31
Ejemplo: Simplificar el siguiente circuito
p p qq q
Solucin: Tenemos: {[p (p { (p { (p [(p q) [(p p) [F q] F (q p q q) q] [q ( q p) q) [(q p) q) (q p)} p] [(q p) p] q] (q p) (q p) p) p]} p]} p p p (q p)
q p p
q p
Luego: se obtiene el circuito:
~p
q
ACTIVIDADES DE SISTEMATIZACIN
1. Simbolizar los siguientes enunciados: 1. Todo es perecedero. 2. Hay marcianos. 3. Alguien no es perfecto. 4. No hay cosas slidas. 5. Si todo es rojo, hay algo rojo. 6. Nada se mueve. 7. No todo es perecedero. 8. Todos los nevados son colombianos. 9. Hay cetceos que son peces. 10. Algunos nmeros negativos no son enteros. 2. Negar los enunciados de la parte 1. 3. Expresar en el lenguaje corriente los enunciados simbolizados que se presentan a continuacin: Sean: A(x) : x es un animal, H(x) : x es un hombre, M (x) : x es un mamfero V( x) : x es un vertebrado 1. x / A(x) V( x) 2. [x / H(x) M (x)] 3. [x : A(x) M (x)] 4. x / A(x) M (x) 5. x : H(x) M (x)
32

4. Negar los enunciados de la parte 3. 5. Disee los circuitos conmutadores correspondientes a: 1. ~ [p ~ (q v r)] 2. (p q) v [q ^ (p q) v (~p ~q) 3. (p q) (r s) 4. (p v q) [(~p v q) (p q)] 5. (p q) (q p) 6. Simplificar y hallar el equivalente a los circuitos dados: 1.
r s ~ r ~ s r p ~ r ~q p q
3.
p p q ~r q q
~ s
2.
~p
p q ~r ~p
~q
7. El costo de cada llave de instalacin del siguiente circuito es S/15. En cunto se reducir el costo de la instalacin si se reemplaza dicho circuito por el ms simple posible?
p q p ~p q
q ~q
p q q ~r
r ~q
8. Halle el resultado (tabla de verdad) de conectar en paralelo los siguientes circuitos:
1.
p q p
~q 3. p ~p p p ~q
q ~p p ~q
2.
33

ACTIVIDADES DE EVALUACIN 1. Simbolizar los siguientes enunciados: 1. Nada es perecedero. 2. Existe un nmero real que no es positivo y no es negativo. 3. Existe un paralelogramo que es equiltero y equingulo. 4. Todo nmero real elevado al cuadrado es no negativo. 5. Existe un nmero real; que sumado con cualquier nmero real, da por resultado este ltimo. 6. Hay cisnes negros. 7. Existen animales carnvoros. 8. Hay nmeros perfectos. 9. Existen ciudades de clima fro. 2. Negar los enunciados de la parte 1. 3. Simbolizar y negar los siguientes ejercicios 1. Existe un elemento x perteneciente al conjunto de nmeros reales tal que (la barra inclinada / se lee como "tal que" o "para el cual se cumple que") su cuadrado es 2. 2. Existe un elemento x perteneciente al conjunto de los nmeros reales tal que x es positivo. Con este ejemplo queremos dejar claro que el cuantificador existencial no dice ni obliga a que el elemento en cuestin sea nico - pueden ser muchos como es el caso. 3. Existen elementos x e y pertenecientes al conjunto de los reales tales que su producto es 1. 4. Existe un nico elemento x perteneciente al conjunto de los nmeros reales tal que multiplicado por dos se obtiene seis. 5. No existe un elemento x perteneciente al conjunto de los nmeros racionales tal que su cuadrado sea 2 (y efectivamente, ya que 2 no es racional) 4. Disee los circuitos conmutadores correspondientes a: 1. {[(r v q) p] v ~r} q 2. [(p q) (q r) p] r 3. [(p q) (q r) r] p 5. Simplificar y hallar el equivalente a los circuitos dados: 1.
p ~q p q
q ~p ~q ~p p ~q
34

q
2.
r ~q r ~s ~r q ~r ~r ~s s
p r p ~p ~q
3.
p p ~p ~q ~q
q r r
6. Hallar la proposicin x ms simple de manera que el circuito lgico siguiente:
p p
p p p
q q p x p q
Sea equivalente al circuito:
7. Se le pide a un grupo de candidatos someterse a un interrogatorio del tipo cierto-falso, con 4 preguntas. Disear un circuito tal que un candidato pueda tocar los botones de aquellas preguntas a las que quiere responder cierto y que el circuito indique el nmero de respuestas correctas. Sugerencias: Pngase 5 luces, correspondientes a 0, 1, 2, 3, 4 respuestas correctas, respectivamente.
35
RELACIONES Y FUNCIONES
PRODUCTO CARTESIANO
4.1. Par Ordenado: Un par ordenado es un conjunto de dos elementos ordenados de acuerdo a como aparecen. Se representa con parntesis y a los elementos se les denomina componentes. (a; b) representa el par ordenado cuya primera componente es a y b es la segunda componente. Debes observar que para que dos pares ordenados sean iguales sus componentes deben serlo. Es decir; (a; b) = (c; d) si y solo si a = c y b = d. Ejemplo: Hallar x e y si (x + 3;9) = (7; y + 4) Si (x + 3; 9) = (7; y + 4) entonces: i) x + 3 = 7 x=4 ii) 9 = y + 4 y= 5 4.2. Producto Cartesiano: El producto cartesiano de dos conjuntos no vacos A y B es el conjunto de todos los pares ordenados (a;b) donde a A y b B. El producto cartesiano de dos conjuntos no vacos se representa como: AxB =
a; b / a
B, b B .
Ejemplo: Sean los conjuntos A = {1; 2; 3} y B= {4; 5; 6}. El producto cartesiano de A y B, es: AxB={(1;4),(1;5),(1;6),(2;4),(2;5),(2;6),(3;4),(3;5) ,(3;6)} Observe que: El producto cartesiano AxB no es igual al producto cartesiano BxA. BxA = (4;1), (4;2), (4;3), (5;1), (5;2), (5;3), (6;1), (6;2), (6;3) 4.3. Representacin Grfica del Producto Cartesiano AxB. Grficamente, el producto cartesiano de dos conjuntos no vacos se representa de diferentes maneras: diagramas de flechas, diagramas de rbol, tablas y grficos cartesianos. Ejemplo: Si, el conjunto A = {1; 2; 3} y B = {4; 5; 6}. El producto cartesiano AxB es el conjunto: AxB = {(1; 4), (1;5), (1;6), (2;4), (2;5), (2;6), (3;4), (3;5), (3;6)}. Representar el producto cartesiano en las diferentes casos. ACTIVIDADES DE APLICACIN Ejemplo 1: Si se cumple que (3x 5; 2y + 1) = (7 x; 19 y), determina el valor de la expresin E = x2 + xy + y2. Solucin: Para que se cumpla la igualdad de pares ordenados las componentes correspondientes deben ser iguales. Igualando las primeras componentes: 3x 5 = 7 x 3x + x = 7 + 5 4x = 12 x=3
36

Igualando las segundas componentes: 2 y + 1 = 19 y 3y = 18 y=6 Reemplazando: E = x2 + xy + y2 E = 32 + 3(6) + 62 E = 63 2y + y = 19 1 E = 9 + 18 + 36
ACTIVIDAD DE SISTEMATIZACIN 1. Responde con V o F, segn sea el caso. ( ) (a;b) = (a;c), siempre que b = c. ( ) n(AxB) n(A).n(B) ( ) AxB = BxA, slo si A = B. ( ) Ax(B C) = AxB AxC ( ) n (AxB) es el nmero de elementos que tiene el producto cartesiano AxB. ( ) Si, A = {oro, copa, bastos, espada}y B = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11}, entonces A x B tiene 48 elementos. ( ) Si, (x y; 3) = (2; 2x 3y); entonces x + y = 4. ( ) Si, A = {1; 2; 3} y B = {2; 3; 4}, entonces el par (4; 3) pertenece a AxB. ( ) Si, A = {1; 2; 3} y B = {2; 3; 4}, entonces AxB = BxA. 2. Si, A = 2;3 y B =
1;5 . Determina el producto cartesiano AxB.
3. Si el producto cartesiano AxA tiene 16 elementos, cuntos elementos tiene el conjunto A? 4. Si, n(AXB) = 12, n(A) + n(B) = 7. Cuntos elementos tiene el conjunto A?
RELACIONES
5.1. Idea de Relacin: Sean los conjuntos: A= {Eduardo, Daniela, Santiago} y B= { Ad min istracin, Derecho, Psico log a} . Y la regla de correspondencia: .........es estudiante de la carrera profesional...............; Entonces se puede establecer el siguiente esquema:
A Eduardo Daniela Derecho Santiago Psicologa Administraci n
Otra forma de escribir el esquema anterior es con pares ordenados: R = {( Eduardo, Ad min istracin), ( Daniel, Derecho), ( Santiago, Psico log a )}
37

5.2. Relacin Teniendo en cuenta el ejemplo anterior podemos decir que una Relacin es una correspondencia entre un primer conjunto llamado dominio y un segundo conjunto llamado rango o contra-dominio de modo que a cada elemento del dominio le corresponde uno o ms elementos del contra-dominio. Su definicin matemtica es: R = {( x, y ) AxB / xRy} 5.2.1. Dominio de una relacin: Es el subconjunto de A, formado por todos los primeros componentes de los pares ordenados que pertenecen a la relacin. Dom(R) = {x A / y B; ( x, y ) R} 5.2.2. Rango de una relacin: Es el subconjunto de B, formado por todos las segundas componentes de los pares ordenados que pertenecen a la relacin. Ran(R) = { y B / x A; ( x, y ) R} En el ejemplo anterior tenemos: Dom(R) = {Eduardo, Daniel, Santiago} = A Ran(R) = { Ad min istracin, Derecho, Contabilidad} = B 5.3. Clases de relaciones 5.3.1. Relacin Reflexiva: Se llama relacin reflexiva cuando un elemento est relacionado consigo mismo y se escribe: (a, a) R, a A . Ejemplo: Sean: A= 1; 2;3; 4 , R1, R2 y R3 relaciones de A en A, definidas como: R 1 = (1;1), (2; 2), (4; 4) no es reflexiva porque (3,3) R1 R 2 = (1;1), (2; 2), (3;3), (4; 4) es una relacin reflexiva. R 3 = (1;1), (2; 2), (3;3), (4; 4), (2;3) es reflexiva 5.3.2. Relacin simtrica: ordenado (b; a ) Ejemplo: Si A= 1; 2;3; 4 y R1, R2 y R3 relaciones de A en A, definidas como: R 1 = es simtrica, si
(a; b)
, se cumple que el par
(1;3), (3;1) es una relacin simtrica.

R 2 = (1; 2), (2;1), (3; 2) R 3 = (1;1), (2; 2), (3;3), 5.3.3. Relacin transitiva: par ordenado (a; c) . no es simtrica porque el (2;3) es reflexiva y simtrica es transitiva, si
R2
, se cumple que el
(a; b) y (b; c)
Ejemplo: Si A= 1; 2;3; 4 y R1, R2 y R3 relaciones de A en A, definidas como: R 1 = (1; 2), (2;1), (1;1) no es una relacin transitiva porque los pares (2; 1) y (1; 2)
R R 2 = (1; 2), (2;1), (1;1), (2; 2) es una relacin transitiva

R pero (2;2)
R 3 = (1;1), (2; 2) es una relacin transitiva
38

5.3.4. Relacin de equivalencia: es de equivalencia si es reflexiva, simtrica y transitiva. Ejemplos: La igualdad de nmeros naturales es de equivalencia La congruencia de tringulos es de equivalencia La relacin menor < para nmeros naturales no es de equiva lencia, no es reflexiva, tampoco simtrica. 5.3.5. Relacin antisimtrica: Una relacin es antisimtrica, si (a;b) y (b; a); , se cumple que a = b. Por ejemplo la relacin: es menor igual que es una relacin antisimtrica por qu: si, a b y b a; entonces a = b. Ejemplo: Dado el conjunto A = {1, 3, 5, 7} determina cuales de las siguientes relaciones son antisimtricas: R1 = {(x, y) A2/ x y < 2} R2 = {(x, y) Solucin: R1 = {(1, 1), (1, 3), (1, 5), (1, 7), (3, 3), (3, 5), (3, 7), (5, 5), (5, 7), (7, 5), (7, 7)} En R1 no hay pares con componentes intercambiadas a excepcin de (1, 1), (3, 3) (5, 5) y (7, 7) que tienen componentes iguales R2 = {(1, 1), (1, 3), (1, 5), (3, 1), (3, 3), (5, 1)} (1, 3) (3, 1) R2 pero 1 no es igual a 3 R2 no es antisimtrica R1 es antisimtrica A2/ x + y < 7}
Ejemplo: Dado el conjunto A = {x/ x es un conjunto} determina cuales de las siguientes relaciones son antisimtricas: R1 = {(x, y) A2/ x y} R2 = {(x, y) Solucin: Si un conjunto C1 antisimtrica Si C1 C2 = significa que los dos conjuntos son disjuntos y que por lo C2 y C2 C1 se cumple que C1 = C2 R1 es A2/ x y= }
tanto son diferentes Si un conjunto C1 es disjunto con C2 tambin C2 es disjunto con C1, sin embargo C1 y C2 son diferentes R2 no es antisimtrica
5.3.6. Relacin de orden: Una relacin es de orden, si es reflexiva, antisimtrica y transitiva. La relacin anterior: es menor igual que es relacin de orden. 5.4. Relacin inversa: La relacin inversa cuya notacin es: R-1, se determina invirtiendo el orden de las componentes de las parejas ordenadas de la relacin R.
39

Matemticamente, diramos: Si R = {(x;y) / x A, y -1 BxA ; entonces R BxA Con lo que: Si R B}, R-1 = {(y;x) / (x;y) R}.
Ejemplo: Sean: A= 1;5;7 , B= 2;3; 4 , la relacin R= {(1;4), (5;2), (7;3)}entonces la relacin inversa de R, denotada por R-1 = (4;1), (2;5), (3;7) 5.5. Grficas de una relacin de R en R La grfica de una ecuacin en R2 es el conjunto de todos los puntos en R2 cuyas coordenadas son nmeros que satisfacen la ecuacin. Ejemplo: Sea la relacin en R2 definida por 2x + y = 5. Trazar la grfica, determinar el dominio y el rango de esta relacin real. 1 Interceptamos la recta con cada eje coordenado: a) Si x = 0 2(0) + y = 5, y = 5 Existe interseccin con el punto (0; 5) b) Si y = 0 2x + 0 = 5, x = 2,5. Existe interseccin en el punto (2,5; 0)
2 Trazamos la grfica:
20 15
Eje Y
10
Eje X
-4 -2 0 2 4 6
-5
-10 -6
3 Determinamos el Dominio y Rango: Dom ( ) = Todo el eje X = R Ran ( ) = Todo el eje Y = R 5.6. RELACIONES DEFINIDAS EN R LA RECTA: Son relaciones donde se da una correspondencia de primer grado entre las variables x y y, tienen la forma:
2
R = {(x, y)
/ ax + by + c = 0
a, b, c
a, b no son nulos a la vez}
Ejemplo: Construye la grfica y da el dominio y rango de la relacin: R = {(x, y) / x 5 = 0} Solucin: x5=0 x = 5, lo cual indica que para cualquier valor de y el valor de x
siempre es 5, as los puntos (5, 1), (5, 2), (5, 9) pertenecen a R Construyendo la grfica, teniendo en cuenta que dos puntos determinan una recta, se obtiene una recta paralela al eje y, que intersecta al eje de abscisas en x = 5:
40
Dom(R) = {5} Ran(R) = Ejemplo: Construye la grfica y da el dominio y rango de la relacin: R = {(x, y) / y + 6 = 0} Solucin: y+6=0 y = -6, lo cual indica que para cualquier valor de x el valor de y
siempre es -6, as los puntos (1, -6), (2, -6), (7, -6), (-4, -6) pertenecen a R Construyendo la grfica, teniendo en cuenta que dos puntos determinan una recta, se obtiene una recta paralela al eje x, que intersecta al eje de ordenadas en y = -6:
Dom(R) = Ran(R) = {-6}
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / 2x 3y 12 = 0} Solucin: Si x = 0 Si y = 0 2(0) 3y 12 = 0 2x 3(0) 12 = 0 y = -4. x = 6. El par (0, -4) El par (6, 0) R R
Construyendo la grfica de la recta que pasa por los puntos (0, -4) y (6, 0) se tiene:
41
Dom(R) =
y Ran(R) =
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = 5x + 10}
Solucin: Si x = 0 Si y = 0 y = 5(0) + 10 0 = 5x + 10 y = 10 x = -2 El par (0, 10) El par (-2, 0) R R
Construyendo la grfica de la recta que pasa por los puntos (0, 10) y (-2, 0) se tiene:
Dom(R) =
y Ran(R) =
Cuando la ecuacin tiene la forma y = mx + b, m da la pendiente, o tangente del ngulo de inclinacin, de la recta y b la ordenada del punto de interseccin con el eje y.
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) /
x 4
y 6
1}
Solucin: Si x = 0 Si y = 0
0 4 y 6 1
y=6 x=4
El par (0, 6) El par (4, 0)
R R
x 4
0 6
42

Construyendo la grfica de la recta que pasa por los puntos (0, 6) y (4, 0) se tiene:
Dom(R) =
y Ran(R) =
x a y b 1,
Cuando la ecuacin tiene la forma
se denomina forma simtrica y
los valores a y b indican la abscisa y ordenada de los puntos de interseccin de la recta con el eje x y con el eje y respectivamente.
LA CIRCUNFERENCIA: relacin en la que los puntos en el plano cartesiano son equidistantes de un punto fijo de dicho plano (centro). La distancia del centro a cualquiera de los puntos se denomina radio. En forma general una circunferencia corresponde a una relacin de la forma:
2
R = {(x, y)
/ x2 + y2 + Dx + Ey + F = 0
D2 + E2 > 4F}
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x2 + y2 9 = 0}
Solucin: x2 + y2 = 32 se dice que la ecuacin de la circunferencia est en su forma cannica, donde su centro es el origen de coordenadas O(0, 0) y su radio mide 3 Construyendo la grfica de la circunferencia se tiene:
43
Dom(R) = [-3, 3] y Ran(R) = [-3, 3] Cuando la ecuacin de la circunferencia se expresa como x2 + y2 = r2 est en su forma cannica, su centro est en el origen de coordenadas O(0,0) y su radio mide r. Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x2 + y2 4x + 6y + 9 = 0} Solucin: x2 + y2 4x + 6y + 9 = 0 + 3)2 = 22 La ecuacin de la circunferencia expresada como (x 2)2 + (y + 3)2 = 22 est en su forma ordinaria, donde su centro es el punto C(2, -3) y su radio mide 2. (x2 4x + 4) + (y2 + 6y + 9) = 4 (x 2)2 + (y
Dom(R) = [0, 4] y Ran(R) = [-1, -5] Cuando la ecuacin de la circunferencia se expresa como (x h)2 + (y k)2 = r2 est en su forma cannica, su centro est en el punto C(h, k) y su radio mide r. Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x2 + y2 + 8x 2y + 1 = 0}
44

Solucin: x2 + y2 + 8x 2y + 1 = 0, la ecuacin de la circunferencia expresada en su forma general y su centro es el punto C
82 ( 2) 2 2 4(1)
8 2
2 2
= C(-4, 1) y su radio mide r
=4
Dom(R) = [-8, 0] y Ran(R) = [-3, 5] Cuando la ecuacin de la circunferencia se expresa: x2 + y2 + Dx + Ey + F = 0 est en su forma general, su centro es el punto C
D2 E2 2 4F
D 2
E 2
, su radio mide
r =
, su dominio es Dom(R) =
E 2 r
D 2
r,
D 2
y su rango es
Ran(R) =
E 2
r,
LA PARBOLA: es una relacin donde la regla de correspondencia relaciona una variable lineal y una variable cuadrtica y se expresa de cualquiera de las dos siguientes formas:
2
R = {(x, y)
/ y = ax2 + bx + c
a 0} con eje de simetra vertical. Si a > 0 se
abre hacia arriba y si a < 0 se abre hacia abajo.
45

R = {(x, y)
2
/ x = ay2 + by + c
a 0} con eje de simetra horizontal. Si a > 0 se
abre hacia la derecha y si a < 0 se abre hacia la izquierda.
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = 4x2}
Solucin: y = 4x2, la ecuacin de la parbola est en su forma cannica, donde su vrtice es el origen de coordenadas, el eje de simetra es vertical y se abre hacia arriba
Dom(R) =
y Ran(R) = [0, + >
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = -2x2}
Solucin: y = -2x2, la ecuacin de la parbola est en su forma cannica, donde su vrtice es el origen de coordenadas, el eje de simetra es vertical y se abre hacia abajo
46

Dom(R) = y Ran(R) = <- , 0]
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x = 3y2}
Solucin: x = 3y2, la ecuacin de la parbola est en su forma cannica, donde su vrtice es el origen de coordenadas, el eje de simetra es horizontal y se abre hacia la derecha.
Dom(R) = [0, + > y Ran(R) =
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x = -2y2}
Solucin: x = -2y2, la ecuacin de la parbola est en su forma cannica, donde su vrtice es el origen de coordenadas, el eje de simetra es horizontal y se abre hacia la izquierda
Dom(R) = <- , 0] y Ran(R) = Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = x2 4x + 6}
47

Solucin: y = x2 4x + 6 y 2 = x2 4x + 4 y 2 = (x 2)2, la ecuacin de la
parbola est en su forma ordinaria, donde su vrtice es el punto V(2, 2), el eje de simetra es vertical y se abre hacia la arriba
Dom(R) =
y Ran(R) = [2, + >
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x = -y2 + 4y 10} Solucin: x = -y2 + 4y 10 x + 6 = -(y2 4y + 4) x + 6 = -(y 2)2, la ecuacin
de la parbola est en su forma cannica, donde su vrtice es el punto V(-6, 2), el eje de simetra es horizontal y se abre hacia la izquierda
Dom(R) = <- , -6] y Ran(R) = Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / y = -3x2 + 12x - 8}
Solucin:
48

y = ax2 + bx + c, la ecuacin de la parbola est en su forma general y la abscisa del vrtice se puede determinar mediante la expresin x =
b 2a
, el
valor de la ordenada se obtiene reemplazando el valor anterior en la ecuacin. y = -3x2 + 12x 8 Si x = 2 la abscisa del vrtice es x =
(12) 2( 3)
=2
y = -3(2)2 + 12(2) 8
y = 4 es la ordenada del vrtice.
La parbola tiene vrtice en el punto V(2, 4), su eje de simetra es vertical y se abre hacia abajo.
Dom(R) =
y Ran(R) = <- , 4]
Ejemplo: Construye la grfica y da el dominio y rango de: R = {(x, y) / x = 2y2 + 12y + 15} Solucin: x = ay2 + by + c, la ecuacin de la parbola est en su forma general y la ordenada del vrtice se puede determinar mediante la expresin y =
b 2a
, el
valor de la abscisa se obtiene reemplazando el valor anterior en la ecuacin. x = 2y2 + 12y + 15 Si y = -3 la ordenada del vrtice es y =
(12) 2( 2)
= -3
x = 2(-3)2 + 12(-3) + 15
x = -3 es la abscisa del vrtice.
La parbola tiene vrtice en el punto V(-3, -3), su eje de simetra es horizontal y se abre hacia la derecha.
49
Dom(R) = [-3, + > y Ran(R) =
ACTIVIDAD DE SISTEMATIZACIN 1. Escribe por comprensin las siguientes relaciones.
1; 4 ; 2;9 ; 3;16 ; 4; 25 (0;1); 1; 2 ; 2; 5 ; 3;10 2; 5 ; 1; 3 ; 0; 1 ; 1;1 ; 2;3
2. Determina las inversas de las relaciones del ejercicio 1 3. Halla el dominio y rango de las siguientes relaciones reales. 1. 3 x 3 y 2 3 xy 6 0 2. 3. 4.
4 x2 2 x2 3y
9 y2 2 y2 6 x2
los
36 32 12 0
4. Determina la relacin inversa de la siguiente relacin real. xy 5. Dados conjuntos: A=
2x
y la
4
R=
3; 4;5;6 y
B=
4;6;8
relacin
{( x, y )
AxB / x
y 11} Cuntos pares ordenados satisfacen la relacin R?

y B= 1; 4;6;9 y la relacin R= Cuntos
( x, y) AxB / y x2
6. Dados los conjuntos: A= 1; 2;3; 4
pares ordenados satisfacen la relacin R? 7. Hallar el valor de x e y, para que los pares siguientes sean iguales. (2x-7y;5) y (20,x-y) 8. Sean A =
2;3;8;9
y B =
4;6;7 ;
R1 =
( x, y )
AxB / x 2
2 , R2 =
( x, y )
9. Sean
BxA / x y . Hallar Ran (R 1 )

los conjuntos: A= 2; 4;6 ,
Dom (R 2 ) B= 1;3;5;7 Hallar las relaciones:R=
{( x, y )
AxB / x. y
6}
ACTIVIDAD DE EVALUACIN
1. Calcula x.y, sabiendo que: (5 x, 2y 3) = (3 x 7, 5y 18) a) 12 b) 18 c) 16 d) 15 e) 21
50

2. A que cuadrante pertenece el par ordenado (x y, y x), sabiendo que:(2x + y, 20) = (15, 3x y) a) IC b) IIC c) IIIC d) IVC e) Est sobre uno de los ejes 3. Cuntos pares ordenados cumplen con la condicin (xy, x+y) = (24, 10)? a) 0 b) 1 c) 2 d) 3 e) 4 4. 04. Dados los conjuntos A, B y C, sabemos que: n(A x B) = 84, n(B x C) = 98 y n(A) + n(C) = 26. Calcula cuntos elementos ms tiene C que A. a) 2 b) 3 c) 4 d) 6 e) 7 5. En A = {1, 2, 3, 4, 5} se define R: R = {(1,1), (2,2), (3,3), (5,1), (2,4), (5,4), (5,2), (4,3) (3,5)} Si M = {x A / (x, 2) R N = {y A / (3, y) R} P = {x A / (x, 5) R} Entonces: (M N) P es: a) {2, 5} b) {3, 5} c) {3} d) {5} e) {1,2,4,5} 6. Sean los conjuntos:A = {x N/ -1 x < 5}, B = {x Z/ 2 x 4} y las relaciones: R1 = {(x, y) A x B / x < y} R2 = {(x, y) A x B/ x + y = 3} Halla el nmero de elementos de:Dom(R1) Ran(R2) a) 0 b) 1 c) 2 d) 3 e) 4
FUNCIONES
6.1. Funcin: Una funcin es una regla que asigna a cada elemento de un conjunto A uno y slo un elemento de un conjunto B. El conjunto A es el dominio de la funcin, y el conjunto B es el contra-dominio de la funcin. Ejemplo 1: Dados los conjuntos: A = {1, 3, 5, 7, 9} y B = {2, 4, 6, 8, 9}, determina cuales de las siguientes relaciones son funciones: R1 = {(x, y) A x B/ x + y es mltiplo de 5} R2 = {(x, y) A x B/ x = y + 1} R3 = {(x, y) A x B/ y = x2} R4 = {(x, y) A x B/ x y deja resto igual 3} Solucin: R1 = {(1, 4), (1, 9), (3, 2), (7, 8), (9, 6)} R1 no es funcin R2 = {((3, 2), (5, 4), (7, 6), (9, 8)} R2 si es funcin R3 = {(3, 9)} R3 si es funcin R4 = {(3, 4), (3, 6), (3, 8), (3, 9), (5, 2), (7, 4), (9, 6)} R4 no es funcin 6.1.1. Dominio de una Funcin: Es el conjunto de todas las primeras componentes y se denota por: Df o Dom f
Df x A/ !y B (x, y) f A 6.1.2. Rango de una Funcin: Es el conjunto de todas las segundas componentes y se denota por R f o Ran f:
Rf y B/ x A (x, y) f B
Ejemplo: Sea f={(1,2),(3,4),(5,6),(7,8)}su dominio y rango es: Df ={1,3,5,7}; R f ={2,4,6,8}.
51

6.2. Grfica de una funcin Al igual que en el caso de las relaciones, una forma sencilla de analizar las funciones es a travs de grficas, que permiten visualizar el que sea una funcin, el tipo de funcin, los pares que pertenecen a la funcin, su dominio y su rango. Se puede utilizar un Diagrama Sagital, utilizando diagramas de Venn-Euler para los conjuntos de partida y llegada, donde mediante flechas se indican los elementos que estn relacionados; o tambin un Plano Cartesiano donde en el eje de abscisas o eje X se representan los elementos del conjunto de partida y en el eje de ordenadas o eje Y se representan los elementos del conjunto de llegada, Ejemplo: Dados los conjuntos: A = {1, 2, 3, 4, 5} y B = {3, 7, 9, 11, 13} y la funcin: f = {(x, y) A x B / y = 2x + 1}. Determina y grafica f. Solucin: x=1 y = 2(1) + 1 = 3; x = 2 y = 2(2) + 1 = 5 B; x = 3 7; x = 4 y = 2(4) + 1 = 9; x = 5 y = 2(5) + 1 = 11. La funcin f es: f = {(1, 3), (3, 7), (4, 9), (5, 11)}
y = 2(3) + 1 =
Diagrama Sagital Dom(f) = {1, 3, 4, 5} y Ran(f) = {3, 7, 9, 11}
Diagrama Cartesiano
6.3. Tipos de Funciones Existen diversos tipos de funciones, algunas asocian a cada elemento del rango un nico elemento del dominio; en otras existe una preimagen para cada elemento del conjunto de llegada. Etc. En esta parte slo abordaremos los tipos de funciones ms caractersticas son son las inyectivas, sobreyectivas y biyectivas. 6.3.1. Funcin inyectiva: Si f es una funcin de A en B, se dice que f es inyectiva si a elementos diferentes del dominio les corresponde diferentes imgenes en B. Una funcin f: A B es inyectiva x1, x2 Dom(f), x1 x2 f(x1) f(x2) Una funcin f: A B es inyectiva x1, x2 Dom(f), f(x1) = f(x2) x1 = x2
52
6.3.2. Funcin sobreyectiva: Si f es una funcin de A en B, se dice que f es sobreyectiva si el rango de la funcin es igual al conjunto de llegada B. Una funcin f: A B es sobreyectiva Ran(f) = B Una funcin f: A B es sobreyectiva y B, x A/ (x, y) f
6.3.3. Funcin biyectiva: Si f es una funcin de A en B, se dice que f es biyectiva si a la vez es inyectiva y sobreyectiva. Para todo elemento del conjunto de llegada existe un nico elemento que pertenece a A del cual es imagen. Una funcin f: A B es biyectiva f es inyectiva y f es sobreyectiva Una funcin f: A B es biyectiva y B, !x A/ (x, y) f
53

6.4. Funciones Reales Muchas funciones estn definidas en el conjunto de los nmeros reales R o en algn subconjunto de R, estas funciones se analizan algebraica y grficamente para la determinacin de sus propiedades, como dominio, rango y comportamiento. 6.5. Regla Prctica para Calcular el Dominio Si la funcin es polinomial el dominio es el conjunto de los nmeros reales (R). Adems si la funcin polinomial es de grado impar, el rango tambin es R. Ejemplo: i) f(x) = 6x8 +x5 + x3 + 3 Dom(f)= R 3 2 ii) g(x) = x 2x +x +3 Dom(g) = R y Ran(f) = R Si la funcin es racional: F(x) = H ( x) , el dominio se obtiene como:
G ( x)
Dom (f) = R {x/ G(x) = 0} Ejemplos: i) ii) iii) F(x) = 2 x 3 x 2 x G(x) = 2 x 9 H(x) = DF = R { 2 } DF = R { 3, -3 } DF = R
x 5 x 2 16
0
Observacin: x2 + 16 DF = {x Ejemplos: i) F(x) = 6 x Observe que: 6 x 0 Luego: DF =<- ; 6] ii) G(x) =
Si la funcin es irracional: F(x) =
G ( x ) , el dominio se obtiene como:
R / G ( x)
0}
6 x
x 6
x 3 x 4
Obs. x - 4 >0 x>4 Luego: DF =<4; + > Nota: No existe una regla especfica para el clculo del rango, sin embargo se recomienda despejar x en funcin de y para luego analizar para que valores de y la funcin est definida. Ejemplo: Halle el rango de: Solucin: i) x - 2 0
F ( x) 3x 1 x 2
x 2 Luego: DF= R {2} 3x 1 ii) Rango: y despejando x en funcin de y x 2 yx 2y = 3x 1 yx 3x = 2y 1
54

x(y-3) =2y 1 Como: y - 3 0 y
x
3
2y 1 y 3
Luego: RF = R {3}
6.6. Funciones Especiales 6.6.1. Funcin Constante: f(x) = c, es decir:
{ (x, y) RxR/y
c, " c" es constante }
Donde Df =R; R f = {c}. Su grfica es:
Y c 0
6.6.2. Funcin Lineal:
f(x)=c
f {(x, y) RxR/y ax b, a 0} ,
Y X
Donde: Df =R; R f =R.
6.6.3. Funcin Raz Cuadrada: f(x)
x . Donde: Df = R ;
Rf
= 0,
6.6.4. Funcin Valor Absoluto: A la funcin f le llamaremos funcin valor absoluto si x, x 0, su regla de correspondencia es: f(x)=x , es decir: x x, x 0.
f(x)=x
Donde: Df = R ;
R f = 0,
55

6.6.5. Funcin Cuadrtica: f(x) = ax2 +bx + c, a 0 Si a>0 se tiene Si a<0, se tiene Donde: v: Vrtice
V b 4ac b 2 ; 2a 4a
b2
Si a>0: Df= R, Rf = [ 4ac

4a
>
4ac b 2 4a
Si a<0: Df= R, Rf =<-
Operaciones con Funciones 6.7.1. Suma de funciones: Sean f y g dos funciones de variable real definidas en un mismo intervalo. Se llama suma de ambas funciones, y se representa por f + g, a la funcin cuya regla de correspondencia es: 6.7.2. Resta de funciones: Del mismo modo que se ha definido la suma de funciones, se define la resta de dos funciones de variable real f y g, como la funcin cuya regla de correspondencia es: Para que esto sea posible es necesario que f y g estn definidas en un mismo intervalo. 6.7.3. Producto de funciones: Sean f y g dos funciones de variable real, y definidas en un mismo intervalo. Se llama funcin producto de f y g a la funcin cuya regla de correspondencia es: 6.7.4. Cociente de funciones: Dadas dos funciones de variable real, f y g, y definidas en un mismo intervalo, se llama funcin cociente de f y g a la funcin cuya regla de correspondencia es:
La funcin f/g est definida en todos los puntos en los que la funcin g no se anula. 6.7.5. Producto de un nmero por una funcin: Dado un nmero real a y una funcin f, el producto del nmero por la funcin es la funcin definida por: 6.7.6. Composicin de funciones Si se tienen las funciones: f = {(1, 3), (2, 4), (3, 5), (4, 6), (5, 7), (6, 8)} y g = {(4, 1), (9,2),(7, 4), (10, 6), (12, 8)} entonces para algunos pares de g la segunda componente es igual a la primera componente de algn par ordenado de f y podramos relacionar la primera componente del par de g con la segunda componente del par ordenado de f, as:
56

g (4, 1) (9, 2) (7, 4) (10, 6) f (1, 3) (2, 4) (4, 6) (6, 8) par resultante (4, 3) (9, 4) (7, 6) (10, 8)
Obteniendo de esta forma una nueva funcin h = {(4, 3), (9, 4), (7, 6), (10, 8)} la cual se dice que es la composicin de las funciones f y g, en ese orden, y que se representa (f g). Dadas dos funciones f: C D y g: A B, se denomina f composicin g, y se representa f g, a la funcin de A D, donde a un valor x Dom(g) se le hace corresponder el valor f[g(x)] Ran(f). f g = {(x, y)/ y = f[g(x)], x Dom(g) g(x) Dom(f)}
Ejemplo: Dadas las funciones: f = {(2, 5), (4, 8), (6, 9), (7, 7), (8, 10)} y g = {(5, 8), (8, 9), (9, 2), (10, 4), (11, 13)}. Determina (f o g) y (g o f). Solucin: Para (f o g) su dominio es subconjunto del Dom(g) y su rango es subconjunto del Ran(f), construyendo el diagrama correspondiente se tiene:
Del grfico puede observarse que:
57

(5, 8) (9, 2) (10, 4) g g g (8, 10) (2, 5) (4, 8) f f f (5, 10) (9, 5) (10, 8) fog fog fog
f o g = {(5, 10), (9, 5), (10, 8)} Para (g o f) su dominio es subconjunto del Dom(f) y su rango es subconjunto del Ran(g), construyendo el diagrama correspondiente se tiene:
Del grfico puede observarse que: (6, 9) (4, 8) (8, 10) (2, 5) f f f f (9, 2) (8, 9) (10, 4) (5, 8) g g g g (6, 2) (4, 9) (8, 4) (2, 8) gof gof gof gof
g o f = {(6, 2), (4, 9), (8, 4), (2, 8)} Como puede observarse, en general f o g g o f, es decir la composicin de
funciones no es conmutativa, y hay que tener cuidado con el orden en que se componen las funciones. : f(x) = 2x 3 y g(x) = x2 + 1. Determina (f o
Ejemplo: Dadas las funciones en g)(x) y (g o f)(x). Solucin:
La composicin de funciones, cuando stas vienen dadas por ecuaciones implica una sustitucin de variables, reemplazando una funcin en otra. (f o g)(x) = f[g(x)] = f(x2 + 1) = 2(x2 + 1) 3 = 2x2 + 2 3 (f o g)(x) = 2x2 1 (g o f)(x) = g[f(x)] = g(2x 3) = (2x 3)2 + 1 = 4x2 12x + 9 + 1 (g o f)(x) = 4x2 12x + 10 6.7. Funcin Inversa
58

Sabemos que toda funcin es una relacin, pero la relacin inversa no siempre es una funcin. Por ejemplo: Si A =
2; 1;0; 2
y B =
0;1; 2; 4;5
y f: A
B ; f ( x)
x 2 , entonces:
f = ( 2; 4), ( 1;1), (0;0), (2; 4) La inversa de esta relacin es el subconjunto de BxA: g = (4; 2), (1; 1), (0;0), (4; 2) Se observa que g no es una funcin de B en A, por que no se condicin de unicidad, ya que 4 tiene un par de imgenes en A. cumple la
ACTIVIDADES DE APLICACIN 1. Sean las funciones f(x) = 3x + 1, y g(x) = 2x - 4. Definir la funcin f + g y calcular las imgenes de los nmeros 2, -3 y 1/5. Solucin: La funcin f + g se define como (f + g) (x) = f(x) + g(x) = 3x + 1 + 2x - 4 = 5x - 3. (f + g) (2) = 5 2 - 3 = 7 (f + g) (-3) = 5(-3) - 3 = -18 (f + g) (1/5) = 5 1/5 - 3 = -2 Obsrvese que si se calculan las imgenes de f y g por separado y se suman, el resultado es el mismo. Por ejemplo, para la imagen de 2,
f (2) g (2)
2.
3.2 2.2
1 4
7 0
f (2)
g (2)
Dadas las funciones f (x) = x2 - 3, y g(x) = x + 3, definir la funcin (f - g)(x). Calcular las imgenes de 1/3, -2 y 0 mediante la funcin f - g. Solucin:
Calculando las imgenes de los nmeros mediante las funciones f y g por separado, y efectuando la resta, se obtiene el mismo resultado. 3. Dadas las funciones f ( x) Solucin:
x 3 y g ( x) 3
2x
1 . Definir la funcin f.g
59
4.
Calculando las imgenes de los nmeros mediante las funciones f y g por separado, y multiplicando despus, se obtienen los mismos resultados. Dadas las funciones f(x) = -x - 1, y g(x) = 2x + 3, definir f/g. Calcular las imgenes de los nmeros 1; 2 y 3/2; mediante f/g Solucin:
La funcin f/g est definida para todos los nmeros reales, salvo para x = -3/2, donde la funcin g se anula.
Calculando por separado las imgenes de los nmeros mediante las funciones f y g, y despus efectuando su cociente, se obtienen los mismos resultados. 5. Dada la funcin f(x) = x2 + x 2, calcular 3.f los nmeros 2, 1 y 0 mediante la funcin 3 f. Solucin: y
1 .f 3
Obtener las imgenes de
3. f ( x)
1 . f ( x) 3
3. f ( x)
1 . f ( x) 3
3( x 2
1 2 x 3
2)
3x 6
3x 2
3x
(3.f)(2) = 3.22 + 3.2 6 = 12 (3.f)(1) = 3.12 + 3.1 6 = 0 (3.f)(0) = 3.02 + 3.0 6 = 6 ACTIVIDADES DE SISTEMATIZACIN 1. Hallar ( a + b) para que: A = { (2;5); (1;3); (b -2a; 3); (1; a2 b2 ); (2; 2a + b)} sea una funcin. A) 0 B) 1 C) 2 D) 3 E) 5 Sean f y g dos funciones definidas por:F = { (2; a + b + c), (1; a-b-c), (2;8),(3; b+c), (4;a), (1;2)} y G = { (x; y) F / y x = 1}. Entonces, el nmero de elementos de la funcin G, es: A) 1 B) 2 C) 3 D) 4 E) 5 Dado: F : A B F Si: F(1) + F(2) + F(3) = 0, 1 a Hallar 2 b (a b)3 (b c)3 (a c)3 3 c E abc A) 3 B) 3 C) 2 D) 6 E) 1
2.
3.
60

4. Hallar el dominio de la funcin: F ( x) A) [-1; > U [2; + > <1; 2] D) <- ; -1> U <1/2; 2> 5. Determine el rango de: F ( x) A) R puede. 6. 7. B) R
+
x2 x 2 1 2x
; -1] U < 1/2; 2] C) < ; -1] U
B) <-
E) [-1;2]
5
> D) R {5} E) No se
C) [ 5; +
Sea F una funcin real, tal que: F ( x)
x2 ;
3 el rango de F es:
8.
9.
A) [4;9] B) <4;9] C) [-4; 9] D) [0; 4] E) [0;9] Si la funcin ganancia, en la editorial MI ACADEMIA, est dada por: G(x) = -3x2 + 96x + 552. Indicar como respuesta la suma de las cifras de la ganancia mxima. A) 6 B) 7 C) 4 D) 5 E) 7 Siendo F una funcin lineal tal que: { (n;n), (3;9), (-1;1)} F. Halle el valor de: 2n2 +3 A) 35 B) 3 C) 53 D) -32 E) 21 2 Una bola se coloca en el punto P de la parbola y = x x 6 cuya ordenada es 6. Se le deja rodar por la parbola hasta que llegue a un punto Q, cuya ordenada es -6, entonces la distancia mnima horizontal recorrida por la bola es: A) 2 B) 3 C) 4 D) 5 E) 6 ACTIVIDADES DE EVALUACION
1. Si F representa a una funcin: F= {(3; 7a + 2b), (2; 5), (2;a+ 2), (3; 5b - 2a)} cul (o cules) de los siguientes conjuntos son funciones? A = {(a; b), (b -a; 5), (5; b - a), (a + b; 5)}, B = {(3; b), (b ; 3), (3; 8), (9; 2a - b)}, C = {(3; 5), (9; 7), (b; a), (5a + 3b)} 2. Sean: f = {(0;2); (2;4); (4;6); (6;8)} y g = {(0;3); (2;5); (4;1); (6;8)}. Calcular: f/g, g 3f, (4f)(2g), 2f-1 + g-1 , fog 3. Sean las funciones definidas como: f(x) = 2x 4 y g(x) = x2 4x + 5.Calcular: f/g; g 3f; (4f)(2g), 2f-1 + g-1; fog 4. Determina: Dominio, rango y las inversas de las siguientes relaciones reales. a)x2 + 4y = 4 b)3x2 + 2y 8 = 0 c)3x2 4y2 = 12 d)x2 2x + y + 1 = 0 5. Sea g una funcin natural (g:N N), definida por: g(x) = x + 5. Determina el Dominio y Rango de esta funcin. 6. Siendo: f(x) = x2 5x + 6 +
1 x 7
x 5 . Determina su Dominio.
c)f(x 2) = 3x + 11
7. Determina si las siguientes funciones son inyectivas o suryectivas. a) f(x) = x2 3x + 5 d) f(x 5) = 3x + 7 b) f(x) =
x 1
8. Sea f una funcin real definida por: f(x + 1) = x2 + 1. Calcula f(a).
9. Calcula la funcin inversa de la funcin definida como: f(x 5) = 3x + 7. 10. Halla: (f o g), si: f(x) = 2x+6, x [0, 8], g (x) = x2 1, x [ -2, 2 >
a) 2x2 4 b) 2x + 4
61

c) 2x2 2 d) 2x2 + 4 e) 2x 4
62

Logica Basica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Basica

Cargado por

Copyright:

Formatos disponibles

Walter Orlando Gonzales Caicedo

Gonzales Caicedo Walter Orlando

Walter Orlando Gonzales Caicedo

El presente modulo est elaborado para el desarrollo del curso de Matemtica.

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

SIMBOLIZACIN Y VALORACIN DE PROPOSICIONES

Para dos proposiciones: p, q se tiene la siguiente tabla de verdad:

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Por lo tanto su tabla de verdad es: p V V F F q V F V F p q F V V F

Walter Orlando Gonzales Caicedo

Su tabla de verdad queda de la siguiente manera: p q V V V F F V F F p V F V V q

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

~(~p ~q) ~(~p ~q) [~p (~q r)] [(p q) q) r] (~p

Walter Orlando Gonzales Caicedo

EQUIVALENCIAS E IMPLICACIONES NOTABLES

Los dos esquemas moleculares anteriores son lgicamente equivalentes, es decir: (p q) (q p)

Los dos esquemas moleculares anteriores son lgicamente equivalentes, es decir: ( p q) (q p)

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

b) Simplificar el esquema: (p Tenemos:

(p q) ( p q)] ( p q) (p q) ( p q)] (p q) ( p q) ( p q)] (p q) ( p q) (p q)] (p q) (p q) (p q) ( p q) (p q) Por lo tanto: (p q) ( p q) (p q)

Bicondicional y condicional Morgan Morgan Doble negacin Conmutativa Absorcin

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

verdadera,... y p tambin es verdadera, entonces se sabe que q es verdadera.

Donde las p son llamadas hiptesis o premisas, y q es llamada conclusin.

(p q) = V, entonces: ~p es verdadera y (p q) es verdadera por definicin

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

p), B: [(~ p q) y D: ~(p

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

CUANTIFICADORES Y CIRCUITOS LGICOS

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

Ejemplo: Describe simblicamente el siguiente circuito:

r y q estn en paralelo es decir: r v q ~r , (r q) y ~p estn en serie, es decir: ~r (r q) ~p

Luego: la representacin de todo el circuito es: [p (~p q) q] v [~r

Walter Orlando Gonzales Caicedo

Ejemplo: Simplificar el siguiente circuito

Luego: se obtiene el circuito:

Walter Orlando Gonzales Caicedo

8. Halle el resultado (tabla de verdad) de conectar en paralelo los siguientes circuitos:

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

6. Hallar la proposicin x ms simple de manera que el circuito lgico siguiente:

Sea equivalente al circuito:

Walter Orlando Gonzales Caicedo

Walter Orlando Gonzales Caicedo

1;5 . Determina el producto cartesiano AxB.