Todo C es A 1.1 Actividades: lgica de enunciados 1.- Decir cules de las siguientes frases son enunciados: 1.

El pobrecillo resoplaba como una mquina de vapor. 2. Ay, Seor !, Madre ma ! 3. Prosiguieron cantando durante algn rato. 4. Qu hars cuando te suspenda? 5. Jaume amonesto a los alumnos. 6. Sabes cual es el precio del poder ? 7. Caminando siempre se llega a alguna parte. 8. El alumno comprendi lo arduo de su tarea. 2.- Indicar si se trata de un enunciado atmico o molcula, simbolizndolos mediante una variable proposicional. 1. All, entre las sombras, he visto brillar un rayo de luz 2. Hoy no ser fa, maana tampoco. 3. La brisa del crepsculo comenzaba a acariciar tu frente 4. La felicidad y no el placer es el fin de todo ser humano 5. O te vas o te mato 6. No es cierto que no te escucho. 7. Todava no tienes edad para ser impertinente. 3.- Simbolizar los siguientes enunciados 1. llegu, vi , venc. 2. Juan sigue estudiando y Laura se ha casado. 3. Me van bien los estudios pero no apruebo. 4. Ni puedo prohibirlo ni puedo tolerarlo. 5. Cantaban, bailaban, jugaban y rean. p r q s 6. O te callas o te sacudo. 7. O estudias y trabajas o sers un desgraciado. 8. Ya sea por el estudio, ya sea por la suerte, aprobaras. 9. O es imbcil o lo parece. 10. Si me invitan, ir. 11. Si hoy es fiesta maana no ser martes. 12. Hace fro, luego no es verano. 13. Si no crees en Dios pero blasfemas, te ests contradiciendo. 14. Un pueblo es democrtico si y slo s hay elecciones libres. 15. La suma de los ngulos de un tringulo equivale a 180. 16. Tener malos pensamientos equivale a practicarlos. 4.- Cmo colocaremos los parntesis si la conectiva dominante ha de ser la conjuncin ? p r q p r q

r t s t p q

5.- Qu formas dominantes tienen los siguientes enunciados ? 1. pq(r s) 2. (a b)c 3. [(pq) (qr)](pr) 6.- Simbolizar ( utilizando si es preciso los parntesis ) los siguientes enunciados y decir cul es la conectiva dominante. - La mejor comunidad poltica es la formada por los ciudadanos de la clase media ( Aristteles ) 5.1.1.1.1 - Nos creemos que estamos iniciados en los secretos de la naturaleza y en realidad estamos tan slo en el umbral del templo ( Sneca ). 5.1.1.1.2 - Es imposible que una misma cosa sea y no sea. 5.1.1.1.3 - Si un pueblo est obligado a obedecer y obedece, hace bien, y si puede sacudir el yugo y lo sacude, hace aun mejor ( Rousseau ) 5.1.1.1.4 - Si en una Repblica el pueblo en peso detenta el poder soberano, se trata de una democracia, y si el poder soberano est en manos de una parte del pueblo, se llama aristocracia ( Montesquieu). 5.1.1.1.5 7.- sustituir la variables metalingsticas por frmulas ( colocando parntesis si las precisan ). - Es falso X e Y - X e Y son falsos - No es posible ni X, ni Y - Si no X y no Z, entonces W - De A y B se deduce C - C se sigue de A y no B .8.- Simbolizar
1- Este es un televisor Saba. Si es Saba funcionara de maravilla y si funciona de maravilla la imagen no saldr borrosa e invertida. Pero la imagen sale borrosa e invertida. As que ms vale que lo tire a la basura y me compre un molinillo de caf.

- 2- Si el pncreas no segregase la suficiente insulina apareceran sntomas de diabetes. Y si la glndula suprarrenal produjese adrenalina en exceso sucedera lo mismo. En este caso no aparecen sntomas de diabetes. De ah que el pncreas segrega la suficiente insulina y que la glndula suprarrenal no se excede en sus funciones.

