Dep.

Filosofa / Filosofa y Ciudadana 1 Bachillerato Profesora: Montse Daz Pedroche

Unidad Didctica 3

Lgica proposicional o Lgica de enunciados

1. Qu es la Lgica? 2. El clculo de proposiciones 2.1. 2.2. 2.3. Las conectivas Las tablas de verdad La deduccin natural

Bibliografa
Deao, A.: Introduccin a la lgica formal. Alianza. Madrid, 1978. Quesada, D.: La Lgica y su filosofa. Introduccin a la Lgica. Editorial Barcanova. Barcelona, 1985.

Dep. Filosofa / Filosofa y Ciudadana 1 Bachillerato Profesora: Montse Daz Pedroche

1. QU ES LA LGICA? Son muchas las definiciones que se han dado y podran darse de la Lgica, siguiendo a Alfredo Deao en su libro Introduccin a la lgica formal, podemos definir la lgica como la ciencia de los principios de la validez formal de la inferencia. Una inferencia o razonamiento consiste en derivar una conclusin a partir de unas premisas. En todo razonamiento podemos distinguir su estructura o forma de su contenido o materia. Por ejemplo, los siguientes razonamientos tienen la misma estructura o forma y distinto contenido o materia: Todos los chimpancs son primates, todos los primates son mamferos. Luego, todos los chimpancs son mamferos. Todos los abuelos son o han sido padres, todos los padres son o han sido hijos. Luego todos los abuelos son o han sido hijos. En el ejemplo anterior, tendramos dos razonamientos con contenidos distintos (uno trata de chimpancs, primates y mamferos; el otro de hijos, padres y abuelos), pero idntica estructura o forma, a saber: Todos los A son B (Premisa 1) Todos los B son C (Premisa 2) Luego, todos los A son C (Conclusin)

Un razonamiento es vlido cuando la conclusin se sigue necesariamente de las premisas. O lo que es lo mismo, un razonamiento es vlido cuando si sus premisas son verdaderas entonces necesariamente tambin lo es la conclusin. Es importante distinguir entre la validez y la verdad. La validez hace referencia a la correccin formal de un razonamiento, la verdad hace referencia a que sus premisas, su conclusin o ambas sean verdaderas. Puede haber razonamientos vlidos cuyas premisas y conclusin sean falsas y razonamientos no vlidos cuyas premisas y conclusin sean verdaderas. Ejemplos: Razonamiento vlido con premisas y conclusin falsas: Los gatos son perros, los perros son reptiles; luego, los gatos son reptiles. Razonamiento no vlido con premisas verdaderas y conclusin falsa: Los

primates son mamferos, los gatos son mamferos; luego, los primates son gatos. Lo que no puede haber es un razonamiento vlido que tenga premisas verdaderas y conclusin falsa. Porque que un razonamiento sea vlido significa que si sus premisas son
2

Dep. Filosofa / Filosofa y Ciudadana 1 Bachillerato Profesora: Montse Daz Pedroche

verdaderas entonces necesariamente tambin lo es su conclusin. La idea fundamental, sin la cual es imposible entender qu es la lgica formal es que La validez de un razonamiento es independiente de la verdad o falsedad de sus premisas y de su conclusin. Lo decisivo es comprender que un razonamiento es vlido cuando es imposible que siendo verdaderas sus premisas sea falsa su conclusin. Un razonamiento es vlido aunque sus premisas y su conclusin sean falsas porque si sus premisas fueran verdaderas entonces su conclusin necesariamente tambin sera verdadera, es decir, si partiramos de premisas verdaderas razonando de esa forma llegaramos a conclusiones tambin verdaderas.

Que las premisas sean de hecho verdaderas o no lo sean es otra cuestin, una cuestin que cae fuera de la lgica. Estudiar lgica no consiste en estudiar si tales o cuales enunciados son efectivamente verdaderos. Estudiar lgica consiste en estudiar qu otros enunciados, dados los anteriores como verdaderos, habra que aceptar tambin como verdaderos.

La nocin fundamental de la Lgica no es la de verdad material, la de verdad de hecho, sino la de coherencia. La lgica no se ocupa de verdades materiales, sino de las relaciones formales entre ellas. Por eso en Lgica, razonamiento vlido es equivalente a razonamiento formalmente vlido , se habla de validez formal.

