Logica

www.librospdf1.blogspot.
com
www.GRATIS2.com www.miacademia1.blogspot.com
L1
www.librospdf1.blogspot.com
Captulo
INTRODUCTORIO I
En nuestro quehacer diario, constantemente hacemos deducciones, esto significa que cada conclusin que establecemos se deduce de "algo"; este algo o punto de partida se llama "premisa". Por ejemplo, si exponemos un trozo de hielo al calor, se deduce que el hielo se derrite, o cuando un campesino ve una densa nube en el cielo, deduce que va a llover, o tambin de "todos los mamferos son vertebrados" se puede concluir en que "algunos seres vertebrados son mamferos". De esta manera, se puede afirmar que constantemente existe un criterio lgico para el anlisis de situaciones que permitirn establecer una nocin cientfica de la realidad. Por lo tanto. Recuerda!
"La Lgica, justamente, es una ciencia que estudia los mtodos o procedimientos que aplican definiciones y leyes o reglas con el propsito de determinar la validez de las inferencias, razonamientos o argumentos".
La Lgica, como conocimiento orgnico y sistemtico, aparece por primera vez con Aristteles (S. IV a. C.) quien la define como un "instrumento" que ayuda al hombre a razonar correctamente mejorando la investigacin de la naturaleza (" Organn"). Su objetivo qued definido como el anlisis formal de los razonamientos. * LA LGICA FORMAL : Es una ciencia que busca hallar los esquemas universales y vlidos en todo momento, segn los cuales suele y debe pensar el hombre para alcanzar la verdad. El objeto de estudio de la lgica formal es investigar la estructura de los conceptos, juicios y razonamientos, sus relaciones de validez, mtodos y principios que la determinan. Actualmente, la lgica formal se ha tornado en Lgica Matemtica (o simblica) cuyo objetivo es demostrar la "validez" de los argumentos simblicos o formalizados ("La Lgica es la ciencia de la inferencia formalmente vlida") Pero, Qu es una "inferencia" y cmo se determina su "validez"?
Es una estructura de proposiciones donde a partir de una o ms de ellas llamadas Premisa(s) se obtiene otra proposicin que se llama Conclusin, sern vlidas cuando las premisas impliquen a la conclusin; cuando existe relacin coherente entre sus componentes, es decir, la conclusin se deduce lgicamente de las premisas. La implicacin supone que: - De premisas verdaderas, se deduce necesariamente uan conclusin verdadera. - De premisas falsas, se deduce necesariamente una conclusin o bien verdadera o bien falsa.
419
Lgica
Las inferencias pueden clasificarse como: 1. Inferencias Inductivas : Son aquellas donde la conclusin es probable en relacin a las premisas. Para obtener una inferencia inductiva, se parte de premisas particulares y luego se establece una conclusin general. Estas inferencias, desde el punto de vista de la Lgica, no son vlidas ni invlidas. Ejemplo : Bruno es psiclogo y ayuda a las personas Flavia es psicloga y ayuda a las personas Arturo es psiclogo y ayuda a las personas . Probablemente, todos los psiclogos ayuden a las personas 2. Inferencias Deductivas : Son aquellas cuya conclusin es necesaria en relacin a las premisas. Para obtener una inferencia deductiva, se parte de premisas generales obtenindose una conclusin particular. Ejemplo : Todos los humanos son mortales. Aristteles es un ser humano . Aristteles es mortal A su vez, estas inferencias se clasifican como: A) INFERENCIAS INMEDIATAS: Tienen una premisa y una conclusin. B) INFERENCIAS MEDIATAS: Tienen dos o ms premisas y una conclusin. - Silogismos: tienen solo dos premisas.
PRCTICA
01. La validez, en una inferencia, se establece cuando : a) b) c) d) Hay verdad en sus proposiciones. El razonamiento es verdadero. Las premisas implican a la conclusin. La conclusin no es falsa si las premisas son ambiguas. e) Todas. 02. "Es una deduccin, donde el juicio concluyente se ha derivado lgicamente de una premisa". a) Inferencias inmediatas. b) Inferencia lgica. c) Razonamiento deductivo. d) Inferencias mediatas. e) Silogismo categrico. 03. El siguiente argumento : Todo piurano es norteo Algunos hroes son piuranos Muchos hroes son piuranos Se refiere a : a) b) c) d) e) Un silogismo categrico. Un razonamiento. Un argumento mediato. Todos. ayb.
420
04. La lgica formal : a) Analiza contenidos. b) Formula silogismos. c) Analiza hiptesis. d) Frmula teoras. e) Analiza estructuras. 05. La Lgica, en sentido general, comprende el estudio de : a) b) c) d) e) La verdad. Las proposiciones. Los juicios vlidos. Las inferencias. Los conocimientos formales.
09. Para formar una inferencia, por lo menos deben existir : a) b) c) d) e) Dos proposiciones. Varias proposiciones. Una proposicin. Tres proposiciones. Ms de dos proposiciones.
10. El trmino "Validez" es aplicable a ......... y esto se demuestra por el anlisis de su ........... a) b) c) d) e) inferencias - contenido. proposiciones - estructura. inferencias - estructura. proposiciones - contenido. la ciencia lgica - premisa.
06. El siguiente argumento : "Si todo hombre es mortal, entonces algunos seres mortales son humanos" Se clasifica como : a) b) c) d) e) Inferencia deductiva mediata. Inferencia inductiva inmediata. Inferencia deductiva e inductiva. Inferencia deductiva inmediata. Inferencia inductiva mediata.
11. Cul es el objeto de estudio de la Lgica? a) b) c) d) e) La proposicin. La verdad. El pensamiento. La inferencia. La realidad.
12. En una inferencia inductiva la conclusin es: a) b) c) d) e) Necesaria. Absoluta. Probable. Relativa. Contingente.
07. La Lgica, se clasifica como una ciencia : a) b) c) d) e) Emprica. Social. Fctica. Formal. Natural.
08. "Deducir", es una expresin lgica que significa: a) b) c) d) e) Inferir. Razonar. Argumentar. Llegar a una conclusin. Todas.
13. La Lgica aparece de manera orgnica en los escritos de : a) b) c) d) e) Platn. Scrates. Thales. Aristteles. Pitgoras.
421
Lgica
14. Las inferencias se dividen en : a) b) c) d) e) Verdaderas - falsas. Vlidas - falsas. Inductivas - deductivas. Simples - compuestas. Silogismos - inmediatos. 18. Si llueve, no seca la ropa. Llueve. Por ello, no seca la ropa. Es una inferencia : a) b) c) d) e) Inductiva. Deductiva. Mediata. Inmediata. byc PROBABILIDAD : : : : : verdad. validez necesidad inferencia conclusin
15. Una inferencia puede ser : a) b) c) d) e) Verdadera o falsa. Deductiva o inductiva. Vlida o deductiva. Falaz o invlida. Deductiva o silogstica.
19. INDUCCIN : a) b) c) d) e) Proposicin Inferencia Deduccin Lgica Premisa
16. Un silogismo presenta : a) b) c) d) e) Dos inferencias. Una premisa y conclusin. Dos conclusiones. Un par de premisas. Slo premisas.
20. Es correcto sobre la Lgica : a) Determina el origen de los razonamientos. b) Estudia las leyes del pensamiento. c) Investiga hechos de la realidad. d) Determina la validez de inferencias. e) Estudia la coherencia del lenguaje.
17. Una inferencia donde la conclusin se sigue necesariamente de las premisas, se dice que es : a) b) c) d) e) Incoherente. Falaz. Inductiva. Verdadera. Vlida.
422
Captulo
INTRODUCTORIO II
PROPOSICIONES Las "proposiciones" son expresiones del lenguaje informativo que tienen la cualidad de ser verdaderas(V) o falsas(F), es decir, tienen valor veritativo. Ejemplo : * * * * La plancha es un artefacto elctrico. A. Salazar Bondy naci en el Per. 4+3=7 Las aves son acuticas.
Es necesario resaltar que, lo que interesa fundamentalmente de las proposiciones es su sentido de verdad o falsedad, dado que enunciados distintos pueden expresar una misma proposicin. Ejemplos : * * * Diego y Sebastin son hermanos. Diego es hermano de Sebastin. Sebastin es hermano de Diego.
Adems, se debe tener en cuenta que expresiones en diferentes idiomas, tambin pueden presentar una misma proposicin. Ejemplo : * * Mariella y Ricky son estudiantes. Mariella and Ricky are students.
Las proposiciones pueden clasificarse en : Proposiciones Simples o Atmicas (Predicativas y Relacionales) y Proposiciones Compuestas o Moleculares (Conjuntivas, Disyuntivas, Bicondicionales, Condicionales y Negativas) FUNCIONES BSICAS DEL LENGUAJE : Lenguaje Pensamiento. 1. FUNCIN INFORMATIVA REFERENCIAL O DESCRIPTIVA: Es aquella que se encarga de comunicar informacin que proviene de la realidad que nos rodea, hace referencia o describe al Mundo Objetivo, mediante el uso de oraciones verdaderas o falsas (proposiciones). Es el lenguaje utilizado por las ciencias :
423
Lgica
Ejemplos : La lgica es una ciencia abstracta. Todo mamfero es un ser vivo. Trujillo es la capital de la primavera. Me preparo en "TRILCE". Francia es un pas latino.
2. FUNCIN EXPRESIVA : Se encarga de comunicar acontecimientos que ocurren en el mundo subjetivo, es decir vivencias. Ejemplos : La vida es hermosa y vale la pena vivirla. Oh ms dura que el mrmol, Galatea!. Dios mo, estoy llorando el ser que vivo. Me gusta el vestido que compraste. Te amo, ven a mis brazos.
3. FUNCIN APELATIVA : Se encarga de modificar, inducir o impedir la realizacin de accin determinada utilizando para ello oraciones exclamativas, clasificndose en rdenes, pedidos, sugerencias, preguntas, consejos, mandatos, splicas, insinuaciones, etc. Ejemplos : Sintate y escucha lo que te digo. Prohibido arrojar basura bajo pena de arresto. Cundo ser el examen de UNMSM?. "Ms vale ser cabeza de ratn que cola de len"
PRCTICA
01. "Tu deber es ingresar a la universidad". Qu funcin bsica del lenguaje se cumple, en la oracin anterior? a) b) c) d) e) Informativa. Directiva. Expresiva. Descriptiva. Referencial. c) Contigo me siento bien. d) Un lapicero es un lapicero. e) Debes ser fiel a tus principios. 03. Seale Ud. que funcin del lenguaje corresponde a la lgica : a) b) c) d) e) Directiva. Declarativa. Interrogativa. Activa. Reflexiva.
02. En las siguientes alternativas, escoja la que define a una proposicin : a) La mujer del Csar. b) Qu bonita es mi academia.
04. Qu funcin expresa el siguiente enunciado: "Quisiera sacarme la Tinka"

