UNIVERSIDAD DE CARABOBO FACULTAD DE CIENCIAS Y TECNOLOGIA DEPARTAMENTO DE COMPUTACION UNIDAD ACADEMICA MATEMATICAS DE LA COMPUTACION ELEMENTOS DISCRETOS I

GUIA PRCTICA

SEMESTRE OCT2011-MAR2012

NOCIONES DE LGICA (PARTE I)

I.- Parte terica: Lgica. Razonamiento. Tipos de Razonamiento: Deductivo e Inductivo. Proposicin. Proposicin simple. Proposicin compuesta. Premisa. Conclusin. Valor de verdad. Lenguaje de la lgica simblica. Alfabeto (entre ellos, smbolos del metalenguaje), reglas de formacin, axiomas o cadenas iniciales y reglas de transformacin. Conectivos lgicos. Tablas de verdad. Agrupacin y parntesis. Tautologa. Contradiccin. Contingencia. Equivalencia lgica. Leyes lgicas. Simplificacin de frmulas bien formadas. 1. Determine si los siguientes enunciados son verdaderos o falsos: 1.2.- Es falso que la proposicin p q es equivalente a (p q) (q p). verdadero falso 1.3.- Es verdadero que una expresin imperativa es una proposicin. verdadero falso

1.1.- Cualquier proposicin compuesta que contenga condicionales o bicondicionales puede ser escrita como una proposicin compuesta equivalente solo con , y . verdadero falso 2. Seleccin mltiple:

2.1. Sean p, q, r y s las siguientes proposiciones: p: Termino de escribir mi programa de computacin antes de comer, q: Juego al tenis por la tarde, r: Hace sol, s: Hay poca humedad. La expresin (p r s) q equivale a decir: (Seleccione la respuesta correcta) a) Si termino de escribir mi programa de computacin antes de comer y hace sol entonces si hay poca humedad jugar al tenis por la tarde. b) Jugar al tenis por la tarde siempre que termine de escribir mi programa de computacin antes de comer, haga sol y haya poca humedad. c) Es necesario que termine de escribir mi programa de computacin antes de comer y haga sol y haya poca humedad para que juegue al tenis por la tarde. d) Ninguna de las anteriores. 2.2. Indique cuantas filas se necesitan para la tabla de verdad de la proposicin (p q) [(r s ) t] (Seleccione la respuesta correcta) a) 16 b) 32 c) 64 d) Ninguna de las anteriores. 2.3. La expresin (p q) p q es: (Seleccione la respuesta correcta) a) Ley de De Morgan. b) Ley lgica. c) Axioma. d) Ninguna de las anteriores.

II.- Parte prctica: 1. Indique si las siguientes expresiones son proposiciones, en caso de serlo diga si son simples o compuestas. Para aquellas que sean compuestas simbolcelas usando la lgica simblica: a. b. c. d. e. f. g. h. i. j. k. l. m. n. o. p. q. 2. Congreso nacional sobre multimedia. Los nuevos programas de reconocimiento de voz tienen a todos hablando. Si x > 3 entonces x > 5 No hables con la boca llena. Es necesario que Chuo tenga 18 aos para que pueda votar en las Mega-elecciones. 125 es divisible por 5 En Mrida se realiz el IV Congreso Nacional sobre Multimedia y Videoconferencias. Caramba! Por fin, existen computadoras de bolsillo. Es cierto que el romero es bueno para la cada del cabello? El nmero natural n es par o es impar. La impresora DocuPrint de Xerox reduce los costos de impresin. Si Juan estuvo ayer en el partido, necesitar dormir. Usted puede obtener ste programa y sus archivos correspondientes si visita Internet. El carro involucrado en el accidente era verde o azul. Disculpe!, Qu hora es? Amanece en Singapur. Sara y Mara son hermanas de Pedro.

Si p significa: Juan dice la verdad y q: Jaime miente, exprese simblicamente las siguientes proposiciones: a. b. c. d. e. f. g. h. i. j. Juan o Jaime mienten. Juan o Jaime dicen la verdad. Si Juan dice la verdad, entonces Jaime miente. No es cierto que Juan o Jaime digan mentiras. Juan miente si solo si Jaime dice la verdad. No es cierto que, ni Juan miente ni Jaime dice la verdad. Juan dice la verdad solo si Jaime miente. Es necesario que Jaime no mienta para que Juan no diga la verdad. Siempre que Jaime diga la verdad, Juan mentir. Es suficiente con que Juan diga la verdad para que Jaime no mienta.

3.

Sean las proposiciones simples: p: Los invitados hacen su llegada. q: El asado est crudo. r : Las papas ya estn listas. Escriba en forma simblica las proposiciones siguientes: a. b. c. d. Los invitados hacen su llegada y el asado est crudo. Las papas no estn listas y el asado est crudo. Los invitados hacen su llegada, y una de dos, las papas estn listas o el asado est crudo. El asado est listo, o ambas, los invitados hacen su llegada y las papas no estn listas.

4.

Si p significa: El rgimen de permanencia es aplicado y q Hay disturbios en la UC, expresa en lenguaje natural cada una de las siguientes proposiciones: a. b. c. pq pq (p q) d. e. f. (p q) (p) (q p)

5.

Proporcione una frase para cada proposicin simple y exprese en lenguaje natural, el significado de cada expresin: a. b. p (q r) q (p r) c. d. (r p) q (p q) (pq)

6.

Determine el valor de verdad de cada una de las siguientes proposiciones sin usar tablas de verdad: a. b. c. d. S 7<16 entonces 40>34. S 5=10 entonces 10=7+3. No es cierto que s 8+10=6 entonces 8=4+4. 9<25 s 64>16.

7.

Para cada una de las siguientes proposiciones, verifique si la informacin dada es suficiente para determinar el valor de verdad de la proposicin. a. b. c. d. e. (p q) r (p (q t)) ( t (p q) (p q) (p q) (p s) p (r p) (p q)) rv tvypv pv p v, s f pv

8.

Suponiendo que p y q son verdaderas y r y s son falsas, hallar los valores de verdad de las siguientes expresiones: a. b. c. p (q r) [p (q r)] [(p q) (r s)] [(p q) r] ([(p q) r] s)

9.

Agrupe en las siguientes proposiciones para eliminar ambigedades: a. b. c. d. p qrsqr ps qr t p p tqs rs qtp stq

10. Simbolice los siguientes enunciados: a. b. c. d. e. Ni come ni deja comer. Slo tendrs xito si prestas atencin. Aunque lo he intentado, no he llegado a tiempo. Mara y Julia prometen mucho pero ni Mara ni Julia cumplirn. Alicia mir en derredor y vio muchas flores y hojas de hierba, pero nada que tuviera el aspecto de ser lo que deba comer o beber en esas circunstancias. f. Entrena todos los das pero no le vale de nada. g. O bien si no entiendes es muy difcil o bien es porque no estudiaste. h. Si y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre. i. La lgica trata de cmo piensa la gente, o de cmo se debera pensar, o de ninguna de ambas cosas. j. No se da el caso de que, si Edgar presenta una queja, entonces Jess investigar y Sonia no ser descalificada. k. Si los elefantes volaran o supieran tocar el acorden, pensara que estoy loco y dejara que me internaran en un psiquitrico. l. Si la liebre est alerta y es rpida, ni el zorro ni el lince podrn atraparla. m. O bien, que Jos haya preguntado por Mara es condicin necesaria para que Carmen est enojada, o bien que Carmen est enojada no es condicin suficiente para que Jos haya preguntado por Mara.

n. o. p. q. r.

Los modernos computadores digitales fueron inventados con la idea de facilitar y acelerar clculos complicados. Su capacidad de almacenamiento y de acceso a grandes masas de informacin juega un papel dominante y por ello se considera esta su caracterstica primordial. Juan sabe o C, o Pascal, o Prolog, y disfruta trabajando con la gente. De otro modo, l no sera un programador destacado. El resultado obtenido es superior al previsto en 5 unidades, solo si no se ha realizado el proceso a la temperatura adecuada o a la existencia de errores en los clculos finales. Para que el cncer pueda curarse es necesario que se logre determinar su causa y se consiga encontrar frmacos adecuados o bien para prevenirlo o para curarlo. Si tuvieran que justificarse ciertos hechos por su enorme tradicin entonces, si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no generaran problemas. Pero si estos hechos no son inofensivos o no son respetuosos con los seres vivientes o el medio ambiente, entonces habra que dejar de justificarlos o no podramos considerarnos dignos de nuestro tiempo.

11. Escribir el recproco, contrario y contrarecproco de las siguientes expresiones: a. b. Obtendrs puntaje extra, si entregas a tiempo la tarea. Ir a las clases y prcticas de lgica, es condicin suficiente para aprobar esa asignatura.