- 3- Si utilizo un ampermetro averiguare la intensidad de la corriente que atraviesa un circuito. Si utilizo un voltmetro medir la diferencia de potencial existente entre dos puntos del mismo. Si averiguo la intensidad y la diferencia de potencial podr calcular la resistencia elctrica del conductor. Dispongo de un ampermetro y de un voltmetro, luego podr calcular la resistencia elctrica del conductor.

4- Si estudio, aprobar la lgica. Si apruebo la lgica pasar de curso o me matricular en la Escuela de Solteros de oro. No es cierto que no estudie o no sienta inters por la asignatura. Por tanto, no es posible que no pase de curso y que no me matricule en la escuela de solteros de oro.

5- Si el movimiento fuera posible entonces el ser que corre ms despacio sera tambin el ms veloz, puesto que en una carrera nunca sera alcanzado por su perseguidor dado que ste debera primero alcanzar el unto del cual ha partido el fugitivo. En consecuencia, el movimiento es imposible.

6- En una situacin de crisis econmica, el ndice de natalidad desciende. Si avanza la medicina, las expectativas de vida sobrepasan los 70 aos. Si el ndice de natalidad desciende y las expectativas de vida superan los 70 aos, en cuestin de unas dcadas se obtiene una sociedad donde predominan las personas maduras. La crisis econmica es un hecho y los avances de la medicina son continuos. En consecuencia no es pensable que pasen unas dcadas y no tengamos una sociedad anciana.

7.- Si te gusta el Pato Donald, eres de los mos. Y si eres de los mos Goffy te volver loco. Si te vuelve loco Goffy, Snopi te entusiasmar. Si te entusiasma Snopi, el conejo de la suerte te puede matar de risa O sea, y resumiendo, si te gusta Pato Donald, el conejo de la suerte te puede matar de risa.

8.- Es cierto que toda clase de bachillerato es todava de parvulario o que todo alumno inscrito en 1 de Bachillerato tiene derecho a suspender. Sin embargo concluimos que no es el caso que los cursos de bachillerato sean de parvulario y que el alumno inscrito en el 1 de bachillerato no tenga derecho a suspender

9.- Si los apuntes estn inspirados por el profesor, todo lo que en ellos se afirme ha de ser verdadero. Por tanto, no es posible que los apuntes estn inspirados por el profesor y no sea verdad lo que en ellos se afirme.

10.- O los besugos no son una raza a extinguir o el libro est equivocado. Si el libro est equivocado, el alumno tendr razn. Por tanto, si los besugos son una raza a extinguir el alumno tendr razn.

11.- Si un reptil fuera humano, tendra coche y podra ir al cien. Pero o carecen de coche o no pueden ir al cine. En consecuencia, un reptil no es un ser humano.

12.- No es cierto que Vctor sepa Etnologa o domine el tema de las musaraas. si no sabe etnologa no ha podido estudiar el comportamiento del alumnado. Sin dominar el tema, tampoco ha podido tomar posesin de una ctedra. Por lo tanto, no es posible que Vctor haya estudiado el comportamiento del alumnado o haya tomado posesin de la ctedra.

- 13- Todo miembro de una especie es tambin miembro del gnero del que esa especie ha sido extrada, y que posee la diferencia de la especie.

- 14- La divisin es un proceso mental por el cual pensamos en una determinada clase de cosas e imaginamos que la hemos divido en dos o ms clases inferiores

- 15- La lgica formal se ocupa de la forma de las proposiciones o se ocupa de las equivalencias.

- 16- O Oscar es un alumno eficiente o no hay pruebas documentales del caso contrario. - 17- Si viene el director tcnico y no viene el profesor de filosofa entonces tenderemos que preparar una manifestacin de protesta y nos negaremos a dar clase . - 18- Si persigues a la mujer de tu prjimo entonces o bien te sales con la tuya o bien el prjimo de agarra por el cuello.

- 19.- Si convoco una eleccin y la gano, la eleccin es justa y necesaria, pero si la pierdo, entonces mis enemigos han hecho trampa.

10.- Indicar debajo de cada conectiva la verdad o falsedad de los enunciados teniendo en cuenta los valores de verdad o falsedad de sus miembros . pq V F p q F F p q F V pq (pq) (pq) V V F V F F (pq) V F

