You are on page 1of 53

UNIVERSIDAD RICARDO PALMA

RECTORADO
PROGRAMA DE ESTUDIOS BSICOS

AO ACADMICO 2015

MATERIAL DIDCTICO

2015-II

EB 0104 LGICA

Programa de Estudios Bsicos

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 la parte de las
premisas del argumento.
1.1. En el mundo hay demasiado sufrimiento; por ello, Dios no puede existir.

1.2. Dios no puede existir, pues en el mundo hay demasiado sufrimiento.

1.3. La filosofa no es una ciencia formal o emprica. Por ello, los problemas
que plantea no pueden resolverse mediante procedimientos formales o
experimentales. Pues pregunta por la cuestin del sentido de nuestras
prcticas tericas.

1.4. La filosofa no es una ciencia formal o emprica. Por ello, se podra afirmar
que pregunta por la cuestin del sentido de nuestras prcticas tericas, ya
que los problemas que plantea no pueden resolverse mediante
procedimientos formales o experimentales.

1.5. La salvacin viene de la fe mas no de las buenas obras; adems, nadie es


absolutamente bueno a los ojos de Dios. De modo que, solo la fe en Cristo
nos puede salvar de la condena eterna.

1.6. La salvacin viene de la fe mas no de las buenas obras, pues si estas


fueran suficientes, creer en Cristo como nuestro salvador personal no
tendra sentido. Adems, nadie es absolutamente bueno a los ojos de
Dios. De modo que, solo la fe en Cristo nos puede salvar de la condena
eterna.

Programa de Estudios Bsicos

1.7. Aristteles hace una clasificacin de virtudes apegada a su concepcin del


ser humano que hoy puede parecernos algo forzada. Sin insistir por eso en
ello, baste indicar que entre las virtudes ms relevantes estn,
relacionadas con la realizacin de la verdad, la sabidura y la prudencia; y
relacionadas con el carcter, la virtud de la justicia y otras como la valenta,
la magnanimidad, la sinceridad o la templanza.

1.8. No creo que la primera prctica calificada de lgica sea fcil, dado que
este horario tiene un buen nivel. No obstante, pienso que aprobar, pues
mi profesor de lgica me ha ayudado a comprender los temas de la
evaluacin. Adems, esta no es la primera vez que llevo este curso. Por
ello, creo que aprobar el curso y con excelentes calificaciones.

1.9. O bien Pel es el ms grande jugador de ftbol que ha existido o bien lo es


Maradona. Pel llev a la seleccin de su pas al ttulo en tres ocasiones,
mientras que Maradona solo lo hizo en el mundial de Mxico 86. Adems,
Pel tiene ms goles anotados en general que Maradona. Por estas
razones, afirmo que Pel es el mejor futbolista de todos los tiempos.

1.10. Blade Runner es la mejor pelcula de ciencia ficcin que he visto hasta
ahora. Adems, es sin duda la mejor pelcula de Ridley Scott. Sin
embargo, las otras pelculas de este director no tienen el nivel logrado en
Blade Runner, ya que no logran conjugar del todo el tema de la pelcula
con una atmsfera apropiada. Por ello, es poco probable que Ridley Scout
supere lo logrado en Blade Runner.

1.11. La lgica es una disciplina filosfica aunque tambin es una ciencia formal.
Su desarrollo algebraico es producto de profundas motivaciones filosficas.
Basta leer los trabajos de Frege o el de los autores de los Principia para
convencerse de ello. De ah que, toda formacin filosfica que descuide los
estudios de lgica es incompleta o insuficiente.

1.12. La vida no es ms que una sombra que transcurre. Un pobre actor que
orgulloso consume su turno sobre el escenario para jams volver a ser
odo. Es un cuento narrado por un idiota lleno de ruido y de furia y que
nada significa.

Programa de Estudios Bsicos

1.13. Se han dado varias razones para demostrar que la educacin no es en s


misma un fin sino un medio. En primer lugar, el hombre se vale de ella
para ejercer su vocacin de autorrealizacin y de mejoramiento continuo.
En segundo lugar, la educacin no es exclusivamente desarrollo de la
razn. Finalmente, ella es fundamental para el cambio social.

1.14. Se han dado varias razones para demostrar que la educacin no es en s


misma un fin sino un medio. En primer lugar, el hombre se vale de ella
para ejercer su vocacin de autorrealizacin y de mejoramiento continuo.
En segundo lugar, la educacin no es exclusivamente desarrollo de la
razn, pues la razn sin valores es ciega. Finalmente, ella es fundamental
para el cambio, dado que los cambios en la conducta producidos por la
educacin desembocan en posibles cambios sociales.

1.15. Existen tantos planetas en el universo que estadsticamente es razonable


pensar que algunos podran poseer las condiciones para que haya vida.
De esos mundos, que alguno contenga vida inteligente tambin es factible.
No estamos solos en el universo.
1.16. El uso de drogas es equivocado porque es inmoral, y es inmoral porque
esclaviza la mente y destruya el alma.

1.17. En el da de san Valentn, casi todas las parejas sienten la necesidad de


salir a algn lado. Ese da, a pesar de que los lugares de esparcimiento
parecen un mercado, se convierte en el mejor momento para tomarse un
caf o un trago en compaa del ser querido. Entonces, los te quiero se
abren paso hacia el final de la noche.

1.18. La ciencia moderna se inicia propiamente con Francis Bacon. La principal


obra de ste es el Novum Organum. Tradicionalmente el trmino
Organon designa el conjunto de los tratados de lgica de Aristteles y
define la lgica como instrumento de la ciencia. La obra de Francis Bacon
se opondr a esta concepcin. El Novum Organum tiene, a la vez, un
aspecto crtico (de la ciencia tradicional) y un aspecto positivo (una nueva
forma de concebir la ciencia).

Programa de Estudios Bsicos

1.19. La mente no es un programa de computadora, pues pensar no consiste en


manipular smbolos siguiendo reglas al modo de un clculo. Sin embargo,
en las llamadas ciencias cognitivas, ese es el paradigma imperante; de ah
que se hable, por ejemplo, de las estructuras sintcticas de la mente. Por
esas razones, es necesaria una crtica de los fundamentos conceptuales
de las ciencias cognitivas.

1.20. La compasin es la emocin desagradable que sentimos cuando nos


ponemos imaginativamente en el lugar de otro que padece, y padecemos
con l, lo compadecemos. Hemos empezado a entender el mecanismo de
la compasin gracias a Giacomo Rizzolatti, descubridor de las neuronas
espejo, que se disparan en nuestro cerebro tanto cuando hacemos o
sentimos ciertas cosas como cuando vemos que otro las hace o siente.
Las neuronas espejo de la nsula se disparan y producen en nosotros una
sensacin penosa cuando vemos a otro sufriendo. Esta capacidad puede
ejercitarse y afinarse o, al contrario, embotarse por falta de uso.

1.21. En el siglo XIX, Arequipa fue el ncleo del sur del Per, porque se convirti
en el eje comercial de la regin. Esta conclusin se sigue de los siguientes
hechos: El ferrocarril del sur una el puerto de Mollendo con Cusco, Madre
de Dios, Puno y Bolivia. Cientos de campesinos, aprovechando la va del
ferrocarril y las facilidades para el traslado de productos agrcolas y de
pasajeros, se ubicaron cerca de la lnea frrea convirtiendo sus tierras en
verdaderas haciendas.

1.22. Segn Aristteles, el principio de no contradiccin es el ms cierto de


todos los principios, pues ni siquiera podramos negarlo sin presuponerlo.
Sin embargo, pienso, al igual que Nietzsche, que su certeza no es ms que
nuestra incapacidad de negarlo, debido a las condiciones de nuestra
existencia. Por ello, creo que afirmar que algo es verdadero solo es afirmar
que ese algo es til para nosotros.
1.23. 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.

Programa de Estudios Bsicos

10

1.24. 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.25. 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.

1.26. 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.

1.27. 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.

1.28. 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.
1.29. 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.

Programa de Estudios Bsicos

11

1.30. 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.

1.31. 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.

1.32. 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.

1.33. 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
complejo de ser mestizo. Y no se olvide que el complejo puede ser de
superioridad o de inferioridad.

1.34. 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.

1.35. 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.

Programa de Estudios Bsicos

12

1.36. La violacin a un menor de edad es un acto monstruoso que transforma la