12. Cules de las siguientes proposiciones son tautologas, contingencias o contradicciones? Utilice tablas de verdad. a. b. c. d. e. f. g. [p (q r)] [(p q) (p r)] (p q) [(q r) (r p)] p [ (q p) (q p)] (s t) ( t s) [(p q) (r p) (q p)] ( q r) [t (u w)] [(t u) (t w)] [(p q) (q r)] (p r)

13. Simplifique las siguientes expresiones. Diga si es tautologa, contingencia o contradiccin, sin usar tablas de verdad. a. b. c. d. e. f. g. h. i. j. k. l. m. n. o. p. (p q) p q (p q) [ (r s) (r s)] [ (r s) (r s)] (p q) [(q r) (r p)] (q (p q)) p [( t u) (t u)] [(t (u s)) (t p [((p q) r) (( s r) s)] (s t) t s [(p r) (r q)] (p r) (p q) [(p (q r)) (p r)] [(m n) ((m (n s)) (m s))] [(t u) w] (u t) [(m n) (n p) p] m [ ( t u) (t u)] [r (s (t u))] [( p q) (p (p q))] (p q) [m [ m (n (n t))]] ( m n)

s)]

14. Demuestre (sin usar tablas de verdad) que las siguientes proposiciones son equivalentes: a. b. c. d. (p p) [(p p) (r r)] [(p q) (p q)] p (p q) p (q r) (p q) (p r) [p (r s)] (p r) (p s)

e. f. g. h. i. j.

(p r) (q s) (p q) (p s) (r q) (r s) p [(p t) ( t p) (p t)] (t p) [( p q) (q p)] [(p r) (s r)] (p r) ( p q) (p q r) (p q) p [[ q (r r)] [q ((r s) (r s))]] p (p q) [( p q) q] (p q)

15. El conectivo / se define por la siguiente tabla de verdad: p v v f f q v f v f p/q f v v v ____ p/q ____

Cmo se puede expresar /, en trminos de alguno(s) de los conectivos lgicos ya conocidos? Muestre sin usar tablas de verdad que las siguientes expresiones son tautologas: a. p/p p b. (p/p) / (q/q) (p q)

16. El conectivo se define por la siguiente tabla de verdad: p v v f f q v f v f pq f f f v ____ pq ____

Cmo se puede expresar , en trminos de alguno(s) de los conectivos lgicos ya conocidos? Para cada una de las siguientes proposiciones, halle una equivalencia en la cual slo se utilicen las letras que representan las proposiciones: p, q,... y el conectivo . a. p b. pq

17. El conectivo nosi se denota por . La proposicin p nosi q es falsa excepto cuando p es verdadera y q es falsa, en cuyo caso p nosi q es verdadera. Escriba la tabla de verdad de pq. 18. Seleccione la alternativa correcta del siguientes problema: X es rojo si y slo si Y es verde. Y no es verde si y slo si Z es azul. Luego: a. b. c. d. Si Z es azul, X no es rojo. Si Z es amarillo, X no es rojo. Si X no es rojo, Z no es azul. Si Z es azul, Y es amarillo.

19. Supongamos la existencia de un mundo donde se dan los siguientes hechos: Si un tru-cu-tr es un monstruo, entonces es un guzi-g con lengua doble. Los centellas tienen los ojos azules pero no son peces. El guzi-g lengua doble tiene 3 orejas. Sabiendo que el tru-cu-tr es un monstruo, indicar si cada una de las siguientes conclusiones es verdadera o falsa: a. b. c. Si una criatura no tiene 3 orejas, no es un guzi-g lengua doble. Los centellas son peces. Los tru-cu-tr tienen 3 orejas.

20. Simbolice los siguientes razonamientos sealando las premisas y la conclusin: Si 10 es un nmero primo, 10 no puede ser igual a 2 por 5. 10 es igual a 2 por 5. Por lo tanto, 10 no puede ser primo. b. Si usa una buena carnada, entonces si los peces estn mordiendo entonces el pesca en el lmite legal. El usa una buena carnada, pero no pesca en el lmite legal; por lo tanto, los peces no muerden. c. La lgica simblica, conjuntamente con las matemticas son las dos ciencias estructurales de la civilizacin moderna; ahora bien, debemos tener en cuenta que esta lgica es el fundamento de la matemtica actual; por lo tanto, la lgica es la ciencia bsica de la civilizacin de nuestros das y la matriz de las formas del futuro. d. Si los payasos no llegan o el ponqu no est a tiempo, entonces la piata tendra que cancelarse y Susana se enojara. Si la piata se cancelara, habra que llamar a los invitados. No se llam a los invitados. Por lo tanto, el ponqu estuvo a tiempo. e. Si hay neblina ser difcil conducir. Si no es fcil conducir llegar tarde, esto si no salgo temprano. Hay neblina. Luego, salgo temprano. f. Es necesario no pensar mucho para creerse el noticiero o no comprar prensa. No es cierto que, si se tiene la cabeza grande entonces se piensa mucho, esto siempre que no nos preocupemos. Ahora bien, nos preocupamos slo si, no se compra prensa o se cree el noticiero. As que, si se tiene la cabeza grande no nos preocupamos. g. Cuando vengo, o ests trabajando o durmiendo. Si ests durmiendo, es que no he venido an o ests trasnochado. Pero no te has trasnochado. Luego ests trabajando o no he venido. h. Existo, luego dudo o acto. No existo o pienso. Es suficiente que no piense y escuche para que si no tengo voluntad entonces no dude. Por lo tanto, afirmo que si tengo voluntad y escucho, o no existo o acto. i. Si voy a la montaa entonces disfruto. Voy a la montaa. Por lo tanto, si no voy a la montaa o no disfruto entonces sale el sol. j. Es un avin o es un pjaro, o es Superman y tiene plumas. Si es un avin es Superman, entonces no tiene plumas. Luego, si tiene plumas, es un pjaro. k. Si corro o tomo un taxi o tengo coche, llego a tiempo. Luego, si no llego a tiempo, no tome un taxi. l. Si las leyes son buenas y su cumplimiento es estricto, disminuira el delito. Si el cumplimiento de las leyes se hace de manera estricta y disminuye el delito, entonces nuestro problema es de carcter prctico. Las leyes son buenas. En consecuencia, nuestro problema es de carcter prctico. m. Si una persona se ahoga en un charco de agua de tres centmetros de profundidad entonces, o estaba inconsciente y boca abajo en el charco o se le estaba quemando el bigote y estaba intentando extinguir la llama. La persona habra quedado inconsciente slo si hubiese sido drogada. La persona no tiene sntomas de haber sido drogada. Puede concluirse que se le quemaba el bigote. n. Si no especifico las condiciones iniciales mi programa no comenzar, y habr programado un ciclo infinito slo si mi programa no termina. Es suficiente que el programa no comience o no finalice para que falle. De ah que sea necesario no solamente especificar las condiciones iniciales sino tambin no programar un ciclo infinito para que el programa no falle. o. Si nuestro pas no recibe prstamos internacionales entonces la economa de nuestro pas se derrumbar. Los prstamos internacionales sern aprobados siempre que el gobierno de los Estados Unidos no se oponga a nuestro gobierno. En base a esto, podemos decir que nuestra economa se derrumbar si el gobierno de los Estados Unidos se opone a nuestro gobierno. Ahora bien, el gobierno de nuestro pas tendr problemas si y slo si los prstamos internacionales no se aprueban; sin embargo, nuestro gobierno no se opone al gobierno de los Estados Unidos. a.
El hombre de talento logrado se conoce, ms que por ninguna otra cosa, por su actitud de adaptacin; y, por lo tanto, nunca se considera defraudado por la vida
Gregorio Maran.

NOCIONES DE LGICA (PARTE II)

I. Parte terica: El condicional y la im plicacin lgica. El c ondicional directo y sus c ondicionales asociados: recproco, contrario y cont rarrecproco. Implicacin lgica. Doble implicacin lgica. C ondicin necesaria y condicin suficiente. Razonamiento lgico. Razonamiento vlido e invlido. Reglas de inferencia. Prueba formal de val idez e invalidez. Mtodos de inferencia lgica: mtodo directo, mtodo de reduccin al absurdo y mtodo del condicional. 1. Determine si los siguientes enunciados son verdaderos o falsos: 1.1. Es falso que la prueba por mtodo indirecto es lo mismo que una prueba por argumentacin indirecta. verdadero falso 1.2. En la prueba por condicional se parte de que tanto las premisas como la conclusin son verdaderos. verdadero falso 1.3. Es falso que p q es el contrarrecproco de q p. verdadero falso

2.

