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. . EJERCICIOS DERIVADAS. DE DEDUCCIN NATURAL CON REGLAS

!. ADININANZAS LGICAS. ". E#MENES.

B$%&$'()*+,* %-.$/* Amador Antn y Pascual Casa Lgica matemtica. ( Lgica de enunciados) Nau Llibres Alfredo Deao Introduccin a la lgica formal. Alianza Universidad Textos Manuel arrido Lgica simblica Tecnos Ant!ony "eston Las claves de la argumentacin. Ariel #aymond $mullyan Cmo se llama este libro? C%tedra Profesor& 'os( #amn An)uiano Navascues

1. EJERCICIOS DE FORMALIZACIN *+ Los animales, como las -lantas, son seres vivos. Los animales son seres vivos /-+ y las -lantas son seres vivos /0+. 1+ 2l fenmeno de la nutricin se-ara de una manera ta3ante los seres vivientes de los no vivientes. 2l fenmeno de la nutricin se-ara los seres vivientes /-+ y los seres no vivientes / -+. 4+ Dos rectas son -aralelas si tienen la misma direccin. $i tienen la misma direccin /0+, entonces dos rectas son -aralelas /-+. 5+ Decir 0ue la suma de sucesiones -ositivas es una sucesin -ositiva y el -roducto de sucesiones -ositivas es una sucesin -ositiva e0uivale a decir 0ue la suma y el -roducto de dos n6meros reales -ositivos es un n6mero real -ositivo. [La suma de sucesiones -ositivas es una sucesin -ositiva /-+ y el -roducto de sucesiones -ositivas es una sucesin -ositiva /0+ ] si y slo si [ la suma de dos n6meros reales -ositivos es un n6mero real -ositivo /r+ y el -roducto de dos n6meros reales es un n6mero real -ositivo /s+] 7+ $i -erseveras en tus decisiones y no cedes al desaliento frente a los obst%culos, com-robar%s cmo el (xito te sonr8e. $i -erseveras en tus decisiones /-+ y no cedes al desaliento frente a los obst%culos / 0+, entonces com-robar%s cmo el (xito te sonr8e /r+. 9+ $i :ran;enstein cruza nuestras calles, !a de indicar 0u( y cu%ntos fines -ersi)ue, y si miente, le daremos con la -uerta en las narices, -ero si dice la verdad, le invitaremos a cenar. [ $i :ran;enstein cruza nuestras calles /-+, entonces !a de indicar 0u( fines -ersi)ue /0+ y cu%ntos fines -ersi)ue /r+, y /si miente /si no dice la verdad+ /s+, entonces le daremos con las -uertas en las narices /t++ y /si dice la verdad /s+, entonces le invitaremos a cenar /<++]. =+ 2l !idrxido de aluminio es maleable y, a i)ualdad de -eso, me3or conductor de la electricidad 0ue el cobre. [/2l !idrxido de aluminio es maleable /-+ + y /si tiene i)ual -eso 0ue el cobre /0+, entonces es me3or conductor de la electricidad 0ue (ste r+ +] >+ Por el -uente se va a casa, 0ue no -or el a)ua. Por el -uente se va a casa& Por el a)ua se va a casa& 0

?+ 2l nitr)eno se usa en los laboratorios y reem-laza el aire de ciertos a-aratos cuando el ox8)eno es -er3udicial en las o-eraciones. [$i el ox8)eno es -er3udicial /0+, entonces el nitr)eno se usa /-+ y reem-laza /r+] *@+ $i el !ombre es moral, no est% determinado un8vocamente -or el ambiente y cabe exi)irle cuenta de sus elecciones. 2l !ombre es moral& Determinado un8vocamente...&0 Cabe exi)irle cuenta...&r **+ La -ersona !umana tiene creencias sobre multitud de cosas, -ero tal multitud no forma un caos, sino 0ue est% or)anizado -sicol)icamente. La -ersona !umana tiene...&Tal multitud forma un caos& 0 2st% or)anizada -sicol)icamente& r

2. EJERCICIOS DE TABLAS DE VERDAD *+ / - 0 + 0 1+ / - v - + / 0 0 + 4+ / - 0 + 0 5+ / - - + r 7+ / - 0 + / 0 v r + 9+ / - 0 + / 0 - + =+ / - v 0 + / - 0 + >+ / - 0 + v / - r + / - 0 r + / - 0 r + ?+ [ / - 0 + r / - v 0 r + ] v / 0 r + *@+ / 0 r - + / r v s - v 0 + **+ [ - / 0 r + ] { / t t + [ / s v 0 + / - v s+ ] } *1+ [ / - 0 + - ] [ / 0 v r + / 0 r + ]

