1 CUARTO MEDIO FILOSOFA COMN: LGICA PROPOSICIONAL

UNIDAD I: EL LENGUAJE DE LA LGICA 1.1. Consideraciones Generales La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticas para demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en investigaciones. En la computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por ejemplo: para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos a los ya existentes o simplemente utilizacin de los mismos. Por lo tanto, la lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad. 1.2. LGICA TRADICIONAL Y LGICA SIMBLICA Aristteles, que es considerado el pionero en el estudio de la Lgica y su creador en su forma clsica, la consideraba como el arte de la argumentacin correcta y verdadera. A los libros que trataban los temas de lgica los titul "Organon", que significa "instrumento". Estos se centran en el estudio del silogismo, un conjunto de tres presupuestos o juicios que tienen entre s la siguiente relacin: el tercero se deriva - se deduce o concluye- de los dos primeros. A los dos primeros les llamamos "premisas" y al ltimo le llamamos "conclusin". Un ejemplo clsico de silogismo es: "Todos los hombres son mortales; Scrates es un hombre; por lo tanto, Scrates es mortal". Siguiendo la definicin clsica de lgica, podemos decir que se trata de "la ciencia o el estudio que trata sobre los razonamientos correctos". Durante muchos siglos se desarroll tambin un importante desarrollo sobre los razonamientos incorrectos o falacias, emitidos muchas veces con el nimo de confundir el razonamiento o el debate con otros interlocutores. Hoy en da, y gracias a los trabajos de un gran nmero de matemticos y filsofos, entre los que podemos destacar a George Boole (1815-1864), G. Peano (1858-1932), George Cantor (1845-1918), Gottlob Frege (1848-1925) y Bertrand Russell (1872-1970), se ha desarrollado la lgica simblica o lgica formal, que se caracteriza por el uso de un lenguaje formal, simblico, como el que se usa en las matemticas, as como unas reglas estrictas de transformacin entre distintas proposiciones. Por lo tanto, las relaciones entre la lgica simblica y la tradicional divide a los autores en diversas posturas, desde considerar que la nica lgica verdadera es la tradicional, y que la simblica no es ms que un mero rebuscamiento, hasta pensar que las enseanzas de la lgica tradicional son falsas. Lo ms sensato sera considerar que la relacin que hay que establecer no es la de oposicin, sino la de evolucin. 1.3. LOS SIGNOS, EL LENGUAJE Y EL LENGUAJE NATURAL 1.3.1. LOS SIGNOS. Los signos pueden definirse como todo aquello que representa o evoca una cosa en algn aspecto para alguien. Las seales de trfico, las palabras, la danza de las abejas, el humo, las representaciones de las figuras geomtricas, las notas musicales, etc., son signos. Para que algo sea considerado signo, es necesario que tenga significado y que exista un organismo receptor (intrprete), para el cual el signo sea signo. Por la relacin que mantienen con su significado, los signos se pueden clasificar en: 1. IMGENES: Mantienen con su significado una relacin de semejanza. Por ejemplo, algunas seales de trfico o las pinturas del realismo, son imgenes de aquello que representan. 2. SMBOLOS: Son signos que mantienen con su significado una relacin puramente arbitraria. Las palabras, los nmeros o los signos de la lgica formal son smbolos.

1.3.2. EL LENGUAJE.

2
Existen varias teoras que tratan de explicar cmo adquirimos esa capacidad: 1) La teora conductista: En el rea lingstica, Skinner comprob que los nios adquieren la lengua por medio de un proceso que adapta sus estmulos los cuales provienen de la repeticin y correccin de los adultos. 2) La teora innatista: Esta teora fue expuesta por Noam Chomsky, la cual propone que las personas poseemos un dispositivo de adquisicin del lenguaje, el cual el cerebro programa para poder analizar el momento comunicativo que se escucha y descifrar las reglas. 3) La teora cognitiva: Esta teora fue impulsada por el psiclogo Jean Piaget, quien sostiene que en medida que desarrollemos nuestra inteligencia podremos desarrollar el lenguaje. 4) La teora interaccionista: La escuela formalista, liderada por Noam Chomsky, asegura que en nuestro cerebro hay una especie de plantilla innata para la estructura del lenguaje que hemos heredado de alguna manera. Los formalistas creen en la influencia de la capacidad simblica en la estructura de la lengua. Sin embargo, no aportan ninguna pista sobre cmo lleg esta capacidad a nuestra cabeza. Los nios simplemente son enseados a hablar por sus padres, colegio y otras personas en su comunidad lingstica. Todava sigue siendo un misterio, en parte, el proceso de adquisicin de lenguaje. Nuestro conocimiento lingstico es inconsciente y corresponde a: Sintaxis: parte de la gramtica que ensea a coordinar las palabras y construir con ellas oraciones. Semntica: estudio del significado de los signos lingsticos, esto es, palabras, expresiones y oraciones. La finalidad de la semntica es establecer el significado de los signos, de lo que significan dentro del proceso que asigna tales significados. Fonologa: es la rama de la lingstica que estudia los sistemas fnicos de las lenguas (sonidos), frente a la articulacin fsica del lenguaje. En definitiva, es un sistema que usa seales fsicas (sonidos, gestos, marca en un papel) para expresar un significado y ensear un concepto u objeto. En forma natural, el ser humano representa el conocimiento simblicamente: imgenes, lenguaje hablado y lenguaje escrito. El lenguaje puede emplearse de distintas formas: para pedir algo o para describir algo que hemos visto o simplemente para expresar una sensacin, como cuando gritamos al quemarnos. La lgica es un uso especial del lenguaje que est relacionado con el sentido y la exactitud de lo que decimos. Es un fenmeno social basado en la capacidad que poseen algunas especies animales de comunicarse mediante smbolos. Esta capacidad se encuentra especialmente desarrollada en el hombre, pues, aunque las abejas posean tambin un simbolismo universal muy complejo que les permite referirse a objetos y acontecimientos muy diversos. El lenguaje humano puede ser de forma an ms compleja y abstracta. 1.3.3. EL LENGUAJE NATURAL. Es la lengua utilizada por una comunidad lingstica. Es un lenguaje que aprendemos y que utilizamos para nombrar objetos, hacer preguntas, expresar emociones, describir acontecimientos, etc. El ruso, el cataln, el ingls o el castellano son ejemplos de lenguajes naturales. En los animales este lenguaje es innato. Este lenguaje natural consta de finitos smbolos (palabras o signos lingsticos) y de determinadas reglas (gramtica) para la construccin de oraciones, que permiten a su vez, la construccin de infinitas e ilimitadas realizaciones expresivas (por ejemplo el conector "y"). Por lo tanto, construyendo oraciones, podemos enunciar hechos, describir fenmenos, expresar estados de nimo, dudas, etc., por lo tanto, las posibilidades expresivas son prcticamente ilimitadas. Es importante aclarar, que las expresiones lenguaje cotidiano, lenguaje histrico o lenguaje ordinario se emplean, en ocasiones, como sinnimos de lenguaje natural. 1.4. ORACIN. Una oracin es una expresin lingstica gramaticalmente correcta y que posee sentido completo. Desde el punto de su significado, las oraciones se clasifican en: enunciativas, derivativas, dubitativas, exhortativas, interrogativas y exclamativas. Cada una de ellas puede, adems, afirmar o negar la conformidad objetiva del sujeto con el predicado. Enunciativas: Las oraciones enunciativas son con las que se comunica algo. Pueden ser afirmativas o negativas. Derivativas: aquellas oraciones en las que el hablante da una orden, un mandato. Dubitativas: En ellas el hablante expresa una duda. Interrogativas: Con una oracin interrogativa, el hablante hace una pregunta. Exclamativas: Son aquellas oraciones que expresan una emocin. A la pregunta, Una oracin es verdadera o falsa?, slo se debe sealar que podemos atribuir valor de verdad al contenido que expresan las oraciones enunciativas. Por ejemplo, el cobre es un mineral es una oracin enunciativa que expresa un contenido verdadero. El contenido de la oracin llueve, ser verdadero o falso, en funcin del momento en que se exprese. Por el contrario, las rdenes, los deseos, las exclamaciones o las preguntas, por ejemplo, no tienen valor de verdad y carece de sentido preguntarse si son verdaderos o falsos.

