NDICE

PRIMERA UNIDAD LENGUAJE Y ARGUMENTACIN 1. 2. 3. 4. 5. 6. Argumentos Funciones bsicas del lenguaje Falacias Proposiciones Definicin Niveles del lenguaje pg. 7 pag.12 pg. 15 pg. 17 pag. 19 pg. 19

SEGUNDA A UNIDAD LGICA PROPOSICIONAL 7. Sintaxis: frmulas y esquemas de frmulas 8. Funciones de verdad y reglas semnticas 9. Diagramas semnticos 10. Simbolizacin de proposiciones 11. La implicacin y la equivalencia 12. Inferencias 13. El mtodo de la derivacin pg. 22 pg. 23 pg. 24 pg. 25 pg. 27 pg. 30 pg. 31

TERCERA UNIDAD LGICA CUANTIFICACIONAL 14. Sintaxis y semntica de L.C. 15. Reglas semnticas de los cuantificadores 16. Diagramas semnticos 17. Simbolizacin de L.C. 18. Decisin de validez inferencial por diagramas semnticos pg. 38 pg. 41 pg. 41 pg. 43 pg. 46

PRIMERA UNIDAD

LENGUAJE Y ARGUMENTACIN

1. ARGUMENTOS Lea cuidadosamente cada uno de los siguientes textos y determine si cada texto es o no un argumento. Luego, analice y diagrame los textos que son argumentos. En el anlisis considere lo siguiente: Encierre en un crculo los indicadores de premisas y conclusiones, Subraye la conclusin general, y Enumere las proposiciones o afirmaciones que aparecen en el argumento. 1.1. 1.2. El Per es libre e independiente por la voluntad general de los pueblos. En los meses de verano hay fuertes lluvias en las serranas del Per, por lo tanto en enero, febrero y marzo los ros que desembocan en el Pacfico son caudalosos. Ciro alegra escribi Los perros hambrientos, Mario Vargas Llosa es autor de La ciudad y los perros, y Jos mara Arguedas escribi Los ros profundos. Si el epicentro de un terremoto se da en el mar, implica que va seguido de un oleaje de aguas marinas. Lima es la capital del Per, histricamente, fue el centro de operaciones tanto en la poca de la conquista, la colonia y el virreinato. Los polticos buscan siempre congraciarse con el pueblo, porque el objetivo de los polticos es llegar al poder. Destruir un libro es casi como matar a un hombre; quien mata a un hombre mata a un ser de razn, imagen de Dios; por ello, quien destruye un buen libro, mata a la razn misma. Nadie desea algo excepto si no lo tiene. Nadie desea ms de lo que ya tiene. De ah que el sentido comn debe de ser algo que todas las personas poseen. El mundo est lleno de divinidades y espritus protectores del hombre, de los animales y de la agricultura; los hay tambin malficos y otros anodinos. Estos tuvieron probablemente funciones ms especficas que se han ido perdiendo con el tiempo. Las divinidades controlan el devenir

1.3.

1.4. 1.5. 1.6. 1.7.

1.8.

1.9.

y los fenmenos de la naturaleza, pero actan tambin segn el comportamiento de los humanos. 1.10. Este ao las ganancias por el turismo en Egipto slo ser del 40% de lo que usualmente es; en vista de que, a ello han contribuido los controles monetarios impuesto por los ingleses sobre sus turistas, la poltica alemana de desalentar a sus ciudadanos que quieren conocer Egipto y el hartazgo de los gastadores turistas americanos de encontrar siempre un servicio turstico deficiente. Puesto que la lgica es uno de los medios principales que asegura la disciplina e integridad intelectual, entonces se concluye que, aplicada apropiadamente promueve el logro de fines sociales deseables. El nivel de motivacin del empleado determina la cantidad de esfuerzo ejercido en el trabajo. La cantidad de esfuerzo ejercido en el trabajo es uno de los factores que determina la productividad. De ah que, el nivel de motivacin del empleado incida en la productividad de ste. Gracias a la vista, el gusto y el olfato, el ser humano puede captar informacin del mundo exterior. Toda censura existe para poner en tela de juicio las concepciones e instituciones existentes. Todo progreso se inicia poniendo en tela de juicio las concepciones corrientes y cambiando las instituciones existentes; de modo que, la primera condicin del progreso es la supresin de la censura. Tenemos que invertir en la Bolsa de Valores, puesto que todos nuestros competidores lo han hecho y nosotros no podemos quedarnos atrs. Antes de comenzar el examen del aspecto psicolgico del egosmo y del amor a los dems, examinemos si el amor a los dems y el amor a s mismo se excluyen recprocamente. Si es una virtud amar al prjimo (al ser humano) como a uno mismo, debe serlo tambin que me ame a m mismo, dado que yo tambin soy una persona. No hay ningn concepto de hombre en el que yo no est incluido. Si una doctrina propugnara un tipo de exclusin en ese sentido, demostrara ser intrnsecamente contradictoria. La naturaleza del tigre tiene un derecho a comerse un animal. Si puede comer a un hombre, puede comerse a otro. Los hombres son comidas potenciales de los tigres. Los tigres son animales, pueden comerse entre ellos? La lgica propone argumentos correctos por eso no son tiles para ciertos propsitos. Por consiguiente, un argumento apropiado en un dominio puede ser irrelevante en otro.

1.11.

1.12.

1.13. 1.14.

1.15. 1.16.

1.17.

1.18.

1.19.

La idea central de la inteligencia artificial (IA) es la construccin de programas que ordenen a un computador adecuado para que simule lo que normalmente se reconoce como una conducta inteligente, Por tanto, los investigadores en IA, propiamente, no se proponen la construccin de artefactos inteligentes sino de simuladores de la conducta inteligente. La libertad, en realidad, se cuenta entre los mayores beneficios del hombre. La libertad es el fin del progreso y el mejoramiento de la raza. La libertad constituye el desenvolvimiento tico del hombre. El texto es una cadena de enunciados, pero no todos gozan del mismo estatus. En todo texto, hay un principio de jerarqua. Este principio sostiene que el texto est gobernado por una nocin capital, el tema central, crucial para entender la trama textual. Cuando un hombre ve un espejismo en el desierto, no est percibiendo nada material, pues el oasis que cree percibir no existe. Se piensa que todo arte y toda indagacin, as como toda accin y prosecucin, tienden a algn bien, y por esta razn se ha declarado correctamente que el bien es aquello a lo cual tienden todas las cosas. Durante el perodo escolar, el estudiante ha estado mentalmente inclinado sobre su escritorio; en la universidad debe ponerse de pie y mirar a su alrededor. Por esa razn, sera fatal que el primer ao en las universidades se desperdiciara volviendo a la vieja tarea en el viejo espritu. Puesto que la felicidad consiste en la paz del espritu, y dado que la paz durable del espritu depende de la confianza que tengamos en el futuro, y ya que la confianza se basa en la ciencia que debemos tener acerca de la naturaleza de Dios y el alma, se sigue que la ciencia es necesaria para la verdadera felicidad. Venus y Mercurio deben girar alrededor del sol porque nunca se alejan mucho de l y porque tan pronto se los ve de este lado como del otro del sol. La poesa es ms sutil y filosfica que la historia, pues la poesa expresa lo universal y la historia slo lo particular. El ltimo miembro de una banda de asaltantes, que desde el martes controlaba una agencia bancaria en el poblado del Pacfico de Costa Rica, se entreg la noche de este mircoles a las autoridades, poniendo fin a una crisis que cost la vida a nueve personas. La verdadera diferencia entre esas formas es que, en una democracia, el pueblo ocupa y ejerce el gobierno en persona; en una repblica, se congrega y lo administra mediante sus representantes y agentes. La democracia, por consiguiente, debe limitarse a un pequeo lugar. Una repblica, en cambio, puede extenderse sobre una vasta regin. Todas nuestras ideas deben su origen a causas fsicas y materiales que actan sobre nosotros independientemente de nuestra voluntad, porque esas causas resultan de nuestra organizacin ntima y de la influencia que los objetos externos que ejercen sobre nosotros; los motivos son, a su vez, los resultados de esas causas, y en consecuencia nuestra voluntad no es libre.

1.20.

1.21.

1.22. 1.23. 1.24.

1.25.

1.26. 1.27. 1.28.

1.29.

1.30.

1.31.

1.32.

1.33.

1.34. 1.35.

1.36.

1.37.

1.38.

1.39.

1.40.

1.41.

