Compendio de Letras - III -

Lgica

SISTEMA HELICOIDAL

243

Lgica

Compendio de Letras - III -

244

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica

ACTITUDES FRENTE A LA VERDAD

Clsicamente se ha definido la verdad como la adecuacin de la inteligencia con la realidad. En sentido ontolgico una cosa es verdadera por el simple hecho de existir. Desde un punto de vista lgico, la verdad slo se da en el juicio, es decir, en la relacin predicamental entre un sujeto y un predicado. Por ejemplo: Todo hielo es fro. (fro, predicado que le compete al sujeto hielo). Opinin La opinin es una afirmacin, la cual no necesariamente es verdadera sino una apreciacin personal. La opinin es un juicio, pero un juicio en que se tiene temor a equivocarse. Duda La duda se da cuando el hombre suspende su juicio porque tiene los mismos elementos para afirmar una cosa y los mismos elementos para negarla por lo que el sujeto no emite juicio alguno. Las dudas pueden ser parciales cuando se desconoce un tema de alguna materia o universales cuando se suspende el juicio sobre cualquier tema. Ignorancia Es el desconocimiento especfico sobre alguna materia o tema. Algunos la denominan el vaco del espritu. Certeza Se da cuando se afirma o niega algo sin temor alguno a equivocarse. La certeza es variable segn la materia de que se trate. Las certezas de tipo metafsico, cuyas conclusiones son absolutas porque surgen del conocimiento del ser, son necesarias. La certeza fsica est fundamentada en una ley natural y si sigue los procesos de la ciencia de un modo riguroso, no hay posibilidad de error. La certeza moral permite la actuacin sin temor de hacer el mal, ya que es obligacin de la persona hacer lo que le dicta la conciencia. Evidencia La evidencia es la consideracin de algo sin ninguna posibilidad de error. Hay muchos tipos de evidencia, por ejemplo, la evidencia quad nos que denota lo que es evidente para nosotros, que por lo general son las cosas relativas al mbito fsico, es decir, las cosas que podemos palpar, sentir ver, or. Otro tipo es la evidencia quad se, o sea la que es evidente por s misma. Error El error es la no conformacin de la mente con la realidad. Es un estado por accidentes de la mente en el hombre. Esto quiere decir que el hombre puede equivocarse; sin embargo, la verdad no est oculta para l por completo, sino que por naturaleza tiende a ella. La lgica, como cualquier otra ciencia, posee como objetivo la bsqueda de la verdad. Lo que es verdadero son los enunciados y la bsqueda de la verdad consiste en el empeo por separar los 245

SISTEMA HELICOIDAL

Lgica enunciados verdaderos de los restantes, los que son falsos. Las verdades son tan numerosas como las falsedades, puesto que cada verdad es susceptible de negacin, la cual ser falsa. Pero la actividad cientfica no es una acumulacin indiscriminada de verdades; la ciencia es selectiva y busca las verdades, que ms cuentan, bien sean por su valor intrnseco bien sea por su carcter de instrumentos para relacionarnos con el mundo. LGICA Es la ciencia que estudia la inferencia, estableciendo los principios y los mtodos para determinar su validez. PROPOSICIN Es el significado de una expresin aseverativa de la cual tiene sentido decirse que puede ser verdadera o falsa. Ejemplo: El atletismo es un deporte. Korea es un pas asitico. El microscopio es un instrumento de medida. El tango es propio del Per INFERENCIA Es un razonamiento en el cul de una o ms proposiciones llamadas premisas se logra obtener una nueva proposicin, llamada conclusin. Elementos Para que un razonamiento sea considerado inferencia debe tener los siguientes elementos: a. Premisas: Conjunto de proposiciones iniciales a partir de las cuales derivamos la conclusin. b. Conclusin: Es la proposicin obtenida a partir de las premisas. Ejemplo:

Compendio de Letras - III -

Tipos a. Inductivo: A partir de hechos particulares se llega a una conclusin de carcter general.

La conclusin es slo probable con respecto del conjunto de premisas.

b. Deductivo: Cuando a partir de premisas genricas con carcter de ley se obtiene como conclusin un hecho especfico. Ejemplo:

La conclusin se deriva lgica y necesariamente de las premisas.

c. Inmediatas: Son aquellas que tienen una sola premisa y su respectiva conclusin. d. Mediatas: Son los que constan de dos o ms premisas y una sola conclusin. Si la conclusin deriva solamente de dos premisas, la inferencia toma el nombre de silogismo.

246

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica La verdad no es lo mismo que afirmacin: la verdad se puede afirmar o negar. La falsedad no es lo mismo que la negacin, la falsedad se puede afirmar o negar. Clases de Verdad: a. Empricas Se toman y comprueban en la realidad; son juicios sintticos. Relativas: Producto de la suma, es decir, relacin de varias verdades particulares. Absolutas: Se definen como percepcin inmediata. b. Lgicas Se obtienen y comprueban slo racionalmente (son juicios analticos), pueden ser: Intrnsecas: Se acepta como verdad, no se discuten, tienen carcter axiomtico, es decir, verdades en s mismas. Derivadas: Producto de la relacin entre proposiciones, son razonamientos. VALIDEZ Es producto de un proceso racional caracterizado por la aplicacin de un conjunto determinado de reglas.

