UNIVERSISAD NACIONAL AUTNOMA DE MXICO

Escuela Nacional Preparatoria

Plantel 7 Ezequiel A. Chvez

Ejercicios de Lgica
Profesor Jess Ziga Garca

Prepa 7

El Razonamiento

La Relacin de Consecuencia
Resuelve alguno de los siguientes problemas. El valor de cada uno est indicado en cada caso. Si lo resuelves bien, dicho valor se suma a tu calificacin del examen parcial de este periodo.
1. En cierta comunidad mtica los polticos nunca dicen la verdad y los no polticos siempre dicen la verdad. En una ocasin un extrao encontr a tres nativos de esta comunidad y les pregunt: Cuntos de ustedes son polticos? El primero respondi: Todos somos polticos. El segundo nativo dijo: no, solamente dos de nosotros somos polticos. Entonces, el tercer nativo dijo: Ninguna de las dos respuestas anteriores es verdadera. El tercer nativo era poltico o no? (Valor: 1 punto) 2. Benno Torreli, amable anfitrin del ms exclusivo club nocturno del pueblo de Hamtramck, fue asesinado por una banda de estafadores porque no pag a tiempo su proteccin. Luego de considerable esfuerzo por parte de la polica, fueron atrapados cinco sospechosos y conducidos ante el fiscal de distrito, quien les pregunt qu tenan que decir en su defensa. Cada uno de ellos dijo tres cosas, dos verdaderas y una falsa. Sus afirmaciones fueron las siguientes: LEFTY: Yo no mat a Torelli. Nunca he tenido un revlver en mi vida, lo hizo Spike. RED: Yo no mat a Torelli. Nunca en mi vida he tenido un revlver. Los otros estn inculpando a los dems. DOPEY: Soy inocente, nunca antes he visto a Butch. Spike es el culpable. SPIKE: Soy inocente. Butch es el culpable. Lefty no dijo la verdad cuando dijo que yo lo hice. BUTCH: Yo no mate a Torrelli, Red es el culpable. Dopey y yo somos viejos amigos. Quin lo mat? (Valor: 2 puntos) 3. Cinco hombres que fueron camaradas durante la ltima guerra se han reunido. Se llaman White, Brown, Peters, Harper y Nash, y sus

Ejercicios de Lgica

ocupaciones son: pintor, waterpolista, barbero, neurlogo e hidrobilogo. Por coincidencia, viven en las ciudades de White Plains, Browsville, Petersburg, Harpers Ferry y Nashville, pero ninguno de ellos vive en la ciudad que se parece a su nombre ni el nombre de su ocupacin comienza con la misma letra que su propio nombre, ni del nombre de la ciudad en que vive. El barbero no vive en Petersburgo y Brown no es hidrobilogo ni pintor, ni vive en Petersburgo o en HarpersFerry. El seor Harper vive en Nahsville y no es barbero ni waterpolista. White no reside en Brownsville, ni Nahs, quien no es hidrobilogo ni Barbero. Con la informacin de arriba, determine el nombre de la ciudad en la que vive Nahs. (Valor: 2 puntos) 4. Trata de deducir lgicamente el nmero compuesto por cuatro dgitos distintos a partir de la informacin dada por los cuatro nmeros de la tabla de dgitos. En la columna L indicamos cuntos dgitos hay en ese nmero en comn con el nmero buscado y que estn en el mismo lugar que en el nmero buscado. En la columna B indicamos la cantidad de dgitos en comn con el nmero buscado, pero que estn en posicin diferente a la de estos dgitos en el nmero buscado. Tabla de Dgitos Nmero 3968 1279 5208 4970 L 1 1 0 0 B 0 1 2 1 (Valor: 3 puntos) 5. Deduzca las caractersticas de cuatro ciudades que son grandes focos de peregrinacin, y las religiones para las cuales estas urbes tienen un especial significado. Para ello, cruce adecuadamente los datos en el cuadro de abajo. a) La Meca fue fundada hacia el ao 1700 a. C. b) Los hinduistas peregrinan a la ciudad de 950 mil habitantes. c) La urbe de 556 mil almas fue levantada hacia el 1800 a. C.

Prepa 7

