Reglas de Inferencia Sinrespuestas Axel

Compendio de ejercicios de las olimpiadas de lgica.
Hector Axel Saavedra Luis 19 de enero de 2014
ndice general
1. Ejercicios bsicos. 2. Acertijos 3. Qu se sigue? 4. Argumento vlido? 5. Qu agregas 6. Simbolizaciones y traducciones. 7. Valuaciones 8. Un poco de sintxis 9. Falacias y otros 7 17 23 35 43 47 57 63 67
NDICE GENERAL
Introduccin
Esta es una recopilacin de ejercicios de las olimpiadas de lgica, dedicada a los estudiantes de la facultad de Ciencias UNAM y a los concursantes de las olimpiadas de lgica realizadas en la Repblica Mexicana, el objetivo de este documento es incrementar el inters por la lgica entre los estudiantes y motivar el uso de la misma, as como la preparacin del lector para resolver ejercicios tpicos de dichas olimpiadas. Lo mas recomendable es que el lector este familiarizado con el temario de los cursos de lgica 1 y lgica 2 impartidos en la facultad de ciencias (lgica de enunciados y lgica de primer orden), el concepto ms importante y que se debe tener dominado es el de implicacin lgica, asi como implicacin tautolgica, y deduccin lgica (se har mencin de estos conceptos sin hacer distincin con frases como, se sigue, implica, se deduce, se tiene, y se utilizarn smbolos |= tendiendo en cuenta que el lector los interpretar con la denicin adecuada), adems que entenderemos la palabra equivalente, como lgicamente equivalente. En la mayora de los casos obviaremos los universos de interpretacin.Con oracin principal nos referiremos al enunciado o frmula dado en el planteamiento del ejercicio, de igual manera, con premisas nos referiremos a los enunciados o frmulas planteados en el ejercicio.En muchos casos nos referiremos simplemente a una valuacin como v y a su valuacin extendida como v , tambin suceder que obviaremos las valuaciones, y diremos que una frmula o una oracin es verdadera si v () = 1. Las simbolizaciones no son del todo formales, es decir, en muchos casos se omitirn parntesis y siempre se utilizarn letras del alfabeto para los smblos de enunciado (y no A1 , A2 , A3 ...). Es tambin recomendable que el lector conozca el modus ponens la regla de inferencia primordial para las deducciones lgicas y conoces algunos teoremas como el de la deduccin. Es importante recalcar que no es un requisito dominar todos estos temas para el estudio de estos problemas (los ejercicios realmente son simples), sin embargo, el objetivo de esta recopilacin es preparar a los estudiantes de la Facultad de Ciencias para las siguientes Olimpiadas, y aunque la teora no es denitiva en esta competencia, es un factor que inuye en los resultados. A continuacin se muestra una breve lista de equivalencias lgicas que utilizaremos con frecuencia. Suerte. Hector Axel Saavedra Luis. (P P ) |=| P P P |=| P P Q |=| P Q (P Q) |=| P Q (P Q) |=| P Q (P Q) R |=| (P R) (Q R) (P Q) (P Q) |=| Q Q |=| Q 5
6 Q |=| Q
NDICE GENERAL
x |=| x P Q |=(P ) C |=| signica equivalencia lgica asi como y signican, contradiccin y tautolgia respectivamente.
Captulo 1 Ejercicios bsicos.