VERDAD a. La verdad es una cualidad de las proposiciones. Podemos decir que una proposicin es verdadera si lo que se dice coincide con la realidad. Ejemplos: Miguel Grau naci en Piura. El Sida es una enfermedad infecto contagiosa. El clima del Per es variado. Canad se halla al norte de Amrica. La Navidad se celebra el 24 de diciembre. b. En la validez interesa el contenido de las proposiciones (sean verdaderas o falsas) que integran la inferencia, sino que la estructura que tiene que cumplir con las reglas, mtodos y procedimientos de la lgica. Ejemplos:

LA VERDAD Es una categora que se define como correspondencia con la realidad. La verdad es producto de un proceso: reflejo de la realidad en el cerebro del hombre. Tarsky define la verdad para las ciencias formales: un enunciado es verdad; cuando se dice que es de tal manera determinada, siendo de tal manera determinada (repetir las cosas tal como son).

Si se respetan todas las reglas, el razonamiento es vlido; si se viola una de las reglas, se invalida. Todo enunciado es verdadero o falso. Todo razonamiento es vlido o invlido. La verdad o falsedad de las proposiciones que forman un razonamiento, no tiene nada que ver con la validez o invalidez del mismo.

SISTEMA HELICOIDAL

247

Lgica

Compendio de Letras - III -

1. Qu permite identificar a una deduccin? Sustentacin: La deduccin es un tipo de inferencia que se caracteriza por que la conclusin se deriva en forma necesaria de las premisas, se dice que la deduccin se distingue porque va de premisas universales a una conclusin particular, pero ese slo es uno de las cosas que pueden ocurrir, por ejemplo:

Sin importar la cantidad de premisas o el valor de verdad de las proposiciones la conclusin se deriva en forma necesaria. 2. Por qu en una induccin es importante la cantidad de premisas? Sustentacin:

1. En las inferencias ...............la conclusin es ............... A) inductivas - verdadera. B) mediatas - vlida. C) deductivas - necesaria. D) vlidas - verdadera. E) inmediatas - probable. 2. Una inferencia es invlida cuando: A) Las premisas son falsas. B) La conclusin no se deriva necesariamente. C) Tiene proposiciones falsas. D) Es una deduccin. E) Lo que dice no corresponde con la realidad. 3. Seala lo cierto para la Lgica. I. Su objeto de estudio es la inferencia II. Es una ciencia formal. III. Se divide en inducciones y deducciones. IV. El padre de la Lgica es Scrates. A) Slo I B) I y III C) II y IV 248 D) III y IV E) I y II

4. 5.

Una inferencia es vlida cuando: A) Slo hay dos premisas. B) Tenga ms de una premisa. C) La conclusin se deriva en forma necesaria. D) No tenga proposiciones falsas. E) Sea una induccin. Indica lo correcto para una Inferencia: A) Las premisas se derivan de la conclusin. B) Pueden ser invlidas o vlidas. C) La lgica estudia su valor de verdad. D) Se dividen en deducciones y silogismos. E) La conclusin en algn caso es una proposicin.

6. Considerados padre de la Lgica moderna y tradicional, respectivamente son: A) Aristteles - Frege. B) Wittgenstein - Russell. C) Platn - Peano. D) Frege - Aristteles.

PASCUAL SACO OLIVEROS

Compendio de Letras - III E) Leibniz - Wittgenstein.

Lgica E) A quien madruga Dios ayuda.

7. Indica lo que corresponde para las deducciones mediatas: I. Slo contienen dos proposiciones. II. Pueden ser silogismos. III. Siempre son vlidas. IV. Deben tener ms de una premisa. A) I y II B) II, III y IV C) II y III D) II y IV E) I, II y IV

10. U na norma, se hallara en la funcin del lenguaje: A) Informativa. B) Interrogativa. C) Expresiva. D) Dubitativa. E) Directiva.

8. Cul de los siguientes enunciados no es verdadero? A) La lgica es una ciencia abstracta. B) Las proposiciones son aseverativas. C) Algunas inferencias son inmediatas. D) El silogismo es una inferencia mediata y tienen slo tres premisas. E) A la lgica le interesa la funcin informativa del lenguaje.

11. Qu funcin del lenguaje cumple el siguiente enunciado te quiero mucho? A) Apelativa. B) Desiderativa. C) Pseudo proposicin. D) Informativa. E) Expresiva.

9. En cul de las siguientes expresiones encontramos una proposicin? A) Los libros empastados. B) El unicornio es un ser mitolgico. C) Qu hora es? D)

12. De: Todo matemtico es analtico y todo analtico es riguroso. Por lo tanto todo matemtico es riguroso. Qu podemos aseverar? A) Es un silogismo. B) Su conclusin se deriva necesariamente de sus premisas. C) No es una falacia.

1.

Una proposicin: A) Tiene valor de verdad. B) Puede contener un slo lenguaje. C) Es un enunciado aseverativo. D) Cumple la informacin informativa. E) Todas.

2. Determina la alternativa que no guarda la relacin: A) Pues C) Por ende E) Porque B) Adems D) Dado que

SISTEMA HELICOIDAL

249

Lgica 3. 4. En una proposicin simple: A) Nunca hay negaciones. B) Puede haber dos o ms mensajes. C) Slo se describe el predicado. D) Pueden haber dos o ms sujetos. E) A y D Ubica la proposicin simple relacional: A) Roberto observa a Joaqun. B) La qumica es una ciencia fctica. C) Vargas Llosa es escritor pero no poeta. D) Platn y Aristteles son filsofos. E) Sergio est al lado de Mara.

Compendio de Letras - III -

E) La cubeta tiene la capacidad de tres litros.

