LGICA PROPOSICIONAL 1. EJERCICIOS DE FORMALIZACIN. 2. EJERCICIOS DE TABLAS DE VERDAD. 3. EJERCICIOS DE REDUCCIN AL ABSURDO. 4.

EJERCICIOS DE DEDUCCIN NATURAL CON REGLAS BSICAS I. 5. EJERCICIOS DE FORMALIZACIN Y DEDUCCIN. 6. EJERCICIOS DE DEDUCCIN NATURAL CON REGLAS BSICAS II. 7. EJERCICIOS DERIVADAS. DE DEDUCCIN NATURAL CON REGLAS

8. ADININANZAS LGICAS. 9. EXMENES.

Bibliografa bsica Amador Antn y Pascual Casa Lgica matemtica. ( Lgica de enunciados) Nau Llibres Alfredo Deao Introduccin a la lgica formal. Alianza Universidad Textos Manuel Garrido Lgica simblica Tecnos Anthony Weston Las claves de la argumentacin. Ariel Raymond Smullyan Cmo se llama este libro? Ctedra Profesor: Jos Ramn Anguiano Navascues

1. EJERCICIOS DE FORMALIZACIN 1) Los animales, como las plantas, son seres vivos. Los animales son seres vivos (p) y las plantas son seres vivos (q). 2) El fenmeno de la nutricin separa de una manera tajante los seres vivientes de los no vivientes. El fenmeno de la nutricin separa los seres vivientes (p) y los seres no vivientes ( p). 3) Dos rectas son paralelas si tienen la misma direccin. Si tienen la misma direccin (q), entonces dos rectas son paralelas (p). 4) Decir que la suma de sucesiones positivas es una sucesin positiva y el producto de sucesiones positivas es una sucesin positiva equivale a decir que la suma y el producto de dos nmeros reales positivos es un nmero real positivo. [La suma de sucesiones positivas es una sucesin positiva (p) y el producto de sucesiones positivas es una sucesin positiva (q) ] si y slo si [ la suma de dos nmeros reales positivos es un nmero real positivo (r) y el producto de dos nmeros reales es un nmero real positivo (s)] 5) Si perseveras en tus decisiones y no cedes al desaliento frente a los obstculos, comprobars cmo el xito te sonre. Si perseveras en tus decisiones (p) y no cedes al desaliento frente a los obstculos ( q), entonces comprobars cmo el xito te sonre (r). 6) Si Frankenstein cruza nuestras calles, ha de indicar qu y cuntos fines persigue, y si miente, le daremos con la puerta en las narices, pero si dice la verdad, le invitaremos a cenar. [ Si Frankenstein cruza nuestras calles (p), entonces ha de indicar qu fines persigue (q) y cuntos fines persigue (r), y (si miente (si no dice la verdad) (s), entonces le daremos con las puertas en las narices (t)) y (si dice la verdad (s), entonces le invitaremos a cenar (w))]. 7) El hidrxido de aluminio es maleable y, a igualdad de peso, mejor conductor de la electricidad que el cobre. [(El hidrxido de aluminio es maleable (p) ) y (si tiene igual peso que el cobre (q), entonces es mejor conductor de la electricidad que ste r) )] 8) Por el puente se va a casa, que no por el agua. Por el puente se va a casa: p Por el agua se va a casa: q

9) El nitrgeno se usa en los laboratorios y reemplaza el aire de ciertos aparatos cuando el oxgeno es perjudicial en las operaciones. [Si el oxgeno es perjudicial (q), entonces el nitrgeno se usa (p) y reemplaza (r)] 10) Si el hombre es moral, no est determinado unvocamente por el ambiente y cabe exigirle cuenta de sus elecciones. El hombre es moral: p Determinado unvocamente...:q Cabe exigirle cuenta...:r 11) La persona humana tiene creencias sobre multitud de cosas, pero tal multitud no forma un caos, sino que est organizado psicolgicamente. La persona humana tiene...:p Tal multitud forma un caos: q Est organizada psicolgicamente: r

2. EJERCICIOS DE TABLAS DE VERDAD 1) ( p q ) q 2) ( p v p ) ( q q ) 3) ( p q ) q p 4) ( p p ) r 5) ( p q ) ( q v r ) 6) ( p q ) ( q p ) 7) ( p v q ) ( p q ) 8) ( p q ) v ( p r ) ( p q r ) ( p q r ) 9) [ ( p q ) r ( p v q r ) ] v ( q r ) 10) ( q r p ) ( r v s p v q ) 11) [ p ( q r ) ] { ( t t ) [ ( s v q ) ( p v s) ] } 12) [ ( p q ) p ] [ ( q v r ) ( q r ) ]