d) Jerusaln es ms antigua que la ciudad de 2.687.000 habitantes, y ms moderna que Benars (que no fue fundada el 753 a. C). e) La ciudad de 689 mil habitantes, que no fue creada en el 2000 a. C., es sagrada para la religin islmica. f) Roma es foco de peregrinaje para la religin catlica y no para la juda. Ciudad Benars Jerusaln Meca Roma (Valor: 1 punto) 6. Todos los caminos conducen a Roma, y todas las pistas de este pasatiempo hacia cuatro de sus ms emblemticos emperadores. No en vano, se trata de deducir tres datos biogrficos correspondientes a cada uno de ellos. Para lograrlo, hay que relacionar adecuadamente todas las pistas dadas en el cuadro de abajo. a) Germnico, popular general romano, fue el padre de Calgula (cuyo nacimiento no se produjo el 10 a C). b) El hijo de Cneo Domicio, cuya madre no fue Agripina la Mayor, naci el ao 37 d C. c) Livia, mujer sagaz e intrigante, fue la madre de Tiberio (que no naci el ao 12 d C). d) El emperador Claudio (que no fue hijo de Tiberio Claudio) naci antes que el hijo de Agripina la Menor y despus que el csar nacido el 42 a C. e) El hijo de Druso y Antonia vino al mundo antes que Calgula. Emperador Calgula Claudio Nern Tiberio (Valor: 1 punto) Padre Madre Ao de nacimiento Ao a. C Habitantes (mil) Religin

Ejercicios de Lgica

Partes del Razonamiento

Premisas y Conclusin
Qu conclusin puede derivarse de las siguientes premisas?
1. Si el calentamiento global contina, el ser humanos tendr que adaptarse a cambios drsticos en el clima del planeta; y el calentamiento global contina. Por tanto, ____________________________________________. 2. Todos los satlites giran alrededor de un planeta y Titn es un satlite. As que, ________________________________________________________. 3. Ninguna sonata de piano creada por Beethoven es mala. La sonata de piano que ahora escucho es mala. En consecuencia, ____________________ ____________________________________________________________. 4. La historia es una forma de conocimiento o es una ficcin narrativa. Mas la historia no es una ficcin narrativa. Por lo que, ________________________ _____________________________________________________________. 5. Si todo tiene precio, entonces la dignidad humana puede venderse. Mas la dignidad no puede venderse. Por lo tanto, ______________________________________________________________.

Prepa 7

Qu premisas pueden darse para probar las siguientes conclusiones?

1. La Luna es un satlite, porque

2. La contaminacin es peligrosa, dado que

3. La principal inversin que puede hacer el gobierno de un pas es la educacin de sus nios y jvenes, puesto que

4. La vida extraterrestre es posible, ya que

5. El arte es necesario, pues

Ejercicios de Lgica

Encierra en un crculo los indicadores de premisa y conclusin y subraya la conclusin de los siguientes argumentos.
1. Sale ms caro mantener a un preso que a un universitario. Puesto que, por un preso se gastan 170 pesos diarios. Por un universitario se gastan 135 pesos diarios. Canal Once. 2. El desarrollo tecnoeconmico produce el subdesarrollo moral y psquico, dado que la hiperespecializacin generalizada, el hiperindividualismo y el espritu de lucro inducen a la prdida del capital social. Fernando Pineda Morales. Humanidades. 19 de mayo de 2004. 3. La situacin poltica actual de nuestro pas es ms grave que nunca, puesto que lo que quiere el imperio yanqui es que el capital norteamericano invada nuestro territorio apoderndose de nuestros intereses bsicos. Marcela Lombardo Otero. Humanidades. 19 de mayo de 2004. 4. El uso masivo de la bicicleta como medio de transporte disminuye los congestionamientos viales y la contaminacin atmosfrica y auditiva. Por lo tanto, es benfico para la sociedad. Sergio F. Martnez Rivera. Humanidades. 19 de mayo de 2004. 5. Si el derecho se fundara en la voluntad de los pueblos, en los decretos de los prncipes o en las sentencias de los jueces, sera entonces derecho el latrocinio, derecho el adulterio, derecho la confeccin de testamentos falsos. Mas ni el latrocinio, ni el adulterio, ni ningunas de estas cosas son derecho. Por lo que el derecho no se funda en la voluntad de los pueblos, ni en los decretos de los prncipes, ni en las sentencias de los jueces. Cicern. Las Leyes. I. 4345. 6. La mente humana es finita e imperfecta. As que la idea de un ser perfecto no pudo haber sido creada por la inteligencia humana. Descartes. Meditaciones Metafsicas.

Prepa 7