Tanto F. Nietszche como A. Comte terminaron sus vidas en la ms absoluta miseria, acompaada de un desequilibrio mental; en el primero, producto de una enfermedad hereditaria; en el segundo, por descuidar su alimentacin. Y si los bueyes y los caballos y los leones tuvieran manos para pintar con sus manos y elaborar obras de arte como hacen los hombres, los caballos pintaran a sus dioses como caballos, los bueyes como bueyes, y hara sus cuerpos a la imagen de sus diversas especies. Es verdad que la mayora de los directores se preocupan ms por asuntos ajenos a la educacin, que son inaccesibles a maestros y estudiantes, y que un desalentador nmero de ellos ha llegado a una edad y una etapa de la vida en que se defienden contra las ideas nuevas. No es sorprendente, por lo tanto, que profesores y estudiantes no tengan demasiada confianza en los directores. El uso de drogas es equivocado porque es inmoral, y es inmoral porque esclaviza la mente y destruya el alma. La libertad, en realidad, si bien se cuenta entre las mayores bendiciones, no es tan importante como la proteccin, ya que el fin de la primera es el progreso y el mejoramiento de la raza, mientras que el de la segunda es su conservacin y perpetuacin. Por consiguiente, cuando entra en conflicto, la libertad debe, y debera siempre, ceder ante la proteccin, ya que la existencia de la raza es de mayor importancia que su mejoramiento. En una sociedad razonablemente tolerante puede florecer la desobediencia civil. Esto significa que debemos esperar ms de ella en una sociedad ms justa. Especialmente porque una sociedad ms justa es ms susceptible de tolerar los puntos de vista ms radicales. La caza constituy una valiosa adaptacin al medio ambiente, debido a que la carne proporciona ms caloras y protenas que una dieta vegetariana. El hombre de Pekn evidentemente fue capaz de competir con xito en la caza con los grandes carnvoros. Una abundancia de huesos fsiles de mamferos de varios tamaos indica que el hombre de Pekn no solamente cazaba pequeos animales sino que tambin era capaz de matar grandes animales. Puesto que la reduccin de sodio puede evitar el desarrollo de la hipertensin en algunas personas, y dado que una dieta alta en sales casi con certeza no es benfica, reducir la sal en las comidas y reducir el consumo de bocadillos salados es probablemente una buena idea. Puesto que las pruebas demuestran que se necesitan al menos 2,3 segundos para accionar el cerrojo del rifle de Oswald, obviamente ste no puede haber disparado tres veces hiriendo a Kennedy dos veces y una a Connally en 5,6 segundos o menos. Al parecer la voluntad de Dios es mutable. Pues el seor dice: me arrepiento de haber creado al hombre. Pero quien se arrepiente de lo que ha hecho, tiene una voluntad mutable. Por lo tanto, Dios tiene una voluntad mutable. Entre nosotros no hay discriminacin racial (no hay deberes ni derechos entre las diversas razas existentes); tampoco hay segregacin racial (no existen instituciones paralelas para grupos raciales distintos); pero si hay perjuicio racial. Por todo esto es que en muchas personas existe el

1.42.

1.43.

complejo de ser mestizo. Y no se olvide que el complejo puede ser de superioridad o de inferioridad. Los medios abundantes de vida aumentan la fortaleza corporal del labrador, y la reconfortante esperanza de mejorar su situacin y de terminar sus das tal vez en la comodidad y la abundancia lo anima a ejercer esa fortaleza al mximo. Por consiguiente, all donde los salarios son altos siempre encontraremos a los trabajadores ms activos, diligentes y dinmicos que all donde son bajos. Las pasiones que inclinan a los hombres a la paz son el temor a la muerte, el deseo de las cosas que son necesarias, para una vida confortable, y la esperanza de obtenerlas por medio del trabajo. La razn sugiere adecuadas normas de paz, a las cuales pueden llegar.

2. Dados los siguientes enunciados:

Persfone present sus ejercicios de lgica. = 1 Persfone asistir a la prctica de lgica. = 2 Persfone desarroll los ejercicios de lgica. = 3 Persfone obtendr buenas notas en los exmenes. = 4

Redacte un argumento para cada uno de los siguientes esquemas: 1 2 + 3 _____ 4 1 + 2 + 3 __________ 4 1 + 2 _____ 3 4 3 1 + 4 _____ 2

3. En cada uno de los siguientes textos, identifique cul de ellos corresponde a un argumento deductivo o un argumento inductivo. 3.1. 3.2. Todos los graduados de sta Universidad consiguen trabajo. Por lo tanto, Pedro conseguir trabajo ya que es graduado en esta universidad. Hitler, Stalin y Pinochet fueron dictadores y crueles. Por lo tanto, todos dictadores son crueles.

3.3.

La educacin estatal en el Per fracasa porque el presupuesto nacional es solo del 2.5%. Hay poca dedicacin de los docentes escolares por su bajo nivel salarial. En consecuencia, los escolares peruanos fracasan en su vida profesional. Tanzania tiene ms territorio que Uganda, porque Tanzania tiene ms territorio que Kenya y Kenya tiene ms territorio que Uganda. Si aumenta el precio de la gasolina entonces nuestra moneda se devala. Si nuestra moneda se devala entonces la inflacin se eleva. En consecuencia, si aumenta el precio de la gasolina entonces la inflacin se eleva. La mayora de las aves grandes no vuelan pero corren rpido. El avestruz es un ave grande. En consecuencia, el avestruz no vuela pero corre rpido. Las ventas se elevarn siempre que los precios sean bajos. Si la mercadera es de buena calidad entonces los clientes estarn satisfechos. Adems, si la empresa cumple con pagar los tributos y sus ventas son elevadas, entonces los clientes aumentarn. De modo que, los clientes aumentarn porque estn satisfechos y la empresa cumple con pagar los tributos. Todos los animales son mortales. Todos los humanos son animales. Por lo tanto, todos los humanos son mortales. Todos los mamferos tienen alas. Todas las ballenas tienen alas. Por lo tanto, todas las ballenas son mamferos.

3.4. 3.5.

3.6. 3.7.

3.8. 3.9.

3.10. El cncer es frecuentemente un virus. Algunos hombres sufren de cncer. Por lo tanto, todos los hombres que tengan virus padecen de cncer. 3.11. En una muestra al azar de estudiantes universitarios equivalentes a la centsima parte de la poblacin estudiantil, se hall que el 10% dominaba su lengua materna. Por tanto, en la poblacin total de estudiantes universitarios, el 10% domina su lengua materna. 3.12. Si una corriente elctrica pasa cerca de una aguja magntica, sta se desva. Una determinada aguja magntica ha sufrido una desviacin. Por tanto es posible que exista una corriente elctrica cerca de esa aguja. 3.13. Si Newton observ la cada de la manzana entonces no fue un azar que descubriera las leyes del movimiento. Newton comprendi la ley de gravitacin universal y no fue un azar que descubriera las leyes del movimiento, porque Robert Hooke introdujo a Newton en el estudio de una trayectoria curva de rbitas planetarias. En consecuencia, si Newton observ la cada de la manzana o Robert Hooke introdujo a Newton en el estudio de una trayectoria curva de rbitas planetarias, entonces no fue un azar que descubriera las leyes del movimiento.

2. FUNCIONES BSICAS DEL LENGUAJE Determine la funcin del lenguaje de cada una de las siguientes expresiones. En cada caso, explique si se trata de una funcin informativa, expresiva, directiva o funcin mltiple del lenguaje . 1.1. Esforcmonos! para salir de la crisis econmica. 1.2. Supermonos en el estudio, as como en el trabajo. 1.3. Hay dos alternativas: estudiar o trabajar. 1.4. No es cierto que el TLC sea favorable para el pas. 1.5. Si amo a los dems, resulta inevitable que deje de amarme. 1.6. El sacerdote dijo podis ir en paz. 1.7. La crisis econmica va desarrollndose en las pequeas empresas. 1.8. Las pocas de crisis son para correr. 1.9. Nuestro vocablo cultura procede de la forma supina del verbo colere. 1.10. Los apuntes son una tcnica de estudio. 1.11. La sugerencia es una recomendacin razonable del investigador. 1.12. La recomendacin se debe cumplir. 1.13. La lgica es un instrumento terico para construir la ciencia. 1.14. Cualquier persona est obligado a elaborar sus puntos de referencia. 1.15. Toda ejercicio de lgica matemtica tiene una solucin indiscutible. 1.16. Si pudiera leer lo que hay en su corazn, mis angustias por ella seran menores. 1.17. Debes tener ms cuidado la prxima vez. 1.18. A lo largo de mi vida he amado mucho y odiado poco. 1.19. Zona militar: Prohibido detenerse! 1.20. Para los antroplogos, la prctica gastronmica es una parte de la cultura. 1.21. La cultura es tan importante para los chimpancs, que todos los intentos de reintroducir en la selva a los criados en cautividad fracasan: no sobreviven.