Los siguientes ejercicios son fundamentales en el sentido de que su resolucin es sencilla formalmente, es recomendable que hayamos aprendido las equivalencias que se sugiere en la introduccin, recordando estas, los ejercicios deben ser de lo ms simples. Recordemos que todos tenemos un ritmo y estos ejercicios son para ir mejorando nuestro nivel, si los ejercicios no resultan tan simples no es motivo de desnimo, por el contrario se debe seguir trabajando. 1. Elige la negacin lgica de l es bello. a) l es feo. b) l es imperfecto. c) l no es bello. d) l es horrible. 2. Cul de las siguientes oraciones es lgicamente equivalente a: Ninguno de los amigos de Sheik ha sido siempre veraz? a) No todos los amigos de Sheik han sido alguna vez veraces. b) Algunos amigos de Sheik nunca han sido veraces. c) Todos los amigos de Sheik han mentido alguna vez. d) Algunos amigos de Sheik no siempre han mentido. No existe amigo de Sheik que siempre haya sido veraz, por lo que todos sus amigos no han sido siempre veraces. 3. Cul de las siguientes opciones es equivalente a la negacin del siguiente enunciado? Nadie conoce a todos los amigos de Laura a) Todos conocen a alguno que no es amigo de Laura. b) Alguien conoce a todos los amigos de Laura. c) Algn amigo de Laura no es conocido por nadie. d) Alguien no conoce a algn amigo de Laura. 4. La oracin tu me tiras el caf y yo te echo por la ventana 7
8 a) es una implicacin disfrazada de conjuncin. b) es una oracin que carece de valor de verdad.
CAPTULO 1. EJERCICIOS BSICOS.
c) no es una oracin sino un mandato, por eso carece de valor de verdad. d) es una conjuncin pues admite cambiar el orden de los conyuntos sin alterar su valor de verdad. 5. Cul es la negacin lgica del siguiente enunciado: Los nios y los borrachos dicen la verdad? a) Los que no son nios ni borrachos no dicen la verdad. b) No hay nios y borrachos que no dicen la verdad. c) Los que no dicen la verdad no son nios o borrachos. d) Hay nios o borrachos que no dicen la verdad. La negacin de una conjuncin es la disyuncin de las negaciones. 6. Cuando Mara le pregunt a Mario si quera casarse con ella, Mario le contest: No estara mintiendo si te dijera que no niego que si es verdadero que no deja de ser falso que no quiera casarme contigo. Mara qued un poco confundida, pero a que equivale lo que contest Mario? a) A que no quiere casarse con Mara. b) A que s se quiere casarse con Mara. c) A que quiere casarse y no quiere casarse con Mara. d) A que si quiere casarse con Mara, entonces no quiere casarse con Mara. 7. Hablando de personas y de dioses. Cul es la negacin lgica del siguiente enunciado? Ninguna persona no es un dios. a) Toda persona es un dios. b) Toda persona es todos los dioses. c) Alguna persona no es un dios. d) Alguna persona es todos los dioses. 8. A que equivale el siguiente enunciado? Todos los extraterrestres son amigos de los sapos. a) No hay extraterrestres que no sean amigos de algn sapo. b) No hay extraterrestres que no sean amigos de todos los sapos. c) No hay sapos que no sean amigos de los extraterrestres. d) Todos los extraterrestres son amigos de algn sapo. 9. Cual es la negacin lgica del siguiente enunciado? Todos le dijeron a Sonia que fuera a la esta. a) Nadie le dijo a Sonia que fuera a la esta. b) Alguien le dijo a Sonia que no fuera a la esta.
9 c) Todos le dijeron a Sonia que no fuera a la esta. d) Alguien no le dijo a Sonia que fuera a la esta. La poltica no es fcil ni til Que se sigue de lo anterior? a) No es el caso que la poltica sea aburrida. b) No es el caso que la poltica no sea til. c) La poltica no es til o es aburrida. d) La poltica no es fcil y es decepcionante. e) La poltica es fcil y til. 10. Cul es la negacin lgica de la siguiente expresin? No me mires cuando me miren que nos miramos. a) O me miras o no me miran que nos miramos. b) Mrame aunque no me miren que nos miramos. c) Mrame aunque miren que nos miramos. d) Es falso que: me miras y que no me miren que nos miramos. 11. Si me ama, me respeta. Cul de las siguientes armaciones es equivalente a la anterior? a) Si no me respeta, no me ama. b) O me ama o no me respeta. c) Si me respeta, me ama. d) O me ama o me respeta 12. Elige la negacin lgica de: Los polticos dicen la verdad. a) Los polticos mienten b) No es el caso que: los polticos dicen la verdad c) Los polticos siempre mienten d) Los polticos dicen mentiras 13. Cul es la negacin lgica de: No me gusta el chocolate ni el refresco? a) No me gusta el chocolate y s me gusta el refresco. b) Si me gusta el chocolate, el refresco tambin. c) Me gusta el chocolate si y slo si me gusta el refresco. d) Si no me gusta el chocolate, me gusta el refresco. e) No es cierto que: me gusta el chocolate o el refresco. 14. Es falso que: las mujeres son superiores a los hombres o que los hombres son inferiores a las mujeres. Cul de las siguientes armaciones es equivalente a la anterior?
10
CAPTULO 1. EJERCICIOS BSICOS. a) Las mujeres no son superiores a los hombres y los hombres no son inferiores a las mujeres. b) No es cierto que: las mujeres son superiores a los hombres y los hombres son inferiores a las mujeres. c) Las mujeres son superiores a los hombres y los hombres son inferiores a las mujeres. d) Es falso que: las mujeres sean superiores a los hombres y los hombres sean inferiores a las mujeres.
15. El acusado es culpable. Cul de las siguientes armaciones es equivalente a la anterior? a) No es cierto que no sea culpable. b) Es falso que el acusado es culpable. c) Es verdad que el acusado no es culpable d) No es cierto que sea verdad que el acusado es culpable 16. Elige la negacin lgica de: No pasar a la nal a) No pasar a la nal. b) Pasar a la nal. c) Pasar a la nal. d) Pas a la nal. 17. Elige la negacin lgica de: As es la vida, jacarandosa, te quita, te pone, te sube, te baja y a veces te lo da. a) Es falso que as es la vida, jacarandosa, te quita te pone, te sube, te baja y a veces te lo da. b) As es la vida, jacarandosa. c) La vida te quita te pone, te sube, te baja, a veces te lo da y es jacarandosa. d) La vida no es jacarandosa, no te quita no te pone, no te sube, no te baja y nunca te lo da. 18. Cul de las siguientes proposiciones es equivalentes a "Si puedo conducir un auto, entonces tengo ms de 16 aos a) Si no tengo ms de 16 aos, puedo conducir un auto. b) Si no tengo ms de 16 aos, entonces no puedo conducir un auto. c) Si tengo ms de 16 aos, entonces puedo conducir un auto. d) Si tengo ms de 16 aos, entonces no puedo conducir un auto. e) Si no es el caso que no tenga ms de 16 aos, entonces puedo conducir un auto 19. Nada es demasiado bueno como para ser verdad (Tamara Len, locutora de Mix FM, 2005). Cul de las siguientes armaciones es equivalente a la anterior? a) A todo le sucede que no es demasiado bueno como para ser verdad. b) A todo le sucede que no es demasiado bueno como para ser mentira. c) A todo le sucede que es demasiado bueno como para ser verdad.
11 d) A nada le sucede que es demasiado bueno como para ser mentira. e) A nada le sucede que no es demasiado bueno como para ser verdad. 20. Aserej ja dej. Si suponemos que lo anterior es una armacin, sta es equivalente a cul de las siguientes armaciones? a) Es falso que aserej ja dej. b) Si es falso que: aserej ja dej, entonces aserej ja dej. c) Aserej ja dej si y slo si, aserej ja dej. d) Aserej ja dej si y slo si, es falso que aserej ja dej. e) Si Aserej ja dej, entonces majavi an de bugui an de buididip. 21. Cul de las siguientes proposiciones es equivalentes a: Si soy listo, soy listo. Si soy listo, entonces no soy listo? a) O soy listo o no lo soy. b) Soy listo. c) No soy listo. d) Si no soy listo, no soy listo. e) Soy y no soy listo. 22. Algunos seres humanos no son libres, Pedro es uno de ellos. Cul es la negacin lgica de lo anterior? a) Pedro es libre. b) Todos los seres humanos son libres o Pedro lo es. c) Todos los seres humanos son libres. d) Todos los seres humanos son libres o Pedro no lo es. e) Todos los seres humanos son libres y Pedro lo es. 23. Todos los no-humanos son inmortales y todos los basiliscos son no-humanos. Cul es la negacin de lo anterior? a) Todos los humanos son mortales y no existen los basiliscos. b) Todos los no-humanos son mortales y todos los basiliscos son humanos. c) Si todos los no-humanos son inmortales entonces no es cierto que todos los basiliscos son no-humanos. d) Si todos los basiliscos son humanos entonces todos los humanos son inmortales. e) Todos los basiliscos son inmortales o todos los basiliscos son humanos. 24. Cul de los siguientes incisos es la negacin lgica de Algunos cisnes no son blancos? a) Todos los cisnes son blancos. b) Algunos cisnes no son negros.
12 c) Algunos cisnes son blancos. d) Ningn cisne es blanco. e) No es el caso que Algunos cisnes sean blancos. 25. Elige la negacin de Ningn ser humano es perfecto. a) Existen seres humanos perfectos. b) Algunos seres humanos no son perfectos. c) Todos los seres humanos son perfectos. d) Nadie es perfecto. e) Ningn ser humano es imperfecto. 26. Elige la negacin lgica de Todos son ganadores. a) Todos son perdedores. b) Algunos no son perdedores. c) Algunos no son ganadores. d) Es falso que no todos son ganadores. e) Algunos son ganadores.
27. Qu armacin es lgicamente equivalente a: Todos los que son felices aman a alguien? a) Si todos son felices entonces alguien ama a alguien. b) Todos los que aman a alguien son felices. c) No hay alguien feliz que no ame a alguien. d) Si todos aman a alguien entonces alguien es feliz. e) Todos los que no son felices aman a alguien. 28. Cul es la negacin lgica de: Yo no me gusto a mi mismo, pero t tampoco me gustas? a) O me gusto a mi mismo o me gustas t. b) No me gusta nadie. c) Yo me gusto a mi mismo, pero t me gustas ms. d) No es el caso que: me gustes y yo no me guste a mi mismo. e) No es cierto que: o t me gustas o me gusto a mi mismo. 29. Cual es la negacin lgica de la siguiente oracin? Todos los amigos de Ana le mintieron respecto a Jos. a) Ningn amigo de Ana le minti respecto a Jos. b) Algn amigo de Ana le minti respecto a Jos. c) Algn amigo de Ana no le minti respecto a Jos. d) Algn amigo de Ana le minti respecto a todos.
13 30. Todos los animales son dignos de consideracin moral. Cul de las siguientes oraciones se sigue de la armacion precedente? a) No es cierto que algunos animales son dignos de consideracion moral b) Todos los seres dignos de consideracion moral son animales. c) Si las plantas son moralmente considerables, todos los animales tambien. d) Algunos animales son moralmente considerables y otros animales no. 31. Cul es la negacin lgica de: ni picha ni cacha ni deja batear? a) No picha, no cacha, no deja batear. b) No: picha y cacha y deja batear. c) No: picha o cacha o deja batear. d) Si no picha, entonces cacha o deja batear. 32. La negacin lgica de la proposicin: Ni te beso ni te abrazo, si tienes el virus de la inuenza humana. 33. Cual de las siguientes oraciones es lgicamente equivalente a: Si los pinginos viven en el polo sur y los osos en el polo norte, entonces estas especies no conviven en su ambiente natural? a) Si los pinginos no viven en el polo sur y los osos no viven en el polo norte, entonces los osos y los pinginos conviven en su ambiente natural. b) O bien los osos y los pinginos no conviven en su ambiente natural, o bien no es el caso que: los pinginos viven en el polo sur y los osos en el polo norte. c) O bien los osos y los pinginos conviven en su ambiente natural, o bien los pinginos viven en el polo sur y los osos en el polo norte. d) O bien los osos y los pinginos conviven en su ambiente natural, o bien no es el caso que: los pinginos viven en el polo sur y los osos en el polo norte. Cul de los siguientes enunciados es equivalente a Si te quiero es porque sos mi amor mi cmplice y todo? a) Si te quiero, entonces sos mi amor mi cmplice y todo. b) Al ser mi amor, entonces eres todo y te quiero. c) Al ser mi amor mi cmplice y todo, te quiero. d) Si no te quiero, no eres mi amor mi cmplice y todo. 34. Cul de las siguientes opciones es un equivalente lgico de la negacin del siguiente enunciado? Nadie conoce a todos los amigos de Laura. a) Todos conocen a alguno que no es amigo de Laura. b) Alguien conoce a todos los amigos de Laura. c) Algn amigo de Laura no es conocido por nadie. d) Alguien no conoce a algn amigo de Laura.
14
35. Cul de las siguientes oraciones es lgicamente equivalente a: Ninguno de los amigos del Sheik ha sido siempre veraz? a) No todos los amigos del Sheik han sido alguna vez veraces. b) Algunos amigos del Sheik nunca han sido veraces. c) Todos los amigos del Sheik han mentido alguna vez. d) Algunos amigos del Sheik no siempre han mentido. 36. Cul de los siguientes incisos es la negacin lgica de Algunos cisnes no son blancos? a) Todos los cisnes son blancos. b) Algunos cisnes no son negros. c) Algunos cisnes son blancos. d) Ningn cisne es blanco. e) No es el caso que Algunos cisnes sean blancos. 37. Cul de las siguientes proposiciones es equivalentes a: Si soy listo, soy listo. Si soy listo, entonces no soy listo? a) O soy listo o no lo soy. b) Soy listo. c) No soy listo. d) Si no soy listo, no soy listo. e) Soy y no soy listo. 38. Algunos seres humanos no son libres, Pedro es uno de ellos. Cul es la negacin lgica de lo anterior? a) Pedro es libre. b) Todos los seres humanos son libres o Pedro lo es. c) Todos los seres humanos son libres. d) Todos los seres humanos son libres o Pedro no lo es. e) Todos los seres humanos son libres y Pedro lo es. 39. Mi perro no es una palmera. Cul oracin no se sigue de la anterior? a) Mi perro no es una palmera o yo soy un bote de pintura. b) Si mi perro es una palmera entonces dos ms dos es igual a cuatro. c) Si el sol es un planeta entonces mi perro no es una palmera. d) Mi perro no es una palmera o mi perro es una palmera. e) Si no soy un bote de pintura entonces mi perro es una palmera. 40. Cuando abro mi maleta encuentro, entre otras cosas, mi mochila. Cuando abro mi mochila encuentro, entre otras cosas, mi maleta. Cul de las siguientes armaciones se sigue de lo anterior?
15 a) Mi maleta es mgica. b) Mi maleta est dentro de mi mochila y mi mochila est dentro de mi maleta. c) Tengo muchas mochilas. d) Mi maleta no est dentro de ella misma. e) Mi maleta y mi mochila son el mismo objeto. 41. Todos los no-humanos son inmortales y todos los basiliscos son no-humanos. Cul es la negacin de lo anterior? a) Todos los humanos son mortales y no existen los basiliscos. b) Todos los no-humanos son mortales y todos los basiliscos son humanos. c) Si todos los no-humanos son inmortales entonces no es cierto que todos los basiliscos son no-humanos. d) Si todos los basiliscos son humanos entonces todos los humanos son inmortales. e) Todos los basiliscos son inmortales o todos los basiliscos son humanos. 42. Cual es la negacin lgica de la siguiente oracin? Todos los amigos de Ana le mintieron respecto a Jos. a) Ningn amigo de Ana le minti respecto a Jos b) Algn amigo de Ana le minti respecto a Jos c) Algn amigo de Ana no le minti respecto a Jos d) Algn amigo de Ana le minti respecto a todos. Se tiene un enunciado de la forma xalpha la negacin x es lgicamente equivalente a x por lo que la respuesta es el inciso c). 43. Cul de las siguientes proposiciones no es lgicamente equivalente a: xy[Cxy (Fy Axy)]? a) x y [Cxy (Axy Fy)] b) y x[Cyx (Fx Ayx)] c) xy[Cxy (Fy Axy)] d) xy[Cxy (Fy Axy)] e) yx[Cyx (Fx Ayx)]
44. Cul de los siguientes enunciados es equivalente a Si te quiero es por que sos mi amor mi cmplice y todo? a) Si te quiero, entonces sos mi amor mi cmplice y todo. b) Al ser mi amor, entonces eres todo y te quiero. c) Al ser mi amor mi cmplice y todo, te quiero. d) Si no te quiero, no eres mi amor mi cmplice y todo.
16 45. Considere los siguientes dos enunciados: 1 Todos los elefantes tienen trompa 2 Todos los elefantes con orejas tienen trompa Cual de las siguientes armaciones es cierta? a) 1) implica 2) y 2) no implica 1). b) 2) implica 1) y 1) no implica 2). c) 1) implica 2) y 2) implica 1). d) 1) no implica 2) y 2) no implica 1).
46. Cual de las siguientes opciones es lgicamente equivalente a la siguiente frmula? ((T T ) (P R)) ((P P ) (R R)) a) (P R) (P P ) b) (T T ) (P R) c) (P R) (T T ) d) (P R) (T T ) 47. A qu proposicin no es equivalente la proposicin: P P ? a) P P b) (P P ) c) P P d) P P e) P P 48. A qu proposicin es equivalente la proposicin: P? a) P P b) P P c) P P d) P (Q Q) e) (Q Q) P 49. Cul de las siguientes opciones es lgicamente equivalente a: ({(r r) ((w w) t)} (r t))? a) t r b) t t c) t d) t r e) r t
Captulo 2 Acertijos
Los acerijos de la olimpiada son muy entretenidos, sin embargo, no guran entre el tipo de preguntas ms numeroso, an as, vale la pena estudiarlos para tenerlos presentes. No hay mtodos generales para resolver acertijos, todo depende del ingenio de cada persona. Suerte! 1. Se tiene un conjunto no vaco de tarjetas con las siguientes caractersticas: i) De un lado tienen un crculo o un tringulo (y slo uno de los dos). ii) Del otro lado son rojas o verdes (y slo uno de los dos). iii) Todas las tarjetas con crculo de un lado, son verdes del otro lado. Entonces la armacin Si una tarjeta tiene un tringulo de un lado, es roja por el otro: a) Es verdadera. b) Es falsa. c) No sabemos si es verdadera o falsa. d) Es verdadera y falsa. e) Es una tautologa. 2. Sobre una mesa estn extendidas 6 tarjetas de colores. Cada tarjeta tiene diferente color de cada lado, ya sea azul o rojo. Pero siempre que una tarjeta es roja de un lado, es azul del otro lado. Si todas las tarjetas tienen color azul en su lado visible, Qu podemos inferir sobre el color del lado oculto de las tarjetas? a) Ninguna es roja. b) Todas son rojas. c) Ninguna es azul. d) Al menos una es roja. e) Al menos una es azul. 3. En un cajn en un cuarto oscuro hay 48 canicas: 24 rojas y 24 azules. .Cual es el menor numero de canicas que debo sacar (sin ver) para estar seguro de tener dos de diferente color? 25, puede que tengamos la mala suerte de sacar las 24 de un solo color. 4. En un cajon en un cuarto oscuro hay 48 calcetines: 24 rojos y 24 azules. Cul es el menor numero de calcetines que tengo que sacar (sin ver) para estar seguro de tener dos del mismo color? 17
18 a) 2 b) 3 c) 24 d) 25
CAPTULO 2. ACERTIJOS
5. Existen dos posibilidades excluyentes: Yo siempre digo mentiras o siempre digo la verdad.Qu pregunta me puedes hacer para saber si soy mentiroso u honesto? a) Eres mentiroso? b) Es cierto que eres honesto? c) Es cierto que eres mentiroso o no es el ao 2006? d) Es cierto que no eres mentiroso? e) Es cierto que si eres mentiroso entonces eres mentiroso? 6. Existen dos hermanos gemelos, uno que siempre dice la verdad y uno que siempre miente. El honesto se llama Luis y el mentiroso, Xavier. Ambos viven en la misma casa, pero en diferente habitacin. En la habitacin de uno de ellos est escondida una maleta con dinero robado. Ambos saben en dnde est la maleta. Imagina que t eres un polica en las siguientes condiciones: acabas de llegar a la casa, te encuentras a los gemelos, no sabes cmo distinguir entre ellos, pero sabes cul es la habitacin de Luis y cul es la Xavier y tienes toda la informacin anterior. Cul de las siguientes preguntas tienes que hacer para saber en qu habitacin est escondida la maleta? a) Es cierto que: si eres Xavier entonces la maleta est en tu cuarto? b) Es cierto que la habitacin de Luis es tuya si y slo si la maleta est en la habitacin de Xavier? c) Es cierto que eres Xavier o la maleta est en tu habitacin? d) Es cierto que la habitacin de Xavier es de Xavier si y slo si la maleta est en la habitacin de Luis? e) Es cierto que la habitacin de Luis es tuya y la maleta est en la habitacin de Xavier? 7. Suponga que en Cuijingo, estos tres enunciados son verdad: 1. Hay ms habitantes que pelos en la cabeza de cualquiera de ellos. 2. Ningn par de habitantes tienen el mismo nmero de pelos en la cabeza. 3. Ninguno de los habitantes tiene exactamente 518 pelos en la cabeza. Entonces, Cul es el mayor nmero posible de habitantes de Cuijingo? a) 517 b) 518 c) 519 d) 0 e) 2 8. Suponga que gallina y media pone huevo y medio en da y medio. Con la misma proporcin, Cuntos huevos pone una gallina en tres das? a) Uno.
19 b) Uno y medio. c) Dos. d) Dos y medio. e) Tres. 9. Existe un libro que en el primer prrafo de la primera pgina del primer captulo dice: Este libro tiene slo una oracin verdadera. Este captulo slo tiene una oracin verdadera. Esta pgina slo tiene una oracin verdadera. Este prrafo slo tiene una oracin verdadera. Si suponemos que por lo menos una de ellas es verdadera Cul de ellas sera verdadera? a) Esta pgina slo tiene una oracin verdadera. b) Este captulo slo tiene una oracin verdadera. c) Este libro tiene slo una oracin verdadera. d) Este prrafo tiene slo una oracin verdadera. e) Todas son verdaderas. 10. En una mitologa hay tres dioses: el Dios de la Verdad siempre dice la verdad; el Dios de la Mentira siempre miente; el Dios de la Diplomacia a veces miente y a veces dice la verdad. Un sacerdote hace una pregunta a cada dios, sin saber cul es cul, llamndolos Dios 1, Dios 2 y Dios 3: Pregunta al Dios 1: Quin es el Dios 2? Respuesta: Es el Dios de la verdad. Pregunta al Dios 2: Qu Dios eres t? Respuesta: Soy el Dios de la diplomacia. Pregunta al Dios 3: Quin es el Dios 2? Respuesta: Es el Dios de la mentira. Con esta informacin, el sacerdote identic a cada dios. Cul es cul? 11. Cuantas ores tengo, si todas son rosas excepto dos, todas son claveles excepto dos y todas son margaritas excepto dos? 12. Alicia se encontraba en el bosque del olvido y habia olvidado que dia era. El leon (que miente los lunes, martes y miercoles y dice la verdad los otros dias) le dijo:ayer fue uno de los dias que me tocaba menti. El unicornio (que miente los jueves, viernes y sabados y dice la verdad los otros dias) le dijo:ayer fue uno de los dias que me tocaba mentir. Asi Alicia supo que dia era. Que dia era? 13. Otro dia, Alicia habia olvidado que dia era y se encontro en el bosque del olvido al unicornio solo, (recordar que el unicornio miente los jueves, viernes y sabados y dice la verdad los otros dias) y este le dijo: ayer menti enseguida tambin dijo: volver a mentir dentro de tres dias. Entonces Alicia supo que dia era. Que dia era? 14. En cierto reino todos los misioneros solo dicen la verdad y todos los esclavos solo dicen mentiras. Tres hombres de los que solo se sabe que cada uno de ellos es o misionero o esclavo, llegan ante el rey. El rey le pregunta al primero: qu eres tu, esclavo o misionero? Este balbuceo algo que el rey no pudo oir pero los demas si. El rey le pregunto al segundo: qu es lo que dijo l? Y el segundo replico:el dijo que es un esclavo. Finalmente el rey le pregunto al tercer hombre si el segundo estaba diciendo la verdad, y este le contesto: si. Que se concluye con certeza?
20 a) Los dos primeros son esclavos. b) Los dos primeros son misioneros y el tercero es esclavo.
c) El primero es esclavo, el segundo es misionero y el tercero es esclavo. d) El segundo y tercero son esclavos. 15. En cierta ocasion le preguntaron a una joven que cuantos anos tenia. Ella respondi asi: anteayer tenia 22 aos, pero el ao prximo cumplir 25. Esto es posible. Entonces. Cuantos aos tena cuando le preguntaron? a) 22 b) 23 c) 24 d) 25 16. En un pais donde la ejecucin de un condenado a muerte solamente puede hacerse mediante la horca o la silla elctrica, se da la situacin siguiente que permite a un condenado librarse de ser ejecutado. Llega el momento de la ejecucin y sus verdugos le piden que hable y le maniestan: Si dices una verdad, te mataremos en la horca, y si mientes te mataremos en la silla elctrica. El preso hace entonces una armacion que deja a los verdugos tan perplejos que no pueden, sin contradecirse, matar al preso ni en la horca, ni en la silla electrica. Que es lo que dijo el reo? a) Ser ahorcado y electrocutado. b) Ser ahorcado. c) Ser electrocutado. d) No ser ni ahorcado ni electrocutado. 17. Juan va a recoger su calicacin nal de lgica con el maestro Gutirrez, el alumno sabe que el maestro siempre dice mentiras y la escala de calicaciones va del 5 al 10. Una vez que Juan est frente al profesor Gutirrez, ste le dice: No pasaste el curso. Si no sacaste 8, entonces sacaste 8. Si tu calicacin es ms de ocho, entonces sacaste 10. Una vez que Juan escucho esto se fue tranquilo y prometi que su calicacin sera ms alta el prximo ao. Qu calicacin obtuvo Juan? 18. Unas semanas despus Juan se encuentra con el profesor Gutirrez en un caf y tienen una conversacin. Cul de las siguientes oraciones no puede ser dicha por el profesor en dicha conversacin? a) Es imposible que un hombre siempre mienta. b) Siempre he sido honesto contigo. c) Nunca te he mentido. d) Algunos hombres siempre mienten. 19. Descubre quin mat al mayordomo. Si Luis no entr a casa de Sara, entonces: el doctor sali a las 11 de casa de Sara y, Benjamn mat al mayordomo o Ernesto vio al asesino. Luis no entr a casa de Sara y Ernesto no vio al asesino. Benjamn mat al mayordomo, si y slo si el doctor no sali a las 11 de casa de Sara o Carlos mat al mayordomo. Carlos no mat al mayordomo o Federico lo mat.
21 a) Luis y Carlos mataron al mayordomo. b) Carlos y el doctor mataron al mayordomo. c) Ernesto, Carlos y Federico mataron al mayordomo. d) Federico, Carlos y Benjamn mataron al mayordomo. 20. Abel, Paula y Benjamn eran los tres hijos del rey, a quienes acompaaba como su sombra el ancianco Sir Kat. En cierta ocasin haban salido de caza. Felices por la caza, los hijos del rey se volvieron menos cuidadosos y vigilantes que de costumbre. Un ogro que pasaba, los captur con facilidad a ellos y a Sir Kay, y los llev a su guarida. Los puso en cuatro celdas en hilera. Sabemos que: La celda en la que est prisionero el prncipe Abel est junto a la del prncipe Benjamn. Pero el prncpe Abel no est junto a la princesa Paula. La celda de la princesa Paula no est junto a la de Sir Kay. De quin es la celda vecina a la de este ltimo?. a) Del ogro. b) Del prncipe Abel. c) De la princesa Paula. d) Del prncipe Benjamn. 21. Pep llega a un cruce de caminos y no sabe cul debe tomar para llegar al pueblo ms cercano. Lo nico que sabe es que se puede llegar por ms de un camino y, en ese lugar, los hombre siempre dicen mentiras y las mujeres siempre dicen la verdad. As, le pregunta a unas personas que se encuentran cerca y esto es lo que le contestan: Hombre 1: Toma el camino azul y el camino verde. Mujer 1: No tomes el camino azul y tampoco el amarillo. Hombre 2: Si no te vas por el camino amarillo, entonces tampoco por el rojo. Mujer 2: Toma el camino rojo si y slo si tomas el blanco tambin. Que camino o caminos puede tomar Pep?. a) El rojo y el blanco. b) El verde y el rojo. c) El blanco y el azul. d) El amarillo o el verde. Concluimos esta seccin con un acertijo muy famoso que no ha sido includo en los examenes de las olimpiadas, es llamado el acertijo de Einstein, lo dejo sin respuesta por que vale la pena resolverlo. Tenemos 5 casas de cinco colores diferentes y en cada una de ellas vive una persona de una nacionalidad diferente. Cada uno de los dueos bebe una bebida diferente, fuma una marca de cigarrillos diferente y tiene una mascota diferente. Tenemos las siguientes claves: El britnico vive en la casa roja. El sueco tiene un perro. El dans toma t. La casa verde esta a la izquierda de la blanca. El dueo de la casa verde toma caf. La persona que fuma Pall Mall tiene un pjaro. El dueo de la casa amarilla fuma Dunhill.
22 El que vive en la casa del centro toma leche. El noruego vive en la primera casa. La persona que fuma Brends vive junto a la que tiene un gato. La persona que tiene un caballo vive junto a la que fuma Dunhill. El que fuma Bluemasters bebe cerveza. El alemn fuma prince. El noruego vive junto a la casa azul. El que fuma Brends tiene un vecino que toma agua. Y por ultimo la pregunta: Quin es el dueo del pececito?
Captulo 3 Qu se sigue?
Este tipo de ejercicos son muy importantes, una gran cantidad de ellos aparecen en los exmenes. La denicin ms importante de la lgica formal es la de implicacin lgica, como se mencon en la introduccin, este concepto se debe tener bien dominado, asi como el de implicacin tautolgica y deduccin lgica, se utilizarn casi indistintamente, recordemos que el objetivo es resolver ejercicios a una buena velocidad, por lo que la teora ya se debe haber entendido. 1. Qu se sigue de las siguientes premisas? Algn cantante de Rock es mexicano. Todo cantante de Rock tiene tatuajes y tiene el cabello largo. Si alguien tiene el cabello largo, entonces todos los que tienen tatuajes son discretos. a) Algn no cantante de Rock es indiscreto. b) Algn mexicano es discreto o ninguno lo es. c) Algn cantante con pelo corto es indiscreto. d) Algn mexicano no es discreto o todos lo son. 2. Un da que Juan estaba encerrado en su habitacin, su mam, desde fuera le grit: -Qu haces Juan?. A lo que l, sin abrir la puerta respondi. -Juego cartas si y slo si juego canicas, pero cuando juego cartas no juego canicas, y cuando juego canicas no juego cartas. Qu concluy la mam a partir de est informacin? a) Que Juan juega cartas. b) Que Juan juega canicas. c) Que Juan no juega cartas ni canicas. d) Que Juan juega cartas y no canicas. 3. Todos los jueves del ao hubo conciertos de rap y reguetn, o de mariachis. Tambin los hubo algn martes. El 15 de septiembre hubo concierto de mariachis pero no fue jueves. que se sigue de lo anterior? a) El 15 de septiembre fue martes o hubo concierto de rap. b) Si un jueves del ao no hubo concierto de mariachis, hubo concierto de reguetn. c) Cada 15 de septiembre hay concierto de mariachis aunque no sea martes o jueves. 23
24 d) Algn jueves del ao no hubo concierto de rap.
CAPTULO 3. QU SE SIGUE?
4. Dado el siguiente conjunto de premisas: Todos los perros son verdes. Si todos los perros son verdes entonces alguna vaca es blanca. que se sigue? a) Alguna vaca no es blanca. b) No existen perros que sean verdes. c) La vaca Clarabella es blanca. d) No es cierto que todas las vacas son no blancas. 5. El escritor argentino Adolfo Bioy Casares dijo: Toda fantasa es real para quien cree en ella. Considere la siguiente armacin: Todas las alianzas son fantasas pero, Neatriz cree en la alianza mexica o Csar cree en la alianza zapoteca. A partir de esa armacin, que se inere de lo dicho por Adolfo Bioy Casares? a) La alianza mexica es real para Beatriz y la alianza zapoteca es real para Csar. b) La alianza mexica no es real para Beatriz o la alianza zapoteca no es real para Csar. c) No es cierto que: si la alianza mexica es real para Beatriz, la alianza zapoteca no es real para Csar. d) Si la alianza mexica no es real para Beatriz, la alianza zapoteca es real para Csar. 6. Si es verdad que: Todos le temen al diablo y el diablo slo le teme a Dios. Entonces, qu se sigue? a) El diablo no le teme a Dios. b) Dios slo le teme al diablo. c) Todos le temen a todos. d) El diablo es Dios. 7. Dados los enunciados A: Ningn hombre ama a alguna mujer, y B : Algn hombre no ama a ninguna mujer, Que podemos armar con certeza de ellos, suponiendo que existen hombres? a) Son equivalentes. b) A implica a B y B no implica a A. c) B implica a A y A no implica a B. d) A no implica a B y B no implica a A. 8. Cul de las siguientes armaciones se sigue de lo que dice don Quijote? Haz de saber, Sancho hermano,-dijo don Quijote- que aunque todos los cortesanos son caballeros no todos los caballeros andantes son cortesanos. a) Alguno que no es cortesano es caballero andante. b) Don Quijote es caballero pero no es cortesano. c) Es falso que: algn cortesano es caballero.
25 d) Ninguno que sea caballero es cortesano. 9. Qu se sigue del siguiente conjunto de premisas? Todos mis amigos de la escuela son mis amigos en las redes sociales, y todos mis amigos en las redes sociales son mis amigos del alma. Luis es mi amigo en las redes sociales. Ana es mi amiga del alma y Pep es mi amigo en la escuela. a) Luis, Ana y Pep son mis amigos del alma. b) Ana no es mi amiga en las redes sociales y Pep s. c) Ana es mi amiga en las redes sociales y Pep es mi amigo del alma. d) Pep es mi amigo en las redes sociales y Luis es mi amigo en la escuela. 10. Dadas las siguientes premisas Qu se sigue? Es aso que: si llueve, me mojo. Pero si no me mojo, no me resfri y tampoco me inyectan. a) Llueve y me mojo. b) No me inyectan o nunca llueve. c) Aunque me resfro, no me inyectan. d) Si no me inyectan o no me mojo, no llueve. 11. Qu se sigue de las siguientes premisas? Los estudiantes listos aprueban el examen, pero los que no son listos tambin lo aprueban. Hctor no aprueba el examen, pero es listo. a) Hctor aprueba el examen si es listo. b) Hctor aprueba el examen pero si es listo. c) Hctor no es listo, ni no listo ni estudiante. d) Hctor no es estudiante o aprueba el examen. 12. Qu NO se sigue del siguiente enunciado? Soy el mejor de todos los estudiantes. a) Ningn estudiante es mejor que yo. b) De todos los estudiantes yo soy el mejor. c) Soy el mero mero de todos los estudiantes. d) No es cierto que yo no sea el mejor de todos los estudiantes. 13. Qu se sigue a partir del siguiente enunciado? Me siento contento si veo a mi amigo Ral. a) Veo a mis amigos Ral y Elvira, o me siento contento. b) Si veo a mis amigos Ral y Diana, me siento contento. c) No veo a mis amigos Ral y Sergio, ni me siento contento. d) Me siento contento, si y slo si veo a mis amigos Ral y Hctor. 14. Qu NO se sigue del siguiente enunciado? Los marcianos no llegaron, o llegaron bailando Chachach.
26 a) Si los marcianos llegaron, llegaron bailando Chachach.
b) Si los marcianos no llegaron, llegaron bailando Chachach. c) No es cierto que: los marcianos llegaron, y no llegaron bailando Chachach. d) Si los marcianos no llegaron bailando Chachach, los marcianos no llegaron. 15. Cul de las siguientes oraciones NO se sigue de la oracin no es el caso que algunos hombres no sean inteligentes, suponiendo que hay hombres ? a) Todos los hombres son inteligentes. b) Algunos hombres son inteligentes. c) Ningn hombre es no inteligente. d) Algn hombre no es inteligente. 16. Qu se sigue de las siguientes premisas? Juan es culpable o alguien le minti a todos. Todos los secuaces de Pedor odian a Juan, pero Juan a nadie odia. Si alguien le minti a Ral, Ral no es culpable. Ral es culpable, pero si Juan es culpable Ral es secuaz de Pedro. a) Alguien es culpable, pero no es Juan ni Ral. b) Algn secuaz de Pedro odia a todos y no es culpable. c) Algn secuaz de Pedro odia a Juan y es culpable. d) Algn secuaz de Pedro es culpable y le minti a todos. 17. Cul de los siguientes enunciados es consecuencia lgica de: Nadie conoce a todos los amigos de Laura? a) Laura conoce a todos sus amigos. b) Algn amigo de Laura conoce a otro amigo de Laura. c) Laura tiene un amigo al que no conoce. d) Existe un amigo de Laura que no conoce a Laura. 18. La poltica no es fcil ni til. Qu se sigue de lo anterior? a) No es el caso que la poltica sea aburrida. b) No es el caso que la poltica no sea til. c) La poltica no es til o es aburrida. d) La poltica no es fcil y es decepcionante. e) La poltica es fcil y til. 19. Si la pelcula El cadver de la novia no gana el Oscar a la mejor pelcula animada, se cometer una injusticia. Qu se sigue de lo anterior? a) El cadver de la novia no ganar el Oscar y se cometer una injusticia. b) Si hay injusticia, El cadver de la novia no ganar el oscar a la mejor pelcula animada.
27 c) O la pelcula El cadver de la novia no gana el Oscar a la mejor pelcula animada, o se cometer una injusticia. d) Si no hay injusticia, El cadver de la novia no ganar el oscar a la mejor pelcula animada. e) O la pelcula El cadver de la novia gana el Oscar a la mejor pelcula animada, o se cometer una injusticia. 20. Algunos lgicos son muy despistados. Cul de las siguientes armaciones se sigue de lo anterior? a) No todos los lgicos son muy despistados. b) No es cierto que todos los lgicos son muy despistados. c) Ningn lgico es muy despistado. d) No es cierto que ningn lgico es muy despistado. e) Algunos lgicos no son muy despistados. 21. Eutiquio tiene muchos tos. Todos los tos de Eutiquio son mdicos. En una reunin familiar platiqu con algunos de los familiares de Eutiquio. Tuve una discusin interesante con un hombre inteligente que en el transcurso de la conversacin me dijo que slo haba estudiado mecnica y que slo se dedicaba a la mecnica. Qu puedo decir acerca de la relacin de ese hombre con Eutiquio? a) Era sobrino de Eutiquio. b) Era to de Eutiquio. c) No era sobrino de Eutiquio. d) Era amigo de Eutiquio. e) No era to de Eutiquio. 22. O el universo es innito y existen innidad de mundos como el nuestro, o Giordano Bruno estaba en un error.. Qu se sigue lgicamente de lo anterior? a) Giordano Bruno estaba en un error. b) El universo es innito. c) El universo es innito o existen innidad de mundos como el nuestro. d) Si Giordano Bruno estaba en un error, el universo es nito. e) Existen innidad de mundos como el nuestro o Giordano Bruno estaba en un error. 23. Todos los animales son dignos de consideracin moral. Cual de las siguientes oraciones se sigue de la armacin precedente? a) No es cierto que algunos animales son dignos de consideracin moral. b) Todos los seres dignos de consideracin moral son animales. c) Si las plantas son moralmente considerables, todos los animales tambin. d) Algunos animales son moralmente considerables y otros animales no.
28
24. Todos los monguitos son pachones. Pac es un monguito. Algunos monguitos son chicubus. No existe un chicubus que no sea monguito. Pac no es chicubus. Qu no se sigue lgicamente de lo anterior? a) Pac es pachon. b) Algunos monguitos no son chicubus. c) Todos los chicubus son monguitos. d) Existen chicubus que no son pachones. e) Todos los chicubus son pachones. 25. Uno de los 7 magncos arma: Si no estoy cabalgando, estoy en el trapecio. Y si no estoy en el trapecio, estoy de alambrista. Suponemos que slo puede hacer una de esas tres actividades en un momento dado. Qu est haciendo? a) Esta cabalgando. b) Esta de alambrista. c) Esta en el trapecio. d) Ninguna de las anteriores. e) Todos los anteriores excepto el inciso d). 26. Se dice que cuando se quem la Biblioteca de Alejandra, el Califa Omar hizo el siguiente comentario: O los libros contienen lo que est en la Biblia, en cuyo caso son superuos, o estn en contra de ella y entonces merecen el fuego (Lichtenberg, 40). Cual de las siguientes oraciones se sigue de las dos armaciones del Califa Omar, tomando como verdadera la disyuncin de los antecedentes de los condicionales implcitos en sus armaciones? a) La Biblia no es superua. b) No existe un libro que no contiene lo que est escrito en la Biblia y no est en contra de ella. c) Existe un libro que no contiene lo que est en la Biblia y no est en contra de ella. d) Todo libro merece el fuego. 27. Dadas las siguientes premisas, qu NO se sigue? Si Jos va al cine, Marco o Ernesto van al cine. Marco va al cine si y slo si Laura va. Jos va al cine y come palomitas. Si Laura no va al cine, Ernesto no va. a) Ernesto no va al cine. b) Laura y Jos van al cine. c) Si Ernesto va al cine entonces Laura va al cine. d) Jos come palomitas, y no es cierto que Laura no va al cine. 28. Cul es la conclusin del siguiente argumento? Si el candidato fuerte expira antes de las elecciones, el candidato dbil gana la presidencia. Si el candidato dbil gana la presidencia el candidato fuerte se retira a su rancho. a) El candidato fuerte gana la presidencia o expira antes de las elecciones.
29 b) Si el candidato fuerte expira antes de las elecciones, se retira su rancho. c) Si el candidato fuerte expira antes de las elecciones, pierde la presidencia. d) El candidato dbil gana la presidencia o el candidato fuerte se retira a su rancho. 29. Si la pelcula .El cadver de la novia"no gana el Oscar a la mejor pelcula animada se cometer una injusticia. Que se sigue de lo anterior? a) .El cadver de la novia"no ganar el Oscar y se cometer una injusticia. b) Si hay injusticia, .El cadver de la novia"no ganar el Oscar a la mejor pelcula animada. c) O la pelcula .El cadver de la novia"no gana el Oscar a la mejor pelcula animada, o se cometer una injusticia. d) Si no hay injusticia, .El cadver de la novia"no ganar el Oscar a la mejor pelcula animada. e) O la pelcula .El cadver de la novia"gana el Oscar a la mejor pelcula animada, o se cometer una injusticia. 30. No es el caso que: Pinocho es un nio de verdad o Stitch naci en la tierra. Cual de las siguientes armaciones no se sigue de lo anterior? a) Pinocho no es un nio de verdad. b) Pinocho es un nio de verdad o Stitch no naci en la Tierra. c) Si Stitch es el protagonista de una pelcula de Disney entonces no naci en la Tierra. d) Si Pinocho es de madera, entonces es un nio de verdad. e) Ni Pinocho es un nio de verdad ni Stitch naci en la Tierra. 31. Paco, Pep y Pipo llegan (no necesariamente en ese orden) a comer a la taquera El taco-Miento donde hay dos reglas que siempre se cumplen: el de atrs paga y el que paga manda.Dos de ellos dicen sucesivamente: el de atrs paga. Sin embargo, el ltimo manda que pague Paco. Quien pago los tacos?. a) Si Paco lleg al ltimo, Paco pag los tacos. b) Si Pep lleg primero, Pep pag los tacos. c) Si Pipo lleg al ltimo, Pep pag los tacos. d) Si Paco es el que manda, Pac no pag los tacos. 32. Alicia hace la siguiente pregunta a la oruga azul: Estoy soando o esto es real? L a oruga le contesta lo siguiente: El conejo dice mentiras o el sombrerero dice la verdad. Si el conejo dice mentiras, entonces Alicia est soando. Si la Reina Roja es real, entonces el sombrerero dice la verdad. La oruga es sabia y el sombrerero no dice la verdad. Qu puede concluir Alicia a partir de estas premisas? a) Si nada es real, entonces Alicia no est soando. b) Si Alicia no est soando, entonces la oruga azul no es real. c) Si la Reina Roja no es real, entonces Alicia no est soando.
30 d) Si la oruga es sabia, entonces Alicia no es real.
33. Qu se sigue del siguiente conjunto de premisas? Todos los matemticos comen queso. Ningn matemtico es mdico. Hay alguien que es mdico o no come queso. Todos los que no on matemticos son prcticos. a) Ningn matemtico es prctico. b) Alguien es prctico aunque no es mdico. c) Alguien no es prctico y no es matemtico. d) Alguien es prctico o es matemtico. 34. Cual de las siguientes armaciones es una conclusin lgica del siguiente conjunto de premisas? Si estoy triste, me deprimo. Si no estoy triste, oigo msica. Si me deprimo, no como. Si no hay luz, no oigo msica. a) Si hay luz, como. b) Me deprimo o estoy triste. c) Me deprimo o como. d) No como o hay luz. 35. Pedro opina que si toda la gente se vacuna contra el bicho de la inuenza nadie tendr gripe este ao y Pablo opina que si alguien no se vacuna contra el bicho de la inuenza no habr quien tenga gripe este ao. Que se sigue de lo anterior? a) Pedro se vacuna y Pablo no se vacuna. b) Algunos pero no todos se vacunan. c) Pedro y Pablo no tendrn gripe este ao. d) Pedro o Pablo tendrn gripe este ao. 36. Considere los siguientes enunciados: Todos los que estn en el aula son alumnos de primer curso. Ningn buen estudiante est en el aula. Qu enunciado se sigue validamente de ellos? a) Si hay algn alumno en el aula, entonces algn alumno de primer curso no es buen estudiante. b) Ningn buen estudiante es alumno del primer curso. c) Todo buen estudiante es alumno de primer curso. d) Algn alumno de primer curso no es un buen estudiante. 37. Qu podemos armar con certeza a partir de lo siguiente?En Pandora sucede que: Jake ama a Neytiri, si ella no lo ama. Pero Jake no la ama, si ella lo ama. Sin embargo, l no la ama, si l la ama. a) Jake ama a Neytiri y ella lo ama. b) Neytiri no ama a Jake y l la ama. c) Neytiri amama a Jake y l no la ama.
31 d) Jake no ama a Neytiri y ella no lo ama. 38. Qu se sigue del siguiente conjunto de premisas? Si Paula y Mara son afortunadas, Laura no lo es. Paula es afortunada, y Carlos o Laura lo son. Carlos es afortunado cuando y slo cuando Ernesto lo es. a) Si Mara es afortunada, Ernesto lo es. b) Si Mara es afortunada, Laura lo es. c) Ernesto y Carlos son afortunados. d) Paula y Mara son afortunadas. 39. Qu se sigue a partir de las siguientes premisas? Antonio se rob las joyas, si y slo si, Bertha o Carlos quitaron la alarma. Bertha no quit la alarma, y si Antonio se rob las joyas, Daniel se rob al gato. Antonio se rob las joyas, y Carlos no quit las alarma o Ernesto se rob al perico. a) Antonio se rob las joyas y Bertha quit la alarma. b) Daniel se rob al gato y Ernesto se rob al perico. c) Carlos no quit la alarma y Antonio se rob las joyas. d) Ernesto no se rob al perico y Daniel se rob al gato. 40. Qu no se sigue de la proposicin: R? a) R b) Q Q c) R Q d) T R e) R R 41. Qu se sigue del siguiente conjunto de premisas? Annabeth es hija de Atenea o Perci no es hijo de Poseidn, Luke se rob el rayo o Perci se rob el rayo; y Perci es hijo de Poseidn. Si Luke se rob el rayo, entonces no es cierto que: Annabeth sea hija de Atenea y Perci sea hijo de Poseidn. a) Luke se rob el rayo. b) Perci se rob el rayo y Luke bi se rob el rayo. c) Perci y Luke se robaron el rayo. d) Luke no se rob el rayo y Annabeth es hija de Atenea. 42. Cul de las siguientes armaciones es una conclusin lgica del siguiente conjunto de premisas? Ningn invitado es deshonesto. Ningn lafrn o delincuente es de ar. Algn invitado es ladrn. a) Ningn invitado es de ar. b) Algn invitado es deshonesto y es de ar. c) Algn invitado es deshonesto y no es de ar.
32 d) Algn invitado no es deshonesto y no es de ar.
43. El ftbol es divertido, pero es enajenante. Todo lo enajenante limita nuestra libertad. Cul de las siguientes armaciones no se sigue de lo anterior? a) El ftbol limita nuestra libertad. b) Existe algo que es enajenante. c) No todo no es divertido. d) No existe algo que limite nuestra libertad e) El ftbol es divertido o enajenante. 44. Si Sara Connor destruye a Skynet en 1994, entonces no habr da del Juicio Final. Si no hay Da del Juicio Final, John Connor no enviar su padre a 1984. Es condicin necesaria que John Connor enve a su padre a 1984, para que el mismo John nazca. Y Sara Connor no destruye a Skynet en 1994, si John no nace. que se sigue de lo anterior? a) Sara Connor no destruir Skynet en 1994 b) No habr Da del Juicio Final c) Se sigue cualquier cosa d) No se sigue nada 45. Si Batman es el ms popular de los superhroes, entonces Superman ha muerto. Si Superman ha muerto, la Mujer Maravilla preside la Liga de la Justicia. Si la Mujer Maravilla preside la Liga de la Justicia, Batman es el ms popular de los superhroes. Cul de las siguientes armaciones no se sigue lgicamente de lo anterior? a) Si la Mujer Maravilla preside la Liga de la Justicia, Superman no ha muerto. b) Superman no ha muerto si y slo si Batman no es ms popular de los superhroes. c) Si Superman ha muerto, Batman es el ms popular de los superhroes. d) Batman es el ms popular de los superhroes si y slo si la Mujer Maravilla preside la Liga de la Justicia. e) Si Batman no es el ms popular de los superhroes, entonces Superman no ha muerto. 46. No todos los estudiantes no estudian la lgica. Todos los que estudian lgica tienen habilidad para resolver problemas. Todos los que son listos, tienen habilidad para resolver problemas. Qu se sigue lgicamente de lo anterior? a) Existen estudiantes que tienen habilidad para resolver problemas. b) No existen estudiantes que tengan habilidad para resolver problemas. c) Todos los estudiantes tienen habilidad para resolver problemas. d) No todos los estudiantes tienen habilidad para resolver problemas. e) Todos los estudiantes no tienen habilidad para resolver problemas
33 47. El 5 es nmero que pertenece al conjunto de los nmeros naturales, todos los nmeros que pertenecen al conjunto de los nmeros naturales pertenecen al conjunto de los nmeros enteros y todos los nmeros que pertenecen al conjunto de los nmeros enteros pertenecen a los nmeros reales. Qu se sigue de lo anterior? a) El nmero 5 pertenece a los enteros, pero no los reales. b) El nmero 5 pertenece a los naturales, pero no a los enteros. c) El nmero 5 pertenece a los reales y a los naturales. d) El nmero 5 no pertenece a los complejos ni a irracionales. e) El nmero 5 no es irracional ni real. 48. Los maestros de lgica son aquellos que aburren a todos los que no se aburren a si mismos y slo a ellos. Qu puedes armar a partir de esto? a) Me aburre la lgica. b) Hacen falta buenos maestros de lgica. c) No existen maestros de lgica. d) La lgica es aburrida. e) Alguien ensea lgica y aburre a todos. 49. No es el caso que: Pinocho es un nio de verdad o Stitch naci en la tierra. Cul de las siguientes armaciones no se sigue de lo anterior? a) Pinocho no es un nio de verdad. b) Pinocho es un nio de verdad o Stitch no naci en la tierra. c) Si Stitch es el protagonista de una pelcula de Disney entonces no naci en la tierra. d) Si Pinocho es de madera, entonces es un nio de verdad. e) Ni Pinocho es un nio de verdad ni Stitch naci en la tierra. 50. El amor te lleva a hacer cosas increbles, algunas de ellas buenas y otras malas. Qu se sigue de lo anterior? a) El amor no te mueve. b) El amor siempre te lleva a hacer cosas increbles y buenas. c) No existen cosas malas que el amor te lleve a hacer. d) Existen cosas buenas que el amor te lleva a hacer. e) El amor siempre te lleva a hacer cosas increblemente malas. 51. Qu se sigue de la proposicin: P Q? a) Q P b) (P Q) c) P Q d) Q P
34 e) Q Q 52. Qu no se sigue de la proposicin: P Q? a) (P Q) b) (P P ) c) P Q d) P Q e) Q P
53. Un da Mafalda estaba indecisa entre pedir pastel de fresa o pastel de higo, y dice: Pedir pastel de higo, si en caso de pedir pastel de fresa entonces pido tambin pastel de higo. Manlito le contest: Todo lo que has dicho es que pedirs alguno de los dos pasteles y tal vez los dos. Que se sigue de lo anterior? a) Mafalda pedir los dos pasteles. b) Tiene razn Manolito. c) No tiene razn Manolito. d) Mafalda no pedir pastel. 54. Ayer asesinaron a la condesa; slo hay cinco pistas. Descubre quin es el asesino (o quines, si de las premisas se sigue que hay ms de un asesino). Si la sobrina mat a la condesa, el perro ladr. Si el mayordomo mat a la condesa, el perro ladr. La sobrina mat a la condesa si el reloj del comedor fue atrasado a propsito. Si el perro ladr y si la condesa se acost a las once, entonces Sherlock Holmes asesin a la condesa. El reloj del comedor fue atrasado a propsito y la condesa se acost a las once. a) La sobrina y el mayordomo asesinaron a la condesa. b) Slo la sobrina mat a la condesa. c) La sobrina y Sherlock Holmes asesinaron a la condesa. d) Sherlock Holmes y el mayordomo asesinaron a la condesa. e) Sherlock Holmes, el mayordomo y la sobrina asesinaron a la condesa 55. Qu se sigue de las siguientes premisas? Todos los que fueron a partir la rosca dijeron la verdad; o bien, si alguien compr la rosca, alguien se comi al mueco. Alguien compr la rosca o nadie encontr al mueco. Alguien que fue a partir la rosca no dijo la verdad; y alguien encontr al mueco o alguien se lo comi. a) Nadie se comi al mueco y nadie lo encontr. b) Alguien se comi la rosca y no les dio a los dems. c) Alguien compr la rosca y otro se comi al mueco. d) Alguien se comi al mueco o nadie lo encontr.
Captulo 4 Argumento vlido?