3
1.5. ENUNCIADO Un enunciado es un segmento lingstico que tiene sentido completo, se trata de una oracin enunciativa, y que es susceptible de ser verdadero o falso. Ahora, toda oracin es una expresin, pero no al revs. Asimismo, todo enunciado es una oracin, pero no al revs. Ahora bien el lenguaje natural resulta poco apropiado para las construcciones tericas de la Ciencia o para la expresin de razonamientos complejos, necesitados de una exactitud que el lenguaje ordinario no posee. Las insuficiencias ms comunes son: 1. Imprecisiones Semnticas: En los lenguajes naturales no se da una correspondencia biunvoca entre signos y objetos representados: - Hay palabras insuficientemente definidas (trminos vagos), como por ejemplo: rpido, difcil, agradable, , que impiden el exacto entendimiento del mensaje. - Hay palabras que tienen ms de un significado y que se usan ambiguamente, y en esas ocasiones resulta casi imposible saber por el contexto en el cual lo estn utilizando. Por ejemplo, en la oracin Pedro ha arrendado una casa, se expresan dos proposiciones: o la ha alquilado para l o ha alquilado una de las casas de su propiedad a otra persona. 2. Deficiencias Sintcticas: Las reglas morfosintcticas del lenguaje natural resultan, con frecuencia ineficaces: - Carecen de criterios rigurosos y suficientes para evitar las oraciones sin-sentido. Por ejemplo, los tambores participios parpadean libertad Es verdadero?Es falso? Carecen de significado y consecuentemente, no puede ser ni verdadero ni falso? - No permiten operar con exactitud y eficacia, de tal forma que un enunciado como por ejemplo, Tras lanzar el salvavidas, Don Ramn se hunda en el lago, nos hace dudar de su significado: Quin se hunda, Don Ramn o el salvavidas? Pregntate ahora: La Ciencia podra trabajar con enunciados ambiguos? UNIDAD II: LA LGICA PROPOSICIONAL COMO LENGUAJE ARTIFICIAL Y LENGUAJE FORMAL 2.1. CONSIDERACIONES GENERALES Desde el comienzo de la reflexin filosfica griega, con Herclito, Platn o Aristteles, hasta nuestros das, con el estructuralismo o la filosofa analtica, el concepto de "logos" constituye una apasionante triloga. Su significacin abarca "lenguaje", "pensamiento" y "razn"; es decir, que la expresin lingstica, la referencia de sta y las reglas de encadenamiento correcto de las expresiones, en el logos se identifican. Por el uso, sin embargo, que se hace de la informacin que se transmite en el lenguaje se distingue la lgica de la retrica. La lgica aspira a alcanzar pensamientos objetivos, con el fin de instruir, diferencindose en esto de la retrica, porque el inters de sta es ms despertar o inhibir afectos, actitudes y conductas, a veces con discursos objetivos, pero las ms con ilusiones de verdades. El inters lgico de ser razn, norma de conocimiento correcto e instrumento en que se exprese la verdad cientfica, aboca a la suspensin del uso espontneo del lenguaje de la comunicacin social, mediante una formalizacin del lenguaje natural. Adems, las deficiencias en precisin del lenguaje natural y las expresiones lingsticas, debido a anfibologas, polisemias, metforas, etc., llevan con facilidad a razonamientos incorrectos e infunden, por ello, desconfianza hacia el lenguaje natural. As pues, en relacin al uso lgico del lenguaje, no es lo mismo un discurso cientfico o filosfico, normalmente depurados, que un discurso expresado en el lenguaje natural. Ni ste que uno potico, perteneciente a otro uso lingstico. . . Las operaciones lgicas bsicas son el "anlisis" y la "sntesis". La primera consiste en la divisin a partir de lo compuesto, hasta dar con los elementos simples. La segunda, en componer a partir de lo simple y formar estructuras complejas. Cuando el anlisis lgico encuentra en la "proposicin" su tomo, estamos ante la "Lgica de proposiciones" o enunciados. En ella, los elementos de las proposiciones, el sujeto (objeto) y el predicado (funcin proposicional) no se analizan. La proposicin se toma como una unidad ltima en la divisin. 2.2. LA LGICA COMO LENGUAJE ARTIFICIAL Para superar las deficiencias del lenguaje natural y dotar a las ciencias de una expresividad rigurosa y exacta, se construyen lenguajes artificiales, esto es, lenguajes bien definidos que posee una estructura operativa y eficaz. Los lenguajes artificiales permiten profundizar en la investigacin matemtica y cientfica sin exponerse a caer en las imprecisiones del lenguaje ordinario. En lneas generales, puede decirse que todas las ciencias emplean lenguajes artificiales y que sta es una de las condiciones de su progreso. A continuacin, se entregarn algunas herramientas y mtodos para poder superar las deficiencias del lenguaje natural: 1 Las definiciones que proceden de la vaguedad de las palabras o de sus ambiguos mediante: - La redefinicin de los conceptos ordinarios - La utilizacin de un simbolismo artificial basado en una correspondencia biunvoca, de uno a uno, entre smbolo y objeto representado. -