13) ( p q ) [ ( p q ) ( p q ) ] 14) [ ( p q ) v r ] [ r ( p q ) ] 15) { [ ( p q r ) ( r s ) ] ( r s ) } ( p q r ) 16) [ ( p q ) ( q r ) ] ( p r ) 17) ( p r ) ( q s ) ( p q r s )

3. EJERCICIOS DE REDUCCIN AL ABSURDO 1) ( p q ) q q 2) ( p q ) ( p v r) q 3) ( p q ) ( q v r ) q ( r p ) 4) ( p q ) ( q v r ) q 5) [ ( p q ) v r] [ r ( p q) ] 6) [ ( p q ) ( q r ) ] ( p r ) 7) ( p r ) ( q s ) ( p q r s ) 8) [ p ( q v r ) ] ( q r ) ( p r ) 9) [ p ( r p) ] [ r v s t] ( t r) p 10) [ p ( q r ) ] ( r s t ) ( s t ) p 11) { [ ( p q r ) ( r s ) ] ( r s ) } ( p q r )

4. EJERCICIOS DE DEDUCCIN NATURAL CON REGLAS BSICAS I. 1) 1 pq -2 r s -1 prst a. 2 p v s pr s

2)

b. 3 r s 3) - 1pq - 2q -1 prst -2 p s -3 r s -1 q -2 p v q t -1 p q -2 p -1 p v q -2 p c -3 q c -1 p q r -2 r s -1pq -2pr

r svt p

4)

r st

5)

tvs

6)

p q

7)

p qc pq s

8)

9)

rvs

10) -1 p ( p q s) -2 q 11) -1 p q -2 r -3 p r s 12) -1 (p q) r -2 s t -3 r s 13) -1 p q -2 q r -3 s t -4svp 14) -1 p ( q r)

qvt

rvt q (p r)

5. EJERCICIOS DE FORMALIZACIN Y DEDUCCIN. 1) Si se admite la teora del eterno retorno, se debe admitir la existencia de entidades corpusculares identificables a travs del tiempo y que se pueda hablar de un estado del universo definido en cada instante individual. Ahora bien, no es cierto que haya entidades corpusculares permanentes y estados del universo definidos en cada instante. Por tanto, la teora del eterno retorno es inadmisible. Se admite la teora del eterno retorno: p Se admite la existencia de entidades...:q Se habla de un estado del universo...:r 2) Si la noche es clara, Drcula agitar sus alas y afilar sus dientes. Si agita sus alas y encuentra mi ventana abierta, pasar, me despertar, pero le dar un fuerte tirn de orejas. Si afila sus dientes y la encuentra cerrada, montar en clera, romper los cristales y le dar un fuerte tirn de orejas. As pues, si la noche es clara y Drcula encuentra la ventana abierta o cerrada, le dar un fuerte tirn de orejas. La noche es clara......p Drcula agitar sus alas......q Afilar sus dientes......r Encuentra mi ventana abierta......s La encuentra cerrada (no abierta)...... s Pasar......t Me despertar......w Le dar un tirn de orejas......m Montar en clera......n Romper los cristales......k 3) Si la pena de muerte antepone la defensa de la sociedad a la conservacin de la persona, entonces, si supone la destruccin total de la persona, imposibilita la correccin del penado. Imposibilita la correccin del penado slo si es condenable ticamente. La pena de muerte antepone la defensa de la sociedad a la conservacin de la persona. Por tanto, si la pena de muerte supone la destruccin total de la persona e imposibilita la correccin del penado, es condenable ticamente. La pena de muerte antepone la defensa......p Supone la destruccin total de la ......q Posibilita la correccin del ......r Es condenable ticamente......s 4) Si los habitantes de Venus invaden la tierra, entonces los hombres se pondrn nerviosos o las mujeres se entusiasmarn. Si los hombres se ponen nerviosos, las mujeres se entusiasmarn. Por tanto, si los habitantes de Venus invaden la Tierra, las mujeres se entusiasmarn.

