You are on page 1of 6

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 integran: as, por ejemplo, la conjuncin es verdadera cuando sus
dos trminos son verdaderos y falsa en los dems casos, el condicional es falso cuando el
antecedente es verdadero y el consecuente falso, y es verdadero en los otros tres supuestos, y
el bi-condicional es verdadero si sus dos trminos tienen el mismo valor de verdad ( V o F ) y
falso cuando ellos tiene valor distinto.

Examinemos ahora la tabla de verdad de la siguiente frmula: p v -p

P p v p; V v v f; F fvv

Como la frmula propuesta slo contiene 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 formula 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, o
cualquier otra expresin semejante.

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. Porque, cualquiera sea la opinin que
sustenten sobre la respuesta correcta, fumadores empedernidos y mdicos solcitos,
directores de empresas tabacaleras y activistas de la Liga de la Templanza han de estar de
acuerdo en que fumar hace dao o no lo hace.

Es ms, ni siquiera es necesario interpretar la frmula para conocer su verdad. Como la verdad
de p v -p no depende de la de p sino de la estructura lgica de la expresin molecular,
tanto da que atribuyamos a p la representacin de una u otra proposicin, o aun que
consideremos la variable en su ms puro y original estado simblico: si no nos es preciso
conocer la verdad de p tampoco nos hace falta asignarle un significado.

Estas frmulas cuya tabla de verdad arroja valor positivo para todos los casos posibles se
llaman tautologas. Tienen la ventaja de ser siempre verdaderas con independencia de su
contenido, pero, por esto mismo, tienen tambin una desventaje: 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 pasara la vida enunciando n8icamente las ms solemnes
tautologas: maana habr tormenta, o no la habr; Si un animal tiene cinco patas, tiene
seguramente cinco patas; la existencia es un rio que nos lleva hacia el infinito o bien es
alguna otra cosa. Tal persona no correra jams el riesgo de afirmar algo falso, pero su charla
resultara tan insulsa que nadie querra orla; ninguna de sus afirmaciones contendra 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 ms importante, podemos utilizarla como puente para razonamientos ms
complejos. Por esto la lgica trata muy especialmente sobre las tautologas, y por esto
empleamos hoy mquinas, las computadores, 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 v f f; f f f v;

Al construir la tabla de verdad de esta conjuncin advertimos que para todos sus 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; o no es que yo sea
racista, pero siempre he sostenido que hay razas insoportables, es falsa en cualquier
circunstancia, independientemente de la verdad o la 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 sus casos posibles
se llama contradiccin, y por cierto, tiene tan poco contenido emprico como las tautologas:
es una falsedad formal.

Ha de notarse que, por aplicacin de la tabla de verdad de la negacin, toda tautologa negada
se convierte en contradiccin, y toda contradiccin negada se transmuta en tautologa. As
como en el cuento de Stevenson el perverso, Mr. Hyde era el otro yo del bondadoso Dr. Jekyll,
la tautologa y la contradiccin pueden transformarse una en otra mediante una simple
operacin, pero, como luego veremos, una representa el modelo de razonamiento a seguir y la
otra una impureza cuya presencia echa por tierra el valor de cualquier demostracin.

Contingencia
Si sustituimos la comparacin anterior por un smil ferroviario, podemos afirmar que la
tautologa y la contradiccin son las dos estaciones terminales de una lnea con muchos puntos
intermedios: entre el extremo positivo, verdad formal y el negativo, falsedad formal hay
infinidad de frmulas que resultan verdaderas para algunos combinaciones de verdad de sus
componentes, y falsas para otros: son las frmulas contingentes.

Para decirlo con mayor rigor, una frmula es contingente si y slo si resulta verdade4ra por lo
menos en uno de sus casos posibles y falsa por lo menos en otro. Cumplidas estas
condiciones, poco importa que sean ms los casos de verdad que los 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 constituir 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 una informacin falsa. De aqu se desprende que para averiguar la
verdad o la falsedad de una proposicin contingente, es decir, de una proposicin cuya
estructura lgica puede simbolizarse mediante una 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 a la lgica dentro del
panorama del conocimiento humano: ella busca, entre otras cosas, descubrir y probar
formalmente las tautologas, en tanto las ciencias naturales, por ejemplo, procuran determinar
la verdad de ciertas proposiciones contingentes.

Implicacin formal
Recordemos ahora, por un momento, la tabla de verdad del condicional:

P q ; p =q

V v ; vvv

F v ; f v v

V f ; V f f

F F ; F V F

Como puede observarse, la frmula P = q es contingente: corresponde a proposiciones que


dicen algo sobre el mundo y cuya verdad depende de que 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
ir a la mi casa a pie. O para sealar que un hecho es indicio de otro: Si las luces estn
apagadas, no hay nadie en 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:
tambin ser verdadera si llueve maana, aunque yo no tome caf hoy; y otro tanto si no
tomo caf, cualesquiera sean las condiciones meteorolgicas del da siguiente. De todos
modos, lo que importa destacar 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 o 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 o soy abogado y q a
soy violinista;

P q p= p v q

V v v vvv

F v Fv fvv

V f vv vvf

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 un 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, tambin
llamada implicacin formal, estricta o lgica. As, todo enunciado cuya verdad asegura
formalmente la verdad de otros enunciados implica a cada uno de stos. Toido 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 en claro que no todo condicional encierra una implicacin: para ello se requiere
que el condicional sea tautolgico. Los condicionales contingentes, como ya se ha visto,
describen una situacin de hecho, por lo que su verdad est sujeta a la realidad de esta misma
situacin. Pero no es lgicamente posible un estado de cosas en que el condicional tautolgico
o implicacin resulte falso: la implicacin, vaca de contenido emprico como todas las
tautologas no se refiere a los hechos ni afirma cierta relacin entre stos: simplemente da
cuenta de una relacin abstracta, puramente lgica, entre proposiciones. Un hecho puede ser
causa de otro, pero no puede implicarlo: la implicacin formal es un vnculo entre
proposiciones, y predicarla de los hechos tendra tan poco sentido como afirmar que el
nmero 17 es yerno del 9, o que el edificio del Centro Financiero es un submltiplo del Palacio
Nacional.

Como la implicacin es un caso especial dentro del gnero de los condicionales, entre sus
elementos puede observarse tambin la relacin de condicin necesaria y de condicin
suficiente. En la frmula p = (p v q), p es condicin suficiente de p v q, ya que garantiza su
verdad. Y p v q es condicin necesaria de p: si p v q no fuera verdadera resultaran falsas tanto
p como q, por la tabla de verdad de la disyuncin; y entonces el antecedente p no podra ser
verdadero. Pero, por tratarse de un condicional tautolgico, la necesidad o la suficiencia con
que antecedente y consecuente son condiciones uno del otro no son materiales, es decir,
relaciones de hecho, dependientes de la verdad o falsedad de cada uno, sino formales, de
naturaleza estrictamente lgica. 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.

Equivalencia
Cuando por azones 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 p=p

V v v v

F f v f

As como todo condicional tautolgico expresa una implicacin, todo bicondional tautolgico
expresa una equivalencia. Dos enunciado 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. Una bi- condicional 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 bi-condicional, 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 va, la equivalencia contiene dos implicaciones de
sentido inverso.

You might also like