Seleccin mltiple: 2.1. Un razonamiento es invlido cuando: (Seleccione la respuesta correcta) a) Sus premisas son falsas y su conclusin es verdadera. b) Sus premisas son verdaderas y su conclusin es verdadera. c) Sus premisas son falsas y su conclusin es falsa. d) Ninguna de las anteriores. 2.2. En el mtodo de reduccin al absurdo: (Seleccione la respuesta correcta) a) Se toma la conclusin como una de las premisas. b) Se trata de llegar a una tautologa. c) Se debe llegar a una contradiccin del tipo s s. d) Ninguna de las anteriores. 2.3. El contrarrecproco de la expresin p q es: (Seleccione la respuesta correcta) a) q p b) p q c) q p d) Ninguna de las anteriores.

II. Parte prctica: 1. Dados los siguientes razonamientos y sus pruebas formales de validez, indique en cada paso de la prueba, la regla de inferencia y/o ley lgica utilizada, y adems indique que pasos son innecesarios.

a)

Razonamiento: P1: p (r s) P2: r (q s) P3: q r s Q: (p r) Verdadero p (r s) r (q s) qrs sqr p (r s) ( p r) ( p s) (p r) (p s) pr qs r p pr qs (p r)

Prueba formal de validez: ________________________________ Razn:

1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14)

b) Razonamiento: P1: (s q) ( q t) P2: (m s) (t m) Q: (s t) (s t) Prueba formal de validez: ________________________________ Verdadero 1) (s q) (q t) 2) (m s) (t m) 3) s t 4) tm 5) ms 6) ts 7) t t 8) t t 9) t 10) s t 11) q t 12) q t 13) t q 14) t q 15) q 16) s q 17) s 18) s t 19 ) (s t) Razn:

c)

Razonamiento: P1: (p r) (p s) P2: q (r s) P3: (p q) r P4: (p s) q Q: (q s) [(p r) (p r)] Prueba formal de validez: ________________________________

1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14) 15) 16) 17) 18 ) 2.

Verdadero (p r) (p s) q (r s) (p q) r (p s) q {(q s) [(p r) (p r)]} {(q s) [(p r) (p r)]} {(q s) [(p r) (p r)]} (q s) (p r) p r r p (p q) r ( p q) r ( p r) (q r) ( p r) (q r) qr q q qq

Razn:

Dados los siguientes razonamientos realice su prueba formal de validez e indique en cada paso la regla de inferencia o ley lgica utilizada. a) P1: (p q) (r s) P2: r (q s) P3: p r Q: p s P1: p (q r) P2: q r s P3: (p s) r Q: (p r) s b) P1: (p q) (r s) P2: t s P3: q t P4: (q t) p Q: r s d) P1: p q P2: q (r s) P3: r (t u) P4: p t Q: u

c)

3.

Dados los siguientes razonamientos verifique en cada caso si se puede o no concluir. a) Si Andreina va a salir en la noche entonces o va a la peluquera o se arregla el cabello en la casa. Es suficiente que Andreina vaya a salir con Felipe para que vaya a la peluquera. Andreina se va a arreglar el cabello en la casa. Se puede saber si Andreina va a salir con Felipe?

b) Si a Gabriel le aumentan el sueldo entonces si tiene nimo trabaja mejor. Gabriel tiene nimo y no trabaja mejor. Se puede concluir que a Gabriel no le aumentaron el sueldo? c) Si el grupo U2 hace una buena cancin entonces la cancin suena en la radio por meses. Si una cancin suena por meses en la radio entonces se venden muchos CDs. Si se venden muchos CDs el grupo U2 gana mucho dinero. Si el grupo U2 gana mucho dinero entonces o lo gasta en lujos o lo usa en obras caritativas. Se puede concluir que si el grupo U2 hace una buena cancin entonces gana mucho dinero y lo gasta en lujos o invierte en obras caritativas? d) El Ministro de Economa y Hacienda ha hecho las siguientes declaraciones: A la prensa: " Si los impuestos suben, la inflacin bajar si y slo si no se devala el bolvar." A la radio: " Si la inflacin baja o si el bolvar no se devala, los impuestos no subirn." A la tele: " O bien baja la inflacin y se devala el bolvar, o bien los impuestos deben subir." Como consecuencia, publica un i nforme en el que asegura: "Los impuestos deben subir, pero la inflacin bajar y el bolvar no se devaluar." Fue consecuente con sus declaraciones a los medios de comunicacin? 4. Dados los siguientes razonamientos determine su validez o invalidez utilizando los mtodos de inferencia lgica. a) Si acepto este trabajo o dejo de pintar por falta de tiempo, ent onces no realizar m is sueos. He aceptado el trabajo y he dejado de pintar. Por lo tanto, no realizar mis sueos.

b) Si me dices que nunca has hecho mal mientes y, si mientes, eres malo. Si me dices que ha s hecho mal, eres m alo y, si er es malo, no eres t otalmente tico. Digas l o que digas, no eres totalmente tico. c) Si vamos a Asia, entonces llegaremos hasta la India. Si vamos a Asia entonces, si llegamos hasta la India visitaremos Varanasi. Si vam os a India entonces, si visitamos Varanasi podremos ver el Ganges. Por lo tanto, si vamos a Asia veremos el Ganges.

d) Si un animal fabuloso se enfada, te quedas paralizado del susto y si te quedas paralizado del susto, entonces puedes apelar a su bondad. Si apelas a su bondad no sers eng ullido. Por lo tan to, si u n animal fabuloso se enfada, tendrs que apelar a su bondad o sers engullido. e) Si tuvieran que justificarse los hechos por su enorme tradicin entonces, si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habra ningn problema. Pero si los hechos son brbaros o no respetuosos con los seres vivientes o el medio ambiente, entonces no habra que justificarlos o no podramos considerarnos dignos de nuestro tiempo. Luego, si se justifican los hechos por su enorme tradicin, son brbaros, no respetuosos con el medio ambiente y con los seres vivientes entonces no podemos considerarnos dignos de nuestro tiempo. Si los Estados Unidos tienen democracia, entonces sus ciudadanos tienen el derecho de votar. Sus ciudadanos tienen el derecho de votar. Por tanto, los Estados Unidos tienen democracia.

f)

g) Si Kenshin se siente culpable por su pasado como hitokiri entonces no matar a nadie mas. Ahora bien, si Kenshin tiene un encuentro con Shishio entonces ocurre un milagro o lo mata o l muere. Por lo tanto, Kenshin muere si se siente culpable y tiene un encuentro con Shishio.

h) Si Antonio gan la carrera, entonces Baltasar o Carlos fueron los segundos. Si Baltasar fue segun do, entonces no gan Antonio. Si Demetrio fue segundo, no lo fue Carlos. Antonio gan la carrera. Por tanto, Demetrio no fue segundo. i) j) No llora, re. Si no llora, re slo si tiene un juguete. Nunca tiene un juguete cuando se est riendo si no come un caramelo. Luego come un caramelo. Juan quiere a Mara si y slo si Mara quiere a Ju an y promete casarse con l. Mara no quiere a Juan si Juan no quiere a Mara. Mara promete casarse con Juan si y s lo si Juan promete casarse con Mara. Por tanto, Juan quiere a Mara y Mara no quiere a Juan.

k) Si ha ne vado ser difcil conducir. Si no es fcil conducir llegar tarde si n o salgo temprano. Ha nevado. Luego saldr temprano. l) Si no llueve salgo al campo. Si salgo al campo respiro. Por tanto, respiro si y slo si no llueve.

m) Si un monte se quema algo tuyo se quema. Algo tuyo se quema si y slo si eres descuidado. Si eres descuidado no mereces que te feliciten. Por tanto si no mereces que te feliciten entonc es es que un monte se quema. n) Si no especi fico las condiciones iniciales mi programa no comenzar. habr programado un ciclo infinito solo si mi programa no termina. Basta que el programa no comience o no finalice para que falle. De a h que sea necesario no s olamente especificar las condiciones iniciales sino tambin no programar un ciclo infinito para que el programa no falle. o) Si 25 divisiones son suficientes, el general ganar la batalla; por otra parte, o se suministran 3 alas de apoyo areo tctico, o el general no ganar la batalla. Adems, no es cie rto que sean suficientes 25 divisiones y que se vayan a suministrar 3 alas de apoyo areo tctico. Conclusin: no son suficientes 25 divisiones.

NOCIONES DE LGICA (PARTE III)