Los habitantes de Venus invaden......p Los hombres se pondrn nerviosos......q Las mujeres se entusiasmarn......r 5) Si las autoridades prohben fumar en pipa a los feos, entonces los guapos se alzarn indignados porque no venden pipas. Si los guapos no venden pipas o las autoridades crean nuevos puestos de trabajo, entonces la nacin no saldr de la crisis econmica. La nacin sale de la crisis econmica y los guapos no venden pipas. Por lo tanto, las autoridades no prohibirn fumar en pipa a los feos. Las autoridades prohben fumar......p Los guapos se alzarn ......q Los guapos veden pipas......r Las autoridades crean nuevos......s La nacin saldr de la crisis......t 6) Si los filsofos callasen, la nieve quemara y los crculos seran cuadrados. Si los crculos fuesen cuadrados, entonces los matemticos se dedicaran a cazar brujas y las abejas a fabricar acero. Ni los matemticos se dedican a cazar brujas, ni las abejas a fabricar acero. Por tanto, los filsofos no callarn. Los filsofos callasen......p La nieve quemara......q Los crculos seran cuadrados......r Los matemticos se dedicaran......s Las abejas se dedicaran......t

6. EJERCICIOS DE DEDUCCIN NATURAL CON REGLAS BSICAS II 52) -1 p ^ [ q (p s)] -2 p q ^ r 53) -1 -2 -3 -4 pq qvrs s (t m) p^ t ps

54) -1 p [ q r ^ (s v t)] -2 p ^ (s m) -3 q ^ ( t h ^ n) 55) -1 ( p ^ q) (r ^ s) -2 s (q ^ t) -3 s ^ t 56) -1 q s -2 r s ^ t

mvh

p (q ^ r) p ( q v r s)

57) -1 p q -2 p q ^ s 58) -1 p v ( q ^ r) -2 t v q (p t) 59) (p q) [(q r) (p r)] 60) -1 p ^ q ( r s) -2 s ^ r 61) -1 p q v r -2 q r -3 r s 62) -1 p t ^ s -2 s v r t 63) -1 q ( p ^ q) 64) 1 -2 -3 -4 tpvq pm^s qm s v m (p v q)

p (p t)

pq

ps p

65) -1 t p v q -2 p n ^ s -3 q n

tsvn

66) -1 (p ^ q) v (r ^ s) [ (p v r) ^ (p v s)] ^ [ ( q v r) ^ (q v s)] 67) -1 -2 -3 -4 pmvt mr tr^s q t^ r

pvqr

68) 1 p q -2 m r v s -3 r q -4 s q ^ t 69) ( p q) ^ ( q r) ( p r) 70) (p q) (p ^ r q ^ r)

(p ^ m)

71) 1 p v q r v m -2 (r t v s) ^ ( n s) -2 m ^ r n 72) (p q) [ (p r) (p q ^ r)] 73) 1 p q ^ r -2 p s -3 s r 74) 1 (p ^ q t) ^ ( t v n) -2 r v s t ^ m 75) (p r) [ (q r) ( p v q r)] 76) 1 (p s) ^ (q t) -2 ( s v t m) ^ (r v n m)

p [ (q v r) s v t]

r p ( q v r s)

pvqr

7. EJERCICIOS DE DEDUCCIN NATURAL CON REGLAS DERIVADAS. Ejercicio 1. Demostrar la validez del siguiente esquema de inferencia: (p^q)r p _____________ qr

Ejercicio 2. Demostrar la validez del siguiente esquema de inferencia pq r v s sq r _____________ p Ejercicio 3. Demostrar la validez del esquema anterior por el mtodo de reduccin al absurdo. Ejercicio 4. Esquematizar la argumentacin contenida en el siguiente texto de Platn ( Parmnides) y demostrar su validez:

Si lo Uno est en movimiento, ste habr de ser, o de movimiento sin cambio en el estado, o de alteracin. No puede tratarse de un movimiento de alteracin, porque entonces lo Uno dejara de ser Uno. Si se trata de lo primero, tendra que ser, o bien de rotacin de lo Uno sobre s mismo en el propio lugar en el que se encuentra, o bien cambio de un lugar a otro. Ninguna de las dos cosas ocurre. Luego lo Uno no est sujeto a ningn tipo de movimiento. p: Lo Uno est en movimiento. q: Lo Uno sufre un movimiento sin cambio en el estado. r: Lo Uno sufre un movimiento de alteracin. s: Lo Uno rota sobre s mismo. t: Lo Uno cambia de un lugar a otro. Ejercicio 5. Demostrar la validez del siguiente esquema de inferencia: pq r p rt ( s ^ r) tvs ________________ q v u Ejercicio 6. Demostrar la validez del siguiente esquema de inferencia: rs p vq ( p s) ______________ q ^r Ejercicio 7. Demostrar la validez del siguientes esquema de inferencial. p (q r) q ___________ p r Ejercicio 8. Demostrar la validez del siguiente esquema de inferencia: p (q v r) p s q _____________ s