424
a) b) c) d) e)
Informativa. Reflexiva. Directiva. Expresiva. Activa.
* * * a) b) c) d) e)
La Lgica es una ciencia de naturaleza formal. Falsedad y negacin no son lo mismo. Las proposiciones pueden ser vlidas o invlidas. FVFV FVVF VVFF FFVV VVVV
05. Cul de las siguientes aseveraciones no expresa una funcin lgica del lenguaje? a) b) c) d) e) Te amo! Ojal apruebe el examen. "Cllate". Qu te pasa? Hoy es lunes.
10. Seale una expresin que contenga una funcin del lenguaje lgico : a) b) c) d) e) "Todos los peces viven en los ocanos". "La historia del hombre". "Los tringulos son amarillos". "Que hermosa luna llena". "Jams te dejar partir".
06. Indique la aseveracin que expresa una funcin activa : a) b) c) d) e) Maana salgo de viaje. Los caballos son giles. Qu amable! Te buscar. "Ud. estudie".
11. Cul no es una proposicin? a) b) c) d) e) 2+3=6 Lima es capital de Chile. Vallejo es autor de Trilce. Qu edad tiene Alberto? No es cierto que llueva.
07. Qu aseveracin expresa una funcin descriptiva? a) b) c) d) e) Vas al cine? "Ud. no me mire". Elena es maestra. Flor, eres una buena amiga. Hoy me bao.
12. Una proposicin : a) b) c) d) e) Es aseverativa. Tiene valor veritativo. Carece de sentido. ayb. Todas.
08. Cul de los conceptos no define la verdad? a) b) c) d) e) Correspondencia con la realidad. Reflejo de la realidad en el cerebro. Respeta las reglas. Cuando se repite tal como es. Producto de comprobar que es as.
13. En qu funcin del lenguaje ubicamos a la proposicin? a) b) c) d) e) Apelativa. Conativa. Informativa. Expresiva. Fctica.
09. Seale la verdad (V) o falsedad (F) de los siguientes enunciados : * Verdad y afirmacin son lo mismo.
425
Lgica
14. "Estoy harto de tus caprichos, mujer inmadura!" En qu funcin del lenguaje se halla? a) b) c) d) e) Informativa. Apelativa. Emotiva. Fctica. Representativa. 18. De las siguientes expresiones : I. II. III. IV. a) b) c) d) e) C. Vallejo es poeta europeo. A. Einstein es fsico. Estudia para que ingreses. Te deseo suerte en el examen. Dos no son proposiciones. Ninguna es proposicin. Todas son proposiciones. Una es proposicin. Tres son proposiciones.
15. "Cuntos dilogos escribi "Platn?" Se halla en funcin : a) b) c) d) e) Apelativa. Expresiva. Fctica. Informativa. Potica.
19. De las siguientes expresiones, indique cul es proposicin : a) b) c) d) e) Tengo que ingresar a la UNI. Deseo estudiar arquitectura. Prohibido fumar. x+1=y 2>4
16. Constituye una proposicin : a) b) c) d) e) 2x + 1 = y Marte tiene dos satlites. Tus cejas son dos aves heridas. Qu edad tienes? Joven, deje de hablar. : PROPOSICIN : : pensamiento. : falsedad. : inferencia. : razonamiento. : validez.
20. La proposicin se caracteriza por : a) b) c) d) e) Ser verdadera o falsa. Ser exclamativa. Ser compuesta. Afirmar. Tener operadores.
17. VERDAD a) b) c) d) e)
Validez Inferencia Validez Premisas Conclusin
426
Captulo
REPASO
05. Si al razonar encontramos que la conclusin no es falsa, se concluye que las premisas a) Son afirmativas. b) Son verdaderas. c) Pueden ser negativas. d) Pueden ser ambas V y F . e) Pueden ser V y afirmativas. 06. Qu aseveracin es verdadera? a) Toda verdad es una afirmacin. b) La verdad se puede negar. c) Lo falso es negativo. d) Un razonamiento puede ser verdadero. e) Lo invlido es falso. 07. Se cumple esta funcin cuando se transmiten conocimientos adquiridos de segundas o terceras personas : a) Declarativa. b) Activa. c) Interrogativa. d) Expresiva. e) Operativa. 08. La validez se caracteriza por ser producto de ................. especficas. a) Un conjunto de verdades. b) El uso de reglas. c) Valores y normas. d) Afirmaciones. e) Aseveraciones. 09. No indica una funcin informativa : a) Hermosa maana. b) Noche fra. c) Pantaln largo. d) Fiebre alta. e) c y d.
427
01. El objetivo ms importante de la lgica en su aplicacin a la ciencia y al discurso cotidiano es : a) La estructuracin de las inferencias. b) La justificacin y crtica de las inferencias. c) El anlisis de la teora proposicional. d) La validez de un esquema molecular conjuntivo. e) El pensamiento coherente. 02. La lgica es una ciencia formal, que estudia: a) Las proposiciones verdaderas. b) El pensamiento abstracto. c) La estructura vlida de un pensar racional. d) La verdad derivada de una inferencia. e) El pensar correctamente y con coherencia lgica. 03. El enunciado : "Si Ral est despus que Juan, entonces Diego no es el ltimo", se denomina : a) Inferencia inmediata. b) Lgica proposicional. c) Inferencia mediata. d) Silogismo categrico. e) Proposicin categrica. 04. Seale una proposicin verdadera : a) No hay peruanos que sean cubanos. b) Los gatos son pardos. c) Si Carlos estudia, Carlos ingresa. d) Los patriotas son rebeldes. e) Toda planta es saludable.
Lgica
10. Cul de las siguientes expresiones no pertenece al lenguaje usado por la Lgica? a) "La Lgica no estudia hechos fcticos". b) "El agua hierve a determinada temperatura". c) "Quisiera que estuvieras a mi lado". d) "No todo mamfero es vertebrado". e) "Es posible que algunos peruanos no sean ayacuchanos". 11. Para que cualquier oracin sea considerada una proposicin lgica, es necesario tener en cuenta que : 1. La oracin describa un hecho real. 2. La oracin sea imperativa. 3. La oracin sea aseverativa. 4. La oracin contenga exclamaciones. a) 1 , 2 y 3. b) 1 , 3 y 4 . c) Todos son requisitos. d) Slo 1 y 3. e) 2 y 4 . 12. Una proposicin es enunciada en un lenguaje : a) Expresivo. b) Informativo. c) Apelativo. d) Desiderativo. e) a y c. 13. Inferencia que presenta una premisa de la cual se deriva una conclusin. a) Inductiva. b) Mediata. c) Falacia. d) Proposicin. e) Inmediata. 14. La Lgica segn Aristteles es : a) Ciencia primera. b) Ciencia del pensamiento. c) Instrumento para pensar. d) Razonamiento coherente. e) Mtodo matemtico. 15. Con respecto a la Lgica, marque V o F : I. Es una ciencia del pensamiento. ( ) II. Es una ciencia de la inferencia. ( ) III. El padre de la Lgica no es Aristteles ( ) IV. Es una ciencia formal ( ) a) VVVV b) FVFV c) FVVF d) VFFV e) FVFF 16. P Todo hombre es mortal. . C. Algn hombre es mortal. Lo anterior es un ejemplo de : I. Inferencia. II. Silogismo. III. Deduccin. IV. Induccin. V Mediata. . VI. Inmediata. a) I , III , VI. b) I , III , V. c) II , V. d) I , IV , VI. e) Slo II. 17. El enunciado "Cmbiate y vmonos a comprar" pertenece a qu funcin del lenguaje. a) Informativa. b) Expresiva. c) Conativa. d) Directiva. e) c y d.
428
Captulo
"
FALACIAS NO FORMALES
1. DEFINICIN Una falacia es un razonamiento incorrecto. Estos razonamientos o argumentos, aun cuando son incorrectos, resultan persuasivos. Las falacias, en este sentido son formas de razonamientos que pueden parecer correctos; pero resultan no serlo cuando se les examina cuidadosamente. Algunos argumentos son incorrectos en forma tan obvia que no pueden convencer ni engaar a nadie. Pero las falacias son peligrosas porque la mayora de nosotros llegamos alguna vez a ser engaados por ellas. 2. IMPORTANCIA DE SU ESTUDIO Las falacias son trampas en las que cualquiera de nosotros puede caer en nuestro razonamiento. As como se colocan o levantan seales para prevenir a los viajeros y apartarlos de los lugares peligrosos, as tambin los rtulos para las falacias, pueden considerarse como otras tantas seales de peligro colocadas para impedir que caigamos en trampas del razonamiento incorrecto. La familiaridad con estos errores y la habilidad para identificarlos y analizarlos pueden impedir que seamos engaados por ellos. Su estudio y conocimiento permitir ponerlos al descubierto y poderlos evitar. 3. CLASES DE FALACIAS Aristteles fue el primero en presentar una lista de falacias en su escrito Sobre las refutaciones sofsticas, el cual es considerado como un apndice de los Tpicos. El Estagirita indica que hay dos clases de razonamientos : unos vlidos y otros que no lo son aunque parecen. Estos ltimos son los sofismas. Las falacias se dividen en dos grandes grupos : las formales y las no formales. 3.1 Falacias Formales Las falacias formales - llamadas tambin lgicas o deductivas - son tipos de razonamiento incorrectos que se derivan del empleo inadecuado de las reglas lgicas. 3.2 Falacias No formales (materiales o retricas) Su estudio es de mayor importancia porque al no requerir de una formalidad estamos expuestos a caer o cometerlo en cualquier momento. Estas falacias son errores en el lenguaje o discurso y se cometen por falta de atencin en el tema o por la ambigedad en el uso de lenguaje, se clasifican en : 3.2.1 FALACIAS DE ATINENCIA, ATINGENCIA O INATINGENCIA En el discurso la incoherencia puede pasar inadvertida por su persuasividad, ya que busca la aceptacin de algo, sin probar el fundamento en los argumentos. Es decir, no hay una conexin lgica entre las premisas y la conclusin, pero s existe una conexin psicolgica. Se clasifican en :
429
Lgica
A. Conclusin Inantigente (Ignoratio Elenchi) : Se comete cuando un argumento que permite establecer una conclusin en particular se dirige a probar una conclusin diferente. Ejemplo : Debemos aprobar la ley de la vivienda, porque todos los ciudadanos deben tener viviendas decentes. B. Argumento por la Ignorancia (Argumentum Ad Ignorantiam): Se comete cuando se argumenta que una proposicin es verdadera sobre la base de que no se ha probado su falsedad, o de que es falsa porque no se ha probado su verdad. Ejemplo. : Dios existe, ningn hombre ha demostrado su inexistencia. C. Apelacin inapropiada a la autoridad (A. Ad Verecundiam): Cuando se hace una apelacin en personas que no tienen credenciales legtimas de autoridad en la materia en discusin. Ejemplo. : "Dios existe ya que hasta Newton crea en l" D. Argumento contra el hombre (A. AD Hominem) : 1. HOMINEM OFENSIVO. Se comete cuando se ataca a la persona en vez de refutar su argumento. Ejemplo : No debemos creer en las teoras econmicas de Marx, recuerda que l fue comunista. 2. HOMINEM CIRCUNSTANCIAL. Se comete cuando se trata de establecer la verdad o falsedad de una afirmacin relacionada con circunstancias especiales relacionadas con el oponente (creencias, ideologas, principios, etc.). Ejemplo: Cmo es posible que algunas mujeres, siendo mujeres, estn en contra del movimiento feminista. E. Causa falsa (Non causa pro causa): Se comete cuando usamos una causa que no corresponde al efecto, se vincula con muchas supersticiones y creencias. Ejemplo : Hoy me he levantado con el pie izquierdo, definitivamente hoy ser un da muy pesado. F . Argumento por la fuerza (A. Ad Baculum) : Para lograr la aceptacin de una determinada conclusin se recurre a la fuerza o a la amenaza y no a la demostracin. Ejemplo : El prximo mes Ud., recibir un sueldo inferior al actual, y si presenta algn reclamo, su permanencia en la empresa puede acortarse.
G. Argumento por el pueblo (A. Ad Populum) : Se comete cuando se hace un llamado emocional a la opinin pblica con la finalidad de obtener la aceptacin de una determinada conclusin sin sustento lgico o cuando solamente se apoya a la mayora. Ejemplo: Tome Inca Kola, nuestra bebida de sabor nacional, lo nuestro est primero. H. Argumento por la piedad (A. Ad Misericordiam) : Se comete cuando se apela a la piedad o misericordia para pedir que se acepte una determinada conclusin. Ejemplo : Una limosna por favor, soy hurfano de padre y madre.
430
I.
Pregunta Compleja : Cuando se formula una pregunta que lleva implcita otra u otras preguntas, que exige una nica respuesta. Ejemplo : Alguna vez ha dejado de tomar medidas anticonceptivas para mantener relaciones sexuales?, Dejaste ya de mentir?.
3.2.2 FALACIAS DE AMBIGEDAD : Llamadas tambin falacias de claridad. Aparecen en razonamiento cuya formulacin contiene palabras o frases ambiguas, cuyos significados cambian sutilmente en el curso del razonamiento, hacindole falaz. Se clasifican en : A. Equvoco : Se comete cuando se utiliza, a lo largo del argumento, una palabra que tiene ms de un significado. Ejemplo : En el banco venden la carpeta del postulante, pero la carpeta es de madera y pesada; entonces el banco vende muebles pesados. B. Anfibologa : Se presenta por la mala construccin gramatical o por los significados confusos que se dan al combinar las palabras. Ejemplo : El burro de Alejandro rompi las piernas a Elian. C. nfasis o Acento : Enfatiza, resalta o destaca una parte del argumento, cambindole el sentido de la expresin. Ejemplo : EL PRESIDENTE SE DIVORCIA es la nueva obra teatral que presentan en el teatro municipal. D. Composicin : Resulta cuando la propiedad de un elemento del todo, se le extiende como propiedad del todo (de la parte al todo). Ejemplo : El auto japons de Lucho es bueno, consecuentemente todos los autos japoneses son buenos. E. Divisin : Resulta cuando la propiedad del todo se le extiende como propiedad de la parte (del todo a la parte). Ejemplo : El aula A tiene un alto rendimiento acadmico, y Carmen es de esa aula, por lo tanto tiene un alto rendimiento acadmico.
PRCTICA
01. "Nuestra poltica de apoyo a los pases democrticos con necesidades econmicas es abierta y constante; pero si el gobierno peruano consiente en no respetar los derechos humanos, entonces se abre la posibilidad de retirar nuestras inversiones financieras". El argumento anterior, admite una falacia: a) Ad Hominem. b) Ad Baculum. c) Ad Misericordiam. d) Ad Populum. e) Por la autoridad. 02. "Me robaron en el micro hoy da, definitivamente el martes no es mi da de suerte". El tipo de falacia que se comete es : a) Causa falsa. b) Equvoco. c) Composicin. d) Ignoratio Elenchi. e) nfasis. 03. "El granjero se vol la tapa de los sesos, luego de despedirse afectuosamente de su esposa, con un disparo de fusil". Lo anterior es una falacia denominada :
431
Lgica
a) b) c) d) e) Anfibologa. Composicin. Conclusin inatingente. Divisin. Causa falsa. 07. Cul de las afirmaciones es correcta? a) Un silogismo no puede ser una falacia. b) Toda falacia es un razonamiento. c) En los sofismas hay intencin de engao. d) Todo razonamiento es una falacia. e) b y c. 08. "Como podemos considerar lo propuesto por Jos Carlos Maritegui si ni siquiera fue a la Universidad". Qu tipo de falacia se cometi en lo anterior? a) Ad Hominem. b) Ad Misericordiam. c) Ad Verecundiam. d) Causa falsa. e) Ignoratio Elenchi. 09. "Dios existe, porque as lo dice la Biblia. Y lo que hay en sta es verdadero, porque es palabra revelada por Dios mismo". a) Petitio Principii. b) Ad Verecundiam. c) Ad Baculum. d) Ad Populum. e) Ad Ignorantiam. 10. CHILE SE ARMA! Salas y Zamorano llegan de Italia a reforzar seleccin mapochina. a) Equvoco. b) Acento. c) Composicin. d) Divisin. e) Anfibologa. 11. "El cebiche es un potaje hecho a base de pescado oriundo del Per". a) Equvoco. b) Acento. c) Anfibologa. d) Ad Populum. e) Ad Hominem.
03. "Los fideos italianos son los mejores, lo recomienda: Ricky Martn". La falacia se denomina: a) Causa falsa. b) Hominem. c) Misericordiam. d) Populum. e) Verecundiam. 04. "Dime Ud. Reconoce haber estado en la noche que asesinaron al joven junto a l y sabe quin es el asesino, cmo se llama y dnde vive? " La falacia se denomina : a) Argumentum ad Verecundiam. b) Pregunta compleja. c) Argumentum ad Baculum. d) Argumentum ad Populum. e) Argumentum Hominen ofensivo. 05. Karola le dice a Rufina : "Seora, no le pagu la cuota del mes pasado, porque cog el dinero para prepararle desayuno a unos nios que haban sido abandonados por sus padres". En el dilogo, encontramos la falacia: a) Argumentum ad Populum. b) Argumentum ad Baculum. c) Argumentum ad Misericordiam. d) Argumentum ad Verecundiam. e) Argumentum ad Ignorantiam. 06. "La burra de tu hermana bot la leche". La falacia anterior es: a) Equvoco. b) Formal. c) nfasis. d) Causa falsa. e) Anfibologa.
432
12. "Los planteamientos polticos de Aristteles son errneos, ya que fue un defensor de la esclavitud y enemigo de la democracia". a) Ad Baculum. b) Ad Hominem. c) Ad Verecundiam. d) Causa falsa. e) Composicin. 13. Seor Ministro, El gobierno aplicar la misma poltica de privatizacin y rematar las empresas pblicas? Si o no? a) Pregunta compleja. b) Tuo quoque. c) Ad Hominem. d) Ad Ignorantiam. e) Ad Populum. 14. "La serie "Mil Oficios" es superior a las de la competencia, puesto que es una produccin netamente nacional y refleja la vida cotidiana de cualquiera de nuestros compatriotas". a) Ad Baculum. b) Ad Misericordiam. c) Ad Populum. d) Ad Hominem. e) Ad Ignorantiam. 15. "La ciencia no se desarrolla segn un proceso lgico o racional, sino a travs de eventos sociales o culturales decisivos; lo anterior es correcto, pues lo plantea el reconocido periodista L. Iberico". a) Ad Ignorantiam. b) Ad Verecundiam. c) Ad Populum. d) Ad Hominem. e) Ad Baculum. 16. "Ninguno de nosotros ha podido establecer con pruebas suficientes que la pareja de Moiss le guarde fidelidad". En consecuencia, no queda duda alguna que ella le es infiel.
a) b) c) d) e)
Ad Hominem. Ad Populum. Ad Ignorantiam. Ad Baculum. Ad Verecundiam.
17. "Aparece el arco iris e inmediatamente cesa la lluvia. Luego, el arco iris es causa de que cese la lluvia". a) Causa falsa. b) Pregunta compleja. c) Ad Baculum. d) Equvoco. e) Anfibologa. 18. "Compro relojes de hombres malogrados". a) Acento. b) Equvoco. c) Ad Hominem. d) Ad Populum. e) Anfibologa. 19. "No es correcto criticar al presidente, ello es desestabilizar a la democracia y la legalidad". a) Ignoratio Elenchi. b) Ad Ignorantiam. c) Ad Baculum. d) Ad Populum. e) Equvoco. 20. "He ledo dos de los seis captulos que tiene un libro. Puedo afirmar que son sumamente triviales y ligeros. Consecuentemente, este es un libro escrito en forma trivial y ligera". a) Divisin. b) nfasis. c) Anfibologa. d) Composicin. e) Causa falsa.
433
Lgica
Captulo
LGICA PROPOSICIONAL
I.
DEFINICIN : Es llamada tambin lgica de las proposiciones sin analizar, tiene por objeto de estudio a las proposiciones y su formalizacin con la finalidad de determinar sus valores lgicos.
II. PROPOSICIN (ENUNCIADO) : Se denomina as a las expresiones lingsticas de las cuales se puede afirmar que son verdaderas o falsas. CARACTERSTICAS * Toda proposicin es una oracin aseverativa, pero no toda oracin es una proposicin. * Toda proposicin o es verdadera (V) o falsa (F) (no puede ser ambas a la vez). * Dentro del razonamiento la proposicin puede ser premisa o conclusin. * La proposicin verdadera o falsa se puede afirmar o negar. * Los enunciados matemticos tienen el rango de proposicin. Ejem. : - Los futbolistas son deportistas (V) - Todo africano es asitico (F) - La botnica estudia a las plantas (V) III. CLASES DE PROPOSICIONES :Las proposiciones se clasifican bsicamente en: simples y compuestas. 3.1 PROPOSICIONES SIMPLES (Atmicas) Son siempre afirmativas y no se pueden descomponer. Pueden ser : A. PREDICATIVAS .- Aquellas que presentan, en su estructura, slo un sujeto y un solo predicado (el sujeto puede hallarse tcito). Ejm. - Los huancaynos son alegres - Las ballenas son mamferos B. RELACIONALES (Comparativas) .- Presentan en su estructura dos sujetos o ms, que se comparan entre s con una sola caracterstica, a partir de los llamados trminos relacionales: ms que, menos que, parecido a, etc. Ejm. - Jons es ms leal que Judas. - La Trigonometra es ms compleja que la Geometra. - Lucho y Maricarmen se odian.
434
3.2 COMPUESTAS (Moleculares, Coligativas) Est constituida por ms de una proposicin simple unida por las conectivas y, o, entonces, si y slo si o la negacin (no). Son las siguientes : A. Negativas .- Son las que presentan la negacin (no, no es cierto que, es falso que, es mentira que, no ocurre que, etc.) Ejm. - Roco no es menor de edad. - Es falso que el gallo y la gallina sean acuticos. B. Conjuntivas .- Presentan como conectiva a la "Y". La conjuncin puede hallarse tcita, o puede ser reemplazada por sus sinnimos: Como, pero, a la vez, adems, incluso, tambin, aunque, a pesar, sin embargo, ni, etc. Ejm. - Nelly y Roger son mdicos - Ruby es lingista tambin literata. C. Disyuntivas .- Presentan como conectiva a la "O", "u", "o ... o...", son de dos tipos: Inclusiva o Dbil .- Cuando de las alternativas que se proponen se cumplen todas ellas, ya sea al mismo tiempo o de manera alternada. Ejm: - Jennifer es cantante o abogada. - La mesa es un mueble o es de madera. Exclusiva o Fuerte.- Cuando de las alternativas que se proponen se cumple slo una y se excluye la otra. Ejm. - Csar Vallejo muri en Lima o en Pars. - O corremos o caminamos D. Condicional.- Presentan como conectiva la palabra "Entonces" o sus equivalentes: luego, por lo tanto, en conclusin, en consecuencia, de ah, etc. Esta proposicin indica una relacin de causa - efecto, (antecedente - consecuente) La condicional se puede hallar tcita, sobrentendida. Su esquema bsico es :
Se divide en :
Condicional Directo .- Aqu se presenta primero el antecedente y luego el consecuente (causa - efecto). Ejm.
435
Lgica
Condicional Indirecto .- Aqu se presenta primero el consecuente luego el antecedente. Se usa las conectivas: dado que, puesto que, ya que, porque, si, siempre que, cada vez que, etc. Ejm.
Alex trabaja
necesita dinero.
E. Bicondicional.- Presentan como conectiva a "Si y slo si", o sus equivalentes: cuando y slo cuando, entonces y slo entonces, etc. Ejm. - Edwin corre si y slo si quiere llegar a la meta. - Hctor se baa cuando y slo cuando lo invitan a un matrimonio.
PRCTICA
01. Relacione correctamente: I. Mximo tena bolsa de viaje, sin embargo no viaj. II. El gato es un animal domstico. III. No se da el caso que el sol sea una estrella. IV. Epicuro es hedonista o filsofo. A. B. C. D. a) b) c) d) e) Negacin. Conjuncin. Disyuncin. Simple predicativa. IA -IIB - IIIC - IVD IB - IID - IIIA - IVC IC - IID - IIIA - IVB ID - IIA - IIIB - IVC IB - IID - IIIC - IVA
a) b) c) d) e)
Conjuntiva. Disyuntiva. Bicondicional. Condicional. Negativa.
03. Una proposicin disyuntiva inclusiva, ser: a) b) c) d) e) Hctor es soltero o casado. Si hay dinero, iremos de vacaciones. La leche est fra o caliente. Rommel es lder u orador. Eres t o soy yo quien se casar con Diana.
04. A qu clase de proposicin corresponde : "La msica es un arte a pesar que es un sentimiento". a) b) c) d) e) Simple. Disyuntiva. Condicional. Conjuntiva. No es proposicin.
02. Qu proposicin es :"Es el caso que eres un buen postulante si te preparas en TRILCE"?
05. Marque la alternativa que sea una proposicin bicondicional :
436
a) "Voy al Jockey Club del Per cuando y slo cuando consiga un boleto de entrada". b) "Si el nio es alimentado con leche todos los das, crece saludablemente". c) "Martha es colrica, sin embargo es trabajadora". d) "No ocurre que Pablo sea boxeador si y slo si sea deportista". e) "Voy al colegio si y slo si me compras una bicicleta, adems soy extrovertido". 07. "Sandy se sienta entre Lucha y Carmela, en cambio Laura est al costado de Nadia". El anunciado anterior es una proposicin: a) b) c) d) e) Condicional. Disyuntiva. Bicondicional. Conjuntiva. Negativa.
10. Conector mondico, considerado tambin como modificador lgico : a) b) c) d) e) Conjuncin. Disyuncin. Negacin. Condicional. Bicondicional.
11. "Alberto y Jos son primos hermanos" es ejemplo de proposicin : a) b) c) d) e) Atmica. Conjuntiva. Molecular. Disyuntiva. Condicional.
12. "Cuando llueve en plena tarde soleada, se produce el llamado arcoiris", es ejemplo de proposicin : a) b) c) d) e) Conjuntiva. Simple. Condicional. Bicondicional. Disyuntiva.
08. El enunciado : "La Fsica es una ciencia; sin embargo no es complicada", posee bsicamente : a) b) c) d) 2 proposiciones simples. 1 proposicin compuesta. 2 proposiciones negativas. 1 proposicin simple y 1 proposicin compuesta. e) 1 proposicin simple y 1 proposicin compuesta condicional. 09. La Lgica Proposicional tambin es conocida como lgica : a) b) c) d) e) De clases. De predicados. Cuantificacional. De las proposiciones analizadas. De las proposiciones sin analizar.
13. "Estoy vivo o estoy muerto" es una proposicin : a) b) c) d) e) Disyuntiva dbil. Conjuntiva. Condicional. Disyuntiva fuerte. Bicondicional.
14. Seale la proposicin atmica : a) b) c) d) e) Luis y Alberto estudian juntos. No volver a verla, amada ma. Ojal llueva en la sierra de Lima. No es cierto que estudie en la UNI. Como practicas, dominas el curso.
437
Lgica
15. Ubique la proposicin conjuntiva : a) b) c) d) e) No es cierto que cante y baile. ngel y Melissa son vecinos. Entre Ica y Ancash est Lima. Csar y Andrs son mdicos. Al igual que te amo, te odio. 18. C. Moro no fue romntico ni modernista. Por ello, no sigui una potica tradicional. Qu conectores se indican? a) b) c) d) e) Negacin - conjuncin - condicional. Negacin - disyuncin - condicional. Negacin - condicional - conjuncin. Negacin - conjuncin - bicondicional. Negacin - conjuncin - disyuncin.
16. ".................. debido a que .................. " corresponde a : a) b) c) d) e) Condicional inverso. Condicional directo. Disyuntivo. Conjuntivo. Negativo.
19. Proposicin molecular que establece una relacin de antecedente y consecuente : a) b) c) d) e) Conjuncin. Disyuncin. Condicional. Bicondicional. Negacin.
17. "No es el caso que, cuando estemos en invierno, los das sean soleados" es una proposicin : a) b) c) d) e) Condicional. Conjuntiva. Bicondicional. Disyuntiva. Negativa.
20. Seale la expresin que establezca una disyuncin exclusiva : a) Moro escribi en castellano o en francs. b) La proposicin es verdadera o falsa. c) Paco toca guitarra o cajn. d) Postular a San Marcos o a la Catlica. e) Luis trabaja o estudia con dedicacin.
438
Captulo
SIMBOLIZACIN
La simbolizacin de proposiciones, consiste en la representacin del lenguaje ordinario mediante el lenguaje artificial (convencional). Formalizar, significa reemplazar cada proposicin por una variable y cada conectivo (trmino de enlace) o modificador (la negacin) por un operador lgico, todo ello correctamente jerarquizado mediante signos de agrupacin. 1. VARIABLES Se utilizan para representar a las proposiciones simples. Son las letras minsculas: p, q, r, s, t, ....., etc.
Ejemplo:
a) Juan Pablo es compositor.