7. Identifica el tipo de proposicin: No viaja a Brasil debido a que no compr sus boletos a tiempo. A) Negativa compuesta. B) Condicional directa. C) Negativa simple. D) Condicional inversa. E) Bicondicional. 8. Identifica qu tipo de proposicin es: Es mentira que estudie francs. A) Conjuntiva. B) Negativa simple. C) Simple predicativa. D) Disyuncin dbil E) Condicional. 9. Seale una proposicin molecular: A) Carlos y Jos son contemporneos. B) Miguel es acusado de asesinato. C) Juan Noriega, el puo de acero, venci a Carlos, el Dragn. D) Mara descalific en el examen. E) Per es limtrofe con Chile.

5. Seala la proposicin negativa simple: A) Es mentira que los mamferos sean invertebrados. B) Jams Ana no estudiar conmigo. C) Toms estudia pero no trabaja. D) No es verdad que la matemtica sea racional. E) Jimena no comparte la vivienda con Rosario, adems tiene un gato. 6. Identifica una proposicin compuesta. A) En invierno nieva. B) Pericles fue un emperador. C) Pedro no tuvo un homenaje. D) El buen Pastor, Julio Spinoza, viaj a Chile

10. No apost tampoco bebi, es una proposicin: A) Conjuntiva. B) Negativa simple.

250

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica

TEORA DE LAS PROPOSICIONES

PROPOSICIONES Son oraciones aseverativas, es decir, se caracterizan por ser verdaderas o falsas y adems, cumplen una funcin informativa sealando acontecimientos, hechos que se dan en la realidad objetiva. CLASIFICACIN DE LAS PROPOSICIONES A. Proposiciones simples, atmicas o elementales Son proposiciones bsicas, es decir, carecen de enlaces lgicos o conjunciones gramaticales y tambin del adverbio de negacin: No. Esto hace que no se puedan dividir en enunciados ms simples. Tienen bsicamente un verbo. Pueden ser predicativas y relacionales. 1. Proposiciones simples predicativas (Sujeto + Verbo + Predicado). Son proposiciones que atribuyen una cualidad caracterstica del sujeto. Ejemplos: La Lgica es una ciencia sujeto + V + predicado Per es un pas sudamericano S + V + predicado En ambos ejemplos se atribuye una caracterstica del sujeto. 2. Proposiciones simples o relacionales Son proposiciones que establecen un nexo entre dos o ms sujetos. Este nexo no puede eliminarse, razn por la cual un sujeto depender del otro necesariamente. Las relaciones pueden ser por afinidad, ubicacin o grados. Ejemplos:

B. Proposiciones compuestas o moleculares Son proposiciones coligativas. Es decir, estn formadas por dos o ms proposiciones simples que se unen mediante enlaces o conectores lgicos (conjunciones gramaticales). Adems, el adverbio de negacin No, que afect a una proposicin simple, puede formar una frmula compuesta. Tienen ms de un verbo. Ejemplo:

Clasificacin de proposiciones compuestas a. Conjuntivas: Sus formas gramaticales son y, pero, tambin, sin embargo, adems, etc. Ejemplo: Pedro baila marinera y Carmen canta. b. Disyuncin inclusiva o dbil: Cuando es posible que sus miembros componentes sean aceptados a la vez. 251

SISTEMA HELICOIDAL

Lgica c. ................ o ............... y/o ............. Ejemplo: Scrates fue filsofo y poltico. Iremos de paseo o de campamento. Disyuncin exclusiva o fuerte: Cuando slo uno de sus miembros puede ser aceptado, el otro queda invlido. ............... o ...............; o bien ............... o bien ............... u ............... Ejemplo: Maritegui naci en Lima o en Moquegua. Toledo es presidente del pas o congresista. d. Bicondicional: Sus formas gramaticales son s y slo s, si solamente s, cundo y slo cuando, entonces y slo entonces. Ejemplo: Alfonso ingresar s y slo s estudia. e. Condicional: a. Condicional directo (p q) Cuando el antecedente es condicin necesaria para que se pueda dar el consecuente. La conclusin o consecuencia aparece despus de los siguientes trminos: Si p entonces q p por lo tanto q p conclusin q p luego q b. Condicional indirecto (q p) La posicin del antecedente se encuentra invertido al condicional directo. La conclusin se encuentra antes de las siguientes formas gramaticales. p si q p puesto que q p ya que q p porque q LA NEGACIN La negacin es un enlace lgico, su funcin no es la de unir proposiciones simples y, de esta ma252

Compendio de Letras - III -

nera formar las compuestas; pero s es un operador proposicional. Se clasifica en: 1. Negacin ligada: Cuando afecta a proposiciones simples utilizando generalmente la forma gramatical NO. Ejemplo: Pedro no es deportista. Vanessa no estudia computacin. 2. Negacin libre: Cuando afecta a proposiciones compuestas. En tal sentido, al simbolizarse, deber anteceder a signos de agrupacin. Sus formas gramaticales ms usuales son: es falso que, no es cierto que, no se da el caso que, no es posible que, etc. Ejemplo: No es cierto que vas al cine y al teatro. Es falso que viajas al extranjero si slo no tiene dinero. No se da el caso que sea profesional si no ingresaste a la Universidad. 3. Binegacin: Es la negacin conjuntiva, es decir, una conjuncin de negaciones. Su forma gramatical es representada por el trmino NI. Se simboliza como . FORMALIZACIN DE PROPOSICIONES La formalizacin de proposiciones, llamada tambin Simbolizacin de proposiciones, es el proceso por el cual se representa a las proposiciones y a sus enlaces lgicos mediante variables y operadores proposicionales generando una frmula lgica. Frmula lgica: Son las combinaciones bien formadas de variables y operadores proposicionales, es decir, son esquemas lgicos resultantes que reemplazan simblicamente a las proposiciones y a sus enlaces. Variables proposicionales: Son letras minsculas que representan a las proposiciones simples. (p; q;r; s; etc.) Operadores proposicionales : Se refiere a los enlaces lgicos que se hallan uniendo a las proposiciones simples.

