Está en la página 1de 6

LGICA PROPOSICIONAL O DE ENUNCIADOS

ESQUEMA CENTRAL.
1. INTRODUCCIN.
2. SINTAXIS DE LA LGICA PROPOSICIONAL.
2.1. Elementos del clculo.
2.2. Simbolizacin.
2.3. Formalizacin
2.4. Reglas de formacin.
2.5. Reglas de trasformacin.
2.6. Resolucin de argumentos.
2.7. Demostraciones.
3. SEMNTICA DE LA LGICA PROPOSICIONAL.
DESARROLLO DEL TEMA.
1. INTRODUCCIN.
Para la introduccin de este tema vamos a establecer una diferencia entre las
ciencias formales y las ciencias positivas, que se dividen en ciencias empricas y
ciencias sociales. Las ciencias empricas son aquellas que se apoyan en datos empricos
y abordan el estudio de la naturaleza, entre ellas podemos destacar la fsica, la biologa,
etc., mientras que las ciencias sociales, aunque se apoyan tambin en datos empricos,
estn dirigidas al estudio del ser humano y sus productos culturales, entre ellas podemos
destacar la antropologa, la economa, la sociologa, etc.
Pero volvamos nuestra atencin hacia las ciencias formales, ya que, son las que
abordaremos en este tema, entre estas podemos encontrar la matemtica y la lgica.
Ambas se denominan formales porque abstraen el contenido y se dedican a la forma.
Pongamos el ejemplo de la matemtica: sta estudia los nmeros y sus relaciones, pero
el nmero cuatro no existe en la realidad, sino que es una abstraccin que realiza la
mente humana, lo que existe son los objetos concretos, a saber, cuatro mesas, cuatro
bolgrafos... por ello, decimos que el nmero cuatro es una abstraccin.
La lgica es la ciencia que estudia la inferencia formalmente vlida. Una
inferencia es una argumentacin, un razonamiento, una estructura, de la que, a partir de
ciertos elementos dados o premisas, se extrae una conclusin, pero no cualquier tipo de
conclusin, pues, en lgica solamente tienen cabida las inferencias que siguen las reglas
de formacin y transformacin.
La lgica es un clculo, pero, qu es un clculo? Es un sistema puramente formal
o estructura en la que quedan definidos sus elementos y las relaciones que se pueden
establecer entre ellos.

Por tanto, la lgica es una ciencia formal y dentro de ella existen distintos tipos de
clculos, el clculo que nosotros vamos a desarrollar y trabajar es la lgica
proposicional o lgica de enunciados que es la base sobre la que se constituye y apoya
todo el edificio lgico.
La lgica proposicional tiene dos partes, por un lado la sintaxis, que se ocupa de la
estructura o forma, y, por otro la semntica, que se ocupa del contenido y, por ello, de la
verdad o falsedad de las proposiciones y argumentos, as la semntica supone la
interpretacin del clculo. Comenzaremos por la sintaxis:
2. SINTAXIS DE LA LGICA PROPOSICIONAL.
2.1. Elementos del clculo.
a. Elementos primitivos: Son las variables proposicionales que
expresan los posibles contenidos de las distintas proposiciones,
representan oraciones o frases enteras, por medio de las letras p, q,
r, s, t, (siempre en minsculas).
b. Operadores o constantes lgicas: stos son los nexos que enlazan
oraciones simples para formar oraciones complejas y expresan
formas iguales en distintos argumentos. Existen dos tipos de
operadores: los mondicos, que operan slo con un elemento
primitivo: el negador `, y los didicos que son constantes lgicas
que operan con dos elementos primitivos: la conjuncin ` ^, la
disyuncin`v, el implicador ` y el coimplicador ` .
2.2. Simbolizacin. Los operadores o constantes lgicas de la lgica proposicional son:
a) Negador. Se simboliza con ` , puede ser considerado como la partcula no del
lenguaje ordinario. Si aparece junto a la proposicin p ( p) puede leerse no p.
b) Conjuntor o producto lgico. Se simboliza con ` ^ , puede ser considerado como la
partcula y del lenguaje ordinario, si une la proposicin p con la proposicin q (p ^ q) se
lee p y q.
c) Disyuntor o suma lgica. Se simboliza con ` v y corresponde en el lenguaje
ordinario a la partcula o. Dos proposiciones unidas por esta conectiva (p v q) se lee p
o q. Esta disyuncin es la inclusiva, ya que, se corresponde con el significado de la
palabra latina vel y es verdadera cuando alguno de las proposiciones que une es
verdadera o cuando las dos lo son, mientras que la disyuncin exclusiva se corresponde
con la palabra latina aut y slo es verdadera si uno de sus miembros lo es, esta ltima
no la vamos a desarrollar, simplemente mencionarla para tener conocimiento de que
existe.
d) Implicador o condicional. Se simboliza con ` y puede ser considerado como una
formalizacin de la expresin del lenguaje ordinario sientoncesla unin de dos
proposiciones o enunciados por el implicador (p q) se lee si p entonces q.

e) Coimplicador o bicondicional. Se simboliza con ` y se traduce al lenguaje