p b) Rosario es empresaria as como estudiante universitaria. p q
2.
OPERADORES LGICOS Son de dos tipos: a) Didicos .- Se utilizan para representar a las conectivas (trminos de enlace)
Conectiva Operador .... y .... .... o .... o ... o ... si ... entonces ... ... si y solo si ...
Ejemplo: * Si practicamos los ejercicios de lgica, entonces aprendemos. * Los leones son salvajes y carnvoros b) Mondico .- Sirve para reemplazar al modificador "no" o sus expresiones equivalentes (no es cierto, es falso que, no es el caso que, etc.)
Modificador no Operador ~
439
Lgica
Ejemplo: * Marte no es una estrella * No es cierto que, las gallinas tengan 2 patas y no sean aves 3. SIGNOS DE AGRUPACIN Se utilizan para agrupar a las variables y operadores as como, darles jerarqua. Son los siguientes: * Parntesis ( ) * Corchetes [ ] * Llaves {} * Barras || a) JERARQUIZACIN Jerarquizar significa agrupar las variables y los operadores dentro de los signos de coleccin, llamados tambin de agrupacin. Para jerarquizar hay que tener en cuenta los siguientes requisitos : * * * Slo presentan jerarqua los conectivos lgicos (y, o, entonces, si y solo si, etc.) Para realizar una correcta jerarquizacin hay que tener en cuenta los signos de puntuacin del texto a jerarquizar, en cuanto ellos indican la ubicacin de los signos de coleccin. En el texto, el punto seguido tiene mayor jerarqua, le sigue en 2do. lugar el punto y coma, y en 3er. lugar la coma.
PRCTICA
01. Formalizar : "Puedo dudar de todo pero no puedo dudar que estoy dudando; sin duda pienso, y si pienso, entonces existo; por lo tanto, existo porque pienso". a) {(p ~ q) [(r s)]} (s r ) b) {(p ~ q) [r (r s)]} (r s) c) e)
{(p q) [r (r s)]} (s r )
{(p q) r (~ r s)} (r s)
a) p (q r) c) p (q r) / e) p (q r )
b) p (q r ) d) p (q r) /
03. Represente formalmente el siguiente enunciado : "Es falso que hace calor si la temperatura no ha aumentado". (Sabiendo que p : hace calor y q : la temperatura aumenta) a) ~ p ~ q c) ~ q ~ p e) p ~ q 04. El argumento : "Pitgoras fue matemtico tal como filsofo. Pero Lutero fue protestante
440
d) {(~ p ~ q) [r (~ r s)]} (r s)
b) ~ (p ~ q) d) ~ (~ q p)
02. Seale la simbolizacin de : "Cuando hace Sol, es posible que la temperatura aumente o sea verano".
siempre que y slo cuando no se someti al Catolicismo". Se formaliza como : a) (p q) r ~ s b) p (q ~ r ) c) (p q) (r ~ s) d) (p q) (r ~ s) e) (p q) (~ r s) 05. Simbolice correctamente la siguiente expresin: "Si la neblina aumenta, la visibilidad disminuye y si disminuye la visibilidad, pueden ocurrir accidentes". (Donde p = la neblina aumenta, q = la visibilidad disminuye; r = ocurren accidentes) a) (p q) (r s) b) (p q) (q r) c) (p q) (r s) d) (p q) (r s) e) (p q) (q r) 06. Formalice correctamente : "No es el caso que no haya control de precios o los combustibles se encarezcan". La frmula lgica correcta de la expresin anterior es : a) ~ (p q) c) ~ (p q) e) ~ (p q) / 07. Formalice correctamente : "Tendremos muchas flores en el jardn, si la estacin es propicia y las semillas no estn malogradas". a) (q ~ r) p c) p (q ~ r) e) b) p (q ~ r) d) (q ~ r ) p b) ~ (~ p q) d) ~ p ~ q
08. "Si Diego es matemtico y Sebastin ingeniero, entonces ambos trabajarn en la NASA". La simbolizacin correcta es : a) (p q) r b) c) e)
p (q r) (p q) (r s) (p q) (r s)
d) (p q) (r s)
09. Simbolice : "No es cierto que compr acciones de la telefnica o bonos del gobierno. Luego obtuvo buenos dividendos porque compr acciones de la telefnica". a) c) d) e)
r (~ p q) (s t)
b) ~ (p q) (p t)
~ (p q) (r s) r (p q) (s t) ~ (p q) (s t)
10. Juan y Pedro estudian en salones contiguos. a) ~ p b) p q c) p q e) p q 11. Tard en llegar, porque se malogr el auto y tuve que venir a pie. a) p (q r) c) (q r) p e) (q r) p 12. No ir a trabajar, si y slo si declaran el da feriado o me encuentre enfermo.
441
d) p
b) (q r) p d) (q r) p
p (q ~ r)
Lgica
a) ~ p (q r) c) ~ p (q r) e) (q r) p 13. Sin justicia social, no hay democracia ni legalidad. a) ~ p (~ q ~ r) b) ~ (p q) r c) e) b) ~ p (q r) d) (q r) p 17. Formalizar : "Si llueve al medioda, no secar la ropa; si no llueve, secar y te irs a la fiesta. Por lo tanto, si vas a la fiesta, no llovi". a) {[(p q) ~ (p q)]} (s r) b) (p q) (r s) ~ p c)
{[(p ~ q) ~ r (q s)]} (r ~ p)
(~ p ~ q ) ~ r (~ p ~ q ) ~ r
d) [(p q) ~ (p r)] (p ~ r) e) {(p ~ q) [~ p (q r)]} (r ~ p) 18. "Si hablas, irs a juicio; si callas, te condenarn, pero hablas o callas. Por lo tanto es imposible que no vayas a juicio y no te condenen". a) [(p q) (r s) (p r)] ~ (~ q ~ s) b) [(p q) (r s) (p r)] ~ (~ q ~ s) c) [(p q) (~ p ~ r) (p ~ p)] ~ (~ q ~ s) d) (p q) ~ (p s) e)
d) (~ p ~ q ) ~ r
14. Garca Lorca escribi Bodas de Sangre, asimismo Romancero Gitano. a) p b) p q c) p q e) q p 15. Si Salma es alta o baja, entonces no le queda el vestido. a) (p q) ~ r c) (p q) ~ r e) (p ~ q) r 16. Simbolice correctamente la siguiente proposicin : "Alonso es abogado o diplomtico y si es diplomtico viaja casi siempre al extranjero". (Si se sabe que P : Alonso es abogado; q = Alonso es diplomtico; r = Alonso viaja casi siempre al extranjero) a) (p q) (r s) b) (p q) (r s) c) e)
(p q) (q r) (p q) (q r)
d) p q
(p ~ p) ~ (~ q ~ r)
b) (p q) ~ r d) (p q) ~ r
19. "Judas es desleal y deshonesto porque no dijo la verdad a Jess y lo entreg a los judos; de ah que ya no es una persona de confianza". Formalizando la expresin anterior, se obtiene: a) ~ t [(~ r s) (~ p ~ q)] b) [(~ r s) (~ p ~ q)] ~ t c) e)
[~ (~ p ~ q) (~ r s)] ~ t
[(p q) r] ~ s
d) [(p q) (~ r s)] ~ t
d) (p q) (q r)
442
Captulo
FUNCIONES VERITATIVAS Y TABLAS DE VERDAD