7. La economa es la ciencia social y humana ms atrasada, ya que ignora lo que no es calculable ni medible. Fernando Pineda Morales. Humanidades. 19 de mayo de 2004. 8. La ciencia ficcin se precia de respetar el conocimiento cientfico vigente, violando slo una o unas pocas de sus premisas para proponer una situacin plausible que sea de inters humano. Los X-Men, en cambio, poseen poderes que sera imposibles de explicar cientficamente. Por lo tanto, la cinta X-Men 2 no es una pelcula de ciencia ficcin. Humanidades. 20 de febrero de 2003. 9. El pueblo que compra, manda. El pueblo que vende, sirve. Por lo tanto, el pueblo que quiere morir, vende a un solo pas, puesto que el influjo excesivo de un pas en el comercio de otro, se convierte en influjo poltico. Jos Mart 10. No hay que simular filosofar, sino filosofar realmente. Porque no necesitamos aparentar estar sanos, sino estar sanos de verdad. Epicuro 11. La agricultura es una actividad en s ms valiosa que la industria y el comercio y merece ser conservada y fomentada, porque implica una forma de vida ms sana, que ocupa por igual todas las fuerzas. Max Scheler 12. Puesto que la agricultura hace a las unidades nacionales independientes del extranjero, merece, por lo tanto, ser conservada y fomentada. Max Scheler 13. O bien la democracia en Mxico promueve el bienestar comn o es una oligarqua disfrazada. Por tanto, la democracia en Mxico es una oligarqua disfrazada, porque no promueve el bienestar comn. 14. La moral del capitalismo surge del resentimiento, puesto que valora bienes que slo son medios como si fueran fines. Max Scheler 15. El hombre es un ser social. En consecuencia, el individuo humano necesita a la comunidad para su propio desarrollo.

Ejercicios de Lgica

"Carta a Herodoto" (Fragmento) En primer lugar, nada nace de la nada. Pues en tal caso cualquier cosa podra nacer de cualquiera, sin necesidad de ninguna simiente. Y si lo que desaparece se destruyera en la nada, todas las cosas habran perecido... As que, no todo se destruye en la nada. Si no existiera lo que llamamos vaco, espacio y naturaleza impalpable, los cuerpos no tendran dnde estar ni dnde moverse, pero los cuerpos aparecen en movimiento. Por lo que, el vaco existe ...de los cuerpos los unos son compuestos, y los otros aquellos elementos de los que se forman los compuestos. Estos son indivisibles (toma) e inmutables, pues, de lo contrario, todo pudiera destruirse en el no ser... Adems, el todo es infinito. Pues todo lo limitado tiene un lmite. Y, no teniendo final, en consecuencia, ha de ser infinito y no limitado. Epicuro. Carta a Herodoto

Prepa 7

"La defensa de Scrates" (Fragmento) La muerte es una de estas dos cosas: o es como no ser nada y no tener ninguna sensacin de cosa alguna, o, de acuerdo con lo que se dice, es un cambio o una migracin del alma de este lugar a otro. Si no existe sensacin alguna, sino que es como el sueo del hombre que, dormido, no suea en absoluto nada, admirable ganancia sera la muerte. [...] Si, por el contrario, la muerte significa un viaje de aqu a otro lugar, y es verdad lo que se dice, que all estn todos los muertos, qu bien puede haber mayor que ste jueces?" Defensa de Scrates. 39e-40a. Cul es la conclusin del argumento? R:__________________________________________________________

Ejercicios de Lgica

Elementos del Razonamiento

La Proposicin
Di si las proposiciones que siguen son atmicas o moleculares.
1. El hombre es un animal enfermo de razn. 2. La muerte no es nada para nosotros. 3. Dios y el orden de la naturaleza son como una especie de fe que me ha ayudado en medio de grandes dificultades. 4. Si la riqueza no va acompaada de virtud, no es un bien. 5. El lema universitario fue creado por Jos Vasconcelos. 6. Si toda la energa acumulada en media libra de cualquier materia se deja libre, la potencia resultante sera igual a la fuerza explosiva de siete millones de toneladas de TNT. 7. Algunos escritos de filsofos famosos son muy difciles de entender. 8. Dios es sutil o complejo. 9. O bien los fenmenos del universo obedecen a leyes universales o son producto del azar. 10. El estado es la comunidad autosuficiente para la vida perfecta y la vida perfecta es la que ha alcanzado la sabidura y la virtud.

11

Prepa 7

Valor de Verdad de las Proposiciones Compuestas