I.- Parte terica: Funcin proposicional. Universo del discurso. Cu antificador universal y cuantificador existencial. Proposicin cuantificada o categrica. Desarrollo de los cuantificadores en un universo U. Tipos de pr oposiciones cuantificadas: Proposicin universal afirmativa, proposicin universal negativa, proposicin existencial afirmativa, proposicin existencial negativa. Eq uivalencias e implicaciones l gicas con cuantificadores. Princi pios de particularizacin y ge neralizacin: Particularizacin universal (PU), generalizacin universal (GU), particularizacin existencial (PE), generalizacin existencial (GE). Prueba form al de validez e invalidez pa ra razonamientos con proposiciones cuantificadas. 1. Determine si los siguientes enunciados son verdaderos o falsos: 1.1. x[P(x)] P(a) es una particularizacin existencial. verdadero falso 1.2. En lgica de predicados algn P no es Q se traduce como x[P(x) Q(x)] verdadero falso 2. Seleccin mltiple: 2.1. Un razonamiento que use cuantificadores es invlido cuando: (Seleccione la respuesta correcta) a) Sus premisas son verdaderas y su conclusin es falsa para algn universo del discurso. b) Sus premisas son falsas y su conclusin es verdadera para algn universo del discurso. c) Sus premisas son falsas y su conclusin es falsa para algn universo del discurso. d) Ninguna de las anteriores. 2.2. Al momento de simbolizar el cuantificador universal se detecta por la presencia en la oracin de las siguientes palabras: (Seleccione la respuesta incorrecta) a) Todo. b) Hay. c) Cualquiera. d) Cada uno. 2.3. La expresin x[P(x) a) Algn P es Q. b) Todo P es Q. c) Algn P no es Q. d) Ningn P es Q. II.- Parte prctica: 1. Dados el universo U={UC, UCV, UDO} y el predicado G(x): x tiene una facultad de Ciencias, establecer el significado de las siguientes expresiones y decir cuales son equivalentes: a) x[G(x)] b) x[G(x)] c) x[G(x)] d) x[G(x)] e) x[G(x)] f) x[G(x)] Q(x)] significa: (Seleccione la respuesta correcta) 1.3. Un razonamiento que use cuantificadores no es inv lido si se ob tienen premisas verdaderas y conclusin falsa para algn universo del discurso. verdadero falso

2.

Determine el o los universos adecuados para traducir cada una de las siguientes proposiciones a la notacin lgica de funciones proposicionales y cuantificadores: a) b) c) d) e) f) g) h) i) j) k) l) m) Cuando 1 se multiplica por cualquier entero, el resultado es el entero original. Las mordeduras de serpientes a veces son fatales. Los hombres muertos no cuentan cuentos. La gripe tiene cura en la actualidad. El resfriado comn nunca es fatal. Cualquiera que logre algo ser la envidia de todos. Los caballeros no siempre son ricos. Ningn ser humano es absolutamente malo. Nadie hace donacin de todas sus pertenencias a una sola beneficiaria. Todo hombre que tiene una mascota es afortunado. Toda persona educada no necesariamente tiene dinero. Algunos comerciantes tienen excesivas ganancias. Una persona que posea todas las virtudes es una persona virtuosa, pero hay personas virtuosas que no poseen todas las virtudes.

3.

Traducir cada una de las siguientes proposiciones a la notacin lgica de funciones proposicionales y cuantificadores: a) b) c) d) e) f) g) h) i) j) k) l) m) n) o) p) q) r) s) t) u) v) Los murcilagos son mamferos. El resfro comn nunca es fatal. Un nio seal con el dedo al emperador. No se dijo nada de importancia. Nadie ms que los valientes merecen a la doncella. Si se requiere ya sea de clculo o geometra, entonces todos los estudiantes cursarn matemticas. Los melocotones y las guayabas son deliciosos y nutritivos. Los embajadores siempre reciben honores. Ningn automvil que tenga ms de diez aos ser reparado si est seriamente daado. El que detiene el castigo a su hijo, lo aborrece. Slo los ejecutivos tienen secretarias. No todos los visitantes se quedaron a cenar. No toda persona que habla mucho tiene mucho que decir. Cualquier caballo que es manso est bien entrenado. Si nada se descompone, nadie ser culpado. Si cualquier pltano est amarillo, entonces est maduro. No todo lo que brilla es oro. Cada rosa tiene su espina. Una persona mantiene un estorbo si tiene un perro que le ladra a cualquiera que visite a su dueo. Todos los crculos son figuras. Por lo tanto, todos los que trazan crculos, trazan figuras. Ninguna tienda hace todas sus ventas a una sola tienda. David tiene todos los defectos de su padre y ninguna de sus virtudes.

Repita este mismo ejercicio con las proposiciones de la pregunta anterior. 4. Restringindose nicamente a l os universos del discurso que se presentan a c ontinuacin, simbolice utilizando slo funciones proposicionales y/o conectivos. U1 = {Daniel, Amads, Oswaldo} U2 = {Accin, Comedia, Terror, Suspenso, Drama} U3 = {Los infiltrados, El despertar del miedo, Tres son multitud} (Personas a las que le gusta el cine) (Gneros de pelculas) (Pelculas en cartelera)

a) A toda persona a la que le gusten las pelculas de accin debe ver los infiltrados. b) Daniel el amigo de Oswaldo es fantico del suspenso pero no le gusta ninguna pelcula en cartelera. c) No existe una persona a la que no le guste alguna pelcula en cartelera.

5.

Sean x, y Z, decir cules de las siguientes expresiones son proposiciones y cules no. E n caso de serlo asignarle el valor de verdad correspondiente. b) c) d) e) f) g) y[y2 + 2 = 5] y[y2 + y + 2 =15] y + 4 + x = 10 y[y3 + 1 + x = 8] xy[x2 + y + 3 = 5] x[x2 + y =3]

6.

Reformular cada una de las siguientes expresiones de manera que comiencen con un cuantificador en lugar de un smbolo de negacin. a) b) c) d) x[A(x) B(x)] x[G(x) H(x)] x[(Q(x) R(x))] x[P(x) Q(x)] x[R(x)]

7.

Usando el predicado A(x, y): x am a a y, escriba en el lenguaje de la lgica de predicados las siguientes oraciones: a) b) c) d) e) f) Alguien ama a Rosa. Nadie ama a Karla. Todos aman a Nelly. Todo el mundo ama a alguien. Alguien es amado por todo el mundo. No hay nadie que no se ame a s mismo.

8.

Demostrar que las siguientes expresiones son verdaderas en todo dominio no vaco: a) b) c) d) e) x[P(x)] x[P(x)] x[P(x) R] x[P(x)] R x[ P(x) Q(x) ] x[R (Q(x) P(x))] x[P(x) Q(x)] x[P(x)] x [Q(x)] x[P(x) Q(x)] x[P(x)] x[Q(x)]

.9

Simbolizar cada uno de los siguientes razonamientos:

a) Todo el que pidi, recibi. Simn no recibi. Por lo tanto, Simn no pidi. b) Todos los polticos son ricos. No hay trabajadores ricos. Po r lo tanto , los polticos nunca son trabajadores. c) Los compuestos del argn y los compuestos del sodio son aceitosos o voltiles. No todos los compuestos del sodio son aceitosos. En consecuencia, algunos compuestos del argn son voltiles. d) Algunos periodistas no son entrometidos. Algunos entrometidos no son felices. Por lo tanto, algunos periodistas no son felices. e) Todos los ciudadanos que no son traidores estn presentes. Todos los oficiales son ciudadanos. Algunos oficiales no estn presentes. Luego, hay traidores. f) Si hay genios entonces todos los grandes compositores son genios. Si todos somos temperamentales, entonces todos los genios son temperamentales. Por lo tanto, si todo genio es t emperamental, entonces todos los grandes compositores son temperamentales.

g) Si Juan Vicente Tovar gan la carrera, entonces se sintieron felices algunas personas que estaban en La Rinconada. Si todas las personas que apostaron perdieron su dinero, entonces no se sinti feliz ninguna de las personas que estuvieron en el Hipdromo. Se pue de deducir que si Juan Vicente Tovar gan la carrera, entonces alguien que apost no perdi su dinero? h) Algunos diamantes se usan c omo adorno. Es suficiente que una cosa se use como adorno para decir que se lleva como joya o se aplica como cosmtico. Ningn diamante se aplica como cosmtico. No tiene un uso apropiado ninguna cosa que se lleve como joya y pueda tener una aplicacin industrial. Algunos diamantes tienen a plicaciones industriales. Luego, algunos diamantes no tienen un uso apropiado. i) Algunos jvenes que comenten delitos menores son encarcelados. Cualquier joven que es encarcelado esta expuesto a la influencia de criminales profesionales. Cada joven que se vea expuesto a la influencia de cri minales profesionales, se tornar agresivo y aprender tcnicas para cometer crmenes. Todo joven si es a gresivo entonces, es una amenaza para la sociedad siempre que aprenda tcnicas para cometer crmenes. Por lo tanto, algunos jvenes que cometen delitos menores constituyen una amenaza para la sociedad.
La felicidad es como la neblina ligera: Cuando estamos dentro de ella no la vemos
Amado Nervo.

TEORIA DE CONJUNTOS

