Está en la página 1de 14

Unidad 8

Lenguaje artificial: variables,


conectivos y tablas de verdad no a
los rubros
Cuando varios enunciados tienen el mismo significado, decimos de ellos que
expresan la misma proposicin; por ejemplo:
a) El presidente de Bolivia cae derrocado por una revolucin;
b) Una revolucin derroca al presidente de Bolivia

Y Tambin puede ocurrir a la inversa, enunciados idnticos que expresan


proposiciones diferentes:
a) ahora salgo para all pueden significar que Jos se dispone a viajar a
Viedma el lunes prximo, o que Juana sale de la esquina de corrientes y callao
hasta el Congreso, el 15 de noviembre del ao 2010
Una proposicin es, pues, el significado de un enunciado declarativo o
descriptivo.
No es el enunciado mismo, que est compuesto por palabras ordenadas segn
ciertas reglas gramaticales; es el contenido del enunciado, que es comn a las
diversas maneras de decir lo mismo. Y exigimos que el enunciado sea descriptivo
para desechar expresamente los otros usos del lenguaje: frases como: pseme la
mostaza, por favor porque no expresan proposiciones en el sentido que aqu
damos a este concepto.
Esto ocurre porque la Lgica (al menos, la parte de la lgica que estamos
estudiando) se maneja a travs de los llamados valores de verdad, que, -en un
sistema bivalente como el que analizamos son dos: verdadero o falso.
Cuando un enunciado hace referencia a ciertos estados de cosas, de tal suerte que
sea posible determinar si es verdadero o falso, decimos que que es un enunciado
descriptivo o declarativo, cuya verdad depende de la existencia real del estado de
cosas descrito. El enunciado est lloviendo, por ejemplo, es verdadero si en
efecto sucede el hecho expresado y falso si, por el contrario, el sol brilla en un cielo
sin nubes. No importa en este momento averiguar si es verdadero o falso; lo
relevante es que, si el enunciado puede ser verdadero o falso, entonces es
descriptivo y constituye materia prima para la gran maquinaria lgica.
En la lgica Proposicional las letras minsculas no representan nmeros, sino
proposiciones. Se llaman por esto variables proposicionales, ya que podemos
asignarles como contenido cualquier proposicin concreta que deseemos.
A su vez, cada variable puede representar una proposicin, y an distintas
proposiciones en diferentes contextos: en una demostracin, por ejemplo, podemos
suponer que p simboliza hace un lindo da; y en otro desarrollo podemos
asignarle un contenido distinto: mi gato tiene bigotes largos. Pero igual que
en el lgebra, es indispensable tomar una elemental precaucin: dentro de un
mismo contexto, el significado que se le asigne a cada variable debe ser
siempre idntico.
Ahora bien, en el lenguaje natural solemos vincular entre s, dos o ms enunciados
para formar un enunciado ms complejo, de tal modo que el valor de verdad del
enunciado resultante depende de cierta combinacin de los valores de verdad de
sus componentes. As, por ejemplo, no llueve ser verdadero si llueve es falso
y viceversa. llueve y hace fro slo ser verdad si es verdad que llueve y
tambin es verdad que hace fro, y ser falso aunque llueva, si hace calor, y aunque
hiele sino llueve.
Esta funcin vinculatoria es cumplida en castellano por palabras tales como y,
o, si, aunque, pero, sin embargo, solo y solo si, siempre que y otras;
pero no siempre es fcil, dentro de la clsica ambigedad del lenguaje natural,
establecer unvocamente el tipo de relacin que se busca expresar. Si alguien nos
dice, por ejemplo, esta noche ir al cine o a cenar no sabemos con seguridad
si pretende elegir una de dichas actividades, o si tambin ejecuta las dos.
Para evitar problemas de este tipo y facilitar el clculo, el lenguaje formal
representa aquellos vnculos mediante signos especiales, que reciben el nombre de
conectivas extensionales (conectivas a secas, para los ntimos), signos lgicos,
constantes lgicas u operadores. Pero no existe un acuerdo generalizado acerca de
cmo expresar estos signos.
Esto da lugar a la existencia de distintas notaciones, o sistemas grficos de
escrituras de la lgica simblica. La notacin mas extendida es la llamada inglesa o
de Russell, en una de cuyas versiones que usaremos de aqu en adelante las
conectivas principales se representan mediante los smbolos siguientes: -; .;
v; =, >; y =.
Por el modo en que afectan esta conectivas a las variables a las que se refieren, se
dividen mondicas y didicas o binarias. El signo - es mondico, porque solo
afecta a una proposicin: la representada por la frmula de la derecha. As, la
verdad de la frmula -p depender del valor de p modificado por el operador

Las dems conectivas mencionadas se llaman didicas porque afectan a dos