Como decamos, todo razonamiento tiene una forma y un contenido, una estructura y un asunto de que trata. A la Lgica le interesa nicamente la forma de los razonamientos. La Lgica es Lgica formal, ciencia de las formas o esquemas vlidos de razonamiento. En un razonamiento vlido formalmente vlido, lgicamente vlido-, la verdad de la conclusin se sigue necesariamente de la verdad de las premisas, en virtud de la sola forma de stas. En efecto: lo esencial de todo razonamiento formalmente vlido es la relacin de NECESIDAD que se establece entre premisas y conclusin, de tal modo que la verdad de las primeras acarrea inevitablemente la verdad de la segunda.

La Lgica pretende codificar los principios o leyes que guan el anlisis de la validez formal de los razonamientos, sistematizar un conjunto de leyes o de reglas para el estudio de las condiciones formales en las que un enunciado se puede inferir vlidamente a partir de otro.
3

Dep. Filosofa / Filosofa y Ciudadana 1 Bachillerato Profesora: Montse Daz Pedroche

2. LA LGICA PROPOSICIONAL La tarea de la lgica es el anlisis formal de los razonamientos. Y el lugar de ese anlisis es el lenguaje. Slo en el lenguaje, slo en la medida en que estn formulados en un lenguaje se ofrecen los razonamientos a la posibilidad de anlisis. El anlisis de los razonamientos supone, por tanto, un anlisis lgico del lenguaje.

Ahora bien, el anlisis de los razonamientos se puede llevar a cabo desde distintos niveles de anlisis lgico del lenguaje. Pues bien, existen dos niveles de anlisis lgico del lenguaje, a los que corresponden dos niveles de clculo lgico: el clculo de proposiciones (que es el que vamos a estudiar nosotros/as) y el clculo de predicados.

En la actualidad, la Lgica se nos presenta en forma de clculo, un clculo es una pura estructura sintctica. El clculo de enunciados o proposiciones es el clculo lgico ms elemental y, al mismo tiempo, el ms fundamental: es el de mayor pobreza expresiva y, a la vez, el punto de partida de todos los dems. Este primer estrato lgico se ocupa de las relaciones de inferencia entre enunciados tomados en bloque. Quiere ello decir que el anlisis lgico se detiene por ahora al borde de los enunciados, sin penetrar en la estructura interna de stos, siendo el enunciado, por tanto, la unidad de anlisis. Es decir, la Lgica de enunciados es una lgica de enunciados sin analizar. La lgica de enunciados slo tendr en cuenta aquellas formas de deducir un enunciado a partir de otros que sean vlidas sin necesidad de analizar por dentro cada uno de ellos. Los elementos que componen internamente los enunciados son, en este nivel lgico, irrelevantes desde el punto de vista lgico.

En conclusin, en el clculo de proposiciones, como primer nivel del anlisis lgico, de lo que se trata es de analizar la validez de aquellos razonamientos en los que se parte de premisas que son enunciados sin analizar para llegar, como conclusin, a enunciados que tampoco se analizan. El clculo de proposiciones es, por tanto, el anlisis de las relaciones de inferencia entre proposiciones.

Nos encontramos en el apartado ms elemental de la Lgica. El anlisis del lenguaje que a l corresponda ha de ser, por tanto , el ms elemental, el ms grueso. El anlisis del lenguaje en que se basa el clculo de proposiciones divide al lenguaje y ya es simplificar- en dos tipos de elementos:
4

Dep. Filosofa / Filosofa y Ciudadana 1 Bachillerato Profesora: Montse Daz Pedroche

De una parte, proposiciones, frases enteras. (Contenido). De otra parte, conectivas, partculas que sirven para enlazar proposiciones simples formando proposiciones compuestas. (Forma).

En todo razonamiento podemos distinguir una forma (que es constante) y un contenido (que vara). La Lgica prescinde de los contenidos concretos, pero no de la idea de contenido en general. El contenido en general se representa mediante variables, mediante smbolos que sustituyen a enunciados cualesquiera. La forma se representa mediante smbolos constantes.

Los smbolos variables, tambin llamados variables proposicionales representan proposiciones. Una proposicin es un segmento lingstico con sentido que puede ser verdadero o falso. Es ms, no slo puede ser verdadero o falso sino que tiene que ser o verdadero o falso, pero no ambas cosas a la vez (Principio de bivalencia). Siguiendo una prctica casi universal se utilizan las letras minsculas a partir de la p como variables proposicionales (p, q, r, s, t, ....). Las proposiciones pueden ser simples o atmicas, aquellas que no incluyen ningn smbolo de enlace o conectiva; y compuestas o moleculares, aquellas que incluyen alguna conectiva.