11.- Elaborar las tablas de verdad de los enunciados siguientes: - (p q) r) (p - (p q) p - p (p q)

12.- Simbolizar y hallar la tabla de verdad de los siguientes enunciados : 1. Si es cierto que el carcter del espritu y las pasiones del corazn son extremadamente diferentes en los diversos climas, entonces las leyes debern ser relativas a la diferencia de esas pasiones y a la diferencia de esos caracteres.

2.

" Evitaremos la invasin extranjera y evitamos el dao del prjimo si, y slo si, conferimos todo el poder en un slo hombre o se lo conferimos a una asamblea "

3.

" Si, y slo si, una hiptesis es verificada, podremos considerarla como teora cientfica aceptable, y si no es verificada, entonces revisaremos su contenido".

4.

La fe ciega en el poder del hechicero provoca en el embrujado un sentimiento agnico de ansiedad, y si el embrujado se queda a solas con su agona mental, entonces se desconecta de todos los apoyos sociales que podran ayudarle a superar la crisis".

5.

Si de pronto cayera en este mundo un ser de otro planeta, yo le enseara, como espcimen de sus males, un hospital lleno de heridos y un campo de batalla desbordante de cadveres.

13.- Simbolizar los siguientes enunciados

1. 2. Si "a" y "b" son dos elementos distintos, no puede suceder a la vez que "a" se relacione con "b" y que "b" se relacione con "a". Tenemos observado que cualesquiera objetos que son diferentes, son distinguibles, y que cuantos objetos son distinguibles, son separables por el pensamiento y la imaginacin. Y podemos aadir que estas proposiciones son igualmente verdaderas a la inversa y que cualesquiera objetos que son separables, son tambin distinguibles, y que cuantos objetos son distinguibles, son tambin diferentes. Se dice que un cuerpo est uniformemente acelerado cuando partiendo del reposos adquiere, durante intervalos iguales, incrementos iguales de velocidad. Suponiendo que alguien pudiera abarcar con el ojo irnico e independiente de un dios epicreo la comedia prodigiosamente dolorosa y tan grosera como sutil del cristianismo europeo, yo creo que no acabara nunca de asombrarse y de rerse. Los grados de velocidad adquiridos por el mismo mvil sobre planos de diversa inclinacin son iguales si son iguales las alturas de los diversos planos . Quien me comprenda acaba por reconocer que mis proposiciones carecen de sentido, siempre que el que comprenda haya salido a travs de ella fuera de ellas. Todo numero racional se puede escribir como un decimal finito o como un decimal peridico infinito.

3. 4. 5. 6. 7.

8. Si es un da festivo entonces salimos al campo. No salimos al campo, luego no es un da festivo. 9. Si no hace fro, sube la temperatura y aumenta la venta de ventiladores. Es cierto que hace calor, por tanto sube la temperatura y aumenta la venta de ventiladores. 10. O ahorro el sueldo del mes o lo gasto para vivir.. Si lo ahorro, no puedo vivir. Pero si quiero vivir no puedo ahorrar . Por tanto no es posible vivir y ahorrar. 11. Ese lapso, corto quiz si se le mide por el calendario, es interminablemente largo cuando, como yo, se ha galopado a travs de l. ( Si se le mide por el calendario, entonces ese lapso de tiempo es corto, y si se ha galopado , como yo, a travs de l, entonces es interminablemente largo). 12. O el mtodo es inductivo o es deductivo. Pero, si el mtodo es inductivo, se partir de observaciones sensibles y luego se establecer una hiptesis provisional. Si el mtodo es deductivo, se partir de postulados, axiomas y leyes generales. En cualquier caso, o se partir de observaciones sensibles y luego se establecer una hiptesis provisional, o se partir de postulados, axiomas o leyes. 13. O apruebas el examen o lo suspendes. Si lo apruebas tendrs una oportunidad de pasar el curso pero si lo suspendes carecers de ella. Si apruebas posiblemente fracasaras en la siguiente prueba y no podrs obtener el ttulo. En conclusin o se reforma el sistema o en ambos casos no podrs obtener el ttulo. 14. Si la humanidad continua consumiendo carne, necesitar ms de 5 kg. de vegetales diarios para alimentar a los animales herbvoros que se la proporciona. Si la poblacin continua aumentado, ser necesario multiplicar la produccin de vegetales dedicada a la alimentacin de herbvoros. Por el momento es impensable que la humanidad deje de ser carnvora o que la poblacin deje de aumentar. En consecuencia, si no multiplicamos la produccin de vegetales dentro de unos aos tendremos una humanidad subalimentada. 15. O copio estos problemas o el examen est suspendido. Si el examen est suspendido, la asignatura tambin. Por tanto si no copio los problemas puedo despedirme del prximo curso . 16. Si esta figura es un tringulo entonces tiene 3 lados y 3 ngulos. Ahora bien, o esta figura no tiene 3 lados o no tiene 3 ngulos. Luego esta figura no es un tringulo. 17. Si los asalariados gastan todo lo que ganan se exponen a hundirse en la miseria. pero si los asalariados ahorran, favorecen los ingresos de la clase financiera. A pesar de todo, o los asalariados se gastan todo lo que hagan o ahorran. En consecuencia, o se exponen a la miseria o favorecen los intereses de la clase financiera. 18. Los modificadores que acompaan al ncleo del sujeto pueden estar formados por una palabra o por ms de una. si el modificador consta de una palabra, es modificador directo, si no stas se organizarn en sintagma endocntrico o en sintagma exocntrico. si el modificador es un sintagma endocntrico, el modificador es directo. Si es un sintagma exocntrico entonces el modificador es indirecto. Por tanto, los modificadores que acompaan al ncleo son directos o indirectos.

14.- Determnese el orden y el grado de consistencia de las siguientes frmulas : 1. q p 2. (p q) 3. p p 4. p(pq) 5. (pq)p 6. [(pq)q]p 7. (pq)(q p) 8. (p q)r

15.- Indquese cul de las siguientes frmulas es implicada por " p" 1. p 2. p 3. p q 4. p q 5. pq 16.- Determnese cul de las siguientes frmulas es implicada por : (pq); 1. p q 2. (p q) 3. (pq) 4. (qp) 17.- Mediante el procedimiento de reduccin al absurdo, probar la validez de las siguientes reglas de inferencia: 1.- x ____ x 2.- x(yz) ___________ (x y)z 3.xy yz ________ xz 18.- Mediante el procedimiento de la prueba de independencia, demostrar la validez o no de los siguientes argumentos : ( 1 ) 1.pq q ______ p 2.p q q _______ p 3.p q pr qr ___________ r r 19.- Ejercicios de aplicacin de la EI o del MT ( por separado o combinados )con ms de dos premisas. 1) 2)