proposiciones conjuntamente: las situadas a derecha e izquierda del signo de que
se trate. Por ejemplo, el valor de P.Q depende del valor de verdad de p y del
valor de verdad de q, combinados en la forma indicada por . Aparte de las
variables y de las conectivas, la lgica cuenta tambin con signos auxiliares, que
hacen las veces de signos de puntuacin y sirven para separar, en caso necesario,
unas frmulas de otras. Se trata de los parntesis, los corchetes y las barras.
Definimos al lenguaje como al conjunto sistemtico, ordenado y organizado de
smbolos a los que se atribuyen deliberadamente un significado para la
comunicacin humana. Dentro de las clases de lenguaje, la Lgica Proposicional
utiliza el denominado lenguaje artificial, que no es otro que el empleo de smbolos
artificiales justificado debido al carcter arbitrario y no natural del significado de las
palabras, cuya caracterstica principal es que no se preocupa por el significado
del smbolo. Se utiliza a fin de buscar una mayor exactitud.
En la Lgica proposicional las letras minsculas no representan nmeros, sino
proposiciones. Se llaman por esto, variables proposicionales, ya que podemos
asignarles como contenido cualquier proposicin concreta que deseemos
(suponiendo que queramos asignarle alguno, lo que en general no sucede). Por
costumbre se utilizan las letras p, q, r, s, t, w, z; y cualquiera de ellas puede
representar una proposicin. A su vez, cada variable puede representar cualquier
proposicin, y aun distintas proposiciones en diferentes contextos: podemos
suponer que p simboliza hace un lindo da, y en otro desarrollo podemos
asignarle el contenido mi gato tiene bigotes largos. Pero, igual que en el lgebra,
es indispensable tomar una elemental precaucin: dentro de un mismo
contexto, el significado que se le asigne a cada variable debe ser siempre idntico.
Ahora bien, en el lenguaje natural solemos vincular entre s dos o ms enunciados
pata formar un enunciado ms complejo, de tal modo que el valor de la verdad del
enunciado resultante depende de cierta combinacin de los valores de verdad de
sus componentes. As no llueve ser verdadero si llueve es falso y viceversa.
Llueve y hace fro slo ser verdad si es verdad que llueve y tambin es verdad
que hace fro, y ser falso aunque llueva si hace calor, y aunque hiele, si no llueve.
Esta funcin vinculatoria es cumplida en castellano por palabras tales como y, o,
si, aunque, pero, sin embargo, si y slo si, siempre que y otras; pero no
siempre es tan fcil, dentro de la clsica ambigedad del lenguaje natural,
establecer unvocamente el tipo de relacin que se busca expresar. Si alguien nos
dice, por ejemplo, esta noche ir al cine a comer no sabemos con seguridad si
pretende elegir una de dichas actividades o si tambin deja abierta la posibilidad de
hacer ambas cosas.
Para evitar problemas de este tipo y facilitar el clculo, el lenguaje formal
representa aquellos vnculos mediante signos especiales, que reciben el nombre de
conectivas extensionales (conectivas a secas, para los ntimos), signos lgicos,
constantes lgicas u operadores. Pero no existe un acuerdo generalizado acerca de
cmo representar estos signos. Esto da lugar a la existencia de distintas
notaciones, o sistemas grficos de escritura de la lgica simblica. La notacin
ms extendida es la llamada inglesa o de Russell, en una de cuyas versiones
que usaremos de aqu en adelante- las conectivas principales se representan
mediante los smbolos siguientes:
- , ., v, ,
Por el modo en que las conectivas afectan a las variables a que se refieren, se
dividen en mondicas y didicas o binarias. El signo -es mondico porque solo
afecta una proposicin; la representada por la frmula a la derecha. As, la verdad
de la frmula -p depender del valor de verdad de p modificado por el
operador - Las dems conectivas mencionadas se llaman didicas porque afectan
a dos proposiciones conjuntamente: las situadas a derecha e izquierda del signo
que se trate. Por ejemplo: el valor de p.q depende del valor de verdad de p y
del valor de verdad de q, combinados en la forma indicada por .
Aparte de las variables y de las conectivas, la lgica cuenta tambin con signos
auxiliares, que hacen las veces de signos de puntuacin y sirven para separar, en
caso necesario, unas frmulas de otras. Se trata de los parntesis () ; los
corchetes las barras y las llaves.

Concepto de la frmula proposicional