4
La Fsica, por ejemplo, dispone de un extenso repertorio de trminos ordinarios redefinidos unvocamente: fuerza, masa, energa, as como de otros smbolos convencionales: r, e, v, etc., que permiten a los investigadores operar con frmulas. 2 Las deficiencia que resultan de la vaguedad de los enunciados (confusiones, contrasentidos, etc.), estipulando reglas con criterios tcnicos suficientes para evitarlas. 3 La incongruencia de los razonamientos: sofismas, paradojas, aporas, etc., mediante reglas operativas eficaces y rigurosas que hagan imposible la demostracin de contradicciones. Los elementos que integran un lenguaje artificial son los mismos de los dems, signos y reglas sintcticas, pero se le exige adems: 1. Que los signos estn bien definidos 2. Que el conjunto de reglas para la formulacin de enunciados sea efectivo, es decir, permita saber en cualquier momento si nos encontramos ante una expresin bien formada del lenguaje artificial que trate. 3. Que el conjunto de reglas operativas permita pasar de unas expresiones a otras, construyendo cadenas deductivas rigurosas y exactas Desde el punto de vista expresivo, los lenguajes artificiales disponen de un campo muy limitado. Slo sirven para satisfacer las necesidades expresivas de aquellos sectores del conocimiento para los que fueron diseados. Desde el punto de vista de la aplicacin a la Ciencia, el uso de lenguajes artificiales resulta, en la actualidad imprescindible. La Lgica Formal y la Matemtica son prototipos de lenguajes artificiales. Su aplicacin al terreno cientfico ha sido la condicin de su espectacular desarrollo: la Fsica, por ejemplo, inici su despegue a partir del momento en que Galileo (S. XVI) matematiz sus enunciados y los someti a la exactitud y rigor del mtodo matemtico. 2.3. EL LENGUAJE FORMAL Es el lenguaje artificial que utiliza una tabla de smbolos formales: formas que carecen de significado fijo y cuyas reglas sintcticas poseen la operatividad y eficacia del clculo. La lgica y la matemtica son lenguajes formales. El lenguaje formal utiliza una tabla de smbolos formales, que son un conjunto de signos (constantes y variables), que se establece por convenio, y contiene tantos smbolos como sean necesarios para operar. 2.3.1. VARIABLES: Son signos que carecen de significado fijo, sino que son variables, y en consecuencia, pueden recibir un surtido ilimitado de contenidos: se puede establecer correspondencia entre tales Smbolos, por una parte, y objetos de la realidad, por otra. En matemticas, se puede decir que el nmero 3 puede utilizarse para contabilizar los caballos, conjuntos, ngulos, conceptos, etc., pero jams se puede decir que el nmero 3 se refiere exclusivamente a los caballos, los conjuntos, etc. En lgica, el smbolo p, puede traducir cualquier enunciado afirmativo, como por ejemplo, Pars es una ciudad o la casa es roja. En definitiva, se constituyen el vocabulario primitivo del lenguaje formal. 2.3.2. CONSTANTES: Son signos con sentido fijo que sirven para enlazar entre s smbolos del vocabulario primitivo. En los lenguajes formales, los smbolos constantes se llaman tambin operadores. En matemticas, los signos de sumar, restar o dividir son smbolos constantes u operadores. En lgica, el conector llamado conjuncin (^) o el condicional ( ) que enlazan una variable con otras. Todo lenguaje formal se sirve de dos tipos de reglas: 1. Las reglas de formacin de frmulas 2. Las reglas de transformacin de frmulas 1. FORMACIN DE FRMULAS: Son las que establecen criterios para combinar correctamente los smbolos formales. En matemticas, la expresin (3+4)*7, es una frmula bien formada en el clculo de los nmeros naturales. En lgica, la expresin (p ^ q) r, es tambin una frmula bien formada. 2. TRANSFORMACIN DE FRMULAS: Son las reglas que permiten operar con frmulas dentro del clculo, esto es, pasar de una frmula a otra. En matemticas, podemos transformar la expresin (3+4)*7 a otra que le sea equivalente, por ejemplo: 49 o 45+4 o 50-1. La Lgica como ciencia formal, se ocupa de analizar y sistematizar las reglas que permiten la transformacin de unos enunciados (premisas) en otros (conclusin), con objeto de convertir las operaciones deductivas en un clculo riguroso y eficaz. 2.4. LA LGICA COMO LENGUAJE FORMAL La lgica puede definirse como la teora de las condiciones del razonamiento formalmente vlido, en donde se busca demostrar simblicamente el valor de verdad de una cadena deductiva de razonamientos. Un razonamiento es un proceso mental (como tambin la imaginacin o el recuerdo), que se caracteriza porque en l se produce un paso de uno o ms enunciados (premisas) a otro posterior (conclusin), que se sacan necesariamente de aqullos