La siguiente parte del trabajo muestra algunos ejercicios donde hay que comprobar la validez o invalidez de un argumento, hay varias tcnicas para comprobar si un argumento es vlido, en este parte tambin utilizaremos el teorema de la deduccin, el cual nos dice que para deducir una implicacin, basta con aadir el antecedente a nuestras premisas y demostrar el consecuente, esto es completamente intuitivo, nuevamente dejaremos un poco la teora para los cursos y haremos uso de todas las herramientas que manejamos. 1. Que tipode argumento es el siguiente?. Si voy al cine no voy al cine, entonces me aburro y no me aburro. Por tanto, si no voy al cine, no me aburro. a) Vlido con premisas no contradictorias. b) Invlido con premisas no contradictorias. c) Vlido con premisas contradictorias. d) Invlido con premisas contradictorias. 2. Que tipode argumento es el siguiente?. Si alguien es feliz, todos son felices. Mario es feliz. Por tanto, todos son felices a) Vlido con premisas no contradictorias. b) Invlido con premisas no contradictorias. c) Vlido con premisas contradictorias. d) Invlido con premisas contradictorias. 3. Que tipo de argumento es el siguiente? Si Luz Mara corre maana, se alimentar bien. Luz Mara correr maana y su compaera Laura tambin. Si Luz Mara se alimenta bien, se sentir bien. Luz Mara se sentir bien cuando y slo cuando su compaera Laura no corra maana. Asi que, Lua Mara no correr maana. a) Vlido con premisas no contradictorias. b) Invlido con premisas no contradictorias. c) Vlido con premisas contradictorias. d) Invlido con premisas contradictorias. 35
36
CAPTULO 4. ARGUMENTO VLIDO? 4. Cmo es el siguiente argumento? Ningn rey del tomate le teme a la migra. Algunos reyes del tomate han tenido broncas con el FBI. Por lo tanto, no todos los que han tenido broncas con el FBI le temen a la migra. a) Vlido con premisas contradictorias. b) Invlido con premisas contradictorias. c) Vlido con premisas no contradictorias. d) Invlido con premisas no contradictorias. 5. Que tipo de argumento es el siguiente? Todos los amigos de Mario tienen un hermano. Algn amigo de Mario no es amigo de Rosa. As que, algn amigo de Rosa no tiene hermanos. a) Argumento vlido con premisas no contradictorias. b) Argumento invlido con premisas no contradictorias. c) Argumento vlido con premisas contradictorias. d) Argumento invlido con premisas contradictorias 6. Cmo es el siguiente argumento? Nadie inteligente y divertido es cientco. Nadie divertido y cientco es inteligente. Charles Chapln es divertido. Por lo tanto, Charles Chapln no es inteligente o no es cientco. a) Vlido con premisas no contradictorias. b) Vlido con premisas contradictorias. c) Invlido con premisas contradictorias. d) Invlido con premisas no contradictorias. 7. Ningn venusiano es terrcola. Ningn terrcola tiene sangre verde. Luego , ninguna cosas con sanger verde es terrcola. Cmo es este argumento? a) Vlido con premisas contradictorias. b) Vlido con premisas no contraditorias. c) Invlido con premisas contradictorias. d) Invlido con premisas no contradictorias. 8. Que tipo de argumento es el siguiente? Apolo armaba que conoca a todos los dioses. Pero esta armacin era falsa. Sin embargo, todos los dioses lo conocan a l. Asi que algn dios conoce a Apolo sin que Apolo lo conozca. a) Argumento vlido. b) Argumento invlido. c) Falacia formal. d) Flacia informal.
37 9. Qu tipo de argumento es el siguiente? Todo arcate es simorfo. Algn turiboso es arcate. Por lo tanto, algn turiboso es simorfo. a) Vlido con premisas contradictorias. b) Vlido con premisas no contradictorias. c) Invlido con premisas contradictorias. d) Invlido con premisas no contradictorias. 10. Napolen descubri Amrica. Napolen muri antes de 1500. Nadie descubre cosas despus de muerto. Por tanto, Amrica fue descubierta antes de 1500. Qu clase de argumento es ste? a) Es un argumento vlido con premisas no contradictorias. b) Es un argumento invlido con premisas contradictorias. c) Es un argumento no deductivo porque tiene algunas premisas falsas. d) Es un argumento invlido con premisas no contradictorias.. e) Es un argumento vlido con premisas contradictorias. 11. El personaje animado Bob Esponja es amigo de Patricio. Bob Esponja es el peor programa de caricaturas transmitido actualmente. Por lo tanto, el peor programa de caricaturas transmitido actualmente es amigo de Patricio. Qu tipo de razonamiento es ste? a) Argumento vlido. b) Argumento falso. c) Falacia formal. d) Falacia informal. e) Argumento verdadero. 12. (Argumento vlido? 1) Anakin Skywalker tuvo dos hijos o el lado oscuro de la fuerza lo sedujo. El lado oscuro de la fuerza lo sedujo. Por lo tanto, tuvo dos hijos. Qu se puede decir sobre el argumento anterior? a) No es un argumento. b) Es un argumento falso. c) Es un argumento invlido. d) Es una falacia informal. e) Es un argumento vlido. 13. Todos los humanistas o los cientcos son profesionales. Carlos no es profesional. Todos los bohemios son cientcos. Si Carlos no es profesional, es bohemio. Por lo tanto, Carlos no es humanista. Qu tipo de argumento es el anterior? a) Argumento vlido. b) Argumento invlido. c) Falacia formal.
38 d) Argumento falso. e) Argumento inductivo.
CAPTULO 4. ARGUMENTO VLIDO?
14. Que tipo de argumento es el siguiente? Algunos expertos dominan la materia. Ningn principiante domina la materia. Por lo tanto algunos principiantes no son expertos. a) Es invlido. b) Es contradictorio. c) Es vlido. d) Es vlido con premisas falsas y conclusin verdadera. 15. Que tipo de argumento es el siguiente? Algunos expertos dominan la materia. Ningn principiante domina la materia. Por lo tanto, algunos expertos no son principiantes. a) Es invlido. b) Es contradictorio. c) Es vlido. d) Es vlido con premisas contradictorias y conclusin verdadera. 16. No es el caso que si Dios no existe, no escucha ni concede las peticiones de los malvados; luego Dios no existe. Que tipo de argumento es el anterior? a) Vlido con premisas contradictorias. b) Invlido con premisas no contradictorias. c) Invlido con premisas contradictorias. d) Vlido con premisas no contradictorias. 17. Cmo es el siguiente argumento? TE quiero. Pero si me quieres no te quiero. Todos los que yo quiero, me quieren. Por lo tanto quiero a todos y nadie me quiere. a) Vlido con premisas contradictorias. b) Vlido con premisas no contradictorias. c) Invlido con premisas contradictorias. d) Invlido con premisas no contradictorias. 18. No es el caso que si Dios existe, escucha y concede las peticiones de los malvados; por lo tanto, Dios no existe. Que tipo de argumento es el anterior? a) Vlido con premisas contradictorias. b) Invlido con premisas no contradictorias. c) Invlido con premisas contradictorias. d) Vlido con premisas no contradictorias.
39 19. Como es el siguiente argumento? Si voy al cine o al teatro, no voy a tu casa. Voy a tu casa y voy al cine. Voy al teatro, o bien si voy a ti casa llego tarde a mi casa. Por tanto, llego tarde a mi casa. a) Vlido con premisas no contradictorias. b) Invlido con premisas contradictorias. c) Vlido con premisas contradictorias. d) Invlido con premisas no contradictorias. 20. Como es el siguiente argumento? Si tomo veneno para marcianos morir, por lo tanto si tomo veneno para marcianos y uno de ellos me hace beber el antdoto, morir. a) Vlido con premisas no contradictorias. b) Invlido con premisas contradictorias. c) Vlido con premisas contradictorias. d) Invlido con premisas no contradictorias. 21. Cmo es el siguiente argumento? Todo el que conoce a Carlos conoce a algn vegetariano. No hay vegetarianos que no sea madrugadores. Por tanto, todo el que conoce a Carlos conoce a alguien madrugador. a) Es vlido con premisas no contradictorias. b) Es invlido con premisas no contradictorias. c) Es invlido con premisas contradictorias. d) Es vlido con premisas contradictorias. 22. Que tipode argumento es el siguiente?. Todo anbio es mamfero. Ningn perro es mamfero. Ningn no anbio es sapo. Algn perro es sapo. Por tanto, ningn mamfero es perro. a) Vlido con premisas contradictorias. b) Invlido con premisas no contradictorias. c) Vlido con premisas no contradictorias. d) Invlido con premisas contradictorias. 23. Como es el siguiente argumento? Los actores y los cantantes son altivos o presumidos. Algn escritor no es presumido. Todo escritor es cantante. Por tanto, algn escritor es altivo. a) Vlido con premisas no contradictorias. b) Invlido con premisas contradictorias. c) Vlido con premisas contradictorias. d) Invlido con premisas no contradictorias. 24. Como es el siguiente argumento? Ningn amigo de Ana conoce a Pablo. Todos los amigos de Pablo son malabaristas. Ana conoce a todos los amigos de Pablo y conoce a Pablo. Por tanto, Ana es malabarista.
40 a) Vlido con premisas no contradictorias. b) Invlido con premisas contradictorias. c) Vlido con premisas contradictorias. d) Invlido con premisas no contradictorias. 25. Considere el siguiente argumento
M H M J M G P (H J G) P M (P M ) Qu tipo de argumento es el anterior? a) Argumento vlido con premisas no contradictorias. b) Argumento invlido con premisas no contradictorias. c) Argumento vlido con premisas contradictorias. d) Falacia formal. 26. Es falso que: estamos en el ao 2006 estamos en algn pas de Europa. Por lo tanto ni estamos en un pas de Europa ni es el ao 2006. Dado que es el ao 2006, pero no estamos en ningn pas de Europa, qu se puede decir sobre el argumento anterior? a) Es un argumento vlido con premisas falsas. b) Es un argumento verdadero con premisas falsas. c) Es un argumento invlido con premisas falsas. d) Es un argumento invlido con premisas verdaderas. e) Es un argumento invlido de cuyas premisas no se sigue necesariamente la conclusin. 27. Como es el siguiente argumento? Si hoy es lunes, enotnces si veo a Martha le pido mi libro. Hoy veo a Martha y a Jos. Si hoy es lunes, maana es martes. Asi que, si hoy es lunes, le pido mi libro a Martha y maana ser martes. a) Vlido con premisas contradictorias. b) Invlido con premisas no contradictorias. c) Vlido con premisas consistentes. d) Falacia formal.
41 28. Cmo es el siguiente argumento? Algunos pases que se comprometen al desarme nuclar no tienen armas nucleares. Algunos pases que tienen armas nucleras se comprometen al desarme nuclear y algunos pases que tienen armas nucleares no se comprometen. Todos los pases comprometidos con el desarme nuclear y que tienen armas nucleares destruirn sus armas. Todos los pases que destruirn sus armas nucleares, estn comprometidos con el desarme nuclear. Por lo tanto, algunos pases tienen armas nucleares y no las destruirn. a) Vlido con premisas contradictorias. b) Invlido con premisas contradictorias. c) Vlido con premisas no contradictorias. d) Invlido con premisas no contraditorias. 29. Cmo es el siguiente argumento? Ana ir a desayunar; o bien, si Juan va a correr entonces Ana va a correr. Si Ana va a correr llegar a su casa a las 10 am; sin embargo, Ana no ir a desayunar. Si Juan va a correr, Ana llegar a su casa a las 10 am, lo cual implica que Ernesto se enojar. Ernesto no se enojar; o bien, si Ana tiene tiempo entonces ir a desayunar. Por tanto, Ana no tiene tiempo. a) Vlido con premisas contradictorias. b) Invlido con premisas contradictorias. c) Vlido con premisas no contradictorias. d) Invlido con premisas contradictorias. 30. Es falso que: estamos en el ao 2006 estamos en algn pas de Europa. Por lo tanto ni estamos en una pas de Europa ni es el ao 2006.Dado que es el ao 2006, pero no estamos en nign pas de Europa, que se puededecir sobre el argumento anterior? a) Es un argumento vlido con premisas contradictorias. b) Es un argumento vlido con premisas no contradictorias. c) Es un argumento invlido con premisas contradictorias d) Es un argumento invlido con premisas no contradictorias
42
Captulo 5 Qu agregas
Para estos ejercicios usaremos las tcnicas del captuolo anterior, el nivel de dicultad es ms alto, y es ms difl establecer un mtodo, lo recomendable es dominar los ejercicios del captulo anterior antes de abordar estos. 1. Si es verdad que: Todas las aves, excepto las avestruces vuelan qu premisa hay que agregar para que se siga el siguiente enunciado? Los pinginos vuelan a) Los pinginos son aves. b) Los pinginos no son aves. c) Los pinginos son aves y no son avestruces. d) Los pinginos no son aves y no son avestruces. 2. Que premisa hay que agregar para hacer vlido el siguiente argumento? No hay pingino que no sea simptico. Todo lo que es simptico, si no usa lentes lleva bigote. . Por lo tanto, no es el caso que ningn pingino lleva bigote. a) Ningn pingino usa lentes. b) Algn pingino no usa lentes. c) Algn pingino no lleva bigote. d) Todo simptico es pingino pero no usa lentes. 3. Dado el siguiente conjunto de premisas: Todos los amigos de Juan son amigos de Lucy Qu premisa se debe aadir para que se siga vlidamente el enunciado: Alguna mujer es amiga de Lucy? a) Ninguna mujer es amiga de Lucy. b) Algunos amigos de Lucy no son amigos de Juan. c) Algunos amigos de Juan no son mujeres. d) Algunos amigos de Juan son mujeres. 4. Dado el siguiente conjunto de premisas: Si no veo hoy a Jorge, no veo hoy a Juan. Si no veo hoy a Juan, no veo hoy a Susana. que premisa hay que aadir para que se siga vlidamente el enunciado No veo hoy a Susana? 43
44 a) Veo hoy a Juan o a Susana. b) Veo hoy a Jorge y a Juan. c) Veo hoy a Juan. d) No veo hoy a Jorge.
CAPTULO 5. QU AGREGAS
5. Dado el enunciado: Si anuncian lluvia o anuncian una tormenta en el Desierto de los Leones habr jaleo en mi casa Cual de los siguientes enunciados nos permite inferir Habr jaleo en mi casa? a) No habr jaleo en mi casa. b) Anuncian tormenta en el Desierto del Sahara. c) Anuncian lluvia pero tambin anuncian una tormenta en el Desierto del Sahara. d) No anuncian lluvia ni tormenta en el Desierto del los Leones. 6. Si ganas la Olimpiada de Lgica entonces tuviste ms aciertos que todos los dems competidores u otro participante fue descalicado. Qu premisa hay que agregar a lo anterior para que se siga Tuviste ms aciertos que todos los dems competidores? a) No ganaste la Olimpiada de Lgica, pero alguien fue descalicado. b) Ganaste la Olimpiada de Lgica y otro participante fue descalicado. c) Ganaste la Olimpiada de Lgica y no tuviste ms aciertos que todos los dems competidores. d) Ni otro competidor fue descalicado ni obtuviste ms aciertos que todos los dems competidores e) No es el caso que: no ganes la olimpiada u otro competidor sea descalicado. 7. Si la Suprema Corte de Justicia de la Nacin rechaza la ley de despenalizacin del aborto, el aborto volver a ser un crimen en la ciudad de Mxico. El aborto no es considerado un acto moralmente reprobable por algunas personas. . Por lo tanto, existe un crimen en la ciudad de Mxico que no es considerado moralmente reprobable por algunas personas. Que premisa hay que incluir para hacer vlido el argumento anterior? a) La Suprema Corte de Justicia de la Nacin no rechaza la ley de despenalizacin del aborto. b) El aborto no es un crimen en la ciudad de Mxico. c) La Suprema Corte de Justicia de la Nacin rechaza la ley de despenalizacin del aborto. d) El aborto es considerado moralmente reprobable por algunas personas. 8. Qu premisa se tiene que agregar a (T R) para que se siga Z ? a) Z R b) Z T c) Z (R T ) d) R Z 9. Dada la siguiente premisa, Todos a quienes yo quiero, me quieren. Que premisa hay que aadir para que se siga vlidamente el siguiente enunciado? No me quieres, aunque me quieres
45 a) Yo te quiero aunque tu no me quieras. b) No me quieres o no te quiero. c) T me queres y yo te quiero. d) Te quiero aunque me pegues. 10. Dada la siguiente premisa: Todos mis amigos que no tienen gastritis comen tortas ahogadas, Que premisa hay que aadir para concluir vlidamente el enunciado Algunos de mis amigos tienen gastritis? a) Todos mis amigos tienen gastritis. b) Algunos de mis amigos comen tortas ahogadas. c) Algunos que comen tortas ahogadas no son mis amigos. d) No todos mis amigos comen tortas ahogadas. 11. Qu premisa hay que agregar para que resulte vlido el siguiente argumento? Si los centauros y los unicornios existen, entonces los cclopes existen. El ave fnix no existe; o bien, si el ave fnix existe entonces los unicornios existen. El ave fnix existe y el minotauro existe. Por tanto, los cclopes existen. a) Si el ave fnix no existe, los cclopes existen. b) El minotauro no existe o los centauros no existen. c) El minotauro no existe o los centauros existen. d) Si el minotauro no existe, los centauros no existen. 12. Estudio en la UAM, si y slo si, me aceptan en la UAM y tengo dinero para los pasajes. Me aceptan en la UAM o no me aceptan en la UNAM. _ _ _ _ _ _ _ . Por lo tanto, me aceptan en la UAM. Qu premisa hay que aadir para hacer vlido a este argumento? a) Si estudio en la UAM, entonces no estudio en la UNAM. b) No me aceptan en la UAM y no estudio en la UAM. c) Si tengo dinero para los pasajes, entonces estudio en la UAM. d) Estudio en la UAM o me aceptan en la UNAM. e) No es el caso que no estudio en la UNAM. 13. Que premisa debera de aadirse al argumento siguiente para hacerlo vlido?. Si voy al cine, llego tarde a casa. No llego tarde a casa o voy al teatro. . Por lo tanto, no voy al cine o no llego a casa. a) Llego tarde a casa o no llego a casa, b) Voy al cine o al teatro. c) Si no voy al teatro, no llego a casa. d) Si voy al teatro, no llego a casa.
46
CAPTULO 5. QU AGREGAS
14. Considera el siguiente argumento: Todos los microbios son microscpicos. Luego, alguna bacteria no es microbio. Cada uno de los siguientes enunciados produce un argumento vlido cuando se aade como premisa al argumento anterior, excepto uno. Cul es? a) Algunas bacterias no son microscpicas. b) No es cierto que todas las bacterias no son microscpicas. c) No todas las bacterias son microscpicas. d) No es cierto que todas las bacterias son microscpicas.
Captulo 6 Simbolizaciones y traducciones.