Cules de las siguientes proposiciones son verdaderas y cules son falsas?
1. Zamora es la capital de Michoacn o Morelia es la capital de Michoacn. 2. Londres es la capital de Inglaterra y Buenos Aires es la capital de Chile. 3. Jalapa no es la capital de Monterrey o Jalapa es la capital de Campeche. 4. No es cierto que Guanajuato es la capital de Espaa o no es cierto que Paracho es la capital de Durango. 5. Hidalgo fue fusilado y Guerrero no fue fusilado. 6. Morelos fue miembro de ejrcito realista e Iturbide no fue miembro del ejrcito insurgente. 7. Si Campeche est en Mxico, entonces los campechanos son mexicanos. 8. Si Yucatn no est en Mxico, entonces los yucatecos no son mexicanos. 9. Si todos los felinos son mamferos, entonces los perros son felinos. 10. Mxico es un pas norteamericano slo siesta al norte del ecuador. 11. Si todos los msicos son artistas, entonces los poetas son msicos. 12. No es cierto que Camus fue un escritor austriaco. 13. Algunos senadores son mediocres y algunos diputados son ladrones. 14. Los E. U. son un imperio agresivo y Mxico es un pas dbil. 15. Si la Luna posee agua, entonces es posible la vida en ella.

Ejercicios de Lgica

Simboliza las siguientes proposiciones.

1. Cuba est en Amrica y Japn est en Asia.

2. La comunidad humana es posible si y slo si se respeta la justicia.

3. Las montaas ms altas del mundo estn en Asia o estn en frica.

4. Si todos los astros que vemos son redondos, entonces la Tierra tambin debe de serlo.

5. China es est en frica y Francia est en Amrica.

13

Prepa 7

Cules de las siguientes proposiciones son verdaderas y cules son falsas?

1. (Londres es la capital de Inglaterra Mxico es la capital de Francia) 2. Londres es la capital de Inglaterra Madrid es la capital de Francia. 3. Hidalgo fue fusilado v Guerrero fue fusilado. 4. (Berln est en Alemania v Berln est en Polonia) (Monterrey est en Italia Madrid es la capital de Francia) 5. [(Morelia es la capital de Espaa v Paris es la capital de Francia) v (Paris es la capital de Francia v Zrich es la capital de Alemania)] 6. (Zrich es la capital de Alemania v Pars es la capital de Francia) v (Londres es la capital de Inglaterra Roma es la capital de Espaa) 7. Mxico es la capital de Argentina v (Londres es la capital de Inglaterra v Londres es la capital de Inglaterra) 8. (Zrich es la capital de Alemania v Pars es la capital de Francia) v (Zrich es la capital de Alemania Londres es la capital de Rusia) 9. (Pars es la capital de Francia v Roma es la capital de Espaa) v (Pars es la capital de Francia Roma es la capital de Espaa) 10. (Jalapa es la capital de Michoacn v Monterrey es la capital de Nuevo Len) (Irapuato est en Guanajuato v Guadalajara es la capital de Jalisco)

Ejercicios de Lgica

Si las proposiciones A, B y C son verdaderas y las proposiciones X, Y y Z son falsas, cmo son (verdaderas o falsas) las siguientes proposiciones?
1. A v Z 2. (A Z) v C 3. (A B) (Z v C) 4. [(C v B) (X v Y)] v [(A v X) (Z v Y)] 5. [(X v B) (Y A)] 6. AZ 7. (A v B)[(X v Y) (YB)] 8. {[(A B)(C v X)] [(CX) v A]}{[(C v X) (AB)] v [(CX)(Y v Z)]} 9. [(AZ) (XY)](Y v B) 10. (YC)B

15

Prepa 7

Simboliza lo siguiente usando letras maysculas para abreviar los enunciados involucrados.
1. Si el clima de la Tierra sube 10 grados, entonces la parte frtil de Mxico se desertificar y la dependencia del extranjero ser mayor.

2. O bien Mxico crea condiciones para retener su mano de obra o fomenta el desarrollo de la economa de E. U. y, si fomenta el desarrollo de la economa de E. U, entonces fomenta su propia dependencia.

3. Si en Argentina no gana la izquierda, entonces Brasil no estrecha sus relaciones con este pas o Chile no convocar a una reunin de los pases latinoamericanos.

4. Brasil protestar ante la ONU slo si Estados Unidos no reduce sus emisiones contaminantes y fomenta el uso industrial de la energa limpia.

5. Brasil protestar ante la ONU solamente si Estados Unidos se moviliza contra Bolivia o Per agrede a Venezuela.

Ejercicios de Lgica

