Compendio de ejercicios de las olimpiadas de lógica.

Hector Axel Saavedra Luis 19 de enero de 2014

2

Índice general
1. Ejercicios básicos. 2. Acertijos 3. ¿Qué se sigue? 4. ¿Argumento válido? 5. ¿Qué agregas 6. Simbolizaciones y traducciones. 7. Valuaciones 8. Un poco de sintáxis 9. Falacias y otros 7 17 23 35 43 47 57 63 67

3

4 ÍNDICE GENERAL .

implica. A continuación se muestra una breve lista de equivalencias lógicas que utilizaremos con frecuencia. dedicada a los estudiantes de la facultad de Ciencias UNAM y a los concursantes de las olimpiadas de lógica realizadas en la República Mexicana. Las simbolizaciones no son del todo formales. se deduce. se sigue. (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 . se tiene. Es también recomendable que el lector conozca el modus ponens la regla de inferencia primordial para las deducciones lógicas y conoces algunos teoremas como el de la deducción. además que entenderemos la palabra equivalente. A3 .. y se utilizarán símbolos |= tendiendo en cuenta que el lector los interpretará con la definición adecuada).). Suerte. también sucederá que obviaremos las valuaciones. Es importante recalcar que no es un requisito dominar todos estos temas para el estudio de estos problemas (los ejercicios realmente son simples).Introducción Esta es una recopilación de ejercicios de las olimpiadas de lógica. es un factor que influye en los resultados. el objetivo de esta recopilación es preparar a los estudiantes de la Facultad de Ciencias para las siguientes Olimpiadas. y deducción lógica (se hará mención de estos conceptos sin hacer distinción con frases como. en muchos casos se omitirán paréntesis y siempre se utilizarán letras del alfabeto para los símbólos de enunciado (y no A1 . con premisas nos referiremos a los enunciados o fórmulas planteados en el ejercicio. el concepto más importante y que se debe tener dominado es el de implicación lógica. como lógicamente equivalente. así como la preparación del lector para resolver ejercicios típicos de dichas olimpiadas. sin embargo. y diremos que una fórmula α o una oración es verdadera si v (α) = 1. Lo mas recomendable es que el lector este familiarizado con el temario de los cursos de lógica 1 y lógica 2 impartidos en la facultad de ciencias (lógica de enunciados y lógica de primer orden). de igual manera. el objetivo de este documento es incrementar el interés por la lógica entre los estudiantes y motivar el uso de la misma.Con oración principal nos referiremos al enunciado o fórmula dado en el planteamiento del ejercicio. y aunque la teoría no es definitiva en esta competencia. es decir. asi como implicación tautológica. A2 . En la mayoría de los casos obviaremos los universos de interpretación. Hector Axel Saavedra Luis..En muchos casos nos referiremos simplemente a una valuación como v y a su valuación extendida como v .

. contradicción y tautológia respectivamente.6 Q∧ |=| ¬Q ÍNDICE GENERAL ¬∀xα |=| ¬∃x¬α P −→ Q |=(P ∧ α) −→ C |=| ¬ significa equivalencia lógica asi como ⊥ y significan.

¿Cuál de las siguientes opciones es equivalente a la negación del siguiente enunciado? Nadie conoce a todos los amigos de Laura a) Todos conocen a alguno que no es amigo de Laura. ¿Cuál de las siguientes oraciones es lógicamente equivalente a: Ninguno de los amigos de Sheik ha sido siempre veraz? a) No todos los amigos de Sheik han sido alguna vez veraces. a) Él es feo. d) Alguien no conoce a algún amigo de Laura. Los siguientes ejercicios son fundamentales en el sentido de que su resolución es sencilla formalmente. b) Alguien conoce a todos los amigos de Laura. Recordemos que todos tenemos un ritmo y estos ejercicios son para ir mejorando nuestro nivel. 3. c) Algún amigo de Laura no es conocido por nadie. c) Él no es bello. c) Todos los amigos de Sheik han mentido alguna vez. 2. si los ejercicios no resultan tan simples no es motivo de desánimo. por lo que todos sus amigos no han sido siempre veraces.Capítulo 1 Ejercicios básicos. La oración “tu me tiras el café y yo te echo por la ventana” 7 . b) Algunos amigos de Sheik nunca han sido veraces. es recomendable que hayamos aprendido las equivalencias que se sugiere en la introducción. los ejercicios deben ser de lo más simples. recordando estas. d) Algunos amigos de Sheik no siempre han mentido. por el contrario se debe seguir trabajando. Elige la negación lógica de él es bello. d) Él es horrible. 1. No existe amigo de Sheik que siempre haya sido veraz. b) Él es imperfecto. 4.

7. Hablando de personas y de dioses. b) Toda persona es todos los dioses. b) es una oración que carece de valor de verdad. . d) A que si quiere casarse con María. c) No hay sapos que no sean amigos de los extraterrestres. c) Los que no dicen la verdad no son niños o borrachos. Cuando María le preguntó a Mario si quería casarse con ella. a) No hay extraterrestres que no sean amigos de algún sapo. c) Alguna persona no es un dios. b) No hay niños y borrachos que no dicen la verdad. 8. por eso carece de valor de verdad. EJERCICIOS BÁSICOS. pero ¿a que equivale lo que contestó Mario? a) A que no quiere casarse con María. 9. entonces no quiere casarse con María. a) Nadie le dijo a Sonia que fuera a la fiesta. La negación de una conjunción es la disyunción de las negaciones. c) no es una oración sino un mandato. d) Hay niños o borrachos que no dicen la verdad. b) Alguien le dijo a Sonia que no fuera a la fiesta. CAPÍTULO 1. a) Toda persona es un dios. b) No hay extraterrestres que no sean amigos de todos los sapos. 6.8 a) es una implicación disfrazada de conjunción. María quedó un poco confundida. Mario le contestó: No estaría mintiendo si te dijera que no niego que si es verdadero que no deja de ser falso que no quiera casarme contigo. 5. d) Alguna persona es todos los dioses. c) A que quiere casarse y no quiere casarse con María. b) A que sí se quiere casarse con María. ¿A que equivale el siguiente enunciado? Todos los extraterrestres son amigos de los sapos. ¿Cuál es la negación lógica del siguiente enunciado: Los niños y los borrachos dicen la verdad? a) Los que no son niños ni borrachos no dicen la verdad. d) es una conjunción pues admite cambiar el orden de los conyuntos sin alterar su valor de verdad. ¿Cual es la negación lógica del siguiente enunciado? Todos le dijeron a Sonia que fuera a la fiesta. ¿Cuál es la negación lógica del siguiente enunciado? Ninguna persona no es un dios. d) Todos los extraterrestres son amigos de algún sapo.

¿Cuál de las siguientes afirmaciones es equivalente a la anterior? a) Si no me respeta. me ama. c) La política no es útil o es aburrida. ¿Cuál de las siguientes afirmaciones es equivalente a la anterior? . d) Es falso que: me miras y que no me miren que nos miramos. Si me ama. me respeta.9 c) Todos le dijeron a Sonia que no fuera a la fiesta. 14. 11. 10. me gusta el refresco. b) Si me gusta el chocolate. d) Si no me gusta el chocolate. no me ama. b) Mírame aunque no me miren que nos miramos. a) O me miras o no me miran que nos miramos. el refresco también. d) O me ama o me respeta 12. Elige la negación lógica de: Los políticos dicen la verdad. c) Me gusta el chocolate si y sólo si me gusta el refresco. Es falso que: las mujeres son superiores a los hombres o que los hombres son inferiores a las mujeres. ¿Cuál es la negación lógica de: No me gusta el chocolate ni el refresco? a) No me gusta el chocolate y sí me gusta el refresco. d) Alguien no le dijo a Sonia que fuera a la fiesta. b) No es el caso que la política no sea útil. c) Mírame aunque miren que nos miramos. La política no es fácil ni útil ¿Que se sigue de lo anterior? a) No es el caso que la política sea aburrida. d) La política no es fácil y es decepcionante. ¿Cuál es la negación lógica de la siguiente expresión? No me mires cuando me miren que nos miramos. c) Si me respeta. b) O me ama o no me respeta. a) Los políticos mienten b) No es el caso que: los políticos dicen la verdad c) Los políticos siempre mienten d) Los políticos dicen mentiras 13. e) La política es fácil y útil. e) No es cierto que: me gusta el chocolate o el refresco.

te quita te pone. Elige la negación lógica de: Así es la vida. b) Así es la vida. jacarandosa. c) A todo le sucede que es demasiado bueno como para ser verdad. te baja y a veces te lo da. c) Si tengo más de 16 años. jacarandosa. puedo conducir un auto. locutora de Mix FM. entonces puedo conducir un auto 19. entonces no puedo conducir un auto. c) Las mujeres son superiores a los hombres y los hombres son inferiores a las mujeres. ¿Cuál de las siguientes afirmaciones es equivalente a la anterior? a) No es cierto que no sea culpable. jacarandosa. d) Si tengo más de 16 años. ¿Cuál de las siguientes afirmaciones es equivalente a la anterior? a) A todo le sucede que no es demasiado bueno como para ser verdad. Elige la negación lógica de: No pasaré a la final a) No pasar a la final. b) Es falso que el acusado es culpable. c) Pasar a la final. b) A todo le sucede que no es demasiado bueno como para ser mentira. te sube. b) Si no tengo más de 16 años. e) Si no es el caso que no tenga más de 16 años. 15. 18. no te baja y nunca te lo da.10 CAPÍTULO 1. entonces tengo más de 16 años¿ a) Si no tengo más de 16 años. no te sube. a) Es falso que así es la vida. te baja. d) La vida no es jacarandosa. EJERCICIOS BÁSICOS. te sube. 17. te quita. te baja y a veces te lo da. a veces te lo da y es jacarandosa. entonces no puedo conducir un auto. 2005). ¿Cuál de las siguientes proposiciones es equivalentes a "Si puedo conducir un auto. . Nada es demasiado bueno como para ser verdad (Tamara León. El acusado es culpable. b) No es cierto que: las mujeres son superiores a los hombres y los hombres son inferiores a las mujeres. no te quita no te pone. a) Las mujeres no son superiores a los hombres y los hombres no son inferiores a las mujeres. d) Es falso que: las mujeres sean superiores a los hombres y los hombres sean inferiores a las mujeres. c) Es verdad que el acusado no es culpable d) No es cierto que sea verdad que el acusado es culpable 16. te pone. te sube. c) La vida te quita te pone. d) Pasé a la final. entonces puedo conducir un auto. b) Pasaré a la final.

b) Soy listo. Si soy listo. Todos los no-humanos son inmortales y todos los basiliscos son no-humanos. entonces aserejé ja dejé. c) No soy listo. 24. e) A nada le sucede que no es demasiado bueno como para ser verdad. Aserejé ja dejé. c) Todos los seres humanos son libres. 22. e) Si Aserejé ja dejé.11 d) A nada le sucede que es demasiado bueno como para ser mentira. c) Aserejé ja dejé si y sólo si. ¿Cuál es la negación lógica de lo anterior? a) Pedro es libre. Pedro es uno de ellos. c) Si todos los no-humanos son inmortales entonces no es cierto que todos los basiliscos son no-humanos. e) Soy y no soy listo. 21. ¿ésta es equivalente a cuál de las siguientes afirmaciones? a) Es falso que aserejé ja dejé. entonces no soy listo? a) O soy listo o no lo soy. soy listo. entonces majavi an de bugui an de buididipí. Algunos seres humanos no son libres. 20. es falso que aserejé ja dejé. . b) Algunos cisnes no son negros. ¿Cuál de los siguientes incisos es la negación lógica de Algunos cisnes no son blancos? a) Todos los cisnes son blancos. d) Si no soy listo. Si suponemos que lo anterior es una afirmación. d) Si todos los basiliscos son humanos entonces todos los humanos son inmortales. b) Todos los no-humanos son mortales y todos los basiliscos son humanos. 23. aserejé ja dejé. e) Todos los basiliscos son inmortales o todos los basiliscos son humanos. e) Todos los seres humanos son libres y Pedro lo es. ¿Cuál es la negación de lo anterior? a) Todos los humanos son mortales y no existen los basiliscos. d) Aserejé ja dejé si y sólo si. no soy listo. b) Si es falso que: aserejé ja dejé. d) Todos los seres humanos son libres o Pedro no lo es. b) Todos los seres humanos son libres o Pedro lo es. ¿Cuál de las siguientes proposiciones es equivalentes a: Si soy listo.

d) Algún amigo de Ana le mintió respecto a todos. b) Todos los que aman a alguien son felices. c) Algún amigo de Ana no le mintió respecto a José. b) No me gusta nadie. . d) Nadie es perfecto. 29. b) Algún amigo de Ana le mintió respecto a José. e) No es el caso que Algunos cisnes sean blancos. a) Todos son perdedores. c) Yo me gusto a mi mismo. d) Es falso que no todos son ganadores. 28. e) Todos los que no son felices aman a alguien. 26. d) No es el caso que: me gustes y yo no me guste a mi mismo. c) Todos los seres humanos son perfectos. e) Algunos son ganadores. 27. Elige la negación de Ningún ser humano es perfecto. a) Existen seres humanos perfectos. EJERCICIOS BÁSICOS. ¿Qué afirmación es lógicamente equivalente a: Todos los que son felices aman a alguien? a) Si todos son felices entonces alguien ama a alguien. CAPÍTULO 1.12 c) Algunos cisnes son blancos. e) No es cierto que: o tú me gustas o me gusto a mi mismo. ¿Cual es la negación lógica de la siguiente oración? Todos los amigos de Ana le mintieron respecto a José. 25. d) Si todos aman a alguien entonces alguien es feliz. e) Ningún ser humano es imperfecto. b) Algunos seres humanos no son perfectos. a) Ningún amigo de Ana le mintió respecto a José. ¿Cuál es la negación lógica de: Yo no me gusto a mi mismo. Elige la negación lógica de Todos son ganadores. pero tú tampoco me gustas? a) O me gusto a mi mismo o me gustas tú. d) Ningún cisne es blanco. pero tú me gustas más. c) No hay alguien feliz que no ame a alguien. c) Algunos no son ganadores. b) Algunos no son perdedores.