Desde mi punto de vista, estos ejercicios son el punto fuerte de los estudiantes de La Facultad de Ciencias, el nivel de dicultad de estos ejercicios es alto, sin embargo, en nuestra formacin, el lenguaje de la lgica de primer orden se imparte en todos los salones de clase inconscientemente, es decir, se tiende mucho a usar smbolos para facilitar la escritura, no por eso debemos conarnos, al contrario, podemos aprovechar esa ventaja y pulir esas habilidades. 1. Cul es la mejor simbolizacin para Cada da el alumno llega tarde, dado el siguiente vocabulario: Ax : x es alumno, Dx : x es un da, Lx : x llega tarde ? a) x(Ax y (Dy Lx)) b) (Dx y (Ay Ly )) c) (Ax (Dy Lx)) d) (Dx xy (Ay Ly )) 2. cual es la simbolizacin mas adecuaa para : El que de amarillo se viste, en su hermosura confa? Donde: P x: x es persona, V x: x se viste de amarillo, Cx: x confa en su hermosura. a) x[P x (V x Cx)] b) x[P x (Cx V x)] c) x[P x (V x Cx)] d) x[(P x V x) Cx)] 3. Cul es la simbolizacin ms adecuada para el siguiente enunciado? Ningn mexicano que tenga buena salud necesita tomar pldoras. Donde: M x: x es mexicano, Bx: x tiene buena salud, P x: x es pldora. a) x(M x [Bx y (P y N xy )]) b) x[(M x Bx) y (P y N xy )] c) x[(M x Bx) y (P y N yx)] d) xy [(P y M x) (Bx N xy )] 4. Cul es la simbolizacin ms adecuada para el siguiente enunciado? Anastasia compr al menos dos perritos. Donde: a: Anastasia, P x: x es perrito, Cxy : x compr y. 47
48
CAPTULO 6. SIMBOLIZACIONES Y TRADUCCIONES. a) x[(P x Cax)] [y (P y Cay )] b) xy [(Cax Cay ) (P x P y x = y )] c) xy [(Cax Cay ) (P x P y x = y )] d) xy [(Cax Cay ) (P x P y x = y )] 5. En una ciudad ideal sucede que: El peatn que cruza una vialidad no se distrae con nada. cul es la simbolizacin para el enunciado anterior? Donde: P x: x es peatn, V x: x es una vialidad. Cxy : x cruza y, Dxy : x se distrae con y. a) xy z [(P z V x Czx) Dzy ] b) xz [(P z V x Czx) yDzy ] c) xz [(P z yDzy V x) Czx] d) xy z [(P z V x) (Czx Dzy )] 6. Cul es la simbolizacin ms adecuada para el siguiente enunciado? Todos los microbuseros son impacientes. Todos los que son impacientes pero no son microbuseros, son malencarados. Juan es impaciente pero no es malencarado. Por tanto, Juan no es microbusero. a) Vlido con premisas contradictorias. b) Vlido con premisas no contradictorias. c) Invlido con premisas contradictorias. d) Invlido con premisas no contraditorias. 7. Cul simbolizacin expresa mejor la siguiente armacin? Algunos sicoculturistas no se aman a si mismos mientras que los polticos se odian entre s. Donde: F x: x es sicoculturista; P x: x es poltico; Axy : x ama a y ; Oxy : x odia a y. a) x(F x Axx) y z ((P y P z ) (Oyz Ozy )) b) y (P y Oyy ) x(F x Axx) c) x(F x Axx) y (P y Oyy ) d) y z ((P y P z ) (Oyz Ozy )) x(F x Axx) 8. Cul de las siguientes opciones expresa mejor la siguiente frmula? y (Hy Oyy ) x(M x Axx) Donde: Hx x es hombre; M x x es mujer; Oxx: x odia a x. a) Algunos hombres aman a toda mujer que se odia a s misma. b) Algunas mujeres se odian cuando es el caso que todos los hombres se aman. c) Algunas mujeres no se aman a s mismas si todo hombre se odia a s mismo. d) Algunas mujeres no se aman a s mismas mientras que los hombres se odia a s.
49 9. Cul es la mejor simbolizacin para el siguiente enunciado? Toda montaa de Mxico es ms alta que todas las montaas de Sudamrica. Donde: M x: x es montaa; Exy : x est en y ; Axy : x es ms alta que y ; m: Mxico; s: Sudamrica. a) x[M x y ((M y Eys) Axy ))] b) x[(M x Exm) y (M y Eyx Axy )] c) x[(M x Exs) y (M y Eys Ayx)] d) x[(M x Exm) y ((M y Eys) Axy )] 10. Algunas mujeres se aman a s mismas, pero los hombres se odian a s mismos. Cul es la mejor traduccin para el enunciado anterior? Donde: M x: x es mujer, Hx: x es hombre, Axy : x ama a y , Oxy : x odia a y. a) x(M x Axx) y (Hy Oyy ) b) x(M x Axx) y (Hy Oyx) c) x(Hy Oyy ) x(M x Axx) d) y (Hy Oyy ) (M x Axx) 11. Cual es la simbolizacin ms adecuada para la siguiente oracin: Asuncin no quiere a nadie que no la quiera? a) x(Qxa Qax) b) x(Qxa Qax) c) x(Qxa Qax) d) x(Qxa Qax) 12. Todos los sabios son cientcos o lsofos o escritores. cul es la simbolizacin ms perspicua para la oracin anterior, tomando un dominio irrestricto? a) xSx [Cx (Fx Ex)] . b) xPx [Rx (Ex Hx)]. c) xDx [Px (Fx Ex)]. d) xSx [Cx (Fx Ex)]. e) xWx [Fx (Tx Ex)]. 13. Cul de entre las siguientes interpretaciones no es adecuada para: x y {[(F(x,g) P(x)) (F(y,g) P(y))] z)[(P(z) F(z,g)) (z=x V z=y)] }? a) De entre los amigos de Fox, slo dos son honestos. b) nicamente dos lgicos, leen a Garca Mrquez. c) Por lo menos dos estudiantes obtuvieron los mismos aciertos que el ganador del ao pasado. d) nicamente dos de nuestros enemigos se enfrentaron al Dr. Octopus. e) Exclusivamente dos secretarias vieron al mensajero.
50
CAPTULO 6. SIMBOLIZACIONES Y TRADUCCIONES.
14. Dos rectas paralelas nunca se tocan. Cul de las siguientes es la simbolizacin que reeja ms claramente la forma lgica de lo anterior? Dominio: las rectas. Y dado el siguiente vocabulario: P(x,y): x es paralela a y, T(x,y): x toca a y a) x y (P(x,y) T(x,y)) b) x y (P(x,y) T(x,y)) c) x y (P(x,y) T(x,y)) d) x y (P(x,y) T(x,y)) e) x y ( P(x,y) T(x,y)) 15. Cul es la simbolizacin ms perspicua del siguiente argumento? La belleza de las obras de arte o bien es objetiva o bien depende del observador. Si depende del observador, entonces la belleza no est en la obra misma. Si es objetiva, la belleza est en la obra. Por lo tanto, la belleza de la obra de arte est en la obra misma o no. a) r q rt t p q p b) p q p r q r r r c) p p d) p q e) q q r t p t q p t p q s q r r t s s pr
16. Cul de las siguientes simbolizaciones es la ms perspicua para la siguiente armacin? Algunos ateos creen en Dios, pero Dios no cree en los ateos a) x(P x Cxd) x(P x Cdx) b) x(Ax Cdx) x(Ax Cxd) c) x(P x Kxd) x(P x Kdx) d) x(P x Cdx) x(P x Cxd) e) x(Ax Cdx) x(Ax Cxd) 17. Cul es la simbolizacin ms perspicua del enunciado: Todos los que aman a alguien son felices? a) xy [A(x, y ) F (x)] b) x[yA(x, y ) F (x)] c) [xyA(x, y )] [xF (x)] d) xy [A(x, y ) F (x)] e) x[yA(x, y ) F (x)] 18. Solo los hombres son mortales y algunos mortales son cobardes. Diga cual de las siguientes es la simbolizacin ms adecuada para esta oracin considerando un dominio de discurso irrestricto y el siguiente vocabulario: Hx : x es hombre, M x : x es mortal y Cx : x es cobarde. a) xM x Hx x(M x Cx) b) x(M x Hx) x(M x Cx) c) x(M x Hx) x(M x Cx)
51 d) x(Hx M x) x(M x Cx) 19. Cul es la simbolizacin ms adecuada para el siguiente enunciado? Un nio pequeo depende de sus padres. Donde:N x: x es un nio; P x: x es pequeo; Dx: x depende de sus padres. a) x[(N x yP x) Dx] b) x[(N x P x) Dx] c) x[(N x P x) Dx] d) x[(N x P x) Dx] 20. Cul es la mejor simbolizacin para el siguiente enunciado? Arturo es al menos tan alto como Ral. Donde: M xy :x rd ms alto que y ; Ixy : x es igual de alto que y ; a: Arturo; r: Ral. a) M ar M ar b) M ar Iar c) M ar M ra d) M ar Iar 21. (esto no es primer orden) Cul es la simbolizacin ms adecuada para el siguiente enunciado? Si me gano los pronsticos prometo que: te pagar un viaje por Europa y viajaremos juntos a taka; y si no cumplo, que me parta un rayo. a) [(G E ) I ] (C P ) b) [G (E I )] (C P ) c) G [(E I )] (C P )] d) G [(E I ) (C P )] 22. Cul es la mejor simbolizacin del siguiente enunciado? Cualquiera de los esguidores de Russell estima al menos a uno de los seguidores de Hilbert. Donde; Sxy : x es seguidor de y ; Exy ; x estima a y ; r: Ruseell; h: Hilbert. a) x[Sxr y (Syh Exy )] b) x[Sxr y (Syh Exy )] c) x[y (Syh Exy ) Sxr] d) x[Sxr y (Shy Exy )] 23. Cul es la mejor simbolizacin para el siguiente enunciado? Todos los delnes son amigos de los sapos, pero no todos los sapos son amigos de los delnes. Donde: Dx: x es delfn; Sx: x es sapo; Axy : x es amigo de y. a) xy [(Dx Sy ) Axy ] y x[Sx Dy Axy ] b) xy [(Dx Sy ) Axy ] y x[Sx Dx Axy ] c) xy [(Dx Sy ) Axy ] y x[Sx Dy Axy ] d) xy [(Dx Sy ) Ayx] y x[Sx Dy Axy ]
52
24. En una isla habitada por un grupo de ingleses, funcionan tres clubes. Cul enunciado simboliza la siguiente armacin? Cada ingls es socio de al menos dos clubes. Donde: Ix: x es ingls, Cx: x es un club, Sxy : x es socio de y. a) xy z [Ix Cy Cz Sxy Sxz y = z ] b) x[Ix xz (Cy Cz Sxy Sxz y = z )] c) xy z [Ix (Cy Cz y = z (Sxy Sxz ))] d) xy z [(Ix Cy Cz ) (Sxy Sxz y = z )] 25. En un pueblo mgico haba un antiguo letrero que deca: El que tenga perro que lo amarre, y el que no, que no. Cul enunciado expresa el letrero del pueblo? Donde: T xy : x tiene a y, P y : y es perro, Axy : x amarra a y. a) xy [(T xy P y ) (Axy Axy )] b) xy [(T xy Axy ) P y ] xy [(T xy Axy )P y ] c) xy [((T xy P y ) Axy ) (Axy (T xy P y ))] d) xy [(T xy P y ) Axy ] xy [(T xy P y ) Axy ] 26. Cual de las siguientes simbolizaciones NO corresponde al enunciado Todos los pinginos son elegantes si llevan sombrero? Donde: P x: x es pingino, Ex: x es elegante, Sx: x lleva sombrero. a) x[(P x Ex) Sx)] b) [(Sx P x) Ex] c) x[P x (Ex Sx)] d) x[(Ex Sx) P x] 27. Cual de las siguientes simbolizaciones correspone al enunciado Todos los pinginos son elegantes si llevan sombrero? Utilizando el vocabulario del ejercicio anterior. a) x[(Ex Sx) P x] b) x[(Ex P x) Sx] c) x[(Sx P x) Ex]] d) x[(P x Ex) Sx] a) x(P x M xpm) b) x(P x M xpm) c) x(P x M xpm) d) x(P x M xmp) 28. Cual es la simbolizacin mas adecuada para: Todos los arrecifes de coral estn en peligro y nadie ayuda a conservarlos? Donde Ax: x es arrecife de coral, P x: x est en peligro, Hx: x es persona, Cxy : x ayuda a conservar y. a) x[(Ax P x) y (Hy Cyx)]
53 b) x[Hx y ((Ay P y ) Cxy )] c) x[Ax (P x y (Hy Cyx))] d) x[(Ax P x) py (Hy Cyx)] 29. Todos le dan dinero a Juan, pero Juan no le da dinero a nadie. Cual es la simbolizacin ms adecuada para la oracin anterior? (Utilice el siguiente vocabulario: Lxy : x le da dinero a Y, j : Juan). a) xLxj xLxj b) xLjx xLjx c) xLxj xLjx d) xLxj xLjx 30. Cul es la simbolizacin ms adecuada para la negacin lgica del siquiente enunciado: Todos admiran a aquel que logra algo? (Utiliza el siguiente vocabulario: P x : x es persona, Lxy : x logra y, Axy : x admira a y ) a) x[(P x yLxy ) z (P z Azx)] b) x[(P x yLxy ) z (P z Azx)] c) x[(P x yLxy ) z (P z Azx)] d) x[(P x yLxy ) z (P z Azx)] 31. Todos los estudiantes molestan a sus profesores cuando stos los reprueban. Cul es la simbolizacin ms perspicua para la oracin anterior, tomando un dominio irrestricto? a) xy [(Ex P yx) (Rxy M yx)] b) xy {[Ex P yx Ryx)] (M xy )} c) xy {[Ex (P yx Ryx)] (M xy )} d) xy [(Ex P yx) (Rxy M yx)] e) xy {[Ex (P yx Ryx)] (M xy )} 32. Nadie se recibe de doctor, si no ha aprobado todas sus materias. Cual es la simbolizacin adecuada para la oracin anterior? (Utilice el siguiente vocabulario: P x : x es P ersona, M x : x es materia, Dx : x se recibe de doctor, Axy : x aprueba y ) a) x[(P x y (M y Axy )) Dx] b) x[(P x y (M y Axy )) Dx] c) x[(P x y (M y Axy )) Dx] d) x[(P x y (M y Axy )) Dx] 33. Cul de las siguientes simbolizaciones es la ms perspicua para: Los estudiantes son listos, pero no todos los polticos lo son? a) (x)(P(x) I(x)) (x)(E(x) I(x)) b) (x)(P(x) I(x)) (x)(E(x) I(x))
54
CAPTULO 6. SIMBOLIZACIONES Y TRADUCCIONES. c) (x)(E(x) I(x)) (x)(P(x) I(x)) d) (x)(P(x) I(x)) (x)(E(x) I(x)) e) (x)(P(x) I(x)) (x)(E(x) I(x))
34. No existe un conjunto al que le pertenezcan todos los conjuntos. Cul es la simbolizacin que reeja ms claramente la forma lgica de lo anterior? Dominio: los conjuntos. Vocabulario: P(x,y): x pertenece a y a) x y P(x,y) b) x y P(x,y) c) x y P(y,x) d) x y P(y,x) e) x y P(x,y) 35. No ganar la Olimpiada, a menos que estudie. Cul es la simbolizacin que reeja ms claramente la forma lgica de la armacin anterior? Vocabulario: P: ganar la Olimpiada, Q: Estudio. a) Q P b) P Q c) P Q d) Q P e) Q P 36. En el Estado de Mxico habr elecciones. Cul simbolizacin expresa mejor la siguiente armacin? Hay a lo ms tres candidatos. Donde: Cx: x es un candidato. a) xy z [Cx Cy Cz ] wCw b) xy z [Cx Cy Cz w(w = x w = y w = z )] c) xy z [(Cx Cy Cz ) w(Cw (w = x w = y w = z ))] d) xy z [w(Cw (w = x w = y w = z )) Cx Cy Cz ] 37. Cul es la mejor simbolizacin para el siguiente enunciado? Todos los marineros tienen una mujer en cada puerto. Donde: M x: x es marinero; P x: x es un puerto; Jx: x es una mujer; Exy : x est en el puerto y ; T xy : x tiene a y. a) xy [(M x P y ) z (Jz Ezy T xz )] b) xy [(M x P y ) z (Jz Ezy T xz )] c) xy [(M x P y ) z (Jz Eyz T xz )] d) xy [(M x P y ) z (Jz Ezy T xz )] 38. En una isla habitada por los ingleses, funcionan tres clubes. Cul simbolizacin expresa mejos la siguiente armacin? Cualesquiera dos clubes tienen un socio en comn. Donde: Cx: x es un club; Sxy : x es socio de y. a) xy z [x = y Cx Cy Szx Szy ]
55 b) z xy [(x = y yCx Cy ) (Szx Szy )] c) xy [(x = y Cx Cy ) z (Szx Szy )] d) xy z [(x = y Cx Cy ) (Szx Szy )] 39. Cul de las siguientes opciones expresa mejor la siguiente frmula? xy [(M x P y ) z (Jz Ezy T xz )] Donde: M x: x es mujer; P x: x es un puerto; Jx: x es marinero; Exy : x est en el puerto y ; T xy : x tiene a y. a) Todas las mujeres tienen un marinero en cada puerto. b) Algn marinero tiene a toda mujer en algn puerto. c) Todos los marineros tienen una mujer en cada puerto. d) Todos los marineros tienen una mujer en algn puerto. 40. Cul es la mejor simbolizacin del siguiente enunciado? Niguno de los seguidores del Amrica estima a nign seguidor del Guadalajara. Donde: Sxy : x es seguidor de y ; Exy : x estima a y; a: El Amrica; g El Guadalajara. a) xy [(Sxg Sy ) Exy ] b) xy [(Sxa Syg ) Exy ] c) xy [(Sxa Syg ) Exy ] d) xy [(Sxa Sxg ) Exy ]
56
Captulo 7 Valuaciones
Como lo dice el nombre del captulo, la tcnica para resolver los siguientes ejercicios son valuaciones. 1. Dado un condicional cuyo antecedente es una tautologa, Cmo debe ser el consecuente ara que el condicional sea un enunciado contingente? a) Algunas veces verdadero y algunas veces falso. b) Nunca verdadero y nunca falso. c) Siempre verdadero. d) Siempre Falso. 2. Dados los siguientes dos enunciados.A Si llueve me mojo. B No es el caso que: si me mojo, me enfermo. Cmo es la conjuncin de ambos?. 3. que podemos armar con certeza de las siguientes dos frmulas? P [(Q R) S ], [(Q R) (P S )] a) Son equivalentes. b) Son contradictorias. c) La primera implica a la segunda pero no viceversa. d) La segunda implica a la primera pero no viceversa. 4. De las siguientes frmulas, una y slo una es tautologa. Cul es? a) ((((((P R) P ) P ) P ) P ) P ) b) ((((P R) P ) P ) P ) c) ((P R) P ) d) ((P R) P ) P 5. cual de las siguientes asignaciones de valores hace que las frmulas siguientes sean verdaderas simultneamente? A B, A C, C B, C B 57
58 a) A:v B:f C:v b) A:f B:v C:f c) A:v B:f C:f d) Ninguna de las anteriores.
CAPTULO 7. VALUACIONES
6. La oracin Si Obama gana la presidencia de EUA habr paz en Irn o si Obama gana la presidencia de EUA no habr paz en Irn a) Es una oracin contradictoria. b) Es una oracin contingente. c) Es una oracin tautolgica. d) Es una oracin no tautolgica. 7. La oracin Si Obamagana la presidencia de EUA habr paz en Irn o si habr paz en Irn Obama gana la presidencia de EUA a) es una oracin contradictoria. b) es una oracin contingente. c) es una oracin tautolgica. d) es una oracin no tautolgica. 8. Cul de los siguientes conjuntos de valores hacen verdadero al siguiente enunciado? (P (P S )) ((T R) (T S )) a) P:v R:f S:f T:v b) P:v R:v S:f T:f c) P:f R:v S:v T:f d) P:v R:f S:v T:v 9. Dada la siguiente frmula (P Q) (Q (S S )), Cul de las siguientes asignaciones de valores muestra su consistencia? a) P: V Q: F S: F b) P: V Q: F S: V c) P: F Q: F S: F d) P: V Q: V S: F e) P: F Q: V S: V 10. Cul de las siguientes asignaciones de valores muestra que la siguiente frmula no es tautolgica: [(r r) [(w w) t] (r t)]? a) r: F w: V t: V b) r: F w: F t: F
59 c) r: V w: V t: F d) r: F w: V t: F e) r: F w: F t: F 11. Dada la siguiente frmula S (P Q), cul de las siguientes asignaciones de valores muestra que no es tautolgica? a) P: F Q: V S: V b) P: F Q: F S: F c) P: V Q: F S: V d) P: F Q: V S: F e) P: V Q: V S: V 12. Qu asignacin de valores prueba la consistencia de la siguiente proposicin: ((t s) ( r r)) ((p p) (z z))? a) p: F r: V s: F t: V z: F b) p: V r: V s: V t: V z: V c) p: V r: F s: V t: V z: F d) p: V r: V s: F t: F z: V e) p: F r: F s: F t: F z: F 13. Dado el siguiente conjunto de oraciones: Todo matemtico tiene que ser racional pero no tiene que ser bpedo. Todo ciclista tiene que ser bpedo pero no tiene que ser racional. Bertrand es tanto matemtico como ciclista. Que podemos armar? a) Es consistente en la lgica de predicados b) La disyuncin de las preimsas es universalmente vlida c) Es inconsistente en la lgica de predicados d) No se aplica la consistencia o inconsistencia a este conjunto. 14. Si consideramos el conjunto anterior de oraciones como premisas de un argumento, Que podemos decir de su conclusin? a) Se siguen slo oraciones universalmente vlidas b) Se siguen slo contradicciones c) Se sigue cualquier cosa d) No se sigue nada 15. Sea el siguiente conjunto de enunciados: Todos los centauros son cuadrpedos. Tods los cuadrpedos son inmortales. Algn centauro es inmortal. El conjunto es:
60 a) Inconsistente b) Consistente c) No se sabe d) No es no inconsistente
16. Todos los hombres machos tienen problemas emocionales o son seres retrgrados. Cul de las siguientes armaciones contradice a la anterior? a) Existen hombres machos que no tiene problemas emocionales, pero son seres retrgrados. b) Ningn macho tiene problemas emocionales. c) Existen machos que no son seres retrgrados ni tienen problemas emocionales. d) Existen machos que tienen problemas emocionales. e) Todos los machos tienen problemas emocionales o son seres retrgrados. 17. Cmo es el conjunto de enunciados? {P Q, Q R, T [P (R P )]} a) Consistente. b) Tautolgico. c) Inconsistente. d) No se puede determinar. 18. Cmo es el siguiente conjunto de enunciados? {P (R R), R P, R (P P )} a) Consistente. b) Inconsistente. c) Satisfacible. d) No es no consistente. 19. No es cierto que ningn marciano es azul pero, tampoco lo es que todo marciando lo sea. Este par de oraciones a) son cotradictorias. b) son equivalentes. c) son consistentes. d) son dependientes. 20. cual de las frmulas no es equivalente a la siguiente proposicin? [(P Q) (R R)][(Q Q) (P Q)]
61 a) Q Q b) [(P Q) (P Q)] c) T (T T ) d) (P Q) (P Q) 21. De las siguientes frmulas una y solo una NO es una tautologa. Cual es? a) (P Q) (P Q) b) ((P Q) P ) P c) (P Q) P d) ( P Q) (P Q) 22. Qu podemos armar de los siguientes enunciados? E1 : Todo hombre ama a alguna mujer. E2 : Algn hombre ama a toda mujer. Suponiendo que hay hombres y mujeres. a) Son equivalentes. b) E2 implica a E1 y E1 no implica a E2 . c) E1 implica a E2 y E1 no implica a E2 . d) E1 no implica a E2 y E2 no implica a E1 . 23. Dado el siquiente conjunto de premisas, que NO se sigue? {(D E ) C, A H, (B C ) A} a) (D C ) L b) H B c) D E d ) B H 24. La frmula x((F x Gx) (Gx F x)) a) Es contradictoria. b) Es contingente. c) Es universalmente vlida. d) Es no satisfacible. 25. Qu podemos decir sobre el valor de verdad de la oracin Todos le dan dinero a Juan, pero Juan no le da dinero a nadie? a) La oracin es contingente. b) La oracin es universalmente vlida. c) No sabemos cul es su valor de verdad. d) La oracin es universalmente falsa.
62
26. Si {p q, r s, s p} es consistente. Cul de las siguientes armaciones es falsa? a) {p q, r s, (s p)} es consistente. b) {p q, r s} es consistente. c) {s p, p q, r s} no es inconsistente. d) {(p q), r s, s p} es inconsistente. e) {p p, p q} es consistente. 27. Cul de las siguientes es una contradiccin lgica? a) P (Q P ) b) (P R) (P R) c) (P P ) (Q P ) d) (P R) (P R) e) P P 28. Sean , y frmulas. Si de se sigue ( |= ), de se sigue ( |= ) y de ( |= ). A cual de las siguientes armaciones no conocemos su valor de verdad? a) |=| b) |= c) |=| d) |=| 29. Qu podemos decir acerca del siguiente dilogo entre Sherlock Holmes y el Dr. Watson? -Watson: Si Moriarty no asesin a Lady Baba, entonces la asesin; luego la asesin. -Holmes: No estoy tan seguro, pues esta vez Moriarty ha cado en su propia trampa. Si Moriarty asesin a Lady Baba, entonces no la asesin; luego no la asesin. Elemental mi querido Watson!. a) Que lo que dice Watson es verdadero y lo que dice Holmes no. b) Que lo que dice Holmes es verdadero y lo que dice Watson no. c) Que ambos dicen algo verdadero. d) Que ninguno de los dos dice algo verdadero. 30. Cul de las siguientes frmulas NO es universalmente vlida? a) x(F x yF y ) b) x(F x yF y ) c) xF x y F y d) xF x y (F y Hy ) se sigue
Captulo 8 Un poco de sintxis