Una frmula proposicional es una expresin simblica que est compuesta
exclusivamente por variables proposicionales, conectivas o signos lgicos y
smbolos auxiliares. Esta definicin habr que aclararla un poco.
Una frmula est siempre compuesta, en forma exclusiva, por los signos
apuntados, que constituyen por as decirlo- su elenco estable. Ningn actor ajeno
a la compaa puede introducirse en la funcin (llueve . Hace fro; llueve y p; p
. Hace fro) pues el resultado no sera una frmula (sera algo as como mezclar, en
una sola frase, palabras de varios idiomas diferentes.
Que variables, conectivas y signos auxiliares formen un elenco estable del teatro
lgico no implica que todos ellos deban estar siempre en escena: bastar con que
haya, por lo menos, una variable. As, p es una frmula; -p y p. q tambin lo
son, igual que otras ms complicadas como:
(p. q) r v (q s)
Por ltimo, no basta que los actores estn en escena para constituir una funcin
teatral; adems es necesario que desempeen su papel segn cierto libreto y de
acuerdo con ciertas reglas que definen esa actividad. Del mismo modo, los
componentes de una frmula no pueden estar mezclados al azar; han de respetar
las llamadas reglas de formacin, o normas sintcticas convencionales que rigen
la estructura simblica de las frmulas. Estas reglas de formacin pueden
enunciarse as:

1) Una variable proposicional es una frmula.


Ejemplo: p , q, r.

2) una frmula precedida por un operador mondico es una frmula.


Ejemplo: -p , -q, r .

3) Dos frmulas encerradas dentro de un par de signos auxiliares y entre las cuales
hay un operador didico (y slo un operador didico), constituyen una frmula.
Ejemplo: (p . q) ; (-p q) ; - (p . q) (r v s) .

Las reglas de formacin, que en su conjunto pueden considerarse tambin como


una definicin de frmula, permiten excluir de nuestro lenguaje simblico todas
las expresiones que no se ajusten a ellas. As, , q-, pq, rs, q v . q),
(R.)S no son frmulas bien formadas; y puede constituir un interesante ejercicio
averiguar cul es el defecto que aqueja a cada una de tales expresiones.
Conviene aqu hacer una importante aclaracin sobre los signos auxiliares. Su
funcin consiste en eliminar ambigedades: sin ellos, la expresin -p.q, por
ejemplo, podra interpretarse de dos maneras:

a) (-p . q), donde el operador mondico afecta slo a la frmula p, o bien


b) (p . q), donde el operador mondico afecta a la frmula (p . q)

No toda frmula, sin embargo plantea semejante ambigedades; y de all resulta


que puede establecerse una convencin prctica: cuando una expresin simblica
no es susceptible de interpretaciones esquemticas diversas, es posible eliminar los
signos auxiliares innecesarios: por ejemplo, en lugar de (p . q) puede escribirse
p . q; pero si la misma frmula ha de relacionarse a su vez con otra por
ejemplo, en (p.q) v r el uso del parntesis no puede omitirse.

Frmulas atmicas y Frmulas moleculares.


As como el lenguaje natural vincula dos o mas enunciados para formar un
enunciado complejo, el lenguaje simblico combina las variables por medio de las
conectivas- para constituir frmulas compuestas. Por asociacin de ideas con el
modo en que los tomos de elementos simples constituyen las molculas de los
compuestos qumicos, la lgica ha adoptado aqu una nomenclatura con
reminiscencias de la fsica nuclear, una frmula atmica es aquella constituida
exclusivamente por una variable proposicional, no modificada por operador alguno:
p por ejemplo. Las frmulas en las que aparece un operador mondico (-q) o
que resultan de una combinacin de frmulas unidas por conectivas didicas ( r v
s , z w ) se llaman moleculares.
Toda frmula molecular es una funcin de verdad de las frmulas atmicas que la
componen: es decir, su verdad o falsedad dependen de la verdad o de la falsedad
de las proposiciones representadas por las variables simples. Pero, como hemos
visto antes, el modo en que deben combinarse la verdad o la falsedad de los
componentes para determinar el valor de verdad de la frmula molecular depende
de las conectivas que aparezcan en la misma frmula. Por esto, lo operadores
resultan ser la clave para desentraar la estructura interna de una frmula.

las conectivas
1. Casos posibles.
Una proposicin describe un estado de cosas, y su verdad depende de que dicho
estado de cosas exista en realidad. Frente a cada descripcin simple (por ejemplo:
el ro est crecido) caben, pues, dos posibilidades: una que sea verdadera (es
decir que el ro haya en verdad aumentado su caudal) o sea falsa (que dicho caudal
sea igual o menor que el habitual, lo que implica que no ha crecido). En smbolos
puede usarse l siguiente tabla:
P
______
V
F
La frmula atmica que se encuentra encima de la lnea horizontal representa la
proposicin a que nos referimos, y las iniciales V y F simbolizan los dos casos
posibles que existen para p: que p sea verdadero y que p sea falso. Algunos
autores mas inclinados a usar palabras grandilocuentes les llaman mundos posibles,
y dicen que para p hay 2 mundos (desde el punto de vista especulativo,
puramente lgico): el mundo en que P es verdadero y el mundo en que p es falso.
El panorama de los casos posibles se complica cuando la proposicin se compone
de dos o mas descripciones de estados de cosas (el ro est crecido, pero
contaminado) o, en lenguaje simblico, cuando se trata de una frmula molecular
compuesta por dos o mas frmulas atmicas (p . q). Cuando la proposicin que
nos interesa es una combinacin de dos proposiciones que la componen, los caos
posibles son 4: que ambas proposiciones componentes sea verdaderas, que la
primera sea falsa y la segunda verdadera, que la primera sea verdadera y la
segunda falsa y, por ltimo, que las dos sean falsas:
p q_