1.- Parte Terica: Definiciones bsicas: Conjunto , Pertenencia, Cardinalidad, Conjuntos finitos e infinitos, C onjunto universal, Conjunto vaco, Igualdad e inclusin de conjuntos. Propiedades de conjuntos. Diagra ma de Venn. Operaciones co n conjuntos. Leyes de la teora de conjuntos. F amilia de conjuntos. Uni e interseccin gen eralizada de con juntos. Conjunto potencia o Conjunto de las partes. Conjunto particin. Producto de conjuntos.

1.

Determine si los siguientes enunciados son verdaderos o falsos: 1.1. La cardinalidad de un conjunto de las partes de A es dos elevado a l a cardinalidad de A. verdadero falso 1.2. A B x[x U (x A x B )] verdadero falso 1.3. Un elemento de U lla mado a, no pertenece a un conjunto c ualquiera con una funcin proposicional P(x) sii P(a) v. verdadero falso 1.4. Es verdad que x A se l ee x no pertenece a A. verdadero falso

2.

Seleccin mltiple: 2.1. Seale cual de los siguientes enunciados es falso: a) El complemento de un conjunto es un conjunto. b) El complemento de un conjunto A son los elementos que no estn ni en A ni en el universo. c) El complemento de un conjunto A son los elementos que no estn en A. d) El complemento de un conjunto A es el resultado de restarle al universo los elementos de A. 2.2. La diferencia de los conjuntos A menos B es: a) El conjunto de los elementos que estn en el Universo y no estn en B. b) El conjunto de los elementos que estn en B y no estn en el complemento de A. c) El conjunto de los elementos que estn en A y estn en el complemento de B. d) El conjunto de los elementos que estn en el complemento de B y estn en el complemento de A. 2.3. Sea a)

IA
i =2

i2

la interseccin generalizada es igual a:

A2 A3 A4 A5 . b) A1 A2 A3 A4 A5 . c) A4 A9 A16 A25 . d) A4 A6 A8 A10 .

2.- Parte Prctica: 1.- Sea la siguiente figura:

Donde:

U es el universo de los programadores. La regin A representa el conjunto de programadores con certificacin Microsoft. La regin B representa el conjunto de programadores con certificacin CISCO. La regin C representa el conjunto de programadores con certificacin JAVA. Las regiones D, E, F, G, H, I , J y K son subco njuntos disjuntos de los conjuntos antes citados (segn se observa en la figura), entonces: 1.1- El conjunto de programadores con certificacin CISCO, esta representado por: a) E ( I J ) b) E ( H I J ) c) E ( J I H ) d) E ( H J ) 1.2- El conjunto de programadores que solo tienen una certificacin, esta representado por: a) A B C b) G H I c) A F B d) D E F 1.3- La regin G representa el conjunto de programadores que: a) tienen certificacin CISCO y no JAVA. b) solo tienen certificacin Microsoft y JAVA. c) tienen certificacin JAVA y no Microsoft. d) tienen las tres certificaciones. 1.4- El conjunto denotado por J es: a) ( A B ) C b) A ( B C ) c) ( Ac Bc Cc)c K d) A ( B C ) 1.5- Un subconjunto de B y C a la vez, es el representado por: a) E b) F c) I d) D 1.6- El conjunto Cc ( A B )c es: a) J b) D c) I d) K 1.7- El conjunto de programadores con certificacin Microsoft y no de CISCO, esta representado por: a) Cc ( A B ) b) A Bc c) A ( B C ) d) A Cc 1.8- El conjunto Ac Bc Cc representa los programadores: a) Con solo una certificacin. b) No tienen certificacin JAVA ni CISCO c) Tienen certificacin Microsoft o ninguna. d) No tienen certificacin. 2.- Conociendo que | A B | = | A | + | B | - | A B |, demuestre que: | A B C | = | A | + | B | + | C | - | A B | - | A C | - | B C | + | A B C |.

3.- En una encuesta realizada a 225 estudiantes se hall que: 78 aspiran ser excelentes profesionales. 148 son inteligentes. 167 son apticos a los estudios. 120 son apticos a los estudios, pero son inteligentes. 20 quieren ser excelentes profesionales y no son inteligentes. 23 quieren ser excelentes profesionales y no son apticos a los estudios. 15 aspiran ser excelentes profesionales, son apticos a los estudios y no son inteligentes. 3.1.- Cuntos de los 225 estu diantes entrevistados no aspi ran ser excelen tes profesionales, son apticos a lo s estudios y no son inteligentes? 3.2.- Cuntos no son apticos a los estudios, son inteligentes y no aspiran a ser excelentes profesionales? 3.3.- Cuntos son apticos a los estudios e inteligentes, pero no aspiran ser excelentes profesionales? 3.4.- Cuntos solo cumplen con dos condiciones? 3.5.- Cuntos no cumple con todas las condiciones? 4.- Defina los siguientes conjuntos por extensin: a) El conjunto de las letras de sus apellidos. b) El conjunto de las facultades de la Universidad de Carabobo. c) El conjunto de los nmeros primos menores a o iguales a 20. d) A = {x / xZ 5 x 10} I={1, 6, 13, 22} e) F = {Ai / Ai = {(a , i) / aZ a = 3 + i } iI } f) El conjunto de monedas de Venezuela. g) B = { ( x, y ) / x, yZ x2 + y2 = 1 } h) F = {Bi / Bi = { ( i , b) / bN b2 i = 3 iI } I = {1, 6, 13, 22} i) El conjunto de telefonas de Venezuela. j) El conjunto de ministerios del gobierno de nuestro pas. 5.- Defina los siguientes conjuntos por comprensin: a) A = { 0, 7, 14, 21, 28, 35, 42 } b) El conjunto E, definido como el conjunto de los estados de Venezuela. c) El conjunto de los nmeros enteros pares. d) A = { 3, 10, 17, 24, 31, 38, 45, 52 } e) El conjunto de mquinas con ruedas. f) C = { Amarillo, Azul, Rojo } g) B = {1/2, 2/4, 3/8, 4/16, 5/32} h) M = {Algoritmo I, Elementos Discretos, Matemtica I, DHP } 6.- Asigne valores de verdad a las siguientes proposiciones: (Justifique) 6.1.- Sea A = {x / xN x2 - 9x + 14 = 0 } p : 7A q : { 2 } A u : A v : { 7, 2 } A 6.2.r:{7}A w : A { 7, 2 } t:A s: { 2 } A

p : todos los siguientes conjuntos son de cardinalidad finita. A = {x / xZ -5 x 5 } C = {x / x es un ao bisiesto} B = {x / x es un mes del ao } D = {x / xR -1 x 1 }

6.3.6.4.-

p : U = {x / x = x }

q : = {x / x x }

p : { , { } } { } = {{ }} q : { a, e } { e, f } { g, a } = , donde a, e, f y g son elementos distintos. r : si a, bR y a < b entonces [a, b] { a, b } = { a, b } s : si a, bR y a < b entonces [a, b] { a, b } = { a } { b }

7.- Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 } y sean los conjuntos B = { 1, 2, 3, 5, 7 } A = {x / xZ+ x2 16 } D = { 2, 4, 6, 8 } C = {x / xZ+ x2 5x + 4 = 0 } Calcule: a) A B d) B D g) C D j) A B m) A B C p) ( A B )c s) A Ac b) B C e) A B Ac k) C D )ABCD q) ( A B )c t) B Bc c) A C f) B A i) Bc l) B C o) ( A B ) D CC u) C ( D Ac)

h) n

r)

8.- Sea el universo el conjunto de los nmeros reales y sean los enteros positivos el conjunto de ndices. Si para cada i Z+ se define Ai = {x / xR -2i x 3i }. Determine: a)

U Ai
i =1 6

b)

IA
i=2 3

c)

UA
+

d)
c

i +

IA

e)

UA
i =1

f)

IA
i =1

g)

4 U Ai i =1
k)

h)
3

5 I Ai i =1

i)

I ( Ai A2i )
i =1

j)

U ( A3i Ai )
i =1

c I ( Ai A2i ) i =1

l)

U (A
i =1

2i

A3i )

9.- Sean A = {5, 7, 9 } y B = { 1, 3 } comprobar la veracidad de las siguientes proposiciones: a) b) c) d) A x B = { (5,1) , (5,3) , (7,1) , (7,3) , (9,1) , (9,3) } B x A = { (1,5) , (3,5) , (1,7) , (3,7) , (1,9) , (3,9) } AxB=BxA A2 = B2 , donde A2 = A x A y B2 = B x B

10.- Sea A = {a, { b }, c } Hallar: a) A2 b) P( A ) c) ( P( A ) ) d) ( A ) e) ( A2 )