FUNCIONES VERITATIVAS
1. DEFINICIN : Son interpretaciones semnticas de las posibilidades de verdad o falsedad de las proposiciones moleculares en base a sus conectivas o el modificador. Son las siguientes : A) Negacin : Lgicamente se rige por la siguiente regla : "La negacin de una proposicin verdadera es falsa. La negacin de una proposicin falsa es verdadera". Esquemticamente, se representa por la siguiente tabla de verdad : p ~p V F F V Esto significa que si "p" es V, su negacin F o viceversa. B) Conjuncin : La funcin veritativa de la conjuncin se rige por la siguiente regla: "Una proposicin conjuntiva es verdadera cuando todas sus proposiciones componentes son verdaderas, siendo falsa en los dems casos". Esquemticamente, se tiene : p q pq V V V V F F F V F F F F C) Disyuncin inclusiva o dbil : En este caso es : "Es falsa slo cuando todos sus componentes son falsos, en los dems casos es verdadera". Esquemticamente, se tiene : p q pq V V V V F V F V V F F F
443
Lgica
D) Disyuncin exclusiva o fuerte : La regla es : "Una proposicin disyuntiva fuerte es falsa cuando sus componentes tienen valores iguales, en los dems casos es verdadera". Esquemticamente, se representa :
p V V F F q V F V F pq / F V V F
Nota : La disyuncin al igual que la conjuncin, posee las propiedades conmutativa, asociativa e idempotencia. E) Condicional : La regla es : "Una proposicin condicional es falsa slo cuando el antecedente es verdadero y el consecuente es falso, siendo verdadero en los dems casos". La funcin veritativa se expresa en el siguiente esquema : p q pq V V V V F F F V V F F V F) Bicondicional : La regla es : "Una proposicin bicondicional es verdadera cuando sus dos componentes tienen valores iguales, y es falsa cuando sus dos componentes tienen valores distintos". Esquemticamente, se tiene :
p V V F F q pq V V F F V F F V
2.
TABLAS DE VERDAD : Llamadas tambin de valores, tablas veritacionales, mtodo de las matrices o Algoritmos. Son grficos en los que se representan todos los valores de verdad o falsedad que pueden asumir las distintas interpretaciones de un esquema o frmula lgica. Wittgenstein (1889 1951), filsofo viens, padre de la Filosofa Neopositivista y Analtica, es el que propone las tablas de verdad. FRMULA : C = 2n C = Nmero de lneas o arreglos que tendr la tabla. 2 = Constante numrica n = Nmero de variables
444
GRFICO :
Variables de la frmula Frmula Lgica
Combinaciones de V y/o F Margen Izquierdo
(matriz (ces)) Cuerpo
NOTA : Para hallar los valores de Verdad o Falsedad de la matriz principal de una frmula lgica, en la Tabla de Verdad, es necesario emplear las funciones veritativas. EJEMPLOS : Determinar la matriz principal de las siguientes frmulas : A) p q B) (p q) (r p) C) ~ p
q p q V V F F V V F V matriz
q) (r V V V V V F F F V V V V V F V F Matriz Principal
DESARROLLO
A)
p V V F F
# de arreglos : n C=2 2 C=2 =4
B)
r V F V F V F V F
(p
p)
# de arreglos n C=2 C = 23 = 8
V V V V V V F F F F F F V V F F
V V V V V V F F
445
Lgica
C)
p V F
p F V matriz
# de arreglos C = 2n C = 21 = 2
3. ESQUEMAS LGICOS (E. L. ) : Son frmulas lgicas (proposiciones formalizadas) las cuales pueden asumir funciones veritativas determinadas. Pueden ser : 1. Tautolgicos (T) : Son aquellos cuya matriz principal contiene nicamente valores de verdad. Se le llama tambin "Principios Lgicos". 2. Consistentes (Q) : Llamados tambin esquemas contingentes. En estas frmulas lgicas, la matriz principal de su tabla veritativa presentan por lo menos un valor de verdad y uno de falsedad. 3. Contradictorios ( ^ ) : Son frmulas formalmente falsas, la matriz principal de su tabla de verdad slo contiene valores falsos.
PRCTICA
01. Si el esquema es F diga el valor de las varia, bles : p, q, r y s respectivamente : [(p q) (q r)] [r (s p)] / a) VVVV b) VVFF c) VVVF d) VFVF e) FFFF 02. Si el esquema es V, diga el valor de las variables : [(~ p q) r] ~ [(r p) s] / a) FVVF b) FFVF c) FVFV d) VFVF e) VVFF 03. Si el esquema no es V, seale el valor de cada variable (p q) [q (r ~ s)] a) VFVFV b) VVFFV c) VVVFV d) FVFVF e) VFVVV 05. Si (p q) (s r) es falso, hallar el valor de p, q, r y s, respectivamente : a) VVVF b) FVFV c) VVFF d) VFVV e) FVVV 06. Sabiendo el valor verdadero de :
[q (p ~ r)] ~ (r s)
Entonces sealar el valor de p, q, r y s respectivamente : a) FVVF b) VVFV c) VVFF d) VVVF e) FFFF 07. Si el esquema (p q) (s r) es falso, hallar el valor de p, q, r y s respectivamente: a) VFFV b) FVVF c) VVFV d) VVVF e) VFVF 08. Si se sabe que : p ~ r es F
04. Si el esquema (p q) (s r) es falso, hallar el valor de p, q, r y s respectivamente: a) VFFV b) FVVF c) VVFV d) VVVF e) VFVF
r q es V q t es F
446
Determine los valores de verdad de p, q, r y t. a) VVVV b) VVFF c) VFVF d) FVFF e) FFFF 09. Si : p = V ; q = F y r = V. Seala cul de las siguientes frmulas no es verdadera : a) (p q) r c) (p r) ~ q e) r (q p) 10. Si el esquema : (p q) (s r) es falso, hallar el valor de p , q , r y s, respectivamente: a) V - F - F - V. b) F - V - V - F. c) V - V - F - V. d) V - V - V - F. e) V - F - V - F. 11. Efectuar el siguiente ejercicio : b) (p q) D r d) (~ p r) p
a) VVVVFFFF c) FFFFFFFF e) VFFFVVVV
b) VFVFVFVF d) FFFFFFVV
15. Determinar la T. V., luego de negar el siguiente esquema :
[(p q) ~ q] D [(~ q p) p] a) VVVV b) FVVV c) FFFF d) VFFV e) VFVF