Los ejercicios de este captulo pudieron haber sido clasicados en las secciones anteriores, sin embargo, el que se den conjuntos expcitos de frmulas me ha motivado a separarlos en este captulo. 1. Supongamos que un conjunto de premisas es no contradictorio y que el enunciado A se sigue de este conjunto. Si a ese conjunto de premisas le aadimos otras nuevas premisas, y nos resulta que el enunciado A A se sigue del total de las premisas, qu podemos decir con certeza del conjunto de las nuevas premisas que aadimos? a) Que es contradictorio. b) Que no es contradictorio. c) Que no podemos decidir si es contradictorio o no. d) Que A se sigue de las nuevas premisas. 2. Si de un conjunto de premisas se sigue el enunciado P. Cmo den ser esas premisas para poder asegurar que de ellas NO se sigue P ? a) Deben ser contradictorias. b) Deben ser no contradictorias. c) De esas premisas debe seguirse P P. d) Deben ser tautologas todas esas premisas. 3. Dadas las siguientes frmulas: x[(F x Sx) (T x W x)] y xSx, Cul de las siguientes frmulas se sigue de ambas? a) Sa F a b) x(T x W x) c) x(W x Sx) d) xW x 4. De cul de los siguientes conjuntos de premisas no se sigue: P? a) {P, P P } b) {Q, Q} 63
64 c) {Q, Q P } d) {P P } e) {(P Q)}
CAPTULO 8. UN POCO DE SINTXIS
5. De cul de los siguientes conjuntos de premisas se sigue: S T ? a) {(S T )} b) {S S } c) {(T T )} d) {S T } e) {T S } 6. Dado el siguiente conjunto de premisas: {p, r q, (p q), r t, t w }. Qu no se sigue de lo anterior? a) t r
b) t p c) r (t w). d) q p. e) (t w). 7. {r, tw, z, pw, (t q)} Cul de los siguientes conjuntos de armaciones no se sigue del anterior? a) {q p, w w} b) {q p, z, rt} c) {p, t z, q} d) {w w, t (r w)} e) {q, s t} 8. {xy Axy, Apa, Apg, xy [(Apx Apy) Axy]}. Qu no se sigue de este conjunto de premisas? a) Aga. b) y Apy c) xy Ayx d) Aag. e) y Ayg 9. Si de un conjunto de premisas se sigue una y solo una de las siguientes frmulas, cul es? a) (Q P ) b) (P Q)
65 c) (P Q) d) (P Q) 10. Qu se sigue del siguiente conjunto de premisas? {x(Ax Bx), y (By Cy ), z (Bz Az )} a) x(Ax Cx) b) z (Az Cz ) c) y (ay Cy ) d) y (Cy Ay ) a Q P b P Q c P Q d P Q 11. Dado un conjunto de premisas, todas, menos una, de las siguientes proposiciones son su consecuencia lgica. Cul de ellas no es consecuencia lgica de ? a) p r b) p p c) (p r) d) r p e) p 12. Cul de los siguientes conjuntos de proposiciones no se sigue de {P, S T, T Q}? a) {P, Q} b) {S Q, T T } c) {Q Q} d) {Q Q, T P } e) {R S, T Q} 13. A partir de la frmula [(p q) (p p)] {[(p r) (p r)] (r r)} Cul de las siguientes frmulas se sigue? a) (p (q p)) b) [(p q ) t] [(p r) t] c) p r d) p q e) [(p q ) (p r)]
66
CAPTULO 8. UN POCO DE SINTXIS
Captulo 9 Falacias y otros