V V
F V
V F
F F

Por qu esta diferencia en el nmero de casos posibles? Porque a cada variable


proposicional corresponden dos casos (V y F); y, como una combinacin de
variables debe prever cada uno de los casos de la segunda (y aun todo esto para
cada uno d e los casos de la tercera, si la hubiere), existe entre el nmero de
variables y el de casos una relacin matemtica: a una variable, corresponden dos
casos; a dos variables, cuatro; a tres variables, ocho; a cuatro variables, diecisis,
etc. El nmero de casos posibles, pues, es 2n, donde n es el nmero de variables
proposicionales presentes en una frmula y la base 2 representa la dualidad de los
valores de verdad en la lgica binaria: V y F.
El orden en que aparezcan los casos en la tabla que los contiene no es en si mismo
importante, con tal que la tabla contenga todos los casos y ninguno de ellos
resulte repetido. Pero para asegurar el cumplimiento de estas condiciones se
acostumbra a seguir un orden -conveniente aunque no estrictamente necesario- en
la construccin de la tabla de que se trate. Supongamos que se nos presenta una
frmula que contiene tres variables proposicionales (p . q) > r , por ejemplo- y
deseamos hacer una lista de los casos posibles para las distintas combinaciones de
verdad y falsedad de sus componentes. Primero estableceremos cuntos casos
contendr nuestra tabla: como en el ejemplo n= 3, el nmero ser: 2n= 23= 8.
Luego escribiremos debajo de la primera variable que aparezca, una sucesin de
ocho valores de verdad en que V y F, se alternen uno por vez. Bajo la segunda
variable anotaremos ocho valores de verdad, pero alternando V y F de dos en
dos, y por ltimo, a la tercera variable asignaremos valores de verdad alternados
de cuatro en cuatro, As obtendremos la siguiente tabla de casos:

P Q r
_________

V V V
F V V
V F V
F F V
V V F
F V F
V F F
F F F

Naturalmente, si en la formula hubiera una cuarta variable, a sta correspondera


una alternativa de ocho en ocho 8 pues los casos seran diecisis);
Al construir una tabla de casos es necesario tener en cuenta que n es el nmero
de variables proposicionales que aparecen, y no el nmero de sus apariciones u
ocurrencias. La variables repetidas solo se cuentan una vez: as, a la frmula p.
p slo corresponden dos casos posibles, ya que n =1.

Negacin.
El nico operador mondico de la lgica proposicional (-) tiene por funcin
invertir el valor de verdad de la frmula a que se aplique. Dada, pues, una frmula
p, podemos comparar su tabla de casos con el resultado que provee esta
conectiva para cada caso. Construiremos as lo que se llama la tabla de verdad
del operador que examinamos, llamado negacin:

P -P
V F
F V
Como puede observarse, una frmula verdadera negada es falsa, y una frmula
falsa negada es verdadera.

Conjuncin.
Una frmula molecular que vincula a sus componentes mediante la conjuncin (P.
Q) slo es verdadera si sus dos trminos son verdaderos, y es falsa en cualquier
otro caso. As:
P Q P.Q

V VV
F VF
V FF
F FF

La frmula resultante se lee p. q, y su tabla de verdad corresponde,


aproximadamente, al uso de la mayora de las palabras o expresiones idiomticas
que en el lenguaje natural se clasifican como conjunciones. De este modo, p . q
podra interpretarse como llueve y hace fro, o quise llamarte pero mi telfono se
descompuso. En cada uno de estos ejemplos se afirman dos estados de cosas
conjuntamente, por lo que al combinacin de ambas aserciones resultar verdadera
si y solo si los dos estados de cosas afirmadas son reales; es decir, en el primero de
los 4 casos posibles de l tabla de verdad correspondiente.