PASCUAL SACO OLIVEROS

Compendio de Letras - III

Lgica

Son constantes lgicas (conjuncin, disyuncin, bicondicional, condicional, negacin). Los operadores proposicionales pueden ser didicos y mondicos. Es decir.

Ejemplo: Si Fanny llega a tiempo entonces no perder el vuelo y disfrutar sus vacaciones. Asignando variables proposicionales: p = Fanny llega a tiempo q = Fanny perder el vuelo r = Fanny disfrutar sus vacaciones Reemplazando: Si p entonces Simbolizando: Otro ejemplo:

Resumen:

SISTEMA HELICOIDAL

253

Lgica

Compendio de Letras - III -

254

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica

1. Por qu formalizamos el lenguaje natural? Sustentacin: La lgica, en tanto ciencia formal, calcula la validez de las inferencias. Para esto necesita un sistema de signos que sea universal, exacto y ms operativo. El lenguaje natural no tiene estas caractersticas, en primer lugar, es particular, se circunscribe a ciertos grupos humanos (idiomas); es impreciso porque el significado de sus enunciados depende del contexto y emplearlo

para el clculo lgico hara sumamente tediosa las operaciones. Es por esto que el lenguaje natural se reemplaza por uno formal en el proceso de la simbolizacin. 2. Por qu decimos que el lenguaje lgico carece de contenido fctico? Sustentacin:

1. Simboliza: La materia no se crea ni se destruye. Entonces slo se transforma. Luego el universo siempre ha existido. A) B) C) D) E)

tomismo. Picino tambin. Adems Pico fue maestro de la academia de Florencia. A) C) E) B) D)

5. Simboliza: Miguel Grau, El Caballero de los Mares, mantuvo en jaque a la flota chilena en su primer momento de la Guerra. A) D) B) E) C)

2. Formalizar: Para Epicuro la filosofa es intil si no cicatriza las enfermedades del alma. A) C) E) B) D)

6. Cuantas variables se emplean al simbolizar Per. Pas limtrofe con Chile y Ecuador, explota tambin su riqueza turstica. A) 1 B) 2 C) 3 D) 4 E) 5

3. Simboliza: Giordano Bruno fue denunciado por la Inquisicin y muerto en la hoguera en 1600. Puesto que era un copernicano convencido. A) C) E) B) D)

7. Con cuntas variables se simboliza: La lgica que es una ciencia formal, estudia las inferencias, para determinar su validez. A) 1 B) 2 C) 3 D) 4 E) 5

4. Formaliza: Pico es representante del neopla-

SISTEMA HELICOIDAL

8. Simboliza: El tiempo que tomamos en llegar 255 es inversamente proporcional al tiempo que

Lgica tardamos en regresar. A) D) B) E) C)

Compendio de Letras - III Cervantes Saavedra. A) 1 B) 2 C) 4

D) 5

E) 6

9. Simboliza: Nietzche fue un filsofo alemn del siglo XIX, que desarroll una corriente filosfica irracionalista. A) D) B) E) ~p C)

10. Cuntas variables se emplean para simbolizar Don Quijote, el Caballero de la triste figura, es un personaje literario creado por Miguel de

1. Simboliza: Nietzche anunci la muerte de Dios y el surgimiento de la idea del superhombre.. A) p B) p q C) p q D) p ~ q 2. Simboliza: Per y Ecuador son pases limtrofes, no obstante mantienen problemas territoriales. A) p q B) p C) E) D)

4. Simboliza: La Lgica emplea la experiencia si es una ciencia fctica, pero no lo es; de manera que no ocurre lo primero. A) B) C) D) E)

3. En verano ingreso, cuando y slo cuando repase constantemente, asmimismo no flojee. A) B) C) D) E) 256

5. Simboliza: Es imposible ser materialista y a la vez creyente. Por tanto somos o lo uno o lo otro. A) B) C) D) E)

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica slo si distingue filosofa y teologa del mismo modo. A) C) E) D) B)

6. Simboliza: Hegel es dialctico pues acepta la lucha de contrarios, sin embargo es idealista; por tanto resulta reaccionario. A) B) C) D) E) C y D

10. Ubica la frmula equivalente para:

7. Simboliza: Puesto que son idealistas, Platn y Aristteles suponen que algo extramaterial determina la realidad. A) C) E) B) D)

A) B) C) D) E)

8. Formaliza: Jams vamos a confiar en Ral ya que es deshonesto. A) C) E) B) D)

9. Simboliza: Descartes no es escolstico. Si y

SISTEMA HELICOIDAL

257

Lgica

Compendio de Letras - III -

VERDAD LGICA
Es una verdad que depende de la combinacin de sus propios elementos. Es por ello una verdad funcional. Es una verdad que surge de la estructura, es decir de la combinacin de variables y constantes. As por ejemplo: sea El valor de verdad que asume A depende de (est en funcin de) los valores que pueda asumir p (V o F), los valores que pueda asumir q (V o F) y del tipo de conexin que se establece entre variables y constantes (en ese caso: conjuncin). TABLAS DE VERDAD La lgica ha establecido reglas para determinar el valor de verdad de las estructuras lgicas, empezando por las estructuras ms simples. Estas reglas de clculo del valor de verdad se llaman Tablas de Verdad. Para realizar ste mtodo se utiliza un cuadro de doble entrada en el cual se especifican cuatro reas. 3. CS: Zona donde se coloca la frmula o esquema molecular. 4. CI: Zona donde se coloca los valores veritativos que van a asumir las constantes lgicas. En esta zona se ubica la matriz principal o resultado final del esquema molecular. FUNCIONES VERITATIVAS Y SUS TABLAS DE VERDAD a. Conjuncin Ejemplo: Jaime es puneo y bailarn.