Por su parte, los smbolos constantes o smbolos lgicos representan la forma de un razonamiento, su misin es servir de enlace, establecer conexiones entre las proposiciones, se denominan conectivas. La lgica define las conectivas extensional o materialmente, es decir, teniendo en cuenta slo su carcter operativo, y en modo alguno su sentido fctico. Tales definiciones son algortmias, realizadas por medio de una tabla de verdad, sistema mecnico que nos permite hallar el valor de verdad de una proposicin compuesta a partir del valor de verdad de las proposiciones simples que la forman. 2.1. LAS CONECTIVAS Aunque existen 20 conectivas (16 conectivas didicas y 4 conectivas mondicas), nosotras y nosotros vamos a estudiar slo las 5 conectivas ms usadas, a saber: la negacin, la conjuncin, la disyuncin, el condicional y el bicondicional. Antes de definir cada una de ellas conviene saber que una conectiva es mondica cuando afecta slo a una proposicin (sea simple o compuesta); por su parte, una conectiva es didica cuando alcanza a dos proposiciones (simples o compuestas).
5

Dep. Filosofa / Filosofa y Ciudadana 1 Bachillerato Profesora: Montse Daz Pedroche

Negacin: Es una conectiva mondica, es decir, afecta a una sola proposicin (sea simple o compuesta), se simboliza proposicin a la que afecta. p V F p F V , se lee no y cambia el valor de verdad de la

Conjuncin: Es una conectiva didica, es decir, afecta al menos a dos proposiciones (sean simples o compuestas) que da como resultado una proposicin compuesta que slo es verdadera cuando son verdaderas las proposiciones que la forman. Se lee y y se simboliza p V V F F q V F V F p V F F F q

Disyuncin: Es una conectiva didica, es decir, afecta al menos a dos proposiciones (sean simples o compuestas) que da como resultado una proposicin compuesta que es verdadera cuando al menos es verdadera una de las dos proposiciones que la forman. Se lee o y se simboliza p V V F F q V F V F p V V V F q

Condicional: Es una conectiva didica, es decir, afecta al menos a dos proposiciones (sean simples o compuestas) que da como resultado una proposicin compuesta que siempre es verdadera excepto si su antecedente es verdadero y su consecuente falso (p es el antecedente y q el consecuente). Se lee si entonces y se simboliza pq V F V V
6

p V V F F

q V F V F

Dep. Filosofa / Filosofa y Ciudadana 1 Bachillerato Profesora: Montse Daz Pedroche

Bicondicional: Es una conectiva didica, es decir, afecta al menos a dos proposiciones (sean simples o compuestas) que da como resultado una proposicin compuesta que es verdadera cuando tienen el mismo valor de verdad las dos proposiciones que la forman. Se lee si y slo si y se simboliza p V V F F q V F V F p V F F V q

2.2. LAS TABLAS DE VERDAD Mediante el mtodo de las tablas de verdad podemos averiguar si un razonamiento es formalmente vlido o no. Para ello construimos con el razonamiento una frmula condicional que tendr como antecedente la conjuncin de todas las premisas y como consecuente la conclusin. A continuacin elaboramos una tabla que tendr 2n filas (siendo n el nmero de variables proposicionales) y tantas columnas como necesitemos para hallar el valor de verdad de la frmula condicional completa. El resultado de dicha tabla puede ser: Todo verdadero, en cuyo caso la frmula es una tautologa. Slo en este caso el razonamiento es formalmente vlido. Todo falso, en cuyo caso la frmula es una contradiccin y el razonamiento NO es formalmente vlido. Verdaderos y falsos, en cuyo caso la frmula es una indeterminacin y el razonamiento NO es formalmente vlido.

2.3. LA DEDUCCIN NATURAL La deduccin natural es otro de los mtodos que podemos utilizar para averiguar si un razonamiento es o no es formalmente vlido. Para ello utilizaremos las reglas de transformacin de frmulas: Doble Negacin, Silogismo Disyuntivo, Modus Ponens, Modus Tollens, Dilema, etc. (cuadro fotocopiado).