vida del afectado. Por un lado, impide el ejercicio del derecho fundamental
a la libertad, por otro, arrebata la inocencia propia de la niez. Aparte,
incuba resentimientos que pueden convertirse en posteriores traumas.

1.37. Es evidente que Dios existe, por las siguientes razones: Primero, porque
slo un ser que es omnibondadoso puede decretar leyes morales.
Segundo, porque si Dios no existiera entonces no habra una ley moral
objetiva. Y en tercer lugar, porque ninguna ley moral objetiva depende
simplemente de un ser humano.

1.38. 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.

1.39. 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; puesto que, los motivos
de todo esto es la racionalidad humana. En consecuencia nuestra voluntad
no es libre.

1.40. 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.

1.41. 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 como
a uno mismo, en consecuencia debe serlo tambin que me ame a m
mismo, dado que yo tambin soy una persona. No hay ningn concepto de
Programa de Estudios Bsicos

13

hombre en el que yo no est incluido. De modo que, si una doctrina


propugnara un tipo de exclusin en ese sentido, demostrara ser
intrnsecamente contradictoria.

1.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:

2 + 3
_____

1 + 2 + 3
__________

1 + 2
_____

1 + 4
_____

1.3. En cada uno de los siguientes textos, identifique cul de ellos


corresponde a un argumento deductivo o un argumento inductivo.

1.3.1. Todos los graduados de sta Universidad consiguen trabajo. Por lo tanto,
Pedro conseguir trabajo ya que es graduado en esta universidad.
1.3.2. Hitler, Stalin y Pinochet fueron dictadores y crueles. Por lo tanto, todos
dictadores son crueles.
1.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.
1.3.4. Tanzania tiene ms territorio que Uganda, porque Tanzania tiene ms
territorio que Kenya y Kenya tiene ms territorio que Uganda.
1.3.5. 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.

Programa de Estudios Bsicos

14

1.3.6. 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.
1.3.7. 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.
1.3.8. Todos los animales son mortales. Todos los humanos son animales. Por lo
tanto, todos los humanos son mortales.
1.3.9. Todos los mamferos tienen alas. Todas las ballenas tienen alas. Por lo
tanto, todas las ballenas son mamferos.
1.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.
1.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.
1.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.
1.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.
2.1. Esforcmonos! para salir de la crisis econmica.
2.2. Cierra la puerta!
2.3. Hay dos alternativas: estudiar o trabajar.

Programa de Estudios Bsicos

15

2.4. Que el alma que puede hablar con los ojos, tambin puede besar con la
mirada.
2.5. Si amo a los dems, resulta inevitable que deje de amarme.
2.6. El sacerdote dijo podis ir en paz.
2.7. La crisis econmica va desarrollndose en las pequeas empresas.
2.8. La justicia se representa con una mujer que lleva los ojos vendados.
2.9. Nuestro vocablo cultura procede de la forma supina del verbo colere.
2.10. Los apuntes son una tcnica de estudio.
2.11. La sugerencia es una recomendacin razonable del investigador.
2.12. La recomendacin se debe cumplir.
2.13. La lgica es un instrumento terico para construir la ciencia.
2.14. Cualquier persona est obligado a elaborar sus puntos de referencia.
2.15. Todo ejercicio de lgica matemtica tiene una solucin indiscutible.
2.16. Si pudiera leer lo que hay en su corazn, mis angustias por ella seran
menores.
2.17. Debes tener ms cuidado la prxima vez.
2.18. A lo largo de mi vida he amado mucho y odiado poco.
2.19. Zona militar: Prohibido detenerse!
2.20. Para los antroplogos, la prctica gastronmica es una parte de la cultura.
2.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.
2.22. Cada universidad es autnoma en lo acadmico, econmico, normativo y
administrativo, dentro de la ley.
2.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.
2.24. La inferencia es el paso de un conjunto de premisas a una conclusin.
2.25. Cuando los perros lamen la cara de su amo, estamos ante un vestigio
directo de aquella conducta de peticin de alimento.
2.26. El piano es un instrumento musical clasificado como instrumento de
teclado de cuerdas percutidas.

Programa de Estudios Bsicos

16

2.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.
2.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.
2.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.
2.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.
2.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.
2.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.
2.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.
2.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.
2.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.
2.36. Cuando tena unos veinte aos cayeron en mis manos ciertos escritos de
Aristteles titulados Las diez categoras. Mi maestro de retrica en Cartago
y otros que tenan fama de doctos, hablaban de este libro deshacindose
en alabanzas hinchando sus mejillas de no disimulada autocomplacencia.
Esto me haca suspirar por ellos como si se tratara de un misterio
divinamente maravilloso. Trat de leerlos y comprenderlos por m mismo,
pero me pregunto ahora qu ventaja saqu de todo ello. (San Agustn,
Confesiones)
Programa de Estudios Bsicos

17

3. FALACIAS

Qu tipo de falacia que se comete en cada uno de los siguientes argumentos?


Por qu?
3.1. Cmo vamos a creer sus afirmaciones sobre fumar es nocivo para la salud,
si usted es fumadora.
3.2. S que San Pedro me va a ayudar, por eso voy a apostar mi sueldo en la
quinta carrera de caballos.
3.3. La teora de la evolucin no puede ser verdadera, porque si lo fuera
querra decir que no somos mejores que los monos.
3.4. Cmo puede decir Domnguez que es socialista si su padre fue el hombre
ms rico y arbitrario de la ciudad?
3.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!
3.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.
3.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.
3.8. Dios existe porque los Textos Sagrados lo dicen. Los Textos Sagrados
dicen la verdad porque expresan la palabra de Dios.
3.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.
3.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.
3.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.
3.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.

Programa de Estudios Bsicos

18

Caramba! a m, que soy doctor!, quiere corregirme ste que an no ha


aprendido a limpiarse la nariz.

3.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.
3.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.
3.15. Aquellos que se resistan a aceptar la Biblia se quemarn en el infierno!
De modo que, no deben rehusar la existencia de Dios.
3.16. El atesmo es malo, porque es practicado por comunistas y asesinos.
3.17. Lo que contiene la Biblia es verdadera, pues millones de personas lo
dicen. En consecuencia, no pueden estar todos engaados.
3.18. Yo tom una aspirina y rec a Dios, y mi dolor desapareci. Dios cur
mi dolor de cabeza!
3.19. Las termitas destruyen los rboles. Ja!, ja,... esto es falso porque un
animalito tan pequeo no tiene capacidad para tragarse un rbol
completo.
3.20. La teora moral del filsofo francs Rousseau es falsa porque Rousseau
abandon a sus hijos en un orfanato.
3.21. Este hombre ha mentido en situaciones menos complicadas que ahora.
Cmo podemos escucharle?
3.22. La persona que ocasiona herida a otra es un delincuente. Entonces, como
todo cirujano ocasiona heridas a otras personas, los cirujanos son
delincuentes.
3.23. Si un objeto es de oro, brilla. Esta daga brilla. Esta daga es de oro.
3.24. Es culpa ma porque desde que decid invertir en la bolsa, sta ha
empezado a bajar o los precios han bajado.
3.25. Los ecologistas dicen que consumimos demasiada energa; pero no
hagas caso porque los ecologistas siempre exageran.
3.26. La bicicleta est hecha enteramente de componentes de poca masa, y
por lo tanto es muy liviana.
3.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.
3.28. Las nias son muy juguetona, por eso si destruyes las nias te
quedaras ciego por el resto de tu vida.

Programa de Estudios Bsicos

19

3.29. Hoy tendr un buen da en los negocios porque mi horscopo as lo


dice.
3.30. Han detenido al asesino de tu padre?
3.31. Unos granos de arena pesan muy poco, por lo tanto cualquier conjunto
de granos de arena tambin pesara muy poco.
3.32. No podemos fiarnos de este estudio sobre los efectos del tabaco sobre
la salud humana, ya que lo ha financiado la industria tabacalera.
3.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

Cules de las siguientes expresiones son proposiciones? En cada caso