5
En el lenguaje natural, la conclusin de los razonamientos viene introducida por expresiones como: POR LO TANTO, LUEGO, EN CONSECUENCIA, SE DEDUCE QUE, etc. Por ejemplo: Le dije que si me prestaba un libro, me distraera durante el viaje, y l me lo prest. Puedes deducir que he tenido un viaje muy distrado. Aunque todo razonamiento es una forma de pensamiento, pero todo pensamiento no es razonamiento. Por ejemplo: Recordar un hecho, elegir un nmero entre 1 y 10, etc. La lgica se ocupa de la estructura del razonamiento, viendo que dicho razonamiento sea formalmente vlido, de ah que prescinda de los contenidos y que se diferencia claramente de otras disciplinas que, como la psicologa, se interesan tambin por el razonamiento, pero desde otra ptica. El razonamiento del ejemplo anterior tiene esa estructura. Su estructura sera: Si ocurre X, entonces suceder Y Ocurre X, Luego, suceder Y. Este tipo de estructura es aplicable a una infinidad de razonamientos, sean cuales quieran sus contenidos. Un razonamiento es formalmente vlido si: 1. Posee una estructura correcta, cuando existe una condicin adecuada entre las premisas y la conclusin. 2. La conclusin se deriva de las premisas. 3. La conclusin es verdadera para todos los casos de interpretacin de las premisas, si las premisas son verdaderas (validez semntica). Por ende, en un razonamiento vlido, la conclusin se deriva rigurosamente de las premisas, de manera que es imposible que alguien mantenga las premisas y niegue la conclusin sin contradecirse. Ahora, la lgica es un lenguaje formal, porque dispone de smbolos formales (constantes y variables), de unas reglas de transformacin de frmulas que permiten operar con ellas con la eficacia de un clculo. Dado que estas caractersticas tambin las posee la Geometra, la Aritmtica, las formalizaciones de la Fsica. 2.5. ENUNCIADOS La lgica proposicional establece las combinaciones vlidas de enunciados simples o atmicos y compuestos o moleculares, en argumentos cuya validez queda determinada por la reglas deduccin. La lgica proposicional o de enunciados trata de la validez formal de los razonamientos, donde las premisas y la conclusin son proposiciones (enunciados), tomados en bloque, esto es, sin analizar. Un enunciado es tomado en bloque cuando se prescinde de los elementos que lo integran y pasa a ser considerado como un todo (una unidad lingstica), pudiendo ser V o F. Ejemplo: El enunciado Todos los hombres son mortales Desde el punto de vista de la lgica de predicados, sufrira la siguiente interpretacin: Para todos los casos de X, si X tiene la propiedad de ser hombre, entonces X tiene la propiedad de ser mortal. Si observamos, la interpretacin atiende a la estructura interna del enunciado. En cambio, si tomamos el enunciado en bloque, prescindimos e analizar su estructura interna y lo simbolizamos con una letra consonante (variable), como p, q, r, s, etc. Un enunciado es una coleccin de smbolos, que es verdadera o falsa, pero no verdadera o falsa simultneamente. Ejemplos: 1) Todos los hombres son mortales = p Enunciado verdadero 2) Pars est en Inglaterra = r Enunciado falso 3) El oro es un metal precioso = s Enunciado verdadero 4) A dnde va UD.? No es enunciado, porque no es verdadero ni falso.

5) Escriba su trabajo en el cuaderno No es enunciado, porque no es verdadero ni falso. Su sencillez radica en que ella se limita a analizar y estudiar sistemticamente aquellos razonamientos cuya validez no depende de la estructura interna de sus enunciados. EJERCICIOS DE APLICACIN N1 De acuerdo a las siguientes oraciones, identifique las que son enunciativas (enunciados), indicando si son Verdaderos (V) o Falsos (F). 1. Cuntos aos tienes? 2. Mis amigos tienen suerte 3. No me gusta tu perfume 4. Sal de ah! 5. Chile es un pas sudamericano 6. Las gaviotas no son pjaros 7. Algunos volcanes estn en erupcin 8. Ojal me toque la lotera! 9. A lo mejor voy a casa de Esteban el sbado 10. Amanece muy tarde en invierno 11. Gol!

6
2.5.1. ENUNCIADO SIMPLE: es aquella proposicin que no est formado por otros enunciados y por ello no contiene trminos de enlace o conectivas. Cada uno de los enunciados simples del lenguaje natural se sustituir por las variables proposicionales simbolizadas mediante las letras minsculas: m, n, o, p, q, r, etc. Por ejemplo: El cobre es metal, Juan es un buen estudiante, Quizs lo mejor sea ver todo esto con un ejemplo, Un cuadriltero es una figura geomtrica con cuatro lados, etc. 2.5.2. ENUNCIADO COMPUESTO, es un enunciado compuesto por varios enunciados simples o varios compuestos, enlazados por conectores como: y, o, pero, si..entonces, s y slo si, no, ni.. ni, una de dos, por lo tanto, etc. Por ejemplo, el cobre es metal y el oro es un metal precioso. La propiedad fundamental de un enunciado compuesto, consiste en que su valor de verdad se determina completamente por medio del valor de verdad de sus enunciados simples junto con la forma como ellos se conectan para conformar un enunciado compuesto. La nica posibilidad que un enunciado simple se convierta en uno compuesto, ser cundo sea negacin. EJERCICIOS DE APLICACIN N2 De acuerdo a los siguientes enunciados, indique si son simples (Atmico) o compuestos (Molecular). Adems, para cada enunciado, identifique su o sus variables (p, r, s, t, etc.). Ejemplo: Si Mara canta, entonces es feliz Solucin: 1 Enunciado compuesto 2 p = Mara canta q = Mara es feliz 1. No fuiste en auto al colegio 7. Mara es feliz cuando canta 8. Gabriel es muy afortunado 9. No es cierto que no te escuche 10. Hoy no se fa, maana s 2.6. VOCABULARIO Y OPERADORES DE LA LGICA PROPOSICIONAL La tabla de smbolos con que consta la lgica proposicional seran: 1) VARIABLES O LETRAS ENUNCIATIVAS: Corresponde convencionalmente con las letras consonantes del alfabeto, en minscula, a partir de la m, n, o, p, q, r, etc. Se llaman letras enunciativas, porque sirven para simbolizar enunciados. Ejemplo: Llueve, podra simbolizarse con la letra p. Se denominan variables, porque su contenido vara, ya que por definicin pueden representar cualquier enunciado.

2) CONSTANTES U OPERADORES:
Son signos que denotan relaciones u operaciones lgicas y sirven para establecer conexiones entre enunciados, sean estos, simples o complejos. Se llaman constantes lgicas, porque su sentido es fijo (no vara) al representar relaciones lgicas. Entre los conectores ms comunes, utilizados por la lgica proposicional son: Conjuncin con el signo (y del lenguaje natural), Disyuncin inclusiva con el signo (o del lenguaje natural), Condicional con el signo (que equivale a la expresin del lenguaje natural si entonces), y el Bicondicional con el signo , (que corresponde a la expresin del lenguaje natural si y slo si), entre otros.

2. Juan y Pedro van al cine

3. Muchos estudiantes estudian lgica en el primer ao de carrera 4. Slo cuando Mara canta es feliz

3) SIGNOS AUXILIARES:
Parntesis ( ), corchetes y comas, usados para la formulacin de enunciados complejos y argumentos con varias premisas. En las prximas pginas de esta gua de estudio, definiremos cada uno de los conectores y se presentarn ejemplos de su formalizacin

5. Al final fuimos al cine dos o tres personas. 6. Me voy al cine, pero t no