1.22. Cada universidad es autnoma en lo acadmico, econmico, normativo y administrativo, dentro de la ley. 1.23. Pienso que para evitar la exposicin de los nios a los videojuegos violentos es necesario que le dediquen ms tiempo a la lectura, la escritura y las matemticas. 1.24. La inferencia es el paso de un conjunto de premisas a una conclusin. 1.25. Cuando los perros lamen la cara de su amo, estamos ante un vestigio directo de aquella conducta de peticin de alimento. 1.26. El piano es un instrumento musical clasificado como instrumento de teclado de cuerdas percutidas. 1.27. Feliz cumpleaos, madrastra! No tengo plata para regalarte nada pero estudiar mucho. Eres la ms buena y la ms linda y yo me sueo todas las noches contigo. Feliz cumpleaos otra vez. Alfonso. 1.28. El aprendizaje crticamente transformador no slo supone reconstruir los significados y las actitudes, mitos y formas de ver las cosas que se dan por supuestos, sino tambin su reestructuracin mediante la reconceptualizacin y reconstruccin, un proceso continuo que se convierte en el tema de nuevos aprendizajes transformadores. 1.29. Los profesores deben conocer la amplitud de las capacidades cognitivas que pueden intentar desarrollar en sus alumnos; deben tener en cuenta la naturaleza activa e interactiva del conocimiento y de la comprensin y, en concreto, los factores que influyen en los procesos de aprendizaje eficaz y significativo. 1.30. Padre nuestro que ests en los cielos, santificado sea tu nombre, venga a nosotros tu reino, hgase tu voluntad aqu en la tierra como en el cielo. 1.31. El estoicismo es la principal y ms influyente corriente filosfica del helenismo. La base terica de su tica reside en su afirmacin de que todo en la naturaleza est sujeto a una ley universal. Al ser humano solamente le queda como nica posibilidad de libertad vivir en conformidad con la naturaleza. Y seguramente de este modo su virtud consistira en atenerse a esa ley, y ello le proporciona armona y felicidad. 1.32. Cuidado, nos deslizamos por la peligrosa pendiente de la barbarie! Si no hay respeto a las normas de vida civilizada y a los dems, si no hay valores ticos, entonces la vida civilizada ser imposible. 1.33. En la remota antigedad no se encuentran rasgos de adulacin. No la usaban Hesodo ni Homero; no dirigan sus cantos a ningn griego que desempeara altas dignidades ni a su esposa, as como Thompson dedica cada canto de su poema Las estaciones a alguna persona rica.

1.34. En los primeros siglos del cristianismo, ordinariamente no se daba el bautismo a los recin nacidos. El ejemplo que dio el emperador Constantino es una prueba de lo que estamos diciendo: lo recibi estando en agona. San Ambrosio no haba recibido el bautismo cuando le nombraron obispo de Miln. 1.35. Piensa: prolongar tus expectativas de vida y proteger tu salud est en tus manos. No fumes, no abuses del licor ni ingieras ningn otro tipo de sustancia txica. Ms adelante, cuando veas sufrir a los dems a causa de sus excesos, te alegrars de haber tomado a tiempo una sabia decisin.

3. FALACIAS 1. Qu tipo de falacia que se comete en cada uno de los siguientes argumentos? Por qu?

1.1. Cmo vamos a creer sus afirmaciones sobre fumar es nocivo para la salud, si usted es fumadora. 1.2. S que San Pedro me va a ayudar, por eso voy a apostar mi sueldo en la quinta carrera de caballos. 1.3. La teora de la evolucin no puede ser verdadera, porque si lo fuera querra decir que no somos mejores que los monos. 1.4. Cmo puede decir Domnguez que es socialista si su padre fue el hombre ms rico y arbitrario de la ciudad? 1.5. Veo que ests de acuerdo con el proyecto de la nueva ley de Comunidades Indgenas, pero, sabes quin ha propuesto es el parlamentario que hizo aprobar la ley que te ha dejado sin beneficios sociales! 1.6. Las esposas de los hombres de xito usan ropa cara y elegante. Por eso le dice a la esposa voy a comprarte ropa cara y elegante para que tenga xito.

1.7. Si una decisin atae al cuerpo de una persona, esta persona tiene el derecho
de tomar esa decisin. La interrupcin del embarazo es una decisin que atae al cuerpo de la mujer. Luego, la mujer tiene derecho de decidir la interrupcin del embarazo. 1.8. Dios existe porque los Textos Sagrados lo dicen. Los Textos Sagrados dicen la verdad porque expresan la palabra de Dios. 1.9. Profesor, pienso que debe ponerme una nota no menos de once puntos, pues es la tercera vez que llevo el curso y una desaprobacin ms me impedira matricularme en cursos del cuarto ciclo, lo que frustrara mis ilusiones de tener xito en mi carrera.

10

1.10. Profesor, pienso que mi examen merece por lo menos una calificacin aprobatoria: los alumnos a los que represento como delegado tambin consideran que las calificaciones son muy bajas y no quisiera tener que formalizar este reclamo por va regular. 1.11. No estoy de acuerdo contigo cuando dices que Juan Prez es un hombre honesto, pues fue uno de los gerentes de la empresa Fideos S.A. que cerr por problemas de mala administracin y situaciones de corrupcin. 1.12. Un alumno interviene durante el desarrollo de la clase y dice: Profesor, parece que se equivoc en ese ejercicio porque aplic la regla del Modus Ponens inadecuadamente. Inadecuadamente has dicho? Quin te crees para decirme tal cosa, estudiantito credo? Sigamos con la clase y no interrumpas. Caramba! a m, que soy doctor!, quiere corregirme ste que an no ha aprendido a limpiarse la nariz. 1.13. Yo no creo que sea una buena pareja de baile para usted; a m me gusta bailar sola. A usted. Le gusta bailar sola, a m tambin me gusta bailar solo. De tal manera que estoy seguro que nos gustar bailar juntos. 1.14. No me digas que Francisco no me quiere. l me ha dicho por telfono que soy el amor de su vida y nadie engaara al amor de su vida. 1.15. Aquellos que se resistan a aceptar la Biblia se quemarn en el infierno! De modo que, no deben rehusar la existencia de Dios. 1.16. El atesmo es malo, porque es practicado por comunistas y asesinos. 1.17. Lo que contiene la Biblia es verdadera, pues millones de personas lo dicen. En consecuencia, no pueden estar todos engaados. 1.18. Yo tom una aspirina y rec a Dios, y mi dolor desapareci. Dios cur mi dolor de cabeza! 1.19. Las termitas destruyen los rboles. Ja!, ja,... esto es falso porque un animalito tan pequeo no tiene capacidad para tragarse un rbol completo. 1.20. La teora moral del filsofo francs Rousseau es falsa porque Rousseau abandon a sus hijos en un orfanato. 1.21. Este hombre ha mentido en situaciones menos complicadas que ahora. Cmo podemos escucharle? 1.22. La persona que ocasiona herida a otra es un delincuente. Entonces, como todo cirujano ocasiona heridas a otras personas, los cirujanos son delincuentes. 1.23. Si un objeto es de oro, brilla. Esta daga brilla. Esta daga es de oro.

11

1.24. Es culpa ma porque desde que decid invertir en la bolsa, sta ha empezado a bajar o los precios han bajado. 1.25. Los ecologistas dicen que consumimos demasiada energa; pero no hagas caso porque los ecologistas siempre exageran. 1.26. La bicicleta est hecha enteramente de componentes de poca masa, y por lo tanto es muy liviana. 1.27. La mayora de alumnos que postulan a la carrera de Medicina ingresan a la tercera vez. Como esta es la tercera vez que postulo a esta carrera, entonces ingresar. 1.28. Las nias son muy juguetona, por eso si destruyes las nias te quedaras ciego por el resto de tu vida. 1.29. Hoy tendr un buen da en los negocios porque mi horscopo as lo dice. 1.30. Han detenido al asesino de tu padre? 1.31. Unos granos de arena pesan muy poco, por lo tanto cualquier conjunto de granos de arena tambin pesara muy poco. 1.32. No podemos fiarnos de este estudio sobre los efectos del tabaco sobre la salud humana, ya que lo ha financiado la industria tabacalera. 1.33. En un control de alcoholemia, el taxista dice: Agente, por favor, no me sancione. Si lo hace, me retirarn el permiso de conducir, entonces perder mi empleo y mi familia acabar en la miseria.

4. PROPOSICIONES 1. Cules de las siguientes expresiones son proposiciones? En cada caso explique por qu es o no es proposicin. 1.1. La educacin es prioritaria para el desarrollo del pas. 1.2. Santo Toms deca el hereje merece la pena de muerte. 1.3. No hay pena si no hay delito? 1.4. No hagas a otro lo que no quieres que hagan contigo. 1.5. El que a hierro mata a hierro muere! 1.6. Hay golpes en la vida tan fuertes, yo no s.... 1.7. Aristteles es considerado el padre de la lgica.

12