entonces eres todo y te quiero. 32. d) Algunos animales son moralmente considerables y otros animales no. c) No: picha o cacha o deja batear. . c) Al ser mi amor mi cómplice y todo. te quiero. d) Si no picha. b) Al ser mi amor. ¿Cual de las siguientes oraciones es lógicamente equivalente a: Si los pingüinos viven en el polo sur y los osos en el polo norte. no deja batear. ¿Cuál de las siguientes opciones es un equivalente lógico de la negación del siguiente enunciado? Nadie conoce a todos los amigos de Laura. b) Alguien conoce a todos los amigos de Laura. c) O bien los osos y los pingüinos conviven en su ambiente natural. c) Si las plantas son moralmente considerables. si tienes el virus de la influenza humana. o bien los pingüinos viven en el polo sur y los osos en el polo norte. 34. La negación lógica de la proposición: Ni te beso ni te abrazo. o bien no es el caso que: los pingüinos viven en el polo sur y los osos en el polo norte. ¿Cuál es la negación lógica de: ni picha ni cacha ni deja batear? a) No picha. no cacha. Todos los animales son dignos de consideración moral. o bien no es el caso que: los pingüinos viven en el polo sur y los osos en el polo norte.13 30. ¿Cuál de las siguientes oraciones se sigue de la afirmacion precedente? a) No es cierto que algunos animales son dignos de consideracion moral b) Todos los seres dignos de consideracion moral son animales. c) Algún amigo de Laura no es conocido por nadie. b) O bien los osos y los pingüinos no conviven en su ambiente natural. b) No: picha y cacha y deja batear. 33. d) Alguien no conoce a algún amigo de Laura. entonces sos mi amor mi cómplice y todo. entonces los osos y los pingüinos conviven en su ambiente natural. entonces cacha o deja batear. entonces estas especies no conviven en su ambiente natural? a) Si los pingüinos no viven en el polo sur y los osos no viven en el polo norte. d) Si no te quiero. no eres mi amor mi cómplice y todo. a) Todos conocen a alguno que no es amigo de Laura. 31. d) O bien los osos y los pingüinos conviven en su ambiente natural. todos los animales tambien. ¿Cuál de los siguientes enunciados es equivalente a Si te quiero es porque sos mi amor mi cómplice y todo? a) Si te quiero.

d) Mi perro no es una palmera o mi perro es una palmera. d) Algunos amigos del Sheik no siempre han mentido. e) Soy y no soy listo. c) Algunos cisnes son blancos. d) Si no soy listo. mi mochila. e) Si no soy un bote de pintura entonces mi perro es una palmera. mi maleta. b) Si mi perro es una palmera entonces dos más dos es igual a cuatro. Si soy listo. 38. d) Todos los seres humanos son libres o Pedro no lo es. b) Algunos cisnes no son negros. ¿Cuál de los siguientes incisos es la negación lógica de Algunos cisnes no son blancos? a) Todos los cisnes son blancos. Mi perro no es una palmera. soy listo. Pedro es uno de ellos. no soy listo. 40. c) Todos los seres humanos son libres. ¿Cuál es la negación lógica de lo anterior? a) Pedro es libre. 39. 35.14 CAPÍTULO 1. ¿Cuál de las siguientes afirmaciones se sigue de lo anterior? . c) Todos los amigos del Sheik han mentido alguna vez. b) Algunos amigos del Sheik nunca han sido veraces. ¿Cuál oración no se sigue de la anterior? a) Mi perro no es una palmera o yo soy un bote de pintura. Cuando abro mi maleta encuentro. e) No es el caso que Algunos cisnes sean blancos. 36. EJERCICIOS BÁSICOS. c) Si el sol es un planeta entonces mi perro no es una palmera. entonces no soy listo? a) O soy listo o no lo soy. 37. b) Todos los seres humanos son libres o Pedro lo es. Cuando abro mi mochila encuentro. ¿Cuál de las siguientes proposiciones es equivalentes a: Si soy listo. entre otras cosas. d) Ningún cisne es blanco. b) Soy listo. entre otras cosas. ¿Cuál de las siguientes oraciones es lógicamente equivalente a: Ninguno de los amigos del Sheik ha sido siempre veraz? a) No todos los amigos del Sheik han sido alguna vez veraces. c) No soy listo. Algunos seres humanos no son libres. e) Todos los seres humanos son libres y Pedro lo es.

d) Si todos los basiliscos son humanos entonces todos los humanos son inmortales. a) Ningún amigo de Ana le mintió respecto a José b) Algún amigo de Ana le mintió respecto a José c) Algún amigo de Ana no le mintió respecto a José d) Algún amigo de Ana le mintió respecto a todos. . e) Todos los basiliscos son inmortales o todos los basiliscos son humanos. no eres mi amor mi cómplice y todo. b) Todos los no-humanos son mortales y todos los basiliscos son humanos. e) Mi maleta y mi mochila son el mismo objeto. entonces sos mi amor mi cómplice y todo. c) Tengo muchas mochilas. entonces eres todo y te quiero. ¿Cual es la negación lógica de la siguiente oración? Todos los amigos de Ana le mintieron respecto a José. 41. ¿Cuál de las siguientes proposiciones no es lógicamente equivalente a: ∃x∀y[Cxy ∧ (Fy −→ Axy)]? a) ¬∀x ¬∀y [Cxy ∧ (¬Axy −→ ¬Fy)] b) ¬∀y ∃x[¬Cyx ∨¬(Fx −→ Ayx)] c) ∃x¬∃y[Cxy −→ (Fy ∧¬Axy)] d) ¬∀x¬∀y¬[Cxy −→ ¬(Fy −→ Axy)] e) ¬∀y∃x[Cyx ∨¬(Fx −→ Ayx)] 44. d) Si no te quiero. c) Al ser mi amor mi cómplice y todo.15 a) Mi maleta es mágica. c) Si todos los no-humanos son inmortales entonces no es cierto que todos los basiliscos son no-humanos. te quiero. d) Mi maleta no está dentro de ella misma. 42. ¿Cuál de los siguientes enunciados es equivalente a “Si te quiero es por que sos mi amor mi cómplice y todo? a) Si te quiero. Se tiene un enunciado de la forma ∀xalpha la negación ¬∀xα es lógicamente equivalente a ∃x¬α por lo que la respuesta es el inciso c). ¿Cuál es la negación de lo anterior? a) Todos los humanos son mortales y no existen los basiliscos. Todos los no-humanos son inmortales y todos los basiliscos son no-humanos. b) Al ser mi amor. 43. b) Mi maleta está dentro de mi mochila y mi mochila está dentro de mi maleta.

Considere los siguientes dos enunciados: 1 Todos los elefantes tienen trompa 2 Todos los elefantes con orejas tienen trompa ¿Cual de las siguientes afirmaciones es cierta? a) 1) implica 2) y 2) no implica 1). ¿A qué proposición no es equivalente la proposición: ¬P −→ ¬P ? a) ¬P ∨ ¬P b) ¬(P ∧ ¬P ) c) P ∨ ¬P d) P ←→ P e) P −→ P 48. ¿Cual de las siguientes opciones es lógicamente equivalente a la siguiente fórmula? ((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. EJERCICIOS BÁSICOS. CAPÍTULO 1. ¿A qué proposición es equivalente la proposición: P? a) P ∧ ¬ P b) ¬P ∨ P c) P −→ ¬P d) P ∨ (Q ←→ ¬Q) e) (Q ←→ ¬Q) ∧ P 49. b) 2) implica 1) y 1) no implica 2). d) 1) no implica 2) y 2) no implica 1). c) 1) implica 2) y 2) implica 1).16 45. 46. ¿Cuál de las siguientes opciones es lógicamente equivalente a: ({¬(¬r −→ r) ∨ ((w ←→ ¬w) ∨¬t)} −→ (¬r ∧ t))? a) t ←→ r b) t ∨ ¬ t c) ¬t d) t −→ r e) r −→ ¬t .

No hay métodos generales para resolver acertijos. ¿Qué podemos inferir sobre el color del lado oculto de las tarjetas? a) Ninguna es roja. b) Es falsa. todo depende del ingenio de cada persona. Se tiene un conjunto no vacío de tarjetas con las siguientes características: i) De un lado tienen un círculo o un triángulo (y sólo uno de los dos). 4. En un cajon en un cuarto oscuro hay 48 calcetines: 24 rojos y 24 azules. son verdes del otro lado. . vale la pena estudiarlos para tenerlos presentes. Sobre una mesa están extendidas 6 tarjetas de colores. Entonces la afirmación Si una tarjeta tiene un triángulo de un lado. es roja por el otro: a) Es verdadera. iii) Todas las tarjetas con círculo de un lado. sin embargo. d) Es verdadera y falsa.Cual es el menor numero de canicas que debo sacar (sin ver) para estar seguro de tener dos de diferente color? 25. aún así. d) Al menos una es roja. e) Al menos una es azul. ¡Suerte! 1. puede que tengamos la mala suerte de sacar las 24 de un solo color. ¿Cuál es el menor numero de calcetines que tengo que sacar (sin ver) para estar seguro de tener dos del mismo color? 17 . En un cajón en un cuarto oscuro hay 48 canicas: 24 rojas y 24 azules.Capítulo 2 Acertijos Los acerijos de la olimpiada son muy entretenidos. 3. ya sea azul o rojo. 2. es azul del otro lado. b) Todas son rojas. c) Ninguna es azul. c) No sabemos si es verdadera o falsa. ii) Del otro lado son rojas o verdes (y sólo uno de los dos). Cada tarjeta tiene diferente color de cada lado. no figuran entre el tipo de preguntas más numeroso. e) Es una tautología. Si todas las tarjetas tienen color azul en su lado visible. Pero siempre que una tarjeta es roja de un lado.

Hay más habitantes que pelos en la cabeza de cualquiera de ellos. Ninguno de los habitantes tiene exactamente 518 pelos en la cabeza. Con la misma proporción. ¿Cuál de las siguientes preguntas tienes que hacer para saber en qué habitación está escondida la maleta? a) ¿Es cierto que: si eres Xavier entonces la maleta está en tu cuarto? b) ¿Es cierto que la habitación de Luis es tuya si y sólo si la maleta está en la habitación de Xavier? c) ¿Es cierto que eres Xavier o la maleta está en tu habitación? d) ¿Es cierto que la habitación de Xavier es de Xavier si y sólo si la maleta está en la habitación de Luis? e) ¿Es cierto que la habitación de Luis es tuya y la maleta está en la habitación de Xavier? 7. ACERTIJOS 5. 2. Suponga que gallina y media pone huevo y medio en día y medio. . En la habitación de uno de ellos está escondida una maleta con dinero robado. uno que siempre dice la verdad y uno que siempre miente. Imagina que tú eres un policía en las siguientes condiciones: acabas de llegar a la casa. 3. ¿Cuántos huevos pone una gallina en tres días? a) Uno. estos tres enunciados son verdad: 1. pero en diferente habitación. Entonces. Ambos viven en la misma casa. no sabes cómo distinguir entre ellos. Suponga que en Cuijingo. Existen dos hermanos gemelos. te encuentras a los gemelos. Ambos saben en dónde está la maleta. Existen dos posibilidades excluyentes: Yo siempre digo mentiras o siempre digo la verdad. Ningún par de habitantes tienen el mismo número de pelos en la cabeza. ¿Cuál es el mayor número posible de habitantes de Cuijingo? a) 517 b) 518 c) 519 d) 0 e) 2 8. El honesto se llama Luis y el mentiroso. Xavier.18 a) 2 b) 3 c) 24 d) 25 CAPÍTULO 2. pero sabes cuál es la habitación de Luis y cuál es la Xavier y tienes toda la información anterior.¿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 año 2006? d) ¿Es cierto que no eres mentiroso? e) ¿Es cierto que si eres mentiroso entonces eres mentiroso? 6.

e) Tres. Otro dia. Alicia habia olvidado que dia era y se encontro en el bosque del olvido al unicornio solo. d) Dos y medio. Alicia se encontraba en el bosque del olvido y habia olvidado que dia era. 9. Pregunta al Dios 3: ¿Quién es el Dios 2? Respuesta: Es el Dios de la mentira. El leon (que miente los lunes. El unicornio (que miente los jueves. En cierto reino todos los misioneros solo dicen la verdad y todos los esclavos solo dicen mentiras. d) Este párrafo tiene sólo una oración verdadera. Asi Alicia supo que dia era. todas son claveles excepto dos y todas son margaritas excepto dos? 12. El rey le pregunto al segundo: ¿qué es lo que dijo él? Y el segundo replico:“el dijo que es un esclavo”. (recordar que el unicornio miente los jueves. llamándolos Dios 1. b) Este capítulo sólo tiene una oración verdadera. En una mitología hay tres dioses: el Dios de la Verdad siempre dice la verdad. Entonces Alicia supo que dia era. Un sacerdote hace una pregunta a cada dios. sin saber cuál es cuál. Este capítulo sólo tiene una oración verdadera. viernes y sabados y dice la verdad los otros dias) y este le dijo: “ayer menti” enseguida también dijo: “volveré a mentir dentro de tres dias”. Si suponemos que por lo menos una de ellas es verdadera ¿Cuál de ellas sería verdadera? a) Esta página sólo tiene una oración verdadera. 10. Esta página sólo tiene una oración verdadera. viernes y sabados y dice la verdad los otros dias) le dijo:“ayer fue uno de los dias que me tocaba mentir”. Con esta información. Existe un libro que en el primer párrafo de la primera página del primer capítulo dice: Este libro tiene sólo una oración verdadera. Cuantas flores tengo. martes y miercoles y dice la verdad los otros dias) le dijo:“ayer fue uno de los dias que me tocaba menti”. ¿Que se concluye con certeza? . y este le contesto: “si”. c) Dos. el Dios de la Mentira siempre miente. El rey le pregunta al primero: ¿qué eres tu. el sacerdote identificó a cada dios. Este párrafo sólo tiene una oración verdadera. Finalmente el rey le pregunto al tercer hombre si el segundo estaba diciendo la verdad. si todas son rosas excepto dos. Pregunta al Dios 2: ¿Qué Dios eres tú? Respuesta: Soy el Dios de la diplomacia. llegan ante el rey. ¿Cuál es cuál? 11. ¿Que dia era? 13. el Dios de la Diplomacia a veces miente y a veces dice la verdad. c) Este libro tiene sólo una oración verdadera. ¿Que dia era? 14. e) Todas son verdaderas.19 b) Uno y medio. Dios 2 y Dios 3: Pregunta al Dios 1: ¿Quién es el Dios 2? Respuesta: Es el Dios de la verdad. Tres hombres de los que solo se sabe que cada uno de ellos es o misionero o esclavo. esclavo o misionero? Este balbuceo algo que el rey no pudo oir pero los demas si.