*4+ / - 0 + [ / - 0 + / - 0 + ] *5+ [ / - 0 + v r ] [ r / - 0 + ] *7+ { [ / - 0 r + / r s + ] / r s + } / - 0 r + *9+ [ / - 0 + / 0 r + ] / - r + *=+ / - r + / 0 s + / - 0 r s +

3. EJERCICIOS DE REDUCCIN AL ABSURDO *+ / - 0 ) 0 0 1+ / - 0 + / - v r+ 0 4+ / - 0 + / 0 v r + 0 / r - + 5+ / - 0 + / 0 v r + 0 7+ [ / - 0 + v r] [ r / - 0+ ] 9+ [ / - 0 + / 0 r + ] / - r + =+ / - r + / 0 s + / - 0 r s + >+ [ - / 0 v r + ] / 0 r + / - r + ?+ [ - / r -+ ] [ r v s t] / t r+ *@+ [ - / 0 r + ] / r s t + / s t + **+ { [ / - 0 r + / r s + ] / r s + } / - 0 r +

4. EJERCICIOS DE DEDUCCIN NATURAL CON REGLAS BSICAS I. *+ A* -0 B1 r s B* -rst a. 1 - v s C -r s

1+

b. 4 r s 4+ B *-0 B 10 B* -rst B1 - s B4 r s B* 0 B1 - v 0 t B* - 0 B1 B* - v 0 B1 - c B4 0 c B* - 0 r B1 r s B*-0 B1-r

C r svt C -

5+

C r st

7+

C tvs

9+

C- 0

=+

C - 0c -0 s

>+

?+

C rvs

*@+ B* - / - 0 s+ B1 0 **+ B* - 0 B1 r B4 - r s *1+ B* /- 0+ r B1 s t B4 r s *4+ B* - 0 B1 0 r B4 s t B5sv*5+ B* - / 0 r+

C s

C s

C 0vt

C rvt C 0 /- r+

5. EJERCICIOS DE FORMALIZACIN Y DEDUCCIN. *+ $i se admite la teor8a del eterno retorno, se debe admitir la existencia de entidades cor-usculares identificables a trav(s del tiem-o y 0ue se -ueda !ablar de un estado del universo definido en cada instante individual. A!ora bien, no es cierto 0ue !aya entidades cor-usculares -ermanentes y estados del universo definidos en cada instante. Por tanto, la teor8a del eterno retorno es inadmisible. $e admite la teor8a del eterno retorno& $e admite la existencia de entidades...&0 $e !abla de un estado del universo...&r 1+ $i la noc!e es clara, Dr%cula a)itar% sus alas y afilar% sus dientes. $i a)ita sus alas y encuentra mi ventana abierta, -asar%, me des-ertar%, -ero le dar( un fuerte tirn de ore3as. $i afila sus dientes y la encuentra cerrada, montar% en clera, rom-er% los cristales y le dar( un fuerte tirn de ore3as. As8 -ues, si la noc!e es clara y Dr%cula encuentra la ventana abierta o cerrada, le dar( un fuerte tirn de ore3as. La noc!e es clara......Dr%cula a)itar% sus alas......0 Afilar% sus dientes......r 2ncuentra mi ventana abierta......s La encuentra cerrada /no abierta+...... s Pasar%......t Me des-ertar%......< Le dar( un tirn de ore3as......m Montar% en clera......n #om-er% los cristales......; 4+ $i la -ena de muerte ante-one la defensa de la sociedad a la conservacin de la -ersona, entonces, si su-one la destruccin total de la -ersona, im-osibilita la correccin del -enado. Dm-osibilita la correccin del -enado slo si es condenable (ticamente. La -ena de muerte ante-one la defensa de la sociedad a la conservacin de la -ersona. Por tanto, si la -ena de muerte su-one la destruccin total de la -ersona e im-osibilita la correccin del -enado, es condenable (ticamente. La -ena de muerte ante-one la defensa......$u-one la destruccin total de la ......0 Posibilita la correccin del ......r 2s condenable (ticamente......s 5+ $i los !abitantes de Eenus invaden la tierra, entonces los !ombres se -ondr%n nerviosos o las mu3eres se entusiasmar%n. $i los !ombres se -onen nerviosos, las mu3eres se entusiasmar%n. Por tanto, si los !abitantes de Eenus invaden la Tierra, las mu3eres se entusiasmar%n.

Los !abitantes de Eenus invaden......Los !ombres se -ondr%n nerviosos......0 Las mu3eres se entusiasmar%n......r 7+ $i las autoridades -ro!8ben fumar en -i-a a los feos, entonces los )ua-os se alzar%n indi)nados -or0ue no venden -i-as. $i los )ua-os no venden -i-as o las autoridades crean nuevos -uestos de traba3o, entonces la nacin no saldr% de la crisis econmica. La nacin sale de la crisis econmica y los )ua-os no venden -i-as. Por lo tanto, las autoridades no -ro!ibir%n fumar en -i-a a los feos. Las autoridades -ro!8ben fumar......Los )ua-os se alzar%n ......0 Los )ua-os veden -i-as......r Las autoridades crean nuevos......s La nacin saldr% de la crisis......t 9+ $i los filsofos callasen, la nieve 0uemar8a y los c8rculos ser8an cuadrados. $i los c8rculos fuesen cuadrados, entonces los matem%ticos se dedicar8an a cazar bru3as y las abe3as a fabricar acero. Ni los matem%ticos se dedican a cazar bru3as, ni las abe3as a fabricar acero. Por tanto, los filsofos no callar%n. Los filsofos callasen......La nieve 0uemar8a......0 Los c8rculos ser8an cuadrados......r Los matem%ticos se dedicar8an......s Las abe3as se dedicar8an......t

