Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1.Introduccin
1.1.LEGUAJENATURAL,LEGUAJEARTIFICIALYLENGUAJEFORMAL
Los lenguajesnaturales, es decir, las distintas lenguas que habitualmente utilizan los
miembros de distintas comunidades humanas para comunicarse, poseen, como todo
lenguaje, un conjunto de smbolos (lxico) y una serie de reglas para manejarlos (sintaxis)
y operar con ellos (formacin, concatenacin y transformacin de oraciones). Todos los
lenguajes naturales son el producto de muchos siglos de evolucin y son tan infinitamente
ricos en matices que los mismos smbolos o expresiones pueden significar cosas diferentes
en funcin factores tales como el contexto, la entonacin, la situacin, etc. Estas
ambigedades, dobles sentidos, vaguedades, relajacin en el uso de las reglas nos
permiten construir paradojas, chistes, metforas, poemas, etc.
Los lenguajes naturales poseen, sin duda, una gran riqueza y capacidad expresiva que
resulta deseable, pero en determinados momentos es preferible un lenguaje menos
ambiguo y, por tanto, ms preciso y operativo. Para el uso cientfico, por ejemplo, los
lenguajes naturales presentan ciertas deficiencias: desde el punto de vista del lxico, falta
de univocidad; desde el punto de vista de la sintaxis, relajacin en las reglas; y desde el
punto de vista operacional, dificultad para realizar cualquier clculo. Por este motivo, las
distintas ciencias construyen lenguajesartificiales, asignando a sus smbolos significados
precisos y unvocos, y estableciendo con precisin reglas operativas eficaces que permitan
construir razonamientos fiables. Se trata de ganar en exactitud y seguridad a costa de
perder en expresividad. La Fsica y la Qumica, por ejemplo, usan este tipo de lenguaje de
forma que una expresin tan metafrica como el tiempo es oro, al traducirla a tal
lenguaje t = Au pierde todo su sentido. Por eso, tales lenguajes slo se emplean en
campos muy restringidos.
Incluso puede haber ocasiones en las que el significado de los smbolos no nos interese,
sino ms bien las relaciones que podamos establecer entre dichos smbolos, como por
ejemplo ocurre en las Matemticas y la Lgica. Decimos entonces que estamos ante un
lenguajeformal, porque slo interesa la forma, no el contenido o significado emprico de
sus smbolos. Lo nico que cuenta es que la utilizacin de los smbolos, las frmulas y las
operaciones se ajuste a las reglas establecidas.
1.2.LASPROPOSICIONESYLALGICAPROPOSICIONAL
Todos los lenguajes estn construidos a partir de combinaciones de signos que reciben
el nombre de expresiones. Pero no cualquier combinacin es vlida, sino que dicha
combinacin debe realizarse de acuerdo con una serie de reglas gramaticales
(morfolgicas, sintcticas, etc.). Cuando una expresin del lenguaje natural es
gramaticalmente correcta y tiene un sentido completo recibe el nombre de oracin. Hay
muchos tipos de oraciones en los lenguajes naturales: enunciativas, desiderativas, de
1
1.3.ELRAZONAMIENTO.VERDADYVALIDEZ
Un razonamiento es una serie de enunciados en la cual, a partir de unos enunciados
iniciales (premisas) y siguiendo unas reglas determinadas, se infiere una conclusin. Se
dice que el razonamiento es vlido si la conclusin se deduce necesariamente de las
premisas. En ese caso, si las premisas son verdaderas, entonces la conclusin tambin ser
necesariamente verdadera. Un razonamiento, por tanto, es o no vlido en virtud de su
forma o estructura, no en virtud de la verdad o falsedad de las premisas. Los enunciados
pueden ser verdaderos o falsos, pero los razonamientos slo pueden ser vlidos o no
vlidos, correctos o incorrectos.
Sin embargo, podramos decir que en el xito de un razonamiento influyen dos
factores: la verdad de las premisas y la correccin o validez en la aplicacin de las reglas
usadas para inferir la conclusin.
RAZONAMIENTOVLIDO
RAZONAMIENTONOVLIDO
RAZONAMIENTOVLIDO
CONPREMISASVERDADERAS
CONPREMISASVERDADERAS
CONPREMISASFALSAS
1.4.TIPOSDELGICA
Hemos dicho que una proposicin o enunciado es una oracin (expresin con sentido
completo y gramaticalmente correcta) que afirma o niega algo, es decir, que puede ser
verdadera o falsa. Slo son enunciados aquellas expresiones que poseen ambas
propiedades:
SONPROPOSICIONES
NOSONPROPOSICIONES
NOSONPROPOSICIONES
(NiVniF)
(Sinsignificado)
Ojal llueva!
Hora ojal!
Qu hora es?
Pedro y llueva.
Cierra la puerta.
2.LoselementosdelaLgicaproposicional
Todo lenguaje consta de una serie de smbolos, un conjunto de reglas de formacin
que determinan cmo pueden combinarse estos smbolos para construir expresiones
gramaticalmente bien formadas y, por ltimo, un conjunto de reglas de transformacin,
que indican cmo podemos pasar correctamente de unas expresiones bien formadas a
otras. En un juego como el ajedrez, por ejemplo, los smbolos seran las 32 piezas y el
tablero (un tenedor no es una pieza de ajedrez sino de cubertera); las reglas de formacin
determinaran el lugar que debe ocupar cada pieza en el tablero (un alfil colocado en la
estantera no cumple las reglas de formacin); por ltimo, las reglas de transformacin
indicaran los movimientos que cada pieza puede realizar (un caballo arrojado a la pared o
movido en diagonal no cumple dichas reglas). Tambin en el lenguaje natural tenemos un
conjunto de smbolos (palabras, letras, signos de puntuacin, etc.), una serie de reglas de
formacin que permiten construir expresiones con sentido u oraciones, y unas reglas de
transformacin que permiten pasar de unas expresiones a otras (sabemos, por ejemplo,
que la proposicin El gato se comi al ratn puede sustituirse por El ratn fue comido
por el gato).
Los elementos del clculo proposicional son los siguientes:
SMBOLOS:
REGLASDEFORMACIN:
Son todas las reglas que establecen cmo deben combinarse correctamente los
smbolos de este lenguaje formal. A toda expresin formada correctamente
segn estas reglas se le llama frmula. Las reglas de formacin del clculo
proposicional son las siguientes:
Una letra enunciativa es una frmula bien formada. Ejemplo: p, q, r, s, t, etc.
Si A es una frmula, A tambin lo es. Ejemplo: p, q, r, etc.
Si A y B son frmulas, entonces A V B, A B, A B y A B
tambin lo son. Ejemplo: p q, p V q, p (r s), (p q) (p V q),
etc.
No hay ms frmulas bien formadas si no son segn las reglas anteriores.
REGLASDETRANSFORMACIN:
Llamadas tambin reglas de inferencia porque son las que determinan la forma
en que podemos pasar correctamente de unas frmulas bien formadas a otras
equivalentes, para as poder construir razonamientos vlidos. Son, por lo tanto,
necesarias para poder realizar deducciones lgicas. Por el momento dejaremos
estas reglas que ya trataremos en la parte dedicada a la deduccin.
3.SemnticadelaLgicaproposicional
3.1.FORMALIZACINOSIMBOLIZACIN
La formalizacin de un lenguaje es una operacin consistente en traducir las
expresiones de ese lenguaje por smbolos, en nuestro caso por smbolos del clculo
5
Normalmente la disyuncin tiene un sentido inclusivo (al menos uno de los dos
enunciados que conecta es verdadero, pero pueden serlo los dos), pero en algunas
ocasiones se emplea la disyuncin exclusiva, que significa que slo uno de los dos
enunciados es verdadero (o uno o el otro, pero no ambos). Para expresar este tipo de
relacin entre las proposiciones se puede usar el coimplicador negado.
El implicador () se usa para simbolizar la expresin si entonces del lenguaje
natural (y otras equivalentes como por lo tanto, en consecuencia, luego, etc.) y lo
que hace es afirmar que en el caso de que el primero de los enunciados (antecedente) sea
verdadero, el segundo (consecuente) necesariamente tambin lo ser (no puede darse el
caso de que el antecedente sea verdadero y el consecuente falso). Al formalizar los
enunciados es necesario descubrir la relacin lgica que existe entre ellos y no fiarse
siempre de las apariencias. Por ejemplo, la proposicin Estudia y aprobars es
equivalente a Si estudias entonces aprobars por lo que hay que formalizarla con el
implicador, no con el conjuntor. Adems no tiene por qu haber una conexin real entre
ambas proposiciones, slo que se cumpla esta relacin lgica. Ejemplos:
Si Coln descubri Amrica entonces los gusanos son invertebrados = p q
Cuando hay abundancia, nadie muere de hambre = p q
Con tal de que me digas las preguntas me preparar las respuestas y no suspender =
p (q r)
Eres licenciado de modo que es imposible que no sepas leer ni escribir = p ( r
q)
El coimplicador () corresponde a la expresin si y slo si entonces del lenguaje
natural (y a otras equivalentes como ... es igual a..., es lo mismo que..., ... equivale
a..., etc.) y lo que hace es afirmar que ambos enunciados tienen el mismo valor veritativo:
si el primero es verdadero, el segundo tambin lo es, y si es falso, tambin lo es el
segundo. Ejemplos:
Slo estudiar si t lo haces tambin = p q
Slo si no has tenido una experiencia traumtica puedes ser feliz = p q
Si no es verdad lo que dices, entonces nicamente en el caso de que te retractes te
volver a dirigir la palabra = p (q r)
Proposiciones simples lingsticamente diferentes pero que vengan a expresar lo
mismo han de ser formalizadas mediante la misma variable proposicional.
Es importante identificar todas las negaciones que puedan aparecer en el texto a
formalizar y utilizar convenientemente el negador. Conviene tener presente que las
negaciones no siempre aparecen al comienzo de un enunciado sino intercaladas en el
mismo (p.e., Hoy no hace calor = p). Tambin conviene tener presente que
determinadas ocurrencias de la doble negacin en espaol expresan en realidad una
simple negacin (p.e., No quiero ni pensar en ello = p). Por ltimo, es importante
identificar cundo un enunciado en forma afirmativa expresa en realidad la negacin de
otro enunciado que aparece en el mismo texto a formalizar (p.e., Si Juan aprueba el
examen, se ir a las Bahamas; pero si suspende, se quedar en casa deprimido = (p q)
( p r)).
7
3.2.LASTABLASDEVERDAD
Una vez que hemos formalizado una proposicin resulta mucho ms fcil operar con
ella. Lo primero que podemos hacer con ella es averiguar en qu casos es verdadera y en
qu casos no. La Semntica es aquella parte del lenguaje que se ocupa de la relacin entre
los smbolos y su significado, pero ya dijimos que a la Lgica no le interesa el significado
emprico de las proposiciones; lo nico que le interesa de su significado es su valor
veritativo: su verdad o falsedad. Como la verdad de las proposiciones complejas depende
del valor veritativo de sus proposiciones simples (variables) y del tipo de relacin que las
une (constantes o conectores), la Lgica usa un mtodo para demostrar semnticamente
una frmula cualquiera: el mtodo de las tablas de verdad. Este mtodo consiste en
calcular en qu casos una proposicin compleja es verdadera y en qu casos es falsa.
Interpretar un smbolo consiste en darle un significado. La Lgica proposicional, como
la mayora de los tipos de lgica, es una lgica bivalente, lo cual quiere decir que cada
proposicin simple o variable slo puede tener dos interpretaciones o significados:
verdadero (1) o falso (0). Un caso es una posible combinacin de tales valores en sus
variables, de forma que mientras ms variables tenga una frmula ms casos posibles
habr.
As, en una frmula que contenga una nica variable (p.e., p p) slo hay dos casos
posibles: que p sea verdadera o que sea falsa, mientras que en una que contenga dos
variables (p.e., pq) hay cuatro casos posibles: 1) que ambas sean verdaderas; 2) que
ambas sean falsas; 3) que p sea verdadera y q falsa; y 4) que p sea falsa y q
verdadera. En una frmula de tres variables hay ocho posibles casos; en una de cuatro,
diecisis, y as, sucesivamente. Hay una frmula para hallar el nmero de casos (x) de una
proposicin molecular: x=2n, donde n es el nmero de variables de la frmula.
Una variable:
p
1
0
Dos variables:
p
Tres variables:
p
CONJUNTOR:
A
AB
DISYUNTOR:
A
AVB
IMPLICADOR:
A
AB
COIMPLICADOR:
A
AB
r (p
r) [q V (
p)]
Aplicando este mtodo de las tablas de verdad podemos comprobar que existen tres
tipos de frmulas en funcin de su resultado:
CONSISTENCIA: Se denomina frmula consistente o indeterminada cuando su tabla de
verdad presenta una combinacin de valores de verdad (1) y de falsedad (0). Esto
significa que su valor veritativo depende de cada uno de los posibles casos, por lo que
depende de la experiencia, ya que en unos casos puede ser verdadera y en otros casos
falsa.
CONTRADICCIN: Una frmula es una contradiccin cuando en todos los casos su valor
veritativo es 0, es decir, es siempre falsa, independientemente de los valores de
verdad de las variables que la constituyen, por lo que es universalmente falsa.
TAUTOLOGA: Una frmula es tautolgica cuando su valor veritativo es siempre 1, es
decir, cuando es verdadera en todos los casos. Estas frmulas son verdaderas apriori,
es decir, independientemente de la experiencia, universalmente vlidas. Las frmulas
tautolgicas son verdades lgicas, no empricas. stas son las que ms interesan a la
10
4.SintaxisdelaLgicaproposicional:ladeduccinformal
Existe otro mtodo ms operativo para demostrar la validez de un razonamiento: la
deduccinformal. Consiste en un procedimiento de derivacin para probar la validez de
una conclusin, partiendo de premisas iniciales y deduciendo nuevas premisas
intermedias mediante reglas de inferencia, cuyo uso se justifica. El procedimiento
demostrativo en conjunto tiene cierta semejanza con la manera natural de deducir. Esas
reglas de inferencia son verdades lgicas, es decir, que si se presentan como frmula
condicional y se realizan sus respectivas tablas de verdad, se comprobar que son
tautologas.
En una deduccin encontraremos unos supuestos y unas reglas de inferencia. Los
supuestos pueden ser premisas (supuestos previos) o bien supuestos provisionales o
subsidiarios, que sirven momentneamente de apoyo en el curso de la deduccin pero de
los cuales hay que desembarazarse antes del final de la misma (llamndose esto descarga o
cancelacin de supuestos).
La deduccin formal es una secuencia finita de frmulas tales que cada una de ellas es
un supuesto previo, un supuesto provisional o una frmula que se deriva lgicamente de
otra u otras anteriores por inferencia inmediata (por la aplicacin de una sola regla de
inferencia).
La notacin simblica de una derivacin es la siguiente: la deduccin se indica o anota
poniendo en hilera las premisas separadas por comas y a continuacin de las mismas el
deductor seguido de la conclusin: p q r, p s, s r m, p m.
La deduccin se realiza as: se colocan en columna las premisas y las frmulas
inferidas de la siguiente manera:
Se numeran en la izquierda a partir del nmero 1.
Las premisas llevan un guin a la izquierda del nmero.
Los supuestos provisionales se sealan con un ngulo recto () antes del nmero, que
se unir con una lnea recta a otro ngulo () correspondiente a la lnea que los cancela.
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.
Veamos a continuacin las llamadas reglasbsicasdeinferencia. Gentzen seleccion
estas ocho porque sirven para introducir o eliminar cada uno de los cuatro conectores
bsicos, y porque con ellas se podran efectuar todas las transformaciones de frmulas
posibles en el clculo proposicional.
11
ELIMINACINDELIMPLICADOR(EI)OMODUSPONENS(MP):
AB
A
.
B
Se usan letras maysculas para indicar que dichas letras pueden ser sustituidas por
cualquier frmula. Se ponen las premisas de la regla en columnas seguidas de una lnea
horizontal, bajo la cual se escribe la conclusin. Esto quiere decir que si en el curso de la
deduccin se dan frmulas en la forma de las premisas de la regla entonces puede
escribirse una lnea con la frmula de la conclusin.
INTRODUCCINDELIMPLICADOR(II)OTEOREMADELADEDUCCIN(TD):
A
.
.
B
AB
Se basa en que si de una premisa A y cualquier conjunto de frmulas, que puede ser
vaco, podemos deducir una conclusin B entonces podemos decir que la premisa
implica la conclusin.
ELIMINACINDELCONJUNTOR(EC)OSIMPLIFICACIN(SIMPL.):
AB
A
AB
B
A
B
AB
Se basa en la intuicin de que si podemos afirmar dos verdades por separado tambin
podemos afirmar la verdad de su unin.
12
ELIMINACINDELDISYUNTOR(ED)OPRUEBAPORCASOS(CAS.):
AVB
A
.
.
C
B
.
.
C .
C
AVB
AVB
A
A
Se basa en la intuicin de que negar dos veces una cosa es lo mismo que afirmarla
(recordemos la definicin del negador).
INTRODUCCINDELNEGADOR(IN)OREDUCCINALABSURDO(ABS.):
A
.
.
B B
A
LEYDEIDENTIDAD(ID.):
A
A
LEYDECONTRAPOSICIN(CP.):
A B
B AA
14
MODUSTOLLENS(MT):
AB
B
.
AA
INTRODUCCINDEDOBLENEGADOR(IDN):
A .
A
PRINCIPIODENOCONTRADICCIN(PNC):
(A A)
PRINCIPIODETERCIOEXCLUSO(PTE):
A V A
SILOGISMODISYUNTIVO(SD):
AVB
A
BA
AVB
B
AA
EXCONTRADICTIONEQUODLIBET(ECQ):
A A
BA
LEYESDEMORGAN(DM1YDM2):
(A B) .
A V BA
(A V B) .
A BA
15