Una vez que Juan está frente al profesor Gutiérrez. d) El segundo y tercero son esclavos. Llega el momento de la ejecución y sus verdugos le piden que hable y le manifiestan: Si dices una verdad. entonces sacaste 10. te mataremos en la horca. si y sólo si el doctor no salió a las 11 de casa de Sara o Carlos mató al mayordomo. éste le dice: No pasaste el curso. se da la situación siguiente que permite a un condenado librarse de ser ejecutado. En un pais donde la ejecución de un condenado a muerte solamente puede hacerse mediante la horca o la silla eléctrica. El preso hace entonces una afirmacion que deja a los verdugos tan perplejos que no pueden. pero el año próximo cumpliré 25. entonces sacaste 8. b) Los dos primeros son misioneros y el tercero es esclavo. ¿Qué calificación obtuvo Juan? 18. ACERTIJOS c) El primero es esclavo. 19. el segundo es misionero y el tercero es esclavo. y si mientes te mataremos en la silla eléctrica. En cierta ocasion le preguntaron a una joven que cuantos anos tenia. Descubre quién mató al mayordomo. Unas semanas después Juan se encuentra con el profesor Gutiérrez en un café y tienen una conversación. d) Algunos hombres siempre mienten. c) Seré electrocutado. . Carlos no mató al mayordomo o Federico lo mató. Si tu calificación es más de ocho. Si Luis no entró a casa de Sara. b) Siempre he sido honesto contigo. el alumno sabe que el maestro siempre dice mentiras y la escala de calificaciones va del 5 al 10.20 a) Los dos primeros son esclavos. matar al preso ni en la horca. c) Nunca te he mentido. ni en la silla electrica. Juan va a recoger su calificación final de lógica con el maestro Gutiérrez. ¿Que es lo que dijo el reo? a) Seré ahorcado y electrocutado. entonces: el doctor salió a las 11 de casa de Sara y. sin contradecirse. Ella respondió asi: anteayer tenia 22 años. Esto es posible. ¿Cuál de las siguientes oraciones no puede ser dicha por el profesor en dicha conversación? a) Es imposible que un hombre siempre mienta. CAPÍTULO 2. b) Seré ahorcado. Si no sacaste 8. Entonces. d) No seré ni ahorcado ni electrocutado. Benjamín mató al mayordomo o Ernesto vio al asesino. Luis no entró a casa de Sara y Ernesto no vio al asesino. ¿Cuantos años tenía cuando le preguntaron? a) 22 b) 23 c) 24 d) 25 16. Una vez que Juan escucho esto se fue tranquilo y prometió que su calificación sería más alta el próximo año. Benjamín mató al mayordomo. 17. 15.

Cada uno de los dueños bebe una bebida diferente. Tenemos las siguientes claves: El británico vive en la casa roja. c) Ernesto. d) Federico. ¿Que camino o caminos puede tomar Pepé?. entonces tampoco por el rojo. 21. es llamado el acertijo de Einstein.21 a) Luis y Carlos mataron al mayordomo. a) El rojo y el blanco. Pero el príncípe Abel no está junto a la princesa Paula. El danés toma té. fuma una marca de cigarrillos diferente y tiene una mascota diferente. c) El blanco y el azul. Mujer 1: No tomes el camino azul y tampoco el amarillo. Carlos y Federico mataron al mayordomo. 20. 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. La celda de la princesa Paula no está junto a la de Sir Kay. Felices por la caza. La casa verde esta a la izquierda de la blanca. Un ogro que pasaba. En cierta ocasión habían salido de caza. a quienes acompañaba como su sombra el ancianco Sir Kat. Abel. El dueño de la casa amarilla fuma Dunhill. Así. y los llevó a su guarida. d) El amarillo o el verde. lo dejo sin respuesta por que vale la pena resolverlo. . b) Del príncipe Abel. b) El verde y el rojo. El sueco tiene un perro. b) Carlos y el doctor mataron al mayordomo. Hombre 2: Si no te vas por el camino amarillo. ¿De quién es la celda vecina a la de este último?. Lo único que sabe es que se puede llegar por más de un camino y. Concluimos esta sección con un acertijo muy famoso que no ha sido incluído en los examenes de las olimpiadas. los hombre siempre dicen mentiras y las mujeres siempre dicen la verdad. c) De la princesa Paula. a) Del ogro. El dueño de la casa verde toma café. Tenemos 5 casas de cinco colores diferentes y en cada una de ellas vive una persona de una nacionalidad diferente. Pepé llega a un cruce de caminos y no sabe cuál debe tomar para llegar al pueblo más cercano. Paula y Benjamín eran los tres hijos del rey. en ese lugar. d) Del príncipe Benjamín. Los puso en cuatro celdas en hilera. Mujer 2: Toma el camino rojo si y sólo si tomas el blanco también. La persona que fuma Pall Mall tiene un pájaro. los hijos del rey se volvieron menos cuidadosos y vigilantes que de costumbre. Carlos y Benjamín mataron al mayordomo. Sabemos que: La celda en la que está prisionero el príncipe Abel está junto a la del príncipe Benjamín. los capturó con facilidad a ellos y a Sir Kay.

ACERTIJOS . El noruego vive en la primera casa. La persona que fuma Brends vive junto a la que tiene un gato. El que fuma Brends tiene un vecino que toma agua. Y por ultimo la pregunta: ¿Quién es el dueño del pececito? CAPÍTULO 2. El que fuma Bluemasters bebe cerveza. La persona que tiene un caballo vive junto a la que fuma Dunhill. El alemán fuma prince. El noruego vive junto a la casa azul.22 El que vive en la casa del centro toma leche.

Un día que Juan estaba encerrado en su habitación. 3. asi como el de implicación tautológica y deducción lógica. ¿Qué concluyó la mamá a partir de está información? a) Que Juan juega cartas. una gran cantidad de ellos aparecen en los exámenes. Todos los jueves del año hubo conciertos de rap y reguetón.Capítulo 3 ¿Qué se sigue? Este tipo de ejercicos son muy importantes. d) Que Juan juega cartas y no canicas. c) Algún cantante con pelo corto es indiscreto. 1. entonces todos los que tienen tatuajes son discretos. c) Cada 15 de septiembre hay concierto de mariachis aunque no sea martes o jueves. sin abrir la puerta respondió. -Juego cartas si y sólo si juego canicas. recordemos que el objetivo es resolver ejercicios a una buena velocidad. desde fuera le gritó: -¿Qué haces Juan?. 2. d) Algún mexicano no es discreto o todos lo son. b) Que Juan juega canicas. ¿que se sigue de lo anterior? a) El 15 de septiembre fue martes o hubo concierto de rap. se utilizarán casi indistintamente. ¿Qué se sigue de las siguientes premisas? Algún cantante de Rock es mexicano. por lo que la teoría ya se debe haber entendido. c) Que Juan no juega cartas ni canicas. este concepto se debe tener bien dominado. También los hubo algún martes. a) Algún no cantante de Rock es indiscreto. y cuando juego canicas no juego cartas. Todo cantante de Rock tiene tatuajes y tiene el cabello largo. b) Si un jueves del año no hubo concierto de mariachis. El 15 de septiembre hubo concierto de mariachis pero no fue jueves. Si alguien tiene el cabello largo. pero cuando juego cartas no juego canicas. hubo concierto de reguetón. La definición más importante de la lógica formal es la de implicación lógica. A lo que él. como se mencíonó en la introducción. su mamá. b) Algún mexicano es discreto o ninguno lo es. 23 . o de mariachis.

que aunque todos los cortesanos son caballeros no todos los caballeros andantes son cortesanos. y B : Algún hombre no ama a ninguna mujer. a) Alguno que no es cortesano es caballero andante. b) A implica a B y B no implica a A. Dado el siguiente conjunto de premisas: Todos los perros son verdes. El escritor argentino Adolfo Bioy Casares dijo: Toda fantasía es real para quien cree en ella. Si es verdad que: Todos le temen al diablo y el diablo sólo le teme a Dios. . Entonces. d) No es cierto que todas las vacas son no blancas. d) Si la alianza mexica no es real para Beatriz. la alianza zapoteca es real para César. b) Don Quijote es caballero pero no es cortesano. ¿que se sigue? a) Alguna vaca no es blanca. 7. CAPÍTULO 3. A partir de esa afirmación. la alianza zapoteca no es real para César. Considere la siguiente afirmación: Todas las alianzas son fantasías pero. suponiendo que existen hombres? a) Son equivalentes. b) Dios sólo le teme al diablo. ¿que se infiere de lo dicho por Adolfo Bioy Casares? a) La alianza mexica es real para Beatriz y la alianza zapoteca es real para César. ¿QUÉ SE SIGUE? 4. Si todos los perros son verdes entonces alguna vaca es blanca. d) El diablo es Dios. Neatriz cree en la alianza mexica o César cree en la alianza zapoteca. 5. 6. Dados los enunciados A: Ningún hombre ama a alguna mujer. c) Todos le temen a todos. ¿Que podemos afirmar con certeza de ellos.-dijo don Quijote. ¿qué se sigue? a) El diablo no le teme a Dios. b) La alianza mexica no es real para Beatriz o la alianza zapoteca no es real para César. d) A no implica a B y B no implica a A. c) La vaca Clarabella es blanca. Sancho hermano. ¿Cuál de las siguientes afirmaciones se sigue de lo que dice don Quijote? Haz de saber. b) No existen perros que sean verdes. c) B implica a A y A no implica a B. 8.24 d) Algún jueves del año no hubo concierto de rap. c) No es cierto que: si la alianza mexica es real para Beatriz. c) Es falso que: algún cortesano es caballero.

12. b) De todos los estudiantes yo soy el mejor. 14. o me siento contento. Pero si no me mojo. pero los que no son listos también lo aprueban. c) No veo a mis amigos Raúl y Sergio. d) Me siento contento. Ana y Pepé son mis amigos del alma. d) Héctor no es estudiante o aprueba el examen. me mojo. b) Si veo a mis amigos Raúl y Diana. d) Si no me inyectan o no me mojo. Luis es mi amigo en las redes sociales. ¿Qué NO se sigue del siguiente enunciado? Los marcianos no llegaron.25 d) Ninguno que sea caballero es cortesano. no me resfrió y tampoco me inyectan. ni no listo ni estudiante. o llegaron bailando Chachachá. y todos mis amigos en las redes sociales son mis amigos del alma. 11. a) Ningún estudiante es mejor que yo. b) Héctor aprueba el examen pero si es listo. c) Aunque me resfrío. pero es listo. c) Ana es mi amiga en las redes sociales y Pepé es mi amigo del alma. no llueve. ni me siento contento. Dadas las siguientes premisas ¿Qué se sigue? Es flaso que: si llueve. 9. a) Héctor aprueba el examen si es listo. c) Soy el mero mero de todos los estudiantes. c) Héctor no es listo. 13. ¿Qué NO se sigue del siguiente enunciado? Soy el mejor de todos los estudiantes. a) Llueve y me mojo. no me inyectan. si y sólo si veo a mis amigos Raúl y Héctor. d) Pepé es mi amigo en las redes sociales y Luis es mi amigo en la escuela. . ¿Qué se sigue del siguiente conjunto de premisas? Todos mis amigos de la escuela son mis amigos en las redes sociales. a) Luis. Héctor no aprueba el examen. ¿Qué se sigue a partir del siguiente enunciado? Me siento contento si veo a mi amigo Raúl. d) No es cierto que yo no sea el mejor de todos los estudiantes. b) Ana no es mi amiga en las redes sociales y Pepé sí. Ana es mi amiga del alma y Pepé es mi amigo en la escuela. 10. ¿Qué se sigue de las siguientes premisas? Los estudiantes listos aprueban el examen. a) Veo a mis amigos Raúl y Elvira. me siento contento. b) No me inyectan o nunca llueve.

c) La política no es útil o es aburrida. d) Existe un amigo de Laura que no conoce a Laura. pero no es Juan ni Raúl. b) Algún amigo de Laura conoce a otro amigo de Laura. Raúl no es culpable. 17. . d) La política no es fácil y es decepcionante. c) Algún secuaz de Pedro odia a Juan y es culpable. b) Algún secuaz de Pedro odia a todos y no es culpable. b) No es el caso que la política no sea útil. ¿Cuál de las siguientes oraciones NO se sigue de la oración “no es el caso que algunos hombres no sean inteligentes”. d) Algún hombre no es inteligente. c) Ningún hombre es no inteligente. Si la película “El cadáver de la novia” no gana el Oscar a la mejor película animada. los marcianos no llegaron. pero si Juan es culpable Raúl es secuaz de Pedro. 16. d) Si los marcianos no llegaron bailando Chachachá. ¿Cuál de los siguientes enunciados es consecuencia lógica de: Nadie conoce a todos los amigos de Laura? a) Laura conoce a todos sus amigos. 18. a) Alguien es culpable. llegaron bailando Chachachá. 15. ¿Qué se sigue de lo anterior? a) “El cadáver de la novia” no ganará el Oscar y se cometerá una injusticia. y no llegaron bailando Chachachá. c) Laura tiene un amigo al que no conoce. b) Algunos hombres son inteligentes.26 a) Si los marcianos llegaron. La política no es fácil ni útil. e) La política es fácil y útil. CAPÍTULO 3. b) Si hay injusticia. llegaron bailando Chachachá. se cometerá una injusticia. ¿Qué se sigue de las siguientes premisas? Juan es culpable o alguien le mintió a todos. ¿Qué se sigue de lo anterior? a) No es el caso que la política sea aburrida. Todos los secuaces de Pedor odian a Juan. Raúl es culpable. Si alguien le mintió a Raúl. ¿QUÉ SE SIGUE? b) Si los marcianos no llegaron. suponiendo que hay hombres ? a) Todos los hombres son inteligentes. c) No es cierto que: los marcianos llegaron. pero Juan a nadie odia. 19. d) Algún secuaz de Pedro es culpable y le mintió a todos. “El cadáver de la novia” no ganará el oscar a la mejor película animada.

En una reunión familiar platiqué con algunos de los familiares de Eutiquio. ¿Cual de las siguientes oraciones se sigue de la afirmación precedente? a) No es cierto que algunos animales son dignos de consideración moral. ¿Qué puedo decir acerca de la relación de ese hombre con Eutiquio? a) Era sobrino de Eutiquio. Todos los animales son dignos de consideración moral. e) Algunos lógicos no son muy despistados. b) Era tío de Eutiquio. b) Todos los seres dignos de consideración moral son animales. d) Algunos animales son moralmente considerables y otros animales no.27 c) O la película “El cadáver de la novia” no gana el Oscar a la mejor película animada. O el universo es infinito y existen infinidad de mundos como el nuestro. b) El universo es infinito. ¿Cuál de las siguientes afirmaciones se sigue de lo anterior? a) No todos los lógicos son muy despistados. e) No era tío de Eutiquio. todos los animales también. c) Ningún lógico es muy despistado. . el universo es finito. 22. “El cadáver de la novia” no ganará el oscar a la mejor película animada. b) No es cierto que todos los lógicos son muy despistados. ¿Qué se sigue lógicamente de lo anterior? a) Giordano Bruno estaba en un error. o Giordano Bruno estaba en un error.. 23. Todos los tíos de Eutiquio son médicos. o se cometerá una injusticia. 21. e) O la película “El cadáver de la novia” gana el Oscar a la mejor película animada. o se cometerá una injusticia. Algunos lógicos son muy despistados. Tuve una discusión interesante con un hombre inteligente que en el transcurso de la conversación me dijo que sólo había estudiado mecánica y que sólo se dedicaba a la mecánica. d) No es cierto que ningún lógico es muy despistado. e) Existen infinidad de mundos como el nuestro o Giordano Bruno estaba en un error. Eutiquio tiene muchos tíos. d) Era amigo de Eutiquio. 20. d) Si no hay injusticia. d) Si Giordano Bruno estaba en un error. c) El universo es infinito o existen infinidad de mundos como el nuestro. c) No era sobrino de Eutiquio. c) Si las plantas son moralmente considerables.