explique por qu es o no es una proposicin.
4.1. La educacin es prioritaria para el desarrollo del pas.
4.2. Santo Toms deca el hereje merece la pena de muerte.
4.3. No hay pena si no hay delito?
4.4. El restaurante era luminoso, elegante y agradable.
4.5. Es eterno el amor?
4.6. En la arquitectura de la ciencia el paso fundamental est constituido por la ley.
4.7. Isabel la Catlica, haba quedado prendada del astuto Fernando con
pasin fulminante.
4.8. La medicina presupone una jerarqua entre la confusin del profano acerca
de lo que le ocurre y el conocimiento ms apropiado al alcance de los
mdicos que razonan de forma lgica.
4.9. Un hombre se siente insatisfecho, le cuesta levantarse por la maana, est
distrado y malhumorado con su familia.
4.10. Existen pocos remedios para la ansiedad mejores que la reflexin.
4.11. No hagas a otro lo que no quieres que hagan contigo.
4.12. El que a hierro mata a hierro muere!
4.13. Hay golpes en la vida tan fuertes, yo no s....
4.14. Aristteles es considerado el padre de la lgica.
4.15. No existe prisin por deudas.

Programa de Estudios Bsicos

20

4.16. En un estado socialista slo existe la libertad ontolgica.


4.17. Debemos respetar a las autoridades de la universidad.
4.18. Descartes sostena que el alma est en la glndula pineal.
4.19. Todos los nios en el Per tienen derecho a una educacin gratuita.
4.20. El comienzo de todo conocimiento de la realidad comienza mediante
idealizaciones que consisten en abstraer y elaborar concepto.
4.21. Imagino tus deseos inquietos perdindose entre mis cabellos....
4.22. En un atardecer de otoo, tmidas sombras van desapareciendo.
4.23. Alemania se reunific tras la cada del muro en 1989.
4.24. El 6 de agosto de 1825, Sucre cre la Repblica de Bolivia.
4.25. La orilla del mar me llama, me mira, me exige en pronto regreso.

Cules de las siguientes proposiciones son simples o compuestas?

4.26. Constantinopla fue la capital del Imperio Bizantino.


4.27. A la fiesta de los cachimbos tambin concurri el profesor.
4.28. No solamente es una sustancia inocua sino que adems es inspida.
4.29. Platn fue discpulo de Scrates y Aristteles fue discpulo de Platn.
4.30. Las inferencias lgicas transmiten la verdad, pero no sirven para descubrir
nuevas verdades.
4.31. El paciente tiene fiebre y resfro porque tiene sarampin.
4.32. Un joven de fino bigotillo y una expresin en la cara como si tuviese algo
repugnante en la boca, se sent junto a la seora Storh.
4.33. Antonio qued fascinado por la reina que abandon sus proyectos blicos.
4.34. La pena privativa de libertad puede ser temporal o de cadena perpetua.
4.35. El lgebra es un sistema axiomtico si y slo si la geometra tambin lo es.
4.36. A pesar de ser megalmano es cleptmano.
4.37. Ciro Alegra y Csar Vallejo pertenecen a la misma generacin.
4.38. Miguel de Unamuno es conocido como el Cisne de Bilbao.
4.39. Bolivia no puede doblegar a su vecino, porque no tiene fuerza econmica o
blica.
4.40. El monitor Huscar es el buque ms emblemtico y legendario de la
Marina de Guerra del Per.
4.41. Los trminos modelo, hiptesis, ley y teora tienen

en

la

ciencia

un

significado diferente al que se les da en el uso del lenguaje corriente o


vulgar.

Programa de Estudios Bsicos

21

4.42. No es el caso que el actual gobierno peruano sea comunista o republicano,


puesto que est regido por una constitucin democrtica.
4.43. Entre Arica y Tacna existe una va frrea, pero entre Tacna y Moquegua
existe una va martima.

Lea cuidadosamente cada uno de los siguientes textos, luego elabore un listado
de proposiciones simples:

4.44. Flaubert, Gorki y Hemingway fueron fumadores empedernidos, al punto


que, cada uno de ellos tena el bigote amarillo y los dientes careados.
4.45. Los mitos son relatos basados en la tradicin y en la leyenda, creados para
explicar el universo, el origen del mundo, los fenmenos naturales y
cualquier cosa para la que no haya una explicacin simple.
4.46. Los problemas sociales y econmicos continuarn siendo un peligro
latente para este gobierno a menos que se cumpla con los objetivos del
Acuerdo Nacional.
4.47. Europa atravesaba por entonces tiempos turbulentos, a la vez maravillosos
y terribles.
4.48. Las grandes empresas picas convivan con las intrigas ms retorcidas, los
soadores con los envenenadores, la supersticin con el afn cientfico del
Renacimiento.
4.49. Eran los aos de Coprnico, de Leonardo Da vinci, de Luis Vives, de
Erasmo de Rotterdam; pero tambin del establecimiento de la Inquisicin y
de los Borgia.
4.50. Subieron lentamente en fila india, pues el sendero abierto en la nieve no
les permita ir uno al lado del otro.
4.51. La lgica y la matemtica son esenciales para todas las ciencias por la
capacidad de poder inferir con seguridad unas verdades a partir de otras
establecidas
4.52. 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.

Programa de Estudios Bsicos

22

5. DEFINICIONES

Defina cada uno de los siguientes trminos, luego explique, qu clase de


definicin ha utilizado:
5.1. rbol

5.6. Violn

5.11. Loro

5.2. Televisin

5.7. Aleluya

5.12. Lapicero

5.3. Hombre

5.8. Tiza

5.13. Bolgrafo

5.4. Automvil

5.9. Rojo

5.14. Callao

5.5. Len

5.10. Idea

5.15. Termmetro

6. NIVELES DEL LENGUAJE


Use comillas y distinga los niveles del lenguaje en cada uno de los siguientes
textos:
6.1. Bislaba es una palabra que tiene dos slabas.
6.2. Bislaba no es bislaba.
6.3. Es La palabra mito deriva del griego mythos, que significa palabra o
historia.
6.4. El trmino justicia viene de iustitia.
6.5. La alumna Fiorella Gmez dijo hasta el prximo semestre compaeros.
6.6. Jesucristo es el nombre del salvador de la humanidad, expres el
sacerdote en la iglesia.
6.7. El trmino alma o nima del latn anima se refiere a una entidad inmaterial
que poseen los seres vivos.
6.8. Los cuerpos son pesados es verdadero dijo el profesor de fsica, luego
aadi, todo cuerpo ocupa un lugar en el espacio.
6.9. La palabra papanatas acaba de ser pronunciada por primera vez.
6.10. Usaremos el trmino alumno o alumna para referirnos a los asistentes a
clase.
6.11. Platn consideraba el alma como la dimensin ms importante del ser
humano.

Programa de Estudios Bsicos

23

6.12. El nombre de jueves proviene del latn Jovis des, o da de Jpiter.


6.13. Los maestros que hablan entre s de su trabajo y los tericos que hacen
recomendaciones razonables para la prctica, inevitablemente harn uso
de conceptos tales como educacin, enseanza, conocimiento, currculum,
autoridad, igualdad de oportunidades y castigo.
6.14. 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.
6.15. La metfora es el desplazamiento de significado en los trminos con una
finalidad esttica.
6.16. La palabra valquiria deriva del nrdico antiguo valkyrja y significa la que
elige a los cados en batalla.
6.17. 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.
6.18. 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
escuch sobre alguna evidencia. Despus slo escuch te condenamos a
veinticinco aos de crcel porque eres culpable, no inocente.
6.19. La palabra justicia design, originalmente, la conformidad de un acto con el
derecho positivo, no con un ideal supremo y abstracto de lo justo.
6.20. Junio del latn Iunius, mes de Juno es el sexto mes del ao en el Calendario
Gregoriano y tiene 30 das.
6.21. El trmino hebreo emth, a menudo traducido verdad, puede designar
aquello que es firme, digno de confianza, estable, fiel, un hecho veraz o
establecido.
6.22. El calendario gregoriano es un calendario originario de Europa, actualmente
utilizado de manera oficial en casi todo el mundo.
6.23. El origen ms probable de la palabra caf proviene de los mahometanos
que, posiblemente, buscando reducir el efecto psicolgico de la prohibicin
religiosa de consumir bebidas alcohlicas, llamaron Kahoueh al caf.
Kahoueh era el nombre utilizado para designar a las bebidas alcohlicas,
mismo que los turcos pronunciaban Kahveh y que al comercializarlo tom
en castellano el nombre de caf.
Programa de Estudios Bsicos

24

6.24. 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.
6.25. 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.

6.26. 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.

6.27. Hubo un tiempo en que los hombres y mujeres estaban convencidos de