Preexamen I
I. Cul es la conclusin del siguiente argumento?
Las cosas tiles son bienes secundarios, puesto que una cosa es til cuando sirve para alcanzar otra cosa cuyo valor se encuentra en s misma y es un instrumento que puede dominarse a voluntad. a) Las cosas tiles son instrumentos que puede dominarse a voluntad. b) Las cosas tiles son bienes secundarios. c) Las cosas tiles sirven para alcanzar otra cosa cuyo valor se encuentra en s misma.

II.

Cul de las siguientes expresiones es una proposicin?

a) La carretera a Monterrey b) Levante la mano el que est de acuerdo con la propuesta c) La suma de cinco ms ocho es catorce

III.

Si las proposiciones A, B y C son verdaderas y las proposiciones X, Y y Z son falsas, cmo son (verdaderas o falsas) las siguientes proposiciones moleculares?
1. (AvX) Y 2. (CvB) X 3. [(XvZ)A][(BY)vZ] ( ) Verdadera ( ) Falsa ( ) Verdadera ( ) Falsa ( ) Verdadera ( ) Falsa

IV.

Cul es la simbolizacin correcta de la siguiente proposicin?

Si Juan es primo de Pedro, entonces es to de Antonia y pap de Jos. a) (JP)(AO) b) P(AvO) c) P(AO)

17

Prepa 7

Clculo Proposicional

Razonamientos Deductivos Bsicos

Silogismo Disyuntivo Di cules de los siguientes silogismos disyuntivos son vlidos y cules son invlidos.
1. Ramrez es el plomero o el ingeniero. Ramrez no es el plomero. Por tanto Ramrez es el ingeniero.

2. El extrao es un ladrn o un tonto. El extrao es un ladrn. As que el extrao no es un tonto.

3. El testigo est comprado o dice la verdad. El testigo no dice la verdad. Por lo tanto, el testigo est comprado.

4. Hugo Snchez es futbolista o dentista. Hugo Snchez es dentista. As, Hugo Snchez no es futbolista.

5. Bernardo es Martnez o Lpez. Bernardo no es Martnez. Por tanto, Bernardo es Lpez.

Ejercicios de Lgica

Silogismo Hipottico Identifica la forma y evala si los siguientes silogismos hipotticos son vlidos o invlidos.
1. Si la economa de Mxico es autosuficiente, entonces Mxico es un pas soberano. Si Mxico es un pas soberano, entonces es verdaderamente independiente. Por tanto, si la economa de Mxico es autosuficiente, entonces es verdaderamente independiente. a) Silogismo hipottico puro. Correcto. b) Silogismo hipottico mixto de modo afirmativo (Modus Ponens). Incorrecto c) Silogismo hipottico mixto de modo negativo (Modus Tollens). Correcto 2. Si en la comunidad humana todo debe organizarse en torno a la economa, entonces el hombre mismo debe considerarse slo como un instrumento para generar ganancias. Pero el hombre no debe considerarse slo como un instrumento para generar ganancias. As que, en la comunidad humana no todo debe organizarse en torno a la economa.

a) Silogismo hipottico puro. Correcto. b) Silogismo hipottico mixto de modo afirmativo (Modus Ponens). Incorrecto c) Silogismo hipottico mixto de modo negativo (Modus Tollens). Correcto

3. Si Estados Unidos levanta un muro en la frontera con Mxico, entonces los emigrantes tendrn que cruzar por regiones del desierto cada vez ms alejadas de los lugares habitados. Si los emigrantes tienen que cruzar por zonas del desierto cada vez ms alejadas de los lugares habitados, entonces habr ms emigrantes muertos. En consecuencia, Si Estados Unidos levanta un muro en la frontera con Mxico, entonces habr ms emigrantes muertos.

a) Silogismo hipottico puro. Correcto. b) Silogismo hipottico mixto de modo afirmativo (Modus Ponens). Incorrecto
19

Prepa 7

c) Silogismo hipottico mixto de modo negativo (Modus Tollens). Correcto 4. Si la publicidad promueve la creacin de empleos, entonces debe haber pocas leyes que la regulen. De hecho hay pocas leyes que regulan la publicidad. As que, la publicidad promueve la creacin de empleos. a) Silogismo hipottico puro. Incorrecto. b) Silogismo hipottico mixto de modo afirmativo (Modus Ponens). Incorrecto c) Silogismo hipottico mixto de modo negativo (Modus Tollens). Correcto 5. Si Plutn, de acuerdo con los clculos de Halliday, tena un dimetro de ms de 4,200 millas, entonces, debe haber ocurrido un ocultamiento en el observatorio de McDonald en Fort Davis, Texas. Pero no ocurri tal ocultamiento. Por lo que Plutn es de ese tamao o ms pequeo.