b) No existe un libro que no contiene lo que está escrito en la Biblia y no está en contra de ella. Todos los monguitos son pachones. a) El candidato fuerte gana la presidencia o expira antes de las elecciones. ¿Cual de las siguientes oraciones se sigue de las dos afirmaciones del Califa Omar. No existe un chicubus que no sea monguito. Ernesto no va. Pac es un monguito. . o están en contra de ella y entonces merecen el fuego” (Lichtenberg. Si Laura no va al cine. Y si no estoy en el trapecio. Si el candidato débil gana la presidencia el candidato fuerte se retira a su rancho. Dadas las siguientes premisas. en cuyo caso son superfluos. 27. ¿Qué está haciendo? a) Esta cabalgando. e) Todos los chicubus son pachones. c) Todos los chicubus son monguitos. Uno de los 7 magníficos afirma: Si no estoy cabalgando. c) Esta en el trapecio. Pac no es chicubus. d) José come palomitas. d) Ninguna de las anteriores. ¿Qué no se sigue lógicamente de lo anterior? a) Pac es pachon. Marco o Ernesto van al cine. 28. y no es cierto que Laura no va al cine. b) Laura y José van al cine. Se dice que cuando se quemó la Biblioteca de Alejandría. estoy en el trapecio. estoy de alambrista. el candidato débil gana la presidencia. c) Si Ernesto va al cine entonces Laura va al cine. Algunos monguitos son chicubus. e) Todos los anteriores excepto el inciso d). a) Ernesto no va al cine. 25. d) Todo libro merece el fuego. d) Existen chicubus que no son pachones.28 CAPÍTULO 3. José va al cine y come palomitas. ¿qué NO se sigue? Si José va al cine. Marco va al cine si y sólo si Laura va. tomando como verdadera la disyunción de los antecedentes de los condicionales implícitos en sus afirmaciones? a) La Biblia no es superflua. ¿QUÉ SE SIGUE? 24. el Califa Omar hizo el siguiente comentario: “O los libros contienen lo que está en la Biblia. b) Esta de alambrista. b) Algunos monguitos no son chicubus. Suponemos que sólo puede hacer una de esas tres actividades en un momento dado. c) Existe un libro que no contiene lo que está en la Biblia y no está en contra de ella. 26. 40). ¿Cuál es la conclusión del siguiente argumento? Si el candidato fuerte expira antes de las elecciones.

El cadáver de la novia"gana el Oscar a la mejor película animada. e) O la película .El cadáver de la novia"no ganará el Oscar a la mejor película animada.El cadáver de la novia"no gana el Oscar a la mejor película animada se cometerá una injusticia. b) Si Pepé llegó primero. Pepé y Pipo llegan (no necesariamente en ese orden) a comer a la taquería “El taco-Miento” donde hay dos reglas que siempre se cumplen: el de atrás paga y el que paga manda. a) Si Paco llegó al último.El cadáver de la novia"no ganará el Oscar a la mejor película animada. Pepé pagó los tacos. el último manda que pague Paco. d) El candidato débil gana la presidencia o el candidato fuerte se retira a su rancho. pierde la presidencia. b) Si hay injusticia. b) Si Alicia no está soñando. Pacó no pagó los tacos. ¿Quien pago los tacos?. d) Si Pinocho es de madera. c) Si Pipo llegó al último. c) O la película . Paco pagó los tacos. o se cometerá una injusticia. b) Pinocho es un niño de verdad o Stitch no nació en la Tierra.El cadáver de la novia"no gana el Oscar a la mejor película animada. c) Si el candidato fuerte expira antes de las elecciones. c) Si la Reina Roja no es real. entonces Alicia no está soñando. entonces Alicia está soñando. 29. Si la película . d) Si no hay injusticia. 32. Si la Reina Roja es real. Sin embargo. Paco. ¿Que se sigue de lo anterior? a) . No es el caso que: Pinocho es un niño de verdad o Stitch nació en la tierra. La oruga es sabia y el sombrerero no dice la verdad. d) Si Paco es el que manda. o se cometerá una injusticia. 30. 31. . Si el conejo dice mentiras.29 b) Si el candidato fuerte expira antes de las elecciones. . c) Si Stitch es el protagonista de una película de Disney entonces no nació en la Tierra. Alicia hace la siguiente pregunta a la oruga azul: ¿Estoy soñando o esto es real? L a oruga le contesta lo siguiente: El conejo dice mentiras o el sombrerero dice la verdad. .Dos de ellos dicen sucesivamente: el de atrás paga. e) Ni Pinocho es un niño de verdad ni Stitch nació en la Tierra. entonces Alicia no está soñando. se retira su rancho. ¿Cual de las siguientes afirmaciones no se sigue de lo anterior? a) Pinocho no es un niño de verdad. Pepé pagó los tacos. ¿Qué puede concluir Alicia a partir de estas premisas? a) Si nada es real. entonces la oruga azul no es real. entonces es un niño de verdad.El cadáver de la novia"no ganará el Oscar y se cometerá una injusticia. entonces el sombrerero dice la verdad.

35. Todos los que no on matemáticos son prácticos. . d) Algún alumno de primer curso no es un buen estudiante. 36. oigo música. me deprimo. ¿Qué enunciado se sigue validamente de ellos? a) Si hay algún alumno en el aula. b) Ningún buen estudiante es alumno del primer curso. Sin embargo. Si no hay luz. 37. a) Ningún matemático es práctico. ¿Qué podemos afirmar con certeza a partir de lo siguiente?En Pandora sucede que: Jake ama a Neytiri. c) Neytiri amama a Jake y él no la ama. b) Me deprimo o estoy triste. Considere los siguientes enunciados: Todos los que están en el aula son alumnos de primer curso. ¿Que se sigue de lo anterior? a) Pedro se vacuna y Pablo no se vacuna. Ningún matemático es médico. como. entonces algún alumno de primer curso no es buen estudiante. b) Algunos pero no todos se vacunan. 34. d) Pedro o Pablo tendrán gripe este año. Ningún buen estudiante está en el aula. si él la ama. Si no estoy triste. c) Todo buen estudiante es alumno de primer curso. d) No como o hay luz. si ella lo ama. d) Alguien es práctico o es matemático. ¿QUÉ SE SIGUE? 33. no oigo música. Si me deprimo. entonces Alicia no es real. b) Alguien es práctico aunque no es médico. c) Pedro y Pablo no tendrán gripe este año. b) Neytiri no ama a Jake y él la ama. CAPÍTULO 3. él no la ama. Hay alguien que es médico o no come queso. ¿Qué se sigue del siguiente conjunto de premisas? Todos los matemáticos comen queso. Pedro opina que si toda la gente se vacuna contra el bicho de la influenza nadie tendrá gripe este año y Pablo opina que si alguien no se vacuna contra el bicho de la influenza no habrá quien tenga gripe este año.30 d) Si la oruga es sabia. c) Alguien no es práctico y no es matemático. si ella no lo ama. a) Si hay luz. c) Me deprimo o como. a) Jake ama a Neytiri y ella lo ama. ¿Cual de las siguientes afirmaciones es una conclusión lógica del siguiente conjunto de premisas? Si estoy triste. Pero Jake no la ama. no como.

Luke se robó el rayo o Perci se robó el rayo. . ¿Cuál de las siguientes afirmaciones es una conclusión lógica del siguiente conjunto de premisas? Ningún invitado es deshonesto. c) Perci y Luke se robaron el rayo. Daniel se robó al gato. ¿Qué se sigue a partir de las siguientes premisas? Antonio se robó las joyas. si y sólo si. y si Antonio se robó las joyas. Laura lo es. 40. entonces no es cierto que: Annabeth sea hija de Atenea y Perci sea hijo de Poseidón. y Carlos no quitó las alarma o Ernesto se robó al perico. Bertha no quitó la alarma. a) Luke se robó el rayo. Antonio se robó las joyas.31 d) Jake no ama a Neytiri y ella no lo ama. y Perci es hijo de Poseidón. a) Antonio se robó las joyas y Bertha quitó la alarma. a) Si María es afortunada. ¿Qué se sigue del siguiente conjunto de premisas? Si Paula y María son afortunadas. c) Carlos no quitó la alarma y Antonio se robó las joyas. c) Algún invitado es deshonesto y no es de fiar. ¿Qué no se sigue de la proposición: R? a) R b) Q ∨ ¬ Q c) R ∧ Q d) T −→ R e) R ←→ R 41. b) Perci se robó el rayo y Luke bi se robó el rayo. Algún invitado es ladrón. Bertha o Carlos quitaron la alarma. b) Algún invitado es deshonesto y es de fiar. Si Luke se robó el rayo. a) Ningún invitado es de fiar. 39. ¿Qué se sigue del siguiente conjunto de premisas? Annabeth es hija de Atenea o Perci no es hijo de Poseidón. Laura no lo es. Paula es afortunada. Ningún lafrón o delincuente es de fiar. b) Daniel se robó al gato y Ernesto se robó al perico. y Carlos o Laura lo son. Ernesto lo es. d) Luke no se robó el rayo y Annabeth es hija de Atenea. c) Ernesto y Carlos son afortunados. d) Ernesto no se robó al perico y Daniel se robó al gato. 42. b) Si María es afortunada. Carlos es afortunado cuando y sólo cuando Ernesto lo es. 38. d) Paula y María son afortunadas.

c) Todos los estudiantes tienen habilidad para resolver problemas. ¿Cuál de las siguientes afirmaciones no se sigue lógicamente de lo anterior? a) Si la Mujer Maravilla preside la Liga de la Justicia. Si Batman es el más popular de los superhéroes. c) Si Superman ha muerto. Y Sara Connor no destruye a Skynet en 1994. Batman es el más popular de los superhéroes. e) Si Batman no es el más popular de los superhéroes. El fútbol es divertido. No todos los estudiantes no estudian la lógica. si John no nace. b) Existe algo que es enajenante. entonces Superman no ha muerto. Si Sara Connor destruye a Skynet en 1994. Superman no ha muerto. 44.32 d) Algún invitado no es deshonesto y no es de fiar. ¿QUÉ SE SIGUE? 43. Si Superman ha muerto. Todos los que son listos. d) No todos los estudiantes tienen habilidad para resolver problemas. para que el mismo John nazca. ¿que se sigue de lo anterior? a) Sara Connor no destruirá Skynet en 1994 b) No habrá Día del Juicio Final c) Se sigue cualquier cosa d) No se sigue nada 45. b) No existen estudiantes que tengan habilidad para resolver problemas. Todo lo enajenante limita nuestra libertad. 46. Si la Mujer Maravilla preside la Liga de la Justicia. c) No todo no es divertido. tienen habilidad para resolver problemas. entonces Superman ha muerto. d) No existe algo que limite nuestra libertad e) El fútbol es divertido o enajenante. Es condición necesaria que John Connor envíe a su padre a 1984. pero es enajenante. Todos los que estudian lógica tienen habilidad para resolver problemas. CAPÍTULO 3. e) Todos los estudiantes no tienen habilidad para resolver problemas . ¿Qué se sigue lógicamente de lo anterior? a) Existen estudiantes que tienen habilidad para resolver problemas. b) Superman no ha muerto si y sólo si Batman no es más popular de los superhéroes. John Connor no enviará su padre a 1984. Si no hay Día del Juicio Final. la Mujer Maravilla preside la Liga de la Justicia. entonces no habrá día del Juicio Final. d) Batman es el más popular de los superhéroes si y sólo si la Mujer Maravilla preside la Liga de la Justicia. ¿Cuál de las siguientes afirmaciones no se sigue de lo anterior? a) El fútbol limita nuestra libertad. Batman es el más popular de los superhéroes.

¿Qué se sigue de lo anterior? a) El número 5 pertenece a los enteros. ¿Qué se sigue de la proposición: P ∧ ¬Q? a) Q ∧ P b) ¬(P −→ Q) c) P −→ Q d) ¬Q −→ ¬P . 49. e) El número 5 no es irracional ni real. Los maestros de lógica son aquellos que aburren a todos los que no se aburren a si mismos y sólo a ellos. c) Si Stitch es el protagonista de una película de Disney entonces no nació en la tierra. b) El amor siempre te lleva a hacer cosas increíbles y buenas. 51. entonces es un niño de verdad. ¿Qué se sigue de lo anterior? a) El amor no te mueve. b) Hacen falta buenos maestros de lógica. 48. d) El número 5 no pertenece a los complejos ni a irracionales. b) Pinocho es un niño de verdad o Stitch no nació en la tierra. ¿Cuál de las siguientes afirmaciones no se sigue de lo anterior? a) Pinocho no es un niño de verdad.33 47. e) Ni Pinocho es un niño de verdad ni Stitch nació en la tierra. d) La lógica es aburrida. c) No existen cosas malas que el amor te lleve a hacer. El 5 es número que pertenece al conjunto de los números naturales. d) Si Pinocho es de madera. e) Alguien enseña lógica y aburre a todos. c) No existen maestros de lógica. e) El amor siempre te lleva a hacer cosas increíblemente malas. todos los números que pertenecen al conjunto de los números naturales pertenecen al conjunto de los números enteros y todos los números que pertenecen al conjunto de los números enteros pertenecen a los números reales. d) Existen cosas buenas que el amor te lleva a hacer. El amor te lleva a hacer cosas increíbles. b) El número 5 pertenece a los naturales. No es el caso que: Pinocho es un niño de verdad o Stitch nació en la tierra. ¿Qué puedes afirmar a partir de esto? a) Me aburre la lógica. pero no los reales. algunas de ellas buenas y otras malas. c) El número 5 pertenece a los reales y a los naturales. 50. pero no a los enteros.