Regla Una proposicin conjuntiva es verdadera si sus proposiciones componentes son verdaderas, en otros casos ser falsa. Ejemplo: Pedro es ambulante o cantante.

b. Disyuncin Inclusiva

1. MS: Zona donde se coloca las variables proposicionales. 2. MI: Zona donde se coloca las combinaciones de verdad y/o falsedad que van a asumir las variables. 258

Regla Una proposicin disyuntiva inclusiva es falsa si sus proposi-

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica falsa slo si su antecedente es verdadero y si su consecuente es falso. f. NEGACIN Ejemplo: Es imposible que Celia Cruz sea rockera.

ciones componentes son falsas, en otros casos ser verdadera. c. DISYUNCIN EXCLUSIVA Ejemplo: O Silvio Rodrguez es cubano o peruano.

Regla Una proposicin disyuntiva exclusiva es falsa slo si sus proposiciones componentes tienen igual valor verititativo (verdadero o falso), caso contrario es verdadero. d. BICONDICIONAL Ejemplo: Aumentan los salarios si slo si hay crisis social.

Regla Una proposicin bicondicional es verdadera slo si sus proposiciones componentes tienen igual valor veritativo (verdad o falso), caso contrario ser falsa. e. CONDICIONAL Ejemplo: Si cantamos en la noche entonces despertaremos al vecindario.

Regla Una proposicin condicional es

Regla Si una proposicin es verdadera, su negacin es falsa y si una proposicin es falsa, su negacin es verdadera. EVALUACIN DE ESQUEMAS MOLECULARES POR TABLAS DE VERDAD 1. Esquema Molecular: Estructura lgica que resulta de combinar el sistema de smbolos de la lgica proposicional, luego de la formalizacin del lenguaje natural. Dichos sistemas de smbolos estn constituidos por las variables, constantes y signos de agrupacin. Ejemplo: B es un esquema molecular conjuntivo 2. Frmula Bien Formada (FBF): Es el esquema en el cual las variables, constantes y signos de agrupacin cumplen con su respectiva funcin, sin presentar ambigedad. Puede ser simple o compuesta. Ejemplo (1): C es un esquema molecular condicional Ejemplo (2): P P y cualquier variable proposicional siempre es una frmula bien formada. 3. Frmula Mal Formada (FMF): Es aquel esquema que no se cie a las reglas de formalizacin y adems presenta ambigedad. 259

SISTEMA HELICOIDAL

Lgica Ejemplo: Es una FMF por la falta de un conectivo didico. 4. Jerarqua en el Esquema Molecular: Dentro de la estructura de un esquema molecular, slo una de las constantes es la de mayor jerarqua, permitiendo su denominacin:

Compendio de Letras - III -

Como existen 2 variables, aplicando la frmula tenemos 22 = 4 (nmero de combinaciones).

En el esquema A la jerarqua es la siguiente:

C uando todos los valores de la matriz principal son verdaderos el esquema es tautolgico o lgicamente vlido. b. Evaluar

5. Evaluacin de Esquemas moleculares: Consiste en obtener el valor o valores de la constante de mayor jerarqua a partir de los valores de verdad o falsedad de cada una de las variables proposicionales. Pasos: 1. Determinar el nmero de combinaciones veritativas en funcin al nmero de variables proposicionales. 2. Establecer la jerarqua de constantes. 3. Comenzar la evaluacin por la constante de menor jerarqua. 4. El resultado final est determinado por los valores de verdad de la constante principal.

C uando todos los valores de la matriz principal son falsas el esquema es contradictorio o tambin llamado inconsistente o incontingente. c. Evaluar

Para determinar el nmero de combinaciones, se debe aplicar la frmula 2n donde n=nmero de variables.

6. Casos 260 a.

Cuando la matriz principal del esquema

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica

tiene valores verdaderos y falsos, el esquema se clasifica como consistente o contingente.

MTODO ABREVIADO 1. Para saber si un esquema es tautolgico se debe partir del caso hipottico que la matriz principal de esquema admite valores falsos (F) para ello se coloca en la constante lgica de mayor jerarqua de dichas constantes lgicas. 2. Se asigna su respectivo valor veritativo a cada uno de las constantes lgicos y variables proposicionales de acuerdo a las funciones veritativas y considerando la jerarqua de dichas consonantes lgicas. 3. Si una de las variables proposicionales presenta valores verdaderos y falsos a la vez, es decir, revela contradiccin, entonces, la matriz principal no acepta valores falsos, por lo tanto es un esquema tautolgico. Ejemplo:

SISTEMA HELICOIDAL

261

Lgica

Compendio de Letras - III -

MTODO ABREVIADO PASO A PASO

PRIMER PASO

SEGUNDO PASO

262

PASCUAL SACO OLIVEROS

Compendio de Letras - III CUARTO PASO

Lgica

1. Qu son funciones veritativas? Sustentacin: Son los valores de verdad que se calculan en las frmulas bien formadas. Para este clculo tomamos en cuenta la posibilidad de la variable (verdad o falsedad) y adems el tipo de constante lgica (conjuncin, condicional, etc.) que vincula las variantes y se llaman funciones