p [(a c] b) a b p ________ c

p q (p q)r r(st) s ___________ t

3) 4) pq pq (a b)c r q(a b) s(t v) c (r s) t (p q) _______ ________ r s t v 5) Si fue multado en el metro, entonces iba fumando o levaba el cigarro encendido. Fue multado en el metro. Luego iba fumando o llevaba en cigarrillo encendido. 6) (a b) (r s) (p q) (p (a q) b) t (r s) _______ t 7) (p q)r s t r t(p q) _________ s

8) Los ciegos pueden comprender la geometra. si fuera necesaria la visin para cmprender la geometra, entonces los ciegos no la comprenderan. conslusin: la visin no es necesaria para comprender la geometria. 9) 10) (p q)(r s) [(pq)r]s (a b)(r s) tq t c s (a b)c r p q p ______ _________ t t 20.- ) Ejercicio : resolver, por aplicacin del S.D. las siguientes deducciones : a) b) c) p q p(q r) p q q s t p r r p p s q _____ q r r(s t) r ______ (s a t) t _________ a 21.- Resolver, por aplicacin de E.I, M.T, y S.D, las siguientes deducciones :

a) pq ps s q t ________ t c) s r rt (p q) (a b)t (p s q) ________ a b

b) pq rs r p as q ___________ a