Alguien que fue a partir la rosca no dijo la verdad. y alguien encontró al muñeco o alguien se lo comió. si en caso de pedir pastel de fresa entonces pido también pastel de higo. La sobrina mató a la condesa si el reloj del comedor fue atrasado a propósito. a) Nadie se comió al muñeco y nadie lo encontró. Manlito le contestó: Todo lo que has dicho es que pedirás alguno de los dos pasteles y tal vez los dos. si de las premisas se sigue que hay más de un asesino). El reloj del comedor fue atrasado a propósito y la condesa se acostó a las once.34 e) ¬Q −→ Q 52. c) Alguien compró la rosca y otro se comió al muñeco. b) Alguien se comió la rosca y no les dio a los demás. d) Mafalda no pedirá pastel. Si el perro ladró y si la condesa se acostó a las once. ¿QUÉ SE SIGUE? 53. . Ayer asesinaron a la condesa. e) Sherlock Holmes. ¿Qué no se sigue de la proposición: ¬P ∨ Q? a) ¬(P ∧ ¬Q) b) ¬(P ←→ ¬P ) c) ¬P −→ Q d) P −→ Q e) ¬Q −→ ¬P CAPÍTULO 3. ¿Qué se sigue de las siguientes premisas? Todos los que fueron a partir la rosca dijeron la verdad. a) La sobrina y el mayordomo asesinaron a la condesa. c) La sobrina y Sherlock Holmes asesinaron a la condesa. c) No tiene razón Manolito. Descubre quién es el asesino (o quiénes. Alguien compró la rosca o nadie encontró al muñeco. d) Alguien se comió al muñeco o nadie lo encontró. el mayordomo y la sobrina asesinaron a la condesa 55. el perro ladró. Si el mayordomo mató a la condesa. b) Sólo la sobrina mató a la condesa. si alguien compró la rosca. sólo hay cinco pistas. Si la sobrina mató a la condesa. 54. b) Tiene razón Manolito. entonces Sherlock Holmes asesinó a la condesa. el perro ladró. y dice: Pediré pastel de higo. alguien se comió al muñeco. Un día Mafalda estaba indecisa entre pedir pastel de fresa o pastel de higo. d) Sherlock Holmes y el mayordomo asesinaron a la condesa. o bien. ¿Que se sigue de lo anterior? a) Mafalda pedirá los dos pasteles.

hay varias técnicas para comprobar si un argumento es válido. no me aburro. a) Válido con premisas no contradictorias. 3. esto es completamente intuitivo. Si Luz María se alimenta bien. d) Inválido con premisas contradictorias. b) Inválido con premisas no contradictorias. ¿Que tipo de argumento es el siguiente? Si Luz María corre mañana. Luz María correrá mañana y su compañera Laura también. d) Inválido con premisas contradictorias. 1. a) Válido con premisas no contradictorias. se alimentará bien. en este parte también utilizaremos el teorema de la deducción. nuevamente dejaremos un poco la teoría para los cursos y haremos uso de todas las herramientas que manejamos. Mario es feliz. si no voy al cine. 35 . b) Inválido con premisas no contradictorias. Si alguien es feliz. Por tanto. d) Inválido con premisas contradictorias. Si voy al cine no voy al cine. todos son felices a) Válido con premisas no contradictorias. el cual nos dice que para deducir una implicación. Por tanto. entonces me aburro y no me aburro. ¿Que tipode argumento es el siguiente?. se sentirá bien. basta con añadir el antecedente a nuestras premisas y demostrar el consecuente. ¿Que tipode argumento es el siguiente?. todos son felices. b) Inválido con premisas no contradictorias. c) Válido con premisas contradictorias. Lua María no correrá mañana. c) Válido con premisas contradictorias. 2. Asi que. c) Válido con premisas contradictorias.Capítulo 4 ¿Argumento válido? La siguiente parte del trabajo muestra algunos ejercicios donde hay que comprobar la validez o invalidez de un argumento. Luz María se sentirá bien cuando y sólo cuando su compañera Laura no corra mañana.

¿Cómo es este argumento? a) Válido con premisas contradictorias. d) Argumento inválido con premisas contradictorias 6. Ningún venusiano es terrícola. no todos los que han tenido broncas con el FBI le temen a la migra. Charles Chaplín es divertido. Pero esta afirmación era falsa. b) Inválido con premisas contradictorias. ¿Que tipo de argumento es el siguiente? Apolo afirmaba que conocía a todos los dioses. d) Flacia informal. c) Argumento válido con premisas contradictorias. 8. ninguna cosas con sanger verde es terrícola. c) Válido con premisas no contradictorias. c) Falacia formal. Por lo tanto. Luego . Asi que algún dios conoce a Apolo sin que Apolo lo conozca. c) Inválido con premisas contradictorias. Así que. Ningún terrícola tiene sangre verde. d) Inválido con premisas no contradictorias.36 CAPÍTULO 4. todos los dioses lo conocían a él. a) Argumento válido con premisas no contradictorias. b) Argumento inválido con premisas no contradictorias. d) Inválido con premisas no contradictorias. 5. a) Válido con premisas contradictorias. . d) Inválido con premisas no contradictorias. 7. Algún amigo de Mario no es amigo de Rosa. Por lo tanto. Nadie divertido y científico es inteligente. Charles Chaplín no es inteligente o no es científico. a) Válido con premisas no contradictorias. ¿Cómo es el siguiente argumento? Nadie inteligente y divertido es científico. Algunos reyes del tomate han tenido broncas con el FBI. algún amigo de Rosa no tiene hermanos. Sin embargo. ¿Cómo es el siguiente argumento? Ningún rey del tomate le teme a la migra. ¿ARGUMENTO VÁLIDO? 4. a) Argumento válido. b) Válido con premisas no contraditorias. c) Inválido con premisas contradictorias. b) Argumento inválido. ¿Que tipo de argumento es el siguiente? Todos los amigos de Mario tienen un hermano. b) Válido con premisas contradictorias.

d) Inválido con premisas no contradictorias. e) Argumento verdadero. c) Falacia formal. El personaje animado Bob Esponja es amigo de Patricio. Todos los bohemios son científicos. d) Falacia informal. Carlos no es profesional. d) Es una falacia informal. e) Es un argumento válido con premisas contradictorias. Por lo tanto. ¿Qué se puede decir sobre el argumento anterior? a) No es un argumento. c) Es un argumento inválido. b) Válido con premisas no contradictorias. América fue descubierta antes de 1500. ¿Qué tipo de razonamiento es éste? a) Argumento válido. Por tanto. El lado oscuro de la fuerza lo sedujo. Bob Esponja es el peor programa de caricaturas transmitido actualmente.37 9. el peor programa de caricaturas transmitido actualmente es amigo de Patricio. d) Es un argumento inválido con premisas no contradictorias. 12. ¿Qué tipo de argumento es el anterior? a) Argumento válido. tuvo dos hijos. . es bohemio. Por lo tanto. e) Es un argumento válido. Por lo tanto. Napoleón murió antes de 1500.. Nadie descubre cosas después de muerto. ¿Qué clase de argumento es éste? a) Es un argumento válido con premisas no contradictorias. a) Válido con premisas contradictorias. b) Es un argumento inválido con premisas contradictorias. c) Falacia formal. 10. 13. Por lo tanto. Algún turiboso es arcate. Todos los humanistas o los científicos son profesionales. 11. Napoleón descubrió América. b) Argumento falso. c) Inválido con premisas contradictorias. b) Argumento inválido. Carlos no es humanista. c) Es un argumento no deductivo porque tiene algunas premisas falsas. algún turiboso es simorfo. b) Es un argumento falso. Si Carlos no es profesional. (¿Argumento válido? 1) Anakin Skywalker tuvo dos hijos o el lado oscuro de la fuerza lo sedujo. ¿Qué tipo de argumento es el siguiente? Todo arcate es simorfo.

escucha y concede las peticiones de los malvados. b) Es contradictorio. 18. por lo tanto. Por lo tanto algunos principiantes no son expertos. Ningún principiante domina la materia.38 d) Argumento falso. no escucha ni concede las peticiones de los malvados. 16. Ningún principiante domina la materia. c) Inválido con premisas contradictorias. a) Es inválido. a) Es inválido. ¿Cómo es el siguiente argumento? TE quiero. Por lo tanto quiero a todos y nadie me quiere. CAPÍTULO 4. 15. b) Inválido con premisas no contradictorias. a) Válido con premisas contradictorias. b) Válido con premisas no contradictorias. me quieren. b) Inválido con premisas no contradictorias. “No es el caso que si Dios no existe. b) Es contradictorio. d) Es válido con premisas contradictorias y conclusión verdadera. Pero si me quieres no te quiero. c) Inválido con premisas contradictorias. 17. “No es el caso que si Dios existe. Por lo tanto. ¿Que tipo de argumento es el anterior? a) Válido con premisas contradictorias. Todos los que yo quiero. ¿ARGUMENTO VÁLIDO? 14. c) Es válido. d) Es válido con premisas falsas y conclusión verdadera. algunos expertos no son principiantes. Dios no existe”. ¿Que tipo de argumento es el siguiente? Algunos expertos dominan la materia. d) Válido con premisas no contradictorias. e) Argumento inductivo. c) Es válido. d) Válido con premisas no contradictorias. . luego Dios no existe”. c) Inválido con premisas contradictorias. ¿Que tipo de argumento es el anterior? a) Válido con premisas contradictorias. ¿Que tipo de argumento es el siguiente? Algunos expertos dominan la materia. d) Inválido con premisas no contradictorias.

Por tanto. c) Válido con premisas contradictorias. Voy al teatro. d) Inválido con premisas contradictorias. todo el que conoce a Carlos conoce a alguien madrugador. 20. Ana es malabarista. c) Válido con premisas contradictorias. no voy a tu casa. b) Inválido con premisas no contradictorias. c) Es inválido con premisas contradictorias. a) Válido con premisas no contradictorias. b) Inválido con premisas contradictorias. b) Inválido con premisas contradictorias. ¿Cómo es el siguiente argumento? Todo el que conoce a Carlos conoce a algún vegetariano. ¿Que tipode argumento es el siguiente?. llego tarde a mi casa. Todo anfibio es mamífero. 22. d) Inválido con premisas no contradictorias. 24.39 19. ¿Como es el siguiente argumento? Los actores y los cantantes son altivos o presumidos. Todo escritor es cantante. a) Válido con premisas no contradictorias. Ana conoce a todos los amigos de Pablo y conoce a Pablo. Algún escritor no es presumido. Ningún perro es mamífero. d) Inválido con premisas no contradictorias. ¿Como es el siguiente argumento? Ningún amigo de Ana conoce a Pablo. Ningún no anfibio es sapo. Por tanto. ¿Como es el siguiente argumento? Si tomo veneno para marcianos moriré. Voy a tu casa y voy al cine. Algún perro es sapo. por lo tanto si tomo veneno para marcianos y uno de ellos me hace beber el antídoto. c) Válido con premisas no contradictorias. No hay vegetarianos que no sea madrugadores. Por tanto. b) Es inválido con premisas no contradictorias. 23. . Por tanto. Todos los amigos de Pablo son malabaristas. b) Inválido con premisas contradictorias. d) Inválido con premisas no contradictorias. a) Válido con premisas contradictorias. algún escritor es altivo. Por tanto. c) Válido con premisas contradictorias. ¿Como es el siguiente argumento? Si voy al cine o al teatro. a) Válido con premisas no contradictorias. moriré. 21. ningún mamífero es perro. o bien si voy a ti casa llego tarde a mi casa. d) Es válido con premisas contradictorias. a) Es válido con premisas no contradictorias.

¿qué se puede decir sobre el argumento anterior? a) Es un argumento válido con premisas falsas. Hoy veo a Martha y a José. ¿Como es el siguiente argumento? Si hoy es lunes. a) Válido con premisas contradictorias. Si hoy es lunes. Considere el siguiente argumento CAPÍTULO 4. Dado que es el año 2006. c) Es un argumento inválido con premisas falsas. enotnces si veo a Martha le pido mi libro. 27. d) Inválido con premisas no contradictorias. b) Inválido con premisas contradictorias. c) Argumento válido con premisas contradictorias. b) Argumento inválido con premisas no contradictorias. . d) Falacia formal. ¿ARGUMENTO VÁLIDO? M −→ ¬H M −→ ¬J M −→ ¬G P −→ (H ∨ J ∨ G) P ∨M ∴ ¬(P ←→ M ) ¿Qué tipo de argumento es el anterior? a) Argumento válido con premisas no contradictorias. Por lo tanto ni estamos en un país de Europa ni es el año 2006.40 a) Válido con premisas no contradictorias. b) Inválido con premisas no contradictorias. c) Válido con premisas contradictorias. mañana es martes. b) Es un argumento verdadero con premisas falsas. d) Es un argumento inválido con premisas verdaderas. c) Válido con premisas consistentes. d) Falacia formal. Asi que. pero no estamos en ningún país de Europa. si hoy es lunes. le pido mi libro a Martha y mañana será martes. Es falso que: estamos en el año 2006 ó estamos en algún país de Europa. e) Es un argumento inválido de cuyas premisas no se sigue necesariamente la conclusión. 26. 25.

d) Inválido con premisas contradictorias. si Ana tiene tiempo entonces irá a desayunar. a) Válido con premisas contradictorias. Algunos países que tienen armas nucleras se comprometen al desarme nuclear y algunos países que tienen armas nucleares no se comprometen. b) Es un argumento válido con premisas no contradictorias. Ernesto no se enojará. Por lo tanto. 30. ¿que se puededecir sobre el argumento anterior? a) Es un argumento válido con premisas contradictorias. d) Inválido con premisas no contraditorias. si Juan va a correr entonces Ana va a correr. Todos los países comprometidos con el desarme nuclear y que tienen armas nucleares destruirán sus armas. ¿Cómo es el siguiente argumento? Ana irá a desayunar. 29. a) Válido con premisas contradictorias. b) Inválido con premisas contradictorias. c) Válido con premisas no contradictorias.Dado que es el año 2006. Es falso que: estamos en el año 2006 ó estamos en algún país de Europa. Ana no irá a desayunar.41 28. Por tanto. Todos los países que destruirán sus armas nucleares. Si Ana va a correr llegará a su casa a las 10 am. Por lo tanto ni estamos en una país de Europa ni es el año 2006. están comprometidos con el desarme nuclear. Ana llegará a su casa a las 10 am. lo cual implica que Ernesto se enojará. c) Es un argumento inválido con premisas contradictorias d) Es un argumento inválido con premisas no contradictorias . Si Juan va a correr. pero no estamos en nigún país de Europa. o bien. Ana no tiene tiempo. sin embargo. c) Válido con premisas no contradictorias. ¿Cómo es el siguiente argumento? Algunos países que se comprometen al desarme nuclar no tienen armas nucleares. b) Inválido con premisas contradictorias. algunos países tienen armas nucleares y no las destruirán. o bien.

42 CAPÍTULO 4. ¿ARGUMENTO VÁLIDO? .