Las falacias son un tema de gran importancia en la lgica, aunque en los examenes no hay un nmero considerable de estas preguntas, todo buen lgico debe poder reconocerlas, en los ejercicios se presentan algunas. Adems, en este ltimo captulo hay ejercicios que no son clasicables en alguna de las secciones anteriores pero es bueno tenerlos en cuenta. 1. El hombre ya lleg a la Luna. La mujer, an no. Que tipo de error se comete en esta falacia? a) Se pasa por alto que las mujeres tambin ya llegaron a la Luna. b) Argumento invlido c) No se dice cul hombre lleg y cul mujer no lleg. d) Se crea confusin aprovechndose de que la palabra "hombre"puede signicar tanto "ser humanoomo "varn". 2. Jaime Mausn ha dicho: "Hay extraterrestres, y nadie me ha refutado convincentemente. Luego, he demostrado que hay extraterrestres. A cul de las siguientes oraciones describe esta falacia? a) Intenta ganarse la simpata de los oyentes. b) Trata de imponer su opinin por la fuerza. c) Pone un nfasis indebido en que hay extraterrestres. d) Arma que si alguien, debido a su ignorancia, carece de elementos para refutarlo, es porque no tiene la razn y por tanto Jaime Mausn si la tiene. 3. Siempre debes seguir el designio de los dioses, ellos son buenos y sabios. Por lo tanto, si los dioses te ordenan matar a tu familia debes hacerlo. Qu tipo de argumento es el anterior? a) Falacia informal b) Argumento verdadero c) No es argumento d) Argumento falso e) Argumento invlido 4. Aristteles deca: que el todo siempre es mayor que la parte. Por lo tanto, el auto es ms grande que la llanta. Qu tipo de argumento es el anterior? 67
68 a) Argumento falso. b) Falacia informal. c) Argumento verdadero. d) Argumento vlido, con premisas verdaderas. e) Argumento vlido, con premisas falsas.
CAPTULO 9. FALACIAS Y OTROS
5. El aborto no siempre es algo moralmente reprobable. Recuerda que Santo Tomas de Aquino deca que el aborto est permitido en algunas circunstancias. Qu tipo de argumento es el anterior? a) Argumento vlido. b) Falacia formal. c) Argumento verdadero. d) Argumento falso. e) Falacia informal. 6. Que tipo de argumento es el siguiente? Juan sale a jugar su se come la sopa. Juan sali a jugar. Por tanto, Juan se comi la sopa. a) Argumento vlido con premisas no contradictorias. b) Falacia de autoridad. c) Falacia formal. d) Argumento invlido con premisas contradictorias. 7. Solo si eres honesto, triunfas en la vida. Eres honesto. Por lo tanto, triunfas en la vida Qu se puede decir de lo anterior? a) Es una falacia formal. b) Es una falacia de ambigedad. c) Es una falacia informal. d) Es una falacia de apelacin a los sentimientos. e) Es una falacia de irrelevancia. 8. Cmo es el argumento siguiente? Sofa es una de mis primas. Sofa es una lancha que navega por el ro Balsas. Por lo tanto, una de mis primas navega por el ro Balsas. a) Vlido con premisas no contradictorias. b) Ivlido con premisas contradictorias. c) Falacia por usasr dos palabras distintas con el mismo sentido. d) Falacia por usas una palabra con dos sentidos distintos. 9. Cmo es la siguiente expresin? Juan ha dicho muchas veces que no hay que subir los pies sobre la mesa.
69 a) Es un enunciado molecular, pues es una negacin. b) No es un enunciado, es una orden. c) Es un enunciado atmico. d) Es un enunciado molecular, pues es una conjuncin de atmicos. 10. Si en un argumento las premisas son falsas y la conclusin es verdadera, se puede concluir con certeza que: a) Es un argumento vlido. b) Es una rgumento invlido. c) No podemos decidir si es vlido o no. d) Sus premisas y su conclusin son tautolgicas. 11. Cul de las siguientes armaciones sobre los argumentos es verdadera? a) Si un argumento es vlido, su conclusin es verdadera. b) Si la conclusin de un argumento es verdadera, el argumento es vlido. c) Si un argumento es invlido, todas sus premisas son verdaderas y la conclusin es falsa. d) Si un argumento tiene todas sus premisas verdaderas y la conclusin falsa, el argumento es invlido. 12. Que enunciado expresa mejor el signicado de esta frase de Ramn Gmez de la Serna: No hay que tirarse desde demasiado alto para no arrepentirse por el camino? a) Si te tiras desde muy alto, entonces puedes arrepentirte. b) Si te tiras desde muy bajo, entonces no te arrepentirs. c) Si no te tiras no te arrepentirs. d) Si te arrepientes, entonces tu te tiraste desde muy alto. 13. Cul de las siguientes armaciones sobre los argumentos es verdadera? a) Si un argumento tiene todas sus premisas verdaderas y la conclusin verdadera, es vlido. b) Si un argumento vlido tiene alguna premisa falsa, tiene tambin la conclusin falsa. c) Si un argumento vlido tiene la conclusin falsa, tiene al menos una premisa falsa. d) Si un argumento es invlido, al menos una de sus premisas es verdadera y la conclusin es falsa. 14. Leemos en un cuento de Gilbert K. Chesterton este dilogo entre el padre Brown y el profesor Openshaw: -Openshaw: Mi querdio padre Brown, cinco hombres han desaparecido. -Brown: Mi querido profesor Openshaw, ningn hombre ha desaparecido. Suponiendo que el padre Brow y el profesor Openshaw se reeren a la misma circunstancia, qu podemos armar con certeza? a) Que ambos mienten.
70 b) Que ambos dicen la verdad. c) Que si uno de ellos dice la verdad el otro miente.
CAPTULO 9. FALACIAS Y OTROS
d) Que al menos un hombre esta desaparecido y al menos otro hombre no lo est. 15. En un argumento vlido. a) Las premisas son consistentes su implican la negacin de la conclusin. b) Las premisas son consistentes con la negacin de la conclusin. c) Las premisas son inconsistentes con la negacin de la conclusin. d) Las premisas y la conclusin son consistentes. 16. Qu es cierto sobre la siguiente armacin? Si de un conjunt de premisas NO se sigue el enunciado A, entonces de ese conjunto se sigue el enunciado A a) Que es falsa. b) Que es verdadera. c) Que no es nu verdadera ni falsa. d) Que no podemos decidir si es verdadera o falsa. 17. Considerando las reglas de inferencia, Cul de los siguientes enunciados es falso? a) Dada una disyuncin inclusiva, al armar un disyunto, se inere la negacin del otro. b) Dado un condicional, al negar el consecuente, inferimos la negacin del antecedente. c) Dado un par de enunciados cualesquiera, una implica al otro o viceversa. d) Dada una conjuncin, podemos inferir uno de sus conyuntos. 18. El enunciado: Caminante no hay camino, se hace camino al andar. Tiene como conectivo principal una: a) Doble implicacin. b) Conjuncin. c) Disyuncin. d) Negacin. 19. Cul de los siguientes conjuntos no es equivalente al conjunto {1, 2, 3, 4, 5, 6, 7}? a) {2, 4, 6, 7, 1, 2, 5, 6,3} b) {1/1, 6/3, 10/2, 21/7, 36/9, 18/3, 14/2} c) {2, 22 , 1x1, 3, 5x1, 2x3, 7} d) {/ , 2/, 3/, 7/, 6/, 4/, 5/ } e) {2, 3, 5, 4, 9,1, 7, 6} 20. Cul de los siguientes conjuntos es el conjunto de letras de la palabra antropfago?
71 a) {a, n, t, r, o, p, f, g, s} b) El conjunto de letras diferentes de la palabra dicotiledneas. c) El conjunto de los apstoles de Jess d) {a, n, t, r, o, p, f, g} e) {a, b, c, d, e, f, g, h, i, j, k} 21. ( ) Dados dos conjuntos de premisas y tales que un enunciado p es consecuencia de ambos y el enunciado p es consecuencia de . Cul de las siguientes armaciones es falsa? a) Si unimos ambos conjuntos de premisas en uno solo, este nuevo conjunto es inconsistente. b) p se sigue de . c) Si unimos ambos conjuntos de premisas en uno solo, q no se sigue de este nuevo conjunto. d) q se sigue de . e) Si unimos ambos conjuntos de premisas en uno solo, p se sigue de este nuevo conjunto.