6. EJERCICIOS DE DEDUCCIN NATURAL CON REGLAS BSICAS II 71+ B* - F G 0 H /- H s+I B1 - H 0 F r 74+ B* B1 B4 B5 -H0 0vrHs s H /t H m+ -FJJ t C-Hs

Cm

75+ B* - H G 0 H r F /s v t+I B1 - F /s H m+ B4 0 F / t H ! F n+ 77+ B* / - F 0+ H /r F s+ B1 s H /0 F t+ B4 s F t 79+ B* 0 H s B1 r H s F t

Cmv!

C - H /0 F r+ C - H / 0 v r H s+

7=+ B* J - H 0 B1 J - H J 0 F s 7>+ B* - v / 0 F r+ B1 t v 0 H J /- H t+ 7?+ C /- H 0+ H G/0 H r+ H /- H r+I 9@+ B* - F 0 H / r H s+ B1 J s F r 9*+ B* - H 0 v r B1 0 H r B4 r H s 91+ B* - H J t F s B1 s v r H t 94+ B* C J 0 H J / - F 0+ 95+ A* B1 B4 B5 tH-v0 -HmFs 0HJm s v J m H J /- v 0+

CC J /- H t+

C-HJ0

C-Hs CJ-

C Jt

97+ B* t H - v 0 B1 - H n F s B4 0 H J n

CtHsvJn

99+ B* C /- F 0+ v /r F s+ H G /- v r+ F /- v s+I F G / 0 v r+ F /0 v s+I 9=+ B* B1 B4 B5 -Hmvt mHr tHrFs 0H tF r

C-v0Hr

9>+ A* - H 0 B1 m H r v s B4 r H J 0 B5 s H J 0 F t 9?+ C / - H 0+ F / 0 H r+ H / - H r+ =@+ C /- H 0+ H /- F r H 0 F r+

C J /- F m+

=*+ A* - v J 0 H r v m B1 /r H t v s+ F / n H s+ B1 m F J r H n =1+ C /- H 0+ H G /- H r+ H /- H 0 F r+I =4+ A* - H 0 F r B1 J - H J s B4 J s H r =5+ A* /- F 0 H t+ F J / t v n+ B1 r v s H t F m =7+ C /- H r+ H G /0 H r+ H / - v 0 H r+I =9+ A* /- H s+ F /0 H t+ B1 / s v t H m+ F /r v n H J m+

C J - H GJ /0 v r+ H s v tI

Cr C - H / 0 v r H s+

C-v0HJr

. EJERCICIOS DE DEDUCCIN NATURAL CON REGLAS DERIVADAS. 23ercicio *. Demostrar la validez del si)uiente es0uema de inferencia& /-F0+Hr KKKKKKKKKKKKK 0Hr

23ercicio 1. Demostrar la validez del si)uiente es0uema de inferencia -H0 r v s sHJ0 Jr KKKKKKKKKKKKK J23ercicio 4. Demostrar la validez del es0uema anterior -or el m(todo de reduccin al absurdo. 23ercicio 5. 2s0uematizar la ar)umentacin contenida en el si)uiente texto de Platn / Parmnides+ y demostrar su validez&