Disyuncin.
Qu afirmo al decir que llueve o hace fro? Doy por sentado que si llueve no
hace fro y que si hace fro no llueve? O acepto que pueden ocurrir ambas cosas?
Aqu el lenguaje natural nos tiende habitualmente una trampa por su ambigedad,
y a la lgica corresponde desentraar su sentido.
La ambigedad consiste pues, en que la conjuncin disyuntiva o del lenguaje
natural puede entenderse como una cosa o la otra, pero no ambas, o bien como
una cosa, la otra o ambas simultneamente. Para disolver esta ambigedad
usaremos la forma y/o para la alternativa no excluyente. Si una cuenta bancaria
est abierta a nombre de Juan y Pedro pueden hacer uso de la cuenta en forma
conjunta o separada, independientemente o simultnea, segn cada uno prefiera.
Existen, pues, dos tipos de disyuncin. Una es la excluyente, cuya tabla de verdad
es:

P Q p=q

V V F
F V V
V F V
F F V

La otra es una disyuncin simple o incluyente, con esta tabla de verdad:

P qp v q
V V V
F V V
V F V
F F F

Ambas disyunciones tienen algo en comn, como surge de las tablas de verdad
enunciadas; para ser verdaderas exigen por lo menos uno de sus componentes lo
sea. En otras palabras, son falsas cuando sus dos componentes son falsos. La nica
diferencia reside en la solucin que cada conectiva prev para el primero de los
casos posibles: aquel en que sus dos componentes son verdaderos. Una de las
disyunciones lo admite (lo incluye) como caso de verdad de la frmula compuesta,
en tanto la otra lo rechaza (lo excluye) al tomarlo como falso. Si volvemos a los
ejemplos del principio, descubriremos que la disyuncin del men fijo era
excluyente, en tanto la de la oferta de la librera era incluyente.
En la lgica simblica es habitual el uso de la disyuncin incluyente, en tanto la otra
solo aparece por excepcin.
Nos guiaremos por este criterio y diremos, en general, que una disyuncin es
verdadera cuando por lo menos uno de los trminos disyuntos es verdadero (es
decir, llamaremos disyuncin a secas a la disyuncin incluyente). Cuando se trate
de la excluyente, la calificaremos como tal y usaremos el smbolo correspondiente
( = ).

CONDICIONAL.
Tanto la conjuncin como las disyunciones son relaciones conmutativas, porque p .
q tiene el mismo valor de verdad que q . p, p v q que q v p y p= q. Pero en
una frmula condicional (p > q) esto no ocurre: importa distinguir el orden en
que aparecen los componentes. Para esto (y solo respecto de esta conectiva), la
frmula que aparece a la izquierda de la condicional se llama antecedente y la que
aparece a la derecha recibe el nombre de consecuente.. Sentado esto, puede
definirse a la condicional como la relacin que resulta falsa cuando el antecedente
es verdadero y el consecuente es falso, y es verdadera en todos los dems casos.
De acuerdo con esta definicin pues, la tabla de verdad del condicional es la
siguiente:
P Q P>Q

V V V
F V V
V F F
F F V

El uso lgico de esta conectiva se parece mucho al empleo de la palabra si en el


lenguaje natural; p > q puede interpretarse, por ejemplo, como si los metales se
calientan, se dilatan, o si gano a la ruleta podr pagar la cuenta al carnicero.
Podemos advertir que el condicional expresa cierta situacin que en los hechos
puede darse respecto de dos estados de cosas: uno cuya descripcin
simbolizaremos como P y otro simbolizaremos como Q. Normalmente decimos
que el antecedente es condicin del consecuente; pero lgicos y filsofos que
hilan ms fino- distinguen dos tipos de condicin, la necesaria y la suficiente.
El hecho P es condicin suficiente de Q cuando conocer la verdad de P permite
afirmar la verdad de Q. Dado un enunciado condicional que supongamos
verdadero (por ejemplo, si el perro mueve la cola est contento), la verdad del
antecedente es condicin suficiente de la verdad del consecuente: si vemos que la
cola se agita, podremos afirmar que su canino propietario est contento (y lo
afirmamos con la misma confianza con que hayamos aceptado la premisa
condicional sobre el significado de dicho movimiento).
En cambio, el hecho Q es condicin necesaria de P si conocer la falsedad de q nos
permite asegurar la falsedad de p. En el mismo ejemplo, el consecuente resulta
condicin necesaria del antecedente: si sabemos que el perro no est contento
podremos afirmar que no mueve la cola aunque el bicho est a nuestras
espaldas. En efecto, si la moviera estara contento, y estamos persuadidos de que
no lo est.
Con sujecin, pues, a la verdad del condicional (verdad que depende de su
coincidencia con cierta situacin emprica), el antecedente es condicin suficiente
del consecuente (basta con que el perro mueva la cola para que sepamos que est
contento), y el consecuente es condicin necesaria del antecedente (es
indispensable que el perro est contento para que mueva la cola).