10

22.- Resolver los siguientes problemas de inferencia por la aplicacin de las reglas anteriores y las del Dilema , Silogismo Hipottico, y Introduccin y Eliminacin del conjuntor. a) b) c) rq p q p p b) (a (r s)t qs (c d)q pr a(s t) ac at p(q r) r s qs rt p ab a c) (b st ______ ________ bd b (b c) mt ________ m d) e) f) (p q)r t q (ab) pq qr p (bc) s t (pq)t (ac)d qr (pr)(a b) p q at a _________ ______ _________ d a (b c) 23) Resolver a) b) c) p(q r) pq qr qr rq (pr)(a b) rs _______ pq ______ (p r) b c ps ________ c 24) simbolizar y resolver los siguientes argumentos -Si los jvenes socialistas espaoles apoyan a Felipe, entonces reunucian a su programa de reivindicacione. Y si combaten a Felipe, entonces favorecen a Aznar. Pero una de dos : o apoyan a Felipe o lo combaten. Por consiguiente, habran de renunciar a su programa de reivindicaciones o favorecer a Aznar. - Si dos gases tiene la misma temperatura, entonces sus molculas tiene el mismo promedio de energa cintica. Volmenes iguales de dos gases tienen el mismo nmero de mleculas. Las presiones de dos gases son iguales si es el mismo su nmero de molculas y sus energis cinticas son iguales. Por consiguiente , si dos gases tiene la misma temperatura y el mismo volumen, tiene la misma presin . - Si no hay control de nacimientos, entonces la poblacin crece ilimitadamente. Pero si la poblacin crece ilimitadamente, aumenta el ndice de pobreza. Por consiguiente, si no hay control de nacimientos, aumentar el ndice de pobreza.

11

25) Resolver el siguiente argumento 1. p(q r) 2. qr 3. rs _______ ps 26) Resolver, mediante el mtodo de reduccin al absurdo, los siguientes argumentos. a) b) c) pq p q (p q) rq tp rp _____ (q r) qr (p r) _______ _______ t p d) e) f) (p q) (q r) (p q) qr tp __________ rp p q p q _____ _____ r t 27 ) Sabras resolver los siguientes problemas lgicos? 1. Las hermanas Dobler Son gemelas, tan parecidas que resulta imposible distinguirlas. Angelines Dobler dice siempre la verdad; en cambio su hermana Mara miente siempre, por sistema. Por eso, todo el que quiera saber con cul de las dos est tratando debe ingenirselas para averiguarlo. De nada sirve preguntarles su nombre. Sabras explicar por qu ? 2. Don Marcelin Claraboy Es el caballero que durante algn tiempo cortej a la seorita Angelines Dobler. Don Marceln, aficionado a la lgica, ide un mtodo para descubrir con rapidez la identidad de las gemelas. Se diriga a culaquiera de ellas y le preguntaba : - Si su hermana le preguntase cmo se llama, qu me respondera ? Sabras demostrar la efectividad de la pregunta ? 3.- Corazn loco. Angelines Dobler est agobiada por problemas amorosos. No se aclara. Si ama a Pierre, no ama a don Marceln Claraboy, pero si no ama a don Marceln, ama a Roberto. Si ama a Roberto deja de amar a Vicente, pero si no a ama aVicente, entonces ama a Francisco, el lechero de la esquina. Angelines, por favor, la increpamos, es que no ests segura de tus sentimientos.? Una cosa es segura - nos responde -. Estoy segura de que amo a Pierre. Podras ayudarla aclarando sus ideas ? 4) El detective Martnez.

12