$i lo Uno est% en movimiento, (ste !abr% de ser, o de movimiento sin cambio en el estado, o de alteracin. No -uede tratarse de un movimiento de alteracin, -or0ue entonces lo Uno de3ar8a de ser Uno. $i se trata de lo -rimero, tendr8a 0ue ser, o bien de rotacin de lo Uno sobre s8 mismo en el -ro-io lu)ar en el 0ue se encuentra, o bien cambio de un lu)ar a otro. Nin)una de las dos cosas ocurre. Lue)o lo Uno no est% su3eto a nin)6n ti-o de movimiento. -& Lo Uno est% en movimiento. 0& Lo Uno sufre un movimiento sin cambio en el estado. r& Lo Uno sufre un movimiento de alteracin. s& Lo Uno rota sobre s8 mismo. t& Lo Uno cambia de un lu)ar a otro. 23ercicio 7. Demostrar la validez del si)uiente es0uema de inferencia& -H0 r HJrHJt J / s F J r+ tvs KKKKKKKKKKKKKKKK 0 v u 23ercicio 9. Demostrar la validez del si)uiente es0uema de inferencia& rHs - v0 J / J - H s+ KKKKKKKKKKKKKK 0 FJr 23ercicio =. Demostrar la validez del si)uientes es0uema de inferencial. -H /0 H r+ 0 KKKKKKKKKKK -H r 23ercicio >. Demostrar la validez del si)uiente es0uema de inferencia& - L /0 v r+ - H s 0 KKKKKKKKKKKKK s

23ercicio ?. Demostrar la validez del si)uiente es0uema de inferencia&

/- F 0+ H r J /- v 0+ H s -H0 KKKKKKKKK JsHr 23ercicio *@. Demostrar la validez del si)uientes es0uema de inferencial. sLt tvsHJ< < KKKKKKKK **. Demostrar la validez del es0uema anterior -or medio de la reduccin al absurdo. *1. Demostrar la validez del si)uiente es0uema de inferencia& /-F0+Hr / r F s+ H t KKKKKKKKKKKKKK /- F 0 F s+ H t *4. Demostrar la validez del si)uiente es0uema de inferencia& - H /0 H r+ KKKKKKKKKKKK 0 H /- H r+ *5. Demostrar 0ue la ex-resin G / - F 0+ H rI L G /- F J r+ H J 0I es tautol)ica. *7. Demostrar la validez del si)uiente es0uema de inferencia& - H /- H 0+ KKKKKKKKKKKKK -H0 *9. Demostrar la validez del si)uiente es0uema de inferencia& J-HKKKKKKKKKK *=. #esolver la si)uiente ar)umentacin&

B 2m-ecemos, -ues. $i lo uno, Mno es cierto 0ue no -odr8a ser muc!osN -H J 0 BMCmo -odr8a serloN B O entonces no -odr% tener -artes ni ser un todo. J 0 H / J r F J s+ B MPor 0u(N B Por0ue la -arte, -arte es de un todo. B Ciertamente. B MO no es un todo a0uello a lo 0ue no falta -arte al)unaN B Desde lue)o. B O en ambos casos Aya se lo considere como un todo, ya se le considere como dotado de -artesB lo uno !abr8a de ser com-uesto. /r v s+ H t B Necesariamente. B De modo 0ue en ambos casos lo uno resultar8a ser muc!os y no uno. tH0 B Cierto. B Pero necesariamente lo uno no es muc!os sino uno. B As8 es. B Lue)o si lo uno es uno, ni es un todo ni tiene -artes. - H / J r F J s+ A efectos de formalizacin !emos dado -or id(nticos el enunciado Plo uno existe /como tal uno+Q y el enunciado Plo uno es unoQ, es0uematizando ambos -or P-Q. *>. Derivar P /r v s+ H tQ a -artir de P r H -Q, PJ 0 H J rQ, Ps H 0Q, P/- F 0+ H tQ , P J s v -Q, directamente y -or el m(todo de reduccin al absurdo.

*?. Demostrar la validez del si)uiente es0uema de inferencia& /0 v J s+ H t J0Hr -HJs tHs KKKKKKKKKKKK -Hr 1@. Demostrar la validez del es0uema anterior -or el m(todo de reduccin al absurdo. 1*. Demostrar la validez del si)uiente es0uema& /- v 0+ H /r F s+ J/J-vJr+ J t H J / - F s+ KKKKKKKKKKKKKKK t 11. Demostrar la validez del si)uiente es0uema de inferencia&