porque estos valores de verdad ya no dependen de la correspondencia con la realidad sino de las situaciones antes mencionadas. 2. Qu diferencia una frmula tautolgica de una contradictoria? Sustentacin:

1. Evaluar el siguiente esquema: A) Consistente C) Contradictorio E) Tautolgico B) Falso D) Verdadero

A) VFVF D) FFFV

B) FVVV E) FVFV

C) VVFF

4. Sabiendo que es falso, determinar el valor del esquema siguiente:

2. Hallar la matriz del siguiente esquema: A) VVFV D) FFVV B) VVVF E) VFVF C) FVFF

A) Contingente C) Tautolgico E) Contradictorio

B) Falso D) Verdadero

5. Sabiendo que obtiene en la matriz de:

, determina qu se 263

SISTEMA HELICOIDAL 3. Hallar la matriz de:

Lgica A) VFFV D) FFVV B) FVVF E) FVFF C) VVFF

Compendio de Letras - III C) Tautolgico E) Consistente D) Falso

6. Sabiendo que la proposicin: Mara estudia tanto como trabaja es verdadera. Cul de las siguientes proposiciones es falsa? A) Trabaja de manera que estudia. B) Estudia o trabaja. C) Trabaja si y slo si estudia. D) Estudia pues trabaja. E) O trabaja o estudia. 7. En la matriz principal del esquema encontramos: A) B) C) D) E) Al menos una falsedad. Slo verdades. Slo falsedades. Slo una verdad. Verdades y falsedades.

9. Determinar cmo es el esquema: A) Tautolgico C) Contradictorio E) Contingente B) Falso D) Verdadero

10. Si la frmula es falsa, qu valor asumen sus variables respectivamente? A) VFV D) FVV B) VVV E) FFV C) FVF

8. Indicar qu tipo de esquema es el siguiente: A) Contradictorio B) Verdadero

1. Qu valores encontramos en la matriz principal 2. de A) VVVF D) FFFF ? B) VVFF E) VVVV C) VFFF

adopa el esquema:

. El esquema molecular se clasifica como: A) Verdadero B) Tautolgico C) Falso D) Contradictorio E) Contingente

A) Tautolgico C) Consistente E) Contradictorio

B) Falso D) Verdadera

4. El esquema es A) T B) 5. Si:

C) Q

D) V

E) F

3. Sabiendo que: p : F y q : F indicar el valor que 264

PASCUAL SACO OLIVEROS

es verdadero, qu

Compendio de Letras - III -

Lgica

valor tiene la variable q? A) T B) V C) D) F

E) Q

qu valor asumen los siguientes esquemas? I. II. A) FF B) FV C) VF D) QQ E) VV

6. Si la frmula es falsa indicar el valor de las variables: A) FFF B) VFV D) VVF E) VVV C) FFV

7. Si p y q tienen valores iguales, cmo son los valores de r y s sabiendo que el esquema es falso? A) FF D) VV B) VF E) FV C) Valores distintos

9. Si la frmula siguiente es falsa indica e valor de las variables respectivamente: A) FVF D) FFV B) VFF E) VVF C) VVV

8. Sabiendo que el esquema es verdadero:

SISTEMA HELICOIDAL

265

Lgica

Compendio de Letras - III -

EQUIVALENCIAS NOTABLES
1. Ley de la doble negacin (involucin): 2. La idempotencia Las variables redundantes en una cadena de conjunciones o en una cadena de disyunciones se eliminan. 6. 7. Leyes de Morgan a) b) Las Leyes del Condicional a) b)

8. Las Leyes del Bicondicional a) b) 9. Leyes de la absorcin a) b) c) d) 10.Leyes de transposicin a) b) 11. Elementos neutros para la conjuncin y la disyuncin Si: V verdadero (tautologa) y F falso (contradiccin). a) neutro de la conjuncin. b) de la disyuncin.

3. Ley conmutativa La conjuncin, la disyuncin y la bicondicional de dos proposiciones es conmutativa.

4. Leyes asociativas a) b) c)

5. Leyes distributivas a) b) c) d) 266

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica

IMPLICANCIAS NOTABLES
Relacin lgica que se obtiene de combinar una frmula A (como antecedente) y una frmula B (consecuente), a travs de una condicional. Slo ser implicacin lgica si la matriz es tautolgica. Sea: A implica a B si la matriz es tautolgica.

En cambio:

I.

MODUS PONENDO PONENS (MPP) Modo: afirmar afirmando condicional

SISTEMA HELICOIDAL

267

Lgica II. MODUS TOLLENDO TOLLENS (MTT) III. SILOGISMO DISYUNTIVO (SD) Modo negar negando

Compendio de Letras - III -

condicional

Ral postula a la San Marcos o a la Villarreal. No postula a la San Marcos. Luego postula a la Villarreal.

IV. SIMPLIFICACIN (Simp)

Salgo y me divierto. De ah que me divierto. V. ADICIN (Ad)

268

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica

VI. SILOGISMO HIPOTTICO PURO (SHP)

Ejemplo:

VII. TRANSITIVIDAD SIMTRICA (TS)

Ejemplo:

VIII. DILEMA CONSTRUCTIVO COMPUESTO (DCC)

Ejemplo:

SISTEMA HELICOIDAL

269

Lgica

Compendio de Letras - III -

Si viaja a Arequipa conoce Yanahuara. Si viaja a Huaraz conoce Yungay. Viaja a Arequipa o viaja a p q q s r s p r Huaraz. De ah que conoce Yanahuara o Yungay.