7
2.7. FRMULAS Y VALORES DE VERDAD DE LA LGICA PROPOSICIONAL 2.7.1. FRMULAS: En el clculo lgico, una frmula es toda expresin bien hecha, segn reglas previamente establecidas. Ejemplo de frmulas del lenguaje proposicional sera: p, r, r p, ( p q ) r , etc. Estas frmulas nos sealan qu smbolos sirve para representar los enunciados simples o compuestos. Asimismo, determinan, mediante definiciones y reglas, la forma de operar de los conectores. 2.7.2. VALORES O FUNCIN DE VERDAD: El valor de verdad de una proposicin o enunciado simple, depende de que ella misma sea verdadera o falsa. Ahora, el valor de verdad de un enunciado compuesto, es ms bien una funcin de verdad, ya que depende de ciertas situaciones: 1 La forma, o sea, de los conectores que en ella intervienen. Al respecto, sern reglas precisas para el manejo de cada conector. 2 De los valores de verdad de sus proposiciones simples. Ms adelante, cuando veamos las tablas de verdad y su construccin, veremos cmo se calculan las distintas posibilidades que se pueden presentar en una proposicin molecular. 2.8. LOS CONECTORES LGICOS 2.8.1. LA NEGACIN Dado cualquier enunciado p, podemos conformar otro enunciado, llamado la negacin de p, escribiendo, por ejemplo, Es falso que, precediendo a p, o insertando la palabra no. En simbolizacin da como resultado p. Si bien es cierto, la negacin es slo un enunciado, pero al estar negado, est conectado con un operador lgico, considerndose entonces un enunciado compuesto. Las principales posibilidades lingsticas que ofrece este conector seran las siguientes: "no ____", "no es cierto ____", "no es el caso que ____", "es falso que ____", "no es posible ____", "es imposible ____", nunca, es inconcebible, es mentira, etc. Adems de los prefijos negativos: a, des, in, i.1 Tambin podran considerarse las negaciones que utilizan antnimos como, por ejemplo, cuando decimos Pedro es gordo, para negar la expresin Pedro es flaco. (Esto se utilizar cuando aquellos conceptos estn insertos y ligados dentro del razonamiento o del texto). Ejemplos: p = Existen hombres inmortales q = Algunos ejercicios son difciles p = No existen hombres inmortales q = Algunos ejercicios no son difciles

EJERCICIOS DE APLICACIN N3 Formalizar y simbolizar las siguientes expresiones. Ejemplo: No es verdad que el sea una estrella. Solucin: 1 Formalizacin: No es cierto que 2 Simbolizacin: p 1. No es cierto que lgica sea difcil 2. Pedro no es mdico 3. No es verdad que todo lo que t digas sea falso 4. La cuadratura del crculo es imposible 5. No es verdad que el sol no sea una estrella 6. No sucede que el COLOCOLO no juegue bien 7. No ocurre que 2+2 = 5
1

El subrayado ( proposicionales.

), estara reemplazando al enunciado o la proposicin, denominndose formalizacin de enunciados

8
2. Ella tiene la linterna, tiene el perfume y la carpa

2.8.2. LA CONJUNCIN Es una frmula molecular o compuesto que se obtiene cuando se conectan dos proposiciones o enunciados simples, mediante el conector llamado conjuncin, y equivale al sentido expresado con la letra y del lenguaje natural, que simbolizamos con . Las principales posibilidades lingsticas que ofrece este conector seran las siguientes: ___ y ___", "___ ni ____ni ", " ___ pero ____", " ____que ____", " ____ e ____", " ____ mas ____ ", aunque , adems, mientras que, sin embargo, etc. Ejemplo: Pedro estudia y Claudio trabaja 1 Identificacin de variables: p = Pedro estudia q = Claudio trabaja 2 Formalizacin de variables: y 3 Simbolizacin: p q EJERCICIOS DE APLICACIN N4 Formalizar y simbolizar las siguientes expresiones. Adems, identifique variables. Ejemplo: Estos problemas no son difciles para m, aunque he tardado en resolverlos. Solucin: 1 Variables: p = Estos problemas son difciles para m q = Yo he tardado en resolverlos 2 Formalizar: no , aunque 3 Simbolizar: p ^ q 1. Los tejados son de adobe y las puertas de madera

3. No creo en lo que dices, sin embargo sigo confiando en ti 4. Ni puedo prohibirlo ni puedo tolerarlo

5. La riqueza ayuda a ser feliz, pero la cultura todava ms 2.8.3. LA DISYUNCIN INCLUSIVA Es un enunciado molecular o compuesto, que se obtiene cuando se conectan dos proposiciones o enunciados simples, mediante el conector llamado disyuncin inclusiva, y equivale al sentido expresado con la letra o del lenguaje natural, que simbolizamos con . La principal posibilidad lingstica que ofrece este conector sera el siguiente: o ", u , a menos que , a no ser que, salvo que, excepto que, etc. 1 Identificacin de variables: p = Descartar los documentos viejos q = Descartar los documentos estropeados 2 Simbolizacin: p q 3 Formalizacin de variables: o EJERCICIOS DE APLICACIN N5 Formalizar y simbolizar las siguientes expresiones. Adems, identifique variables. 1. Luis es un buen jugador o es muy afortunado

2. La msica es muy suave o la puerta est cerrada

3. Mi puntuacin ser alta, salvo que no me haya equivocado 3. O comes lo que hay o te vas a comer al restaurante 4. Hay que llegar antes de las 10 o no quedarn entradas

4. Una de dos, o apruebo el ramo o lo repruebo. 5. Eduardo habla, a menos que su amigo duerma 2.8.4. LA DISYUNCIN EXCLUSIVA Es un enunciado molecular o compuesto, que se obtiene cuando se conectan dos proposiciones o enunciados simples, mediante el conector llamado disyuncin exclusiva, y equivale al sentido expresado con las letras o - o del lenguaje natural, que simbolizamos con . Las principales posibilidades lingsticas que ofrece este conector sera el siguiente: o ____ o ____ ", " bien ____ bien ____ ", " ya sea ____ ya sea ____ ", etc. Ejemplo: "O viajo hoy o viajo maana 1 Identificacin de variables: p = Yo viajo hoy q = Yo viajo maana 2 Formalizacin de variables: O o 3 Simbolizacin: p q EJERCICIOS DE APLICACIN N6 Formalizar y simbolizar las siguientes expresiones. Adems, identifique variables. 1. Ya sea por el estudio, ya sea por la suerte, aprobar el ramo.