Reglas de Inferencia Sinrespuestas Axel

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Reglas de Inferencia Sinrespuestas Axel

Transféré par

Droits d'auteur :

Formats disponibles

Compendio de ejercicios de las olimpiadas de lgica.

Hector Axel Saavedra Luis 19 de enero de 2014

Captulo 1 Ejercicios bsicos.

CAPTULO 1. EJERCICIOS BSICOS.

CAPTULO 1. EJERCICIOS BSICOS.

CAPTULO 1. EJERCICIOS BSICOS.

CAPTULO 1. EJERCICIOS BSICOS.

24 d) Algn jueves del ao no hubo concierto de rap.

26 a) Si los marcianos llegaron, llegaron bailando Chachach.

30 d) Si la oruga es sabia, entonces Alicia no es real.

32 d) Algn invitado no es deshonesto y no es de ar.

34 e) Q Q 52. Qu no se sigue de la proposicin: P Q? a) (P Q) b) (P P ) c) P Q d) P Q e) Q P

Captulo 4 Argumento vlido?

38 d) Argumento falso. e) Argumento inductivo.

CAPTULO 4. ARGUMENTO VLIDO?

CAPTULO 4. ARGUMENTO VLIDO?

CAPTULO 4. ARGUMENTO VLIDO?

Captulo 6 Simbolizaciones y traducciones.

CAPTULO 6. SIMBOLIZACIONES Y TRADUCCIONES.

CAPTULO 6. SIMBOLIZACIONES Y TRADUCCIONES.

CAPTULO 6. SIMBOLIZACIONES Y TRADUCCIONES.

60 a) Inconsistente b) Consistente c) No se sabe d) No es no inconsistente

Captulo 8 Un poco de sintxis

64 c) {Q, Q P } d) {P P } e) {(P Q)}

CAPTULO 8. UN POCO DE SINTXIS

CAPTULO 8. UN POCO DE SINTXIS

Captulo 9 Falacias y otros

CAPTULO 9. FALACIAS Y OTROS

CAPTULO 9. FALACIAS Y OTROS

Vous aimerez peut-être aussi