IX. DILEMA DESTRUCTIVO COMPUESTO (DDC)

Ejemplo: Estornude si est resfriado, tose si est mal de los bronquios; pero no estornuda o no tose. Luego p q r s ~s no est resfriado o no est mal de los bronquios.

a. Falacia de afirmacin del consecuente (atenta contra el MPP) Si riegas la planta, florece. Floreci. De ah que regaste la planta. p q q p

b. Falacia de negacin del antecedente (atenta contra el MTT) Si es domingo, me quedo en casa. Pero no es domingo. Luego no me quedo en casa. q)

c. Falacia de la afirmacin de una proposicin condicional con el consecuente de la segunda premisa 270 PASCUAL SACO OLIVEROS y el antecedente de la primera (viola la regla del SHP) Si trabajas, ganas dinero, si ganas dinero podrs ir de compras. De ah que si vas de compras, tra-

Compendio de Letras - III bajas. (p q)

Lgica

(q

r)

(r

p)

d. Falacia de afirmacin de uno de los elmentos de la proposicin disyuntiva (atenta contra el silogismo disyuntivo) Trabajas o estudias, pero estudias. De ah que no trabajas. q)

e. Falacia de la afirmacin de la disyuncin de los consecuentes de dos proposiciones condicionales en la tercera premisa y la afirmacin de la disyuncin de los antecedentes de las mismas en la conclusin (viola la regla del DCC) Si es gato, maulla, y si es perro, ladra. Maulla o ladra. Por lo tanto es gato o perro. (p q) (r s) (q s) (p r)

f. Falacia de la disyuncin de la negacin de los antecedentes de dos proposiciones condicionales en la tercera premisa y la disyuncin de la negacin de los consecuentes de las mismas en la conclusin (atenta contra la regla del DDC) Si duermes, descansas. Si trabajas, te agotas. No duermes o no trabajas. De ah que no descansas o no te agotas. (p q) (r s)

SISTEMA HELICOIDAL

271

Lgica

Compendio de Letras - III -

g. Falacia de la negacin de uno de los elementos de la proposicin conjuntiva (viola la regla de la inferencia denominada simplificacin) No eres matemtico y eres abogado. De ah que no eres abogado. q

h. Falacia de la disyuncin de la negacin de la premisa con cualquier otra proposicin (atenta contra la regla de inferencia llamada adicin) Eres psiclogo. Luego no eres psiclogo o eres psiquiatra. p q)

1. Cundo una frmula implica a otras? Sustentacin: La implicacin hace referencia a una inferencia vlida, es decir, partimos de una(s) premisa(s) y se deriva en forma necesaria la conclusin. Esto se prueba de modo formal cuando comparamos los esquemas por medio de una condicional, la premisa es el antecedente y la conclusin el consecuente. Si la frmula resultante es tautolgica decimos que una implica a la otra. 272

2. Por qu dos frmulas pueden ser equivalentes? Sustentacin:

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica

1. Simplifica: A) C) E) B) D)

no llueve. A) Llueve B) No llueve C) No hace fro D) Hace fro y no llueve E) Hay truenos

2. Simplifica: A) C) E) B) D)

8. Halle un equivalente de la siguiente proposicin: Es falso que siendo innatista sea empirista, sin embargo, no es empirista. A) Es empirista B) Es innatista C) No es racionalista D) No es innatista E) A y D C) 9. No es existencialista o es irracionalista, pero es nihilista puesto que es existencialista; sin embargo, no es existencialista. Halle una proposicin equivalente a la anterior. A) Es existencialista B) No es nihilista C) Es nihilista D) No es existencialista E) No es irracionalista 10. Simplifica:

3. Simplifica: A) D) B) E)

4. Simplifica: A) D) B) E) C)

5. Seala la frmula que no es equivalente a:

A) C) E)

B) D)

A) ~q C) E)

B) D)

6. Seale un enunciado equivalente a: Gana o pierda, pero no pierde. Luego: A) Pierde B) Gana C) No gana D) No pierde E) Pierde y gana 7. Ubique una proposicin equivalente a: Es falso que llueva y no haga fro. Sin embargo,

SISTEMA HELICOIDAL

273

Lgica

Compendio de Letras - III -

1. Seale la conclusin: Si las lluvias continan no podremos ir de paseo. Ocurre que s vamos de paseo luego. A) Las lluvias continan. B) Las lluvias no continan. C) Vamos de paseo an cuando las lluvias continan. D) O vamos de paseo o no salimos. E) Ni vamos de paseo ni salimos.

A) B) C) D) E)

Es mentira que haya sido asesinado. No es cierto que fue griego. Fue griego. Scrates no existi. Fue perseguido o asesinado.

5. Determine la conclusin a partir de las siguientes premisas: I. II. III. A) B) p E) C) r D) ~p

2. Indique la implicacin notable que se establece en sl siguiente ejemplo: Su Rusell fue neopositivista, conform el Crculo de Viena, y si conform el Crculo de Viena confiaba en las ciencias, luego, si Rusell fue neopositivista confiaba en las ciencias. A) Modus ponendo ponens B) Silogismo disyuntivo C) Simplificacin D) Silogismo hiptetico puro E) Modus tollendo tollens

3. La expresin:

corresponde a la ley: A) Del silogismo hipottico puro. B) Del Modus ponendo ponens. C) Del dilema constructivo compuesto. D) Del dilema destructivo compuesto. E) De la adicin.