BICONDICIONAL.
Hemos dicho antes que en el condicional importa distinguir el orden en que
aparecen los componentes de la frmula, ya que esa constante lgica no es
conmutativa, y por eso distinguimos el antecedente del consecuente. Supongamos
ahora un condicional conmutativo, en el que cada trmino sea a la vez antecedente
y consecuente del otro:

(p < q). (q > p)

Esta combinacin de dos condicionales cruzados corresponde a una nueva


conectiva llamada bicondicional, que resulta verdadera si y solo si, sus dos
trminos tienen el mismo valor de verdad (es decir, si son ambos verdaderos o
ambos falsos):

P q p=q
_________________

V VV
F VF
V FF
F FV

Al leer una formula bicondicional suele utilizarse la expresin si o si. De este


modo, p`=q puede interpretarse como me gusta el asado si y solo si est bien
cocido, de donde resulta que si est bien cocido me agrada y de otro modo no; e
inversamente, que si me gusta est cocido y si no me gusta no lo est.
Como puede verse, esta conectiva es extremadamente rigurosa; es decir, que cada
trmino es a la vez condicin suficiente y necesaria del otro.
Implicacin y equivalencia
Tautologa, Contradiccin y Contingencia:
La implicacin Formal
Tautologa.
Al analizar las tablas de verdad de las conectivas hemos observado que la verdad
de una frmula molecular depende del valor de verdad que se asigne a cada una de
las frmulas atmicas que la componen; as por ejemplo:

1) La conjuncin es Verdadera cuando sus dos trminos son verdaderos y Falsa


en los dems casos (llueve y hace fro quise llamarte, pero mi
telfono se descompuso).
2) El condicional es Falso cuando el antecedente es Verdadero y el consecuente
Falso, y es verdadero en los otros tres supuestos (Si el perro mueve la
cola est contento);
3) El bicondicional es Verdadero si sus dos trminos tienen el mismo valor de
verdad (V o F), y Falso cuando ellos tienen valor distinto (me gusta el
asado s y solo si est bien cocido)
Examinemos ahora la tabla de verdad de la siguiente frmula: P v P

P P v -P
VVV F
F FV V
Como la formula propuesta solo tiene una variable (p), los casos son 2 = 2. En
el primero P es verdadero y, consiguientemente, -p es falso; en el segundo ocurre a
la inversa. Pero, como la disyuncin resulta Verdadera cuando cualquiera de los
trminos disyuntos lo es, nuestra frmula se revela como verdadera para todos los
casos posibles.
Esta comprobacin tiene un curioso efecto: el de independizar la Verdad de la
frmula de cualquier averiguacin sobre la Verdad de P. En efecto, asignaremos a P
una interpretacin cualquiera: fumar hace dao, por ejemplo. As, -p deber
traducirse por fumar no hace dao (o lo que es lo mismo, no es el caso de que
fumar haga dao o no es verdad que fumar haga dao). La frmula
molecular quedar interpretada como fumar hace dao o fumar no hace dao, y
resultar verdadera en toda circunstancia.
Pero, fumar hace realmente dao? Esta pregunta tiene importancia mdica, social
y econmica, pero no perturba la placidez de la lgica.
Estas frmulas cuya tabla de verdad arroja valor positivo para todos los casos
posibles se llaman tautolgicas. Tienen la ventaja de ser siempre verdaderas con
independencia de su contenido, pero por esto mismo- tienen tambin una
desventaja: no proporcionan ninguna informacin sobre el mundo que nos rodea.
La verdad absoluta suele ser trivial; y, salvo cuando se trata de frmulas muy
complicadas, resulta tan sabida que no despierta gran inters. Imaginemos un
hombre que pasar la vida enunciando nicamente las ms solemnes tautologas:
maana habr tormenta, o no la habr; si un animal tiene 5 patas, tiene
seguramente 5 patas; la existencia de un ro que n os lleva hacia el
infinitoo bien es alguna otra cosa. Tal persona no correra jams el riesgo de
afirmar algo falso, pero su charla resultara tan insulsa que nadie querr orla:
ninguna de sus afirmaciones contendr datos empricos.
Y sin embargo, no por ser vacas de contenido, las tautologas son intiles; en
muchos casos su verdad formal no es evidente, y se requiere un detenido examen
para advertirla. Adems, si descubrimos que un enunciado encierra una tautologa
dejaremos de inmediato de discutir sobre ella, perderemos inters en la
averiguacin de sus presupuestos empricos (ya que no los tiene) y lo que es mas
importante podremos utilizarla como puente para razonamientos mas complejos.
Por esto la lgica trata muy especialmente sobre las tautologas, y por esto
empleamos hoy mquinas computadoras- que son formidables constructoras de
relaciones tautolgicas: dados un programa y los datos con que se la alimenta, la
mquina produce una respuesta que resulte formalmente verdadera bajo condicin
de la verdad de aquellas premisas.

CONTRADICCIN
Las tautologas tienen su contrapartida negativa. Supongamos la siguiente frmula:
p. p

P P . P
V VF F
FF F V
Al construir la tabla de verdad de esta conjuncin advertimos que para todos los
casos posibles (que son dos) su valor de verdad es F. esto indica que cualquier
proposicin con semejante estructura lgica (la luna es redonda, pero no es
redonda; no es que yo sea racista, pero siempre he sostenido que hay
razas insoportables) es falsa en cualquier circunstancia, independientemente de
la verdad o falsedad de P y aun del significado que momentneamente atribuyamos
a la variable.
Una frmula molecular cuyo valor de verdad es F para todos y cada uno de los
casos posibles se llama CONTRADICCION, y, por cierto, tiene tan poco contenido
emprico como las tautologas: es una falsedad formal.
Ha de notarse que toda tautologa negada se llama contradiccin, y toda
contradiccin negada se transmuta en tautologa.

CONTINGENCIA.
Si sustituimos la comparacin anterior por un smil ferroviario, podemos afirmar
que la tautologa y la contradiccin son las dos grandes estaciones terminales de
una lnea con muchos puntos intermedios: entre el extremo positivo (verdad
formal) y el negativo (falsedad normal) hay infinidad de frmulas que resultan
verdaderas para algunas combinaciones de verdad de sus componentes, y falsas
para otras: son las frmulas contingentes.
Para decirlo con mayor rigor, una frmula es contingente si y slo si resulta
verdadera por lo menos en uno de sus casos posibles y falsa por lo menos en otro.
Cumplida estas condiciones, poco importa que sean ms los casos de verdad que
de falsedad, o viceversa, toda frmula que no sea tautolgica ni
contradictoria es contingente.
La proposicin que se obtiene por interpretacin de las variables de una frmula
contingente (por ejemplo, si se prohbe el uso de la barba y se implanta la
censura cinematogrfica, se contribuir a construir una sociedad pacfica y
virtuosa) no es formalmente falsa ni formalmente verdadera; y, por esto mismo,
lejos de ser vaca de contenido, encierra una informacin sobre la realidad (esto es,
describe un estado de cosas). Si la descripcin se ajusta a lo que en realidad
acontece, la informacin contenida en la proposicin ser verdadera; si difiere de la
realidad, ser falsa. De aqu que se desprende que para averiguar la verdad o la
falsedad de un a proposicin contingente (es decir, de una proposicin cuya
estructura lgica puede simbolizarse mediante un a frmula contingente) no basta
con analizar su tabla de verdad: es preciso examinar el mundo emprico y buscar
en l pruebas que verifiquen la proposicin o que muestren su falsedad. Desde
luego, no existen garantas de que hallemos tales pruebas: las ciencias empricas
cuya tarea consiste precisamente en investigaciones de este tipo, contienen
infinidad de preguntas para las que an no se ha encontrado respuesta
concluyente.
Incidentalmente, lo expuesto nos proporciona un nuevo dato para ubicar la lgica
dentro del panorama del conocimiento humano: ella busca, entre otras cosas,
descubrir y probar formalmente las tautologas, en tanto que las ciencias naturales,
por ejemplo, procuran determinar la verdad de ciertas proposiciones contingentes.

IMPLICACION.
Todo enunciado cuya verdad asegura formalmente la verdad de otros enunciados
implica a cada uno de estos. Todo condicional formado de manera que el
antecedente implique al consecuente ser tautolgico. No todo condicional encierra
una implicacin, se requiere que el condicional sea tautolgico. As en la Implicacin
es lgicamente necesario que el consecuente sea verdadero si el antecedente lo es,
y es lgicamente imposible que el antecedente sea verdadero si el consecuente no
lo es.
Recordemos ahora, por un momento, la tabla de verdad del condicional:

P Q P>Q

V V V V V
F V F V V
V F V F F
F F F V F

Como puede observarse, la formula p> q es contingente: corresponde a


proposiciones que dicen algo sobre el mundo y cuya verdad depende de el valor de
verdad del antecedente y del consecuente se combinen en la realidad segn una u
otras de las maneras enumeradas en la tabla. A menudo usamos el condicional para
expresar una relacin causal (si tomo vitamina C estar a salvo de resfros); o las
condiciones para tomar una decisin (si apruebo el examen me ir a pie a Lujn);
o para sealar que un hecho es un indicio de otro (si las luces estn apagadas, no
hay nadie en la casa); pero ninguno de estos vnculos empricos es
indispensable para la verdad del condicional. Esta conectiva es poco exigente,
y se contenta con una correspondencia de hecho, aunque sea circunstancial o
casual. Si tomo caf, llover maana ser verdadera si ambas cosas ocurren,
aunque entre ellas no exista relacin alguna. Es ms, siempre ser verdadera si
llueve maana aunque yo no tome caf hoy!; y otro tanto si no tomo caf,
cualquiera sea las condiciones meteorolgicas de maana. De todos modos, lo que
importa sealar es que cualquiera de estos condicionales (u otro semejante que
pueda imaginarse) ser falso o verdadero segn exista o no un estado de cosas
capaz de verificar el antecedente y hacer falso, al mismo tiempo, el consecuente.
Supongamos, en cambio, esta otra frmula:

P > (P v Q)

Una interpretacin adecuada sera, por ejemplo, si soy abogado, soy abogado y
violinista. Ntese que para ser abogado o violinista basta con ser abogado y basta
tambin con ser violinista (sin excluir por cierto, la eventualidad de un letrado
aficionado al violn): todo abogado es abogado o violinista (o zapatero o
astronauta); de modo que el condicional de nuestro ejemplo es tal que la
afirmacin del antecedente nos obliga a afirmar el consecuente. Para probarlo,
construyamos una tabla de verdad en la que P corresponda a soy abogado y Q
a soy violinista

P Q P > (P v Q)
___________________

V V V V V V V
F V F V F V V
V F V V V V F
F F F V F F F

Nos encontramos, pues, ante un condicional tautolgico. En uno de los ejemplos


anteriores poda darse el caso de que las luces estuvieran apagadas y hubiese
alguien en casa (lo que determinara la falsedad del condicional material), pero si
soy abogado, no puedo dejar de ser abogado o violinista, de modo que la verdad de
este condicional depende de su estructura formal, y no de su correspondencia con
la realidad emprica.
Por qu hay condicionales tautolgicos?, lo que ocurre, en verdad, es que el
enunciado que aparece en ellos como consecuente ya est contenido en el
antecedente: de all que, en el supuesto de verdad del enunciado ms restringido,
no podamos negar la proposicin cuya verdad exige menos requisitos. Tal es,
despus de todo, el principio rector de cualquier razonamiento deductivo: si la
verdad de las premisas nos garantiza la verdad de la conclusin, es porque sta ya
estaba contenida de modo u otro- en aquellas.
Tan importante resulta esta relacin para la lgica que ha merecido un nombre
propio: cuando un enunciado est incluido en otro, de tal manera que la verdad de
este ltimo garantiza la verdad del anterior, decimos que media entre ambos una
relacin de IMPLICACIN formal, estricta o lgica. As todo enunciado cuya verdad
asegura formalmente la verdad de otros enunciados implica a cada uno de stos.
Todo condicional formado de manera que el antecedente implique al consecuente
ser tautolgico; y, a la inversa, todo condicional tautolgico indica una relacin de
implicacin entre su antecedente y su consecuente.
Ha de quedar bien claro que no todo condicional encierra una implicacin: para ello
se requiere que el condicional sea tautolgico. Los condicionales contingentes,
como ya los hemos visto, describen una situacin de hecho, por lo que su verdad
est sujeta a la realidad de esta misma situacin.
EQUIVALENCIA.
Cuando por razones lgicas dos proposiciones tienen siempre el mismo valor de
verdad, podemos formar con ellas un bicondicional tautolgico. Esto ocurre, por
ejemplo, con el enunciado soy abogado si y solo si soy abogado, cuya estructura
corresponde a la frmula P=P y cuya tabla de verdad es la siguiente:

P Q = P
_____________
V V V V
F F F F

As como todo condicional tautolgico expresa una implicacin, todo bicondicional


tautolgico expresa una equivalencia. Dos enunciados son equivalentes cuando
media entre ellos una relacin tal que la verdad de uno garantiza formalmente la
del otro y viceversa, y que la falsedad de uno asegura formalmente la falsedad del
otro y viceversa.
Del mismo modo que la implicacin, la equivalencia es una relacin entre
proposiciones y no un vnculo entre hechos. Un bicondicional contingente (hace fro
si y solo si me visto de azul) puede resultar verdadero porque eventualmente sus
dos trminos tengan en un momento dado el mismo valor de verdad; pero es
lgicamente imposible la existencia de un estado de cosas en que la equivalencia
resulte falsa, por lo que sta como cualquier tautologa- se encuentra
desvinculada del mundo emprico.
Conviene hacer notar que, tal como acontece entre el condicional y el bicondicional,
la equivalencia es una relacin ms restringida que la de implicacin: cuando dos
enunciados son equivalentes podemos afirmar que cada uno de ellos implica al otro
(ya que la verdad de uno garantiza la verdad del restante); pero, si slo sabemos
que un enunciado implica a otro, no podemos sin ms, asegurar que ambos son
equivalentes. Como una avenida de doble mano, la equivalencia contiene
dos implicaciones de sentido inverso.