11.- Suponga que Manuel corr e o nada (o ambos) para su entren amiento diario durante todo el mes de abril. Si cor re 23 das y nada 19 das. Cuntos das corre y nada Manuel? 12.- Demuestre: a) b) c) d) e) f) g) h) i) j) k) l) m) n) (AB=A)(BA) El conjunto vaco es nico (AB)(AB)(BA) (AB)A(AB) (AB)C=A(BC) [( A B )c ( C B )c] = ( C B ) [( A B )c C] Uc = c = U ( Bc Ac ) ( A B = B ) A B = Ac Bc = U (AB)xC=(AxC)(BxC) A(BC)=(AB)(CA) P( A B ) = P( A ) P( B ) ( A B )c = Ac B

c U Ai B iI
i

xC = I Ai xC (BxC ) i I
c

o)

I ( A (B C ))
i I

c = U Ai (B C ) i I

13.- Demuestre o de un contraejemplo: a) b) c) d) e) f) g) h) i) j) AA= [( A B ) C = B ] [( A C ) B ] (AB)C=(AC)(BC) [( A B ) C ] ( C B ) = [( A B ) B ] [( B C )c C ] , donde A y B P( A ) P ( B ) P( A B ) [( B C ) ( A C )] ( A B ) = ( A B ) C ( A B )c = Ac Bc ( A B = ) ( A = B ) [( A B )c C ] A = [( Ac C ) B ]c Cc [( A B )c C ]c A = A ( Ac B C ) "Quien se sienta en el fondo de un pozo a contemplar el cielo, lo encontrar pequeo."

Han Yu.

TEORIA DE RELACIONES

I. Parte Terica: Definiciones: Relacin, relacin binaria. Tipos de relaciones: Relacin identidad, relacin universal, relacin vaca. Dominio y rango de una relacin. Relacin inversa. Representacin de las relacione s: Dgrafos o grafos dirigidos, grficos cartesianos, matriz de la relacin y diagrama sagital. Composicin de relaciones. Teoremas sobre composicin de relaciones. Propiedades de las relaciones. Relaciones de equivalencia. Clases de equivalencia. Conjunto cociente. Propiedades de las clases de equivalencia y del conjunto cociente. Relaciones de orden. Elementos comparables. Relaciones de orden amplio y de orden estricto. Relaciones de o rden parcial y de o rden total. Conjuntos bien ordenados. Diagramas de Has se. Elementos distinguidos de un conjunto ordenado. 1. Determine si los siguientes enunciados son verdaderos o falsos: 1.1. El domino de una relaci on R es el rango de la relacion inversa de R. verdadero falso 1.2. Una relacion S es una rel acion de equivalencia si cumple que e s reflexivo, antisimetrico y transitivo. verdadero falso 2. Seleccin mltiple: 2.1. Seale cual de los siguientes enunciados es falso: a) Si (x,y)R entonces se dice que x esta relacionado con y. b) Si T es una relacin de A en B, entonces RT es el conjunto definido por: RT = {y / yB (x, y)T}. c) Una relacin S de A en B es cualquier subconjunto de BxA. d) Si R es una relacin de A en B, entonces DR es el conjunto definido por: DR = {x / xA (x, y)R}. 2.2. La relacin de orden amplio cumple: a) b) c) d) R es reflexiva, antisimtrica y atransitiva. R es arreflexiva, no simetrica y transitiva. R es reflexiva, simetrica y no transitiva. R es reflexiva, antisimetrica y transitiva. 1.3. Una relacion de orden Total se define como x y [x, y A ((x y) (y x))]. verdadero falso 1.4. Si R AxB y S BxC entonces la composicion es SoR. verdadero falso

2.3. Seale cual de los siguientes enunciados es verdadero: a) b) c) d) Una relacion R es reflexiva cuando cumple que x[ xA (x,x) R ]. Una relacion R es simetrica cuando cumple que xy[ (x,y)R (y,x) R ]. Una relacion R es transitiva cuando cumple que xyz[((x,y)R (y,z)R) (x,z)R]. Una relacion R es antisimetrica cuando cumple que xyz[((x,y)R (y,x)R) xy].

II. Parte Prctica: 1.- Sean A = { 1, 2, 4, 8, 10, 12} y B = {3, 12, 36, 24, 300} y sea la relacin R AxB, definida en base a: xRy sii y = 3x a) Definir R por compresin y por extensin. b) Representar AxB en un sistema de ejes cartesianos. c) Representar R usando: a. Grficos cartesianos. b. Matriz de la relacin. c. Grafos dirigidos. d. Diagrama sagital. d) Determinar dominio y rango de R e) Definir R-1 por compresin y por extensin. f) Representar R-1 usando: a. Grficos cartesianos. b. Matriz de la relacin. c. Grafos dirigidos. d. Diagrama sagital. g) Determinar dominio y rango de R-1 h) Comparar los resultados de los puntos c) y d) con los de f) y g), respectivamente. 2.- Sean A = { , {1}, {2}, {3, 4}, {5, 6}} y B = {{1}, {1, 2}, {2, 3, 4}, {6}, {7}} y sea la relacin R AxB, definida en base a: XRY sii XY a) Definir R por compresin y por extensin. b) Representar AxB en un sistema de ejes cartesianos. c) Representar R usando: a. Grficos cartesianos. b. Matriz de la relacin. c. Grafos dirigidos. d. Diagrama sagital. d) Determinar dominio y rango de R e) Definir R-1 por compresin y por extensin. f) Representar R-1 usando: a. Grficos cartesianos. b. Matriz de la relacin. c. Grafos dirigidos. d. Diagrama sagital. g) Determinar dominio y rango de R-1 h) Comparar los resultados de los puntos c) y d) con los de f) y g), respectivamente. 3.- Sea E = {1, 2 , 3, 4, 5, 6}. E n E se d efine la relacin R, diciendo que: xRy sii x y = 1. O btener la representacin grfica de R va grficos cartesianos y con diagrama sagital. 4.- Sea A = { x/ xN (3 x 7) } y B = {2, 3, 6}. Se define R AxB como: (x,y)R sii (x + y) 8 a) Definir R por compresin y por extensin. b) Representar R usando: a. Grficos cartesianos. b. Matriz de la relacin. c. Grafos dirigidos. d. Diagrama sagital. c) Determinar dominio y rango de R

5.- Se consideran los conjuntos: A = { 1, 2, 3, 4, 5 }, B = {1, 4, 6, 16} y C = {2, 3, 6, 10}; con las relaciones R AxB y SBxC, definidas como sigue: (x,y)R sii y=x2 (y,z)S sii z=y/2 Se pide: a) Definir R y S por compresin y por extensin. b) Definir SoR por compresin y por extensin. c) Representar en diagrama sagital, las tres relaciones: R, S y SoR. 6.- Se consideran los conjuntos: A = { 12, 42, 99, 150, 210 }, B = {4, 8, 50, 72, 100} y con las relaciones S AxB y RBxC, definidas como sigue: (y, z)R sii 2y=z2 (x, y)S sii x=3y Se pide: a) b) c) d) Definir R y S por compresin y por extensin. Definir RoS por compresin y por extensin. Representar en diagrama sagital y matriz de la relacin a RoS. Determine dominio y rango (RoS)-1 C = {4, 10, 11, 12};

7.- Se consideran los conjuntos: A = { -1, 2, 5 }, B = {-11, -4, 10, 31} y C = {-1, 0, 2, 5, 8}; con las relaciones R AxB y S BxC, definidas como sigue: (a,b)R sii a.b 9 (c,a)S sii c = 7.a 4 Se pide: a) b) c) d) 8.- Demostrar: a) b) c) d) e) f) Definir R y S por compresin y por extensin. Definir SoR por extensin. Representar en diagrama sagital y matriz de la relacin a RoS. Determine dominio y rango (RoS)-1 (R-1)-1 = R (SoR)-1 = R-1oS-1 (ToS)oR = To(SoR) (S1 S2) R (S1 R) (S2 R) Si R es simtrica entonces R = R-1 Si R es transitiva entonces (RoR) R

9.- Sea F una relacin en el conjunto de los nmeros enteros y definida como: xFy sii x ky, donde kR. Determine las propiedades que cumple F. 10.- Si R y R son relaciones definidas sobre un conjunto E, R ExE y R ExE, demuestre que: a) Si R y R son simtricas, entonces RR es simtrica. b) Si R es reflexiva y R es cualquier relacin, entonces RR es reflexiva. c) Si R y R son antisimtricas, entonces RR es antisimtrica. d) Una relacin R es circular si i xRy yRz implica que zRx, pa ra todo x, y, z perte necientes al conjunto sobre el cual se define la relacin.Demostrar que si R es reflexiva y circular e ntonces R es simtrica y transitiva. Para el mismo ejercicio, demuestre que las siguientes proposiciones son falsas, dando un contraejemplo: e) Si R y R son antisimtrica, entonces RR es antisimtrica. f) Si R y Rson transitiva, entonces RR es transitiva. g) Si R y R son reflexivas, entonces RR es reflexiva. h) Si R y R son simtricas, entonces RR es simtrica