c) Algunos amigos de Juan no son mujeres.Capítulo 5 ¿Qué agregas Para estos ejercicios usaremos las técnicas del capítuolo anterior. 2. 1. 4. b) Algún pingüino no usa lentes. Dado el siguiente conjunto de premisas: Si no veo hoy a Jorge. el nivel de dificultad es más alto. 3. si no usa lentes lleva bigote. Por lo tanto. y es más difíl establecer un método. no es el caso que ningún pingüino lleva bigote. no veo hoy a Juan. Dado el siguiente conjunto de premisas: Todos los amigos de Juan son amigos de Lucy ¿Qué premisa se debe añadir para que se siga válidamente 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. excepto las avestruces vuelan” ¿qué premisa hay que agregar para que se siga el siguiente enunciado? “Los pingüinos vuelan” a) Los pingüinos son aves. b) Los pingüinos no son aves. d) Todo simpático es pingüino pero no usa lentes. ¿que premisa hay que añadir para que se siga válidamente el enunciado “No veo hoy a Susana”? 43 . d) Algunos amigos de Juan son mujeres. d) Los pingüinos no son aves y no son avestruces. c) Algún pingüino no lleva bigote. Si es verdad que: “Todas las aves. lo recomendable es dominar los ejercicios del capítulo anterior antes de abordar estos. no veo hoy a Susana. . a) Ningún pingüino usa lentes. Si no veo hoy a Juan. c) Los pingüinos son aves y no son avestruces. ¿Que premisa hay que agregar para hacer válido el siguiente argumento? No hay pingüino que no sea simpático. Todo lo que es simpático.

44 a) Veo hoy a Juan o a Susana. d) Ni otro competidor fue descalificado ni obtuviste más aciertos que todos los demás competidores e) No es el caso que: no ganes la olimpiada u otro competidor sea descalificado. . el aborto volverá a ser un crimen en la ciudad de México. 7. aunque me quieres” . d) No veo hoy a Jorge. pero alguien fue descalificado. c) Veo hoy a Juan. ¿Qué premisa hay que agregar a lo anterior para que se siga Tuviste más aciertos que todos los demás competidores? a) No ganaste la Olimpiada de Lógica. ¿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. d) El aborto es considerado moralmente reprobable por algunas personas. Si la Suprema Corte de Justicia de la Nación rechaza la ley de despenalización del aborto. 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. me quieren. b) Ganaste la Olimpiada de Lógica y otro participante fue descalificado. ¿QUÉ AGREGAS 5. c) La Suprema Corte de Justicia de la Nación rechaza la ley de despenalización del aborto. existe un crimen en la ciudad de México que no es considerado moralmente reprobable por algunas personas. El aborto no es considerado un acto moralmente reprobable por algunas personas. Por lo tanto. Dada la siguiente premisa. CAPÍTULO 5. b) El aborto no es un crimen en la ciudad de México. 8. 6. “Todos a quienes yo quiero. ¿Que premisa hay que incluir para hacer válido el argumento anterior? a) La Suprema Corte de Justicia de la Nación no rechaza la ley de despenalización del aborto. b) Anuncian tormenta en el Desierto del Sahara. d) No anuncian lluvia ni tormenta en el Desierto del los Leones. b) Veo hoy a Jorge y a Juan. c) Anuncian lluvia pero también anuncian una tormenta en el Desierto del Sahara. c) Ganaste la Olimpiada de Lógica y no tuviste más aciertos que todos los demás competidores. Si ganas la Olimpiada de Lógica entonces tuviste más aciertos que todos los demás competidores u otro participante fue descalificado.” ¿Que premisa hay que añadir para que se siga válidamente el siguiente enunciado? “No me quieres.

Si voy al cine. Estudio en la UAM. ¿Qué premisa hay que añadir para hacer válido a este argumento? a) Si estudio en la UAM. ¿Qué premisa hay que agregar para que resulte válido el siguiente argumento? Si los centauros y los unicornios existen. e) No es el caso que no estudio en la UNAM. no llego a casa. 12. Por lo tanto. los centauros no existen. b) No me quieres o no te quiero. c) Si no voy al teatro. me aceptan en la UAM y tengo dinero para los pasajes. c) Tú me queres y yo te quiero. los cíclopes existen. ¿Que premisa hay que añadir para concluir válidamente el enunciado “Algunos de mis amigos tienen gastritis”? a) Todos mis amigos tienen gastritis. El ave fénix existe y el minotauro existe. b) Voy al cine o al teatro. o bien. d) No todos mis amigos comen tortas ahogadas. si el ave fénix existe entonces los unicornios existen. si y sólo si. d) Si voy al teatro. 11. El ave fénix no existe. los cíclopes existen. no voy al cine o no llego a casa. entonces estudio en la UAM. entonces no estudio en la UNAM. 13. 10. me aceptan en la UAM. _ _ _ _ _ _ _ . a) Si el ave fénix no existe. Me aceptan en la UAM o no me aceptan en la UNAM. entonces los cíclopes existen. . llego tarde a casa. a) Llego tarde a casa o no llego a casa. Dada la siguiente premisa: Todos mis amigos que no tienen gastritis comen tortas ahogadas. b) El minotauro no existe o los centauros no existen. No llego tarde a casa o voy al teatro. c) Si tengo dinero para los pasajes. no llego a casa. Por lo tanto. d) Si el minotauro no existe.45 a) Yo te quiero aunque tu no me quieras. Por tanto. c) El minotauro no existe o los centauros existen. d) Estudio en la UAM o me aceptan en la UNAM. b) No me aceptan en la UAM y no estudio en la UAM. c) Algunos que comen tortas ahogadas no son mis amigos. d) Te quiero aunque me pegues. . b) Algunos de mis amigos comen tortas ahogadas. ¿Que premisa debería de añadirse al argumento siguiente para hacerlo válido?.

Luego. c) No todas las bacterias son microscópicas. Considera el siguiente argumento: Todos los microbios son microscópicos. ¿QUÉ AGREGAS 14. excepto uno. alguna bacteria no es microbio. ¿Cuál es? a) Algunas bacterias no son microscópicas. . Cada uno de los siguientes enunciados produce un argumento válido cuando se añade como premisa al argumento anterior.46 CAPÍTULO 5. d) No es cierto que todas las bacterias son microscópicas. b) No es cierto que todas las bacterias no son microscópicas.

Cxy : x compró y. estos ejercicios son el punto fuerte de los estudiantes de La Facultad de Ciencias. Cx: x confía en su hermosura. 1. podemos aprovechar esa “ventaja” y pulir esas habilidades. Dx : x es un da. ¿Cuál es la mejor simbolización para “Cada día el alumno llega tarde”. el lenguaje de la lógica de primer orden se imparte en todos los salones de clase inconscientemente. ¿Cuál es la simbolización más adecuada para el siguiente enunciado? Anastasia compró al menos dos perritos.Capítulo 6 Simbolizaciones y traducciones. P x: x es píldora. es decir. Donde: M x: x es mexicano. Desde mi punto de vista. V x: x se viste de amarillo. P x: x es perrito. ¿Cuál es la simbolización más adecuada para el siguiente enunciado? Ningún mexicano que tenga buena salud necesita tomar píldoras. en nuestra formación. Donde: a: Anastasia. sin embargo. 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) ∀x∀y [(P y ∧ M x) −→ (Bx ∧ ¬N xy )] 4. en su hermosura confía? Donde: P x: x es persona. el nivel de dificultad de estos ejercicios es alto. 47 . 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. dado el siguiente vocabulario: Ax : x es alumno. no por eso debemos confiarnos. se tiende mucho a usar símbolos para facilitar la escritura. ¿cual es la simbolización mas adecuaa para : El que de amarillo se viste. 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. al contrario. Bx: x tiene buena salud.

a) Válido con premisas contradictorias. Cxy : x cruza y. d) Inválido con premisas no contraditorias. Todos los que son impacientes pero no son microbuseros. Axy : x ama a y .48 CAPÍTULO 6. Juan es impaciente pero no es malencarado. Oxy : x odia a y. 7. ¿Cuál simbolización expresa mejor la siguiente afirmación? Algunos fisicoculturistas no se aman a si mismos mientras que los políticos se odian entre sí. b) Válido con premisas no contradictorias. Donde: F x: x es fisicoculturista. Por tanto. c) Inválido con premisas contradictorias. En una ciudad ideal sucede que: El peatón que cruza una vialidad no se distrae con nada. Oxx: x odia a x. P x: x es político. a) ∃x[(P x ∧ Cax)] ∧ [∃y (P y ∧ Cay )] b) ∃x∃y [(Cax ∧ Cay ) −→ (P x ∧ P y ∧ x = y )] c) ∃x∃y [(Cax ∧ Cay ) ←→ (P x ∧ P y ∧ x = y )] d) ∃x∃y [(Cax ∧ Cay ) ∧ (P x ∧ P y ∧ x = y )] 5. Juan no es microbusero. . b) Algunas mujeres se odian cuando es el caso que todos los hombres se aman. son malencarados. V x: x es una vialidad. 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. d) Algunas mujeres no se aman a sí mismas mientras que los hombres se odia a sí. a) ∀x∀y ∀z [(P z ∧ V x ∧ Czx) −→ Dzy ] b) ∀x∀z [(P z ∨ V x ∨ Czx) −→ ¬∃yDzy ] c) ∀x∀z [(P z ∧ ∃yDzy ∧ V x) −→ ¬Czx] d) ∀x∀y ∀z [(P z ∧ V x) −→ (Czx ∨ Dzy )] 6. ¿Cuál es la simbolización más adecuada para el siguiente enunciado? Todos los microbuseros son impacientes. ¿cuál es la simbolización para el enunciado anterior? Donde: P x: x es peatón. ¿Cuál de las siguientes opciones expresa mejor la siguiente fórmula? ∀y (¬Hy ∨ Oyy ) −→ ∃x(M x ∧ ¬Axx) Donde: Hx x es hombre. a) Algunos hombres aman a toda mujer que se odia a sí misma. Dxy : x se distrae con y. M x x es mujer. c) Algunas mujeres no se aman a sí mismas si todo hombre se odia a sí mismo. SIMBOLIZACIONES Y TRADUCCIONES.

49 9. ¿Cuál es la mejor simbolización para el siguiente enunciado? Toda montaña de México es más alta que todas las montañas de Sudamérica. Donde: M x: x es montaña; Exy : x está en y ; Axy : x es más alta que y ; m: México; s: Sudamérica. 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. ¿Cuál es la mejor traducción 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 simbolización más adecuada para la siguiente oración: Asunción 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 científicos o filósofos o escritores. ¿cuál es la simbolización más perspicua para la oración 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. ¿Cuál 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, sólo dos son honestos. b) Únicamente dos lógicos, leen a García Márquez. c) Por lo menos dos estudiantes obtuvieron los mismos aciertos que el ganador del año pasado. d) Únicamente dos de nuestros enemigos se enfrentaron al Dr. Octopus. e) Exclusivamente dos secretarias vieron al mensajero.

50

CAPÍTULO 6. SIMBOLIZACIONES Y TRADUCCIONES.

14. Dos rectas paralelas nunca se tocan. ¿Cuál de las siguientes es la simbolización que refleja más claramente la forma lógica 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. ¿Cuál es la simbolización más 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 r∨t 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 ∴p∨r

16. ¿Cuál de las siguientes simbolizaciones es la más perspicua para la siguiente afirmación? 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. ¿Cuál es la simbolización más perspicua del enunciado: Todos los que aman a alguien son felices? a) ∀x∃y [A(x, y ) −→ F (x)] b) ∀x[∃yA(x, y ) −→ F (x)] c) [∀x∃yA(x, y )] −→ [∀xF (x)] d) ∀x∀y [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 simbolización más adecuada para esta oración 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. ¿Cuál es la simbolización más adecuada para el siguiente enunciado? Un niño pequeño depende de sus padres. Donde:N x: x es un niño; P x: x es pequeño; 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. ¿Cuál es la mejor simbolización para el siguiente enunciado? Arturo es al menos tan alto como Raúl. Donde: M xy :x rd más alto que y ; Ixy : x es igual de alto que y ; a: Arturo; r: Raúl. a) M ar ∨ ¬M ar b) M ar ∧ Iar c) M ar ∨ M ra d) M ar ∨ Iar 21. (esto no es primer orden) ¿Cuál es la simbolización más adecuada para el siguiente enunciado? Si me gano los pronósticos 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. ¿Cuál es la mejor simbolización 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. ¿Cuál es la mejor simbolización para el siguiente enunciado? Todos los delfines son amigos de los sapos, pero no todos los sapos son amigos de los delfines. Donde: Dx: x es delfín; Sx: x es sapo; Axy : x es amigo de y. a) ∀x∀y [(Dx ∧ Sy ) −→ Axy ] ∧ ∃y ∃x[Sx ∧ Dy ∧ ¬Axy ] b) ∀x∀y [(Dx ∧ Sy ) −→ Axy ] ∧ ∃y ∃x[Sx ∧ Dx ∧ ¬Axy ] c) ∀x∀y [(Dx ∧ Sy ) −→ Axy ] ∧ ¬∃y ∃x[Sx ∧ Dy ∧ Axy ] d) ∀x∀y [(Dx ∧ Sy ) −→ Ayx] ∧ ∃y ∃x[Sx ∧ Dy ∧ Axy ]

En un pueblo mágico había un antiguo letrero que decía: El que tenga perro que lo amarre. a) ∀x[(P x −→ Ex) −→ Sx)] b) [(Sx ∧ P x) −→ Ex] c) ∀x[P x −→ (Ex ∨ ¬Sx)] d) ¬∃x¬[(¬Ex −→ ¬Sx) ∨ ¬P x] 27. En una isla habitada por un grupo de ingleses. ¿Cual de las siguientes simbolizaciones NO corresponde al enunciado “Todos los pingüinos son elegantes si llevan sombrero”? Donde: P x: x es pingüino. Donde: Ix: x es inglés. P x: x está en peligro. ¿Cual es la simbolización mas adecuada para: Todos los arrecifes de coral están en peligro y nadie ayuda a conservarlos? Donde Ax: x es arrecife de coral. Hx: x es persona. Ex: x es elegante.52 CAPÍTULO 6. Sxy : x es socio de y. P y : y es perro. ¿Cuál enunciado simboliza la siguiente afirmación? Cada inglés es socio de al menos dos clubes. a) ∀x[(Ax ∧ P x) −→ ∀y (Hy −→ ¬Cyx)] . que no. a) ∀x∀y [(T xy ∧ P y ) −→ (Axy ∨ ¬Axy )] b) ∀x∀y [(T xy ∧ Axy ) −→ P y ] ∧ ∀x∀y [(T xy ∧ ¬Axy )¬P y ] c) ∀x∀y [((T xy ∧ P y ) −→ Axy ) ∧ (Axy −→ (T xy ∧ P y ))] d) ∀x∀y [(T xy ∧ P y ) −→ Axy ] ∧ ∀x∀y [(¬T xy ∧ P y ) −→ ¬Axy ] 26. funcionan tres clubes. ¿Cual de las siguientes simbolizaciones correspone al enunciado “Todos los pingüinos 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. ¿Cuál enunciado expresa el letrero del pueblo? Donde: T xy : x tiene a y. Sx: x lleva sombrero. Cx: x es un club. Cxy : x ayuda a conservar y. 24. Axy : x amarra a y. SIMBOLIZACIONES Y TRADUCCIONES. y el que no. a) ∃x∃y ∃z [Ix ∧ Cy ∧ Cz ∧ Sxy ∧ Sxz ∧ y = z ] b) ∀x[Ix −→ ∃x∃z (Cy ∧ Cz ∧ Sxy ∧ Sxz ∧ y = z )] c) ∀x∃y ∃z [Ix −→ (Cy ∧ Cz ∧ y = z ∧ (Sxy ∨ Sxz ))] d) ∀x∀y ∀z [(Ix ∧ Cy ∧ Cz ) −→ (Sxy ∧ Sxz ∧ y = z )] 25.