1.8. No existe prisin por deudas. 1.9. En un estado socialista slo existe la libertad ontolgica. 1.10. Debemos respetar a las autoridades de la universidad. 1.11. Descartes sostena que el alma est en la glndula pineal. 1.12. Todos los nios en el Per tienen derecho a una educacin gratuita. 1.13. La educacin es prioritaria para el desarrollo material y espiritual de la sociedad. 1.14. Imagino tus deseos inquietos perdindose entre mis cabellos.... 1.15. En un atardecer de otoo, tmidas sombras van desapareciendo. 1.16. Alemania se reunific tras la cada del muro en 1989. 1.17. El 6 de agosto de 1825, Sucre cre la Repblica de Bolivia. 1.18. La orilla del mar me llama, me mira, me exige en pronto regreso.

2. Cules de las siguientes proposiciones son simples o compuestas? 2.1. Constantinopla fue la capital del Imperio Bizantino. 2.2. A la fiesta de los cachimbos tambin concurri el profesor. 2.3. No solamente es una sustancia inocua sino que adems es inspida. 2.4. Platn fue discpulo de Scrates y Aristteles fue discpulo de Platn. 2.5. La Santa Inquisicin combati o la hereja de los ctaros, o la de los albigenses. 2.6. El paciente tiene fiebre y resfro porque tiene sarampin. 2.7. La pena privativa de libertad puede ser temporal o de cadena perpetua. 2.8. El lgebra es un sistema axiomtico si y slo si la geometra tambin lo es. 2.9. A pesar de ser megalmano es cleptmano. 2.10. Ciro Alegra y Csar Vallejo pertenecen a la misma generacin. 2.11. Miguel de Unamuno es conocido como el Cisne de Bilbao. 2.12. Bolivia no puede doblegar a su vecino, porque no tiene fuerza econmica o blica. 2.13. El monitor Huscar es el buque ms emblemtico y legendario de la Marina de Guerra del Per. 2.14. El Sahara es un desierto del norte de frica si y slo si se extiende hasta el Atlntico y el Mar Rojo.

13

2.15. No es el caso que el actual gobierno peruano sea comunista o republicano, puesto que est regido por una constitucin democrtica. 2.16. Entre Arica y Tacna existe una va frrea, pero entre Tacna y Moquegua existe una va martima. 3. Lea cuidadosamente cada uno de los siguientes textos, luego elabore un listado de proposiciones simples: 3.1. Flaubert, Gorki y Hemingway fueron fumadores empedernidos, al punto que, cada uno de ellos tena el bigote amarillo y los dientes careados. 3.2. Aunque el propietario del vehculo no haya manejado el auto en el momento de la infraccin, las papeletas impuestas por infracciones al medio ambiente sern asumidas por l. 3.3. Los problemas sociales y econmicos continuarn siendo un peligro latente para este gobierno a menos que se cumpla con los objetivos del Acuerdo Nacional. 3.4. Caral es la primera civilizacin de Amrica, es contempornea con Egipto y las ciudades sumerias de Mesopotamia. 3.5. La escritora colombiana ngela Marulanda es educadora familiar, sociloga, conferencista y consultora en temas relacionados con la formacin de los hijos. Es autora de talleres para padres y maestros sobre el fortalecimiento social y emocional de los nios y de la familia, y ha publicado varios libros que han ocupado la lista de los ms vendidos. Esta colombiana es la sinopsis entre paciencia, constancia y esfuerzo, por ello ha logrado destacar en medio de socilogos y educadores.

5. DEFINICIONES Defina cada uno de los siguientes trminos, luego explique, qu clase de definicin ha utilizado: 4.1. rbol 4.2. Televisin 4.3. Hombre 4.4. Automvil 4.5. Len 4.6. Violn 4.7. Aleluya 4.8. Tiza 4.9. Rojo 4.10. Idea 4.11. Loro 4.12. Lapicero 4.13. Bolgrafo 4.14. Callao 4.15. Termmetro

6. NIVELES DEL LENGUAJE 1. Use comillas y distinga los niveles del lenguaje en cada uno de los siguientes textos:

14

1.1. Bislaba es una palabra que tiene dos slabas. 1.2. Bislaba no es bislaba. 1.3. Es falso que mar lleve acento. 1.4. Es falso que mar lleve acento, es verdadero. 1.5. La alumna Fiorella Gmez dijo hasta el prximo semestre compaeros. 1.6. Jesucristo es el nombre del salvador de la humanidad, expres el sacerdote en la iglesia. 1.7. Los cuerpos son pesados es verdadero dijo el profesor de fsica, luego aadi, todo cuerpo ocupa un lugar en el espacio. 1.8. La palabra cicatero acaba de ser pronunciada por primera vez. 1.9. Usaremos el trmino alumno o alumna para referirnos a los asistentes a clase. 1.10. Se son las narices. En el segundo y ltimo piso, escrito sobre la puerta de la izquierda con tiza roja, ley entrad, me he ahorcado. (Camus, La Peste). 1.11. El neurocientfico Christopher Comer, quien estudia la conducta de escape de las cucarachas, explica: Cuando percibe un soplo de aire, la cucaracha echa a correr en 50 milisegundos. Si algo golpea sus antenas, dar vuelta y escapar en 15 o 20 milisegundos, en menos de un parpadeo. Compare esta respuesta con la del cerebro humano, que suele requerir de 200 milisegundos para responder a un estimulo. 1.12. El prestigioso historiador chileno Sergio Villalobos afirm: Los libros que se trajeron del Per fueron muy pocos. Y no fue saqueo. Fue un procedimiento ordenado. (El Comercio, El Dominical, 24/07/05) 1.13. En la entrada del camino de la cinaga se haba puesto un anuncio que deca Macondo y otro ms grande en la calle central que deca Dios existe. 1.14. Vlad Tepes el empalador y sus antepasados pone de manifiesto algunas cuestiones ciertamente inslitas en torno al personaje histrico que inspiro la obra de Stoker como es el propio nombre de Drcula. Ralf- Peter nos explica que en rumano el trmino dracul significaba dragn y que ese era el nombre de una secta de guerreros a la que perteneca el padre de Vlad III. El sufijo a en rumano significa hijo de de modo que la nomenclatura Drcula no significaba ms que hijo del Dragn. 1.15. Los policas le dijeron t eres terrorista, t eres culpable. Ella no entenda los cargos, grit soy inocente. Ella escuch los cargos del juez militar, no

15

escuch sobre alguna evidencia. Despus slo escuch te condenamos a veinticinco aos de crcel porque eres culpable, no inocente. 1.16. Justo ahora hay una preocupacin real de que los patrones de circulacin ocenica estn cambiando, advierte Mike Fedak, bilogo del National Enviroment Research Council Sea Mammal Group. 1.17. El adjetivo latino cultus indica la propiedad de un campo de estar cultivado. Todava ahora llamamos incultos a los campos sin cultivar. Originariamente, pues, cultura quera decir agricultura, y culto, cultivado. Quien cultiva un campo, lo cuida constantemente. 1.18. Ahora bien, ante todo se envidia a menudo a quienes tiene suerte. Esto no tendra sentido a menos que la situacin de inferioridad relativa del sujeto tuviera una importancia decisiva. Nuestra inferioridad nos contrara desde que se percibe como la expresin de un fracaso en el marco de cierta rivalidad. 1.19. El verbo latino colere significa cultivar. As, agrum colere significa cultivar el campo, y vitem colere, cultivar la vid. La forma supina de colere es cultum, y de ella proviene la palabra cultura, que en latn originariamente significa agricultura. As, agri culturae son las diversas formas de cultivar el campo, y cultura vitium es el cultivo de las vias. De ah proceden palabras castellanas como viticultura, fruticultura, floricultura y piscicultura.

16

SEGUNDA A UNIDAD

LGICA PROPOSICIONAL

7. SINTAXIS: FRMULAS Y ESQUEMAS DE FRMULAS 1. Cules de las siguientes secuencias de smbolos son frmulas bien formadas (fbfs). Por qu? 1.1. p ( q q ) 1.2. ( p q r ) p 1.3. p ( r ~ C ) 1.4. p (~ t r) 1.5. ( ~ s p ) ( ~ q r ) t 1.6. ( p q .. r s ) r 1.7. p r q .. t q 1.8. q r .. ( r t ) 1.9. p q .. [ p s .. ( q s ) ] 1.10. (p~t)(qr)(pq)

2. Construya fbfs para cada esquema de frmula con los datos que aparecen entre parntesis: 2.1. ~ A 2.2. A B (p, q, , , ) (p, q, , , ) (p,q,r, , , ) (p, q, r, , , , ) (p, q, r, , , , , ) (p, q, r, s, , , )

2.3. A ( B C ) 2.4. ( A B ) B

2.5. A B .. A C 2.6. A ( B A)

17

2.7. ( A B) (B C)

(p, q, r, s, , ,, , )

