Académique Documents
Professionnel Documents
Culture Documents
Ad verum ducit1
En este captulo inicial trataremos de transmitir al lector la necesidad del estudio de la
lgica matemtica, as como lo que entendemos por, precisamente, lgica matemtica.
I.1 Fundamentos
Qu es la lgica? No es fcil dar una definicin que sea aceptada por todos los especialistas en el tema. Trataremos de delimitar poco a poco nuestro objeto de estudio.
Se habla de muchas lgicas o de muchos tipos de lgica: clsica, intuicionista, modal,
epistmica, etc. Todas ellas tratan de inferencias o argumentos e intentan determinar,
digmoslo en una primera aproximacin, su correccin o qu tan razonable es aceptarlos, bajo ciertas condiciones. Un argumento o inferencia es una secuencia de razones
que se dan para justificar o hacer plausible una tesis. Por ejemplo, alguien pretende
convencernos de que la dieta a base de pescado es ms sana que la dieta tradicional
mexicana y para ello seala que los japoneses, que comen frecuentemente pescado,
tienen la tasa de enfermedades cardiacas ms baja del mundo, mientras que Mxico es
el segundo pas con ms obesidad en el planeta. Otro intenta demostrar que Oswald
no fue el asesino de John F. Kennedy, y para ello aduce que la polica tena que encontrar rpidamente un asesino material y que Oswald no tena el perfil psicolgico de un
asesino a sueldo, ni estaba interesado en poltica. Estos son ejemplos de argumentos o
1
Conduce a la verdad.
inferencias. La lgica no se interesa nunca en determinar si los enunciados que constituyen la inferencia son verdaderos o plausibles, o si debemos o no aceptarlos. No
entrar en la cuestin de si realmente la dieta de los japoneses es a base de pescado.
Ms bien evaluar qu tan racional es aceptar la tesis que se nos propone (a la que
llamaremos conclusin), suponiendo que admitimos los enunciados que se ofrecen
en su favor (a los que denominaremos premisas). Supongamos que las premisas son
verdaderas y determinemos si es racional aceptar la conclusin. Un punto importante
es que quien ofrece un argumento da por sentado que l y su interlocutor comparten
cierta informacin que por ser tan obvia ni siquiera es digna de ser mencionada. En
nuestro primer ejemplo se da por sentado que una tasa baja de enfermedades cardiacas
es indicio de salud, mientras que la obesidad es signo de poca salud. Debemos considerar que esta informacin implcita forma parte del argumento? En muchos casos
el que el argumento sea considerado como vlido depender de esta decisin. Qu
tanto debemos hacer explcito? Responderemos a ambas cuestiones en el curso de este
captulo.
Ahora bien, hay diversos tipos de argumentos y la lgica clsica, que estudiaremos
aqu, no se ocupa de todos ellos. Sin pretender ni clasificarlos, ni caracterizarlos con
precisin, diremos que hay argumentos inductivos, abductivos y deductivos, y que slo
trataremos aqu de los ltimos. Demos brevemente ejemplo de los primeros dos casos.
De que cada da, a las seis de la maana, se escucha desde el minarete de la mezquita
el llamado a la oracin, y de que son las 5:55, concluyo que en 5 minutos escuchar
el llamado a la plegaria. A partir de que todas las ratas que han tomado estricnina han
muerto, concluyo que esta sustancia es mortal para cualquier rata. Esos son ejemplo
de argumentos inductivos. Sola decirse que la induccin proceda de lo particular a lo
general, es decir, que parta de premisas particulares para concluir algo general, pero
esta caracterizacin ni siquiera se aplica a nuestro primer ejemplo. A falta de otra
mejor, nos quedaremos con los ejemplos. Lo mismo haremos con la abduccin. De la
observacin de que el ladrn muy probablemente empear el diamante que se rob
tan rpido como le sea posible, y de que el seor X empe un diamante una hora
despus de cometido el hurto, concluimos que es muy verosmil que el seor X sea el
ladrn. De que el paciente tuvo fiebre concluimos que muy probablemente padezca de
una infeccin bacteriana. Estos son casos de razonamiento abductivo. Insistimos en
que no es fcil definir claramente estos tipos de inferencia, pero esperamos que con
estos ejemplos y el contraste con los argumentos deductivos, que s sern tratados en
lo que sigue, el lector pueda hacerse una idea clara sobre estas categoras.
I.1. Fundamentos
Veamos ahora unos ejemplos de inferencias deductivas que parecen vlidas o correctas. Para mayor claridad daremos por separado las premisas, en primer trmino, y
por ltimo la conclusin:
Ninguno de los conocidos de Sandra vio ayer a Miguel.
Juan vio ayer a Miguel.
Por lo tanto, Sandra no conoce a Juan.
O se les aumenta el sueldo o los empleados irn a huelga.
No se les aumentar el sueldo.
Por lo tanto, los empleados irn a huelga.
Dos de los hermanos de Pedro son calvos.
Carlos es hermano de Pedro y no es calvo.
Por lo tanto, Pedro tiene ms de dos hermanos.
El auto de Luis es verde.
Este auto es azul.
Por lo tanto, este auto no pertenece a Luis.
uno de esos enunciados sea sealado como la conclusin. Ahora bien, una inferencia
es vlida cuando la conclusin se sigue (o es consecuencia lgica) de las premisas.
Cmo definir precisamente esta nocin de "consecuencia lgica"? (o "validez" o "correccin"). Alguien propone un argumento cuando intenta convencer a su interlocutor
de una proposicin que ste no cree. Para ello tiene que partir de premisas que el interlocutor ya admite. Si alguien intentara convencernos de que es bueno, desde el punto
de vista moral, el trato que damos a los animales de granja, y parte para ello de que los
animales no son sensibles al dolor en el mismo grado que los humanos, podramos no
aceptar el argumento por parecernos inadmisible esta primera premisa. As es que un
buen argumento tendr como premisas afirmaciones que el interlocutor acepta. Pero,
como dijimos, la verdad, verosimilitud de las premisas o qu tan racional es aceptarlas
no es asunto de la lgica, sino que corresponde a la disciplina de cuyo tema versa la
premisa. La lgica juzgar qu tan razonable es aceptar la conclusin una vez que
ya damos por sentadas las premisas. Basado en ello, daremos una primera definicin
an imprecisa e informal de argumento correcto (desde el punto de vista deductivo),
que nos servir como punto de partida: un argumento es correcto (desde el punto de
vista deductivo) si cuando las premisas son consideradas como verdaderas (sanlo o
no en realidad), la conclusin no puede ser concebida como falsa (es decir, tiene que
ser aceptada como verdadera). Esta es una definicin an imprecisa que requiere un
refinamiento, pero puede servirnos como un primer criterio. Antes de ver qu otro tipo
de argumentos existen, examinemos algunos ejemplos de argumentos (deductivos) y
de aplicacin del criterio de correccin mencionado.
Veamos algunos ejemplos.
Juan fue nombrado director del hospicio del pueblo. El director del hospicio debe
alimentar a aquellos y slo a aquellos que no se alimentan a s mismos. Por lo tanto,
Juan no podr cumplir con sus obligaciones. Si Juan quisiera cumplir con sus obligaciones, debera o no alimentarse a s mismo? Si la respuesta es positiva puesto que l
se alimentara a s mismo, las reglas de su cargo indican que l no debe alimentarse a s
mismo. Si no se alimenta, entonces est obligado a hacerlo por las responsabilidades
de su puesto. Se sigue que no puede cumplir stas cabalmente y que el argumento es
correcto.
Si una persona tiene dermatitis atpica o rinitis alrgica, alguno de sus hijos padecer (al menos) una de estas enfermedades antes de los 20 aos. Un hijo de Luis XVIII
padeci rinitis alrgica. Juan tiene 21 aos y no ha padecido ni rinitis alrgica ni dermatitis atpica. Por lo tanto, Juan no es descendiente de Luis XVIII.
Desconocemos qu valor de verdad tienen las premisas o la conclusin (si son verdaderas o falsas), pero eso no importa para saber si el argumento es correcto. Es fcil
ver que si suponemos las premisas verdaderas, podemos concebir la conclusin como
falsa. Puede ocurrir que, por ejemplo, Juan pertenezca a una lnea de descendientes de
Luis XVIII de cuyos miembros ninguno sufri de esas enfermedades. En cambio, es
correcto si en lugar de la primera premisa, ponemos la siguiente:
Si una persona tiene dermatitis atpica o rinitis alrgica, todos sus hijos padecern (al menos) una de estas enfermedades antes de los 20 aos.
el nuevo argumento que ahora resulta es claramente correcto. Tomemos ahora el
argumento:
Ningn obrero de la fbrica es beneficiario del IMSS. Todos los beneficiarios del
IMSS cuentan con seguro mdico. Por lo tanto, ningn obrero de la fbrica cuenta
con seguro mdico.
Imaginemos que las premisas son verdaderas, la conclusin tiene que ser verdadera? Es fcil ver que no. Supongamos, por ejemplo, que hay slo dos obreros en la
fbrica, Francisco y Miguel. Los beneficiarios del IMSS cuentan con seguro mdico
otorgado por esta empresa. Ni Francisco ni Miguel son beneficiarios del IMSS. Sin
embargo, Miguel cuenta con un seguro mdico privado. En este caso las premisas son
verdaderas y la conclusin es falsa. Por ello, el argumento es incorrecto.
Comparemos el caso anterior con el siguiente:
Todos los beneficiarios del IMSS cuentan con seguro mdico. Miguel no tiene
seguro mdico. Por lo tanto, Miguel no es beneficiario del IMSS.
En este caso, no podemos imaginar las premisas verdaderas y la conclusin falsa.
Pues si la conclusin fuese falsa y las premisas verdaderas, Miguel sera beneficiario
del IMSS y, de acuerdo con la primera premisa, contara con seguro mdico, pero
la segunda premisa asegura que esto no ocurre. Es decir, que este es un argumento
correcto.
Podr pensarse aqu que ya contamos con una definicin precisa de lo que es un
argumento correcto, a saber, es aquel en el que no podemos imaginar las premisas
verdaderas y la conclusin falsa. Sin embargo, esta definicin es an vaga. Qu
significa poder concebir o imaginar que algo ocurra? Un argumento que trate de
un mirigono (un polgono regular de 1000 lados) es correcto porque yo no puedo
concebir un mirigono y, por lo tanto, no puedo imaginarme las premisas verdaderas y
la concusin falsa? O consideremos el siguiente argumento: La luna es de queso. Por
lo tanto, 2 + 2 = 4.
Es evidentemente incorrecto, pero alguien podra decir que de acuerdo con nuestra
definicin es correcto porque es imposible concebir que la luna es de queso y que 2 + 2
no es 4. En efecto, estas objeciones son acertadas. Requerimos de otra definicin de
"argumento correcto". La daremos en partes. Observemos los siguientes ejemplos:
Olivia es esquizofrnica. Olivia es paranoica. En consecuencia, Olivia es paranoica y esquizofrnica.
Luis es soltero. Luis es rico. En consecuencia, Luis es rico y soltero.
Pablo es amigo de Sonia. Pablo es enemigo de Carlos. En consecuencia, Pablo es
enemigo de Carlos y amigo de Sonia.
Se trata claramente de argumentos correctos. No slo eso, sino que parecen serlo
por la misma razn. Se afirma que un individuo tiene una propiedad, despus se dice
que tiene otra propiedad y se concluye que tiene ambas propiedades. No podran las
premisas ser verdaderas y la conclusin falsa. Podemos asegurar que no habr un
argumento construido de esta manera (con esa forma) que tenga premisas verdaderas
y conclusin falsa.
Tomemos otro ejemplo:
En el club X cada miembro es padrino de un miembro. El fundador no tiene
padrinos. Nadie en el club X tiene dos padrinos. Por lo tanto, el club X tiene una
infinidad de miembros.
Para ver que es correcto llamemos al fundador del club y para cualquier miembro
x del club, llamamos x a su ahijado, es decir, a aquel de quien x es padrino. Por la
primera premisa, existe el ahijado de , es decir , y por la segunda premisa, no es
mismo. Debe existir tambin . No puede ser , por la segunda premisa. No puede
tampoco ser , porque entonces tendra dos padrinos, a saber, y mismo. Por
lo tanto, , y son todos distintos. Podemos reiterar este razonamiento para ver
que el club no puede tener un nmero finito de miembros.
El anterior argumento tiene una semejanza con el siguiente:
Cada bacteria de este cultivo ha engendrado una bacteria. La primera bacteria
no fue engendrada por ninguna bacteria del cultivo. Ninguna bacteria ha sido engendrada por ms de una bacteria. Por lo tanto, este cultivo tiene una infinidad de
bacterias.
Podemos ver que es correcto y adems que lo es por las mismas razones que hacan
vlido al argumento precedente.
Otro ejemplo: Slo los empleados tienen la llave. Luis no es empleado. Por lo
tanto, Luis no tiene la llave.
Otros argumentos que parecen tener la misma forma son los siguientes: Slo los
ingleses saben preparar el t. John no es ingls . Por lo tanto, John no sabe preparar
el t.
Slo tus tas saben el secreto. Luisa no es tu ta. Por lo tanto, Luisa no sabe el
secreto.
Esto sugiere una definicin ms precisa de argumento correcto. Llamemos contraejemplo de un argumento a un argumento que tiene la misma forma con premisas verdaderas y conclusin falsa. Ahora bien un argumento es correcto si no tiene
contraejemplo. Sin embargo, es necesario hacer inmediatamente ciertas aclaraciones.
Dado un argumento, qu significa que otro argumento tenga la misma forma? Observamos en los ejemplos anteriores que un argumento tiene la misma forma que otro,
si puede ser obtenido de l por sustitucin de ciertas palabras por otras de la misma
categora gramatical. El argumento
Slo los ingleses saben preparar el t. John no es ingls. Por lo tanto, John no
sabe preparar el t.
Tiene la misma forma que:
Slo tus tas saben el secreto. Luisa no es tu ta. Por lo tanto, Luisa no sabe el
secreto.
Porque puede obtenerse de l sustituyendo "los ingleses" por "tus tas", "saben
preparar el t" por "conocen el secreto" y "Luisa", por "John". A estas palabras las
llamaremos accidentales y a las restantes esenciales. As, si eliminamos las palabras
accidentales de los argumentos anteriores y marcamos su presencia por variables, obtenemos el siguiente esquema: Slo los X Y , Z no Y . Por lo tanto, Z no Y . Podemos,
an informalmente, decir que esta es la forma del argumento y que ste es correcto
porque si sustituimos X , Y y Z por trminos de las categoras gramaticales adecuadas
(por ejemplo, Z siempre debe ser sustituido por un nombre propio), ninguno de los
argumentos que obtendremos tendr premisas verdaderas y conclusin falsa. Ahora
bien, nos falta agregar algo, que slo ms adelante precisaremos.
Por ejemplo, consideremos el argumento:
Cualquier combinacin posible de miembros del club X tiene un representante que
es un miembro del club. Se sigue que algn miembro es representante de ms de una
combinacin.
Ser correcto slo si las expresiones cualquier y ms de una(o) son consideradas como esenciales. Si no, es fcil imaginar un argumento con la misma forma lgica,
premisas verdaderas y conclusin falsa. As es que todo depender de cules sern las
palabras que elijamos como esenciales. Que ciertos argumentos sean correctos depender de qu elijamos como vocabulario o lxico esencial. Ahora bien, los casos que
estudiaremos sern aquellos en que el vocabulario esencial elegido est constituido de
palabras "lgicas". Cules son estas palabras? Eso es justamente lo que habremos de
precisar. De hecho, en un primer momento daremos un pequeo conjunto de palabras
lgicas y esto dar lugar a una definicin de argumento correcto. Ms adelante ampliaremos este vocabulario lgico y obtendremos nuevas definiciones de "argumento
correcto" que se revelarn ms tiles.
Una segunda aclaracin debemos hacer. Tenemos que precisar el significado de
las palabras lgicas. Por ejemplo, tomemos el argumento
Luisa estudi medicina. Luisa sabe ingls. Por lo tanto, Luisa sabe ingls y estudi
medicina.
Habamos dicho que argumentos de esta forma eran correctos. Sin embargo, alguien podra decir que, segn nuestra definicin, es incorrecto, pues el argumento:
Luisa se distrajo. Luisa choc. Por lo tanto, Luisa choc y se distrajo.
Tiene premisas verdaderas y conclusin falsa. Luisa no choc y se distrajo, sino
que se distrajo y luego, como consecuencia de ello, choc. La respuesta es que todo
depende de qu significado atribuyamos al trmino "y", si simplemente es considerado como una conjuncin o tambin conlleva connotaciones temporales o causales.
Por ello, tendremos que precisar con mucho cuidado el significado de las palabras que
consideraremos como lgicas. Otra aclaracin es necesaria. Podra pensarse que el
enunciado "Luisa choc" no es ni verdadero ni falso, o ms bien, es verdadero dicho en una ocasin particular refirindose a una persona determinada, y falso en otras
ocasiones. Simplemente supondremos en lo sucesivo que los enunciados que consideraremos se refieren (tal vez implcitamente) a eventos determinados y a tiempos
especficos, y tienen por tanto un solo valor de verdad (verdadero o falso) a todo lo
largo de un argumento.
En conclusin, la validez o correccin de un argumento (el que la conclusin se
siga de las premisas) depende de qu palabras sean consideradas como formando el
vocabulario lgico, y de qu significado les atribuyamos. Por ello, debemos agregar a
nuestra primera definicin que la lgica es una teora de las inferencias vlidas para argumentos en un lenguaje cuya sintaxis ha sido determinada, en el que se han sealado
ciertas expresiones como lgicas y tal que la semntica de las expresiones que forman
el vocabulario lgico ha sido previamente especificada. Dicho en otras palabras: qu
argumentos sean correctos depender de un cierto anlisis sintctico y semntico del
10
Q
verdadero
falso
verdadero
falso
PQ
verdadero
falso
falso
falso
11
12
debe ser verdadero. El primero es falso (l no miente), por lo tanto, el segundo debe
ser verdadero. En consecuencia, el argumento que tiene como premisas las condiciones del problema y como conclusin que el tipo dice la verdad y tiene las llaves, es
correcto.
Al operador "o" que aparece en este problema le llamaremos disyuncin. Tiene
la caracterstica de que forma un enunciado ("miento o tengo la llave") a partir de
otros dos ("miento" y "tengo la llave"), de tal manera que el enunciado resultante
es verdadero cuando al menos uno de los dos enunciados es verdadero; y slo es
falso cuando ambos enunciados son falsos, lo que podemos representar con la tabla de
verdad de la disyuncin:
P
verdadero
verdadero
falso
falso
Q
verdadero
falso
verdadero
falso
PQ
verdadero
verdadero
verdadero
falso
13
Q
verdadero
falso
verdadero
falso
PQ
verdadero
falso
?
?
Q
verdadero
falso
verdadero
falso
PQ
verdadero
falso
verdadero
verdadero
Esta convencin tiene sus ventajas y sus inconvenientes. Entre las primeras est la
siguiente. Una manera ordinaria de decir que todos los musulmanes respetan El Corn
14
es decir "para cualquier individuo si es musulmn entonces respeta El Corn". Ordinariamente consideramos estos enunciados como verdaderos y, por tanto, admitimos
que para cualquier individuo si es musulmn, entonces respeta El Corn. Eso significa
que los enunciados:
Si el Dalai Lama es musulmn, entonces respeta El Corn, y si Bush es musulmn,
entonces respeta El Corn.
Son verdaderos. Y sin embargo, el primero tiene antecedente falso y consecuente
verdadero, y el segundo tiene antecedente falso y consecuente falso.
Retengamos solamente que nuestro uso de este operador se atendr a la estipulacin codificada en la tabla anterior. Volvamos ahora a nuestro problema. Tenamos
el enunciado A: Si A es verdadero, entonces Oswald no mat a Kennedy. Supongamos que es falso, entonces su antecedente es verdadero y su consecuente falso. De lo
primero se sigue que A es verdadero, lo que no puede ser. Por lo tanto, A no puede ser
falso. Es verdadero y su antecedente es verdadero. En consecuencia, Oswald no mat
a Kennedy.
Es importante sealar las diversas lecturas que tiene el condicional P Q: Si P
entonces Q, Q si P, P implica Q, Q es una consecuencia de P, Q suponiendo P, P es
una condicin suficiente para Q, Q es una condicin necesaria para P.
En relacin al condicional P Q, Q P es la conversa, P Q es la inversa
y Q P la contrapositiva.
El siguiente operador veritativo-funcional que consideraremos es la partcula ". . .
si y slo si . . .", que permite formar un enunciado, P si y slo si Q, a partir de otros
dos, P y Q, de tal manera que el enunciado resultante es verdadero en los casos en que
P y Q sean ambos verdaderos o bien ambos falsos, y es falso en cualquier otro caso.
Eso podemos representarlo de la siguiente manera:
P
verdadero
verdadero
falso
falso
Q
verdadero
falso
verdadero
falso
PQ
verdadero
falso
falso
verdadero
15
P
falso
verdadero
Ejemplo I.2.1. Si debes donar dinero para los pobres, entonces puedes hacerlo. No
puedes donar dinero para los pobres. Por lo tanto, no debes donar dinero a los pobres.
Podrn las premisas ser verdaderas y la conclusin falsa? Supongamos que as
ocurriera. No puedes donar dinero para los pobres sera verdadera y, por lo tanto,
puedes donar dinero para los pobres sera falsa, mientras que no debes donar dinero
a los pobres sera falsa y debes donar dinero para los pobres sera verdadera. Pero,
en ese caso, el enunciado si debes donar dinero para los pobres, entonces puedes
hacerlo sera falso y habamos supuesto que era verdadero. Vemos que es imposible
que las premisas sean verdaderas y la conclusin falsa. Por lo tanto, el argumento es
correcto.
Ejemplo I.2.2. El brindis ser a las seis o no habr tiempo para la colacin. Si el
brindis es a las seis, los invitados debern llegar a las cinco y media. Si no hay tiempo
para la colacin, la reunin ser un fracaso. O los invitados llegan a las cinco y media
o la reunin ser un fracaso.
Podemos representar el argumento anterior de la siguiente forma:
P Q.
16
P R.
Q S.
Por lo tanto, R S.
Advirtase que para ello hacemos ciertos ajustes. En la segunda y tercera premisas suponemos implcito el vocablo entonces en donde slo aparece una coma. La
primera figuracin de P representa una oracin en futuro, mientras que la segunda
simboliza una afirmacin presente. Sin embargo, consideramos que se refieren bsicamente al mismo hecho. Supongamos ahora que las premisas son verdaderas y la
conclusin falsa, es decir, que:
P Q es verdadera (1).
P R es verdadera (2).
Q S es verdadera (3).
R S es falsa (4).
De all concluimos que: por (4), es decir, porque R S es falsa, tanto R como S tienen
que ser falsas (5) (la nica posibilidad para que una disyuncin sea falsa es que los dos
enunciados que la constituyen sean falsos). Puesto que R es falsa (por (5)) y P R es
verdadera (por (2)), se sigue que P tiene que ser falsa (6) (si fuese verdadera, P R
sera falsa). Similarmente, por (5) y (3), Q tiene que ser falsa (7). Ya vimos (en (6) y
(7)) que entonces P y Q tienen ambas que ser falsas. Pero, si as es, P Q tendra que
ser falsa. Pero tambin tena que ser verdadera por (1). Lo que supusimos (que en el
argumento las premisas eran verdaderas y la conclusin falsa) es imposible. Se sigue
que el argumento es correcto.
Ejemplo I.2.3. No es cierto que el paciente morir a menos que el mdico le aplique
la inyeccin. Por lo tanto, si el paciente muere, el mdico no le habr aplicado la
inyeccin.
Aqu aparece un conectivo aparentemente nuevo, a saber, . . . a menos que. . ..
Pero quien dice "el paciente morir a menos que el mdico le aplique esta inyeccin"
est aseverando que si el mdico no le pone la inyeccin al paciente, entonces ste
morir. Es decir, "P a menos que Q" significa lo mismo que "si no Q, entonces P".
Por ello podemos parafrasear el argumento de la siguiente forma No es cierto que
si el mdico no le aplica la inyeccin, entonces el paciente morir. Por lo tanto,
si el paciente muere, el mdico no le habr aplicado la inyeccin, y representarlo
como: (P Q). Por lo tanto, (Q P) Podrn las premisas ser verdaderas y
17
18
19
(P Q) R.
R.
P.
Por lo tanto, Q.
Suponer las ltimas dos premisas verdaderas y la conclusin falsa nos obliga a atribuir
a P y a Q el valor verdadero y a R el valor falso. Sin embargo, con estos valores, la
primera premisa resulta falsa. De nuevo, tenemos un argumento correcto.
Vemos aqu la importancia de utilizar parntesis en la representacin esquemtica
de los argumentos. Es claro que enunciados que tengan respectivamente las formas
(P Q) R y (P (Q R)) no tienen las mismas condiciones de verdad. Por ejemplo, si P es falsa, el primero es verdadero, mientras que el segundo es falso. De all que
ser conveniente utilizar parntesis cada vez que utilicemos un conectivo binario (es
decir, una conjuncin, una disyuncin, un condicional o un bicondicional), abarcando
cada uno de los dos enunciados que lo componen.
Consideremos ahora el argumento:
Ejemplo I.2.6. La tregua llega a su fin e Irn no usar armas atmicas, slo si la
Unin Europea debe enviar un ejrcito de pacificacin. O la situacin es de mxima
alerta o la Unin Europea no enviar un ejrcito de pacificacin. En conclusin, si la
situacin no es de alerta mxima y la tregua llega a su fin entonces Irn usar armas
atmicas.
Quien dice P slo si Q est afirmando que si no ocurre Q entonces no sucede P.
Por ello, podemos esquematizar el argumento anterior como
R (P Q).
S R.
En conclusin, (S P) Q.
Supongamos que las premisas son verdaderas y la conclusin falsa. De esto ltimo
inferimos que S es falsa, P verdadera y Q falsa. De all que (P Q) sea falsa y
como la primera premisa es (supuestamente) verdadera, su antecedente debe ser falso
y, por ende, R debe ser verdadera. Pero, con esos valores, la segunda premisa es falsa,
contrariamente a lo que habamos supuesto. Se sigue que la conclusin no puede ser
falsa, si las premisas son verdaderas y que, en consecuencia, el argumento es correcto.
En lo que sigue tomaremos como trminos lgicos de nuestro lenguaje slo las
partculas y, o, no, si. . . entonces y si y slo si. Al analizar un argumento
slo ellas sern esenciales. Con ello obtendremos una definicin ya ms precisa de
20
21
(((P) Q) R) S
(P Q (P1 S))
((R S P) (Q R))
.
Como simple licencia al escribir, a) omitiremos muchas veces los parntesis exteriores; b) Cuando una frmula (o una parte de la misma) est formada por la iteracin
de un mismo conectivo sobre varios enunciados supondremos que los parntesis deben
restituirse de izquierda a derecha. As, por ejemplo:
PQRS
abreviar
(((P Q) R) S).
Estas abreviaturas son opcionales.
Ahora bien, todas las frmulas que obtenemos tendrn un valor de verdad una vez
que a cada una de sus letras haya sido asignado un valor de verdad. As, si a P, Q y R
asignamos respectivamente los valores verdadero, falso y verdadero, la frmula
((P Q) R)
ser falsa. A la inversa, podemos fcilmente deducir que si
((P Q) R)
es verdadera, entonces es porque P, Q y R son verdaderas o bien porque P y Q son
falsas y R verdadera. Esto podemos visualizarlo con facilidad haciendo una cuadrcula
(que llamaremos tabla de verdad de la frmula ((P Q) R)), en la cual representaremos en renglones cada una de las posibles asignaciones de valores de verdad a
las letras proposicionales que aparecen en la frmula. Comenzaremos entonces por:
22
P
V
V
V
V
F
F
F
F
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
Desde luego tenemos ocho renglones porque ese es el nmero de posibles asignaciones de valores de verdad a tres letras. Si la frmula contuviera cuatro letras
proposicionales requeriramos 16 renglones y, en general, si en una frmula aparecen exactamente n letras, su tabla de verdad contendr 2n renglones. El orden en
que aparezcan estas posibilidades no es relevante (pudimos haber colocado el ltimo
rengln de la tabla anterior en el primer sitio, etc.) Lo importante es que se representen
todas las posibilidades. Enseguida agregaremos un rengln por cada subfrmula de la
frmula en cuestin y el valor de verdad que le corresponde en ese caso:
P
V
V
V
V
F
F
F
F
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
PQ
V
V
F
F
F
F
V
V
R
F
V
F
V
F
V
F
V
((P Q) R)
F
V
V
V
V
V
F
V
((P Q) R)
V
F
F
F
F
F
V
F
V
F
F
F
F
F
V
F
((P
V
V
V
V
F
F
F
F
V
V
F
F
F
F
V
V
Q)
V
V
F
F
V
V
F
F
F
V
V
V
V
V
F
V
F
V
F
V
F
V
F
V
23
R)
V
F
V
F
V
F
V
F
24
25
es correcto podemos concluir que ((P Q) R) R P Q es una frmula contradictoria. Advirtase que en lugar de Q hemos tomado Q porque son frmulas
verdaderas en exactamente las mismas circunstancias.
Viceversa, si tenemos un conjunto inconsistente de frmulas, entonces es correcto
el argumento que se obtiene tomando, como premisas, todas las frmulas excepto una
y, como conclusin, la negacin de esta frmula restante. Por ejemplo, {(P Q),
(R Q), (R P)} es un conjunto inconsistente. Consideremos el argumento: (R
Q), (R P), por lo tanto, (P Q) es correcto porque en cualquier asignacin
de valores de verdad a P, Q y R, si (P Q), (R Q) son verdaderas (R P) es
falsa (pues no pueden ser verdaderas las tres "al mismo tiempo"); por consiguiente, si
(P Q), (R Q) son verdaderas (R P) tiene que ser verdadera.
De igual manera, puesto que {(P Q), ((P Q) R), R} es inconsistente, sabemos que el argumento: (P Q), R, por lo tanto, ((P Q) R) es correcto.
Otra forma de afirmar que un argumento es correcto es decir que su conclusin es
consecuencia lgica de sus premisas o del conjunto de sus premisas. En el ejemplo
anterior pudimos decir que ((P Q) R) es consecuencia lgica del conjunto
{(P Q), R}.
Tomemos de nuevo el argumento
PQ
PR
Q S.
Por lo tanto, R S.
Sabemos que si sus premisas son verdaderas (es decir, si la conjuncin de sus
premisas es verdadera) entonces su conclusin tiene que ser verdadera. Qu ocurrir,
entonces, con el condicional que tiene como antecedente la conjuncin de las premisas
y como consecuente la conclusin? Que siempre ser verdadero. Ms precisamente,
no habr una asignacin de valores de verdad que haga verdadero a (P Q) (P
R) (Q S) y falso a (R S), pues si lo hubiera, se sera un caso en que las premisas
fuesen verdaderas y la conclusin falsa, situacin que no ocurre porque el argumento
es correcto. Concluimos que la frmula ((P Q) (P R) (Q S)) (R S), a
la que llamaremos el condicional asociado al argumento, ser verdadera en todos los
renglones de la ltima columna de su tabla de verdad. A las frmulas que tienen esta
caracterstica las llamaremos tautologas. Concluimos que el condicional asociado a
un argumento correcto es una tautologa.
26
Tambin podemos ver fcilmente que el condicional asociado a un argumento incorrecto no es una tautologa. Vimos antes que el ejemplo:(P Q) R, R, P. Por lo
tanto, Q, es correcto.
Sabemos entonces que ((((P Q) R) R P) Q) es una tautologa.
Ejemplo I.3.3. Como ejemplos de tautologas sealamos las siguientes:
(P P),
(P P),
(P Q) P,
P (P Q),
(P P),
((P Q) (Q R)) (P R).
Como vemos hay una estrecha interrelacin entre los conceptos de "consecuencia
lgica" (o "argumento correcto"), "ser tautologa" y "consistencia lgica", de tal manera que estudiando cualquiera de ellos, estudiamos los otros dos. Por ello, podramos
concentrarnos nicamente en uno slo de esos temas.
27
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
+PQR
F
F
V
F
F
F
F
F
28
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
$PQR
F
F
V
F
V
F
F
F
29
tomemos primeramente (P Q R) por el primer caso y (P Q R), y coloquemos en medio una conjuncin para obtener (P Q R) (PQ R). A pesar de
ser una conjuncin slo es falsa en dos casos, pues la falsedad del primer conyunto
excluye la del segundo y viceversa. Es claro que este procedimiento lo podramos
extender a cualquier conectivo que represente una forma de construccin de enunciados veritativo funcional. Consideremos por ejemplo la disyuncin ternaria exclusiva
(que representaremos con #) que slo es verdadera cuando exactamente uno de sus
tres conyuntos es verdadero. Aplicando el primer mtodo, podemos expresar #PQR
como (P Q R) (P Q R) (P Q R). Aplicando el segundo mtodo,
obtenemos (P Q R) (P Q R) (P Q R) (P Q R) (P
Q R).
De hecho, nos bastaran la disyuncin y la negacin o la disyuncin y el condicional, pues afirmar (P Q) es lo mismo que aseverar (P Q), ya que la conjuncin es verdadera cuando no ocurre que alguno de sus conyuntos es falso. Por
otro lado, afirmar (P Q) es equivalente a aseverar (P Q), pues la negacin de
(P Q) es verdadera nicamente cuando P es verdadera y la negacin de Q es falsa,
es decir, slo cuando P y Q son ambas verdaderas. Tambin nos hubieran bastado los
conectivos y , pues (P Q) puede expresarse como (P Q).
Por ejemplo, vimos que afirmar $PQR es lo mismo que decir (P Q R) (P
Q R). Ahora bien, observemos que (P Q R) es verdadero si y slo si P es
verdadero, Q falso y R verdadero, es decir, si y slo si no ocurre que P sea falso o Q
verdadero o R falso. Entonces (PQR) es verdadero en los mismos casos en que lo
es (PQR). De all que (PQR)(PQR) y, por tanto, tambin $PQR
pueden expresarse como (P Q R) (P Q R). Tambin ya vimos cmo
expresar una disyuncin utilizando una conjuncin. Afirmar (P Q R) (P Q
R) es equivalente a aseverar ((P Q R) (P Q R)). Podramos expresar
cualquier forma de composicin de enunciados que sea veritativo funcional utilizando
un solo conectivo? Todo lo que requerimos es expresar P Q y P utilizando ese slo
conectivo. Evidentemente necesitamos un conectivo al menos binario. Cul podra
ser su tabla de verdad?
P
V
V
F
F
Q
V
F
V
F
P?Q
30
Q
V
F
V
F
PQ
F
F
F
V
P
V
V
F
F
Q
V
F
V
F
P|Q
F
V
V
V
31
asignaciones de valores de verdad a las letras proposicionales. Diremos que dos frmulas y son lgicamente equivalentes (lo que denotaremos con ), si es
consecuencia lgica de y viceversa o, si es una tautologa.
Las siguientes son equivalencias a las que utilizaremos en las pginas siguientes, en algunos casos, haciendo referencia a ellas por los nombres que aparecen a su
izquierda. y representan frmulas cualesquiera.
Conmutatividad de la conjuncin .
Idempotencia de la conjuncin .
Conmutatividad de la disyuncin .
Idempotencia de la disyuncin .
Asociatividad de la conjuncin ( ) ( ).
Asociatividad de la disyuncin ( ) ( ).
Distributividad de la disyuncin sobre la conjuncin
( ) ( ) ( ).
Distributividad de la conjuncin sobre la disyuncin
( ) ( ) ( ).
Leyes de De Morgan ( ) , ( ) ( ).
( ) .
( ) .
( ) ( ).
( ) ( ).
( ) ( ).
( ) ( ).
( ) ( ).
( ) ( ) ( ).
.
Veremos a continuacin un algoritmo que aparece en el libro [Qui82] de Quine
para establecer si un enunciado es tautolgico o consistente. Introduzcamos los signos
y para representar respectivamente una tautologa y una contradiccin fijas. El
mtodo se basa en las siguientes equivalencias:
.
32
33
Si r es verdadera
y si r es falsa:
,
las cuales son ambas equivalentes a .
Retomemos (*) y supongamos ahora q falsa:
( r) ( r)
.
Y obtenemos .
Ahora exploremos qu ocurre si p es falsa:
( (q r)) (( q) r)
( r)
.
La cual es equivalente a .
Consideremos ahora un caso en que el enunciado no es una tautologa, por ejemplo, (p q) q.
Apliquemos el mtodo, comenzando ahora por el caso q verdadera
(p )
.
Y el caso "q falsa"
(p )
p
p.
Esto significa que en las interpretaciones en que q es falsa, el enunciado tiene el
mismo valor que p (es decir, que p). Por lo tanto, en las interpretaciones en que p
y q son falsas, el enunciado original es falso. Vemos as que el algoritmo nos permite
encontrar las interpretaciones en que el enunciado original es falso.
Veamos ahora otra forma de verificar que una frmula es una tautologa empleando
las equivalencias vistas anteriormente.
Ejemplo I.4.2. Consideremos por ejemplo que ((P (Q R)) ((P Q) (P
R)) es una tautologa, si y slo si su negacin (((P (Q R)) ((P Q) (P
R))) es una contradiccin.Esto es lo que buscaremos probar. Empleando la equivalencia ( ) ( ), encontramos sucesivamente las siguientes frmulas
equivalentes a:
34
I.5. Ejercicios
I.5 Ejercicios
1. A: A y B son falsos.
B: Este enunciado es verdadero.
Cules son los valores de verdad de A y de B?
2. A: B es falsa.
B: A si y slo si C.
C: hay vida en otros planetas.
Hay vida en otros planetas?
3. A: A es verdadero y 5+1=6.
Es A verdadero, falso o no puede saberse?
4. A: O A es falso o B es falso.
B: Habr una guerra naval maana.
Habr una guerra naval maana?
5. A: B o C son verdaderas.
B: A es falsa.
C: Oswald no mat a Kennedy.
Mat Oswald a Kennedy?
35
36
I.5. Ejercicios
37
(d) (P Q) (R S) (S Q) (R P) (R Q)
(e) ((P Q) R) ((R Q))
12. Utilice el mtodo de Quine para expresar lo que las frmulas anteriores dicen
usando nicamente , y .
13. Puede expresarse la disyuncin exclusiva ternaria utilizando nicamente la
disyuncin exclusiva binaria?
14. Demuestre que | nos hubiera bastado para expresar todo lo que podemos decir
utilizando nuestros conectivos ordinarios.
15. Son cada uno de los siguientes conjuntos de conectivos suficientes para expresar toda forma de composicin de enunciados veritativo-funcional?
(a) {, }
(b) {, }
(c) {, }
(d) {, , }
16. Exprese (P | Q) utilizando nicamente el conectivo .
17. Demuestre que es inconsistente si y slo si cualquier frmula es consecuencia
lgica de .
18. Suponga una frmula que slo contiene los conectivos , y . Sustituya en
ella por y viceversa, y llame al resultado el Dual de . Demuestre que:
a) si en negamos todas las letras proposicionales y tambin la frmula completa, obtenemos una frmula equivalente al Dual de .
b) Si es consecuencia lgica de , entonces el Dual de es consecuencia
lgica del Dual de .
19. Cules de las siguientes aseveraciones son verdaderas y cules falsas?
(a) Si alguien produce un argumento invlido, sus premisas y conclusin deben conformar un conjunto inconsistente.
38