6. Si: P1 Si es domingo y el establecimiento est abierto, podr adquirir el producto. P2 Si hay partidos de ftbol, significa que es domingo. P3 El panadero ha pasado, entonces el establecimiento est abierto. P4 Hay partidos de ftbol y el panadero ha pasado. Por lo tanto: A) No es domingo pues el panadero no ha pasado. B) No podr adquirir el producto. C) No existe el producto que busca. D) No hay partidos de ftbol ya que los estadios estn cerrados. E) Podr adquirir el producto. 7. Est lloviendo, sin embargo, no porque llueve

4. Scrates fue asesinado, luego .......... 274

PASCUAL SACO OLIVEROS

Compendio de Letras - III -

Lgica 9. Si la invitacin llega a tiempo no se realiza el examen, asistir a la reunin y podr encontrarse con sus compaeros de promocin. Se sabe que no asisti a la reunin. Por lo tanto... A) Se encontr con sus compaeros de promocin. B) La invitacin lleg a tiempo. C) Se realiz el examan. D) Asisti a la reunin pues la invitacin lleg a tiempo. E) No se realiz el examen. 10. Seale la frmula equivalente de: A) ~p D) B) p E) C)

estamos en invierno. De ah que...: A) Si estamos en invierno, necesitas tu abrigo. B) No estamos en invierno tampoco llueve. C) No est lloviendo. D) Cuando llueve el invierno se incrementa. E) Estamos en invierno.

8. Si Ral no aborda el autobs a las 8a.m., entonces no podr conseguir un asiento disponible ya que lleg a destiempo. Es falso que haya abordado el autobs a las 8a.m. o llegado a tiempo. En consecuencia: A) Abord el autobs. B) Lleg a tiempo. C) No habr movilidad. D) Lleg a tiempo porque se levant temprano. E) No consigui un asiento disponible.

SISTEMA HELICOIDAL

275

Lgica

Compendio de Letras - III -

Curiosidades
Un barmetro es un aparato para medir la presin atmosfrica. Bsicamente consiste en un tubo en forma de U, parcialmente lleno con un lquido (normalmente mercurio), abierto por un extremo y cerrado por el otro, con el vaco en este ltimo extremo. A mayor presin atmosfrica, mayor presin habr en el lquido en el extremo abierto y este empuje har que el lquido baje en ese lado y suba en el extremo cerrado. Esto sirve tambin para predecir el tiempo, ya que bajas presiones indican mal tiempo (borrasca) y altas presiones indican buen tiempo (anticicln). El aire fluye de las regiones de altas presiones (anticiclones) a las regiones de bajas presiones (borrascas), en un camino curvo sobre la superficie de la Tierra debido a la rotacin de la Tierra. Por ejemplo, si en el Norte hay un anticicln y en el Sur una borrasca, el aire ir del Norte al Sur y en su camino, como la Tierra gira hacia el Este y con ella gira tambin la borrasca, el aire ir cada vez ms en direccin Este, girando en el sentido contrario a las agujas del reloj. Si el aire circulara del Sur al Norte el sentido de giro sera el de las agujas del reloj, siendo este propio del hemisferio Sur y el otro del hemisferio Norte. Estas desviaciones se deben a la rotacin de la Tierra y no a ninguna fuerza especial. Sin embargo, a veces este efecto se dice que se debe a la fuerza de Coriolis, por el cientfico francs Gaspard de Coriolis (1792-1843). El Cloro es uno de los elementos qumicos ms antiecolgicos: Es un veneno mortfero si es arrojado al mar o a los ros. Basta ver las inmediaciones de algunas fbricas papeleras que utilizan cloro para blanquear el papel. Adems, una sla molcula de cloro lanzada a la atmsfera destruye hasta 10.000 molculas 276 de ozono, el gas que nos protege de las radiaciones negativas del Sol. El transistor (base de los procesadores actuales) fue inventado por John Bardeen y William Brattain el de contactos puntuales o de puntas en 1948 y por William Shockley (1910-1989) el de unin en 1951. Los tres fueron galardonados con el Nobel de fsica en 1956. La marea alta se repite cada 12 horas y 25 minutos, en cualquier punto del planeta. Ese tiempo es la mitad del que emplea la Luna para regresar aproximadamente a la misma posicin (en dar una vuelta a la Tierra). Esto se debe a que la Luna ejerce una fuerza de atraccin sobre el agua de los ocanos que estn en el lado que est la Luna, alejndo este agua de la Tierra, pero tambin ejerce una fuerza sobre la Tierra alejndola del agua del lado opuesto. As pues, las dos mareas se producen en los lados diametralmente opuestos y en linea con la posicin de la Luna. En realidad no es exactamente en lnea con la Luna, ya que el agua se mueve lentamente siguiendo la velocidad de la Luna pero con retraso. Como efecto secundario esto hace que la rotacin de la tierra se vea frenada con lo que los das se hacen cada vez ms largos (unas 2 milsimas por siglo) y adems la Luna es acelerada y en consecuencia se aleja de la Tierra (unos 3 cm. por ao). El Sol tambin produce mareas pero son aproximadamente un tercio ms pequeas que las producidas por la Luna. As, durante la Luna Nueva y la Luna Llena (2 veces al mes) estas fuerzas se alinean obteniendo mareas ms grandes de lo normal (mareas vivas o de sicigia). Durante los cuartos lunares, Cuarto Creciente y Menguante (tambin 2 veces al mes), las dos fuerzas se descompensan obteniendo mareas ms pequeas de lo habitual (mareas muertas o de cuadratura).

PASCUAL SACO OLIVEROS