16. Qu valores pertenecen a :
(p ~ q) (q r) a) VFVVVVVF b) FVFFFFFF c) VFVVVVVV d) VVFVVVVV e) VVVFVVFF

17. Cul es la matriz de :
[(~ p q) p] ~ (q p) a) VFVF b) VVVF c) VFFF d) VVFF e) FFVV

18. Determine la matriz de :
[(p q) r] ~ p a) VFVFVFVF b) FVFVVFVV c) FFFFFFFF d) VVVVVVVV e) FFFFVVVV

12. Cul es el resultado final de la proposicin? [(p q) (~ r q)] [r ~ p] a) VVVVVVVV b) FFFFFFFF c) VFVFVFVF d) FVFVFVFV e) VVVVFFFF 13. Si hallamos la tabla de valores de la frmula:
p q ~ r p
a) FFFFVFVF c) VVVVFVFV e) VVVVVFVF b) VVVFVFVF d) VVVVFVFF
19. El esquema siguiente es :
[(p q) ~ q] ~ p a) Tautolgico. b) Contingente. c) Contradictorio. d) Consistente. e) Indeterminado.

20. Determine la matriz del esquema siguiente
(p q) (p r) El resultado final es : a) VVVVVVVV b) FFFFFFFF c) VVVVFFVV d) FFVVVVVV e) FVFVFFFF