Don Marceln acudio a un detective privado para someter a vigilancia a la seorita Angelines, pero antes de aceptar el caso el detective, enterado del poder de deduccin de don Marceln, le plantea un enigma: - En cierta ocasin - comenz Martnez - me asoci con los detectives " Fernndez y Gutirrez " con la finalidad de repartirnos el trabajo : mientras alguno de nosotros permanecera en la oficina atendiendo a los clientes, el resto saldra para llevar a cabo las tareas de investigacin. Como desde un principio me negue a trabajar con Gutirrez, no viene el caso ahora explicar por qu, Fernndez organiz el reparto de la siguiente manera : - Siempre que Fernndez se quedara en la oficina, yo podra salir a investigar. - Cada da, o Fernndez o Gutirrez se quedaran en la oficina, pero no ambos. - Finalmente, yo no saldra a investigar con Gutierez, tal como haba solicitado. - Las condiciones me parecieron aceptables y no me opuse . Sin embargo, al poco tiempo comprend mi error y me separe de ellos. Sabra usted explicarme por qu ? 5.-) Un caso imaginario. Han robado y asesinado a lady Synopsis. Nuestro detective se enfrenta a los tres sospechosos ( el jardinero, el marido y el mayordomo ) sabiendo que : 1. El ladron y elasesino no son la misma persona. 2. Quien ni robo ni asesino miente siempre, por sistema. Para esclarecer el caso, Martinez presciede del detector de mentiras y se enfrenta directamente con las declaraciiones de cada uno de los sospechosos. -El marido : " Yo no mat a mi mujer ". - El jardinero : " Lo confieso, he sido yo. La mate porque no era ma". - El mayordomo : " Slo dir una cosa : yo no he robado las joyas ". Quien es quin ? Martinez soluciona el problema y descubre que lady Synopsis engaaba a su marido. Quin era su amante ?

28.- )A la caza del cliente. Que el detective Martinez tiene una forma peculiar de entender su profesin es algo que nadie discute. de omento busca un crimen como paso prvio a la bsquedad de un criminal: sale de casa por la maana y llama a cualquier puerta que le parece sospechosa. En cuanto le abren, larga el siguiente discurso : - Si se hubiese cometido un crimen en esta casa, ustedes habrian necesitado los servicios del detective Martnez. Y si lo hubiesen necesitado, habran querido poonerse en contacto telefnico con el. Si hubiesen querido telefonearle, habrn buscado su nmero en las pginas amarillas, habrna descolgado el auricular y habran marcado el nmeo en el dial. - Si hubieran hecho todo esto habrina estado perdiendo el tiepo. Pero ustedes niegan haber perdido el tiempo de esa manera, as que concluyo que en esta casa no de ha cometido crimen alguno. Adios, buenos dias y perdonen. - formaliza el argumento de Martnez y demuestra que razona de manera impecable. 29.- ) El viaje a Transilvania

13

Angelines Dobler ha sido invitada por el gobierno rumano a un viaje de placer por los Crpatos. Don Marceln Claraboy, para disuadirla, le argumenta lo siguiente: Angelines, si viaja a Transilvania puede encontrarse con l y caer en sus garras. Si esto sucede no volver a verla a usted nunca ms. Y yo deseo verla. Por favor, Angelines, no vaya. Pero con sus palabras, don Marceln produce un efecto contrario al que pretenda: la seorita Dobler sonre y de sus labios escapa un sutil razonamiento. De modo que slo si no voy a Transilvania dice- no me encontrar con l. En efecto asiente don Marceln. Y slo si no me encuentro con l, no caere en sus garras. En sus terribles garras, as es. Y slo en el caso que no caiga en sus terribles garras, no le perder a usted de vista para siempre. Correcto apunta don Marceln con disimulada satisfaccin. Y slo si no le pierdo a usted de vista me ver obligada a pasar las tardes con usted merendando chocolatito y hablando de estupideces. Cmo dice? pregunta don Marceln con inquietud. Pues que me niego a tal obligacin grita la Dobler, se levanta y concluye con energa. Me voy a Transilvania! ( A don Marceln le da un soponcio) Formaliza por separado las argumentaciones de Don Marcelin y Angelines