d) Silogismo hipottico puro. Correcto. e) Silogismo hipottico mixto de modo afirmativo (Modus Ponens). Correcto f) Silogismo hipottico mixto de modo negativo (Modus Tollens). Correcto

Ejercicios de Lgica

Dilema Constructivo Discute los varios argumentos que pueden darse para refutar cada uno de los siguientes dilemas.
1. Si me dices lo que ya entiendo, no aumentars mis conocimientos, mientras que si me dices lo que no entiendo, entonces tus comentarios sern incomprensibles para m. Cualquier cosa que me digas ser algo que ya entienda o algo que no entienda. Por lo tanto, cualquier cosa que me digas ser incapaz de aumentar mis conocimientos o ser incomprensible para m.

2. Si la conclusin de un argumento deductivo va ms all de sus premisas, entonces el argumento es invlido; mientras que si la conclusin de un argumento deductivo no va ms all de las premisas, entonces el argumento no nos dice nada nuevo. La conclusin de un argumento deductivo o bien va ms all de sus premisas o no va ms all. Por lo tanto, los argumentos deductivos son invlidos o no nos dicen nada nuevo.

3. Si un argumento deductivo es invlido, entonces carece de valor, mientras que si un argumento deductivo no nos dice nada nuevo, tambin carece de valor. Los argumentos deductivos son invlidos o no nos dicen nada nuevo. Por lo tanto, los argumentos deductivos carecen de valor.

4. Si las personas son buenas, no se requieren leyes para evitar el mal comportamiento, mientras que si las personas son malas, las leyes no tendrn xito para prevenir el mal comportamiento. O bien las personas son buenas o son malas. Por lo tanto, o bien las leyes no tienen xito o son innecesarias para evitar el mal comportamiento.

5. Si una cosa se mueve, se mueve o bien en el lugar donde est o en otro lugar donde no est; pero no se mueve ni en el lugar donde est (porque entonces permaneca ah) ni en el lugar donde no est (porque entonces no exista en ese lugar); por tanto, nada se mueve.
21

Prepa 7

Preexamen II
Identifica y evala los siguientes razonamientos.
1. Si Marte tuvo agua lquida en su superficie, entonces tuvo una atmsfera ms densa de la que actualmente tiene. Los cientficos han demostrado que Marte tuvo agua lquida en su superficie. En consecuencia, tuvo una atmsfera ms densa. a) Dilema constructivo correcto b) Modus Ponens correcto c) Modus Tollens incorrecto d) Modus Ponens incorrecto 2. El primer nativo es o no es poltico. Si es poltico, respondi que no y, si no es poltico, respondi que no. As que, el primer nativo respondi que no. a) b) c) d) Dilema Constructivo Compuesto incorrecto Modus Tollens correcto Silogismo Disyuntivo incorrecto Dilema Constructivo Simple correcto

Ejercicios de Lgica

Demostracin Formal
Identifica a qu forma argumental del grupo B corresponden los argumentos del grupo A.
Grupo A. 1. CB ( ) C 2. CF ( ) C(CF) 3. R ( ) RvF 4. AT ( ) A T 5. DM ( ) M D 6. (JvZ)(JZ) ( ) (JZ)(ZJ) 7.AB ( ) KR (AB)(KR) 8. (AvB)S ( ) S C (AvB)C 9. PvQ ( ) (PvQ)Y 10. (NvS)(ZY) ( ) (ZY)(NvS) Grupo B. a) pq p q b) pq p c) pq q p d) pq p(pq)

e) p pvq f) pq qp g) p pq h) (pvq)(pq) (pq)(qp)

i) p q pq j) pq qr pr

23

Prepa 7

A qu forma argumental de la pgina anterior corresponden los siguientes argumentos.

1. {[(PvQ)(AvD)](ZvY)}(AB) [(PvQ)(AvD)](ZvY) ( )

2. [(RQ)v(TvU)](GvH) (GvH) [(RQ)v(TvU)]

( )

3. (ID) (ID)v(PvG)

( )

4. E[(OF)L] E (OF)L

( )