8. FUNCIONES DE VERDAD Y REGLAS SEMNTICAS

1.1. Negacin

p FV VF *
1.2. Conjuncin

V ( A) F(A)

F( A) V(A)

p q VVV VFF FFV FFF *

1.3. Disyuncin

V (A B) V(A) V(B)

F (A B)

F(A)

F(B)

p q V V F F VV VF VV FF *

V(A B)

F(A B) F(A)

V(A)

V(B)

F(B)

1.4. Condicional

p q V V V

V(A B)

F(A B) V(A)
18

V F F F V V F V F *

F(A)

V(B)

F(B)

1.5. Bicondicional

p q V V F F V F F V * V F V F

V(A B)

F (A B)

V(A) V(B)

F(A) F(B)

V(A) F(B)

F(A) V(B)

9. DIAGRAMAS SEMNTICOS El mtodo de los Diagramas Semnticos es un procedimiento decisorio para frmulas proposicionales y frmulas cuantificacionales mondicas de primer grado. A continuacin las pautas para decidir la validez o invalidez de una frmula proposicional: i. ii. iii. Suponga Verdadero (V) o Falso (F) a la frmula A. Aplique las reglas que no dan lugar a bifurcacin. Las reglas que se bifurcan generan dos sub-ramas, y estas tambin pueden bifurcarse en otras dos sub-ramas y as sucesivamente. iv. Cada rama es independiente salvo en lo que respecta al tronco comn de donde proceden. v. Clausurare la rama que exhibe una contradiccin. vi. Si a partir de la hiptesis A verdadero, todas las ramas se clausuran, A es falso en todos los EPM (contradictorio). vii. Si a partir de una hiptesis A falso, todas las ramas se clausuran, entonces A es verdadero en todos los EPM (tautologa). Si a partir de A verdadero o de A falso hay por lo menos una rama no clausurada, entonces se ha encontrado un contra-ejemplo de A. A es verdadero en algn EPM, o A es falso en algn EPM.

1. Por el mtodo de los diagramas semnticos, determine si cada una de las siguientes frmulas es tautolgica, contradictoria o contingente:

19

1.1. p ( q p ) 1.2. ( p q ) p 1.3. ( p q ) p 1.4. ( p q ) ( q p ) 1.5. p ( q p ) 1.6. ( p q ) ( q p ) 1.7. ( p q ) ( q p ) 1.8. ( p q ) ( q p ) 1.9. ( p q ) ( p q ) 1.10. 1.11. 1.12. 1.13. 1.14. 1.15. 1.16. 1.17. 1.18. 1.19. 1.20. [(pq)r][q (pr)] ( p q ) ( r q ) .. p r ( p q ) .. r ( q p ) ( p q ) ( r p ) .. q r ( p q ) ( r s ) ( p r ) .. s q ( p q ) r .. q ( r s ) .. ( r s ) q ( p q ) ( r s ) .. ( q p ) ( r s ) {[(pq)(rs)](~qv~s)} (pv r) [p(qv~r)]v[~(qr)~p] ~[(~pvq)~(q~r)] (~pr) ( r v s .v. r ) [ ( r .. p q ) ~ ( p q .. r) ]

10. SIMBOLIZACIN DE PROPOSICIONES

1. Obtenga una fbf de cada una de las siguientes estructuras formales: 1.1. p y no q 1.2. Si p entonces no q 1.3. No p, si y slo si p o r 1.4. Si no p, entonces q y r 1.5. No p, ya que q y r

20

1.6. p o q, si r 1.7. p, o q si r 1.8. p y q, puesto que r si no q 1.9. No es el caso p o q 1.10. No es el caso que si p, q 1.11. No es el caso p o q, puesto no p y no r 1.12. Si no p, q si 1.13. p, entonces r si q 1.14. r puesto q, o q si p 1.15. p o q, pues q y s 1.16. Si p, q; y, p a causa de q 1.17. q o r se sigue de no p 1.18. p, en vista de no p o no q 1.19. p a menos que q; pero no ambos a la vez. 1.20. p, a menos que q y r

2. Simbolice las siguientes proposiciones. Indique la variable proposicional de cada proposicin simple y la estructura formal de la proposicin: 2.1. 2.2. 2.3. 2.4. 2.5. 2.6. 2.7. 2.8. 2.9. 2.10. 2.11. Los griegos y los persas fueron grandes navegantes. Si la temperatura est bajo cero, el agua se congela. Encinas, o fue un buen maestro o fue un buen poltico. Habr tormentas martimas si y slo si hay huracanes producidos por los vientos. Si la temperatura no est elevada, las aguas marinas estn fras. Rojo y negro es la obra ms significativa de Sthendal. Flaubert, Gorki y Hemingway pertenecieron a la misma generacin. Si no es el caso que la medicina y la fsica sean ciencias, entonces la poltica es un arte. No es el caso que si la medicina y la fsica son ciencias, entonces la poltica sea un arte. Grecia fue cuna de la cultura occidental y China fue cuna de la cultura Habindose iniciado los exmenes an no se present. oriental, sin embargo ni Grecia ni China son potencias econmicas.

21

2.12. 2.13. 2.14. 2.15. 2.16. 2.17. 2.18. 2.19. 2.20.

No obstante de ser impo reza por las noches al acostarse. A pesar de ser poltico no miente Si cabe decir lo dir de lo contario me mantendr parco. A pesar de ser megalmano es cleptmano. Mientras dorma fue asesinado. Solamente la tierra est habitada. Obviamente claudic sus principios al concebir la propuesta. El paciente tiene fiebre y resfro porque tiene sarampin. A la vez no dice la verdad ni miente a menos que sea insensato.

2.21. 2.22. 2.23. 2.24. 2.25. 2.26. 2.27. 2.28.

Los contadores y los administradores estudian matemtica financiera. Vargas Llosa escribi El sueo del celta. La administracin es un arte si no es ciencia. A pesar de ser odontlogo es cirujano esttico. El arquitecto proyecta espacios urbanos o edificaciones. David Ricardo o Adam Smith fueron economistas. Si Silverio es puntual, llegar a la hora de siempre. La educacin bsica en el Per es de baja calidad a menos que se invierta racionalmente en educacin.

11. LA IMPLICACIN Y LA EQUIVALENCIA 1. Dadas las siguientes frmulas:

A=pq B=qr C=qr D=(pq) E=(pq)r F=r(ps) G=pq H=(pq)(qp) I=q(rp) J=p(qp)

22

K = ( r .. p r ) Por el mtodo de los diagramas semnticos determine: 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 1.7. 1.8. 1.9. 1.10. 1.11. 1.12. Si A implica a B Si B y C son equivalentes Si G est implicada por A Si la negacin de J equivale a K Si I est implicada por H Si J est implicada por la conjuncin de F y G Si la disyuncin de A y D est implicada por la negacin de E Si la disyuncin de G y J est implicada por K K implica a C es lgicamente verdadera F implica a J es lgicamente falsa La conjuncin A y E es equivalente a la conjuncin E y D Si A implica a F, entonces A es implicada por K

2.

Dadas las siguientes proposiciones:

A = Mozart compuso 41 sinfonas. B = Beethoven compuso nueve sinfonas. C = Beethoven compuso valses y marchas. D = Beethoven no compuso la Flauta mgica. E = Si Mozart compuso 41 sinfonas, entonces Beethoven compuso la Flauta mgica. F = Mozart compuso 41 sinfonas si y slo si Beethoven compuso nueve sinfonas. Por el mtodo de los diagramas semnticos decida: 2.1. Si F implica E 2.2. Si D es implicada por C 2.3. Si B equivale a F 2.4. Si C implica E 2.5. Si F y C son equivalentes 2.6. Si la conjuncin de A y B implica F

23

2.7. Si A equivale a B, entonces es implicada por la conjuncin A y B 2.8. La conjuncin de no-A y D, equivale a la conjuncin de D y E 2.9. C est implicada por la conjuncin de A, D y E 2.10. La negacin de la disyuncin A y B implica a F 2.11. La negacin de la disyuncin A y B equivale a F 2.12. La conjuncin de A, D y E, equivale a B y no-B

3. Dadas las siguientes proposiciones, por el mtodo de los diagramas semnticos determine si la proposicin A est implicada por B. A = Beethoven no compuso la Flauta mgica porque la Flauta mgica es la obra de Mozart. B = Si Mozart compuso 41 sinfonas, o Beethoven no compuso la Flauta mgica o la Flauta mgica no es obra de Mozart. 4. Por el mtodo de los diagramas semnticos, decida si las proposiciones siguientes son o no equivalentes: A = Mozart compuso 41 sinfonas si y slo si Beethoven compuso 9 sinfonas. B = Si Mozart no compuso 41 sinfonas entonces Beethoven no compuso 9 sinfonas. 5. Por el mtodo de los diagramas semnticos, determine si la proposicin A implica a B. A = En la poca de la conquista, los espaoles desembarcaron en Centro Amrica, si y slo si la Tierra no era plana y Coln no lleg a la India. B = Si los espaoles desembarcaron en Centro Amrica, Coln no lleg a la India. 6. Por el mtodo de los diagramas semnticos, determine, cules de las proposiciones siguientes son equivalentes: A = En la poca de la conquista, si los espaoles desembarcaron en Centro Amrica, entonces Coln no lleg a la India. B = No es el caso que los espaoles desembarquen en Centro Amrica y Coln llegue a la India. 24