30.-) Las decisiones de don Marceln Don Marceln destrozado tras la marcha de Angelines, reflexiona acerca de cmo actuar en el caso de que su amada regrese: - No es posible que Angelines vuelva y yo no vaya a visitarla. No es cierto que vaya a visitarla y no la enve a paseo. No es cierto que la enve a paseo y no busque nuevas amistades. No es posible que busque nuevas amistades y nos las encuentre No cabe la posibilidad de que las encuentre y no les dirija la palabra. Ni tampoco cabe la posibilidad que les dirija la palabra y no me escuche. Y, finalmente, si me escuchan, tendr la prueba fehaciente de mis condiciones innatas para la poltica parlamentaria. ( A estas alturas, don Marceln ya es capaz de sonrer con satisfaccin) - Decidido! Si Angelines regresa, me dedicar a la poltica. (Pero la sombra de la una duda se introduce en su cerebro: si Angelines vuelve, se dedicar a la poltica, pero y sin no vuelve? Y otra cos, cmo demonios se introduce en un cerebro la sombra de una duda A estas dos cuestiones dedicar don Marceln las prximas 7 horas) Por lo pronto, t puedes formalizar su razonamiento si deseas que, para siempre, quede grabada en tu cerebro la regla de interdefinicin del condicionador.

14

31.- ) Don Marceln no titubea Tras largas horas de reflexin, Don Marceln argumenta lo que har si no regresa Angelines: -O Angelines regresa oha cado en las garras del terrible transilvano. Si regresa, como ya decid, me dedicar a la poltica. Si ha cado en sus garras, compondr un hermoso panegrico a su infausta memoria. Ahora bien, no se pueden componer hermosos panegricos y no dedicarse a la poltica. En consecuencia, si no regresa, me dedicar, igualmente, a la poltica. Satisfecho por su talentuda decisin, don Marceln abandona el silloncito y marcha en busca del vecino para ir haciendo campaa. Formaliza sus reflexiones. 10) El Detective Martnez especula Con objeto de ejercitar su capacidad lgica, Martnez pasa las tardes de domingo resolviendo casos imaginarios. l mismo se plantea supuestos, las coartadas de los sospechosos y las pistas que le permitan solucionar el enigma. Cuando halla la solucin se premia con un gin-tonic. Si no la encuentra, se pone la televisin. En el caso que hoy nos ocupa dispone de los siguientes datos: - O el crimen se cometi de noche en la ms absoluta oscuridad o el principal sospechoso es ciego. - Pero, o el principal sospechoso no es ciego o miente al declarar que no vio nada. - Pero, o miente o el detector de mentiras Martnezs est estropeado. - El caso es que el citado detector es infalible (no puede estas estropeado jams) Miente o no miente el sospechoso? Es ciego o no lo es? Se cometi el crimen de da o de noche? Formaliza sus reflexiones y resuelve el enigma.

15

R E G L A S B S IC A S D E L C L C U L O D E JU N T O R E S R E G L A S D E IN T R O D U C C I N II ( T D ) A . . . B A IC A B
V

R E G L A S D E E L I M I N A C I N EI ( M P ) A B

IM P L IC A D O R

A B

B EC 1 C O N JU N T O R B V A A B A EC 2 B V B

A V B
D IS Y U N T O R ID 1 A A V B ID 2 B A V B A . . C B . . C C N EG ADO R IN A . . B EN A B A V A

16

REGLAS DERIVADAS

MODUS TOLLENS (MT)

SILOGISMO

SILOGISMO DISYUNTIVO

MT

A B B ______ A
DILEMA 2

SIL AB B C _______ A C
DILEMA 3

SD

A B A ________ B

DILEMA 1

DILEMA 4

Dil 1 AB A C B C C

Dil 2 AB A C A C C

Dil 3 AB AC B D C D

Dil 4 AB C A D B C D

Leyes de Interdefinicin y de Morgan ( Son reglas que establecen equivalencias lgicas entre frmulas, es decir, permiten traducir unas conectivas por otras) Definicin del implicador DI 1 DI 2 A B A B (A B ) A B Definicin de la conjuncin DC 1 DC 2 A B A B (A B) (A B) Definicin de la disyuncin DD 1 DD 2 A B A B AB (A B) Leyes de Morgan DM 1 DM 2 (A B) (A B) A B A B ESTRATEGIAS El uso de las reglas bsicas, es en principio suficiente para resolver todo problema deductivo que tenga solucin en lgica de juntores.