5. (PvQ)(TX) (TX)[(MW)(ZvN)] (PvQ)[(MW)(ZvN)

( )

Ejercicios de Lgica

Para cada uno de los siguientes argumentos vlidos enuncie la regla de inferencia mediante la cual se sigue su conclusin.
1. (AB)C (AB)[(AB)C] 2. HI (HI)v(HI) 3. (DvE)(FvG) DvE 4. (JK)(LM) (JK) 5. [N(OP)][Q(OR)] NvQ (OP)v(OR) 6. (XvY)(ZA) (ZA) (XvY) 7. (ST)v[(UV)v(UW)] (ST) (UV)v(UW) 8. (BC)(DvE) (BC) DvE 9.(HI)(HI) (IH)(HI) (IH)(HI)

25

Prepa 7

10. (AB)(CvD) AB CvD 11. [E(FG)]v(CvD) [E(FG)] CvD 12. (CvD)[(JvK)(JK)] [(JvK)(JK)] (CvD) 13. [L(MN)](CvD) [L(MN)] (CvD) 14. (JK)(KL) LM [(JK)(KL)](LM) 15. (FG)(GF) (GF)(GF) (FG)(GF)

Ejercicios de Lgica

Cada una de las siguientes es una prueba formal de validez del argumento indicado. Enuncia la justificacin de cada lnea que no sea una premisa de la prueba.
a) 1. AB 2. (AvC)D /AD 3. A 4. AvC 5. D 6. AD c) 1. IJ 2. JK 3. LM 4. LvI /vK 5. IK 6. (LM)(IK) 7. MvK b) 1. (GvH)(EvF) 2. (EG)(FH) 3. G /H 4. GvH 5. H

(1) (3) (2) (4) (3) (5)

(1) (3) (4)

(1) (2) (3) (5) (4) (6)

d) 1. NO 2. (NO)P 3. (NP) /N 4. N(NO) 5. NP 6. N(NP) 7. N

(1) (4) (2) (5) (6) (3)

e) 1. QR 2. S(TU) 3. Sv(QvT) 4. S /RvU 5. TU 6. (QR)(TU) 7. QvT 8. RvU

(2) (4) (1) (5) (3) (4) (6) (7)

f) 1. WX 2. (WY)(ZvX) 3. (WX)Y 4. Z /X 5. W(WX) (1) 6. WY (3) (5) 7. ZvX (2) (6) 8. X (7) (4)

27

Prepa 7

g) 1. (AvB)C 2. (CvB)[A(DE)] 3. AD /DE 4. A 5. AvB 6. C 7. CvB 8. A(DE) 9. DE

h) 1. FG 2. F(HG) 3. (IvH)G 4. I /H 5. IvH 6. G 7. F 8. HG 9. H

Ejercicios de Lgica

Para cada uno de los puntos siguientes, aadir dos enunciados producir una prueba formal de validez. Construya tal prueba formal.
a) 1. A 2. B /(AvC)B b) 1. DE 2. DF /E

c) 1. G 2. H /(GH)vI

d) 1. JK 2. J /KvL

e) 1. MvN 2. MO /N

f) 1. PQ 2. R /PR

g) 1. ST 2. TU /S

h) 1. VvW 2. V /WvX

i) 1. YZ 2. Y /YZ

j) 1. AB 2. (AB)C /AC

29

Prepa 7

Para cada uno de los argumentos siguientes, aadir tres enunciados a las premisas producir una prueba formal de validez. Construya una prueba formal de validez para cada uno de los siguientes argumentos.
a) 1. Av(BA) 2. AC /B b) 1. (DvE)(FG) 2. D /F

c) 1. (HI)(HJ) 2. H(RvS) /IvJ

d) 1. (KL)M 2. KL /K[(KL)M]

e) 1. N[(NO)P] 2. NO /P

f) 1. QR 2. RS 3. S /QR

Ejercicios de Lgica

Construya una prueba formal de validez para cada uno de los siguientes argumentos.
a) 1. AB 2. Av(CD) 3. BE /C

b) 1. (FG)(HI) 2. JK 3. (FvJ)(HvL) /GvK

c) 1. (MN)(ON) 2. NM 3. M /O

31

Prepa 7

d) 1. (KvL)(MvN) 2. (MvN)(OP) 3. K /O

e) 1. (QR)(ST) 2.(UV)(WX) 3. QvU /RvV

Ejercicios de Lgica

Construya una prueba formal de validez para cada uno de los siguientes argumentos, usando las abreviaturas sugeridas en cada caso.
1. Si gana Gertrudis o Heriberto, entonces pierden tanto Juana como Pedro. Gertrudis gana. Por tanto, pierde Juana (G: Gertrudis gana; H: Heriberto gana; J: Juana gana; P: Pedro gana).