C = O los espaoles desembarcaron en Centro Amrica o Coln no lleg a la India.

12. INFERENCIAS 1. Por el mtodo de los diagramas semnticos, decida la validez o invalidez de cada una de las siguientes inferencias:

1.1. Si Darwin est en lo cierto, entonces el ser humano es producto de la evolucin. El ser humano es producto de la evolucin. Por lo tanto, Darwin estaba en lo cierto. 1.2. Si trabajo mucho, termino el da cansado y duermo mucho mejor. No pude dormir. Por tanto, no trabaj mucho. 1.3. Si no llueve, se arruinarn las cosechas. Si se arruinan las cosechas, o el gobierno ayuda a los campesinos o hay miseria. Por eso, el gobierno ayudar a los campesinos. 1.4. La productividad aumenta si y slo si hay estmulos. Si hay estmulos, los costos suben. Si los costos suben, hay que subir los precios y quizs los clientes se enojen. La productividad aumenta. Por lo tanto, quiz los clientes se enojen. 1.5. El edificio se derrumbar, si sus cimientos son endebles o la construccin es deficiente. La construccin no es deficiente. Concluimos que, el edificio no se derrumbar. 1.6. Si existen sustancias compuestas entonces el tomo es una sustancia compuesta. Si existen sustancias simples entonces el electrn es una sustancia simple. Existen sustancias simples y compuestas. Por lo tanto, el tomo es una sustancia compuesta y el electrn es una sustancia simple. 1.7. El ingeniero llegar hoy si y slo si tom el vuelo al medio da. Tom el avin al medio da si sali a tiempo de la oficina. Luego; el ingeniero llegar hoy si sali a tiempo de la oficina. 1.8. A pesar de que el rey Amulio saba que Silvia estaba encinta, no la mand matar. Si no la mand a matar, entonces Silvia dio a luz a Rmulo y Remo. Por lo tanto, si el rey Amulio saba que Silvia estaba encinta entonces Silvia dio a luz a Rmulo y a Remo.

25

1.9. Si el rey Amulio orden colocar en una cesta a los gemelos Rmulo y Remo, entonces fueron arrojados al ro Tber. Ocurre que, los gemelos Rmulo y Remo fueron salvados por una loba y amamantados por esta. De ah que, Rmulo fund la ciudad de Roma ya que los gemelos Rmulo y Remo fueron amamantados por una loba. 1.10. Si no me invitan a almorzar entonces me voy. Pero, si no me voy, entonces tendr que llamar por telfono a casa y dejar el mensaje de que no me esperen. Me invitan a almorzar. Por lo tanto, Tendr que dejar el mensaje de que no me esperen. 1.11. Nuestro razonamiento puede dar lugar a errores porque es deficiente. Si es deficiente, es indispensable identificar las leyes lgicas; no obstante nuestro razonamiento podra dar lugar a errores. Pero no es cierto que nuestro razonamiento no sea deficiente ni sea indispensable el identificar las leyes lgicas. En consecuencia, nuestros razonamientos pueden dar lugar a errores porque es deficiente. 1.12. Si Newton observ la cada de la manzana entonces no fue un azar que descubriera las leyes del movimiento. Newton comprendi la ley de gravitacin universal y no fue un azar que descubriera las leyes del movimiento, porque Robert Hooke introdujo a Newton en el estudio de una trayectoria curva de rbitas planetarias. En consecuencia, si Newton observ la cada de la manzana o Robert Hooke introdujo a Newton en el estudio de una trayectoria curva de rbitas planetarias, entonces no fue un azar que descubriera las leyes del movimiento. 1.13. No es el caso que Demcrito sostena slo la existencia del tomo o la existencia del vaco. Si Demcrito rechazaba la existencia de la nada entonces sostena slo la existencia del tomo. De ah que, si Demcrito sostena la existencia del vaco o rechazaba la existencia de la nada, entonces sostena slo la existencia de la nada. 1.14. Demcrito rechazaba la existencia de la nada dado que sostena slo la existencia del tono. Demcrito rechazaba la existencia de la nada si y slo si no sostena la existencia del vaco. Por lo tanto, no se da el caso que Demcrito sostuviera slo la existencia del tomo y del vaco.

13. EL MTODO DE LA DERIVACIN 1. Justifique cada secuencia de derivacin colocando la regla utilizada: 1.1. P1) p q P2) q r // ~ p v r operaciones efectuadas por

26

3) p r 4) ~ p v r

. .

1.2. P1) ( p q ) v ( q r ) P2) ~ ( p q ) 3) q r 4) ( q r ) ( r q ) 5) r q 1.3. P1) ( p q ) ( ~ q ~ r ) P2) ~ q ~ p 3) p q 4) ~ q ~ r 5) ~ q 1.4. P1) p q P2) p ~ q 3) p 4) q 5) ~ q 6) q v r 7) r 1.5. P1) ~ ( p ~ q ) P2) ~ r v s P3) ~ p r 4) ~ ~ p v r 5) p v r 6) ~ p v ~~ q 7) ~ p v q 8) p q 9) r s 10) q v s 11) ~ (~ q ~ s ) 1.6. P1) ~( p q ) // ~ (~ q ~ s ) . . . . . . . . // r . . . . . // ~ q . . . // r q . . .

27

P2) q ( r s ) P3) p () 4) p ~q 5) p 6) ~q 7) t r 8) 9) 10) r s .. s r 11) t r 12) r t 13) r s 14) s r 15) 16) s t 17) t s .. 18) t s 1.7. P1) P2) ( p q ) ~r P3) ~() r // 4) ~p ~q 5) ~p 6) ~q 7) ~p q 8) 9) ~r 10) s q 11) ~s 12) 13) 14) ~t ( ~s ~p ) ( 1 ) DM ( ( ) ) // ( 1 ) ( 4 ) ( 4 ) ( 3,5 ) MPP ( 2,6 ) SD ( 7 ) DEF. ( 8 ) DEF. ( ( ) )

( 10 ) ( ) SIMP.

( 11,13 ) SHP ( 12,14 ) SHP ( 15,16 ) CONJ. ( 17 ) DEF.

( 5 ) ( 7 ) DEF. ( 2,8 ) MPP ( 3,9 ) MTT ( ) ( 5,11 ) CONJ. ( 12 ) ADIC. ( )

28

2. las

Use la prueba directa (PD) para demostrar la validez cada una de siguientes inferencias:

2.1. P1) p q P2) p P3) q r 2.2. P1) p q P2) r p P3) ~q 2.3. P1) ~ p q P2) r p

// r

// ~ r // q ~ r

2.4. P1) p ~q P2) ~ p ~ r // ~ q ~ r 2.5. P1) p q P2) r s P3) ~ s ~ q // ~ p r 2.6. P1) (p q) ~ r P2) q // s ~ r 2.7. P1) q ( p r ) P2) q r P3) p ~ r // r 2.8. P1) p (q r) P2) s p P3) s (r t) 2.9. P1) p ~ q P2) ~ q r P3) r s P4) ~ (t s) 2.10.

// q t

// ~ p ~ t

P1) p (q s) P2) s t P3) p q P4) p // r t P1) ~ (p q) P2) q (r s) P3) p (t r)

2.11.

// t s

29

2.12.

P1) ~ ( p q ) P2) (p q) r P3) (s q) r

// t ( s p) // r ~ s

2.13.

P1) p ~ s P2) (q p) ( p r ) P1) (s t) p P2) p ( q r ) P3) ~( t ~ q )

2.14.

// p r

3.

Use la prueba condicional (PC) para demostrar la validez de cada una de las siguientes inferencias: 3.1. P1) q r P2) (p s) ~r 3.2. P1) p q P2) ~q r P3) ~r s // q ( t ~s )

// ~ p s // s r // (s ~ r) ~ p

3.3. P1) ( s ~ p ) r P2) ~ (~ q p ) 3.4. P1) p q P2) ~ r (~s q )

3.5. P1) r s P2) r P3) q .. s ( t ~ r) 3.6. P1) ( p q ) ~( q ~r ) P2) ( p r ) ( w q ) P3) q ~q

// t w

//w p

4.

Use la prueba por Reduccin al Absurdo (RA) para demostrar la validez de cada una de las siguientes inferencias: 4.1. P1) p q P2) r q // p r

