Professional Documents
Culture Documents
EL CLCULO DE PROPOSICIONES Y DE
PREDICADOS
^
1. CONCEPTO DE CLCULO.
1.1 ELEMENTOS DEL CLCULO.
1.2 REGLAS DE FORMACIN.
1.3 REGLAS DE TRANSFORMACIN.
1.4 CARACTERSTICAS.
2. EL CLCULO DE PROPOSICIONES O ENUNCIADOS.
2.1 NOCIONES
2.2 LA LGICA
BSICAS Y ELEMENTOS.
PROPOSICIONAL COMO CLCULO DE DEDUCCIN NATURAL.
1.
CONCEPTO DE CLCULO.
2.
2.1.2
LENGUAJE
Podemos decir que las constantes lgicas del clculo corresponden estrictamente a las
conjunciones del lenguaje ordinario? La respuesta es que no. Cada constante lgica no se corresponde a
una nica conexin entre enunciados en el lenguaje ordinario, ni tampoco todas las conexiones del
lenguaje ordinario tienen una traduccin al lenguaje lgico. La traduccin del lenguaje natural al
lenguaje lgico recibe el nombre de formalizacin de enunciados o proposiciones. Veamos un
ejemplo:
Cuando uno no tiene imaginacin, la muerte es poca cosa;
cuando uno la tiene, la muerte es demasiado 1
Se puede formalizar as: (pq)^ (pq) 2
La lgica es un lenguaje artificial y por tanto restringido, con un radio de expresin corto. Esto le
permite una precisin mayor. Como la lgica tiene como objeto de estudio la validez formal de las
inferencias, es necesario un estudio del lenguaje en el que se realizan las inferencias. De este estudio
surge el lenguaje artificial de la lgica. La lgica basa su anlisis del lenguaje natural en los elementos
relevantes para la validez formal de los argumentos y nada ms. El resultado es un lenguaje formal que
integra los elementos del lenguaje natural en la estructura del clculo. Vamos a exponer los elementos y
el funcionamiento de ese clculo.
2.1.3
SIMBOLIZACIN.
Los enunciados sern representados en el clculo por medio de variables, designadas por letras
minsculas del alfabeto a partir de la p: p, q, r Estas letras recibirn el nombre de variables
proposicionales. Ejemplos:
-Jpiter gira alrededor del Sol= p
-El Tmesis es un ro= q
-Suiza es un pas europeo= r
Las constantes lgicas, conectivas o conectores del clculo proposicional son:
p
0
1
(La tabla indica que cuando la p es verdadera, su negacin p es falsa, mientras que si la p
es falsa, p ser verdadera)
1
1
0
0
1
0
1
0
p^
q
1
0
0
0
q
1
0
1
0
pq
1
1
1
0
Los dos usos de la partcula o son: El uso excluyente: o ganas, o pierdes, donde slo puede darse uno de los dos.
Y el uso no excluyente: vas al cine o vas al teatro, donde pueden darse uno, otro, los dos a la vez o ninguno de los
dos. ste ltimo es el uso que le vamos a dar en nuestro clculo proposicional.
Todas estas expresiones se pueden reducir, desde el punto de vista lgico a pq (si p,
entonces q):
-Si se va a hacer la revolucin, entonces acaba luego no hacindose.
-Si se ha nacido, entonces se muere.
-Si se compara Sodoma con Gomorra, entonces sale ganando la segunda.
-Si bien se piensa, entonces no hay por qu pensar bien.
-Si sigue siendo tan feliz, entonces acabar suicidndose.
-Si le pagan, entonces se convertir en un idelogo.
-Si no habiendo vino, entonces ya no hay amor.
-Si te dedicas al amor libre, entonces vers cmo te sorprende la muerte en pecado
mortal.
-Si hubiera sabido que iban a triunfar, entonces me hubiera apuntado.
-Si necesitas algo, entonces no me lo pidas.
Un condicional es verdadero siempre que no se d el caso de que su antecedente sea
verdadero y su consecuente falso al mismo tiempo, y es falsa slo si se da esta
circunstancia.
p
1
1
0
0
pq
1
0
1
1
2.1.4
Q
1
0
1
0
q
1
0
1
0
REGLAS
pq
1
0
0
1
DE FORMACIN.
Las reglas de formacin definen qu expresiones son frmulas: expresiones bien formadas del
clculo proposicional. Dichas reglas parten de una primera: una proposicin cualquiera es una frmula o
expresin bien formada del clculo. Cuando la proposicin est formada por una letra se denomina
frmula atmica: p es una frmula atmica. La unin de una frmula atmica con otras por medio de
las conectivas se denomina frmula molecular. As, una frmula molecular sera p^q, p o incluso
p^qp.
Una frmula o expresin bien formada del clculo es un smbolo o serie de smbolos de los definidos
anteriormente (letras de enunciados y conectivas) que se atiene estrictamente a las siguientes reglas de
formacin:
2.1.5
SMBOLOS
Y NOCIONES ADICIONALES.
Para expresar mejor y sin ambigedades la estructura interna de las frmulas se usan parntesis
que delimitan exactamente el conjunto de frmulas afectadas por cada signo lgico. La expresin
4
Por ejemplo A puede ser la frmula atmica p o una frmula molecular como p^q. Otras frmulas moleculares
pueden ser p o (p^q) (p^q).
p^qr puede resultar ambigua porque no sabemos si la conectiva principal es una conjuncin ^ o una
disyuncin . No es lo mismo p^(qr), cuya conectiva principal es una conjuncin, que la disyuncin
(p^q)r5. En la prctica hay unas convenciones que simplifican el uso de los parntesis, permitindonos
prescindir de algunos:
conjuntor)
2.2 LA
2.2.1
La lgica expresa los resultados de su anlisis en forma de leyes que expresan esquemas vlidos
de inferencia6. Estos esquemas o reglas de inferencia son como moldes correctos de razonamiento,
cuya forma o estructura puede adoptar diferentes maneras, siendo la ms comn:
Premisa 1
dada, sea
Premisa 2
Conclusin
AB
A
Estos esquemas deben cumplir con un requisito fundamental: interpretadas sus variables con
proposiciones cualesquiera, si los enunciados de las premisas son verdaderos, tambin debe ser
verdadero el enunciado que aparece en la conclusin. Veamos el ejemplo:
En primer lugar interpretamos las variables de los esquemas:
AB
A
B
pq
p
q
Una vez interpretadas, tenemos que cumplir el requisito fundamental: si las premisas son
verdaderas, entonces la conclusin tambin debe ser verdadera. Es decir, que si tomamos que Si llueve,
entonces las calles se mojan y Llueve son verdaderas, la conclusin Las calles se mojan debe ser
necesariamente verdadera.
Los esquemas o reglas de inferencia pueden sistematizarse en un clculo de deduccin natural,
es decir, formar un sistema o conjunto estructurado de reglas que se corresponden con la
esquematizacin del modo natural de razonar. Esta sistematizacin supone seleccionar un conjunto
pequeo de reglas bsicas y a partir de ellas derivar, obtener mediante inferencias un conjunto mayor
de otras reglas derivadas.
En una inferencia o deduccin nos podemos encontrar unos supuestos y unas reglas de
inferencia. Los supuestos pueden ser premisas (denominados tambin supuestos previos) o bien
supuestos provisionales, que sirven momentneamente de apoyo en el desarrollo de la deduccin, pero
siempre deben cancelarse o cerrarse al final de la deduccin. Veamos con ms detenimiento en qu
consiste sto. El clculo de deduccin natural es una secuencia finita de frmulas; cada una de ellas es un
supuesto previo, un supuesto provisional o una frmula deducida de otra u otras anteriores por aplicacin
de una de las reglas. La conclusin se nos da de antemano, de lo que se trata es de demostrar la
conclusin a partir de las premisas dadas.
La deduccin se realizara as:
a) Se numeran en la izquierda a partir del nmero 1.
b) Las premisas se ponen en primer lugar, sealndose con un guin a la izquierda del nmero.
c) Los supuestos provisionales se sealan con un ngulo recto () antes del nmero que se unir
con un lnea recta a otro ngulo () correspondiente a la lnea que los cancela.
d) Se pone a la derecha un comentario: las siglas de la regla por la que se infiere la lnea y los
nmeros de las lneas a las que se ha aplicado la regla.
5
Para comprobarlo podemos recurrir a la tabla de verdad de la disyuncin y la conjuncin. Intuitivamente podemos
comprobar que la expresin voy al cine y compro palomitas o me quedo en casa no significa lo mismo si la conectiva
principal es una conjuncin o una disyuncin.
6
Una inferencia es un razonamiento, una argumentacin racional; tambin se denomina deduccin lgica.
(El guin a la izquierda del nmero 1 indica que es una premisa o supuesto previo)
(El guin a la izquierda del nmero indica que tambin es una premisa)
(El comentario dice que se ha aplicado la regla de eliminacin del conjuntor en 1)
(Aqu dice que se ha aplicado la regla del modus ponens para eliminar el en las
Lneas 2 y 3)
La deduccin es correcta, pues a partir de las premisas hemos obtenido la conclusin aplicando las
reglas del clculo. Pero para comprender cmo se ha conseguido la deduccin, debemos conocer antes
las reglas bsicas.
2.2.2
Reglas bsicas
Las reglas bsicas son las ocho seleccionadas por Gentzen, dos para cada unas de las cuatro
conectivas (, , , ^), una de introduccin y otra de eliminacin.
*ELIMINACIN DEL CONJUNTOR (EC) o Simplificacin (Simpl.)
A ^B
A
A^B
B
Si una conjuncin es verdadera, tambin lo deben ser cada uno de sus miembros (vase la tabla de
verdad)
*INTRODUCCIN DEL CONJUNTOR (IC) o Producto Lgico (Prod.)
A
B
A^B
A
B
B^A
Si podemos afirmar dos verdades por separado, tambin podemos afirmar la verdad de su unin.
*ELIMINACIN DEL CONDICIONAL (EI) o Modus Ponens (MP)
AB
A
B
A
Si de un supuesto provisional A y de un conjunto de frmulas, que puede ser vaco,
obtenemos una contradiccin B^B, el supuesto debe ser negado porque es inadmisible.
B^B
A
B
AB
Si tenemos una frmula verdadera, su valor de verdad no cambia al aadirle cualquier otra frmula
por medio de disyuntor.
2.2.3
Resolucin de argumentos.
El uso de reglas bsicas es suficiente para resolver todo problema deductivo que tenga solucin.
Pero debemos seguir una serie de estrategias en el uso de las reglas.
1) Asegurarse de la correcta formalizacin de un argumento si este ha sido traducido del
lenguaje ordinario.
2) Una vez dispuestas en columna y ordenadas las premisas se intentar extraer de stas la
conclusin o las frmulas que puedan acercarnos a ellas por sucesivas aplicaciones de las
reglas.
3) Si no se puede extraer directamente la conclusin de las premisas, intentarlo utilizando
supuestos provisionales. Si la frmula intermedia que necesitamos es un condicional,
suponemos el antecedente y si llegamos a su consecuente, aplicamos el Teorema de la
Deduccin. Si la frmula intermedia necesaria para llegar a la conclusin es un disyuncin,
debemos suponer sus miembros y usar la Prueba por casos.
4) Si fallan estos intentos, se puede recurrir a la deduccin indirecta, suponiendo la negacin de
la conclusin y aplicando la reduccin al absurdo.
2.2.4
La resolucin de argumentos se facilita y abrevia si se aaden a las reglas bsicas de Gentzen otras
nuevas que se basan o derivan de ellas, por lo que reciben el nombre de reglas derivadas. Estas reglas
expresan leyes lgicas:
*Ley del silogismo hipottico:
AB
BC
AC
*Principio de identidad:
A
A
*Ley de contraposicin:
AB
BA
*Introduccin de la doble negacin:
A
A
*Principio de no contradiccin:
(A^A)
*Modus tollens:
AB
B
A
*Silogismo disyuntivo:
AvB
B
A
AvB
A
B
*Leyes De Morgan:
(A^B)
AvB
(AvB)
A^B
3.
3.1 FUNCIONES
DE VERDAD.
Una deduccin es correcta cuando la verdad de sus premisas implica la verdad de su conclusin. La
semntica trata de las interpretaciones de las frmulas. En lgica, la interpretacin de un enunciado o
proposicin ser su valor de verdad.
Una frmula atmica es una frmula compuesta por una sola variable proposicional. Una frmula
molecular es una frmula compuesta por una o varias variables proposicionales y una o varias conectivas.
En el clculo de proposiciones es posible determinar exactamente el valor de verdad de una frmula
molecular a partir del valor veritativo del de las frmulas atmicas que la componen y de las definiciones
de las conectivas. El valor verdadero se representa con un 1, mientras que el valor falso con un 0.
3.2 TABLAS
DE VERDAD.
Las funciones de verdad pueden representarse mediante tablas. Ya presentamos ejemplos de tablas
al definir las conectivas. Veamos ahora cmo se construyen para frmulas ms complejas.
El primer paso para construir una tabla es calcular el nmero de filas que debe tener para recoger
todas las combinaciones posibles de los valores de verdad de los enunciados que las componen. Siendo
n el nmero de variables proposicionales de una frmula, el nmero de filas es de 2 n.
El segundo paso es la determinacin del nmero de columnas. La tabla debe tener una columna
por cada uno de los elementos diferentes entre s del conjunto de sus subfrmulas y una para la frmula
completa.
El tercer paso es construir el encabezamiento de la tabla, que debe contener todas las
subfrmulas ordenadas de izquierda a derecha, de las frmulas atmicas a las ms complejas,
terminando en el extremo derecho con la frmula completa que analizamos.
El cuarto paso atribuir los valores de verdad a las variables proposicionales de las columnas
iniciales, que deben recoger todas las posibles combinaciones de valores posibles, para lo que se utilizar
la siguiente estrategia: Se divide entre dos el nmero de filas de la tabla, colocndose primero los unos
seguidos y luego los ceros; si hubiera una segunda columna se divide el nmero total por cuatro y se van
colocando primero los unos y despus los ceros; si hubiera una tercera columna la divisin sera entre
ocho y as sucesivamente.
El quinto paso es la elaboracin de las columnas intermedias correspondientes a cada una de sus
subfrmulas, a partir de los valores de verdad de las variables proposicionales y las definiciones de las
conectivas. Se comienza por las variables negadas, luego por las subfrmulas con dos variables unidad
por una conectiva y as sucesivamente, en orden inverso a la complejidad de las subfrmulas, es decir, de
las ms simples a las ms complejas.
El sexto y ltimo paso es atribuir el valor de verdad a la ltima frmula, que es la frmula
analizada, la ms compleja, a partir de las columnas de las subfrmulas.
Sea la frmula que quiero analizar (p^q)^(rvp), aplico los pasos y obtengo esta tabla:
p q r
1
1
1
1
0
0
0
0
3.3 TAUTOLOGAS,
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
p
0
0
0
0
1
1
1
1
r
0
1
0
1
0
1
0
1
p^q
rvp
1
1
0
0
0
0
0
0
0
1
0
1
1
1
1
1
(p^q)^(rvp
)
0
1
0
0
0
0
0
0
CONTRADICCIONES Y CONTINGENCIAS.
Al observar la ltima columna de una tabla de verdad podemos ver tres tipos de resultados:
a) Slo valores positivos (unos). Son las tautologas.
b) Slo valores negativos (ceros). Son las contradicciones.
c) Valores de los dos tipos. Son las contingencias o indeterminaciones.
3.4 INTERDEFINICIN
DE CONECTIVAS.
Las conectivas son interdefinibles entre s a partir de los valores de verdad, es decir, que cuando
dos tablas de verdad son idnticas, podemos decir que dos frmulas son equivalentes, porque tienen el
mismo valor de verdad. Estas definiciones reciben el nombre de leyes de interdefinicin, y pueden
usarse como leyes derivadas. Son de varios tipos, segn en qu conectivas se basen:
a) Basadas en y ^:
AvB=(A^B) Df.
AB=(A^B) Df.
b) Basadas en y v
A^B=(AvB) Df.
AB=AvB Df.
c)
Basadas en y
A^B=(AB) Df.
AvB=AB Df.
AvB=BA Df.
AvB=(AB)B Df.
AvB=((AB)(BA) Df.
4.
4.1 FORMALIZACIN
DE PROPOSICIONES.
5.
5.