Ejercicio 9. Demostrar la validez del siguiente esquema de inferencia:

(p ^ q) r (p v q) s pq _________ sr Ejercicio 10. Demostrar la validez del siguientes esquema de inferencial. st tvp sw w ________ p 11. Demostrar la validez del esquema anterior por medio de la reduccin al absurdo. 12. Demostrar la validez del siguiente esquema de inferencia: (p^q)r ( r ^ s) t ______________ (p ^ q ^ s) t 13. Demostrar la validez del siguiente esquema de inferencia: p (q r) ____________ q (p r) 14. Demostrar que la expresin [ ( p ^ q) r] [ (p ^ r) q] es tautolgica. 15. Demostrar la validez del siguiente esquema de inferencia: p (p q) _____________ pq 16. Demostrar la validez del siguiente esquema de inferencia: pp __________ p 17. Resolver la siguiente argumentacin:

- Empecemos, pues. Si lo uno, no es cierto que no podra ser muchos? p q -Cmo podra serlo? - Y entonces no podr tener partes ni ser un todo. q ( r ^ s) - Por qu? - Porque la parte, parte es de un todo. - Ciertamente. - Y no es un todo aquello a lo que no falta parte alguna? - Desde luego. - Y en ambos casos ya se lo considere como un todo, ya se le considere como dotado de partes- lo uno habra de ser compuesto. (r v s) t - Necesariamente. - De modo que en ambos casos lo uno resultara ser muchos y no uno. tq - Cierto. - Pero necesariamente lo uno no es muchos sino uno. - As es. - Luego si lo uno es uno, ni es un todo ni tiene partes. p ( r ^ s) A efectos de formalizacin hemos dado por idnticos el enunciado lo uno existe (como tal uno) y el enunciado lo uno es uno, esquematizando ambos por p. 18. Derivar (r v s) t a partir de r p, q r, s q, (p ^ q) t , s v p, directamente y por el mtodo de reduccin al absurdo.

19. Demostrar la validez del siguiente esquema de inferencia: (q v s) t qr ps ts ____________ pr 20. Demostrar la validez del esquema anterior por el mtodo de reduccin al absurdo. 21. Demostrar la validez del siguiente esquema: (p v q) (r ^ s) (pvr) t ( p ^ s) _______________ t 22. Demostrar la validez del siguiente esquema de inferencia:

s q ___________________________ [p (q r) ] [ p (s r)] 23. Derivar q a partir de p ^ p. 24. Demostrar, por el mtodo de la reduccin al absurdo, la expresin [p (q r)] [ (p ^ q) r]. 25. Demostrar la validez del siguiente esquema de inferencia: p [ ( q r) s] __________________ (q r) (p s) 26. Demostrar la validez del esquema anterior por el mtodo de reduccin al absurdo. 27. Demostrar que la expresin {[ r (p ^ q)] ^ ( s p)} [ (s ^ q) r] es una ley lgica.

28. Demostrar la validez del siguiente esquema de inferencia: p ( q t u) p rq rt ur __________ rvs 29. Demostrar la validez del siguiente esquema de inferencia. pq qr st svp _________ rvt 30. Demostrar la validez de la expresin anterior por reduccin al absurdo.

31. Demostrar que la expresin [( p r) (q s) ] [ (p q) (r s) ] es una ley lgica. 32. Demostrar la validez del siguiente esquema de inferencia: (p v q) r _______________ (p r) v ( q r) 33. Demostrar la validez del siguiente esquema de inferencia. rs pv q ( p s) pq _________ q r 34. Demostrar la validez del siguiente esquema de inferencia: (pq)r st rs _______________ qvt 35. Demostrar la validez del esquema anterior por el mtodo de reduccin al absurdo. 36. Demostrar la validez del siguiente esquema de inferencia: pq ( q v r) p v s _________ svt 37. Demostrar la validez del siguiente esquema de inferencia: pq rvp ____________ p ( q r) 38. Demostrar la validez del siguiente esquema de inferencia: ( p q) r