30

4.2. P1) p q P2) p r 4.3. P1) p r P2) s r

// q s // p s // q t

4.4. P1) p ( q r ) P2) ( p r ) 4.5. P1) p ( q r ) P2) ( q p ) P3) r s 4.6. P1) p ( q r ) P2) s p P3) ( r s ) t 4.7. P1) ( t s ) r P2) ~ ( s ~p ) P3) r ( p q ) 4.8. P1) ( p q ) r P2) ~ p ( s ~ ~s ) P3) s ~ r // q

// s t

// q t

// r q

4.9. P1) p ( r s ) P2) p q P3) ~ ( q w ) P4) ~ w r // ( s p ) 4.10. P1) (p q) P2) r q P3) ~ s P4) t r // s t

5.

Demuestre la validez de cada una de las siguientes inferencias por el mtodo de la derivacin (use la prueba que crea conveniente). 5.1. Si estudias, no iras a la playa. Estudias si tienes examen. Luego, si tienes examen entonces no iras a la playa.

31

5.2. Si es un da caluroso, iremos hoy a la playa. Pero hoy, ni hay sol ni iremos a la playa. Por lo tanto, no es un da caluroso. 5.3. O todo individuo es igual a otro puesto que hay variabilidad, o todo individuo es igual a otro si y slo si la variabilidad representa una ventaja. Pero no es el caso que si hay variabilidad todo individuo sea igual a otro. En consecuencia, todo individuo es igual a otro, si la variabilidad representa una ventaja. 5.4. Si las matemticas se usan para la solucin de problemas econmicos, entonces, no son extraas a cualquier hecho social. Adems, si no son extraas, entonces las cantidades de placer son mensurables. El dolor es mensurable si las cantidades de placer son mensurables. Por lo tanto, si las matemticas se usan para la solucin de problemas econmicos entonces el dolor o el sueo son mensurables. 5.5. Si la dimensin de la persona humana constituye un valor en s mismo, el individuo participa de una dignidad universal. El valor constituye una exigencia de respuesta ya que el individuo participa de una dignidad universal. Por lo tanto, el valor constituye una exigencia de respuesta si la dimensin de la persona humana constituye un valor en s mismo. 5.6. El hombre es consciente de su razn si y slo si es consciente de su moralidad. Si el hombre es consciente de su moralidad entonces el acto humano se puede predecir. Si el universo es determinista y el hombre es consciente de su razn, entonces el acto humano no se puede predecir. En consecuencia, si el hombre es consciente de su moralidad entonces el universo no es determinista. 5.7. Si la historia de los pueblos est llena de sufrimiento, entonces el dolor fue causado por los invasores. Si el dolor fue causado por los invasores entonces los nativos perdieron la guerra. Si los nativos perdieron la guerra entonces no estaban preparados para acciones blicas. Por lo tanto, si la historia de los pueblos est llena de sufrimiento, los nativos no estaban preparados para acciones blicas. 5.8. El ingeniero llegar hoy si y slo si tom el vuelo al medio da. Tom el avin al medio da si sali a tiempo de la oficina. Luego; el ingeniero llegar hoy si sali a tiempo de la oficina. 5.9. Si gano la tinka, compro una casa nueva. Si compra una casa nueva, tengo que arreglarla y trabajar mucho. Si no gano la tinka, no compro una casa nueva pero tengo que trabajar mucho. Gano la tinka o no la gano. Por lo tanto, tengo que trabajar mucho. 5.10. Si pago mis deudas y guardo dinero en el banco, no me queda ningn sobrante del sueldo. Pago mis deudas o me voy de viaje . Ocurre que, no voy de viaje. Por lo tanto, si guardo dinero en el banco entonces no me queda ningn dinero sobrante del sueldo.

32

TERCERA UNIDAD

LGICA CUANTIFICACIONAL

14. SINTAXIS Y SEMNTICA DE L.C. 1. 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 1.7. 1.8. 1.9. En las proposiciones que aparecen a continuacin, indique cules son los cuantificadores, predicados o constantes individuales. Todos los obreros son jornaleros. Ningn comediante es aburrido. Algunos religiosos no son fanticos. Algunos profesionales son psiclogos. Algunos hombres pblicos son proclives al acoso. Ningn fundamentalista es tolerante. No todos los creyentes son fanticos religiosos. No es el caso que algunos rectores no sean graduados universitarios. Aristteles fue discpulo de Platn.

33

1.10. 1.11. 1.12. 2.

Introduccin a la Lgica fue escrito por I. Copi. Scrates naci en Atenas Isabel ama a Francisco

Seale los cuantificadores, predicados y nombres propios en cada una de las siguientes proposiciones:

2.1. Todos los turistas visitan centros arqueolgicos. 2.2. Ningn axioma se deriva de otra proposicin. 2.3. Algunos filsofos no son partidarios de la economa liberal. 2.4. Algunos religiosos liberales estn de acuerdo con el aborto. 2.5. Es falso que ningn cientfico sea metafsico. 2.6. Scrates fue ateniense y Cicern fue romano 2.7. Cualquier hombre libre es un ciudadano del mundo. 2.8. Hipcrates fue un mdico griego y los mdicos curan los males de la humanidad 2.9. Muchos polticos son gobernantes, de ah que Hitler fue un gobernante. 2.10. Solo un inope puede desconfiar de sus propias creencias. 2.11. Aristocles fue discpulo de Scrates pero maestro de Aristteles. 3. Dadas las siguientes secuencias de smbolos, diga cules son frmulas bien formadas y cules no lo son. En las fbf distinga el alcance de los operadores.

3.1. ~(x) Gx Fc (z) Fz Hz 3.2. ~~~~(x) ~Fx 3.3. ~~~p ~q .. p 3.4. (x) ( Ra Vx ) .. ( Sx p ) ( Tb Rx ) 3.5. (x) ( Ra Vx ) (z) ( Rz Px ) .. Px 3.6. (x) ( Px Rx ) ( Rx p )

34

3.7. (Ex) Mx ( s t ) 3.8. (x) ~Gx 3.9. (x) ( Rx Zx ) ( Sx Qh ) 3.10. (x) [ (x) ( Px Rx ) ~(x) ~~Rx Px] 3.11. (x) ( Rx Sp ) (z) ( Rz Px ) 3.12. (x) ( Px ~Rx ) ( Rx ~p ) 3.13. (Ex) [ Ma ( Qx v Rx ) ] 3.14. (x) ~Gx ~Hx .. ~Fx ~ Sx 3.15. (a) [ ( Ra Za ) ( Sx Qy ) ] 3.16. (y) [ (x)( Px Rx ) ~(z) ( ~~Ry Pz ) ] 3.17. (x) ( Ra Vx ) (y) ( Ry Py ) 3.18. (x) ( Px Rx ) ~(z) [ ( p q ~~Ry Pz ) ]

4.

En cada una de las siguientes frmulas, indique la frmula abierta o la frmula cerrada. Si es abierta identifique la variable libre.

4.1. p q 4.2. Fa Fb (x) Gx 4.3. (x) Hx .. Tx p 4.4. Ta Tb Tc Tx 4.5. (x)(y) ( Fx Hx .. Gy ) 4.6. Fb (y) ( Hx Gy ) 4.7. q Ha .. (x) p 4.8. (y) ( Hy Fy ) q 4.9. ( p .. r q ) Fx .. Ta

35

4.10. 4.11. 4.12. 4.13. 4.14. 4.15. 4.16. 4.17. 4.18. 4.19. 4.20.

( Sa Nc ) ( (y) Ty Hy ) Fa Gy .. p (x) ~(z) ( Rx Gz ) (x) Gx ( Ha Hb ) .. (x)Hx [ (x) Hx Fx (x) Gx ] ( Fa Ga ) (x) [ (y)(z) ( Gz Hy ) Fx ] ~(x)~(z) [ ( Rx Fz ) Sz ] Pb Pa .. ~[ (x) ~(y)~( Fz Zy Rx) ] ( Ha p q ) .. (x) Gx (y) ( Hy Gy ) (x) Fx (x) ( Sx Rx .. Ha ) .. (x) Mx Tx p ~r .. [(x)(y)( Hy Gy ) Fx ]

15. REGLAS SEMNTICAS DE LOS CUANTIFICADORES

1. CUANTIFICADORES UNIVERSAL Y EXISTENCIAL V( ) F( ) V( ) F( )

v( )

F( )

V( )

F( )

16. DIAGRAMAS SEMNTICOS EN L.C. El mtodo de los Diagramas Semnticos es un procedimiento decisorio para frmulas proposicionales y frmulas cuantificacionales mondicas de primer grado. A continuacin las pautas complementarias para decidir la validez o

36