ordinario por si y solo si...entonces. La expresin (p q) se lee si y solo si p
entonces q.
2.3. Formalizacin. Podemos formalizar expresiones del lenguaje natural al lenguaje
lgico y para ello, tendremos que tener en cuenta las siguientes indicaciones:

Se emplearan distintas variables enunciativas para cada enunciado distinto.


Se utilizar una nica variable para cada enunciado aunque ste sea muy largo.
El negador` simboliza no slo las negaciones explcitas, sino tambin las
implcitas.
El conjuntor` ^ no slo sirve para simbolizar la conjuncin copulativa `y,
sino tambin para otras formas, que existen en nuestra lengua, de construir
enunciados conjuntivos del tipo `e, `pero, las comas e incluso la ausencia de
ellas, en ocasiones se suelen formalizar mediante el operador lgico ` ^ .
La disyuncin simbolizada por el signo` v corresponde a la disyuncin
inclusiva, en la que alguno de los dos puede ser cierto, pero tambin pueden
serlo los dos.
A veces se omiten los verbos, lo cual no debe impedirnos ver que hay ms de
un enunciado.
Mediante el condicional ` se simbolizan expresiones condicionales del
tipo `si entonces. Pero, a veces, tambin se formalizan, por medio del
condicional, expresiones que no se muestran de esta forma tan sealada, por
ejemplo: `si te gusta, te lo regalar o `ao de nieves, ao de bienes o` pagar
slo si merece la pena.
El bicondicional ` equivale a dos condicionales y se lee `si y solo si
entonces.
Por ltimo, hay que tener en cuenta que cuando aparece una negacin aplicada
a ms de un enunciado debemos indicar mediante parntesis a qu afecta.