14. Determine el valor final de :
~ p q q ~ r
a) VVFFFVVV c) FFVVVFFF e) VVVFFVVV b) VVFVFVVV d) FFFFFVVV
[~ (q p) ~ (~ p r)] ~ (r p)
447
Lgica
Captulo
&
PRINCIPIOS LGICOS Y EQUIVALENCIAS NOTABLES
I.
PRINCIPIO LGICO Un Principio Lgico, es el fundamento de toda verdad lgica (Tautologa). De un principio lgico podemos generar tautologas indefinidamente, y, a la vez, cualquier tautologa del universo lgico puede reducirse a un principio lgico. Son conocidos los tres principios.
II. PRINCIPIOS LGICOS CLSICOS 2.1 PRINCIPIO DE IDENTIDAD Establece que si se afirma una proposicin, se concluye la misma; si una proposicin es verdadera, entonces es verdadera, una proposicin slo es idntica a s misma. En el plano de la realidad, toda cosa es idntica a s misma. Simblicamente se expresa por :
A A ; A A Ej : p p ; p p
Ej: "Si el libro es de matemtica se deduce que el libro es de matemtica". 2.2 PRINCIPIO DE NO CONTRADICCIN Establece que inadmisiblemente una cosa sea y no sea a la vez. Es imposible que una proposicin sea verdadera y falsa a la vez, que una cosa exista y no exista al mismo tiempo. Su formulacin simblica es:
~ (A ~ A) Ej : ~(p~ p)
Ej : Es falso que la jirafa sea mamfero y no sea mamfero. 2.3 PRINCIPIO DEL TERCIO EXCLUIDO Fue planteado por Aristteles. Establece que una cosa es o no es, no existe una tercera posibilidad. Una proposicin es verdadera o falsa, no existe una tercera posibilidad. Simblicamente se expresa :
A~A Ej : p~ p
Ejemplo : Augusto Salazar Bondy es peruano o no es peruano. III. EQUIVALENCIAS NOTABLES Son leyes que permiten la transformacin y simplificacin de los esquemas moleculares en esquema ms simples y se denominan equivalencias porque tanto la expresin original como la expresin simplificada tienen la misma matriz principal en sus respectivas tablas de verdad.
448
A continuacin las leyes equivalentes.

Leyes Equivalentes 1. Doble Negacin (DN) 2. Idempotencia (Idem) 3. Conmulativa (Conm) 4. Asociativa (Asoc.) 5. Distributiva (Dist.) 6. De Morgan (DM) 7. Definicin del Condicional (DC) 8. Bicondicional (DB) 9. Absorcin (Abs) Con variables de esquema ~~ A A ~ ~ ~ A ~A A A A A A A B B A A B B A A Con variables proposicionales ~~p p ~~~p ~p p p p p p p p q p q q p q p
A (B C) (A B) C A (B C) (A B) C A (B C) (A A (B C) (A A (B C) (A A (B C) (A ~(A B) ~A ~(A B) ~A A A A A A A A A (A B (~A B) B (A B) (B A) B (A B) (~A ~B) (A B) A (A B) A (~A B) A B (~A B) A B B ~B B) C ~A A (B C) B) (A C) B) (A C) B) (A C) B) (A C) ~B ~B
p (q r) (p q) r p q r p (q r) (p q) r p q r p (q r) p (q r) p (q r) p (q r) ~(p q) ~(p q) p p p p p p p (p (p (p (p ~p ~p q) (p r) q) (p r) q) (p r) q) (p r) ~q ~q
q (~p q) q (p q) (q p) q (p q) (~p ~q) (p q) p (p q) p (~p q) p q (~p q) p q
10. Transposicin 11. Exportacin
p q ~q ~p (p q) r p (q r)
Ejm: 1. "Si estudio, apruebo", equivale a "Si no apruebo, no estudi". (Transposicin). 2. "No es verdad que fumes y no caigas enfermo", equivale a "Si fumas, caes enfermo". (Ley de Morgan + Definicin del Condic.)
449
Lgica
PRCTICA
01. Cul de las siguientes alternativas es lgicamente verdadera (principio lgico)? a) Si Amparo ingresa a la primera entonces se alegrar. b) Si el diskett contiene informacin entonces le servir a Lalo o no le servir. c) La lgica es una ciencia formal que estudia la validez de las inferencias. d) Es falso que Manuel compre el reloj o no lo compre. e) Judith es abogada o no es abogada. 02. Relacione correctamente : 1. Tercio excluido 2. De identidad 3. De no contradiccin 4. Principia Mathemtica A. Parmnides B. Platn C. Russell - Ehitehead D. Gottlob Frege E. Aristteles a) 1A - 2B - 3C - 4D b) 1E - 2A - 3B - 4C c) 1B - 2C - 3D - 4E d) 1C - 2D - 3B - 4A e) 1E - 2A - 3B - 4D 03. En cul de las siguientes frmulas no se puede aplicar la ley de la absorcin a) q (p q) b) c) d) e) 05. Al
[( ~p q) p] [~(q~ p) p] ,
simplificar
el
esquema: obtene-
mos: a) Una conjuncin. b) Tercio excluido. c) Identidad. d) No contradiccin. e) Idempotencia. 06. Simplificar : ~ [~ (~ p q) p] q a) q p d) ~ p~ q b) p q c) ~ p~ q e) ~ p q
07. Luego de simplificar la frmula: a) ~ p q d) q p b) ~ p~ q e) ~ p~ q
~ {(~ p ~ q) ~ [~ p (p ~ q)]}
c) p q
08. "Locke no es innatista, porque es empirista". Equivale a : a) Si es empirista, es innatista. b) Si no es empirista, es innatista. c) Es empirista o no es innatista. d) Es innatista a la vez que empirista. e) Si es innatista, no es empirista. 09. Seale la frmula equivalente a : p (q r) a) (p q) (p r) b) (p q) r c) d) e)
(p q ) r p (q r) (p q ) (p r )
s (~ s r)
~ p (q~p)
(p q) [r (p q)] p (p q)
04. Utilizando las equivalencias notables, reducir : ~ ~ (p q)~ (~ q ~ p) a) q p d) p q b) p q e) ~ p q
c) p q
10. Seale la expresin equivalente de : "Si Michael es Ingeniero, entonces es profesional". a) Es Ingeniero tambin profesional. b) O es Ingeniero o es profesional. c) Si es profesional entonces es Ingeniero.
450
d) Es Ingeniero pero no es profesional. e) No es ingeniero o es profesional. 11. Si llueve y hace fro equivale a hace fro tambin llueve. La expresin anterior, se denomina : a) Principio de contradiccin. b) De Morgan. c) Idempotencia. d) Conmutatividad. e) Principio del tercio excluido. 12. La proposicin : Si me preparo en Trilce, entonces ingreso a la primera, es lgicamente equivalente a : a) Si ingreso a la primera, me prepar en Trilce. b) Si no me preparo en Trilce entonces no ingreso a la primera. c) No es posible que me prepare en Trilce y no ingrese a la primera. d) Ingreso a la primera si y slo si me preparo en Trilce. e) No ingreso a la primera o no me preparo en Trilce. 13. El enunciado equivalente de : Si los dinosaurios fueron reptiles, no tuvieron sangre caliente, es : a) No fueron los dinosaurios reptiles o tuvieron sangre caliente. b) Fueron los dinosaurios reptiles y tuvieron sangre caliente. c) No tuvieron los dinosaurios sangre caliente y fueron reptiles. d) Es mentira que, los dinosaurios fueron reptiles y tuvieron sangre caliente. e) Los dinosaurios no fueron reptiles ni tuvieron sangre caliente. 14. "Si Emelly no hace la tarea y no ve televisin, entonces juega voley o no lo hace". Cul es el valor final del enunciado anterior? a) Tautologa. b) Consistencia. c) Contingencia. d) Contradiccin. e) Inconsistencia.
15. Reducir :
~ (p r) ~ [(~ p q) (~ q ~ r)]
a) p q d) p r
b) p q e) p r
c) ~ p q
16. Si p * q p ~ q ; indique la proposicin equivalente a :
[~ (~ p * q)* ~ q]* ~ p ~ a) q p b) ~ q p c) ~ p q d) ~ p ~ q e) p q
17. "Si es invierno, hace fro; si es invierno, el resfriado es comn". El enunciado anterior equivale a : a) Si es invierno, el resfro es comn. b) Si hace fro, el resfriado es comn. c) Si es invierno, hace fro o el resfro es comn. d) Ms de una es correcta. e) N. A. 18. La proposicin : "Es falso que si no logras ingresar, te pondrs a trabajar".
Es equivalente a :
a) b) c) d) e)
Ingresas pero no trabajas. No ingresas pero trabajas. Ingresas pero tambin trabajas. Ingresas o no trabajas. Ni trabajas ni ingresas.
19. Simplifique : ( ~ p q) ~ p a) p d) ~ p b) q e) p q c) ~ q
20. Qu frmula equivale a : ~ (p q) a) ~ p q c) ~ p q e) ~ p ~ q

451
b) p ~ q d) p ~ q
Lgica
Captulo
'
REPASO
d) Argumentum ad verecundiam e) Argumentum ad ignorantiam 05. Los planteamientos filosficos de Wittgenstein son errneos, ya que fue un homosexual. a) Ad hominem b) Ad baculum c) Ad misericordiam d) Causa falsa e) Ad populum 06. Todo racional es hombre. Ninguna mujer es hombre. Luego, ninguna mujer es racional. a) Ad verecundiam b) Ad hominem c) Anfibologa d) Equvoco e) Causa falsa 07. Me atropell el carro; ser porque en la maana se me cruz un gato negro. a) Causa falsa b) Ad ignorantiam c) Ad populum d) Anfibologa e) Equvoco 08. La proposicin Ral y Csar son hermanos es a) Atmica y predicativa b) Molecular y conjuntiva c) Atmica y relacional d) Molecular y afirmativa e) Molecular y predicativa
01. Quieres demostrar que A implica B es falso. Cmo procederas? a) Demostrando que B es falso. b) Demostrando que A es falso. c) Demostrando que B es falso y que A es verdadero. d) Demostrando que B es verdadero y que A es falso. e) Demostrando que B es falso y que A es falso. 02. La proposicin Apruebo porque estudio es equivalente a a) No apruebo o estudio b) Si apruebo, estudio c) Estudio o apruebo d) Si no apruebo, no estudi e) Apruebo si y solo si estudio 03. Halle el valor de cada variable, sabiendo que el esquema es Falso.
[(p D q) r] [~ r (~ q s)]
a) b) c) d) e) VVVV VVFF VFVF VFVV FVFF
04. En la casa Matusita existen almas en pena, pues muchos investigadores han pernoctado en ella y no han logrado determinar que no existan. a) Argumentum ad populum b) Causa falsa c) Anfibologa
452
09. Marta estudia a la vez que trabaja, es un ejemplo de proposicin: a) Atmica relacional b) Molecular conjuntiva c) Molecular condicional d) Molecular disyuntiva e) Atmica conjuntiva 10. Qu proposicin presenta una relacin de antecedente y consecuente. a) Atmica b) Compuesta c) Disyuntiva d) Bicondicional e) Condicional 11. La proposicin relacional es a) Irma y Sofa son estudiantes b) Manuel e Ivn son primos c) Mara y Juan son casados d) Pedro y Rosa van al cine e) La Lgica es una ciencia formal 12. Determine el valor de las variables, sabiendo que el esquema es falso
15. Evale mediante tablas de verdad:
(p q) ~ p
a) VVFF c) FFFF e) VFVF 16. Simplifique : b) VVVV d) VVFV
(p ~ q) ~ q
a) ~ p c) q e) p q b) p d) ~ q
17. Seale la frmula equivalente a :