invalidez de frmulas de LC. Son complementarias, porque tenemos que seguir aplicando las pautas de LP. Las reglas son como sigue: i. Aplique las reglas semnticas a los operadores proposicionales con mayor jerarqua que los cuantificadores. ii. Si todos los cuantificadores generan , sustituya todas las variables indefinidas por . iii. Por cada cuantificador que genera , sustituya las variables indefinidas por una constante que representa a un nombre propio. iv. Despus de aplicarse la regla 3 , los operandos de cada cuantificador que generan se sustituyen por la constante de cada cuantificador que ha generado . v. Una vez aplicadas las reglas 2, 3 y 4 se eliminan a la vez los cuantificadores, luego las operaciones se efectan como si fueran frmulas de la lgica proposicional. 1. Por el mtodo de diagramas semnticos, determine cules de las siguientes frmulas son vlidas.

1.1. (x) ( Px Qx ) (x) Px . . (x) Qx 1.2. (x) ( Px Qx ) (x) ~Qx . . (x) ~Px 1.3. (x) ( Px Qx ) ~(x) ~( ~Qx ~Px ) 1.4. (x) ( Tx Lx ) ~(x) ( Tx ~Lx ) 1.5. (x) ( Px ~Qx ) (x) ~Qx . . (x) ~Px 1.6. (x) [( Px Qx ) ( Qx Rx )] .. (x) ( Px Rx ) 1.7. (x) Px (x) Qx (x) Rx .. (x) ( Px Rx ) 1.8. (x) ( Nx Hx ) (x) ( ~Gx Nx ) .. (x) ( Hx ~Gx) 1.9. (x) ( Rx Gx ) [ (x) ( Hx Rx ) (x) ~( Hx Gx ) ] 1.10. 1.11. 1.12. ~(x) ( Hx Qx ) (x) ( ~Hx ~Tx ) .. (x) ( ~Tx ~Qx ) (x) Fx (x) Gx (x) Jx .. (x) Jx (x) ~Fx (x)( Fx Sx ) ~(x) ( Sx Jx ) .. (x)( Jx .. Fx Sx )

37

1.13.

(x) ( Ax Bx ) (x) Bx .. (x)( Ax Bx )

1.14. ~(x) ( Fx Tx ) .. (x) Hx (x) ( ~Fx ~Tx ) 1.15. ~(x) ( Px ~Tx ) .. (x) ( ~Px Tx ) 1.16. ~[ (x) ( Mx Ax ) ~(x)~( ~Ax ~Mx ) ] 1.17. (x) ( Mx ~Lx ) (x) ( Hx Lx ) .. (x) ( Mx ~Hx ) 1.18. (x) ( Tx Jx ) ~(x) ( ~Sx Jx ) .. (x) ( Cx ~ Ex )

1.19. (x) [Cx .. ~ (Mx Ox ) ] (x) ( Ex Ox ) .. (x) ( Cx ~ Ex ) 1.20. (x) (Mx Lx ) (x) (Hx Lx ) .. (x) Mx (x) (Mx Hx .. Lx)
17. SIMBOLIZACIN EN L.C. 1. Seale las variables predicativas y las constantes individuales, si fuera el caso, y simbolice las siguientes proposiciones:

1.1. Todos son polticos. 1.2. Algunos son polticos. 1.3. Algunos son apolticos. 1.4. Nadie es poltico. 1.5. Nadie es apoltico. 1.6. Ningn hombre honesto es mentiroso. 1.7. Todos los filsofos son grandes oradores. 1.8. Algunos campeones en ajedrez no son futbolistas. 1.9. Algunos metales preciosos son costosos. 1.10. Algunos animales de sangre fra no viven en los polos. 1.11. Es falso que algn deportista sea indisciplinado. 1.12. Toda lana de exportacin no es de vicua. 1.13. Ninguna empresa transnacional exporta animales domsticos.

38

1.14. 1.15. 1.16. 2. 2.1. 2.2. 2.3. 2.4. 2.5. 2.6.

Todos los trabajadores del estado merecen sueldos decorosos. Ningn alumno universitario intenta plagiar en una prctica calificada. Slo desaprobaron los que faltaron a clases. Por el mtodo de los diagramas semnticos determine la validez o invalidez de las siguientes inferencias. No es el caso que ningn deportista sea cientfico si es egresado de una universidad. Ningn paralogismo es un sofisma. Todo paralogismo es una falacia. Luego, algunas falacias no son sofismas. Las leyes lgicas son tautologas. Ninguna tautologa es inconsistente. Luego, nada que sea inconsistente es una ley lgica. Si los nmeros son objetos ideales y los nmeros son objetos matemticos, entonces algunos objetos matemticos son objetos ideales. Los sismlogos estudian los terremotos. Algunos sismlogos son chilenos. Por tanto, algunos chilenos estudian los terremotos. Algunos fanticos del cyberespacio son acosadores, dado que, todos los cybernautas son fanticos del cyberespacio y todos los cybernautas son acosadores. Algunas conclusiones que se basan en la experiencia son verdaderas. Ninguna conclusin que se basa en la experiencia es totalmente segura. Luego, algunas conclusiones verdaderas no son totalmente seguras. Todos los hombres honestos muestran ideales. Todos los que muestran ideales practican una virtud. Por lo que, todos los hombres honestos practican una virtud. Todas las tecnologas han generado el calentamiento global. Las naciones industrializadas utilizan tecnologas. Por lo tanto, las naciones industrializadas han generado el calentamiento global. Algunos accidentes de trnsito son por negligencia humana. Algunos accidentes de trnsito son por fallas mecnicas. Por tanto, algunas fallas mecnicas son por negligencia humana. La metateora est formulada en un metalenguaje. La metalgica es una metateora. Luego, la metalgica est formulada en un metalenguaje. Los modelos econmicos son representaciones simplificadas de la realidad. Las representaciones simplificadas de la realidad son expresiones

2.7.

2.8.

2.9.

2.10.

2.11. 2.12.

39

matemticas. Luego, algunas expresiones matemticas son modelos econmicos. 2.13. Si la lgica y la matemtica son ciencias formales entonces trabajan con objetos ideales. Todos los objetos ideales son abstractos. En consecuencia, la lgica y la matemtica trabajan con objetos abstractos. Algunos cuentos y novelas son divertidas. Ningn poema es divertido si es una novela. En consecuencia, ningn poema es divertido si no es un cuento. Algunos animales pueden ser adiestrados por el hombre. Los leones pueden ser adiestrados. El len es un felino. Luego, algunos animales felinos pueden ser amaestrados. Todos los hombres y mujeres tienen derecho a manifestar su opinin. Algunos que manifiestan su opinin lo hacen con notable elucidacin. Por eso, todos los hombres y mujeres poseen una notable elucidacin. Ningn fantico del ftbol es poltico congols. Algunos polticos congoleses son gobernantes. Por lo tanto, algunos fanticos del ftbol no son gobernantes. Ninguna calandria es vegetal. Todos los vegetales son plantas. Luego, Alguna planta no es calandria Algunos actores del cine son pintores, de ah que algunos pintores son norteamericanos, ya que algunos actores del cine son norteamericanos. Algunos sudamericanos son protestantes, puesto que todos los peruanos son sudamericanos y ningn peruano es protestante. Cualquier profesor espera lo imposible de sus alumnos. Algunos alumnos son hbiles en determinados cursos. Sin embargo, algunos alumnos no se matriculan en lgica. Por ello, podemos inferir que, algunos alumnos no sean hbiles en lgica. Ningn animal carnvoro es un caballo, dado que ningn solpedo es carnvoro y todos los caballos son solpedos. Todos los cetceos son animales acuticos, por consiguiente algunos mamferos no son animales acuticos, en vista de que algunos mamferos no son cetceos. Ningn insecto es vertebrado, por lo tanto algunos animales vertebrados no son mamferos, ya que algunos mamferos no son insectos. Algunos estudiantes politizados no asisten a clases, de modo que algunos que asisten a clases no son estudiantes politizados.

2.14.

2.15.

2.16.

2.17.

2.18.

2.19. 2.20. 2.21.

2.22. 2.23.

2.24. 2.25.

40

2.26.

Todos los polticos suelen ser afables en su campaa. Todos los afables son hombres respetuosos. Sin embargo, la gran mayora de polticos son no afables. En consecuencia, algunos hombres respetuosos son polticos. Todos los ingenieros son profesionales. Por lo tanto todos los no profesionales son no ingenieros. Todos los defensores de los derechos humanos son luchadores sociales, de all que algunos luchadores sociales son defensores de los derechos humanos. Todos los lgicos son reflexivos y estudiosos. Algunos lgicos son filsofos. Luego, algunas personas reflexivas son filsofos. Los vendedores son amables o no tienen xito. No todos los vendedores carecen de xito. Por lo tanto, hay vendedores amables.

2.27. 2.28.

2.29. 2.30.

41