LGICA PROPOSICIONAL O SIMBLICA

Un poco de historia...

La lgica simblica o matemtica, no es una lgica distinta de la lgica clsica

o aristotlica, sino que ms bien, se trata de dos momentos en el desarrollo de una
lgica, dos momentos histricos. La lgica en su presentacin clsica, como silogstica,
obedeca a la obra de Aristteles (filsofo y cientfico griego, 384-322 a.C), pero Kant
(filsofo alemn, 1724-1804), en el siglo XVIII, afirmaba que, desde ese inicio, la
lgica no haba dado un paso adelante ni atrs. En realidad, esta afirmacin kantiana no
se alejaba de la realidad. Excepto por algn intento solitario de G. Leibniz (filsofo
alemn, 1646-1716), pretendiendo crear una especie de lenguaje universal, al modo de
las matemticas, con el que segn su autor, todos los problemas podan ser resueltos de
un modo mecnico como clculo, la lgica no haba realizado grandes progresos desde
Aristteles.
Sin embargo, a fines del s. XIX y comienzos del XX, la lgica experimeta un
vertiginoso avance, difcil de preveer desde la perspectiva de la lgica clsica. Este
avance obedece, en buena medida, a los aportes de Boole (lgico y matemtico
britnico, 1815-1864), De Frege (matemtico y filsofo alemn, 1848-1925), entre
otros.
Estos aportes consisten, a grandes rasgos, en llevar a cabo una completa
formalizacin del lenguaje. Como consecuencia de ello, se puede considerar la lgica
desde una perspectiva matemtica, lo cual confiere otro rigor y precisin. Con estos
nuevos elementos, la nueva lgica mostrar otro alcance y profundidad, pudindose
realizar en ella, no solo todas las operaciones que se podan realizar en la lgica clsica,
sino que adems, es posible solucionar problemas que sta no solucionaba y tambin
analizar nuevos tpicos.
Caractersticas de la lgica simblica o matemtica:
La lgica simblica, se distingue por el uso de instrumentos ms refinados que la
lgica clsica, antes que por el objeto de sus estudios. Algunas de sus caractersticas
distintivas son:
La lgica simblica se construye de un modo totalmente formalizado, o sea
que utiliza los smbolos como si fueran signos materiales, sin tener en cuenta su
significacin. Si bien la lgica clsica posea cierto grado de formalizacin,
presentaba expresiones del lenguaje natural que hacan ambiguas algunas de sus

consideraciones. El tratamiento tcnico que es posible darle a las

argumentaciones obedece a la formalizacin.
Las expresiones se transforman mediante la aplicacin de reglas de operacin
exactas y explcitas. Esto permite operar en la lgica como un clculo.

La utilizacin de una simbologa para el proceso de la formalizacin se

lleva a cabo de manera consecuente y completa. Esta caracterstica se conoce
como simbolizacin.
Las caractersticas anteriores permiten presentar muchos captulos de la
lgica simblica como sistemas axiomticos.

La lgica proposicional:
La lgica proposicional, tambin llamada "lgica de enunciados" o "lgica de
conectivas interproposicionales", es la parte de la lgica que estudia el modo de
construccin de enunciados a partir de otros enunciados. No le interesar, el modo en
que se construyen enunciados a partir de elementos que no sean ellos mismos
enunciados.
En este dominio lgico, nos ocuparemos de las proposiciones considerndolas
como un "todo", o sea, sin descomponerlas en sus partes, en este sentido prescindiremos
de la estructura interna de las proposiciones y consideraremos proposiciones a lo que
entendamos por enunciados, o sea, las afirmaciones susceptibles de ser declaradas
verdaderas o falsas. En este sentido son proposiciones o enunciados, expresiones tales
como "la miel es dulce", "llueve", "2 x 3 = 6".

Gramtica lgica:

Para expresar las proposiciones, en este nivel lgico utilizaremos las letras
minsculas del alfabeto latino: "p", "q", "r", "s", etc.

Proposiciones atmicas y moleculares:

Atmicas: Son aquellas que no estn afectadas por ninguna conectiva.

Ej: "llueve", representada por la letra "p".

Moleculares: Son aquellas que aparecen afectadas por conectivas lgicas,

pudindose obtener de ms de un modo: por ej, "no llueve", que expresa la negacin del
enunciado o cuando relacionamos ms de un enunciado mediante conectivas o
constantes lgicas, por ej, "llueve y hace fro".

Conectivas o constantes lgicas:

Estas expresiones, junto alas que expresan variables, nos permiten la
construccin de enunciados complejos. Estas expresiones tienen un comportamiento
constante, son partculas sintcticas o lgicas.
Sobre el uso de parntesis:

Al igual que en las matemticas, los parntesis tienen la funcin de unir o

separar expresiones. Por lo tanto, de aparecer una negacin precediendo un parntesis,
sta afecta al resultado de todo e mismo y ya no slo a las variables que aparece
inmediatamente a se derecha. Por ej: -(p.q); la negacin no afecta slo a p, sino a toda la
expresin.

Tablas de verdad:
Funciones veritativas:
Una proposicin molecular puede descomponerse pues, en proposiciones
atmicas y conectivas proposicionales.
Sabemos que toda proposicin posee, por definicin, un valor veritativo: es
verdadera (V) o falsa (F). Depender el valor veritativo de una proposicin molecular
del valor de verdad de las atmicas que la componen?.
Tomemos el caso de la proposicin molecular ms simple posible, la negacin
de una atmica, por ejemplo:
1. No llueve (-p)
2. Estaba ebrio y colrico (p.q)

3. Estaba ebrio o colrico (p v q)