11.- Sea S una relacin de X a Y. Se define para A X, al conjunto S(A) de la siguiente manera: S(A) = {y / yY x[ xA (x,y) S] } Se pide: a) Demostrar que S(A) Y. b) Demostrar que S(AB) = S(A) S(B). c) Demostrar que S(AB) S(A) S(B). 12.- Sean las relaciones: a) R NxN, es decir R N2 y aRb sii (a mod 6) = (b mod 6) y xRy sii | x - 1| = | y 1| b) R R2 y (x1,y1) R (x2,y2) sii x1 + y2 = x2 + y1. c) R N2xN2 y aRb sii a2 + a = b2 + b d) R Z2 2 2 y (x,y) R ( x,y) sii y = y. e) R R xR f) R N2 x N2 y (x1, y1)R(x2, y2) sii y1 = x2 y xRy sii x y es multiplo de 3. g) R Z2 Qu tiene esta ultima relacin de especial? Verificar cules son relaciones de equivalencia, en cuyo caso; se le pide hallar las clases de equivalencia y el conjunto cociente respectivo. 13.- Sea A y sea B un subconjunto fijo de A. Se define la relacin R en P(A) como: Sean Ai ,Aj P(A), entonces AiRAj sii Ai B = Aj B. a) Demuestre que R es una relacin de equivalencia en P(A). b) Si A = {1,2,3} y B = {1}. Defina y halle la s clases de equivalencia y el conjunto cociente inducido por la relacin R. 14.- Determine las clases de equivalencia y el c onjunto cociente de la siguiente relacin de equivalencia definida sobre el conjunto A = {-2, -1, 0, 1, 2, 3} como xRy sii x2 = y2. 15.- Determine las clases de equivalencia y el c onjunto cociente de la siguiente relacin de equivalencia definida sobre el conjunto N (no incluye el cero) como xRy sii x = y.k, k (x es mltiplo de y) 16.- En Z se define la relacin R mediante: aRb sii a = b mod 4 (Relacin de congruencia) En cuentre las clases de equivalencia y la particin inducida por esta relacin. 17.- Si E = {a, b, c, d, e} se particiona de la siguiente manera: E1 = {a} E2 = {b, d} E3 = {c} E4 = {e} , de manera que (E) = { E1, E2, E3, E4 }. Encuentre la relacin de equivalencia que induce a esta particin. 18.- Dado el conjunto X = { a, {2, f} , , (3,b) , 6 }, hal lar una particin cualquiera de X y defina la relacin de equivalencia S que induce a esa particin. 19.- Dada (A) = {Ai / Ai = {x / x A x = i.k, k Z }, i I } donde I = {2, 3, 5} y A = {2, 3, 4, 5, 8, 9, 16, 21, 25}. Hallar la relacin de equivalencia que induce esta particin. 20.- Sea la relacin R definida en Z + x Z+ tal que xRy sii x | y (x divide exactamente a y). Determine si R es una relacin de orden amplio, y en caso de serlo, clasifiquela segn los tipos: parcial o total. 21.- Sea R una relacin definida en Q+ (los racionales positivos) de la siguiente manera: a c sii ad bc. Muestre que R es una relacin de orden total. R
b d

22.- Se considera el intervalo [2, 8] R , donde se define la relacin de mayor o igual, es decir, xRy sii x y. a) Demostrar que R es una relacin de orden amplio y clasificarla segn los tipos: parcial o total. b) Determine con respecto al intervalo dado: - Primer elemento. - ltimo elemento. - Elementos maximales. - Elementos minimales. c) Si consideramos [2 , 8] como un subconjunto de los nmeros reales, determine cotas inferiores y superioes, nfimo y supremo. 23.- Sea E = {2, 4, 6, 8, 12, 16, 18, 24, 30, 36} ordenado por la relacin: y es multiplo de x a) Demostrar que R es una relacin de orden amplio y clasificarla segn los tipos: parcial o total. b) Determine: - Primer elemento. - ltimo elemento. - Elementos maximales. - Elementos minimales. c) Si consideramos {6, 8, 9} como un subconjunto de E, determine cotas inferiores y superioes, nfimo y supremo. 24.- Dada la relacin de orden definida en el conjunto A = { a, b, 3, 2, 10, 4, c, 5, d} AxA y representada mediante el siguiente diagrama de Hasse:

5 d 4 c
b) Para cada uno de los siguientes subconjuntos de A, hallar los elementos distinguidos relativos a cada subconjunto: S1 = { d, 5 } S2 = { 3, 10 } a) Hallar los cuatro elementos distinguidos generales.

10

25.- Se define la relacin de orden (inclusin) en P(A), donde A = {, , }: a) b) c) d) e) Demuestre que es una relacin de orden. Determine que tipo de orden corresponde (parcial o total) Dibuje el diagrama de Hasse e identificar los elementos distinguidos generales. Determine los ele mentos distinguidos: Mayor, m enor, maximales y minimales, suponiendo que el elemento {, , } P(A) Para S = { { }, {}, {, } }, S P(A); determine cotas superiores, cotas inferiores, supremo e nfimo.

26.- Dada la relacin de orden R definida en el conjunto A = {(a,a), (a,b), (a,c), (a,d), (a,e), (a,f)}, R AxA y representada mediante la siguiente matriz de la relacin, donde las filas y las columnas estn encabezadas por los elementos de A, segn el orden en que aparecen listados (por ejemplo, la fila 1 corresponde al par (a,a), la fila 2 al par (a,b) y as sucesivamente): 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1

a)

Dibuje el diagrama de Hasse.

b) Determine todos los elementos distinguidos, tomando para aquellos que lo requieran el siguiente subconjunto: S = {(a,b), (a, f)} 27.- Sea el siguiente diagrama de Hasse:

10 9 8 7

6 3 1

5 2

a) Es esta relacin de orden total o parcial. Justifique su respuesta. b) Hallar el elemento mayor, elemento menor, maximales y minimales. c) Para cada uno de l os siguientes subconjuntos hallar las cotas superiores, cotas inferiores, supremos e infimos: S1 = {10} S2 = {6, 7} S3 = {3, 2} d) Suponiendo que ahora esta misma relacin de orden se aplica slo a este conjunto de elementos A = {1 , 2, 3, 4, 5, 6, 8 }; hallar los elementos distinguidos indicados en el literal b ) de esta pregunta. 28.- En R ordenado por la relacin menor o igual, se considera al subconjunto A como: A = { x / xR x = 1/n nN } Investigar si R tiene Primero o menor elemento y ltimo o mayor elemento. Y t omando en c uenta el subconjunto A, determine cotas superiores e inferiores, infimo y supremo.

Si lloras porque el Sol se oculta, las lgrimas no te dejarn ver las estrellas.

R. Tagore.

INDUCCIN COMPLETA

I.-

Factorial de un nm ero. Sumatorias. Productorias. Teorema de Induccin C ompleta. Principio de induccin completa. Corolario del teorema de induccin. Forma fuerte de induccin.

Parte Terica:

II.- Parte Prctica:

EJERCICIOS CON SUMATORIAS: 1. Expresar las siguientes sumas empleando el smbolo de sumatoria: a) 1.1 + 2.1 + 3.2 + 4.6 + 5.24 c)
1 1 1 1 + 2 + 2 + 2 2 1 3 2 4 6 5 24
2

b) 12 2 2 + 3 2 4 2 + 5 2 d) 1 + 5 + 9 + 13 + 17

e) 2 2 + 4 3 + 6 4 + 8 5 g) 2 + 6 18 + 54 162

f)

1 1 1 1 + + + a (a + 1) (a + 1)(a + 2) (a + 2)(a + 3) (a + 3)(a + 4) h) 1.2.3 + 2.3.4 + 3.4.5 + 4.5.6

2. En cada caso, indicar si se cumple o no la igualdad y justificar su respuesta: a) c)

(3i + 5) = 15n i
i =1 i =1

b)
5

(3k
n k =1
0

n n + 2k + 1 = 3 k 2 + 2 k + n k =1 k =1

2 = 2 i i
j =1

d)

i =6

i =1

(3
i =0

2i

+ k) = 0

3. Calcule el valor de las siguientes sumatorias: a) e) i)

7
i =1

b)

(k 2 + 3k + 5)
k =1

c) g)
3

k i 1 i=2
2 j +1

d) h)
i 1

(2i 3)
i =0

k
j =1 n

(2 j 1)

f)

(1)
k =1

k2

3
j =1

k3 1 2k + 1 k =0

j)