que todos y cada uno de sus actos tenan al menos un espectador divino,
quien saba todo acerca de sus acciones, que poda entenderlos y, de ser
necesario, castigarlos. Uno poda ser un proscrito, un bueno para nada, un
don nadie ignorado por sus prjimos, una persona que sera olvidada en el
momento en que muriera, pero estaba convencido de que, al menos,
alguien le prestaba atencin. Solo Dios sabe lo que he sufrido, deca la
abuela, enferma y abandonada por sus nietos. Dios sabe que soy inocente,
era el consuelo para aquellos condenados injustamente. Dios sabe lo
mucho que he hecho por ti, decan las madres a los hijos ingratos. Dios
sabe lo mucho que te quiero, gritaban los amantes abandonados. Solo
Dios sabe por lo que he pasado, gema el pobre miserable cuyas
desgracias a nadie importaban. Dios era invocado como el ojo omnisciente
al que nada ni nadie poda eludir.
6.28. El inductivismo considera el conocimiento cientfico como algo objetivo,
medible y demostrable, a partir solamente de procesos de experimentacin
observables en la naturaleza a travs de nuestros sentidos.

Programa de Estudios Bsicos

25

SEGUNDA UNIDAD

LGICA PROPOSICIONAL
7. SINTAXIS: FRMULAS Y ESQUEMAS DE FRMULAS

Cules de las siguientes secuencias de smbolos son frmulas bien formadas


(fbfs). Por qu?
7.1. p ( q q )
7.2. ( p q r ) p
7.3. p ( r ~ C )
7.4. p (~ t r)
7.5. ( ~ s p ) ( ~ q r ) t
7.6. ( p q .. r s ) r
7.7. p r q .. t q
7.8. q r .. ( r t )
7.9. p q .. p s .. ( q s )
7.10. ( p ~ t ) ( q r ) ( p q )

Construya fbfs para cada esquema de frmula con los datos que aparecen entre
parntesis:

7.11. ~ A

(p, q, , , )

7.12. A B

(p, q, , , )

7.13. A ( B C )

(p,q,r, , , )

7.14. ( A B ) B

(p, q, r, , , , )

7.15. A B .. A C
7.16. A ( B A)

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

7.17. ( A B) (B C)

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

Programa de Estudios Bsicos

26

8. FUNCIONES DE VERDAD Y REGLAS SEMNTICAS

8.1. Negacin

p
F V
V F
*

V ( A )

F ( A )

F ( A )

V ( A )

8.2. Conjuncin

p
V
V
F
F

V
F
F
F
*

q
V
F
V
F

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

F ( A B )
F ( A )

F ( B )

8.3. Disyuncin

p
V
V
F
F

V
V
V
F
*

q
V
F
V
F

V ( A B )
V ( A )

V ( B )

F ( A B )
F ( A )
F ( B )

8.4. Condicional

p
V
V
F
F

V
F
V
V
*

q
V
F
V
F

V ( A B )
F ( A )

V ( B )

F ( A B )
V (
F (

A
B

)
)

Programa de Estudios Bsicos

27

8.5. Bicondicional

p
V
V
F
F

V
F
F
V
*

q
V
F
V
F

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