2. Si Benito recibi el cable, entonces tom el avin; y si tom el avin, entonces no llegar tarde a la reunin. Si el cable tena una direccin equivocada, entonces Benito llegar tarde a la reunin. Benito recibi el cable o el cable tena una direccin equivocada. Por lo tanto, Benito tom el avin o bien llegar tarde a la reunin (B: Benito recibi el cable; T: Benito llegar tarde a la reunin; A: Benito tom el avin; E: el cable tena la direccin equivocada).

33

Prepa 7

3. Sigue lloviendo. Si sigue lloviendo, entonces el ro crecer. Si esto sucede, entonces el puente ser arrastrado por las aguas. Si el puente es arrastrado por las aguas, entonces no ser suficiente un solo camino para toda la ciudad. Un solo camino es suficiente para toda la ciudad o bien los ingenieros han cometido un error. Por lo tanto, los ingenieros han cometido un error (S: sigue lloviendo; R: el ro crece; P: el puente es arrastrado por las aguas; C: un solo camino es suficiente para toda la ciudad; E: los ingenieros han cometido un error).

Ejercicios de Lgica

Reglas de Remplazo
Realiza las tablas de verdad siguientes.
1. p q (pq)

2. p

pvq

3. p

pq

4. p

pvq

35

Prepa 7

5. p

qp

6. p

(pq)v(pq)

7. p

pq

Ejercicios de Lgica

Realiza la prueba formal de los siguientes argumentos, utilizando, adems de las reglas de inferencia, las reglas de reemplazo.
a) 1. AvD 2. DR /AR

b) 1. (TK)Q 2. (KQ)U /TU

c) 1.TG 2. TO /GO

d) 1.E(XP) 2. XvP /E

e) 1. [(QvA)(QvM)](DvB) 2. Qv(AM) /DvB

37

Prepa 7

Realiza la prueba de invalidez de los siguientes argumentos.

1. AB AvC BC A B

AB

AvC

BC

2. DT JT J D T J DT JT J

3. LvR LG R L R G LvR LG R

4. (OY)U K(OY) K O Y U K (OY)U K(OY) K

Ejercicios de Lgica

5. W(GvH) WG H W G H W(GvH) WG H

39

Prepa 7

Para cada uno de los siguientes argumentos, o bien realiza la prueba invalidez por el mtodo de asignacin de valores de verdad a los enunciados simples o bien construye una prueba formal de validez, segn sea el caso.
1.AH HvB B /A

2. (EF)(GH) (EvG)(FH)

3. I(JvK) (JK)L IL

Ejercicios de Lgica

4. M(NO) (NvO)P MP

5. [(XY)Z]A (ZA)(BC) B XC

41

Prepa 7

Preexamen III
I. Realiza la prueba formal del siguiente argumento, usando tanto reglas de inferencia como de remplazo.
1. Ev(GvD) 2. GD 3. AE /A

II. Realiza la prueba de invalidez del siguiente argumento.

(AC)Z AB /BZ

C Z

B (AC)Z

AB

BZ

Ejercicios de Lgica

Reglas de inferencia. 1. Modus Ponens (M. P.) pq p q 2. Modus Tollens (M. T) pq q p 3. Silogismo hipottico (S. H.) p q qr p r 4. Silogismo disyuntivo (S. D.) pvq p q 5. Dilema constructivo (D. C.) (p q)(r s) pvr q v s 6. Absorcin (Abs.) pq p (q p) 7. Simplificacin (Simp.) pq p 8. Conjuncin (Conj.) p q p q

9. Adicin (Ad.) p p v q

43

Prepa 7

Reglas de reemplazo. 10. Teorema De Morgan (De M.) (pq) (pvq) (pvq) (pq) 11. Conmutacin (Conm.) (pvq) (qvp) (pq) (qp) 12. Asiociacin (Asoc.) [pv(qvr)] [(pvq)vr) [p(qr)] [(pq)r] 13. Distribucin (Dist.) [p(qvr)] [(pq)v(pr)] [pv(qr)] [(pvq)(pvr)] 14. Doble negacin (D. N.) p p 15. Transposicin (Trans.) (pq) (qp) 16. Implicacin material (Impl.) (pq) (pvq) 17. Equivalencia material (Equiv.) (pq) (pq)(qp) (pq) (pq)v(pq) 18. Exportacin (Exp.) [(pq)r] [p(qr)] 19. Tautologa (Taut.) p (pvp) p (pp)