2.8.5. EL CONDICIONAL Es un enunciado molecular o compuesto que se obtiene cuando se conectan dos proposiciones o enunciados simples, mediante el conector llamado condicional o implicacin, y equivale al sentido expresado en el lenguaje natural como Si, entonces, y se simboliza como p q. Las principales posibilidades lingsticas que ofrece este conector seran las siguientes: "si ____ entonces ", " ____ luego ____ ", " ____ por tanto ____ ", " ____ en consecuencia ____ ", " cuando", " con tal que ", " se demuestra ", " se deriva ", p implica q, Es condicin necesaria. q para que p, Es condicin suficiente p para que q, etc. Ejemplo: "Si un cuerpo se calienta, entonces se dilata". 1 Identificacin de variables: p = Un cuerpo se calienta q = Un cuerpo se dilata 2 Formalizacin de variables: Si , entonces 3 Simbolizacin: p q EJERCICIOS DE APLICACIN N 7 Formalizar y simbolizar las siguientes expresiones. Adems, identifique variables. 1. Slo si los perros llevan abrigo, pueden llevar sombrero

2. O yo estoy equivocado o la pregunta N1 es verdadera.

10
2. Si los deseos fueran caballos, entonces los mendigos cabalgaran 2. La naranja es deliciosa cuando y slo cuando est dulce y jugosa 3. Ser millonario es ser feliz 4. Slo si hoy es jueves, maana ser viernes.

3. Cuando Pedro llega, se acaba la paz en esta casa

4. Siempre que llueve, hace fro 2.9. REGLAS Y USOS DE PARNTESIS DE LA LGICA PROPOSICIONAL 5. Para que el pas salga adelante, se requiere de mayor inversin 2.8.6. EL BICONDICIONAL Es un enunciado molecular o compuesto que se obtiene cuando se conectan dos proposiciones o enunciados simples, mediante el conector llamado Bicondicional o tambin llamado doble implicacin, y equivale al sentido expresado en el lenguaje natural como Si y slo si, y se simboliza como p q. Las principales posibilidades lingsticas que ofrece este conector seran las siguientes: _____ si y slo si ____ ", " ____ equivale a _____ ", " ____ es igual a ____ ", " Cuando y slo cuando", " es lo mismo que ", es necesario y suficiente, Slo s, etc. Ejemplo: "El agua es lquida si y slo si el hielo es slido" 1 Identificacin de variables: p = El agua es lquida q = El hielo es slido 2 Formalizacin de variables: , si y slo si, 3 Simbolizar: p q EJERCICIOS DE APLICACIN N8 Formalizar y simbolizar las siguientes expresiones. Adems, identifique variables. 1. Gabriela habla, si y slo si, Eduardo duerme. Los conectores, segn su posicin en las expresiones, pueden ser prefijos o infijos. Un conector es PREFIJO si va antepuesto o precede a un enunciado como, por ejemplo, la negacin. Un conector es INFIJO cuando est colocado entre dos enunciados, como por ejemplo, la conjuncin, el condicional, el bicondicional y las dos formas de disyuncin. Normas: 1. No se utilizar el parntesis en aquellos casos en que conectores (prefijos o infijos) afecten a enunciados simples, como por ejemplo: a) p b) p q c) p 2. Se utilizar el parntesis cuando el conector prefijo afecte a toda una conjuncin, disyunciones, condicional o bicondicional, como por ejemplo: a) b) c)

(p q) (r s) (t u)

3. Se utilizar parntesis en las expresiones conjuntivas y disyuntivas precedidas o seguidas de un condicional o bicondicional, como por ejemplo: En lugar de: p q r Se escribir: (p q) r s t u (s t) u p q r p (q r) q r p p (q r)

11
4. Se utilizar parntesis en las expresiones en que el sentido de la expresin exija tal importancia y fusin. Por ejemplo: En lugar de: p q r Se puede escribir: p (q r) (p q) r 2

2.11. TABLAS DE VERDAD, DEFINICIN Y REGLAS DE LOS CONECTORES LGICOS DE LA LGICA PROPOSICIONAL 2.11.1. CONSTRUCCIN TABLA DE VERDAD La tabla de verdad es un grfico que muestra visualmente los valores de verdad que va teniendo una proposicin o enunciado compuesto, de acuerdo con las combinaciones de valores de sus enunciados simples. El valor de verdad de una proposicin, enunciado o razonamiento deductivo, depende exclusivamente del valor de verdad de sus variables, es decir, se llega a conocer el valor de verdad de un enunciado o un razonamiento deductivo, una vez que el valor de verdad de sus variables se conoce, junto con los conectores que los hilan. Para la elaboracin de una tabla de verdad se deben seguir los siguientes pasos: 1 Identificar y simbolizar la(s) oracin(es) enunciativa(s) en letras o variables proposicionales 2 Las variables se colocan a la izquierda de la tabla y en seguida se escribe la simbolizacin. O sea, al lado izquierdo de la tabla, se colocarn todas las variables identificadas, comenzando convencionalmente con la letra p, q, r, etc., si fuese necesario. Posteriormente, se simbolizar la o las proposiciones compuestas o de razonamientos deductivos en lenguaje proposicional. 3 El nmero de filas, con sus respectivos valores de verdad, que deba tener la tabla, estar determinada por su nmero de variables, aplicando la siguiente frmula: n 2 = Nmero de filas, donde el N 2 representa lo dos valores de verdad que se puede asignar a cada variable y el exponente n es el nmero de variables. 4 Cada enunciado tiene dos valores posibles de veracidad (V o F) 5 Si existen 2 o ms enunciados simples conectados por operadores lgicos, o sea, enunciados compuestos, su valor de verdad se duplicar o se triplicar, segn sea el caso del nmero de variables. 6 La colocacin del valor de verdad (V o F) de las variables se comienza con la ltima variable identificada, y su nmero depender del nmero de variables identificado por la frmula dada anteriormente.

2.10. SIMBOLIZACIN DE ARGUMENTOS O RAZONAMIENTOS DEDUCTIVOS: Un argumento o deduccin es aquel razonamiento mediante el cual de unos enunciados iniciales (llamados premisas) se deduce un enunciado final (llamado conclusin) Los pasos para transformar a lenguaje proposicional este razonamiento deductivo del lenguaje natural son los siguientes. 1) Identificar las variables del razonamiento. 2) Simbolizar el razonamiento deductivo 3) Utilizacin de parntesis 4) Cada premisa debe ser encerrada en parntesis. 5) El punto seguido del razonamiento deductivo se debe de simbolizar por el conector conjuncin. 6) El punto que antecede a la conclusin siempre debe ser simbolizada por un condicional (por lo tanto, en conclusin, luego, etc.) Observemos el siguiente razonamiento deductivo: Si fueras alumno de 1 C conoceras a algn Alejandro. No conoces a ningn Alejandro. Por lo tanto, podemos concluir que no eres alumno de 1 C. Ahora, siga los pasos y simbolice el razonamiento deductivo:

Aqu se altera no slo la dominacin, sino tambin el sentido de la expresin.

12
7 Para calcular los valores de verdad de los conectores se aplica la regla respectiva y se comienza con los ms interiores. 8 El ltimo conector en ser calculado es el que est fuera de todo parntesis. 3 Ejemplo: 1. p = Esta sustancia es cida 2. q = Esta sustancia contiene hidrgeno 3. p q = Esta sustancia es cida y contiene hidrgeno La negacin invierte el valor de la proposicin a la que afecta; por lo tanto, si sta es verdadera la negacin ser falsa y viceversa. Su tabla de verdad sera la siguiente: p

Cada una de las proposiciones (N1 y N2), TOMADAS POR SEPARADO, slo tiene 2 posibilidades de valor de verdad: Vo F, como lo muestra la siguiente tabla de verdad:* P V F Q

V F

p F V

2) CONJUNCIN:
Regla: La conjuncin es verdadera solamente cuando las dos proposiciones que la forman son verdaderas. Tabla de verdad:

V F

*Esto quiere decir la proposicin dada, PUEDE SER verdadera (V) o falsa (F) El valor de verdad de la proposicin N3, depende de los valores de verdad que tengan sus componentes. Combinando tales valores, pueden resultar 4 posibilidades, como se muestra en la siguiente tabla de verdad: Podemos observar que la tabla contiene cuatro filas y ello se justifica por cuanto cada proposicin tiene dos valores posibles de veracidad y combinndolos tendremos = 2 2 = 2 x 2 = 4 alternativas para el caso de dos proposiciones. Se comprende que si en lugar de 2 proposiciones en la expresin a estudiar participaran 3, la cantidad de filas ser 2 3 = 8, etc. Ejemplo: p q p q pq V V V V F F F V F F F F

Leamos la tabla fila por fila: Si p es V y q es V, entonces p es V q Si p es V y q es F, entonces p es F q Si p es F y q es V, entonces p es F q Si p es F y q es F, entonces p es F q

p V V F F 2

q V F V F 1

pq V F F F 3

Interpretacin: La tercera columna, en la primera fila nos dice: LA CONJUNCIN ES VERDADERA SOLAMENTE CUANDO LAS DOS PROPOSICIONES QUE LA FORMAN SON VERDADERAS. Por lo tanto, "Pedro estudia y Claudio trabaja" ser verdadero si efectivamente "Pedro estudia" y "Claudio trabaja". Si cualquiera de estas proposiciones es falsa, es falso afirmar que "Juan estudia y Pedro trabaja".

3) DISYUNCIN INCLUSIVA:
Regla: La disyuncin inclusiva es falsa, nicamente cuando las dos proposiciones que la forman son falsas. Cuando afirmamos "Descartemos los documentos viejos o estropeados"; queremos significar que si un documento es viejo, ser descartado; si el documento est estropeado, ser descartado; y si el documento es viejo y est estropeado, tambin ser descartado. Se incluyen aqu las tres posibilidades. p q Tabla de verdad: p q V V V V F V F V V F F F

1) NEGACIN: Regla:
3

En toda cadena de razonamiento deductivo, se termina con la expresin por lo tanto, luego, en consecuencia, se deduce, etc., por ende, en la simbolizacin de enunciados proposicionales, el conector principal o dominante (el que queda fuera de todo parntesis) deber ser un condicional.

13
tanto, en este caso (se supone viaje de ida nicamente), si viajo hoy queda descartado que no viajar maana; de igual modo si la decisin la tomo maana; es decir no est incluida la tercera posibilidad. Leamos la tabla fila por fila: Si p es V y q es V, entonces p es V q Si p es V y q es F, entonces p es V q Si p es F y q es V, entonces p es V q Si p es F y q es F, entonces p es F q Interpretacin: La tercera columna, en la ltima fila nos dice: LA DISYUNCIN INCLUSIVA ES FALSA, CUANDO LAS DOS PROPOSICIONES QUE LA FORMAN SON FALSAS. Por lo tanto, "descartar los documentos viejos o estropeados ser falso si efectivamente "los documentos no son viejos" y "los documentos no estn estropeados ". Si cualquiera de estas proposiciones es verdadera, es verdadero afirmar que "los documentos viejos o estropeados se descartarn.

5) CONDICIONAL:
Regla: El condicional siempre es verdadero, excepto cuando, siendo el antecedente verdadero, el consecuente sea falso. 4 Tabla de verdad: Leamos la tabla fila por fila: Si p es V y q es V, entonces p q es V Si p es V y q es F, entonces p q es F Si p es F y q es V, entonces p q es V Si p es F y q es F, entonces p q es V p V V F F q V F V F p q V F V V

4) DISYUNCIN EXCLUSIVA:
Regla: La disyuncin exclusiva es verdadera cuando sus las dos proposiciones que la forman tienen valores de verdad diferentes, es decir, una es verdadera y la otra falsa. Tabla de verdad: p V V F F Leamos la tabla fila por fila: Si p es V y q es V, entonces p Si p es V y q es F, entonces p Si p es F y q es V, entonces p Si p es F y q es F, entonces p q V F V F p q F V V F

Interpretacin: La tercera columna, en la segunda fila nos dice: EN UN CONDICIONAL NO ES POSIBLE LA CONCURRENCIA DEL ANTECEDENTE CON LA NEGACIN DEL CONSECUENTE, EN OTRAS PALABRAS SIEMPRE QUE LA PRIMERA AFIRMACIN SEA VERDADERA, LA SEGUNDA TAMBIN LO SER.Por lo tanto, en el caso del ejemplo que expresa una ley fsica, no ser verdadero que si un cuerpo se caliente, pero que no se dilate. 6) BICONDICIONAL Regla: Es verdadera cuando los dos enunciados simples que la componen tienen el mismo valor de verdad, es decir, cuando los dos sean verdaderos o cuando los dos sean falsos. En caso contrario, es falsa. Tabla de verdad: p q p q V V V V F F F V F F F V Leamos la tabla fila por fila: Si p es V y q es V, entonces p q es V Si p es V y q es F, entonces p q es F

q es F q es V q es V q es F

Interpretacin: La tercera columna, en la segunda y tercera fila nos dice: LA DISYUNCIN EXCLUSIVA ES VERDADERA SOLAMENTE CUANDO LAS DOS PROPOSICIONES QUE LA FORMAN TIENEN DISTINTO VALOR DE VERDAD Y SER FALSA CUANDO ESAS DOS PROPOSICIONES TENGAN EL MISMO VALOR DE VERDAD. Por lo