s H0 KKKKKKKKKKKKKKKKKKKKKKKKKKK G- H /0 H r+ I H G - H /s H r+I 14. Derivar P0Q a -artir de P- F J -Q. 15. Demostrar, -or el m(todo de la reduccin al absurdo, la ex-resin PG- H /0 H r+I L G /- F 0+ H rIQ. 17. Demostrar la validez del si)uiente es0uema de inferencia& - H G / 0 H r+ H sI KKKKKKKKKKKKKKKKKK /0 H r+ H /- H s+ 19. Demostrar la validez del es0uema anterior -or el m(todo de reduccin al absurdo. 1=. Demostrar 0ue la ex-resin RGJ r H J /- F 0+I F / sH -+S H G /s F 0+ H rI es una ley l)ica.

1>. Demostrar la validez del si)uiente es0uema de inferencia& - / 0 t u+ r0 rt ur KKKKKKKKKK rvs 1?. Demostrar la validez del si)uiente es0uema de inferencia. -0 0r st svKKKKKKKKK rvt 4@. Demostrar la validez de la ex-resin anterior -or reduccin al absurdo.

4*. Demostrar 0ue la ex-resin [/ - r+ /0 s+ ] [ /- 0+ /r s+ ] es una ley l)ica. 41. Demostrar la validez del si)uiente es0uema de inferencia& /- v 0+ r KKKKKKKKKKKKKKK /- r+ v / 0 r+ 44. Demostrar la validez del si)uiente es0uema de inferencia. rs -v 0 / - s+ -0 KKKKKKKKK 0 r 45. Demostrar la validez del si)uiente es0uema de inferencia& /-0+r st rs KKKKKKKKKKKKKKK 0vt 47. Demostrar la validez del es0uema anterior -or el m(todo de reduccin al absurdo. 49. Demostrar la validez del si)uiente es0uema de inferencia& -0 / 0 v r+ - v s KKKKKKKKK svt 4=. Demostrar la validez del si)uiente es0uema de inferencia& -0 rvKKKKKKKKKKKK - / 0 r+ 4>. Demostrar la validez del si)uiente es0uema de inferencia& / - 0+ r

rs 0 s KKKKKKKKKKKK 4?. Demostrar la validez de la ex-resin anterior -or el m(todo de reduccin al absurdo. 5@. Demostrar la validez del si)uiente es0uema de inferencia& /- 0+ /r v s+ / t -+ t t 0 KKKKKKKKKKKKKK rs 5*. Demostrar la validez del si)uiente es0uema de inferencia& -v0 rsr ts r0 KKKKKKKKKKKKK t 51. Demostrar la validez del si)uiente es0uema de inferencia& /- 0 r+ s t /s t+ u - /u <+ < KKKKKKKKKKKKKKK /- r+ 0

!. ADIVINANZAS LGICAS Tay una am-lia variedad de adivinanzas relativas a una isla en la 0ue ciertos !abitantes llamados PcaballerosQ dicen siem-re la verdad, y otros llamados PescuderosQ mienten siem-re. $e su-one 0ue todo !abitante de la isla es o caballero o escudero.

19. $e)6n este vie3o -roblema, tres de los !abitantes AA, U, CB se encontraban en un 3ard8n. Un extran3ero -as -or all8 y le -re)unt a A, PM2res caballero o escuderoNQ. A res-ondi, -ero tan confusamente, 0ue el extran3ero no -udo enterarse de lo 0ue dec8a. 2ntonces el extran3ero -re)unt a U. PMVu( !a dic!o ANQ. O U le res-ondi& PA !a dic!o 0ue es escudero.Q Pero en ese instante el tercer !ombre, C, di3o. PWNo creas a U, 0ue est% mintiendo.Q La -re)unta es, M0u( son U y CN 1=. $u-n)ase 0ue el extran3ero, en lu)ar de -re)untarle a A -or lo 0ue (ste era, le di3ese& PMCu%ntos caballeros !ay entre vosotrosNQ De nuevo, la res-uesta de A es ininteli)ible. 2ntonces el extran3ero -re)unta a U, PMVu( !a dic!o ANQ. O U re-lica& PA !a dic!o 0ue !ay un caballero entre nosotrosQ. O C -or su -arte dice, PNo creas a U, 0ue est% mintiendoQ. MVu( son U y CN 1>. 2n este -roblema !ay slo dos individuos, A y U, cada uno de los cuales es o caballero o escudero. A dice& PUno al menos de nosotros es escudero.Q MVu( son A y UN 1?. $u-n)ase 0ue A dice, PX yo soy un escudero o U es un caballeroQ. MVu( son A y UNQ 4@. $u-n)ase 0ue A dice, PX yo soy escudero o en caso contrario dos m%s dos es i)ual a cincoQ. MVu( concluir8asN 4*. Nuevamente tenemos tres -ersonas, A, U, C, cada una de las cuales es o caballero o escudero. A y U dicen lo si)uiente& A& Todos nosotros somos escuderos. U& Uno de nosotros, y slo uno es un caballero. MVu( son A, U, CN 41. $u-n)ase 0ue A y U dicen lo si)uiente& A& Todos nosotros somos escuderos. U& Uno de nosotros, y slo uno, es escudero. MPuede determinarse lo 0ue es UN MPuede determinarse lo 0ue es CN 44. $u-n)ase 0ue A dice, POo soy escudero, -ero U no lo esQ. MVu( son A y UN 45. Eolvemos a tener tres !abitantes, A, U y C, cada uno de los cuales es o caballero o escudero. $e dice 0ue dos -ersonas son del mismo tipo si son ambos caballeros o ambos escuderos. A y U dicen lo si)uiente& A& U es un escudero. U& A y C son del mismo ti-o.