F ( A
F ( B

F ( A B
)
)

V ( A )
F ( B )

F
V

)
(
(

A )
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. Suponga Verdadero (V) o Falso (F) a la frmula A.
ii. Aplique las reglas que no dan lugar a bifurcacin.
iii. 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.

Por el mtodo de los diagramas semnticos, determine si cada una de las


siguientes frmulas es tautolgica, contradictoria o contingente:
9.1. p ( q p )
9.2. ( p q ) p
9.3. ( p q ) p
9.4. ( p q ) ( q p )
9.5. p ( q p )
9.6. ( p q ) ( q p )
9.7. ( p q ) ( q p )
9.8. ( p q ) ( q p )
Programa de Estudios Bsicos

28

9.9. ( p q ) ( p q )
9.10. ( p q ) r q ( p r )
9.11. ( p q ) ( r q ) .. p r
9.12. ( p q ) .. r ( q p )
9.13. ( p q ) ( r p ) .. q r
9.14. ( p q ) ( r s ) ( p r ) .. s q
9.15. ( p q ) r .. q ( r s ) .. ( r s ) q
9.16. ( p q ) ( r s ) .. ( q p ) ( r s )
9.17. { [ ( p q ) ( r s ) ] ( ~ q v ~ s ) } ( p v r )
9.18. [ p ( q v ~ r ) ] v [ ~ ( q r ) ~ p ]
9.19. ~ [ ( ~ p v q ) ~ ( q ~ r ) ] ( ~ p r )
9.20. ( r v s .v. r ) [ ( r .. p q ) ~ ( p q .. r ) ]

10. SIMBOLIZACIN DE PROPOSICIONES


Obtenga una fbf de cada una de las siguientes estructuras formales:
10.1. p y no q
10.2. Si p entonces no q
10.3. No p, si y slo si p o r
10.4. Si no p, entonces q y r
10.5. No p, ya que q y r
10.6. p o q, si r
10.7. p, o q si r
10.8. p y q, puesto que r si no q
10.9. No es el caso p o q
10.10.

No es el caso que si p, q

10.11.

No es el caso p o q, puesto no p y no r

10.12.

Si no p, q si r

10.13.

p, entonces r si q

10.14.

r puesto q, o q si p

10.15.

p o q, pues q y s

10.16.

Si p, q; y, p a causa de q

10.17.

q o r se sigue de no p

10.18.

p, en vista de no p o no q
Programa de Estudios Bsicos

29

10.19.

p a menos que q; pero no ambos a la vez.

10.20.

p, a menos que q y r

Simbolice las siguientes proposiciones. Indique la variable proposicional de


cada proposicin simple y la estructura formal de la proposicin:
10.21. Los griegos y los persas fueron grandes navegantes.
10.22. Si la temperatura est bajo cero, el agua se congela.
10.23. Encinas, o fue un buen maestro o fue un buen poltico.
10.24. Habr tormentas martimas si y slo si hay huracanes producidos por los
vientos.
10.25. Si la temperatura no est elevada, las aguas marinas estn fras.
10.26. Rojo y negro es la obra ms significativa de Sthendal.
10.27. Flaubert, Gorki y Hemingway pertenecieron a la misma generacin.
10.28. Si no es el caso que la medicina y la fsica sean ciencias, entonces la
poltica es un arte.
10.29. No es el caso que si la medicina y la fsica son ciencias, entonces la
poltica sea un arte.
10.30. Grecia fue cuna de la cultura occidental y China fue cuna de la cultura
oriental, sin embargo ni Grecia ni China son potencias econmicas.
10.31. Habindose iniciado los exmenes an no se present.
10.32. No obstante de ser impo reza por las noches al acostarse.
10.33. A pesar de ser poltico no miente
10.34. La Justicia no es el dar o repartir cosas a la humanidad, sino el saber
decidir a quin le pertenece esa cosa por derecho.
10.35. A pesar de ser megalmano es cleptmano.
10.36. La teora del Big Bang se desarroll a partir de observaciones y avances
tericos.
10.37. Solamente la tierra est habitada.
10.38. Las observaciones detalladas de la morfologa y estructura de las galaxias
y cusares proporcionan una fuerte evidencia del Big Bang.
10.39. El paciente tiene fiebre y resfro, porque tiene sarampin.
10.40. Los contadores y los administradores estudian matemtica financiera.
10.41. Vargas Llosa escribi El sueo del celta.
10.42. La administracin es un arte si no es ciencia.
10.43. A pesar de ser odontlogo es cirujano esttico.
10.44. El arquitecto proyecta espacios urbanos o edificaciones.

Programa de Estudios Bsicos

30

10.45. David Ricardo o Adam Smith fueron economistas.


10.46. Si Silverio es puntual, llegar a la hora de siempre.
10.47. Un corredor entre Tacna y Arica elimina el comercio directo entre Per y
Chile, porque el corredor entre Tacna y Arica genera el comercio informal
y el comercio informal no puede ser directo entre Per y Chile.
10.48. Hace fro si nieva, dado que si nieva la temperatura est bajo cero.
10.49. La pena privativa de libertad es temporal o de cadena perpetua, de ah
que un reo sale libre si la pena privativa es temporal.
10.50. Es o no es un buen maestro o un buen poltico, puesto que si no es un
buen poltico, no es un buen maestro.
10.51. La educacin bsica en el Per es de baja calidad a menos que se
invierta racionalmente en educacin.
10.52. Un clima social estable, caracterizado por instituciones y grupos sociales
proveedores de intereses y objetivos aceptados, cuando no compartidos,
crea el ambiente necesario para el surgimiento de nuevas empresas y
para el mantenimiento y progreso de las existentes.
10.53. La produccin de un ttulo profesional es un proceso comparable a un
montaje fabril predeterminado en tiempo y calidades, mientras que la
investigacin es una actividad permanente y contingente en cuanto
resultados.
10.54. La imitacin de modelos de consumo y crecimiento de Occidente no
contribuye a una disminucin del deterioro ambiental, pues en primer
lugar, las soluciones tecnolgicas no dan como resultado una sociedad
sustentable.
10.55. El problema ambiental es un problema educativo. Una modificacin de las
relaciones del hombre con su medio no se produce sin un cambio en las
actitudes y escalas de valores dominantes en la sociedad.

11. LA IMPLICACIN Y LA EQUIVALENCIA


Dadas las siguientes frmulas:
A=pq
B=qr
C=qr
D=(pq)

Programa de Estudios Bsicos

31

E=(pq)r
F=r(ps)
G=pq
H=(pq)(qp)
I=q(rp)
J=p(qp)
K = ( r .. p r )

Por el mtodo de los diagramas semnticos determine:


11.1. Si A implica a B
11.2. Si B y C son equivalentes
11.3. Si G est implicada por A
11.4. Si la negacin de J equivale a K
11.5. Si I est implicada por H
11.6. Si J est implicada por la conjuncin de F y G
11.7. Si la disyuncin de A y D est implicada por la negacin de E
11.8. Si la disyuncin de G y J est implicada por K
11.9. K implica a C es lgicamente verdadera
11.10. F implica a J es lgicamente falsa
11.11. La conjuncin A y E es equivalente a la conjuncin E y D
11.12. Si A implica a F, entonces A es implicada por K

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:


11.13. Si F implica E
11.14. Si D es implicada por C

Programa de Estudios Bsicos

32

11.15. Si B equivale a F
11.16. Si C implica E
11.17. Si F y C son equivalentes
11.18. Si la conjuncin de A y B implica F
11.19. Si A equivale a B, entonces es implicada por la conjuncin A y B
11.20. La conjuncin de no-A y D, equivale a la conjuncin de D y E
11.21. C est implicada por la conjuncin de A, D y E
11.22. La negacin de la disyuncin A y B implica a F
11.23. La negacin de la disyuncin A y B equivale a F
11.24. La conjuncin de A, D y E, equivale a B y no-B
11.25. 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.
11.26. 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.

11.27. Dadas las siguientes frmulas:


A= pq
B = r (q s)
C = (q r) s
Por el mtodo de los diagramas semnticos, determine:
11.27.1. Si B est implicada por A
11.27.2. Si B y C son equivalentes

11.28. 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.

Programa de Estudios Bsicos

33

B = Si los espaoles desembarcaron en Centro Amrica, Coln no lleg a la


India.

11.29. 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.
C = O los espaoles desembarcaron en Centro Amrica o Coln no lleg a la
India.

11.30. Por el mtodo de los diagramas semnticos, determine si la conjuncin


de las proposiciones A y B implica a la proposicin C:
A = No es el caso que Demcrito sostena slo la existencia del tomo o la
existencia del vaco.
B = Si Demcrito rechazaba la existencia de la nada entonces sostena slo
la existencia del tomo.
C = Si Demcrito sostena la existencia del vaco o rechazaba la existencia de
la nada, entonces sostena slo la existencia del tomo.

11.31. Dadas las siguientes proposiciones:


A = Viajar a Europa o a los Estados Unidos, dado que obtuve mi visa.
B = O no viajo a Europa o no viajo a Estados Unidos.
C = No es el caso que viaje a Europa y a Estados Unidos a la vez.
Por los diagramas semnticos, decida:
11.31.1. Si A est implicada por B
11.31.2. Si A y C son equivalentes

11.32. Dadas las siguientes proposiciones:


A = Llueva o no llueva, saldr a caminar al parque
B = Saldr a caminar al parque
C = Si hay tormenta con rayos y truenos, tambin saldr a caminar al parque.
Por los diagramas semnticos decida:
11.32.1. Si A y B son equivalentes
11.32.2. Si C est implicada por B

Programa de Estudios Bsicos

34

12. INFERENCIAS

Por el mtodo de los diagramas semnticos, decida la validez o invalidez de


cada una de las siguientes inferencias:
12.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.
12.2. Si trabajo mucho, termino el da cansado y duermo mucho mejor. No
pude dormir. Por tanto, no trabaj mucho.
12.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.
12.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.
12.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.
12.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.
12.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.
12.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.
12.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.
12.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.
12.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
Programa de Estudios Bsicos

35

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.
12.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.
12.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.
12.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.
12.15. La empresa hace reingeniera si y slo si es competitiva. Si la empresa es
competitiva entonces mejora su eficiencia. Por tanto, si la empresa hace
reingeniera, mejora su eficiencia.
12.16. No se da el caso de que la bebida est helada y el pastel muy caliente.
La bebida est helada si ha estado en la hielera. En consecuencia, no es
el caso que el pastel est caliente y la bebida haya estado en la hielera.
12.17. Si el gobierno de los Estados Unidos ha radicalizado su actitud frente a
los ilegales o se ha incrementado las tropas en la zona de fronteras,
entonces la condicin de los ilegales es altamente precaria. El senado de
los Estados Unidos no aprueba la construccin de un muro con la frontera
mexicana porque la condicin de los ilegales es altamente precaria. En
consecuencia, si el gobierno de los Estados Unidos ha radicalizado su
actitud frente a los ilegales, entonces se ha incrementado las tropas en la
zona de fronteras o el senado no aprueba la construccin de un muro con
la frontera mexicana.
12.18. Reconocidos organismos apoyan el uso de la pldora del da siguiente,
sin embargo sus detractores insisten en el tema de su efecto abortivo. Si
la pldora acta antes de su fecundacin entonces la pldora ayudar a la
salud de millones de mujeres. Pero, los detractores insisten en el tema de
su efecto abortivo. En consecuencia, si reconocidos organismos apoyan
el uso de la pldora del da siguiente, entonces la pldora acta antes de
la fecundacin y ayudar a la salud de millones de mujeres.
12.19. Si la moral es comn a todos los hombres, entonces el hombre es capaz
de ejecutar una accin conscientemente. Los valores constituyen las
mximas cualidades humanas si el hombre es capaz de ejecutar una
accin conscientemente. Si la tica laboral no se desvanece entonces la
moral es comn a todos los hombres. Por lo tanto, si la tica laboral no se
Programa de Estudios Bsicos

36

desvanece entonces los valores constituyen las mximas cualidades


humanas.
12.20. Si la publicidad es decisiva en el funcionamiento del mercado o es
importante en la socializacin, entonces trasmite modelos que influyen en
las personas. La publicidad es decisiva en la informacin popular si
trasmite modelos que influyen en las personas. Por lo tanto, si la
publicidad es decisiva en el funcionamiento del mercado, entonces
tambin es decisiva en la informacin popular.

13. EL MTODO DE LA DERIVACIN


Justifique cada secuencia de operaciones efectuadas por derivacin colocando
la regla utilizada:
13.1. P1) p q
P2) q r

// ~p v r

3) p r .
4) ~p v r .
13.2. P1) ( p q ) v ( q r )
P2) ~( p q )

// r q

3) q r

4) ( q r ) ( r q )

5) r q

13.3. P1) ( p q ) ( ~q ~r )
P2) ~q ~p

// ~q

3) p q

4) ~q ~r

5) ~q

13.4. P1) p q
P2) p ~q

// r

3) p

4) q

5) ~q

6) q v r

7) r

.
Programa de Estudios Bsicos

37

13.5. P1) p w
P2) q r
P3) t r
P4) q p

// w

5) r

6) q

7) p

8) w

13.6. P1) ( p q ) t
P2) w r
P3) w w
P4) r p

// t

5) w

6) r

7) p

..

8) p q

..

9) p q

10) t

13.7. P1) r q
P2) s t
P3) ( p s ) ( r w )
P4) w q
P5) ( q r ) ( p t )
6) q r

7) p t

8) t s

9) p s

10) r w

11) r q

// r q

13.8. P1) ( r w )
P2) ( s q ) s
P3) ( q r ) p

// p
Programa de Estudios Bsicos