2 2 k (i 3 ) k = 0 i =1
2

, para i = 5 k =2 2 2 2 k) (3i + k j ) k =0 i =0 j =2

(k 1)

EJERCICIOS CON PRODUCTORIAS: 1. Expresar las siguientes multiplicaciones empleando el smbolo de productoria: a. c. 2 4 8 16 32 1 1 1 1 4 16 64 256 b. d. 7 9 11 13 15 (-1) 4 (-27) 256

2. Calcule el valor de las siguientes productorias: a. d.

8
i =0
2

b. e.

j!
j =0
2

c.

((1)
5 k =1
1

k
2

2 (2i + j ) j = 0 i =1

2 3i + j i j =1 i = 0

f.

(i + j k )
k =0

j =1

i =1

3. Reescriba las siguientes productorias para cuando i=1, j=1 y k=1. a.

3
i =0

b.

(i
i=2

+ 2i

c.

(2i j )
i j =3 i =0

EJERCICIOS DE INDUCCIN: 1. Probar por induccin completa, la validez de las siguientes expresiones, para todo nN: a) 2 + 6 + 10 + + (4n - 2) = 2n2 b) 2 + 21 + 22 + 23 + ... + 2n = 2n+1 c) x + (x-1)x + (x-1)x2 + ... + (x-1)xn = xn+1 d) 1.3.5....( 2 n 1) 1 2.4.6....( 2 n ) 2n

2. Para todo n N, demostrar por induccin completa que: a) b) c) d)

i
i =1

= ( i )2
i =1

n( 4n 2 (2i 1) =
n i =1
n

1)
n(n + 3)

i(i + 1)(i + 2) = 4(n + 1)(n + 2)

i =1

(a + ( j 1)r ) =
j =1

[2a + (n 1)r ]n , a es constante y r R

2
x -1

e) (1 + x) n (1 + nx) ;

3. Demostrar que: a) Demostrar que la suma de los cubos de tres nmeros consecutivos es divisible por 9. b) a n b n es mltiplo de a b para todo numero natural n. 4. Sabiendo que:

i =
i =1

siguiente expresin:

n(n + 1) y 2

i
i =1

n(n + 1)(2n + 1) , deduzca una frmula para la 6

0 . 1 + 1 . 2 + 2 . 3 + ... + (n-1).n , donde n N y demustrela por induccin completa. 5. Teniendo que n N, demuestre que: a) c) e)

(2i 1)(2i + 1) = 2n + 1
i =1 n

b) 2 n > n 2 ,

n5

(10
i =1

n +1 2 i

)=1

d) 2n! ( n 1)(n 1)! = n! + (n 1)!

1 1 1 13 f) n + 1 + n + 2 + ... + 2n > 24 , n>1

1 1.3.5.....( 2n 1) 2n 2.4.6.....2n

Tengo por menos inmoral matar a alguien involuntariamente que engaarle acerca de la hermosura, la bondad y la justicia de las leyes. Scrates

TEORIA COMBINATORIA

Regla de la sum a (adicin). Regla del Produc to (multiplicacin). Variaciones Simples: Vm,n. Permutaciones Simples: Pm. Permutaciones Circulares: Pc m. Variaciones con repeticin: Vm,n. Combinaciones Simples: Cm,n. Combinaciones co n repeticin: C m,n. Variaciones de Particiones Ordenadas (Coeficiente Multinomial): Vmm1,m2,...,mr.
II. Parte Practica:

I. Parte terica:

1.- Calcular: a) V7,5 b) V7,5 2.- Hallar n tal que: 7Vn,3 = 6Vn+1.3 3.- Cuando en un conjunto de m elementos, vamos tomando n de ello s, siendo n > m ; no nos importa el orden y queremos saber cuantas escogencias son posibles. A cual expresin de la teora de conteo nos estamos refiriendo? 4.- Cuando en un conjunto de m elementos, vamos tomando n diferentes de ellos, siendo m > n; nos importa el orden y querem os saber cuantas elecciones son posibles. A cual expresin de la teora de conteo nos estamos refiriendo? 5.- Cuando en un conjunto de m elementos, consideramos todas las posibles formas en que podemos tomar dichos elementos, importndonos el orden. A cual expr esin de la teora de conteo nos estamos refiriendo? 6.- De cuantas maneras distintas se puede sentar 5 personas en un banco? c) d) P6 V62,3,1 e) C8,4 f) C8,4 g)Pc7 h) C5,5

7.- De cuantas formas se pueden repartir 2 premios entre 10 personas? Sabiendo que ambos: a) No se pueden conceder a la misma persona. b) Se pueden conceder a la misma persona. 8.- Un alumno desea inscribir: Algoritm os y Programacin I, Matemticas I y Matemticas Discretas. Para estas materias existen respectivamente 4, 3 y 2 horarios disponibles. De cuantas formas puede estructurarse el horario de clases? 9.- Cuntas pulseras se pueden hacer ensartando en un hilo 9 piedras diferentes, si al ser colocada no se puede distinguir el punto de enganche? 10.- Determinar de cuantas m aneras se puede formar un grupo de 4 alumnos a partir de 17 estudiantes sobresalientes, para representar a FACYT en un concurso de algebra. 11.- De cuantas maneras diferentes se pue de contestar un exam en que contiene 7 preguntas de seleccin simple de doble alternativa? 12.- Determinar el nmero de tringulos difere ntes que se pueden form ar uniendo los seis vrtices de un hexgono. 13.- Existen 4 lneas de autobuses entre A y maneras distintas puede viajar un pasajero: B; y 3 entre B y C. Calcular de cuantas

a) De A a C pasando por B. b) De A a C y viceversa, pasando ambas veces por B. c) De A a C y viceversa, pasando am bas veces por B sin utilizar una m isma lnea de autobs dos veces. 14.- En un grupo de 5 personas dos de ellas no se llevan bien, de tal for ma que evitan sentarse una al lado de la otra. De cuantas formas pueden ubicarse estas cinco personas: a) En un banco? b) En una mesa redonda?

15.- Probar que: 16.- De cuantas maneras pueden entrar 4 alum nos en 3 aulas, si no importa el aula donde entre cada uno? 17.- Cuntos nmeros distintos pueden fo rmarse permutando las cifras del num ero 121323233? 18.- De cuantas m aneras diferentes se puede n sentar 5 personas en autobs? 9 asientos en un

19.- De cuantas form as se puede elegir un co mit formado por 3 hombres y 2 m ujeres de un grupo de 7 hombres y 5 mujeres? 20.- Hallar el nm ero de palabras diferentes de 5 letras (con o sin sentido) que se pueden formar con las letras de la palabra impulsar. a) Si cada letra no se emplea ms de una vez. b) Si cada letra se puede repetir. 21.- Siendo Vn,r = 3024 y Cn,r = 126. Hallar r. 22.- El Sr. Juanes Tudiante tie ne 10 libros, de los cuales 4 son cuentos ilustrados, 3 de historia del arte, 2 de matem ticas y 1 de le nguaje. Juanes desea colocar sus libros en su biblioteca, pero tiene dos interrogantes: a) De cuantas maneras puede colocarlos de ta l forma que todos los que sean de un a misma rea queden consecutivos? b) De cuantas maneras puede colocarlos sin restriccin del rea a la que pertenecen? En ambas preguntas, considerando los casos: i.- todos los libros dentro de cada rea sean distintos? ii.- todos los libros dentro de cada rea tengan el mismo titulo, autor, edicin, etc? 23.- De cuantas m aneras pueden alinearse 5 mujeres y 5 hom bres de m odo que queden alternados?

24.- Hallar el nm ero de palabras diferentes (c on o sin sentido) que se pueden for mar con las letras de la palabra naguanagua. 25.- De cuantas maneras se pueden distribuir 7 juguetes entre 3 nios si el ms pequeo ha de recibir 3 juguetes y cada uno de los dos restantes? 26.- En cierta versin del lenguaje de progr amacin Pascal, el nom bre de una variable consta de una letra o de una le tra seguida de tres sm bolos, que pueden ser letras o dgitos (En esta versin, el com putador no di stingue entre m aysculas y m insculas). Considerando que en el teclado existen 27 letras y 10 dgitos, Cuntos nombres de variables distintos se pueden utilizar en esta versin de Pascal? 27.- Se sacan cartas de un m azo de barajas de 52, con reem plazo (cada carta to mada, despus de observada se devuelve al mazo): a) De cuantas maneras posibles pueden sacarse 10 cartas de form a tal que la decim a no sea la repeticin de alguna ya tomada? b) De cuantas m aneras pueden sacarse 10 carta s de for ma tal que la decim a sea la repeticin de alguna ya tomada?

Siempre que ensees, ensea a la vez a dudar de lo que ensees. Jose Ortega y Gasset