En el caso 1, es claro que el valor de verdad de "-p" depende del de "p", pues si "p"
es verdadera (es decir, si llueve), "-p" es falsa (es falso que no llueve) y si "p" es falsa
(esto es, si no llueve), "-p" es verdadera (es verdadero que no llueve).
En el caso 2, la proposicin resultar falsa en todos los casos, excepto en uno:
cuando ambas atmicas son verdaderas.
En el caso 3, ser verdadera en todos los casos excepto en aquel en que ambas
atmicas fueran falsas.
A continuacin se muestran cules son los resultados que las diferentes
conectivas arrojan para las mismas combinaciones de valores de verdad, en las que
denominamos tablas de verdad.

El caso de negacin es ms sencillo:

p

-p

Simbolizacin de proposiciones y tablas de verdad:

Cmo simbolizar proposiciones moleculares, que combinan ms de una conectiva?:

Ejemplifiquemos:

1."No fue al cine, pero concurri al teatro", incluye una negacin y una conjuncin; la
conjuncin afecta a la primera proposicin solamente, en este caso. Esta proposicin se
simboliza "-p.q".
2. Pero la proposicin "No es cierto que fui al cine y al teatro", se advierte que la
negacin afecta a la conjuncin en su conjunto; esta proposicin se simboliza "-(p.q)".

Los parntesis y llaves indican el alcance de la conectiva, de modo similar como

en matemtica determinan el alcance de una operacin. Y se debe aclarar tambin que
cuando una proposicin atmica se repite, debe repetirse la variable proposicional que
la simboliza.
Tambin se debe tener presente que estamos trabajando con una lgica
bivalente, lo cual significa que los valores de verdad que se le asignen a cada variable
proposicional, tendrn como base el nmero dos, elevado a la cantidad de variables
proposcionales que se tengan, y eso determinar la cantidad de hileras de valores de
verdad y falsedad que se deben colocar.

Ejemplos:
1. p.q, aqu, son dos variables proposicionales, por lo tanto es 2 2 = 4, y la tabla
quedar de la siguiente manera:

p.q

Tautologa, contingencia y contradiccin:

El resultado que nos puede ofrecer una tabla de verdad, puede asumir tres
combinaciones de valores diferentes: 1) que nos d siempre verdadero; 2) que nos
d siempre falso; 3) que en algunos casos d verdadero y en otros falso. Estos tres
resultados dan lugar a tres tipos de expresiones diferentes que llamaremos, por su
orden, tautologa, contradiccin y contingencia.

Validez y verdad:
La verdad de las expresiones moleculares dependa de los valores de verdad de
los enunciados atmicos componentes. De este modo cuando sealamos qu valores
deben tomar los enunciados componentes para que el compuesto sea verdadero estamos
dando las condiciones de verdad del compuesto. Todos los compuestos que
consideramos eran tales que .resultaban verdaderos para algunas asignaciones de valor a
sus enunciados componentes y falsos para otras. Sin embargo hay enunciados
compuestos que resultan verdaderos para cualquier asignacin de valores de verdad a
sus componentes. Cuando un enunciado resulta falso para cualquier valor de verdad de
sus componentes decimos que es inconsistente. A su vez cuando resulta verdadero para
toda asignacin de valores a sus componentes decimos que es vlido.

Tablas de equivalencia (TE):

hemos presentado un procedimiento que dada una expresin cualquiera nos

permita determinar su validez y a partir de sta las relaciones de implicacin y
equivalencia. Sin embargo, no cabe duda de que dicho procedimiento resultara bastante
tedioso, e incluso engorroso, cuando tratramos con enunciados que contuvieran cuatro
o ms enunciados atmicos distintos como componentes. Considrese que si el
enunciado contiene cinco enunciados componentes distintos tendramos que considerar
25=32 combinaciones de valores de verdad, lo cual dara una tabla con 32 lneas; y si
contuviese seis enunciados atmicos distintos tendramos 26=64 lneas, y es evidente
que una tabla con 32 o 64 lneas es algo cuya
construccin resulta muy poco edificante.

Por ejemplo, si tenemos la siguiente conjuncin p . q y sabemos que q

tiene el valor V es obvio que el valor de la conjuncin ser el mismo que el de la
expresin p ya que si p es V los dos componentes de p . q tendran el valor V y
por lo tanto p . q tomara el valor V; por otra parte se p es F, entonces p . q
tomara el valor F an cuando q sea V. A su vez, si sabemos que q es F, entonces
cualquiera sea el valor de p, p . q tomar el valor F ya que una conjuncin uno de
cuyos componentes es F toma el valor F. Podemos hacer el mismo razonamiento con

cada una de las conectivas fundamentales. Como resultado de ese anlisis obtendremos
la siguiente tabla:

En esta tabla en la columna de la izquierda anotamos el enunciado compuesto

por un enunciado atmico y un valor de verdad (en realidad debe entenderse que no es
un valor de verdad lo que figura como componente, sino un enunciado que posee un
valor de verdad) y en la columna derecha la expresin a la cual la misma es equivalente.

Anlisis veritativo funcional:

Ahora que hemos construido la tabla (TE) estamos en condiciones de dar un

procedimiento que nos permitir decidir la validez de enunciados cualesquiera y que
resulte ms simple, en el caso de enunciados con muchos enunciados componentes
distintos Supongamos que nos interesa determinar si el siguiente enunciado es vlido:

En este caso trazaremos debajo del enunciado en cuestin dos columnas y

escribiremos en la columna de la izquierda el resultado de sustituir en ese enunciado la
letra p por V y en la columna derecha el resultado de sustituir p por F.

Como podemos ver cada una de las columnas cierra en V y por lo tanto la expresin
resulta ser vlida. Si las columnas hubieran cerrado algunas en V y otras en F la

expresin habra resultado consistente y si el cierre de todas las columnas hubiese sido
en F resultara inconsistente.