rs q s ____________ p 39. Demostrar la validez de la expresin anterior por el mtodo de reduccin al absurdo. 40. Demostrar la validez del siguiente esquema de inferencia: (p q) (r v s) ( t p) t t q ______________ rs 41. Demostrar la validez del siguiente esquema de inferencia: pvq rp sr ts rq _____________ t 42. Demostrar la validez del siguiente esquema de inferencia: (p q r) s t (s t) u p (u w) w _______________ (p r) q

8. ADIVINANZAS LGICAS Hay una amplia variedad de adivinanzas relativas a una isla en la que ciertos habitantes llamados caballeros dicen siempre la verdad, y otros llamados escuderos mienten siempre. Se supone que todo habitante de la isla es o caballero o escudero.

26. Segn este viejo problema, tres de los habitantes A, B, C- se encontraban en un jardn. Un extranjero pas por all y le pregunt a A, Eres caballero o escudero?. A respondi, pero tan confusamente, que el extranjero no pudo enterarse de lo que deca. Entonces el extranjero pregunt a B. Qu ha dicho A?. Y B le respondi: A ha dicho que es escudero. Pero en ese instante el tercer hombre, C, dijo. No creas a B, que est mintiendo. La pregunta es, qu son B y C? 27. Supngase que el extranjero, en lugar de preguntarle a A por lo que ste era, le dijese: Cuntos caballeros hay entre vosotros? De nuevo, la respuesta de A es ininteligible. Entonces el extranjero pregunta a B, Qu ha dicho A?. Y B replica: A ha dicho que hay un caballero entre nosotros. Y C por su parte dice, No creas a B, que est mintiendo. Qu son B y C? 28. En este problema hay slo dos individuos, A y B, cada uno de los cuales es o caballero o escudero. A dice: Uno al menos de nosotros es escudero. Qu son A y B? 29. Supngase que A dice, O yo soy un escudero o B es un caballero. Qu son A y B? 30. Supngase que A dice, O yo soy escudero o en caso contrario dos ms dos es igual a cinco. Qu concluiras? 31. Nuevamente tenemos tres personas, A, B, C, cada una de las cuales es o caballero o escudero. A y B dicen lo siguiente: A: Todos nosotros somos escuderos. B: Uno de nosotros, y slo uno es un caballero. Qu son A, B, C? 32. Supngase que A y B dicen lo siguiente: A: Todos nosotros somos escuderos. B: Uno de nosotros, y slo uno, es escudero. Puede determinarse lo que es B? Puede determinarse lo que es C? 33. Supngase que A dice, Yo soy escudero, pero B no lo es. Qu son A y B? 34. Volvemos a tener tres habitantes, A, B y C, cada uno de los cuales es o caballero o escudero. Se dice que dos personas son del mismo tipo si son ambos caballeros o ambos escuderos. A y B dicen lo siguiente: A: B es un escudero. B: A y C son del mismo tipo.

Qu es C? 35. De nuevo hay tres personas, A, B y C. A dice, B y C son del mismo tipo. Alguien pregunta entonces a C. Son A y B del mismo tipo? Qu responde C? 36. He aqu una adivinanza poco frecuente: adems, est tomada de la vida real. Una vez, cuando visit la isla de los caballeros y escuderos, encontr dos habitantes descansando bajo un rbol. Le pregunt a uno de ellos. Es alguno de vosotros un caballero?. l me respondi, y con su respuesta pude saber la solucin a mi pregunta. Qu es la persona a la que dirig mi pregunta, caballero o escudero? ; y, qu es el otro? Puedo asegurar que he suministrado informacin suficiente para resolver este problema. 37. Suponte que eres t, lector, quien visita la isla de los caballeros y escuderos. All encuentras a dos habitantes que estn perezosamente recostados al sol. Le preguntas a uno de ellos si el otro es un caballero, y obtienes una respuesta del tipo s-o-no. Son las dos respuestas necesariamente las mismas. 109. Tenemos dos personas A, B, cada una de las cuales es o caballero o escudero. Supngase que A emite el siguiente enunciado: Si yo soy un caballero, entonces lo es B. Puede determinarse qu son A y B? 110. Alguien pregunta a A. Es usted caballero?. l replica. Si yo soy caballero, entonces me comer mi sombrero. Prubese que A tiene que comerse su sombrero. 111. A dice. Si yo soy caballero, entonces dos ms dos es igual a cuatro. Es A caballero o escudero? 112. A dice. Si yo soy un caballero, entonces dos ms dos es igual a cinco. Qu concluiras? 113. Dadas dos personas, A, B, y siendo ambas o caballeros o escuderos, A dice, Si B es caballero entonces yo soy escudero. Qu son A y B? 114. Dos individuos, X e Y, estaban siendo juzgados por participar en un robo. A y B eran testigos en el juicio, y cada uno de ellos, A, B, es o caballero o escudero. Los testigos emitieron los siguientes enunciados: A: Si X es culpable, igualmente lo es Y. B: O X es inocente o Y es culpable. Son A y B necesariamente del mismo tipo? (Recurdese que dos personas de la isla de los caballeros y escuderos se dice que son del mismo tipo si son o ambos caballeros o ambos escuderos.)