38

4) ( r w )

5) r w

6) r

7) q

8) q r

9) ( q r ) ( q r ) .
10) q r

11) p

13.9. P1) r q
P2) r p
P3) q q
P4) p w
P5) ( q w ) p

// r p

6) q q

7) q

8) ( r q ) ( q r )

9) q r

10) r

11) p

12) w

13) q w

14) p

15) p r

16) p r

17) r p

18) r p

13.10.

P1) ~( p q )

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

4) p ~q

( 1 )

5) p

( 4 )

6) ~q

( 4 )

7) t r

( 3,5 ) MPP
Programa de Estudios Bsicos

39

8)

( 2,6 ) SD

9)

( 7 ) DEF.

10) r s .. s r

( 8 ) DEF.

11) t r

12) r t

13) r s

( 10 )

14) s r

15)

( 11,13 ) SHP

16) s t

( 12,14 ) SHP

) SIMP.

17) t s .. ( 15,16 ) CONJ.


18) t s

13.11.

( 17 ) DEF.

P1)

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

4) ~p ~q

( 1 ) DM

5) ~p

6) ~q

7) ~p q

( 5 )

8)

( 7 ) DEF.

9) ~r

( 2,8 ) MPP

10) s q

( 3,9 ) MTT

11) ~s

12)

( 5,11 ) CONJ.

13)

( 12 ) ADIC.

14) ~t ( ~s ~p )

Use la prueba directa (PD) para demostrar la validez cada una de las
siguientes inferencias:
13.12. P1) p q
P2) p
P3) q r

13.13. P1) p q
P2) r p
P3) ~q

~ r
Programa de Estudios Bsicos

40

13.14. P1) ~ p q
P2) r p

q ~ r

13.15. P1) p ~q
P2) ~ p ~ r ~ q ~ r
13.16. P1) p q
P2) r s
P3) ~ s ~ q ~ p r
13.17. P1) ( p q ) ~ r
P2) q
s ~ r
13.18. P1) q ( p r )
P2) q r
P3) p ~ r
r
13.19. P1) p ( q r )
P2) s p
P3) s ( r t )
13.20. P1) p ~ q
P2) ~ q r
P3) r s
P4) ~ ( t s )

// q t

~ p ~ t

13.21. P1) p ( q s )
P2) s t
P3) p q
P4) p
r t
13.22. P1) ~ ( p q )
P2) q ( r s )
P3) p ( t r )

t s

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

// t ( s p )

13.24. P1) p ~ s
P2) ( q p ) ( p r )

r ~ s

13.25. P1) ( p q ) t
P2) ( p s )
P3) t s

// ( q w ) s

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

p r

Programa de Estudios Bsicos

41

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

q ( t ~s )

~ p s

13.29. P1) ( s ~ p ) r
P2) ~ (~ q p )

s r

13.30. P1) p q
P2) ~ r ( ~s q )

( s ~ r ) ~ p

13.31. P1) ( p q ) r
P2) r s
P3) ( s p )

q p

13.32. P1) p ( q r )
P2) ( q r ) ( s t )
P3) s w
p ( w t )
13.33. P1) p ( q p .. q )
P2) ( p q ) ( q r )
P3) r w
p w
13.34. P1) r s
P2) r
P3) q .. s ( t ~ r )

t w

13.35. P1) ( p q ) ~( q ~r )
P2) ( p r ) ( w q )
P3) q ~q

//w p

13.36. P1) p ( r ~ s )
P2) t r
P3) s ( k ~ q )

// p ( t q )

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

// p r

13.38. P1) p q
P2) p r

// q s

13.39. P1) p r
P2) s r

// p s

Programa de Estudios Bsicos

42

13.40. P1) p ( q r )
P2) ( p r )

// q t

13.41. P1) p ( q r )
P2) ( q p )
P3) r s

// s t

13.42. P1) p ( q r )
P2) s p
P3) ( r s ) t

// q t

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

// r q

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

// q

13.45. P1) p ( r s )
P2) p q
P3) ~ ( q w )
P4) ~ w r

// ( s p )

13.46. P1) p ( q r )
P2) s p
P3) ( r s ) t

// q t

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

s t

Demuestre la validez de cada una de las siguientes inferencias por el mtodo de


la derivacin (use la prueba que crea conveniente).
13.48. Si estudias, no iras a la playa. Estudias si tienes examen. Luego, si tienes
examen entonces no iras a la playa.
13.49. 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.
13.50. 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.

Programa de Estudios Bsicos

43

13.51. 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.
13.52. 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.
13.53. 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.
13.54. 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.
13.55. 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.
13.56. Demcrito sostena la existencia del tomo, sin embargo Pitgoras no
estaba de acuerdo con el atomismo. Pero, si el filsofo griego era
idealista o materialista, entonces Pitgoras estaba de acuerdo con el
atomismo. Adems, si Demcrito sostena la existencia del tomo
entonces el origen de las cosas no eran los nmeros. En consecuencia,
el filsofo griego no era materialista y el origen de las cosas no eran los
nmeros.
13.57. Si la historia de los pueblos est llena de sufrimiento, entonces el dolor
fue causado por los invasores. El dolor fue causado por los invasores si y
slo si los nativos perdieron la guerra. Si los nativos perdieron la guerra
entonces no estaban preparados para acciones blicas. Por lo tanto, los
nativos no estaban preparados para acciones blicas si la historia de los
pueblos est llena de sufrimiento.
13.58. Si Demcrito fue un filsofo materialista y sostena que el tomo era el
principio de todas las cosas, entonces fue el precursor de la fsica del
microcosmos. Si Demcrito rechazaba la existencia de la nada entonces
fue un filsofo materialista. Si Demcrito sostena la existencia del tomo,
entonces sostena que el tomo era el principio de todas las cosas.
Demcrito rechazaba la existencia de la nada pero sostena la existencia
del tomo. En consecuencia, Demcrito fue el precursor de la fsica del
microcosmos.
13.59. Parmnides niega el movimiento y Herclito niega la inmovilidad. Si
Parmnides niega el movimiento, entonces la materia es esttica. Si
Programa de Estudios Bsicos

44

Herclito niega la inmovilidad, entonces los nmeros estn en


movimiento. Si la materia es esttica y los nmeros estn en movimiento,
entonces cualquier teora cientfica no tiene validez universal. De todo lo
dicho se concluye, que cualquier teora cientfica no tiene validez
universal.
13.60. Si se cumple lo enunciado por Leibniz en su Monadologa, la libertad
humana coexiste con la armona universal; y si no, la liberad humana
coexiste con el caos universal. Por lo tanto, si la libertad humana no
coexiste con la armona universal, entonces coexiste con el caos
universal.
13.61. Si los cimientos del edificio son endebles, la construccin no es eficiente.
Si el arquitecto elabor los planos, entonces el edificio no se derrumbar
aunque los cimientos son endebles. Pero, o la construccin es eficiente o
los materiales no son de buena calidad. Por lo tanto, si el arquitecto
elabor los planos, entonces el edificio no se derrumbar aunque los
materiales no son de buena calidad.
13.62. Si la ciencia posee consistencia lgica, entonces es un saber crtico o
racional. La ciencia posee consistencia lgica, pero no es falible. Si la
ciencia es un saber crtico o empricamente verificable, entonces es
falible. Por lo tanto, la ciencia es racional pero no es empricamente
verificable.

Programa de Estudios Bsicos

45

TERCERA UNIDAD

LGICA CUANTIFICACIONAL
14. SINTAXIS Y SEMNTICA DE L.C.
En las proposiciones que aparecen a continuacin, indique cules son los
cuantificadores, predicados o constantes individuales.
14.1. Todos los obreros son jornaleros.
14.2. Ningn comediante es aburrido.
14.3. Algunos religiosos no son fanticos.
14.4. Algunos profesionales son psiclogos.
14.5. Algunos hombres pblicos son proclives al acoso.
14.6. Todos los administradores son emprendedores si tienen empresas propias.
14.7. Ningn profesor es ministro si no es poltico.
14.8. Los religiosos no son idealistas o dogmticos.
14.9. Algunos futbolistas que entrenan desde nios son buenos jugadores.
14.10. No todos los creyentes son fanticos religiosos.
14.11. No es el caso que algunos rectores no sea graduados universitarios.
14.12. .Aristteles fue discpulo de Platn.
14.13. Introduccin a la Lgica fue escrito por I. Copi.
14.14. Scrates naci en Atenas.
14.15. Isabel ama a Francisco.

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