~ (p ~ q )
a) p q c) ~ p q e) ~ p q
b) p ~ q d) p ~ q
18. Simbolice: Pedro trabajar en el colegio o en la academia, si y solo si aprueba el examen de seleccin. a) p (q r) c) p (q r) e) p (q r) 19. Formalice: No es verdad que estudies mucho y no obtengas buenas calificaciones. a) ~ (p ~ q) b) ~ p ~ q c) ~ p ~ q e) ~ (p q) 20. Simbolice: Si trabajas solo, entonces tendrs ms dificultades y tardars mucho en lograr los objetivos. a) p (q r) c) r (p q) e) p (q r) b) p (q r) d) p (q r) d) ~ (p ~ q) b) p (q r) d) p (q r)
(p q) [~ p D (~ q r)]
a) VVV c) VFF e) FVV b) FFF d) VFV
13. Qu valores resultan de evaluar el esquema siguiente con las tablas de verdad?
[(p q) (r ~ q)] (p r)
a) b) c) d) e) VVVVVVVV FFFFFFFF VVVVFFFF VVFFVVFFVV VVVVFVVV
14. (~ x y) , al negar esta frmula se obtiene que a) x e y son V b) x es F e y es V c) x es V e y es F d) x o y no son F e) x e y son F
453
Lgica
Captulo

A B A B
Ejemplo :
IMPLICACIONES NOTABLES
Llamadas tambin Leyes Implicativas. Son esquemas condicionales tautolgicos, por lo que representan inferencias vlidas. En consecuencia, teniendo la(s) premisa(s) podemos derivar inmediatamente su respectiva conclusin. Las ms importantes son las siguientes : 1. Modus Ponendo Ponens (MPP) : Si se afirma el antecedente de una premisa condicional, se concluye la afirmacin del consecuente de dicha premisa. Regla : Ley :
[(p q) p] q
P1 : Si llueve en la noche, las pistas estn mojadas. P2 : Llueve en la noche. C : Luego, las pistas estn mojadas.
Formalizando : P1 : p q
P2 : p C\q
2. Modus Tollendo Tollens (MTT) : Si se niega el consecuente de una premisa condicional, se concluye la negacin del antecedente de dicha premisa. Regla : Ley :
A B [(p q) ~ q] ~ p
~B ~A
Ejemplo : Formalizando :
P1 : Si eres estudiante de Trilce, te estn preparando adecuadamente. P1 : p q P2 :~ q P2 : No te estn preparando adecuadamente. C : Consecuentemente, no eres estudiante de Trilce. C \~ p
3. Silogismo Disyuntivo (SD) : Si se niega uno de los elementos de una premisa disyuntiva, se concluye la afirmacin del otro elemento. Regla : Ley :
AB AB [(p q) ~ p] q [(p q) ~ q] p
~A B
~B A
454
Ejemplo :
P1 : Estudio Contabilidad o Economa. P2 : No estudio Economa.
Formalizando : P1 : p q
P2 :~ q C\ p
C : Estudio Contabilidad.
4. Silogismo Hipottico Puro(SHP) : Si de un conjunto de dos premisas condicionales, el consecuente de una de las premisas es la afirmacin del antecedente de la otra premisa, entonces del antecedente de una de las premisas se deriva el consecuente de la otra premisa. Regla : Ley :
AB B C AC BC A B AC [(p q) (q r)] (p r) [(q r) (p q)] (p r)
Ejemplo : Si Carnap fue neopositivista, conform el Crculo de Viena. Y si conform el Crculo de Viena, confiaba en la Lgica Simblica. Por lo tanto, si Carnap fue neopositivista, confiaba en la Lgica Simblica. Formalizando : P1 : p q
P2 : q r C\ p r
5. Conjuncin : De un conjunto de premisas, se puede concluir la Conjuncin de las mismas. Regla : Ley : (p) (q ) p q A
B AB
Ejemplo :
Juan es escritor. Juan es poeta. Luego, Juan es escritor y poeta p q p q
Formalizando : P :p 1 C\ p q P2 : q
6. Simplificacin : De una premisa conjuntiva de puede concluir cualquiera de sus componentes. Regla Ley : (p q) q AB AB (p q) p A B
Ejemplo :
P1 : Coprnico fue Astrnomo y Fsico. C \ Coprnico fue Astrnomo.
Formalizando : C\p P1 : p q
455
Lgica
7. Adicin : De una premisa se puede concluir la disyuncin de la misma con cualquier otra frmula. Regla : Ley : A p q AB Ejemplo:
Los estudiantes son inteligentes. Luego, los estudiantes son inteligentes o respetuosos. p q q
Formalizando :
P1 : p C \p q
DERIVACIN O DEDUCCIN NATURAL : Es un procedimiento formal que sirve para demostrar que la conclusin se deduce lgicamente de las premisas o de un conjunto de premisas. Este procedimiento consiste en obtener la conclusin deseada mediante la aplicacin de leyes lgicas en una secuencia finita de pasos. Entonces, dado un conjunto de premisas, la deduccin lgica debe permitirnos sacar consecuencias que slo se deriven lgicamente de las premisas; en otros trminos, consecuencias que son implicadas por las premisas. Ejemplo : Sean las premisas y su conclusin respectivamente :
P1 :~ p (q ~ r) P3 : s r C \~ s P2 :~ p
Indique qu pasos se han efectuado para obtener la conclusin : ~ s. Resolucin :

P1 :~ p (q ~ r) P2 :~ p P3 : s r // \ ~ s
4) q ~ r 5) ~r 6) ~s
: : :
se deduce de la P1 y P2 mediante (M. P P . .) se obtiene al utilizar Simpl. en la P 4
se deduce de la P3 y P5 mediante (M. T. T. ) De esta manera, la derivacin queda lgicamente justificada por los pasos efectuados, resultando su validez.
456
PRCTICA
01. Si canta y baila, Silvia es artista; sin embargo no es artista. Por lo tanto, ....... a) b) c) d) e) Ya que baila canta. No es el caso que canta y baila. Canta si baila. Ni canta ni baila. Ni canta o baila.
a) b) c) d) e)
Tampoco va al mdico. Va al mdico. Le teme a los psiquiatras. Sabe que no est loco. No tiene dinero.
06. "Si Aurora no es comerciante, es empresaria. Pero se sabe que no es empresaria". Por lo tanto la conclusin es : a) b) c) d) e) Aurora es comerciante. Aurora no es comerciante. Aurora es empresaria. Aurora es comerciante o empresaria Aurora es comerciante, pero no empresaria.
02. Si llueve y nieva entonces habr tormenta. Ocurre que no hay tormenta. Luego : a) b) c) d) e) No llueve y nieva. Si llueve pero no nieva. Es falso que llueva o nieve. No nieva o no llueve. Ni llueve ni nieva.
03. Si Junior sabe Lgica, desaprobar el examen, pero ha aprobado el examen; de ah que : a) b) c) d) e) Junior no sabe Lgica. Si no sabe Lgica, ir a la universidad. Es falso que no sabe Lgica. Junior no ha dado examen. Junior tiene que estudiar ms.
07. Si se cumple no p implica no q. Pero se da el caso que no p. Por tanto : a) q b) No q c) No p d) p e) s 08. Determinar la conclusin del siguiente razonamiento : "Si conduces un automvil, no debes beber cerveza. Pero bebes cerveza". En conclusin : a) b) c) d) e) Conducir y no beber cerveza. No conduces un automvil. Slo conduces. Bebes cerveza y no bebes cerveza. No bebes cerveza y conduces.
04. En el Modus Ponendo Ponens (MPP) la conclusin se halla luego que : a) b) c) d) e) Se afirma el consecuente. Se neg el antecedente. Se neg el consecuente. Se afirm el antecedente. Se obvi el consecuente.
05. "Robert acude al mdico o al Psiquiatra. Robert no acude al psiquiatra". Entonces :
457
Lgica
09. "Si terminas la tarea, irs a la fiesta. No aprobars el examen si dejas de lado tus obligaciones. Tambin tenemos que si vas a la fiesta, dejas de lados tus obligaciones. Lo cierto es que terminas la tarea". Concluimos que : a) b) c) d) e) No vas a la fiesta. Dejas de lado tus obligaciones. No apruebas el examen. No estudias. Apruebas el examen. 12. De las premisas : "Andrmeda es una constelacin, salvo que sea una galaxia", y "es absurdo pensar que Andrmeda sea una constelacin". Se infiere : a) b) c) d) e) Andrmeda es una constelacin. Andrmeda es una galaxia. Andrmeda es una estrella. Andrmeda no es una galaxia. Andrmeda no es una constelacin.
10. De las siguientes premisas : "Si Dbora estudia Educacin Inicial, entonces instruir a los nios", "Si Lucila estudia Enfermera, curar a los enfermos" y "Dbora no instruir a los nios o Lucila no curar a los enfermos". Se infiere : a) Dbora no estudia Educacin Inicial o Lucila no estudia Enfermera. b) Dbora estudia Educacin Inicial o Lucila estudia Enfermera. c) Dbora no estudia Educacin Inicial o Lucila estudia Enfermera. d) Dbora instruir a los nios y Lucila curar a los enfermos. e) Lucila cura a los enfermos y Dbora instruye a los nios. 11. Si soy poeta, soy escritor : Si soy escritor, domino el lenguaje. No domino el lenguaje o soy "culto" Pero no soy "culto" Por ende : a) b) c) d) e) No soy poeta. No soy escritor, aunque soy poeta. No domino el lenguaje, pero soy poeta. Soy poeta. Domino el lenguaje.
13. De las siguientes premisas : "Si Willy es profesor, entonces no es millonario". "Si Willy no es matemtico, entonces es corrupto", y "Willy es profesor, a menos que no sea matemtico". Se infiere que : a) Willy es matemtico y profesor. b) Willy no es millonario ni corrupto. c) Willy no es millonario salvo que sea corrupto. d) Willy es un profesor no corrupto. e) Willy no es matemtico. 14. Si llueve entonces no hace calor, o vamos a la playa. Pero no vamos a la playa. Sin embargo, llueve. Luego : a) b) c) d) e) No llueve. Hace calor. No vamos a la playa. No hace calor. Vamos al cine.
15. Si no me matas entonces vivo. Pero no vivo. Adems si me matas, me voy al cielo. Por lo tanto : a) No me voy al cielo. b) Me matas. c) No vivo.
458
d) Me voy al cielo. e) Me voy al infierno. 16. Si no obtengo la beca, no viajar. Yo s que no ser profesional si es que no viajo. Entonces llego a la conclusin que : a) Es falso que obtenga la beca o sea profesional. b) No es cierto no obtenga la beca y no viaje. c) No es cierto que obtenga la beca o no sea profesional. d) Es falso que no obtenga la beca y no sea profesional. e) Obtengo beca y no viajo. 17. Si Periquito no es bandolero, se meter en una caja. Pero se sabe que no se meter en una caja. Por lo tanto, la conclusin es: a) b) c) d) Periquito es bandolero. Periquito no es bandolero. Periquito se meter en una caja. Periquito es bandolero, pero no se meter en una caja. e) Periquito se meter en una caja o es bandolero. 18. Si : * Hay contaminacin o el clima es muy hmedo. * Pero el clima no es muy hmedo. Luego : a) No hay contaminacin. b) El clima es muy hmedo y no hay contaminacin. c) Hay contaminacin y el clima es muy hmedo. d) Hay contaminacin. e) El clima es muy hmedo o no hay contaminacin.
19. Deduzca :
p (q r)
p2 ~ r p3 p p
4
qs
a) ~ s b) ~ q c) r d) ~ p e) s 20. Si presentamos los siguientes eventos : I. De la pobreza deviene la riqueza. II. Del subdesarrollo se deduce el desarrollo. III. No hay riqueza a menos que no haya desarrollo. Luego : a) Hay pobreza a menos que haya subdesarrollo. b) No hay pobreza pero s subdesarrollo. c) Si no hay riqueza hay pobreza. d) No hay subdesarrollo a menos que no haya pobreza. e) Si no hay desarrollo, hay subdesarrollo.
459
Lgica
Captulo