Si p es F y q es V, entonces p q es V Si p es F y q es F, entonces p q es V

F V

p p ( F F

p)

14
p)

[ p( ]
V V

V F Interpretacin La tercera columna, en la primera y la cuarta fila nos dice: EL BICONDICIONAL SER VERDADERO CUANDO LAS DOS PROPOSICIONES QUE LA FORMAN TENGAN EL MISMO VALOR DE VERDAD. Por lo tanto, cuando el agua ser lquida si el hielo es slido o cuando el agua no sea lquida, es porque tampoco el hielo ser slido. 2.12. TIPOS FUNDAMENTALES DE ENUNCIADOS. Fundamentalmente la lgica de proposiciones se utiliza para decidir si un razonamiento, en donde intervienen enunciados complejos como premisas, es verdadero o falso. Para ello se aplican sistemticamente las tablas establecidas. En los enunciados complejos se utilizan parntesis adecuadamente colocados para evitar situaciones equvocas. Entre estos razonamientos distinguimos: Tautologa, razonamientos siempre verdaderos; enunciados contradictorios, siempre falsos y contingencias, razonamientos a veces verdaderos y a veces falsos. 2.12.1. Tautologas. Son frmulas compuestas que siempre son verdaderas para cualquier interpretacin, esto es, universalmente vlida en virtud de su forma, independiente de su valor de verdad asignado a sus componentes o variables. Ellas son fundamentales para instaurar las pruebas en el llamado clculo de proposiciones. S Estudiemos algunas tautologas. Consideremos los principios lgicos fundamentales: principio de identidad, de no contradiccin y de tercero excluido. Principio de Identidad: Toda cosa u objeto es idntico a s mismo y se expresa con p p. Su tabla ser: P V F P V F p p V V

Principio de tercero excluido: Una cosa es o no es, no hay una tercera posibilidad y se expresa con p ( p). Su tabla es la siguiente:

p V F

F V

p p(

p)

V V

Como puede observarse, la ltima columna de estas tres tablas indica que las proposiciones correspondientes son tautologa, de acuerdo con la definicin dada. 2.12.2. Enunciados contradictorios. Son frmulas compuestas que siempre resultan falsas, para cualquier interpretacin, esto es, universalmente o formalmente falsa, independiente del valor de verdad de sus componentes simples. Son todos aquellos cuya tabla de verdad contiene en su ltima columna solo valores falsos (F). Estudiemos por ejemplo el siguiente enunciado

lenguaje corriente con "no es verdad que pq implique p". Su tabla ser: p q p q V F F F 3 (p q) p V V V V 4

((p p), que podramos expresarlo en q)

((pq) p) F F F F 5

Principio de no contradiccin: Una cosa u objeto no puede ser y no ser al

mismo tiempo y en el mismo sentido y se expresa con tabla es la siguiente:

[ p (

p) ] . Su

V V F F 2

V F V F 1

15
Finalmente, probaremos aqu, con toda la metodologa expuesta, aquellos razonamientos deductivos que sean verdaderos (tautologas), aquellos falsos (contradiccin) y los que sean improbables poder demostrar su validez (indeterminacin o contingencias).

p V V F F 2

q V F V F 1

p(

2.12.3. Enunciados contingentes o indeterminados. Es una proposicin cuyos valores de verdad ni son todos V ni son todos F. O sea, no es ni universalmente verdadera (tautologa) ni universalmente falsa (contradiccin) En estos casos las tablas de verdad contienen en la columna final valores V y F. Veamos un ejemplo, elaborando la tabla de verdad de la siguiente proposicin p (

F V F V 3

q)

F V F F 4

2.14. CUADRO RESUMEN DE LA LGICA PROPOSICIONAL

Nombre " Negacin Lecturas lingstica posibles

q)

2.13. DEMOSTRACIN FORMAL DE LOS ARGUMENTOS Los seres humanos, en nuestra vida diaria, utilizamos constantemente el razonamiento deductivo: partimos de enunciados empricos (supuestamente verdaderos), para concluir en otro enunciado que se deriva de aquellos. Por ello, uno de los objetivos principales de la lgica es proporcionar los elementos necesarios para comprobar la validez y la veracidad de un argumento o razonamiento deductivo, convirtiendo las operaciones deductivas en un clculo riguroso y eficaz. El argumento es una serie de proposiciones o enunciados, de las cuales la ltima, se llama CONCLUSIN y se deriva de las anteriores, llamadas premisas. La validez de un argumentado no depende de su contenido. Sino exclusivamente de su forma.

Conjuncin

Posibilidades: "no ____", "no es cierto ____", "no es el caso que ____", "es falso que ____", "no es posible ____", "es imposible ____", etc. "p q" Posibilidades: " ___ y ___", "___ ni ____", " ___ pero ____", " ____que ____", " ____ e ____", " ____ mas ____ ", etc. "P v q "

Tablas de Verdad P p V F

P"

"- p"

F V

Reglas "Invierte el valor de PP que le afecta; por tanto, si sta es V negacin ser F viceversa". la lo la y

P V V F F

q V F V F q V F V F p

p V F F F v V V V F

V nicamente q "Es cuando sus 2 componentes son V, en los dems casos es F".

Disyuncin Inclusiva

P V Posibilidades: " ___ o ___ " V F F

q "Es F nicamente cuando sus 2 alternativas son F".

16
Disyuncin Exclusiva "p v q" Posibilidades: " o ____ o ____ ", " bien ____ bien ____ ", " ya ____ ya ____ ", etc. p q Posibilidades: "si ____ entonces ", " ____ luego ____ ", " ____ por tanto ____ ", " ____ en consecuencia ____ ", " cuando", " con tal que ", " ____ se demuestra ____ ", " ____ se deriva ____ ", etc. "pp" Posibilidades: " _____ si y slo si ____ ", " ____ equivale a _____ ", " ____ es igual a ____ ", " _____ vale por _____ ", " _____ es lo mismo que _____ ", etc. P V V F F p q V V F F q V F V F q V F V F p v q "Es V cuando sus 2 F alternativas tienen V valores diferentes, es V decir, una es V la otra F F". p V F V V "Siempre es V, excepto cuando, siendo el antecedente V, el consecuente es F".

Condicional

q V F V F

p
V V F F

p "Es V cuando sus 2

V F F V miembros tienen el mismo valor, es decir, los 2 son V o los 2 son F; en caso contrario es F".

Bicondicional