2.4. Reglas de formacin. Estas reglas definen que expresiones estn bien formadas,
para hablar de las reglas de formacin es necesario definir primero qu sea una frmula
atmica y qu sea una frmula molecular.
Una frmula atmica es una frmula compuesta slo por una variable
proposicional, ej.: `p. Mientras que una frmula molecular es una frmula compuesta
por una o varias variables proposicionales y uno o varios operadores o constantes
lgicas, ej.: ` p, o `p v q.
Las reglas de formacin son:
R1. Una frmula atmica es una frmula bien formada.
R2. Si `A es una frmula bien formada, entonces ` A tambin es una frmula bien
formada.
R3. Si `A y `B son frmulas bien formadas, entonces `A ^ B, `A v B, `A B
y `A B tambin son frmulas bien formadas.
R4. Nada ms es una frmula.
2.5. Reglas de transformacin. Estas reglas se entregarn en un folio aparte y
constituyen nuestra herramienta principal de trabajo a la hora de resolver argumentos.
3

Entre stas encontraremos reglas bsicas y reglas derivadas (de las bsicas). Las reglas
bsicas poseen para cada constante lgica u operador dos reglas una de introduccin y
otra de eliminacin.
2.6. Resolucin de argumentos. El uso de las reglas bsicas es, en principio, suficiente
para resolver todo problema deductivo que tenga solucin en lgica proposicional, ya
que, las reglas derivadas no son ms que simplificaciones del uso de las reglas bsicas.
Su empleo debe atenerse a la siguiente estrategia:
1. Asegurarse de la correcta formalizacin del argumento si ste ha sido traducido
del lenguaje ordinario.
2. Una vez dispuestas en columna y ordenadas las premisas se intentar extraer de
las mismas por sucesivas aplicaciones de las reglas la conclusin o las frmulas
que puedan acercarnos a ella.
3. Eventualmente, cabe el recurso a supuestos provisionales de tipo directo. Si la
conclusin o la frmula intermedia que necesitamos es una implicacin, hemos
de suponer su antecedente para llegar hasta el consecuente, usando el teorema de
la deduccin o regla de introduccin del implicador. Si necesitamos usar una
premisa o una frmula intermedia que no tenga la forma de una disyuncin, es
preciso suponer sus miembros, usando la prueba por casos o regla de
eliminacin del disyuntor.
4. Si fallan estos intentos, se puede recurrir a la deduccin indirecta, suponiendo la
negacin de la conclusin que pretendemos alcanzar y aplicando la reduccin al
absurdo o regla de eliminacin del negador, regla que supone encontrar una
contradiccin, para negar aquello de lo que habamos partido.
2.7. Demostraciones. Una demostracin es una deduccin sin premisas, esto quiere
decir que es preciso derivar la conclusin que se pretende obtener de las reglas del
clculo y supuestos provisionales nada ms. Las reglas demostrables en el clculo
pueden considerarse principios lgicos, ya que se derivan de la estructura sintctica del
mismo. Simbolizamos que una frmula es demostrable ponindole el deductor (
)a
la izquierda.
3. SEMNTICA DE LA LGICA PROPOSICIONAL.
Completa la exposicin de la estructura sintctica del clculo proposicional vamos a
considerar los aspectos semnticos del mismo.
La semntica interpreta las frmulas. La lgica es un lenguaje artificial
interpretable, segn los lenguajes naturales. La interpretacin de un enunciado o
proposicin ser su valor de verdad.
La semntica pone en conexin las variables de las frmulas con el conjunto de los
valores de verdad, que representaremos por 1 (verdadero) y 0 (falso); De esta forma nos
encontramos ante una lgica bivalente, a saber con nicamente dos valores posibles, en
la lgica no hay medias tintas. Esta conexin, entre las variables proposicionales y los
valores de verdad, puede ser representada grficamente mediante las llamadas tablas de
verdad, vamos a ver cmo se construyen:
1. Calcular el nmero de filas que debe tener para que pueda recoger todas las
combinaciones posibles de los valores de verdad de los enunciados que las componen.

Se calcula siendo n el nmero de variables proposicionales de una frmula, as el


nmero de filas que deber tener la tabla de verdad ser 2 elevado a n.
2. Es la determinacin del nmero de columnas. La tabla de verdad tendr una columna
por cada uno de los elementos diferentes entre s del conjunto de sus subfrmulas y una
para la frmula completa.
3. Construir el encabezamiento de la tabla, que debe contener todas las subfrmulas
ordenadas de izquierda a derecha, de las frmulas atmicas a las frmulas ms
complejas, terminando en el extremo derecho con la frmula que analizaremos.
4. Confeccin de las columnas iniciales, en las que se hace atribucin veritativa de
todas las letras proposicionales de la frmula. Esta atribucin debe recoger todas las
posibles combinaciones de valores de verdad de las mismas. Para ello se seguir la
siguiente estrategia: se divide por dos en nmero de filas de la tabla, colocndose un
nmero de unos seguidos, igual al resultado, en la primera columna, completndose sta
con un nmero igual de ceros; en la segunda columna se divide el nmero de filas de la
tabla entre cuatro colocando un nmero de unos igual al resultado seguido del mismo
nmero de ceros, seguido del mismo nmero de unos, seguidos del mismo nmero de
ceros; si hubiera una tercera columna, con una letra proposicional distinta a las otras, se
hara la divisin entre ocho y as, sucesivamente.
5. Es la elaboracin de las columnas intermedias correspondientes a cada una de las
subfrmulas. Estas columnas se elaboran a partir de los valores de verdad asignados a
las variables proposicionales y las definiciones de las constantes lgicas u operadores,
as, necesitaremos haber calculado los valores de verdad de las subfrmulas ms
simples para calcular las de las ms complejas.
6 y ltimo paso. Es la confeccin de la columna final, correspondiente a la frmula
analizada, a partir de las columnas correspondientes a las subfrmulas y la constante
lgica principal de la frmula completa.
Partiendo de que la tabla de verdad expresa los valores de verdad de una
expresin en funcin de sus elementos constitutivos, el resultado de dicha expresin
determinar su tipo, segn los valores de verdad y falsedad que obtengamos. De esta
manera, nos podemos encontrar con tres tipos de expresiones:

Tautologa: Expresiones cuya funcin de verdad resulta siempre vlida,


independientemente del valor de verdad que tomen sus proposiciones, esto es, en
la ltima columna aparecern slo unos, esto es, valores verdaderos.
Contradiccin: Expresiones que siempre resultan falsas, esto es, en la ltima
columna aparecern nicamente ceros.
Consistencias: Expresiones cuya funcin de verdad vara entre la validez y no
validez del valor de las proposiciones que la constituyen, a saber, valores
positivos (1) y valores negativos (0).