CIRCUITOS LGICOS
RELACIN ENTRE LA LGICA Y LA INFORMTICA : La lgica constituye el fundamento terico de la informtica, en cuanto le proporciona las herramientas, para la construccin de lenguajes de programacin. Entre sus mltiples aplicaciones, la lgica se aplica a la tecnologa. En este campo, la lgica se aplica a la construccin de circuitos lgicos y entre ellos los circuitos elctricos, compuertas lgicas, los diagramas de flujo, etc. I. CIRCUITOS ELCTRICOS : Para cualquier frmula proposicional podemos construir un circuito elctrico, que resultar ms fcil en tanto la frmula tenga slo operadores , y/o ~. Los circuitos elctricos estn formados por conmutadores o interruptores que son los rganos lgicos que dejan pasar o no dejan pasar la corriente elctrica.
Estado lgico V F
Interruptor Cerrado Abierto
Lmpara Encendida Apagada
Ahora podemos construir los circuitos. El procedimiento que se sigue es el mismo que se emplea en la construccin de computadoras electrnicas. Estos circuitos son de dos clases: en serie y en paralelo. A. Circuitos en serie : Los circuitos en serie constan de dos o ms interruptores donde un interruptor est despus de otro y as sucesivamente. El grfico de un circuito en serie es la representacin de una frmula proposicional conjuntiva, cuya expresin ms simple es p q, y que se representa de la siguiente manera:
p q @ lmpara batera
Ejemplo :
Para que este circuito quede cerrado y la lmpara se encienda, p y q deben estar cerrados, esto es, p y q deben ser verdaderos a la vez. En otros trminos, es la aplicacin de la tabla de verdad de la frmula p q.
460
B. Circuitos en paralelo : Los circuitos en paralelo constan de dos o ms interruptores, donde un interruptor estn en la otra lnea y as sucesivamente. El grfico de un circuito en paralelo es la representacin de una frmula proposicional disyuntiva, cuya expresin ms simple es " p q ", y que se representa as :
p q batera
@ lmpara
Ejemplo :
p pq q Para que este circuito quede cerrado y la lmpara se encienda, bastar que uno de los interruptores est cerrado. Esto es, el circuito quedar cerrado, o bien cuando p sea verdadero o cuando q sea verdadero, o bien cuando ambos sean verdaderos. Solamente no se encender la lmpara cuando los dos interruptores estn abiertos, o sea, cuando p y q, ambos, sean falsos a la vez. Este caso, es la aplicacin de la tabla de verdad de " p q ".
PRCTICA
01. Seale lo correcto: La frmula simple de un circuito seriado es p q. II. La contradiccin en un circuito en serie enciende la lmpara. III. En (~p q), una lmpara no se enciende. IV. En un circuito seriado, la lmpara se enciende si uno de sus conmutadores est abierto. a) b) c) d) e) I y II verdaderos. I y IV ciertos . II y IV son falsos. I y III no correctos. Todos falsos. I.
02. El diagrama
p q
q p
Se simplifica en : a) (p q) b) (p q) d) q e) ~ (q p)
c) p
03. Dado el siguiente circuito:

p p q q r
su equivalente es : a) p q b) p q d) p r e) p ~ q
c) r
461
Lgica
04. Hallar el equivalente de :
q ~p q ~p ~p q
a) ~ p q d) p
b) p ~ q e) p ~ q
c) q
IV. El tercio excluido hace que la lmpara se encienda. a) Slo I es verdadero. b) Slo IV es falso. c) Slo III es falso. d) I y III son verdaderos. e) III y IV son falsos. 08. El circuito lgico ms simple que representa a :
~p ~p q r p q
05. Dadas las siguientes afirmaciones : I. En una ( ) un conmutador puede estar abierto y el otro cerrado, encendindose la lmpara. II. En una ( ) un conmutador puede estar abierto y cerrado a la vez, no encendindose el foco. III. Un conmutador abierto equivale a un estado lgico verdadero. Son verdaderas: a) I y III b) I y II c) II y III d) Slo I e) I, II y III 06. Encontrar el equivalente al siguiente circuito lgico :
p p ~p p ~q
es: a)
p ~p
~q
b)
q p
c) d) e)
p ~p
q q
a) b) c) d) e)
~p
p
~q
09. Encontrar el equivalente del siguiente circuito lgico:

p p p q
~p
q
~q p
~p
07. Sobre los circuitos en paralelo seale lo correcto: I. Frmula lgica (p q) II. El foco se enciende si los valores no son falsos. III. Si un conmutador no es falso, la lmpara no se enciende.
a) b) c) d) e)
p
p
p
q p
p
462
10. Seale la frmula simplificada del siguiente circuito lgico :

p q q p
13. A qu formula representa el siguiente circuito lgico?

p r q r ~p q
a) (p ~ q) (q p) b)
a) (p q) r [(~ p q) r] b) (~ p q) r [(~ p ~ q)] c) e)
pq
c) p ~ q d) ~ p ~ q e) ~q p 11. La frmula del siguiente circuito lgico es :

p p q
(p q) r (p q)
(p q) r [( ~ p q) r]
d) (p q) r [(~ p q) r]
14. Luego de simplificar el siguiente circuito seale su valor final

q p p p r
a) [p (~ p q) (p q)] b) [(p ~ p) q] (p q) c) e)
a) V d) VF
b) F c) FV e) Indeterminado.
[p (~ p q)] (p q) p (~ p q) (p q)
d) (p q) (~ p q q)
15. Seale la frmula final del siguiente diagrama :

p q r q r p q q
12. La frmula del siguiente circuito lgico es :

~p p p q q
a) [(p q) r] q b) [(q r) (p q)] q c) e)
(p q) (r q)
{[(p q) r] q} [(q r) (p q)]
d) (p q) (r q)
a) b) c) e)
p [(~ p q) (p q)] p [(~ p q) (p q)]

(~ p q) [(p q) p]
d) (~ p q) [p (p q)]
(~ p q) [p (p q)]
463
Lgica
464

Logica

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Logica

Hochgeladen von

Copyright:

Verfügbare Formate

www.librospdf1.blogspot.

19. INDUCCIN : a) b) c) d) e) Proposicin Inferencia Deduccin Lgica Premisa

04. Qu funcin expresa el siguiente enunciado: "Quisiera sacarme la Tinka"

Informativa. Reflexiva. Directiva. Expresiva. Activa.

Validez Inferencia Validez Premisas Conclusin

Ad Hominem. Ad Populum. Ad Ignorantiam. Ad Baculum. Ad Verecundiam.

Conjuntiva. Disyuntiva. Bicondicional. Condicional. Negativa.

05. Marque la alternativa que sea una proposicin bicondicional :

a) Juan Pablo es compositor.

FUNCIONES VERITATIVAS Y TABLAS DE VERDAD

Combinaciones de V y/o F Margen Izquierdo

(matriz (ces)) Cuerpo

# de arreglos : n C=2 2 C=2 =4

a) VVVVFFFF c) FFFFFFFF e) VFFFVVVV

15. Determinar la T. V., luego de negar el siguiente esquema :

[(p q) ~ q] D [(~ q p) p] a) VVVV b) FVVV c) FFFF d) VFFV e) VFVF

(p ~ q) (q r) a) VFVVVVVF b) FVFFFFFF c) VFVVVVVV d) VVFVVVVV e) VVVFVVFF

[(~ p q) p] ~ (q p) a) VFVF b) VVVF c) VFFF d) VVFF e) FFVV

[(p q) r] ~ p a) VFVFVFVF b) FVFVVFVV c) FFFFFFFF d) VVVVVVVV e) FFFFVVVV

19. El esquema siguiente es :

[(p q) ~ q] ~ p a) Tautolgico. b) Contingente. c) Contradictorio. d) Consistente. e) Indeterminado.

(p q) (p r) El resultado final es : a) VVVVVVVV b) FFFFFFFF c) VVVVFFVV d) FFVVVVVV e) FVFVFFFF

PRINCIPIOS LGICOS Y EQUIVALENCIAS NOTABLES

A continuacin las leyes equivalentes.

A (B C) (A B) C A (B C) (A B) C A (B C) (A A (B C) (A A (B C) (A A (B C) (A ~(A B) ~A ~(A B) ~A A A A A A A A A (A B (~A B) B (A B) (B A) B (A B) (~A ~B) (A B) A (A B) A (~A B) A B (~A B) A B B ~B B) C ~A A (B C) B) (A C) B) (A C) B) (A C) B) (A C) ~B ~B

q (~p q) q (p q) (q p) q (p q) (~p ~q) (p q) p (p q) p (~p q) p q (~p q) p q

10. Transposicin 11. Exportacin

07. Luego de simplificar la frmula: a) ~ p q d) q p b) ~ p~ q e) ~ p~ q

04. Utilizando las equivalencias notables, reducir : ~ ~ (p q)~ (~ q ~ p) a) q p d) p q b) p q e) ~ p q

16. Si p * q p ~ q ; indique la proposicin equivalente a :

20. Qu frmula equivale a : ~ (p q) a) ~ p q c) ~ p q e) ~ p ~ q

15. Evale mediante tablas de verdad:

17. Seale la frmula equivalente a :

14. (~ x y) , al negar esta frmula se obtiene que a) x e y son V b) x es F e y es V c) x es V e y es F d) x o y no son F e) x e y son F

Indique qu pasos se han efectuado para obtener la conclusin : ~ s. Resolucin :

se deduce de la P1 y P2 mediante (M. P P . .) se obtiene al utilizar Simpl. en la P 4

05. "Robert acude al mdico o al Psiquiatra. Robert no acude al psiquiatra". Entonces :

Interruptor Cerrado Abierto

Lmpara Encendida Apagada

03. Dado el siguiente circuito:

09. Encontrar el equivalente del siguiente circuito lgico:

10. Seale la frmula simplificada del siguiente circuito lgico :

13. A qu formula representa el siguiente circuito lgico?

a) (p q) r [(~ p q) r] b) (~ p q) r [(~ p ~ q)] c) e)

c) p ~ q d) ~ p ~ q e) ~q p 11. La frmula del siguiente circuito lgico es :

14. Luego de simplificar el siguiente circuito seale su valor final

15. Seale la frmula final del siguiente diagrama :

12. La frmula del siguiente circuito lgico es :

a) [(p q) r] q b) [(q r) (p q)] q c) e)

p [(~ p q) (p q)] p [(~ p q) (p q)]

Das könnte Ihnen auch gefallen