MVu( es CN 47. De nuevo !ay tres -ersonas, A, U y C. A dice, PU y C son del mismo ti-oQ. Al)uien -re)unta entonces a C. P$on A y U del mismo ti-oNQ MVu( res-onde CN 49. Te a0u8 una adivinanza -oco frecuente& adem%s, est% tomada de la vida real. Una vez, cuando visit( la isla de los caballeros y escuderos, encontr( dos !abitantes descansando ba3o un %rbol. Le -re)unt( a uno de ellos. PM2s al)uno de vosotros un caballeroNQ. Yl me res-ondi, y con su res-uesta -ude saber la solucin a mi -re)unta. MVu( es la -ersona a la 0ue diri)8 mi -re)unta, caballero o escuderoN Z y, M0u( es el otroN Puedo ase)urar 0ue !e suministrado informacin suficiente -ara resolver este -roblema. 4=. $u-onte 0ue eres t6, lector, 0uien visita la isla de los caballeros y escuderos. All8 encuentras a dos !abitantes 0ue est%n -erezosamente recostados al sol. Le -re)untas a uno de ellos si el otro es un caballero, y obtienes una res-uesta del ti-o s8BoBno. M$on las dos res-uestas necesariamente las mismas. *@?. Tenemos dos -ersonas A, U, cada una de las cuales es o caballero o escudero. $u-n)ase 0ue A emite el si)uiente enunciado& P$i yo soy un caballero, entonces lo es UQ. MPuede determinarse 0u( son A y UN **@. Al)uien -re)unta a A. P2s usted caballeroNQ. Yl re-lica. P$i yo soy caballero, entonces me comer( mi sombreroQ. Pru(bese 0ue A tiene 0ue comerse su sombrero. ***. A dice. P$i yo soy caballero, entonces dos m%s dos es i)ual a cuatroQ. M2s A caballero o escuderoN **1. A dice. P$i yo soy un caballero, entonces dos m%s dos es i)ual a cincoQ. MVu( concluir8asN **4. Dadas dos -ersonas, A, U, y siendo ambas o caballeros o escuderos, A dice, P$i U es caballero entonces yo soy escuderoQ. MVu( son A y UN **5. Dos individuos, [ e O, estaban siendo 3uz)ados -or -artici-ar en un robo. A y U eran testi)os en el 3uicio, y cada uno de ellos, A, U, es o caballero o escudero. Los testi)os emitieron los si)uientes enunciados& A& $i [ es cul-able, i)ualmente lo es O. U& X [ es inocente o O es cul-able. M$on A y U necesariamente del mismo ti-oN /#ecu(rdese 0ue dos -ersonas de la isla de los caballeros y escuderos se dice 0ue son del mismo ti-o si son o ambos caballeros o ambos escuderos.+

**7. 2n la isla de caballeros y escuderos, tres !abitantes A, U, C est%n siendo entrevistados. A y U dicen lo si)uiente& A& U es caballero. U& $i A es caballero, tambi(n lo es C. MPuede determinarse 0u( son A, U y CN

AMX# O L\ DCA **9. $u-n)ase 0ue los enunciados si)uientes son verdaderos& /*+ Amo a Dsabel o amo a Mar8a. /1+ $i amo a Dsabel entonces amo a Mar8a. M$e si)ue necesariamente 0ue amo a DsabelN M$e si)ue necesariamente 0ue amo a Mar8aN **=. $u-n)ase 0ue al)uien me -re)unta. PM2s realmente verdadero 0ue si amas a Dsabel entonces tambi(n amas a Mar8aNQ Oo res-ondo, P$i eso es verdadero, entonces amo a DsabelQ. M$e si)ue 0ue amo a DsabelN M$e si)ue 0ue amo a Mar8aN **>. 2sta vez tenemos dos c!icas, 2va y Mar)arita. Al)uien me -re)unta, PM2s realmente verdadero 0ue si amas a 2va entonces amas tambi(n a Mar)aritaNQ Oo res-ondo, P$i eso es verdadero, entonces amo a 2va, y si amo a 2va, entonces eso es verdaderoQ& MA 0u( c!ica amo necesariamenteN **?. A!ora se trata de tres c!icas, Ana, Luisa y Diana. $u-n)ase 0ue se dan los si)uientes !ec!os& /*+ Amo al menos a una de las tres c!icas. /1+ $i amo a Ana -ero no a Diana, entonces amo tambi(n a Luisa. /4+ X bien amo a Diana y a Luisa o bien no amo a nin)una. /5+ $i amo a Diana, entonces amo tambi(n a Ana. MA cual de las c!icas amoN *1@. 2ste -roblema, aun0ue sim-le, es un tanto sor-rendente. $u-n)ase 0ue sucede 0ue yo soy o caballero o escudero. Oo emito los dos enunciados si)uientes& /*+ Amo a Linda. /1+ $i amo a Linda entonces yo amo a Cecilia. M$oy un caballero o un escuderoN

9= a. 2n l mercader de !enecia0 de $!a;es-eare, Porcia ten8a tres cofres Auno de oro, otro de -lata y otro de -lomoB, dentro de uno de los cuales estaba el retrato de Porcia. 2l -retendiente ten8a 0ue ele)ir uno de los cofres y si ten8a suerte /o inteli)encia+ ele)ir8a el 0ue ten8a el retrato, -udiendo as8 -edir a Porcia -or es-osa. 2n la ta-a de cada cofre !ab8a una inscri-cin -ara ayudar al -retendiente a ele)ir sabiamente. Pero su-on)amos 0ue Porcia 0uisiera ele)ir marido, no -or su bondad, sino -or su inteli)encia. Tendr8a las si)uientes inscri-ciones en los cofres& ORO 2l retrato est% en este cofre PLATA 2l retrato no est% a0u8 PLOMO 2l retrato no est% en el cofre de oro