a) ∃xLxj ∧ ∀x¬Lxj b) ∀xLjx ∧ ∀x¬Ljx c) ∀x¬Lxj ∧ ∀xLjx d) ∀xLxj ∧ ∀x¬Ljx 30. si no ha aprobado todas sus materias. tomando un dominio irrestricto? a) ∀x∀y [(Ex ∧ P yx) ←→ (Rxy ∧ M yx)] b) ∀x∀y {[Ex ∨ P yx ∨ Ryx)] −→ (M xy )} c) ∀x∀y {[Ex ∧ (P yx ∧ Ryx)] ←→ (M xy )} d) ∀x∀y [(Ex ∧ P yx) −→ (Rxy ∧ M yx)] e) ∀x∀y {[Ex ∧ (P yx ∧ Ryx)] −→ (M xy )} 32. ¿Cual es la simbolización adecuada para la oración anterior? (Utilice el siguiente vocabulario: P x : x es P ersona. 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. Todos los estudiantes molestan a sus profesores cuando éstos los reprueban. ¿Cual es la simbolización más adecuada para la oración anterior? (Utilice el siguiente vocabulario: Lxy : x le da dinero a Y. ¿Cuál es la simbolización más perspicua para la oración anterior. pero no todos los políticos lo son? a) ¬(∃x)(P(x) ∧¬I(x)) ∧(∃x)(E(x) ∧ I(x)) b) (∀x)(P(x) −→ I(x)) ∧(∀x)(E(x) −→ ¬I(x)) .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. j : Juan). Todos le dan dinero a Juan. 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. M x : x es materia. ¿Cuál de las siguientes simbolizaciones es la más perspicua para: Los estudiantes son listos. ¿Cuál es la simbolización más adecuada para la negación lógica del siquiente enunciado: Todos admiran a aquel que logra algo? (Utiliza el siguiente vocabulario: P x : x es persona. Nadie se recibe de doctor. Lxy : x logra y. pero Juan no le da dinero a nadie. Dx : x se recibe de doctor.

P x: x es un puerto. En el Estado de México habrá elecciones. a) ¬Q −→ P b) ¬P −→ ¬Q c) P −→ ¬Q d) Q −→ P e) ¬Q −→ ¬P 36. a) ∃x∃y ∃z [Cx ∧ Cy ∧ Cz ] ∧ ¬∃wCw b) ∃x∃y ∃z [Cx ∧ Cy ∧ Cz ∧ ∀w(w = x ∨ w = y ∨ w = z )] c) ∃x∃y ∃z [(Cx ∧ Cy ∧ Cz ) −→ ∀w(Cw −→ (w = x ∨ w = y ∨ w = z ))] d) ∃x∃y ∃z [∀w(Cw −→ (w = x ∨ w = y ∨ w = z )) ∧ Cx ∧ Cy ∧ Cz ] 37. No existe un conjunto al que le pertenezcan todos los conjuntos. ¿Cuál es la mejor simbolización para el siguiente enunciado? Todos los marineros tienen una mujer en cada puerto. ¿Cuál simbolización expresa mejos la siguiente afirmación? Cualesquiera dos clubes tienen un socio en común. ¿Cuál es la simbolización que refleja más claramente la forma lógica de lo anterior? Dominio: los conjuntos. T xy : x tiene a y. a) ∃x∃y ∃z [x = y ∧ Cx ∧ Cy ∧ Szx ∧ Szy ] . Exy : x está en el puerto y .y) b) ¬∃ x ∀ y P(x.x) d) ¬∀ x ∃ y P(y. No ganaré la Olimpiada. funcionan tres clubes. Donde: Cx: x es un club.x) e) ¬∀ x ∀ y P(x.y) c) ¬∃ x ∀ y P(y.54 CAPÍTULO 6.y): x pertenece a y a) ¬∀ x ∃ y P(x. ¿Cuál es la simbolización que refleja más claramente la forma lógica de la afirmación anterior? Vocabulario: P: ganaré la Olimpiada. Donde: Cx: x es un candidato. Jx: x es una mujer. Donde: M x: x es marinero. En una isla habitada por los ingleses. Sxy : x es socio de y.y) 35. a menos que estudie. Q: Estudio. a) ∀x∃y [(M x ∧ P y ) −→ ∃z (Jz ∧ Ezy ∧ T xz )] b) ∀x∀y [(M x ∧ P y ) −→ ∀z (Jz ∧ Ezy ∧ T xz )] c) ∀x∀y [(M x ∧ P y ) −→ ∃z (Jz ∧ Eyz ∧ T xz )] d) ∀x∀y [(M x ∧ P y ) −→ ∃z (Jz ∧ Ezy ∧ T xz )] 38. 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. Vocabulario: P(x. ¿Cuál simbolización expresa mejor la siguiente afirmación? Hay a lo más tres candidatos.

P x: x es un puerto. Donde: Sxy : x es seguidor de y . T xy : x tiene a y. a) Todas las mujeres tienen un marinero en cada puerto. c) Todos los marineros tienen una mujer en cada puerto. ¿Cuál es la mejor simbolización del siguiente enunciado? Niguno de los seguidores del América estima a nigún seguidor del Guadalajara. g El Guadalajara. Exy : x estima a y. 40. a) ∀x∀y [(Sxg ∧ Sy ) −→ Exy ] b) ∀x∀y [(Sxa ∧ Syg ) −→ ¬Exy ] c) ¬∃x∀y [(Sxa ∧ Syg ) −→ ¬Exy ] d) ¬∃x¬∃y [(Sxa ∧ Sxg ) −→ ¬Exy ] . b) Algún marinero tiene a toda mujer en algún puerto. d) Todos los marineros tienen una mujer en algún puerto. Exy : x está en el puerto y . ¿Cuál de las siguientes opciones expresa mejor la siguiente fórmula? ∀x∀y [(M x ∧ P y ) −→ ∃z (Jz ∧ Ezy ∧ T xz )] Donde: M x: x es mujer. Jx: x es marinero. a: El América.55 b) ∃z ∀x∀y [(x = y yCx ∧ Cy ) −→ (Szx ∧ Szy )] c) ∀x∀y [(x = y ∧ Cx ∧ Cy ) −→ ∃z (Szx ∨ Szy )] d) ∀x∀y ∃z [(x = y ∧ Cx ∧ Cy ) −→ (Szx ∧ Szy )] 39.

SIMBOLIZACIONES Y TRADUCCIONES. .56 CAPÍTULO 6.

De las siguientes fórmulas. ¿Cuál 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. 2. ¿Cómo es la conjunción de ambos?.Capítulo 7 Valuaciones Como lo dice el nombre del capítulo. A −→ ¬C. B No es el caso que: si me mojo. 4. c) Siempre verdadero. me enfermo.A Si llueve me mojo. b) Nunca verdadero y nunca falso. una y sólo una es tautología. d) La segunda implica a la primera pero no viceversa. ¿que podemos afirmar con certeza de las siguientes dos fórmulas? ¬P −→ [(Q ∨ R) −→ S ]. 3. Dado un condicional cuyo antecedente es una tautología. [¬(Q ∨ R) ∨ (¬P −→ S )] a) Son equivalentes. Dados los siguientes dos enunciados. C ←→ ¬B. c) La primera implica a la segunda pero no viceversa. 1. C ∧ ¬B 57 . ¿cual de las siguientes asignaciones de valores hace que las fórmulas siguientes sean verdaderas simultáneamente? A ∨ B. ¿Cómo debe ser el consecuente ara que el condicional sea un enunciado contingente? a) Algunas veces verdadero y algunas veces falso. la técnica para resolver los siguientes ejercicios son valuaciones. b) Son contradictorias. d) Siempre Falso.

La oración “Si Obama gana la presidencia de EUA habrá paz en Irán o si Obama gana la presidencia de EUA no habrá paz en Irán” a) Es una oración contradictoria. c) es una oración tautológica. d) es una oración no tautológica. VALUACIONES 6. b) Es una oración contingente. CAPÍTULO 7. 7. ¿Cuál 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. 8.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. La oración “Si Obamagana la presidencia de EUA habrá paz en Irán o si habrá paz en Irán Obama gana la presidencia de EUA” a) es una oración contradictoria. c) Es una oración tautológica. b) es una oración contingente. d) Es una oración no tautológica. ¿Cuál de las siguientes asignaciones de valores muestra que la siguiente fórmula no es tautológica: ¬[¬(r −→ ¬r) ∨ [(w ←→ ¬w) ∨¬t] −→ (r ∧ t)]? a) r: F w: V t: V b) r: F w: F t: F . Dada la siguiente fórmula (P ∧ Q) ←→ (¬Q ∨ (S ∧ ¬S )). ¿Cuál 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.

¿Que podemos decir de su conclusión? a) Se siguen sólo oraciones universalmente válidas b) Se siguen sólo contradicciones c) Se sigue cualquier cosa d) No se sigue nada 15. Dado el siguiente conjunto de oraciones: Todo matemático tiene que ser racional pero no tiene que ser bípedo. ¿Qué asignación de valores prueba la consistencia de la siguiente proposición: ((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. Algún centauro es inmortal. Dada la siguiente fórmula S −→ (¬P ∨ Q).59 c) r: V w: V t: F d) r: F w: V t: F e) r: F w: F t: F 11. Sea el siguiente conjunto de enunciados: Todos los centauros son cuadrúpedos. Bertrand es tanto matemático como ciclista. El conjunto es: . 14. Si consideramos el conjunto anterior de oraciones como premisas de un argumento. ¿Que podemos afirmar? a) Es consistente en la lógica de predicados b) La disyunción de las preimsas es universalmente válida c) Es inconsistente en la lógica de predicados d) No se aplica la consistencia o inconsistencia a este conjunto. Todo ciclista tiene que ser bípedo pero no tiene que ser racional. Tods los cuadrúpedos son inmortales. ¿cuál de las siguientes asignaciones de valores muestra que no es tautológica? 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.

¿Cómo es el siguiente conjunto de enunciados? {P ←→ ¬(R ∨ ¬R). T −→ [P ∧ (R ∨ ¬P )]} a) Consistente. 18. d) No es no consistente. 17. d) Existen machos que tienen problemas emocionales. c) Satisfacible. ¿cual de las fórmulas no es equivalente a la siguiente proposición? [¬(P ∨ Q) ∧ (R ∨ ¬R)][(Q ∨ ¬Q) −→ (P ∨ Q)] . R −→ P. d) No se puede determinar.60 a) Inconsistente b) Consistente c) No se sabe d) No es no inconsistente CAPÍTULO 7. b) son equivalentes. c) Inconsistente. c) son consistentes. Este par de oraciones a) son cotradictorias. ¿Cuál de las siguientes afirmaciones contradice a la anterior? a) Existen hombres machos que no tiene problemas emocionales. No es cierto que ningún marciano es azul pero. 20. VALUACIONES 16. b) Inconsistente. tampoco lo es que todo marciando lo sea. Q ←→ ¬R. 19. b) Ningún macho tiene problemas emocionales. b) Tautológico. Todos los hombres machos tienen problemas emocionales o son seres retrógrados. R ∧ (P ∨ ¬P )} a) Consistente. pero son seres retrógrados. e) Todos los machos tienen problemas emocionales o son seres retrógrados. d) son dependientes. ¿Cómo es el conjunto de enunciados? {P −→ Q. c) Existen machos que no son seres retrógrados ni tienen problemas emocionales.

De las siguientes fórmulas una y solo una NO es una tautología. A ∧ H. c) Es universalmente válida. ¿que NO se sigue? {(¬D ∧ ¬E ) −→ ¬C. pero Juan no le da dinero a nadie? a) La oración es contingente. ¿Qué podemos afirmar de los siguientes enunciados? E1 : Todo hombre ama a alguna mujer. a) Son equivalentes. c) No sabemos cuál es su valor de verdad. d) Es no satisfacible. c) E1 implica a E2 y E1 no implica a E2 . ¿Cual es? a) (P ∨ Q) ∨ (P −→ Q) b) ((P −→ Q) −→ P ) −→ P c) (P −→ Q) −→ P d) (−→ P −→ Q) ∨ (P −→ Q) 22. d) La oración es universalmente falsa. ¬(B ∨ ¬C ) ∨ A} a) (D ∨ C ) ∨ L b) H ∧ ¬B c) ¬D −→ E d ) B ∨ ¬H 24. b) Es contingente. E2 : Algún hombre ama a toda mujer.61 a) Q ∨ ¬ Q b) ¬[(P ∨ Q) ∧ ¬(P ∨ Q)] c) T −→ (T ∧ T ) d) (¬P ∨ ¬Q) −→ (P ∨ Q) 21. 25. Dado el siquiente conjunto de premisas. b) La oración es universalmente válida. ¿Qué podemos decir sobre el valor de verdad de la oración Todos le dan dinero a Juan. b) E2 implica a E1 y E1 no implica a E2 . Suponiendo que hay hombres y mujeres. d) E1 no implica a E2 y E2 no implica a E1 . . La fórmula ∀x((¬F x ∨ Gx) ∨ ¬(Gx ∧ ¬F x)) a) Es contradictoria. 23.