115. En la isla de caballeros y escuderos, tres habitantes A, B, C estn siendo entrevistados. A y B dicen lo siguiente: A: B es caballero. B: Si A es caballero, tambin lo es C. Puede determinarse qu son A, B y C?

AMOR Y LGICA 116. Supngase que los enunciados siguientes son verdaderos: (1) Amo a Isabel o amo a Mara. (2) Si amo a Isabel entonces amo a Mara. Se sigue necesariamente que amo a Isabel? Se sigue necesariamente que amo a Mara? 117. Supngase que alguien me pregunta. Es realmente verdadero que si amas a Isabel entonces tambin amas a Mara? Yo respondo, Si eso es verdadero, entonces amo a Isabel. Se sigue que amo a Isabel? Se sigue que amo a Mara? 118. Esta vez tenemos dos chicas, Eva y Margarita. Alguien me pregunta, Es realmente verdadero que si amas a Eva entonces amas tambin a Margarita? Yo respondo, Si eso es verdadero, entonces amo a Eva, y si amo a Eva, entonces eso es verdadero: A qu chica amo necesariamente? 119. Ahora se trata de tres chicas, Ana, Luisa y Diana. Supngase que se dan los siguientes hechos: (1) Amo al menos a una de las tres chicas. (2) Si amo a Ana pero no a Diana, entonces amo tambin a Luisa. (3) O bien amo a Diana y a Luisa o bien no amo a ninguna. (4) Si amo a Diana, entonces amo tambin a Ana. A cual de las chicas amo? 120. Este problema, aunque simple, es un tanto sorprendente. Supngase que sucede que yo soy o caballero o escudero. Yo emito los dos enunciados siguientes: (1) Amo a Linda. (2) Si amo a Linda entonces yo amo a Cecilia. Soy un caballero o un escudero?

67 a. En El mercader de Venecia, de Shakespeare, Porcia tena tres cofres uno de oro, otro de plata y otro de plomo-, dentro de uno de los cuales estaba el retrato de Porcia. El pretendiente tena que elegir uno de los cofres y si tena suerte (o inteligencia) elegira el que tena el retrato, pudiendo as pedir a Porcia por esposa. En la tapa de cada cofre haba una inscripcin para ayudar al pretendiente a elegir sabiamente. Pero supongamos que Porcia quisiera elegir marido, no por su bondad, sino por su inteligencia. Tendra las siguientes inscripciones en los cofres: ORO El retrato est en este cofre PLATA El retrato no est aqu PLOMO El retrato no est en el cofre de oro

Porcia explic al pretendiente que de los tres enunciados, a lo sumo uno era verdad. Qu cofre debe elegir el pretendiente? 67 b. El pretendiente eligi correctamente, as que se casaron y vivieron bastante felices...por lo menos durante algn tiempo. Pero un da Porcia pens: Aunque mi marido demostr cierta inteligencia al elegir el cofre bueno, en realidad el problema no era tan difcil. Sin duda poda haber puesto un problema ms difcil y haber conseguido un marido realmente inteligente. As pues, se divorci inmediatamente de su marido decidida a casarse con otro ms listo. Esta vez en los cofres aparecan las siguientes inscripciones: ORO El retrato no est en el cofre de plata PLATA El retrato no est en este cofre PLOMO El retrato est en este cofre

Porcia explic al pretendiente que por lo menos uno de los tres enunciados era verdadero y que por lo menos otro era falso. En qu cofre est el retrato? 68. Y Porcia le hizo pasar por dos pruebas ms: a) Primera prueba. En sta las tapas de los cofres tenan dos enunciados, y Porcia explic que ninguna de ellas tena ms que un enunciado falso. ORO (1) El retrato no est aqu PLATA (1) El retrato no est en el de oro PLOMO (1) El retrato no est aqu