Porcia ex-lic al -retendiente 0ue de los tres enunciados, a lo sumo uno era verdad. MVu( cofre debe ele)ir el -retendienteN 9= b. 2l -retendiente eli)i correctamente, as8 0ue se casaron y vivieron bastante felices...-or lo menos durante al)6n tiem-o. Pero un d8a Porcia -ens& PAun0ue mi marido demostr cierta inteli)encia al ele)ir el cofre bueno, en realidad el -roblema no era tan dif8cil. $in duda -od8a !aber -uesto un -roblema m%s dif8cil y !aber conse)uido un marido realmente inteli)enteQ. As8 -ues, se divorci inmediatamente de su marido decidida a casarse con otro m%s listo. 2sta vez en los cofres a-arec8an las si)uientes inscri-ciones& ORO 2l retrato no est% en el cofre de -lata PLATA 2l retrato no est% en este cofre PLOMO 2l retrato est% en este cofre

Porcia ex-lic al -retendiente 0ue -or lo menos uno de los tres enunciados era verdadero y 0ue -or lo menos otro era falso. M2n 0u( cofre est% el retratoN 9>. O Porcia le !izo -asar -or 1'. 2)34%*. 5-.& a+ P)$54)* 2)34%*. 2n (sta las ta-as de los cofres ten8an dos enunciados, y Porcia ex-lic 0ue nin)una de ellas ten8a m%s 0ue un enunciado falso. ORO /*+ 2l retrato no est% a0u8 PLATA /*+ 2l retrato no est% en el de oro PLOMO /*+ 2l retrato no est% a0u8

/1+ 2l artista 0ue !izo el retrato es veneciano M2n 0u( cofre est% el retratoN

/1+ 2l artista 0ue !izo el retrato s8 es florentino

/1+ 2l retrato s8 0ue est% en el cofre de -lata

b+ S4(361* 2)34%*. Porcia ex-lic 0ue en una de las ta-as los dos enunciados eran verdaderosZ en otra ambos eran falsos, y en la tercera uno era verdadero y otro falso& ORO /*+ 2l retrato no est% en este cofre /1+ 2st% en el de -lata M2n 0u( cofre estaba el retratoN PLATA /*+ 2l retrato no est% en el de oro /1+ 2st% en el de -lomo PLOMO /*+ 2l retrato no est% en este cofre /1+ 2st% en el de oro

P#2$2NTAMX$ A U2LLDND O C2LLDND /Las tres -ruebas definitivas+ Todos los cofres de Cellini tienen una inscri-cin falsa mientras 0ue los cofres de Uellini tienen una inscri-cin verdadera.

9? a. Primera -rueba.

2n vez de un retrato, Porcia meti una da)a en uno de los cofres y de3 los otros dos vac8os. $i el -retendiente conse)u8a evitar el cofre de la da)a, -od8a -asar a la -rueba si)uiente. Las inscri-ciones rezaban as8& ORO La da)a est% a0u8 PLATA 2ste cofre est% vac8o PLOMO Todo lo m%s uno de estos tres cofres lo !izo Uellini

MVu( cofre ten8a 0ue ele)irN

9? b. $e)unda -rueba. Porcia utiliz slo dos cofres, el de oro y el de -lataZ uno de ellos conten8a su retrato /en esta -rueba no utilizaba da)a+. Los cofres eran obra de Cellini o de Uellini y en ellos se le8a&

ORO 2l retrato no est% a0u8

PLATA Uno y nada m%s 0ue uno de estos dos cofres es obra de Uellini

MCu%l ten8a 0ue ele)ir el -retendiente -ara !allar el retratoN 9? c. Tercera -rueba Porcia coloc su retrato en uno de los tres cofres y el -retendiente !ab8a de /*+ ele)ir el cofre 0ue tuviera el retrato y /1+ adivinar el autor de cada uno de los cofres.

ORO 2l retrato 2st% a0u8

PLATA 2l retrato est% a0u8

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

MCu%l es la solucinN

".E#MENES. Nombre& A-ellido& Curso& *+ #e)las b%sicas y re)las derivadas. 2x-licar, -oner e3em-los y deducir al menos una re)la derivada. Demostrar si la si)uiente frmula es contin)ente, contradictoria o tautol)ica mediante tablas de verdad. 1+ / r ] s H t ^ u+ H / t ^ J t +

Demostrar -or reduccin al absurdo si las si)uientes frmulas son v%lidas& 4+ J 0 ] / 0 ^ r + ] 5+ / - H 0 + ] Deducir& / - H 0 + H / J - ] r+

J/ J 0 ^ Jr + H 0

7+ B* - H J / 0 ] r+ C 0 ] r H J -

9+ :ormalizar y deducir& P$i la noc!e es clara, Dr%cula a)itar% sus alas y afilar% sus dientes. $i a)ita sus alas y encuentra mi ventana abierta, -asar%, me des-ertar%, -ero le dar( un fuerte tirn de ore3as. $i afila sus dientes y la encuentra cerrada, montar% en clera, rom-er% los cristales y le dar( un fuerte tirn de ore3as. As8 -ues, si la noc!e es clara y Dr%cula encuentra la ventana abierta o cerrada, le dar( un fuerte tirn de ore3as. La noc!e es clara...Dr%cula a)itar% sus alas...0 Afilar% sus dientes...r 2ncuentra mi ventana abierta...s La encuentra cerrada /no abierta+...J s Pasar%...t Me des-ertar%...< Le dar( un tirn de ore3as...m Montar% en clera...n #om-er% los cristales...;

Nombre: Apellido: Curso:

*+

B* B1 B4 B5

-Hmvt mHr tHrFs 0H tF r

C -v0Hr

1+

A* - H 0 B1 m H r v s B4 r H J 0 B5 s H J 0 F t C

J /- F m+

4+

/- F 0+ v /r F s+ H G /- v r+ F /- v s+I F G / 0 v r+ F /0 v s+I

5+ 7+ 9+

C C

/ - H 0+ F / 0 H r+ H / - H r+ /- H 0+ H /- F r H 0 F r+ A* - v J 0 H r v m B1 /r H t v s+ F / n H s+ B1 m F J r H n

J - H GJ /0 v r+ H s v tI

=+

C /- H 0+ H G /- H r+ H /- H 0 F r+I

>+

A* - H 0 F r B1 J - H J s B4 J s H r A* /- F 0 H t+ F J / t v n+ B1 r v s H t F m C /- H r+ H G /0 H r+ H / - v 0 H r+

C r

?+

C - H / 0 v r H s+

*@+