17

El empleo concreto de dichas reglas en la resolucin de un argumento puede atenerse al siguiente plan : 1.- En primer lugar hay que asegurarse de que el argumento est debidamente formulado. Si se encuentra expuesto en lenguaje informal, ser convenientemente traducido a lenguje simblico. 2.- Una vez dispuestas en columna, y debidamente numeradas las premisas inicales, se intentar extraer de ellas por sucesivas inferencias inmediatas la conclusin o frmulas que nos aproximen a ella. 3.- Eventualmente, cabe el recurso a suposiciones subsidarias de tipo directo : a) Si la conclusin o la frmula que de momento interese establecer tiene la estructura de una implicacin, puede introducirse como suposicin provisonal el antecedente de la misma, con lo cual se reduce el problema a obtener el consecuente de ella y luego establecer, por teorema de deduccin, la frmula deseada, al tiempo que se descarga el supuesto ( Si el consecuente en cuestin tuviese tamben la estructura de una implicacin, se podra proceder tambin del mismo modo ). b) si en las premisas a utilizar figura una disyuncin, se darn provisonalmente por supuestos cada uno de sus extremos y se tratar de deducir de cada uno de elos la conclusin o la frmula que de momento interese establecer ( prueba por casos ). 4.- siempre que fallen otros intentos cabe recurrir a la deduccin indirecta : se supone provisionalmente la negacin de la frmula que interese establecer y se intenta extraer de esa negacin una contradiccin; el rechazo de esta contradiccin nos proporcionar la frmula deseada

18

Resuelve estos problemas lgicos 1.-) Este tablero representa un cuadrado mgico. Ya sabes que en estos tableros la suma de los nmeros de cada columna ofrece el 4 5 2 1 3 mismo resultado. 3 1 9 2 4 Sabiendo que no puedes repetir las cifras en la misma columna, qu nmeros 2 5 1 3 9 debes colocar en los espacios en blanco 9 3 2 5 para que todas las columnas, incluidas las diagonales, sumen lo mismo? 5 3 4 9 1 9 1 5 4 2.-) La otra noche mi to Heriberto estaba leyendo un libro y, aunque mi ta le apag la luz, l continu leyendo como si nada. Podras explicar por qu? 3.- )Puede don Fermn, que no es catlico, casarse con la hermana de su viuda? 4..-) Qu hay que colocarle a algo para convertirlo en un perro? 5.- ) Si en un cajn del armario tenemos diez pares de guantes negros y diez de guantes marrones y no tenemos luz en la habitacin, cul es el menor nmero de guantes que debemos coger para tener la seguridad de que obtenemos un par del mismo color? 6.- Es fcil expresar el nmero 6 mediante tres cifras iguales, por ejemplo: 2+2+2=6. Se te ocurre cmo hacerlo con tres treses, tres cuatros, tres cincos, tres seises, etc.? 7.-) Cinco por cuatro veinte, ms dos veintitrs. es posible tal operacin? 8.- Sabras expresar la unidad utilizando a la vez las diez primeras cifras? 9.- Cul es el nmero mayor que puede expresarse con cuatro unos? 10.-) Qu pasara si un obus irresistible (aqul que siempre da en el blanco y lo destruye) cayera sobre una guarnicin indestructible? 11.-) De quin es esta fotografa que estoy mirando? Un hombre estaba mirando una fotografa y alguien le pregunt: De quin es esa fotografa?, a lo que l contest: Ni hermanos ni hermanas tengo, pero el padre de este hombre (el padre del que esta en la fotografa) es el hijo de mi padre De quin es la fotografa que est mirando el hombre? 12.-) El problema del oso Lo divertido de este problema es que aunque puede que sepas la solucin puede que no tengas suficientes razones para demostrarla. Un hombre est a cien metros al sur de un oso: anda cien metros en direccin este, luego se vuelve hacia el norte, dispara su fusil en esa direccin y le da al oso. De qu color era? (el oso, claro est) 13.-) Hablas correctamente? Cmo se debe decir: la yema es blanca o las yemas son blancas?

19