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 se puede llevar a cabo desde distintos niveles de
anlisis lgico del lenguaje. Existen dos niveles de anlisis lgico del lenguaje, a
los que corresponden dos niveles de clculo lgico: el clculo de proposiciones y
el clculo de predicados.
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.
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.

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:

De una parte, proposiciones, frases enteras. (Contenido).

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

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.

Fuente de informacin: Libro Lgica y Ciudadana 1