(2) El artista que hizo el retrato es veneciano En qu cofre est el retrato?

(2) El artista que hizo el retrato s es florentino

(2) El retrato s que est en el cofre de plata

b) Segunda prueba. Porcia explic que en una de las tapas los dos enunciados eran verdaderos; en otra ambos eran falsos, y en la tercera uno era verdadero y otro falso: ORO (1) El retrato no est en este cofre (2) Est en el de plata En qu cofre estaba el retrato? PLATA (1) El retrato no est en el de oro (2) Est en el de plomo PLOMO (1) El retrato no est en este cofre (2) Est en el de oro

PRESENTAMOS A BELLINI Y CELLINI (Las tres pruebas definitivas) Todos los cofres de Cellini tienen una inscripcin falsa mientras que los cofres de Bellini tienen una inscripcin verdadera.

69 a. Primera prueba.

En vez de un retrato, Porcia meti una daga en uno de los cofres y dej los otros dos vacos. Si el pretendiente consegua evitar el cofre de la daga, poda pasar a la prueba siguiente. Las inscripciones rezaban as: ORO La daga est aqu PLATA Este cofre est vaco PLOMO Todo lo ms uno de estos tres cofres lo hizo Bellini

Qu cofre tena que elegir?

69 b. Segunda prueba. Porcia utiliz slo dos cofres, el de oro y el de plata; uno de ellos contena su retrato (en esta prueba no utilizaba daga). Los cofres eran obra de Cellini o de Bellini y en ellos se lea:

ORO El retrato no est aqu

PLATA Uno y nada ms que uno de estos dos cofres es obra de Bellini

Cul tena que elegir el pretendiente para hallar el retrato? 69 c. Tercera prueba Porcia coloc su retrato en uno de los tres cofres y el pretendiente haba de (1) elegir el cofre que tuviera el retrato y (2) adivinar el autor de cada uno de los cofres.

ORO El retrato Est aqu

PLATA El retrato est aqu

PLOMO Por lo memos dos de estos tres cofres son obra de Cellini

Cul es la solucin?

9.EXMENES. Nombre: Apellido: Curso: 1) Reglas bsicas y reglas derivadas. Explicar, poner ejemplos y deducir al menos una regla derivada. Demostrar si la siguiente frmula es contingente, contradictoria o tautolgica mediante tablas de verdad. 2) ( r s t u) ( t t )

Demostrar por reduccin al absurdo si las siguientes frmulas son vlidas: 3) q ( q r ) 4) ( p q ) Deducir: ( p q ) ( p r)

( q r ) q

5) -1 p ( q r) q r p

6) Formalizar y deducir: Si la noche es clara, Drcula agitar sus alas y afilar sus dientes. Si agita sus alas y encuentra mi ventana abierta, pasar, me despertar, pero le dar un fuerte tirn de orejas. Si afila sus dientes y la encuentra cerrada, montar en clera, romper los cristales y le dar un fuerte tirn de orejas. As pues, si la noche es clara y Drcula encuentra la ventana abierta o cerrada, le dar un fuerte tirn de orejas. La noche es clara...p Drcula agitar sus alas...q Afilar sus dientes...r Encuentra mi ventana abierta...s La encuentra cerrada (no abierta)... s Pasar...t Me despertar...w Le dar un tirn de orejas...m Montar en clera...n Romper los cristales...k

Nombre: Apellido: Curso:

1)

-1 -2 -3 -4

pmvt mr tr^s q t^ r

pvqr

2)

1 p q -2 m r v s -3 r q -4 s q ^ t

(p ^ m)

3)

(p ^ q) v (r ^ s) [ (p v r) ^ (p v s)] ^ [ ( q v r) ^ (q v s)]

4) 5) 6)

( p q) ^ ( q r) ( p r) (p q) (p ^ r q ^ r) 1 p v q r v m -2 (r t v s) ^ ( n s) -2 m ^ r n

p [ (q v r) s v t]

7)

(p q) [ (p r) (p q ^ r)]

8)

1 p q ^ r -2 p s -3 s r 1 (p ^ q t) ^ ( t v n) -2 r v s t ^ m (p r) [ (q r) ( p v q r)

9)

p ( q v r s)

10)