siguientes proposiciones:

14.16. Todos los fsicos y bilogos son naturalistas.


14.17. Todas las poesas y cuentos son agradables.
14.18. Algunos conservadores y demcratas son abogados.
14.19. Algunos cristianos, budistas y musulmanes no son economistas.
14.20. Ningn empresario es fantico del vley o del futbol.

Programa de Estudios Bsicos

46

14.21. Algunos administradores


emprendedores.

contadores

no

son

empresarios

14.22. Todos los socilogos y antroplogos son investigadores sociales.


14.23. Todos los turistas visitan centros arqueolgicos.
14.24. Ningn axioma se deriva de otra proposicin.
14.25. Algunos filsofos no son partidarios de la economa liberal.
14.26. Algunos religiosos liberales estn de acuerdo con el aborto.
14.27. Es falso que ningn cientfico sea metafsico.
14.28. Scrates fue ateniense y Cicern fue romano
14.29. Cualquier hombre libre es un ciudadano del mundo.
14.30. Hipcrates fue un mdico griego y los mdicos curan los males de la
humanidad
14.31. Muchos polticos son gobernantes, de ah que Hitler fue un gobernante.
14.32. Solo un inope puede desconfiar de sus propias creencias.
14.33. Platn fue discpulo de Scrates pero maestro de Aristteles.
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.

14.34. ~(x) Gx Fc (z) Fz Hz


14.35. ~~~~(x) ~Fx
14.36. ~~~p ~q .. p
14.37. (x) ( Ra Vx ) .. ( Sx p ) ( Tb Rx )
14.38. (x) ( Ra Vx ) (z) ( Rz Px ) .. Px
14.39. (x) ( Px Rx ) ( Rx p )
14.40. (Ex) Mx ( s t )
14.41. (x) ~Gx
14.42. (x) ( Rx Zx ) ( Sx Qh )
14.43. (x) [ (x) ( Px Rx ) ~(x) ~~Rx Px]

Programa de Estudios Bsicos

47

14.44. (x) ( Rx Sp ) (z) ( Rz Px )


14.45. (x) ( Px ~Rx ) ( Rx ~p )
14.46. (Ex) [ Ma ( Qx v Rx ) ]
14.47. (x) ~Gx ~Hx .. ~Fx ~ Sx
14.48. (a) [ ( Ra Za ) ( Sx Qy ) ]
14.49. (y) [ (x)( Px Rx ) ~(z) ( ~~Ry Pz ) ]
14.50. (x) ( Ra Vx ) (y) ( Ry Py )
14.51. (x) ( Px Rx ) ~(z) [ ( p q ~~Ry Pz ) ]

En cada una de las siguientes frmulas, indique si la frmula es abierta o


cerrada. En cada caso justifique su respuesta.
14.52. p q
14.53. Fa Fb (x) Gx
14.54. (x) Hx .. Tx p
14.55. Ta Tb Tc Tx
14.56. (x)(y) ( Fx Hx .. Gy )
14.57. Fb (y) ( Hx Gy )
14.58. q Ha .. (x) p
14.59. (y) ( Hy Fy ) q
14.60. ( p .. r q ) Fx .. Ta
14.61. ( Sa Nc ) ( (y) Ty Hy )
14.62. Fa Gy .. p
14.63. (x) ~(z) ( Rx Gz )
14.64. (x) Gx ( Ha Hb ) .. (x)Hx
14.65. [ (x) Hx Fx (x) Gx ] ( Fa Ga )
14.66. (x) [ (y)(z) ( Gz Hy ) Fx ]
14.67. ~(x)~(z) [ ( Rx Fz ) Sz ]
Programa de Estudios Bsicos

48

14.68. Pb Pa .. ~[ (x) ~(y)~( Fz Zy Rx) ]


14.69. ( Ha p q ) .. (x) Gx (y) ( Hy Gy )
14.70. (x) Fx (x) ( Sx Rx .. Ha ) .. (x) Mx Tx
14.71. p ~r .. [(x)(y)( Hy Gy ) Fx ]

15. REGLAS SEMNTICAS DE LOS CUANTIFICADORES

1. CUANTIFICADORES UNIVERSAL Y EXISTENCIAL


V()

F()

V()

v()

F()

V()

F()

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 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.

Programa de Estudios Bsicos

49

Por el mtodo de diagramas semnticos, determine cules de las siguientes


frmulas son vlidas.
16.1. (x) ( Px Qx ) (x) Px .. (x) Qx
16.2. (x) ( Px Qx ) (x) ~Qx .. (x) ~Px
16.3.

(x) ( Px Qx ) ~(x) ~( ~Qx ~Px )

16.4.

(x) ( Tx Lx ) ~(x) ( Tx ~Lx )

16.5. (x) ( Px ~Qx ) (x) ~Qx .. (x) ~Px


16.6. (x) [( Px Qx ) ( Qx Rx )] .. (x) ( Px Rx )
16.7. (x) Px (x) Qx (x) Rx .. (x) ( Px Rx )
16.8.

(x) ( Nx Hx ) (x) ( ~Gx Nx ) .. (x) ( Hx ~Gx)

16.9.

(x) ( Rx Gx ) [ (x) ( Hx Rx ) (x) ~( Hx Gx ) ]

16.10. ~(x) ( Hx Qx ) (x) ( ~Hx ~Tx ) .. (x) ( ~Tx ~Qx )


16.11. (x) Fx (x) Gx (x) Jx .. (x) Jx (x) ~Fx
16.12. (x)( Fx Sx ) ~(x) ( Sx Jx ) .. (x)( Jx .. Fx Sx )
16.13. (x) ( Ax Bx ) (x) Bx .. (x)( Ax Bx )
16.14. ~(x) ( Fx Tx ) .. (x) Hx (x) ( ~Fx ~Tx )
16.15. ~(x) ( Px ~Tx ) .. (x) ( ~Px Tx )
16.16. ~[ (x) ( Mx Ax ) ~(x)~( ~Ax ~Mx ) ]
16.17. (x) ( Mx

Lx ) (x) ( Hx Lx ) .. (x) ( Mx Hx )

16.18. (x) ( Tx Jx ) ~(x) ( ~Sx Jx ) .. (x) ( Cx ~ Ex )


Programa de Estudios Bsicos

50

16.19. (x) Cx .. ~ (Mx Ox ) (x) ( Ex Ox ) .. (x) ( Cx ~ Ex )


16.20. (x) (Mx Lx ) (x) (Hx Lx ) .. (x) Mx (x) (Mx Hx .. Lx)

17. SIMBOLIZACIN EN L.C.


Simbolice cada una de las siguientes proposiciones. Al simbolizar seale la
funcin de las variables predicativas y las constantes individuales.
17.1. Todos son honestos.
17.2. Algunos son honestos.
17.3. Algunos son deshonestos.
17.4. Nadie es honesto.
17.5. Nadie es deshonesto.
17.6. Ningn hombre es libre de sus sentimientos.
17.7. Todos los filsofos son refinados en su crtica.
17.8. Algunos deportistas son fanticos de la tecnologa.
17.9. Algunos platos de la gastronoma tiene popularidad.
17.10. Algunos profesionales no estudian una sola carrera.
17.11. Es falso que algn deportista sea indisciplinado.
17.12. Toda lana de exportacin no es de vicua.
17.13. Ninguna empresa transnacional exporta animales domsticos.
17.14. Todos los trabajadores del estado merecen sueldos decorosos.
17.15. Ningn alumno universitario intenta plagiar en una prctica calificada.
17.16. Slo desaprobaron los que faltaron a clases.
17.17. Nadie es comunista y republicano a la vez.
17.18. Toda lana de exportacin no es de vicua

Programa de Estudios Bsicos

51

17.19. Es falso que algunos mdicos y arquitectos sean incultos