-Holmes: No estoy tan seguro. de ψ se sigue (ψ |= ) y de ( |= φ). d) Que ninguno de los dos dice algo verdadero. r ∨ s} no es inconsistente. 30. b) Que lo que dice Holmes es verdadero y lo que dice Watson no. r ∨ s. ¬(¬s ∨¬p)} es consistente. ¬s ∨¬p} es inconsistente. ¿Cuál de las siguientes fórmulas NO es universalmente válida? 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 φ . Si Moriarty asesinó a Lady Baba. luego la asesinó. Sean φ. Watson? -Watson: Si Moriarty no asesinó a Lady Baba. ¿Cuál de las siguientes es una contradicción lógica? a) ¬P ∨ (¬Q ∨ P ) b) (P ∧ R) ∧ ¬(P ∨ ¬R) c) (P ←→ ¬P ) ∨ (Q ∨ P ) d) ¬(¬P ∨ ¬R) ∧ (P ∧ R) e) P −→ ¬P 28. c) {s ∧ p. pues esta vez Moriarty ha caído en su propia trampa. d) {¬(p −→ q). 27. ¿Qué podemos decir acerca del siguiente diálogo entre Sherlock Holmes y el Dr. Si {p −→ q. ¿A cual de las siguientes afirmaciones no conocemos su valor de verdad? a) φ |=| ¬ b) φ |= ¬ψ c) φ |=| ¬¬ψ d) ¬ψ |=| ¬¬ 29. ¬r −→ s. a) Que lo que dice Watson es verdadero y lo que dice Holmes no. entonces no la asesinó. p −→ q} es consistente. p −→ q. entonces la asesinó. VALUACIONES 26. luego no la asesinó. s ∧ p} es consistente.62 CAPÍTULO 7. ¡Elemental mi querido Watson!. ¿Cuál de las siguientes afirmaciones es falsa? a) {¬p ∨ q. e) {p ∨¬p. Si de φ se sigue ψ (φ |= ψ ). ¬r ∧¬s. r ∨ s} es consistente. ψ y fórmulas. c) Que ambos dicen algo verdadero. b) {p −→ q.

3. Dadas las siguientes fórmulas: ∀x[(F x ∨ Sx) −→ (T x ∧ W x)] y ∃xSx. 1. b) Deben ser no contradictorias.Capítulo 8 Un poco de sintáxis Los ejercicios de este capítulo pudieron haber sido clasificados en las secciones anteriores. y nos resulta que el enunciado A ∧ ¬A se sigue del total de las premisas. P −→ ¬P } b) {¬Q. Q} 63 . el que se den conjuntos expícitos de fórmulas me ha motivado a separarlos en este capítulo. ¿qué podemos decir con certeza del conjunto de las nuevas premisas que añadimos? a) Que es contradictorio. ¿Cómo den ser esas premisas para poder asegurar que de ellas NO se sigue ¬¬P ? a) Deben ser contradictorias. c) De esas premisas debe seguirse ¬P ∨ P. Si a ese conjunto de premisas le añadimos otras nuevas premisas. b) Que no es contradictorio. d) Que ¬A se sigue de las nuevas premisas. Si de un conjunto de premisas se sigue el enunciado ¬P. d) Deben ser tautologías todas esas premisas. 2. Supongamos que un conjunto de premisas es no contradictorio y que el enunciado A se sigue de este conjunto. c) Que no podemos decidir si es contradictorio o no. sin embargo. ¿De cuál de los siguientes conjuntos de premisas no se sigue: P? a) {¬P. ¿Cuál de las siguientes fórmulas se sigue de ambas? a) Sa ∨ F a b) ∃x(T x ∨ W x) c) ∃x(W x −→ ¬Sx) d) ∀xW x 4.

Dado el siguiente conjunto de premisas: {p. r −→ q.64 c) {Q. e) ¬(¬t ∧¬w). d) ¬q ∨¬p. t ∧ (r ∧ w)} e) {¬q. b) ∃y Apy c) ∀x∃y Ayx d) Aag. Apg. w ∨¬w} b) {¬q ∧ p. z. UN POCO DE SINTÁXIS 5. ¬q} d) {w −→ ¬w. ¬(p ∧ q). {r. z. t ∨ w }. 7. Apa. s ∨ t} 8. t−→w. Q −→ P } d) {¬P −→ P } e) {¬(¬P ∨ Q)} CAPÍTULO 8. ¬(¬t ∨ q)} ¿Cuál de los siguientes conjuntos de afirmaciones no se sigue del anterior? a) {q ∨ p. e) ∃y Ayg 9. p←→w. ∀x∀y [(Apx ∧ Apy) −→ Axy]}. {∀x∃y Axy. ¿De cuál 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. ¬¬t ∧ z. ¿cuál es? a) ¬(Q −→ P ) b) ¬(P ∨ Q) . ¿Qué no se sigue de este conjunto de premisas? a) Aga. ¿Qué no se sigue de lo anterior? a) t ∧ ¬r b) t ∨ p c) ¬r ∧ (t ∨ w). r−→t} c) {¬¬p. r −→ t. Si de un conjunto de premisas se sigue una y solo una de las siguientes fórmulas.

¿Cuál de ellas no es consecuencia lógica de Γ? a) p ∨ r b) p ∨¬p c) ¬(¬p ∨ r) d) r −→ p e) p 12. T ∧ T } c) {¬Q ←→ ¬Q} d) {¬Q −→ Q. menos una. T ∧ P } e) {R −→ S. ¬T ∨ Q}? a) {P. de las siguientes proposiciones son su consecuencia lógica. Q} b) {¬S ∨ ¬Q. ¿Cuál de los siguientes conjuntos de proposiciones no se sigue de {P. Dado un conjunto Γ de premisas. A partir de la fórmula [(p ∨ q) ←→ (¬p ∨ p)] −→ {[(¬p −→ r) ∨¬(¬p ∧¬r)] ∧ (r −→ r)} ¿Cuál de las siguientes fórmulas se sigue? a) ¬(p −→ (q −→ p)) b) [(p ∨ q ) ∧ t] −→ [(p ∨ r) ∧ t] c) p ∨ r d) p ∨ q e) ¬[¬(p ∨ q ) ∨ (¬p −→ r)] . S ∧ T. ∃y ¬(By ∧ ¬Cy ).65 c) ¬(¬P −→ Q) d) ¬(P ∧ ¬Q) 10. ∀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. ¿Qué se sigue del siguiente conjunto de premisas? {∀x(¬Ax ∨ Bx). todas. T −→ Q} 13.

UN POCO DE SINTÁXIS .66 CAPÍTULO 8.

2. Además. La mujer. ¿Qué tipo de argumento es el anterior? 67 . si los dioses te ordenan matar a tu familia debes hacerlo. Por lo tanto. Aristóteles decía: que el todo siempre es mayor que la parte. y nadie me ha refutado convincentemente. ¿A cuál de las siguientes oraciones describe esta falacia? a) Intenta ganarse la simpatía de los oyentes. Por lo tanto. es porque no tiene la razón y por tanto Jaime Mausán si la tiene. carece de elementos para refutarlo.Capítulo 9 Falacias y otros ´Las falacias son un tema de gran importancia en la lógica. ellos son buenos y sabios. Jaime Mausán ha dicho: "Hay extraterrestres. 1. aún no. ¿Que tipo de error se comete en esta falacia? a) Se pasa por alto que las mujeres también ya llegaron a la Luna. d) Afirma que si alguien. Siempre debes seguir el designio de los dioses. he demostrado que hay extraterrestres. ¿Qué tipo de argumento es el anterior? a) Falacia informal b) Argumento verdadero c) No es argumento d) Argumento falso e) Argumento inválido 4. d) Se crea confusión aprovechándose de que la palabra "hombre"puede significar tanto "ser humanoçomo "varón". todo buen lógico debe poder reconocerlas. debido a su ignorancia. el auto es más grande que la llanta. b) Argumento inválido c) No se dice cuál hombre llegó y cuál mujer no llegó. b) Trata de imponer su opinión por la fuerza. c) Pone un énfasis indebido en que hay extraterrestres. en los ejercicios se presentan algunas. El hombre ya llegó a la Luna. 3. en este último capítulo hay ejercicios que no son clasificables en alguna de las secciones anteriores pero es bueno tenerlos en cuenta. Luego. aunque en los examenes no hay un número considerable de estas preguntas.

68 a) Argumento falso. triunfas en la vida ¿Qué se puede decir de lo anterior? a) Es una falacia formal. El aborto no siempre es algo moralmente reprobable. b) Es una falacia de ambigüedad. a) Válido con premisas no contradictorias. Solo si eres honesto. una de mis primas navega por el río Balsas. c) Falacia por usasr dos palabras distintas con el mismo sentido. d) Falacia por usas una palabra con dos sentidos distintos. e) Es una falacia de irrelevancia. d) Es una falacia de apelación a los sentimientos. Juan salió a jugar. d) Argumento inválido con premisas contradictorias. b) Falacia de autoridad. e) Falacia informal. ¿Cómo es el argumento siguiente? Sofía es una de mis primas. Juan se comió la sopa. con premisas falsas. d) Argumento falso. d) Argumento válido. b) Falacia formal. ¿Que tipo de argumento es el siguiente? Juan sale a jugar su se come la sopa. Recuerda que Santo Tomas de Aquino decía que el aborto está permitido en algunas circunstancias. b) Iválido con premisas contradictorias. Eres honesto. triunfas en la vida. 8. Por tanto. con premisas verdaderas. c) Falacia formal. 7. ¿Cómo es la siguiente expresión? Juan ha dicho muchas veces que no hay que subir los pies sobre la mesa. 6. c) Argumento verdadero. ¿Qué tipo de argumento es el anterior? a) Argumento válido. FALACIAS Y OTROS 5. Por lo tanto. e) Argumento válido. . 9. Por lo tanto. b) Falacia informal. a) Argumento válido con premisas no contradictorias. c) Es una falacia informal. c) Argumento verdadero. Sofía es una lancha que navega por el río Balsas. CAPÍTULO 9.

todas sus premisas son verdaderas y la conclusión es falsa. c) Es un enunciado atómico. c) No podemos decidir si es válido o no. tiene al menos una premisa falsa. se puede concluir con certeza que: a) Es un argumento válido. d) Si un argumento tiene todas sus premisas verdaderas y la conclusión falsa. b) No es un enunciado. es válido. -Brown: Mi querido profesor Openshaw. su conclusión es verdadera. d) Sus premisas y su conclusión son tautológicas. tiene también la conclusión falsa. 12. d) Si te arrepientes. el argumento es inválido. ningún hombre ha desaparecido. 11. ¿Cuál de las siguientes afirmaciones sobre los argumentos es verdadera? a) Si un argumento es válido. c) Si no te tiras no te arrepentirás. c) Si un argumento válido tiene la conclusión falsa. pues es una conjunción de atómicos. entonces no te arrepentirás. b) Si la conclusión de un argumento es verdadera.69 a) Es un enunciado molecular. Si en un argumento las premisas son falsas y la conclusión es verdadera. c) Si un argumento es inválido. b) Si un argumento válido tiene alguna premisa falsa. 14. ¡qué podemos afirmar con certeza? a) Que ambos mienten. entonces puedes arrepentirte. d) Es un enunciado molecular. . entonces tu te tiraste desde muy alto. pues es una negación. al menos una de sus premisas es verdadera y la conclusión es falsa. ¿Que enunciado expresa mejor el significado de esta frase de Ramón Gómez de la Serna: No hay que tirarse desde demasiado alto para no arrepentirse por el camino? a) Si te tiras desde muy alto. 13. cinco hombres han desaparecido. es una orden. d) Si un argumento es inválido. Suponiendo que el padre Brow y el profesor Openshaw se refieren a la misma circunstancia. ¿Cuál de las siguientes afirmaciones sobre los argumentos es verdadera? a) Si un argumento tiene todas sus premisas verdaderas y la conclusión verdadera. b) Si te tiras desde muy bajo. b) Es una rgumento inválido. el argumento es válido. 10. Chesterton este diálogo entre el padre Brown y el profesor Openshaw: -Openshaw: Mi querdio padre Brown. Leemos en un cuento de Gilbert K.

7}? a) {2. podemos inferir uno de sus conyuntos. En un argumento válido. 6. 15. al afirmar un disyunto. 6π/π. c) Disyunción. c) Dado un par de enunciados cualesquiera. 5. b) Conjunción. 22 . ¿Qué es cierto sobre la siguiente afirmación? Si de un conjunt de premisas NO se sigue el enunciado A. 5. 18. ¿Cuál de los siguientes enunciados es falso? a) Dada una disyunción inclusiva. c) Que no es nu verdadera ni falsa. 4. 18/3.70 b) Que ambos dicen la verdad. 3. 3π/π. 4.1. 5. b) Dado un condicional. ¿Cuál de los siguientes conjuntos no es equivalente al conjunto {1. entonces de ese conjunto se sigue el enunciado ¬A a) Que es falsa. c) Las premisas son inconsistentes con la negación de la conclusión. 6/3. 16. una implica al otro o viceversa. 19. 2x3. inferimos la negación del antecedente. d) Que no podemos decidir si es verdadera o falsa. 21/7. c) Que si uno de ellos dice la verdad el otro miente. 3. 2π/π. b) Que es verdadera. 1x1. 7.3} b) {1/1. 6} 20. se infiere la negación del otro. 6. d) Dada una conjunción. 14/2} c) {2. 6. ¿Cuál de los siguientes conjuntos es el conjunto de letras de la palabra “antropófago”? . FALACIAS Y OTROS d) Que al menos un hombre esta desaparecido y al menos otro hombre no lo está. 1. 4. 10/2. 9. 7. 36/9. El enunciado: Caminante no hay camino. al negar el consecuente. a) Las premisas son consistentes su implican la negación de la conclusión. d) Las premisas y la conclusión son consistentes. 2. 3. Considerando las reglas de inferencia. 5π/π } e) {2. 7} d) {−π/ − π. se hace camino al andar. d) Negación. 7π/π. 2. 4π/π. 17. Tiene como conectivo principal una: a) Doble implicación. CAPÍTULO 9. b) Las premisas son consistentes con la negación de la conclusión. 5x1.

o. k} 21. c) El conjunto de los apóstoles de Jesús d) {a. n. f. g} e) {a. b) ¬p se sigue de Γ. g. s} b) El conjunto de letras diferentes de la palabra “dicotiledóneas”. h. p se sigue de este nuevo conjunto. p. t. o. r. c. i. r. c) Si unimos ambos conjuntos de premisas en uno solo. g. t. q no se sigue de este nuevo conjunto. d. d) q se sigue de Λ. f. ( ) Dados dos conjuntos de premisas Γ y Λ tales que un enunciado p es consecuencia de ambos y el enunciado ¬p es consecuencia de Λ. b. n. este nuevo conjunto es inconsistente. j. ¿Cuál de las siguientes afirmaciones es falsa? a) Si unimos ambos conjuntos de premisas en uno solo. p. . f.71 a) {a. e. e) Si unimos ambos conjuntos de premisas en uno solo.