17.20. Ningn diplomtico es apoltico y descorts
17.21. Algunos son humalistas o fujimoristas.
17.22. Algunos no son administradores y abogados.
17.23. No es el caso que nadie sea conservador o demcrata.
17.24. No todos son ingenieros, arquitectos, filsofos o abogados.
17.25. Todos son demcratas si son socialistas.
17.26. Nadie es dictador si es demcrata.
17.27. Algunos son constructores si son arquitectos.
17.28. Algunos no son empresarios si no son emprendedores.
17.29. No es el caso que algunos sean cristianos si son budistas.
17.30. Algunos profesores son felices si sus alumnos aprueban todos los
exmenes.
17.31. Si Scrates y Pericles fueron griegos, entonces algunos filsofos y
polticos fueron griegos.
17.32. Los abogados y los polticos son deshonestos, puesto que ningn
congresista es honesto y todos los abogados mienten.
17.33. Ningn animal carnvoro es un caballo, dado que ningn solpedo es
carnvoro y todos los caballos son solpedos.
17.34. Algunos griegos fueron filsofos y polticos, dado que Scrates y Pericles
fueron griegos.
17.35. Ningn abogado y poltico es honesto, de modo que los deshonestos son
polticos o abogados.
17.36. Ningn insecto es vertebrado, por lo tanto algunos animales vertebrados
no son mamferos, ya que algunos mamferos no son insectos.
17.37. Los alumnos y las alumnas asistieron a la prctica de lgica.
17.38. Solo los necios son obstinados. Sin embargo, Jos Alfonso es necio
pero no es obstinado.
17.39. Cualquier alumno es feliz si obtiene 20 en la nota final.
Programa de Estudios Bsicos

52

17.40. Todos los cetceos son animales acuticos, por consiguiente algunos
mamferos no son animales acuticos, en vista de que algunos
mamferos no son cetceos.
17.41. Solo los insensatos desaprueban lgica. Mariana no es insensata. Por
ello no desaprob lgica.

18. CUADROS DE LA OPOSICIN

18.1. Escriba el equivalente de cada una de las siguientes proposiciones:


A = Algunas araas no son peligrosas.
B = No todos los piratas cobraban cupos en alta mar.
C = Ningn cristiano es musulmn.
D = Algunos deportistas representan a su pas.
E = Es falso que algunos mamferos sean invertebrados.
F = Algunos adolescentes no tienen una perspectiva de lo que es el mundo.
G = Algunos estudiantes tienen la creencia en un milagro de fin de ao.
H = Todos los insensibles son crueles con los animales.
I = Algunos campeones en ajedrez no son futbolistas.
J = No todos los poetas son idealistas.
K = No existen marcianos plutonianos.
L = Es falso que todo guerrero no sea valiente.
M = Algunos trabajadores del Estado no merecen sueldos decorosas.

18.2. Si cada una de las siguientes proposiciones es verdadera, obtenga las


consecuencias que se derivan vlidamente segn el cuadro de la
oposicin:
A = Todos los polticos son grandes oradores.
B = No es el caso de que ningn astronauta sea americano.
C = Todos los vendedores no tienen xito.

Programa de Estudios Bsicos

53

D = Algunos animales carnvoros no son caballos.


E = No es caso que ningn cetceo sea acutico.
F = Es falso que todos los astronautas llegaron a la Luna.
G = Algunos son mdicos o abogados.
H = Ningn defensor de los derechos humanos es un oligarca.

19. ANLISIS DE VALIDEZ INFERENCIAL EN LC.


Por el mtodo de los diagramas semnticos determine la validez o invalidez de
las siguientes inferencias.
19.1. No es el caso que ningn deportista sea cientfico si es egresado de una
universidad.

19.2. Ningn paralogismo es un sofisma. Todo paralogismo es una falacia.


Luego, algunas falacias no son sofismas.

19.3. Las leyes lgicas son tautologas. Ninguna tautologa es inconsistente.


Luego, nada que sea inconsistente es una ley lgica.

19.4. Si los nmeros son objetos ideales y los nmeros son objetos
matemticos, entonces algunos objetos matemticos son objetos ideales.

19.5. Los sismlogos estudian los terremotos. Algunos sismlogos son


chilenos. Por tanto, algunos chilenos estudian los terremotos.

19.6. Algunos fanticos del cyberespacio son acosadores, dado que, todos los
cybernautas son fanticos del cyberespacio y todos los cybernautas son
acosadores.

19.7. Todos los lgicos son reflexivos y estudiosos. Algunos lgicos y filsofos
son estudiosos. Luego, algunas personas reflexivas son filsofos.

Programa de Estudios Bsicos

54

19.8. 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.

19.9. Algunos cuentos y novelas son divertidos. Ningn poema es divertido. En


consecuencia, ningn poema es un cuento.

19.10. Algunos psicoanalistas no son freudianos. Todos los lacanianos son


freudianos. De modo que, algunos psicoanalistas no son lacanianos.

19.11. Algunos polticos suelen ser afables en su campaa. Todos los afables
son

hombres

respetuosos.

En

consecuencia,

algunos

hombres

respetuosos son polticos.

19.12. Todos los defensores de los derechos humanos son luchadores sociales.
Algunos polticos no son defensores de los derechos humanos. En
consecuencia, algunos polticos no son luchadores sociales.

19.13. Todos los cristianos y mahometanos son religiosos. Pero algunos son
comunistas

irreligiosos.

En

consecuencia,

algunos

no

son

mahometanos y cristianos.

19.14. Nadie es cristiano y mahometano a la vez. Pero, algunos mahometanos y


polticos son cristianos. De modo que, algunos cristianos son polticos.

19.15. Algunos vendedores no tienen xito, dado que todos los que tienen xito
son afortunados y no todos los afortunados son vendedores.

19.16. 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.

19.17. Todos los hombres honestos muestran ideales. Todos los que muestran
ideales practican una virtud. Por lo que, todos los hombres honestos
practican una virtud.

Programa de Estudios Bsicos

55

19.18. Todas las

tecnologas

han generado el calentamiento global. Las

naciones industrializadas utilizan tecnologas. Por lo tanto, las naciones


industrializadas han generado el calentamiento global.

19.19. 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.

19.20. Una metateora est formulada en un metalenguaje. La metalgica es


una metateora. Luego, la metalgica est formulada en un metalenguaje.

19.21. Los modelos econmicos son representaciones simplificadas de la


realidad. Las representaciones simplificadas de

la realidad son

expresiones matemticas. Luego, algunas expresiones matemticas son


modelos econmicos.

19.22. 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.

19.23. 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.

19.24. 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.

19.25. 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.

19.26. Ningn fantico del ftbol es poltico congols. Algunos polticos


congoleses son gobernantes. Por lo tanto, algunos fanticos del ftbol no
son gobernantes.

Programa de Estudios Bsicos

56

19.27. Ninguna calandria es vegetal. Todos los vegetales son plantas. Luego,
Alguna planta no es calandria.

19.28. Algunos actores del cine son pintores, de ah que algunos pintores son
norteamericanos, ya que algunos actores del cine son norteamericanos.

19.29. Algunos sudamericanos son protestantes, puesto que todos los peruanos
son sudamericanos y ningn peruano es protestante.

19.30. 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.

19.31. Ningn animal carnvoro es un caballo, dado que ningn solpedo es


carnvoro y todos los caballos son solpedos.

19.32. Todos los cetceos son animales acuticos, por consiguiente algunos
mamferos no son animales acuticos, en vista de que algunos
mamferos no son cetceos.

19.33. Ningn insecto es vertebrado, por lo tanto algunos animales vertebrados


no son mamferos, ya que algunos mamferos no son insectos.

19.34. Algunos estudiantes politizados no asisten a clases, de modo que


algunos que asisten a clases no son estudiantes politizados.

19.35. 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.

19.36. Todos los ingenieros son profesionales. Por lo tanto todos los no
profesionales son no ingenieros.

19.37. Todos los defensores de los derechos humanos son luchadores sociales,
de all que algunos luchadores sociales son defensores de los derechos
humanos.
Programa de Estudios Bsicos

57

19.38. Todos los lgicos son reflexivos y estudiosos. Algunos lgicos son
filsofos. Luego, algunas personas reflexivas son filsofos.

19.39. Los vendedores son amables o no tienen xito. No todos los vendedores
carecen de xito. Por lo tanto, hay vendedores amables.

19.40. Ninguna mariposa es una araa, de modo que algunos insectos son
mariposas, dado que algunas araas son insectos.

19.41. Todos los estudiosos son progresistas. Ningn no-estudioso es un


eficiente investigador. Por lo tanto, algunos no-progresistas no son
eficientes investigadores.

19.42. Ninguna conclusin que se basa en la experiencia es totalmente


evidente. Todas las conclusiones que se basan en la experiencia son
probables. Luego, algunas conclusiones probables

no son totalmente

evidentes.

Programa de Estudios Bsicos

58