Gamut Cap. 2

2
Lgica proposicional
2.1 Conectivas veritativo-funcionales

La lgica proposicional es el sistema lgico ms simple y bsico que
existe. Sus constantes lgicas son las conectivas y la negacin; las
primeras vinculan dos oraciones para formar una nueva oracin
compuesta, y la ltima opera sobre una sola oracin. Parece natural
comenzar por una clase de conectivas sugerida por la restriccin a
oraciones declarativas, mencionada en 1.2, es decir, a oraciones que
son o bien verdaderas o bien falsas. Para aclarar cules son, primero
debemos introducir el concepto de valor de verdad. Decimos que el
valor de verdad de una oracin es 1 si la oracin es verdadera y 0 si la
oracin es falsa. Aqu nos ocupamos slo de oraciones que son
verdaderas o falsas, de manera que su valor de verdad es o bien 1 o bien
0. El principio de composicionalidad (1.2, 1.4) requiere que el
significado (y, por ende, el valor de verdad) de una oracin compuesta
dependa slo del significado (los valores de verdad) de las oraciones
que la componen.
A manera de ilustracin, considrense las siguientes oraciones:
(1)
Juan se golpe la cabeza y est llorando.
(2)
Juan est llorando porque se golpe la cabeza.
(3)
Juan est llorando.
(4)
Juan se golpe la cabeza.
Supongamos que Juan de hecho se golpe la cabeza y que

ciertamente est llorando. Siendo as, (1) es verdadero. Ahora ntese
que en lugar de (3), Juan est llorando (asumimos que esto es lo que
significa l est llorando) hubiramos podido escribir igualmente
cualquier otra oracin verdadera, tal como, por ejemplo, est lloviendo
(si esto es lo que de hecho est sucediendo). Luego, la oracin Juan se
golpe la cabeza y est lloviendo tambin sera verdadera. El caso (2) es
muy diferente: si Juan de hecho se golpe la cabeza y ciertamente est
llorando entonces (2) bien puede ser verdadera, pero ciertamente no es
L.T.F. Gamut
necesario que lo sea (tal vez est llorando porque Mara no lo ama); y a
la inversa, si (2) es verdadera entonces Juan est llorando porque est
lloviendo es falsa incluso si est lloviendo.
Esta diferencia entre el comportamiento de y y el de porque
puede ser formulada como sigue. La oracin (1) es verdadera si (3) y (4)
son ambas verdaderas, y falsa si una de las dos es falsa. El valor de
verdad de una oracin con y depende slo del valor de verdad de las dos
partes que la componen. Pero esto no se aplica a la oracin (2), cuya
verdad no depende solamente de la verdad de las oraciones, (3) y (4),
que la componen. De las conectivas que dan lugar a oraciones cuyo
valor de verdad depende slo del valor de verdad de las oraciones
conectadas se dice que son veritativo-funcionales. De manera que y es
una conectiva veritativo-funcional mientras que porque no lo es.
Dado que aqu circunscribimos el significado de las oraciones a
su valor de verdad, la composicionalidad requiere que consideremos
slo conectivas veritativo-funcionales y las correspondientes
conjunciones del lenguaje natural. Dado que slo consideraremos tales
conectivas, estudiar la forma en que los valores de verdad de las
oraciones dependen unos de otros y, en particular, estudiar la validez de
esquemas de razonamiento en los que figuran conectivas, resulta muy
sencillo. Para determinar el valor de verdad de una oracin A, slo
necesitamos prestar atencin a las oraciones que en ltima instancia
componen a A. Esta restriccin respecto del significado de las oraciones
puede parecer excesivamente rigurosa de antemano, pero en la prctica
la restriccin ha resultado muy productiva.
2.2 Conectivas y tablas de verdad

El vocabulario de un lenguaje para la lgica proposicional incluye
conectivas como sus constantes lgicas. Y, como variables lgicas, hay
smbolos para representar afirmaciones (es decir, proposiciones).
Estos smbolos se denominan letras proposicionales o variables
proposicionales. En general las designaremos mediante las letras p, q y
r, si es necesario con subndices tal como en p 1 , r 2 , q 3 , etc. Es habitual
emplear letras diferentes para smbolos proposicionales diferentes. Las
letras proposicionales y las expresiones compuestas formadas a partir de
30
2 Introduccion a la logica
las mismas por medio de las conectivas se clasifican conjuntamente
como oraciones o frmulas. Estas se designan mediante las letras y ,
etc. Respecto de estas metavariables, a diferencia de las variables p, q y
r, no rige la convencin de que letras diferentes deben designar
frmulas diferentes.
La tabla 2.1 resume las conectivas que encontraremos en los
lenguajes proposicionales en este captulo, cada una con un ejemplo de
una oracin formada por medio de la misma y el significado de dicha
oracin. Respecto de las conectivas , , y decimos que son
binarias, y respecto de decimos que es unaria (o mondica); esto
corresponde a la cantidad de oraciones que requiere la conectiva en
cuestin.
Tabla 2.1 Conectivas y sus significados

Smbolo
Oracin compuesta
Significado
(negacin)
p (negacin de p)
no es el caso que p
(conjuncin)
(p q) (conjuncin de p y q)
pyq
( disyuncin)
(p q) (disyuncin de p y q)
poq
(implicacin)
(p q) (implicacin material de p y q)
si p entonces q
(p q) (equivalencia material de p y q)
p si y slo si q
( equivalencia)
31
L.T.F. Gamut
Decimos que p es el primer miembro (o conjuntivo) de la conjuncin
(p q) y q es el segundo. Lo mismo se aplica a las implicaciones,
disyunciones y equivalencias, a pesar de que al primer y segundo
miembro de una implicacin algunas veces se les denomina su
antecedente y su consecuente respectivamente, mientras que los dos
miembros de una disyuncin son denominados sus disyuntivos.
Nuestra eleccin de las conectivas es en cierto sentido
arbitraria. Algunas son obviamente importantes. Nos ocuparemos de las
cinco en forma separada y examinaremos en qu medida las expresiones
correspondientes del lenguaje natural pueden considerarse como
veritativo-funcionales. Asimismo, haremos algunos comentarios sobre
otras conectivas posibles que no han sido incluidas en esta lista.
Las reglas sintcticas de los lenguajes proposicionales nos
permiten vincular, mediante conectivas, no slo letras proposicionales
(a las que tambin se les denomina frmulas atmicas), sino tambin
frmulas compuestas. La terminologa es la misma: si y son
frmulas, entonces decimos que es la negacin de , es la
conjuncin de y , etc.; se refiere en forma natural a la cadena de
smbolos obtenida prefijando a la cadena ; se refiere a la
cadena consistente en un parntesis izquierdo, seguido por la cadena ,
seguido por la conectiva , seguido por la cadena y cerrada por un
parntesis derecho.
Los parntesis sirven para eliminar ambigedades. De no ser
por ellos una oracin como p q r podra tener dos significados
distintos. Puede ser (a) la disyuncin de p, por un lado y la conjuncin
de q y r por el otro; o (b) la conjuncin de la disyuncin de p y q, por un
lado y r por el otro. Mediante los ejemplos (5) y (6) puede apreciarse en
forma sencilla que ambas alternativas tienen distinto significado:
(5) McX ha sido electo, o Wyman ha sido electo y
ha comenzado una nueva era.
(6) McX ha sido electo o Wyman ha sido electo y

ha comenzado una nueva era.
32
El ejemplo (5) corresponde a p q r que es una disyuncin,
mientras que (6) corresponde a p q r que es una conjuncin. En
2.3 volveremos sobre estas frmulas ms complejas. Ahora
ampliaremos el tratamiento de los diferentes significados de las diversas
conectivas.
Lo que nos concierne es la forma en que el valor de verdad de
una oracin compuesta, formada por una o dos oraciones ms simples,
depende de los valores de verdad de las oraciones componentes y de la
conectiva empleada. Para cada conectiva, esto queda prescripto en una
tabla de verdad. La discusin de la oracin (1) muestra que la tabla de
verdad de la conjuncin es la que se consigna en (7):
(7)
Al lado de cada combinacin posible de los valores de verdad de y

de se consigna el valor de verdad resultante de . A la vista de
esto, podra parecer que el comportamiento lgico de es enteramente
concordante con el de y del lenguaje natural. Sin embargo, el acuerdo
no es perfecto. De acuerdo con la tabla de verdad, si alguien afirma (8)
verazmente, entonces la oracin (9) tambin es verdadera:
(8) Ana se quit las medias y se meti en la cama.
(9) Ana se meti en la cama y se quit las medias.
Pero, es probable que la persona en cuestin no estuviera inclinada a
aceptar esto, ya que el hecho de colocar una oracin despus de la otra
sugiere que ste fue tambin el orden en que sucedieron los eventos
descriptos. Con todas las otras conectivas surgen complicaciones
similares. En el captulo 6 discutiremos si este tipo de fenmeno puede
ser explicado en trminos de condiciones de uso.
La columna de la izquierda de (10) es una lista de oraciones que
33
L.T.F. Gamut
tienen las mismas condiciones de verdad que la conjuncin de las dos
oraciones que estn a su derecha.
(10)
Zandvoort y Haarlem
Zandvoort est al oeste
Haarlem est al oeste de
estn al oeste de Amsterdam.
de Amsterdam.
Amsterdam.
Juan y Pedro estn casados
Juan est casado con
Pedro est casado
con Ana y Beatriz
Ana.
con Beatriz.
respectivamente.
Tanto los liberales
Los liberales favorecieron
Los socialistas
como los socialistas
la mocin.
favorecieron
favorecieron la mocin.
Juan est en su casa
la mocin.
Juan est en su casa.
Juan est dormido.
Juan est en su casa.
Pedro no est en su casa.
Haca mucho fro.
Juan no se qued
pero est dormido.

Juan est en su casa
pero Pedro no lo est.
Si bien haca mucho
fro, Juan no se
adentro.
qued adentro.
A pesar de que afuera
Afuera estaba
estaba hermoso, Juan
hermoso.
Juan se qued adentro.
se qued adentro.
As, todas las oraciones de la columna de la izquierda expresan una

conjuncin lgica, a pesar de que desde un punto de vista estrictamente
lingstico no se trate de dos oraciones unidas mediante la insercin de
y entre ellas. Evidentemente, las connotaciones que tienen pero, si bien
34
y a pesar de no alteran las condiciones de verdad de las oraciones en las
que aparecen esas palabras. Ntese tambin que no toda oracin en la
que figura y es una conjuncin. La siguiente es un ejemplo que no lo es:
(11) Juan y Pedro son amigos.
Resulta un tanto forzado considerar a esta oracin como una

conjuncin entre, digamos, Juan es amigo y Pedro es amigo. Tampoco
la oracin (12) significa lo mismo que la conjuncin (13):
(12) Pedro y Pablo son divertidos en las fiestas.
(13) Pedro es divertido en las fiestas y Pablo es divertido en las fiestas.
ya que tal vez son divertidos slo cuando estn juntos.
La negacin es tambin un asunto relativamente sencillo. La
tabla de verdad consta solamente de dos filas; vase (14)
(14)
Hay ms formas de expresar la negacin de una oracin que por

medio de no o no es el caso que. Vase, por ejemplo:
(15)
Los potros son indomables.
Los potros son domables.
Juan no est ni en su casa ni en la escuela.
Juan est o bien en su casa o bien en la escuela.
No hay nadie en casa.
Alguien est en casa.
Juan nunca est en su casa.
Juan est a veces en su casa.
Juan an no lleg a su casa.
Juan ya lleg a su casa.
Juan no ha estado nunca en su casa.
Juan ha estado en alguna ocasin en su casa.
En (16) consignamos la tabla de verdad de la disyuncin:
35
L.T.F. Gamut
(16)
sta es la tabla de verdad obvia para y/o. En el lenguaje natural, o

generalmente significa y/o. Este uso es denominado inclusivo.
El caso en que o sea usado de forma tal que excluya la posibilidad
de que ambos disyuntivos sean verdadero, tambin se expresa mediante
la construccin o bien...o bien, y entonces se dice que o es exclusiva. A
veces se introduce una conectiva diferente para la disyuncin exclusiva,
cuya tabla de verdad se consigna en (17):
(17)
En este libro, o ser entendida como inclusiva, tal como se la

entiende habitualmente en matemticas, a menos que se especifique lo
contrario.
En realidad, no es muy fcil encontrar un ejemplo corriente de
una o exclusiva. Una oracin como (18) no lo es:
(18) Llueve o no llueve.
En la oracin (18) no habra ninguna diferencia en el valor de
verdad si o fuera inclusiva o no, dado que no puede llover y no llover.
Lo que necesitamos es un ejemplo de la forma A o B en el que haya una
posibilidad real de que se cumplan tanto A como B; esta eventualidad
queda excluida por la disyuncin exclusiva. En el lenguaje natural esto
se expresa habitualmente colocando un nfasis extra sobre la o, o por
36
medio de o bien... o bien. Por ejemplo:
(19) O bien esta noche iremos a ver una pelcula,
o bien iremos a la playa por la tarde.
Otra construccin que puede emplearse para expresar una
disyuncin exclusiva es la que emplea a menos que. La oracin (19)
tiene las mismas condiciones de verdad que la (20).
(20) Esta noche iremos a ver una pelcula,
a menos que vayamos a la playa por la tarde.
En (21) consignamos la tabla de verdad de la implicacin material:
(21)
A menudo, si (..., entonces) no puede ser considerada como

veritativo-funcional en el lenguaje cotidiano. En primer lugar, una
oracin como
(22) Si Juan se golpea la cabeza, llora.
habitualmente significa que en cualquier momento es el caso que
Juan llora si se acaba de golpear la cabeza. Si se interpreta (22) como
(23) Si Juan se acaba de golpear la cabeza, ahora est llorando.
entonces evidentemente es verdadera si Juan acaba de golpearse la
cabeza y de hecho est llorando y es falsa si acaba de golpearse la
cabeza y en este momento no est llorando. Y si Juan no acaba de
golpearse la cabeza? Ciertamente no querramos afirmar que en ese caso
la oracin deba ser siempre falsa, pero tampoco parece muy atractivo
afirmar que deba ser siempre verdadera. Dado que hemos acordado que
las oraciones declarativas son o bien verdaderas o bien falsas, elijamos
37
L.T.F. Gamut
la alternativa menos indeseable y digamos que los condicionales
materiales son verdaderos si su antecedente no es verdadero. Luego, lo
que obtenemos es (21).
Las implicaciones que encontramos en matemticas son
materiales y esto puede ser ilustrado como sigue. La oracin (24) es
considerada verdadera y por razones de claridad la expresamos como
(25):
(24) Si un nmero es mayor que 5, entonces es mayor que 3. .
(25) Para todo nmero x, si x 5, entonces, x 3.
La verdad de una oracin universal como (25) implica la verdad de
cada uno de sus casos, por ejemplo, (26):
(26) Si 6 5, entonces 6 3.
Si 4 5, entonces 4 3.
Si 2 5, entonces 2 3.
Estas tres combinaciones corresponden precisamente a las tres
combinaciones diferentes de valores de verdad para las cuales es
verdadera: 6 5 y 6 3 son ambas verdaderas; 4 5 es falsa y 4 3 es
verdadera, mientras que 2 5 y 2 3 son ambas falsas. Suponiendo
que buscamos una tabla de verdad para la implicacin material, la que
hemos elegido es evidentemente la nica eleccin real que tenemos.
Respecto de la oracin (22) se puede hacer un comentario similar. Si
consideramos que (22) significa que Juan siempre llora si acaba de
golpearse la cabeza, entonces, si aceptamos que (22) es verdadera,
debemos aceptar que en cualquier punto del tiempo dado t hay slo tres
posibilidades:
(i) En el tiempo t Juan (acaba) de golpearse la cabeza y est llorando.
(ii) En el tiempo t Juan no (acaba) de golpearse la cabeza y est llorando.
(iii) En el tiempo t Juan no (acaba) de golpearse la cabeza y no est llorando.
La eventualidad de que en el tiempo t Juan (acaba) de golpearse la

cabeza y no est llorando queda descartada porque hemos supuesto la
verdad de (22). A partir de esto debera quedar claro que la implicacin
38
material cumple algn papel en el anlisis de las implicaciones del
lenguaje natural. En lgica se han estudiado otras formas distintas de
implicacin, por ejemplo en lgica intensional (vase vol. 2). En (27) se
consigna una lista de oraciones que pueden ser consideradas como
implicaciones:
(27)
implicacin
p antecedente
q consecuente
Juan llora si se ha
Juan se ha golpeado
Juan llora.
golpeado la cabeza.
la cabeza.
Juan est malhumorado slo
Juan est malhumorado.
Juan se acaba de levantar.
si se acaba de levantar.
Para que el partido
El partido funciona mejor.
funcione mejor,
Se ha establecido mayor
contacto con el electorado.
es necesario que se
establezca mayor contacto
con el electorado.
Para que el partido funcione
Prez es expulsado.
El partido funciona mejor.
mejor, es suficiente con

que Prez sea expulsado.
En (28) se consigna la tabla de verdad para la equivalencia material:

(28)
1
39
L.T.F. Gamut
Puede apreciarse que es verdadera si y tienen ambos el
mismo valor de verdad y falsa si sus valores de verdad difieren. Otra
forma de decir esto es que es verdadera slo en caso de que
implica materialmente a y que implica materialmente a . Si y slo
si es una conjuncin muy rara en el lenguaje natural. Una conjuncin
ms comn de la cual es razonable pensar que tiene la misma tabla de
verdad es siempre y cuando:
(29) Esta noche iremos a ver una pelcula,
siempre y cuando la vajilla haya sido lavada.
En contextos matemticos, en lugar de si y slo si, habitualmente se
escribe y sii.
2.3 Frmulas
A continuacin proporcionaremos definiciones precisas de los
conceptos que hemos introducido ms arriba.
Un lenguaje L para la lgica proposicional tiene su propia
provisin de letras proposicionales. No las especificaremos;
sencillamente acordaremos referirnos a las mismas por medio de las
metavariables p, q y r y si es necesario les anexaremos subndices.
Tambin consta de parntesis y conectivas (, , , , ) que son
comunes para todos los lenguajes de la lgica proposicional. Todos
estos elementos conforman el vocabulario de L. En la sintaxis se define
lo que significa expresiones (frmulas, oraciones) bien formadas de L.
La definicin es la misma para todos los lenguajes proposicionales.
Definicin 1
(i) Las letras proposicionales del vocabulario de L son frmulas de L.
(ii) Si es una frmula de L, entonces tambin lo es.
(iii) Si y son frmulas de L, entonces ( ), ( ), ( ) y ( )
tambin lo son.
(iv) Slo las expresiones que pueden ser generadas mediante las clusulas (i)-(iii) en
un nmero finito de pasos son frmulas de L.
Las primeras tres clusulas de la definicin dan una receta para

construir frmulas; (iv) agrega que slo lo que ha sido preparado de
40
acuerdo con la receta es una frmula.
Ilustraremos la definicin examinando algunos ejemplos de
cadenas de smbolos que, segn esta definicin, estn bien formadas y
algunos ejemplos de cadenas que no pueden ser consideradas bien
formadas. De acuerdo con la definicin 1, p, p, ((pq)r) y
(((pq) q) r) son ejemplos de frmulas, mientras que pq,
(p), p q y ((pqr)) no lo son.
La clusula (i) enuncia que todas las letras proposicionales de L
son frmulas de L. De esta clusula se sigue que p es una frmula. De
(i) y (ii) se sigue que p es una frmula: de acuerdo con (i), p es
una frmula y (ii) nos permite formar una nueva frmula a partir de otra
preexistente prefijndole el smbolo de la negacin, operacin que ha
sido aplicada aqu cuatro veces seguidas. En ((pq)r) se aplic la
clusula (iii) dos veces: se forma una nueva frmula a partir de dos
existentes al introducir primero un parntesis de apertura, o izquierdo,
luego la primer frmula, seguida por el signo de la conjuncin y la
segunda frmula y finalizando con un parntesis de cierre, o derecho.
Para formar ( (pq)r) la operacin se aplic primero a p y a q,
obteniendo (p q) y luego se aplic a este resultado y a r. Formar
disyunciones, implicaciones y equivalencias tambin conlleva la
introduccin de parntesis. Esto se aprecia con claridad en el cuarto
ejemplo, (((pq) q) r), en el cual los parntesis ms externos
se obtienen como resultado de formar la equivalencia entre
((pq) q) y r; los parntesis interiores se introducen para
construir la disyuncin de p y q; los del medio se obtienen como
resultado de la introduccin del signo de implicacin. Ntese que para
formar la negacin no se requiere introducir parntesis. Esto no es
necesario, porque no puede producirse confusin respecto de la parte de
la frmula a la cual se aplica el signo de la negacin: o bien es prefijada
a una letra proposicional, o a una frmula que comienza con un signo de
negacin, o se coloca delante de una frmula, en cuya construccin la
clusula (iii) fue la ltima en aplicarse. En ese caso, los parntesis
introducidos por (iii) dejan claro sin ambigedad a qu se aplica el
signo de la negacin.
41
L.T.F. Gamut
Ciertamente pq, esto es, la letra proposicional p seguida
inmediatamente por la letra proposicional q, no es una frmula: la nica
forma de tener dos letras proposicionales juntas para construir una
frmula es formando su conjuncin, disyuncin, implicacin o
equivalencia. La cadena (p) no es una frmula porque en la misma
aparecen parntesis, pero ningn signo de conjuncin, disyuncin,
implicacin o equivalencia y stos son los nicos que introducen
parntesis. Por supuesto, p est bien formada. En p q, el signo
de la conjuncin aparece delante de los conjuntivos y no entre ellos tal y
como lo prescribe la clusula (iii). Adems, faltan los parntesis.
Finalmente, en ((p q r)) los parntesis estn mal colocados,
generando ambigedad respecto del resultado entre (p(qr)) y ((p
q) r).
Ejercicio 1
Determine si cada una de las siguientes expresiones es una frmula
de la lgica proposicional.
(i)
(p q)
(ii)
p (q)
(iii)
(q)
(iv)
(p 2 (p 2 (p 2 p 2 )))
(v)
(p ((p q)))
(vi)
((p p)(q q))
(vii)
((p 2 p 3 ) p 4 )
(viii) (p (p q) q)
(ix)
(p (q r))
(x)
(p q r)
(xi)
(p p)
(xii)
(p p)
42
Si quitamos los parntesis externos de las frmulas, se facilita
su lectura sin ningn riesgo de provocar ambigedades. En la mayor
parte de lo que sigue preferimos abreviar ((pq)r) como (pq)r, ((
(pq) q) r) como ( (pq) q) r, ((pq)(qp))
como (pq)(qp), (pq) como pq y (pq) como pq.
Anlogamente, escribiremos , , , , ( ),
etc.
La definicin 1 nos permite asociar un nico rbol constructivo
a cada frmula. ((pq) q) r, por ejemplo, debe haber sido
construida de acuerdo con el rbol consignado en la figura (30).
((p q) q)
r (iii, )
((p q) q) (iii, )
(p q) (ii)
(30)
q (ii)
pq
(iii, )
q (ii)
p (i)
r (i)
q (i)
q (ii)
q (i)
El hecho de que cada frmula tenga un nico rbol constructivo se

debe a que, gracias a los parntesis, las frmulas lgicas no son
ambiguas. Al costado de cada nodo del rbol se lee el nmero de la
clusula de la definicin 1 segn la cual la frmula de ese nodo es una
frmula. De una frmula obtenida mediante la aplicacin de la clusula
(ii) se dice que es una negacin y que su signo principal es ; en forma
similar, el signo principal de una frmula obtenida por aplicacin de la
clusula (iii) es la conectiva que dicha clusula introduce (en el
43
L.T.F. Gamut
ejemplo, est escrita al lado de la frmula). Por ejemplo, el signo
principal de la frmula que est en el extremo superior del rbol es y
la frmula es una equivalencia. Ntese que las frmulas de los nodos
inferiores son todas atmicas.
Una frmula que aparece en el rbol constructivo de se
denomina subfrmula de . Las subfrmulas de (p q) son pues: p, q,
p q y (p q), mientras que las subfrmulas de ((p q) q)
r son: p, q, r, q, q, q, p q, (p q), (p q) q y
((p q) q) r. Cualquier subfrmula de es una cadena de
smbolos consecutivos que aparece en la cadena de smbolos y que en
s misma es una frmula. Y a la inversa, puede mostrarse que cualquier
cadena de smbolos consecutivos tomada de , que es en s misma una
frmula, es una subfrmula de . Aqu omitiremos la prueba.
Ejercicio 2
(a) Dibuje el rbol constructivo de (p 1 p 2 ) p 2 , de
p 1 (p 2 p 2 ) y de ((p q) r) (p (q r)). En cada uno de los
tres casos consigne las subfrmulas de la frmula en cuestin.
(b) Consigne todas las frmulas que pueden construirse con la
siguiente secuencia de smbolos y mediante el agregado de parntesis: p
q r. Adems, consigne tambin sus rboles constructivos.
(c) Clasifique cada una de las siguientes oraciones como frmula
atmica, negacin, conjuncin, disyuncin, implicacin o equivalencia:
(i)
p q
(vi)
(p q) (q p)
(ii)
(vii)
p4
(iii) p
(viii) (p 1 p 2 ) p 2
(iv) (p q) (q p)
(ix)
(p 1 p 2 ) p 2
(x)
(p (q r)) p
(v)
(p q)
Discutiremos ahora la naturaleza de la ltima clusula de la

definicin 1, la cual afirma:
Slo las expresiones que pueden ser generadas mediante las
clusulas (i)-(iii) en un nmero finito de pasos son frmulas de L.
A una clusula de este tipo a veces se le denomina clusula de
44
induccin de una definicin. La misma desempea un papel importante.
Si alguien definiera a una oveja como el vstago de dos ovejas, no lo
encontraramos muy satisfactorio. No parece decir mucho, dado que si
no se sabe qu es una oveja, entonces no se sabr mucho ms a partir de
esta definicin. La definicin de una oveja como el vstago de dos
ovejas es circular. La definicin 1 tambin podra parecer circular: la
clusula (ii), por ejemplo, afirma que un seguido por una frmula es
una frmula. Pero, aqu no hay realmente un problema, dado que la
frmula que aparece despus de es ms simple que la frmula ,
en el sentido de que contiene menos conectivas, o lo que es equivalente,
que puede generarse en menos pasos mediante las clusulas (i)-(iii). Si
es una frmula, debe ser una frmula de acuerdo con las clusulas
(i)-(iii). Esto significa que o bien es una letra proposicional (y
sabemos cules son stas), o bien es una frmula compuesta construida
a partir de frmulas ms simples. De manera que en ltima instancia
todo se reduce a letras proposicionales.
En una definicin del tipo de la definicin 1, se dice que los
objetos tienen una cierta propiedad (en este caso, la de ser una frmula)
si pueden ser construidos a partir de otros objetos ms simples que
tengan esa propiedad y en ltima instancia a partir de algn grupo de
objetos de los cuales simplemente se dice que tienen esa propiedad.
Tales definiciones se denominan inductivas o recursivas.
La definicin circular de una oveja como el vstago de dos
ovejas puede convertirse en una definicin inductiva (i) estipulando dos
ovejas ancestrales, llammosles Adn y Eva; y (ii) estableciendo que
son ovejas las cosas que cumplen con la clusula (i) y con la clusula
segn la cual el vstago de dos ovejas es una oveja. De acuerdo con esta
definicin, el rbol constructivo de toda oveja dada sera un rbol
genealgico completo que se remontara a los primeros ancestros Adn
y Eva (aunque, contrariamente a los rboles genealgicos corrientes,
Adn y Eva aparecern en el extremo inferior).
La mayor parte de lo que sigue se aplica a todos los lenguajes
proposicionales por igual, de manera que en vez de referirnos a las
frmulas de algn lenguaje proposicional en particular, nos referiremos
45
L.T.F. Gamut
a las frmulas de la lgica proposicional.
Debido a que definimos el concepto de frmula inductivamente,
disponemos de un mtodo sencillo para probar que todas las frmulas
tienen alguna propiedad particular en la que podemos estar interesados.
A continuacin consignamos el mtodo. Para probar que todas las
frmulas tienen una propiedad A, es suficiente con mostrar que:
(i) Todas las letras proposicionales tienen la propiedad A.
(ii) Si la frmula tiene A, entonces tambin debe tenerla .
(iii) Si y tienen la propiedad A, entonces tambin deben tenerla
( ), ( ), ( ) y ( ).
Esto es suficiente debido a la clusula (iv), la cual asegura que toda
frmula compuesta debe estar compuesta por alguna(s) frmula(s) ms
simple(s) de la(s) cual(es) hereda la propiedad A. A una prueba de este
tipo se le denomina prueba por induccin sobre la complejidad de la
frmula (o prueba por induccin sobre la longitud de la frmula).
Como ejemplo de una prueba por induccin sobre la complejidad de una
frmula, demostraremos en forma sencilla y rigurosa que todas las
frmulas de la lgica proposicional tienen exactamente tantos parntesis
izquierdos como derechos:
(i) Las letras proposicionales no tienen parntesis.
(ii) Si tiene el mismo nmero de parntesis derechos e izquierdos, entonces
tambin debe tener el mismo nmero debido a que no se le aaden ni quitan
parntesis.
(iii) Si tanto como tienen el mismo nmero de parntesis derechos e izquierdos,
entonces tambin deben tenerlo ( ), ( ), ( ), ( ), ya
que en todas ellas se ha agregado un parntesis izquierdo y un parntesis
derecho.
En general, para cada definicin inductiva hay un tipo de

prueba por induccin.
Para lograr un rigor matemtico absoluto, en muchos puntos de
este libro deberamos haber proporcionado pruebas inductivas. En su
lugar preferimos sencillamente sealar los casos en los que, en sentido
46
estricto, se requerira de una prueba.
El hecho de que se haya definido el concepto de frmula en
forma estricta mediante la definicin 1 nos permite dar definiciones
inductivas estrictas de las nociones que se refieren a frmulas. Por
ejemplo, defnase la funcin () 0 que hace corresponder a cada frmula
un nmero natural mediante:
(p) 0 0
() 0 () 0
(( * )) 0 () 0 () 0 2, para cada conectiva binaria*.
De esta manera, para cada frmula , () 0 proporciona el nmero de
parntesis de la frmula .
Ejercicio 3
a) El operador profundidad de una frmula de la lgica
proposicional es la longitud mxima de un nidode operadores que
aparece en la misma. Esto es, ((pq)r) tiene operador profundidad
3.
Proporcione una definicin precisa de esta nocin, empleando la
definicin inductiva de frmula.
(b) Piense en los rboles constructivos de las frmulas. Qu
conceptos se definen por medio de la siguiente induccin simultnea?
A(p) 1
B(p) 1
A () A() 1
B() max(B(), A() 1)
A( ) max(A(), A()) 1
B( ) max(B(), B(),
para conectivas binarias

A() A() 1).
Ejercicio 4
(a) Qu nociones describen las siguientes definiciones por
induccin sobre frmulas?
47
L.T.F. Gamut
p* 0
para letras proposicionales p
()* *
( )* * * 1
p 1
()
( )
(b) Pruebe por induccin que para todas las frmulas , * 1.

Ejercicio 5
En este ejercicio, solicitamos al lector que traduzca oraciones del
espaol a la lgica proposicional. Le proporcionamos un ejemplo de lo
que se espera. Debemos traducir la oracin:
Si he perdido si no puedo hacer ningn movimiento, entonces he
perdido.
Durante una partida de ajedrez o damas, un jugador podra, por
ejemplo, afirmar esta oracin en caso de que no pudiera anticipar
ningn movimiento por hacer y no supiera si esta situacin implica su
derrota.
Solucin
Traduccin: (p q) q
Diccionario: p: Puedo hacer un movimiento; q: He perdido.
Traduzca las siguientes oraciones a la lgica proposicional. Preserve
lo mximo posible de su estructura y en cada caso consigne el
diccionario.
1) Este motor no es ruidoso, pero consume mucha energa.
(2 ) No es el caso que Andrs venga si Pedro o Enrique vienen.
(3) No es el caso que Can sea culpable y Abel no.
(4) Esto no ha sido escrito con un lpiz o una lapicera.
(5) Juan no slo es estpido sino tambin desagradable.
(6) Juan quiere que Pap Noel le traiga tanto un tren como una
bicicleta,
pero no recibir ninguna de las dos cosas.
48
(7) Nadie ri o aplaudi.
(8) Ir a la playa o al cine a pie o en bicicleta.
(9) Carlos y Elsa son hermano y hermana o primo y prima.
(10) Carlos va a trabajar en auto, o en bicicleta y tren.
(11) Si Dios quiere, vendr la paz.
(12) Si llueve mientras brilla el sol, aparecer un arco iris.
(13) Si el clima es malo o muchos estn enfermos, la fiesta no
se har.
(14) Juan ir a la escuela y si llueve tambin lo har Pedro.
(15) Si no estamos en verano, entonces est hmedo y hace fro,
si es de tarde o de noche.
(16) Si t no me ayudas si yo te necesito, no te ayudar si t me
necesitas.
(17) Si te quedas conmigo si no bebo ms, entonces no beber
ms.
(18) Carlos viene si Elsa lo hace y viceversa.
(19) Juan viene slo si Pedro no lo hace.
(20) Juan viene si y slo si Pedro no lo hace.
(21) Juan viene siempre y cuando Pedro se quede en su casa.
(22) Iremos, a menos que llueva.
(23) Si Juan viene, entonces es una desgracia si vienen Pedro y
Juana.
(24) Si tanto mi padre como mi madre van, entonces yo no ir,
pero
si slo mi padre va, entonces yo ir tambin.
(25) Si Juan es amable, Pap Noel le regalar una bicicleta,
sea que la quiera o no.
(26) No quisiste decir eso y si lo quisiste, no te creo.
(27) Si Juan queda fuera, entonces es obligatorio que Pedro o
Nicols participen.
2.4 Funciones
Habindonos ocupado de la sintaxis de los lenguajes para la lgica
proposicional, debemos ocuparnos de su semntica, la cual consiste en
la forma en que se los interpreta. Lo anterior muestra que lo que
49
L.T.F. Gamut
tenemos en mente cuando hablamos de la interpretacin de un lenguaje
proposicional es la atribucin de valores de verdad a sus oraciones.
Dichas atribuciones son denominadas valuaciones. Pero estas
valuaciones son funciones, de manera que primero debemos ocuparnos
de las funciones.
Para expresarlo en forma bastante general, una funcin es una
atribucin de un nico valor (a veces se le denomina, imagen) a cada
entidad de un cierto tipo especfico (en el caso de una valuacin, las
entidades son las oraciones del lenguaje en cuestin). Estas entidades
son denominadas argumentos de la funcin y en su conjunto forman su
dominio. Las entidades que figuran como los valores posibles de una
funcin son denominadas colectivamente su rango. Si x es un
argumento de la funcin f, entonces f(x) es el valor que se obtiene como
resultado cuando se aplica f a x. No debe considerarse que la palabra
valor aqu implica que se trata de un valor de verdad o cualquier otro
tipo de nmero, dado que cualquier tipo de cosa podra aparecer en el
rango de una funcin. El nico requisito es que ningn argumento
puede tener ms de un nico valor. En la tabla 2.2 se ofrecen algunos
ejemplos de funciones. Se entiende que la columna de la izquierda de la
tabla contiene nombres de funciones, de manera que, por ejemplo, fecha
de nacimiento de x es el nombre de una funcin que acepta a personas
como sus argumentos y les atribuye su fecha de nacimiento como
valores. Por ejemplo, el valor de la fecha de nacimiento de x para el
argumento Winston Churchill es 30 de noviembre de 1874.
Tabla 2.2 Ejemplos de funciones
50
Funciones
Dominio
Rango
Fecha de nacimiento de x
Personas
Fechas
Madre de x
Personas
Mujeres
Jefe de Estado de x
Pases
Personas
Rodado de x
Bicicletas
Nmeros
Negacin de x
Frmulas de la
Frmulas de la
lgica proposicional
lgica proposicional
Ciudad capital de x
Pases
Ciudades
Sexo de x
Personas
Los dos sexos

(masculino, femenino)
Para aclarar lo que queremos decir comprense las siguientes

expresiones que, aunque son similares a las que aparecen en la tabla, no
pueden ser consideradas como nombres de funciones: hermano mayor
de x (dominio: personas) no puede ser tomada por una funcin dado que
como no todos tienen un hermano, no sera posible atribuirle un valor a
todo argumento. Progenitor de x tampoco es una funcin, pero no
porque algunas personas carezcan de progenitores: el problema es que
todos tienen, o al menos tuvieron, no menos de dos progenitores. Por
consiguiente, en este caso los valores no son nicos. En forma similar,
objeto directo de x (dominio: oraciones en espaol) no es una funcin,
porque no toda oracin tiene un objeto directo y verbo de x no es una
funcin dado que algunas oraciones tienen ms de un verbo.
Adems, tambin hay funciones que requieren dos o tres o ms
elementos del dominio para arrojar un valor. En la tabla 2.3 se muestran
algunos ejemplos. Se dice que las funciones que requieren de dos
argumentos del dominio para arrojar un valor son binarias y,
generalizando, las funciones que requieren n argumentos son n-arias. El
cociente de x e y (dominio: nmeros) es un ejemplo de una expresin
que acepta dos lugares de argumento, pero no expresa una funcin
binaria. En este caso no se trata de una funcin porque el valor de esta
expresin queda indefinido para toda x si se toma 0 como y.
51
L.T.F. Gamut
Las funciones pueden aplicarse a sus propios valores o a los de
otras funciones siempre que stos sean del tipo apropiado, es decir, que
se encuentren dentro del dominio de la funcin en cuestin. Fecha de
nacimiento de la madre de Juan, madre del jefe de Estado de Francia,
madre de la madre de la madre de Pedro, sexo de la madre de Carlos y
suma de la diferencia entre 6 y 3 y la diferencia entre 4 y 2: (6 - 3) (4
- 2) son ejemplos de funciones que se aplican unas a otras.
Tabla 2.3 Ejemplos de funciones binarias y ternarias
Funcin
Dominio
Rango
Suma de x e y
Nmeros
Nmeros
Diferencia entre x e y
Nmeros
Nmeros
Ruta ms corta entre x e y
Ciudades
Rutas
Hora de partida del ltimo tren desde
Estaciones
Momentos del tiempo
x va y con destino a z
Como ya lo enunciamos, cada funcin tiene su dominio y rango

propios. Si A es el dominio de una funcin f y B es su rango, entonces
escribimos f: A B y decimos que f es una funcin de A a B y que f
proyecta (mapea) A en B. Hay una importante asimetra entre el
dominio de una funcin y su rango y es que mientras que una funcin
debe hacer corresponder a cada elemento de su dominio algn elemento
de su rango, lo inverso no es necesariamente verdadero: no es necesario
que todo elemento del rango de una funcin aparezca como el valor de
la funcin cuando se la aplica a algn elemento de su dominio. El rango
contiene todos los valores posibles de una funcin y restringirlo a los
valores que de hecho aparecen como valores de la funcin, resulta a
menudo ineficaz. En los ejemplos dados precedentemente se eligi un
rango ms amplio que el que estrictamente se necesitaba: en el caso de
madre de x se eligi a todas las mujeres en lugar de slo aquellas que
son madres, en jefe de Estado de x a todas las personas en lugar de slo
52
los jefes de estado y en la ruta ms corta entre x e y se eligi a todas las
rutas en lugar de las rutas que forman la ruta ms corta entre ciudades.
En el caso especial en el que todo elemento del rango B de una funcin
f es imagen de algn elemento de su domino A, decimos que f es una
funcin de A sobre B. De las funciones de la tabla 2.2, slo sexo de x es
una funcin sobre su rango y en la tabla 2.3 slo las funciones suma y
diferencia lo son, dado que todo nmero es la suma de otros dos
nmeros y tambin la diferencia de otros dos nmeros
El orden de los argumentos de una funcin puede establecer una
diferencia: la diferencia entre 1 y 3 es -2, mientras que la diferencia
entre 3 y 1 es 2. Se dice que una funcin binaria en la que no importa
el orden de los argumentos es conmutativa. La funcin suma es un
ejemplo de funcin conmutativa, dado que la suma de x e y siempre es
igual a la suma de y y x. El mismo objeto puede aparecer ms de una
vez como argumento: por ejemplo, hay un nmero que es la suma de 2 y
2.
El valor de una funcin f cuando se la aplica a argumentos x 1 , , x n
se escribe generalmente en notacin prefija como f(x 1 ,,x n ), a pesar de
que para algunas funciones binarias muy conocidas se emplea la
notacin infija, tal como es el caso de x y para la suma de x e y y x - y
para su diferencia, en vez de (x,y) y -(x,y) respectivamente.
Se dice que una funcin f es asociativa si para objetos
cualesquiera x, y, z de su dominio f(x,f(y,z)) f(f(x,y),z), o, en notacin
infija, si xf(yfz) (xfy)fz. Evidentemente esta nocin slo tiene sentido
si el rango de f es parte de su dominio, dado que de otra forma no
siempre ser posible aplicarla a xfy y z. En otras palabras, f es
asociativa si no importa si se la aplica primero a los dos primeros
argumentos o primero a los dos segundos. La suma y el producto de dos
nmeros son funciones asociativas, dado que para nmeros cualesquiera
x, y, z tenemos: (xy)z x(yz) y (xy)z x(yz). La funcin
diferencia no es asociativa: (4-2)-2 0, pero 4-(2-2) 4. La
asociatividad de una funcin f significa que podemos escribir x 1 fx 2 fx 3
x n-1 fx n sin tener que insertar parntesis, dado que el valor de la
expresin es independiente del lugar en que se los inserte. Luego, por
53
L.T.F. Gamut
ejemplo, tenemos: (x 1 x 2 )(x 3 x 4 ) x 1 ((x 2 x 3 )x 4 ). Primero
tenemos (x 1 x 2 )(x 3 x 4 ) x 1 (x 2 (x 3 x 4 )), dado que (x y) z x
(yz) para x, y, z cualesquiera, as en particular para x x 1 , y x 2 , y z
x x 4 . Y x 1 (x (x 3 x 4 )) x 1 ((x 2 x 3 )x 4 ), dado que x 2 (x 3 x 4 )
(x 2 x 3 )x 4 .
2.5 La semntica de la lgica

proposicional
Empleando la terminologa que acabamos de introducir ahora
podemos proceder a describir las valuaciones mencionadas
anteriormente como funciones (unarias) que proyectan frmulas sobre
valores de verdad. Pero no cualquier funcin cuyo dominio sean
frmulas y cuyo rango sean valores de verdad podr ser aceptada como
valuacin. Una valuacin debe concordar con las interpretaciones de las
conectivas dadas en sus tablas de verdad. Por ejemplo, una funcin que
atribuya el valor 1 tanto a p como a p no podr aceptarse como una
valuacin, dado que no concuerda con la interpretacin de la negacin.
La tabla de verdad para (vase (14)) establece que para toda
valuacin V y para toda frmula :
(i)
V() 1 sii V() 0.
Esto es as porque en la tabla de verdad se escribe el valor de verdad

1 bajo slo en el caso que se escriba 0 bajo . Dado que slo
puede tener 1 0 como su valor de verdad (el rango de V contiene slo
1 y 0), podemos expresar lo mismo de la siguiente forma:
(i) V() 0 sii V() 1.
O sea, se escribe un 0 debajo de slo en caso de que se escriba 1
debajo de .
En forma similar, de acuerdo con las otras tablas de verdad tenemos:
54
(ii)
V( ) 1 sii V() 1 y V() 1.
(iii)
V( ) 1 sii V() 1 V() 1.
(iv)
V( ) 0 sii V() 1 y V() 0.
(v)
V( ) 1 sii V() V().
Recurdese que o es interpretado como y/o. La clusula (iii) puede

ser parafraseada como V( ) 0 sii V() 0 y V() 0; la (iv)
como V( ) 1 sii V() 0 V() 1 (o y/o). Y si, en forma
quiz un poco artificial, tratamos a los valores de verdad 1 y 0 como
nmeros ordinarios, tambin podemos parafrasear (iv) como: V( )
1 sii V() V() (dado que mientras que 00, 01 y 1 1, no se da 1
0).
Una valuacin V queda completamente determinada por los
valores de verdad que atribuye a las letras proposicionales. Una vez que
sabemos lo que la valuacin V hace con las proposiciones, podemos
calcular la valuacin V de cualquier frmula mediante el rbol
constructivo de . Si, por ejemplo, V(p) 1 y V(q) 1, entonces
V((pq)) puede calcularse como sigue. Tenemos que V(p) 0 y
V(q) 0, as V(pq) 0 y as V((pq)) 1. Ahora debe
quedar claro que slo los valores que la valuacin V atribuye a las letras
proposicionales que aparecen en pueden tener influencia sobre V().
De manera que, para apreciar cmo vara el valor de verdad de con las
valuaciones, es suficiente con trazar lo que se denomina su tabla de
verdad compuesta, en la cual se calculan los valores de verdad de todas
las subfrmulas de para toda distribucin posible de los valores de
verdad de las letras proposicionales que aparecen en . Para seguir con
el mismo ejemplo, en (31) damos la tabla de verdad compuesta para la
frmula (pq):
55
L.T.F. Gamut
(31)
1 2
p q p q p q (p q)
V1 1 1 0
V2 1 0 0
V3 0 1 1
V4 0 0 1
En las columnas 1 y 2 estn las cuatro distribuciones diferentes de

valores de verdad entre p y q. En las columnas 3 y 4 se dan los valores
de verdad correspondientes a p y a q; se calcularon de acuerdo con
la tabla de verdad de la negacin. Luego, en la columna 5, se dan los
valores de verdad de pq calculados a partir de las columnas 3 y 4
empleando la tabla de verdad de la conjuncin. Y, finalmente, en la
columna 6 se dan los valores de verdad de (pq) correspondientes
a cada una de las cuatro distribuciones posibles de valores de verdad
entre p y q, que se calculan a partir de la columna 5 mediante la tabla de
verdad de la negacin.
El nmero de filas de la tabla de verdad compuesta para una
frmula depende slo del nmero de letras proposicionales diferentes
que aparecen en esa frmula. Dos letras proposicionales diferentes dan
lugar a cuatro filas y en general, podemos decir que n letras
proposicionales dan lugar a 2 n filas, dado que se es el nmero de
distribuciones diferentes de los dos valores de verdad entre n
proposiciones. Cada valuacin corresponde a solamente una fila en una
tabla de verdad. As, si nos restringimos a las letras proposicionales p y
q, hay solamente cuatro valuaciones posibles: las V 1 ,V 2 ,V 3 y V 4 dadas
en (31). Y estas cuatro son las nicas valuaciones que interesan para
frmulas cuyas nicas letras proposicionales son p y q, dado que, como
acabamos de ver, lo que la valuacin V hace con queda totalmente
determinado por lo que la valuacin V hace con las letras
proposicionales que aparecen en . Esto significa que podemos agregar
nuevas columnas en (31) a fin de evaluar tantas frmulas como
56
queramos que estn compuestas slo por las letras p y q conjuntamente
con conectivas. Esto es importante, como veremos a continuacin.
Ntese que la frmula compuesta (pq) es verdadera
siempre que alguna de las letras proposicionales p o q sea verdadera y
falsa si tanto p como q son falsas. Esta es justamente la disyuncin
inclusiva de p y q. Ahora considrese la tabla de verdad compuesta
(32):
(32)
1 2
p q p q p q (p q) p q
V1 1 1 0
V2 1 0 0
V3 0 1 1
V4 0 0 1
Hemos agregado una nueva columna a la tabla de verdad anterior.

En la columna agregada se consigna el valor de verdad de pq para
cada distribucin de valores de verdad entre p y q y esto se calcula de
acuerdo con la tabla de verdad de la disyuncin. Esto muestra
claramente que los valores de verdad de (pq) y de pq son los
mismos bajo toda valuacin, dado que
V 1 ((p q)) V 1 (p q) 1;
V 2 ((p q)) V 2 (p q) 1;
V 3 ((p q)) V 3 (p q) 1;
V 4 ((p q)) V 4 (p q) 0.
Por lo tanto, para cada valuacin V tenemos: V((p q)) V(p
q). Las frmulas (p q) y p q son lgicamente equivalentes.
Formulado ms claramente: se dice que y son lgicamente
equivalentes slo en caso de que para cada valuacin V: V() V().
El calificativo lgico se agrega para evitar toda confusin con la
equivalencia material.
Para apreciar cmo se comportan todas las frmulas de la forma
( ) y ( ) bajo toda posible valuacin, se puede trazar una
57
L.T.F. Gamut
tabla de verdad compuesta similar a (32) empleando las tablas de verdad
de la negacin, la conjuncin y la disyuncin. En (33) se presentan los
resultados:
(33) ( )
1 1 0
1 0 0
0 1 1
0 0 1
En esta tabla de verdad se puede ver con claridad que la

equivalencia entre frmulas de la forma ( ) y es
bastante general (para una explicacin general de las relaciones de este
tipo, vase el teorema 13 en 4.2.2).
Considrese otro ejemplo. Todas las frmulas de las formas y
son equivalentes, como se aprecia en (34):
(34)
1 0
0 1
Esta equivalencia es conocida como la ley de la doble negacin. El

ltimo ejemplo que daremos es la tabla de verdad que demuestra que
( ) es equivalente a ( ) y ( ) lo es a
( ); vase:
58

(35)
) ( )
) ( )
1
0
1
0
Las dos ltimas equivalencias son conocidas como la asociatividad

de y la asociatividad de respectivamente, por analoga con el
concepto que se introdujo en relacin con las funciones y que lleva el
mismo nombre. (Para una vinculacin ms estrecha entre estos
conceptos, vase 2.6.) Al igual que con las funciones, la asociatividad
de y significa que podemos omitir los parntesis en las frmulas
mencionadas dado que su significado es independiente de la posicin en
que estn colocados. Por supuesto, esto supone que slo nos interesa el
59
L.T.F. Gamut
valor de verdad de las frmulas. En general, entonces, podemos
sencillamente escribir , ( )( )( ) etc.
es verdadera slo en caso de que , y sean todas
verdaderas mientras que es verdadera slo en caso de que
alguna de ellas sea verdadera.
Ejercicio 6
En este ejercicio se darn un gran nmero de equivalencias muy
conocidas. Para comprender intuitivamente el mtodo vale la pena
demostrar algunas de estas equivalencias mediante tablas de verdad y
luego tratar de comprender por qu deben cumplirse dichas
equivalencias, dados los significados de las conectivas. Al lector le
resultar ms fcil si reemplaza las metavariables , y por oraciones
derivadas del lenguaje natural.
Pruebe para cada uno de los siguientes casos que todas las
frmulas son lgicamente equivalentes entre s (independientemente de
las frmulas representadas por , y ):
(a) , , , , ( ), ( )
(b) , ( )
(c ) ( ), (ley de De Morgan)
(d) ( ), (ley de De Morgan)
(e) , , , ( ), ( )
(f) , , ( ), ( )
(g) , , ( ),
(h) , (ley de contraposicin)
(i) , ( ) ( ), ( ) ( )
(j) ( ) ( ), ( ), (y , a pesar de
que oficialmente no es una frmula de lgica proposicional de
acuerdo con la definicin)
(k) ( ), ( ) ( ) (ley distributiva)
(l) ( ), ( ) ( ) (ley distributiva)
(m) ( ) , ( ) ( )
(n) ( ), ( ) ( )
60
(o) ( ), ( )
Las equivalencias de y y de y que se
mencionan en (e) y (f) del ejercicio 6, se conocen como la
conmutatividad de y , respectivamente. (En relacin con la
conmutatividad de funciones, vase 2.6.) Tanto la equivalencia
mencionada en (h) como la equivalencia de y dada en
(g) del ejercicio 6 se conocen como ley de contraposicin.
Las frmulas lgicamente equivalentes siempre tienen los
mismos valores de verdad. Esto significa que la frmula , obtenida al
reemplazar una subfrmula de una frmula por una frmula
equivalente , debe ser equivalente a . Esto se debe a que el valor de
verdad de depende del valor de del mismo modo en que el valor de
depende del valor de . Por ejemplo, si y son equivalentes,
entonces y tambin lo son. Una consecuencia de esto es
que cuando ( ) aparece como subfrmula de una frmula mayor,
tambin pueden omitirse los parntesis. Por ejemplo, podemos escribir
( ) en lugar de (( )) y
(( )( )( )) en lugar de
((( )( ))( )). De un modo ms general, tenemos
aqu un procedimiento til para probar equivalencias sobre la base de
otras equivalencias que sabemos que se cumplen. A manera de ejemplo,
demostraremos que ( ) es equivalente a ( ). De
acuerdo con el ejercicio 6(o), ( ) es equivalente a ( ) .
De acuerdo con la ley de conmutatividad de , es equivalente a
, de manera que ( ) es equivalente a ( ) .
Aplicando el 6(o) una vez ms, ahora con , y , en lugar de con ,
y , obtenemos que ( ) es equivalente a ( ). Si ahora
unimos todas estas equivalencias, apreciamos que ( ) es
equivalente a ( ) que era lo que desebamos probar.
Ejercicio 7
Sobre la base de las equivalencias del ejercicio 6, muestre que las
siguientes frmulas son lgicamente equivalentes:
61
L.T.F. Gamut
(a)
y (conmutatividad de )
(b)
(c) ( )
(d) ( )
(e)
y ( )
y
(f) ,
En cierto sentido dos frmulas lgicamente equivalentes y

tienen el mismo significado. En ese caso decimos que y tienen el
mismo significado lgico. Por lo tanto, la observacin hecha ms arriba
puede reformularse concisamente de la siguiente manera: el significado
lgico se conserva al reemplazar una subfrmula por otra frmula que
tiene el mismo significado lgico.
Merece la pena detenerse un momento en la equivalencia de
y (ejercicio 7e). Lo que esto significa es que A a menos
que B y que A siempre y cuando no B tienen el mismo significado
lgico: en trminos lgicos, entonces (36) significa lo mismo que (37)
((20)):
(36) Esta noche iremos a ver una pelcula siempre y cuando no
vayamos a la playa por la tarde.
(37) Esta noche iremos a ver una pelcula a menos que vayamos a
la playa por la tarde.
Esto es anlogo a lo que sucede con las equivalencias dadas en 7f: A
a menos que no B y no A a menos que B tienen el mismo significado
lgico que A siempre y cuando B, lo cual significa, entre otras cosas,
que (38), (39) y (40) ((29)) expresan todas el mismo significado
lgico:
(38) Esta noche iremos a ver una pelcula a menos que la vajilla no
haya sido lavada.
(39) Esta noche no iremos a ver una pelcula a menos que la vajilla
haya sido lavada.
(40) Esta noche iremos a ver una pelcula siempre y cuando la
62
vajilla haya sido lavada
Es obvio que existen diversas razones para preferir una oracin en
vez de otra en un contexto dado. La equivalencia de (38), (39) y (40)
muestra que las razones no tienen nada que ver con el significado lgico
de las oraciones. Las diferencias entre estas oraciones presumiblemente
puedan explicarse en trminos de sus condiciones de uso y en los
mismos trminos tambin debe buscarse una explicacin de la
naturaleza peculiar de oraciones como:
(41) Esta noche no iremos a ver una pelcula siempre y cuando
vayamos a la playa por la tarde.
Si comparamos las tablas de verdad de frmulas lgicamente
equivalentes p y p y de p q y q p con las de la equivalencia
material p p y (pq) (qp), es evidente que existe una
conexin entre la equivalencia lgica y la material; vase figuras (42) y
(43):
p p p p p
(42)
1 0
0 1
p q p q q p (p q) (q p)
(43)
1 1
1 0
0 1
0 0
En ambos casos vemos que aparece slo un nico valor de verdad en

la columna de la equivalencia material, a saber, 1. Esto, obviamente, no
es una coincidencia. Precisamente porque bajo cualquier valuacin V,
V(p) V(p) y V(p q) V(q p), se tiene siempre que V(p
p) 1 y V((p q) (q p)) 1. Ahora, es posible formular esta
idea como un teorema general:
Teorema 1
63
L.T.F. Gamut
y son lgicamente equivalentes sii para toda valuacin V,
V( ) 1.
Prueba: En general, la prueba de un teorema de la forma A sii B se
divide en dos partes: (i) la prueba de que si A entonces B y (ii) la prueba
de que si B entonces A. La prueba de (i) est encabezada por :
generalmente se procede suponiendo primero A y luego se muestra que
inevitablemente se sigue B. La prueba de (ii) est encabezada por :
generalmente se procede suponiendo primero B y luego mostrando que
inevitablemente se sigue A. De esta forma, la prueba de nuestro primer
teorema ser la siguiente:
: Supngase que y son lgicamente equivalentes.
Esto significa que para cualquier valuacin V para las letras
proposicionales que aparecen en y en , V() V(). Luego, segn la
condicin (v) para las valuaciones, tenemos que V( ) 1.
: Supngase que V( ) 1 para toda valuacin V.
Luego, no puede haber una valuacin V tal que V() V(), dado que,
de otro modo, V( ) 0. De manera que para toda valuacin V
debe cumplirse que V() V(). Por consiguiente, y son
lgicamente equivalentes.
El cuadrado indica que la prueba ha sido completada.
En el teorema 2 de 4.2.2 veremos que las frmulas tal que
V() 1 para toda valuacin V son de especial inters. Puede conocerse
la verdad de estas frmulas sin poseer ninguna informacin acerca del
valor de verdad de sus partes componentes. Tales frmulas son
denominadas tautologas. Que es una tautologa se expresa como .
As, el teorema 1 puede reescribirse del siguiente modo:
sii y son lgicamente equivalentes.
Ahora el teorema 1 nos ofrece una vasta provisin de tautologas a
la vez, por ejemplo (( )) ( ( )), ( )
( ), las leyes de Morgan, etc. Y tenemos aun ms tautologas,
dado que y siempre que . (Esto ltimo es
64
porque si para toda valuacin V, V() V(), entonces podemos estar
seguros de que para toda valuacin V, V() V() y V() V().)
Ahora tenemos a todas las frmulas de la forma ( ) ( )
y de la forma (( ) ) (( ) ( )) como ejemplos de
tautologas. Pero hay muchas ms, por ejemplo todas las frmulas de la
forma ( ), como queda de manifiesto en la figura (44):
( )
(44)
1 1
1 0
0 1
0 0
Ejercicio 8
Muestre que las siguientes frmulas son tautologas (para cada ,
y ):
(i) (esto de hecho se sigue de la equivalencia de consigo
misma)
(ii) ( )
(iii) ( )
(iv) ( ) (ex falso sequitur quodlibet)
(v) (ley del tercero excluido)
(vi) ( ( )) (( ) ( ))
(vii) ( ) ( )
(viii) (( ) ) (ley de Peirce)
Es obvio que todas las tautologas son equivalentes entre s; si
tenemos que V() 1 y V() 1 siempre, entonces ciertamente
tenemos siempre que V() V().
Que una frmula no es una tautologa se expresa como . Si
, entonces existe una valuacin V tal que V() 0. Cada una de
estas valuaciones se denomina contraejemplo de (la tautologicidad) de
. En 4.2.1 nos ocuparemos de esta terminologa ms detalladamente.
65
L.T.F. Gamut
Como ejemplo, tomamos la frmula (pq)(p q), que puede
considerarse como el esquema del siguiente argumento invlido: Si uno
tiene dinero, entonces tiene amigos. Luego, si uno no tiene dinero,
entonces no tiene amigos. Considrese la tabla de verdad:
p q p q pq p q (pq) (p q)
(45)
1 1 0
1 0 0
0 1 1
0 0 1
Es evidente que (pq) (p q), dado que 0 aparece en la

tercera fila de la tabla de verdad. Esta fila est completamente
determinada por la circunstancia de que V(p) 0 y V(q) 1, en el
sentido de que para cualquier valuacin V con V(p) 0 y V(q) 1
obtenemos V((pq)(p q)) 0. Por esta razn podemos decir que
V(p) 0 y V(q) 1 es un contraejemplo de (pq)(p q).
Debemos dejar en claro que a pesar de lo anterior no podemos
afirmar si una oracin de la forma ( )( ) es o no una
tautologa sin poseer ms informacin acerca de y de . Por ejemplo,
si reemplazamos tanto como por p, entonces obtendremos la
siguiente tautologa (pp)(p p); y si reemplazamos por pp y
por q, obtendremos la tautologa ((pp)q)((pp) q). Pero
si reemplazamos por p y por q, entonces llegaremos a la oracin
(pq)(p q) que, segn (45), no es una tautologa.
Ejercicio 9
Determine si las siguientes frmulas son o no tautologas. Si alguna
no lo fuera, proporcione un contraejemplo. (Por qu este ejercicio est
formulado en trminos de p y q y no en trminos de y como el
ejercicio 8?)
66
(i)
(p q) (q p)
(iv)
((p q) (p q)) q
(ii)
p (p q)
(v)
((p q) p) ((p q) q)
(iii)
(p q) (p q)
(vi)
((p q) r) (p (q r))
Las oraciones , tales que para toda valuacin V, V() 0, estn

estrechamente relacionadas con las tautologas. Tales frmulas se
denominan contradicciones. Dado que jams son verdaderas, el slo
proferir una contradiccin equivale a virtualmente contradecirse consigo
mismo. Las ms conocidas tienen la forma (vase figura (46)).

(46)
1 0
0 1
Podemos obtener muchas contradicciones a partir del

Teorema 2
Si es una tautologa, entonces es una contradiccin.
Prueba: Supngase que es una tautologa. Entonces para toda
valuacin V, V() 1. Pero entonces para toda valuacin V debe
cumplirse que V() 0. Luego, de acuerdo con la definicin, es
una contradiccin.
As, por ejemplo, (( )( )), ( ) y ( )
son contradicciones. Una prueba anloga se da del
Teorema 3
Si es una contradicin, entonces es una tautologa.
Este teorema nos permite obtener ms tautologas de la forma
( ) (ley de no contradiccin). Todas las contradicciones son
equivalentes, al igual que en el caso de las tautologas. Las frmulas que
no son ni tautologas ni contradicciones se denominan contingencias
(lgicas). Existen frmulas tales que hay tanto una valuacin V 1 con
V 1 () 1 como una valuacin V 2 con V 2 () 0. En otras palabras, en
su tabla de verdad la frmula tiene escrito debajo de ella al menos un
67
L.T.F. Gamut
1 y un 0. Muchas frmulas son contingentes. Los siguientes son algunos
ejemplos: p, q, pq, pq, pq, etc. Debe quedar claro que no todas las
contingencias son equivalentes entre s. Acerca de ellas puede decirse
que:
Teorema 4
es una contingencia sii es una contingencia.
Prueba: (puede darse una prueba diferente a partir de los teoremas 2
y 3, pero nuestra prueba directa es ms sencilla).
: Supngase que es una contingencia. Entonces hay un
V 1 con V 1 () 1 y un V 2 con V 2 () 0. Pero entonces tenemos que
V 2 () 1 y V 1 () 0, de donde se desprende que es
contingente.
: se procede como en .
Ejercicio 10
Sea una tautologa, una contradiccin y una contingencia.
Cules de las siguientes oraciones son (i) tautolgicas, (ii)
contradictorias, (iii) contingentes, (iv) lgicamente equivalentes a ?
(1) ; (2) ; (3) ; (4) ; (5) ; (6)
.
Ejercicio 11
(i) Probar las siguientes afirmaciones generales:
(a) Si es una contradiccin, entonces es una tautologa
y
una contradiccin.
(b) es una tautologa sii y son ambas tautologas.
(ii) Refute la siguiente afirmacin general proporcionando una
frmula para la cual no se cumpla.
Si es una tautologa, entonces es una tautologa o es
una tautologa.
(iii)Pruebe la siguiente afirmacin general:
Si y no poseen letras proposicionales en comn, entonces
es una tautologa sii es una tautologa o es una tautologa.
68
Para no provocar una impresin equivocada, debemos enfatizar
que la lgica proposicional no es slo la ciencia de las tautologas o
inferencias. Nuestra semntica tambin puede servir como modelo de
otros importantes procesos intelectuales tales como la acumulacin de
informacin. Las valuaciones de algn conjunto de letras
proposicionales podran considerarse como (descripciones de) estados
del mundo, o situaciones, en tanto puedan expresarse en este
vocabulario. Cada frmula, entonces, restringe la atencin a aquellas
valuaciones (mundos) en las que se cumple: su contenido de
informacin. De un modo ms dinmico, agregando sucesivamente
nuevas frmulas en un discurso se reducen las posibilidades, como lo
muestra la figura (47).
(47)
En el caso lmite podra obtenerse como resultado una nica

descripcin de un mundo real. Ntese la inversin en la figura: cuantos
ms mundos estn en el rango de la informacin, menos informacin
contiene. Las proposiciones pueden entenderse aqu como
transformaciones que operan sobre el contenido de la informacin,
reduciendo (en general) la incertidumbre.
Ejercicio 12
Determine las valuaciones para los siguientes tres estadios sucesivos
de un discurso (vase figura (47)):
(1) (p(qr)); (2) (p(qr)), (pr)r; (3) (p(qr)), (pr)r,
r(pq).
2.6 Funciones de verdad

Cuando discutimos la sintaxis de la lgica proposicional las
69
L.T.F. Gamut
conectivas no se introdujeron categoremticamente sino
sincategoremticamente. En concordancia con esto, en 2.5 no se
interpretaron directamente sino contextualmente. No interpretamos en
s misma; slo indicamos cmo debera interpretarse una vez
fijadas las interpretaciones para y para . Sin embargo, es posible
interpretar y las otras conectivas en forma directa, como funciones de
verdad; stas son funciones con valores de verdad no slo en su rango
sino tambin en su dominio.
La conectiva , por ejemplo, puede ser interpretada como la
funcin f tal que f (1,1) 1, f (1,0) 0, f (0,1) 0 y f (0,0) 0.
Anlogamente, pueden darse las funciones f , f y f como
interpretaciones de , y , definidas por:
f (1,1) , f (1,0) , f (0,1) 1 y f (0,0) 0.
f (1,1) f (0,1) f (0,0) 1 y f (1,0) 0.
f (1,1) f (0, 0) 1 y f (1,0) f (0,1) 0.
Finalmente, puede interpretarse como la funcin de verdad
unaria f definida por f (1) 0 y f (0) 1. Luego, para cada valuacin
V tenemos que V() f (V()); y si es cualquiera de nuestras
conectivas binarias, entonces para cada valuacin V tenemos que
V( ) f (V(), V()).
El lenguaje de la lgica proposicional puede enriquecerse
fcilmente agregando nuevas conectivas veritativo-funcionales tales
como, por ejemplo, la conectiva cuya interpretacin definimos como
f (1,0) f (0,1) 1 y f (1,1) f (0,0) 0. A la inversa, se puede
introducir una conectiva que sea interpretada como cualquier funcin de
verdad que uno pueda imaginar.
Pero en cierto sentido todo esto es innecesario, dado que ya
poseemos suficientes conectivas como para expresar cualquier funcin
de verdad que podamos concebir. Comencemos con las funciones de
verdad unarias. De stas slo hay cuatro (agregar a las figuras (48a-d)):
(48)
a.
f1
b.
f2
c.
f3
d.
f4
70
x f 1 (x)
x f 2 (x)
x f 3 (x)
x f 4 (x)
Evidentemente, f 1 , f 2 , f 3 y f 4 son las nicas candidatas para ser

empleadas como interpretacin de una conectiva veritativo-funcional
unaria. Ahora resulta bastante sencillo encontrar frmulas cuyas tablas
de verdad correspondan precisamente a esas funciones de verdad.
Sencillamente tmese pp, p, p y pp.
Hay exactamente diecisis funciones de verdad binarias y, como
puede fcilmente apreciarse, la expresin general para el nmero de
n
funciones de verdad n-arias es 2 2 . Puede probarse ahora que todas estas
funciones de verdad pueden expresarse por medio de las conectivas que
ya tenemos. Esto es, dada la tabla de cualquier funcin de verdad, hay
un mtodo general que genera una frmula cuya tabla es la misma. Esto
se prueba por el siguiente teorema:
Teorema 5 (completitud funcional de la lgica
proposicional)
Si f es una funcin de verdad n-aria, entonces hay una frmula con
n variables proposicionales p 1 , ... ,p n , tal que para cada valuacin V de
p 1 , ... ,p n , V() f(V(p 1 ), ... ,V(p n )).
Bosquejo de prueba. No daremos una descripcin general del
mtodo, sino que lo ilustraremos con referencia a la funcin de verdad
ternaria f dada en la tabla de verdad (49):
71
L.T.F. Gamut
(49)
f(x, y, z)
Para recapitular: lo que estamos buscando, es una frmula con

variables proposicionales p, q y r cuya tabla de verdad sea (49). Se
supone que tiene el valor de verdad 1 en tres filas diferentes de la
tabla de verdad (tercera, quinta y sexta fila). Ahora construiremos tres
frmulas 1 , 2 , 3 cada una de las cuales tendr el valor de verdad 1
slo en una fila de su correspondiente tabla de verdad (tercera, quinta y
sexta fila respectivamente) y exactamente en los mismos lugares donde
se supone que tiene 1. Esto es, 1 debe ser verdadera sii p es
verdadera, q es falsa y r es verdadera. De manera que podemos tomar la
frmula: p q r, para representar a 1 . En forma similar, podemos
tomar las frmulas pqr y pqr para representar a 2 y 3
respectivamente. Ahora para construir slo debemos construir la
disyuncin de 1 , 2 y 3 : 1 2 3
(pqr)(pqr)(p qr). De esta forma tendremos
ciertamente la frmula que queramos: dado que 1 tiene el valor de
verdad 1 en la tercera fila de su tabla de verdad, tambin tiene el valor
de verdad 1 en la tercera fila de su tabla de verdad; dado que 2 tiene 1
en la quinta fila de su tabla de verdad, tambin tiene 1 en la quinta fila
de su tabla de verdad; y dado que 2 tiene 1 en la sexta fila de su tabla
de verdad, tambin tiene 1 en la sexta fila de su tabla de verdad;
mientras que tiene 0 en todas las dems filas de su tabla de verdad
72
porque 1 , 2 y 3 tienen 0 en todas las dems filas de sus
correspondientes tablas de verdad (es decir, exceptuando la tercera,
quinta y sexta fila respectivamente). Est claro que este procedimiento
puede seguirse para todas las dems funciones de verdad,
independientemente del nmero de lugares que puedan tener (con la
nica excepcin de una tabla de verdad donde slo aparezca 0, pero en
ese caso podemos elegir cualquier contradiccin como nuestra ).
Se dice que un sistema de conectivas tal como , y es
funcionalmente completo cuando puede expresar todas las funciones de
verdad. Debido a que el sistema que comprende , y es
funcionalmente completo, tambin lo ser un sistema ms extenso que
posea , , , y ; luego estas cinco conectivas son suficientes para
expresar toda posible conectiva veritativo-funcional.
A partir de lo anterior resulta sencillo mostrar que y
conforman un sistema veritativo-funcional completo en s mismo. Ya
sabemos que toda funcin de verdad puede expresarse por medio de ,
y . Adems, se cumple que para frmulas cualesquiera y ,
y ( ) son frmulas equivalentes (vase ejercicio 6f). As, para
cada funcin de verdad hay una frmula con las conectivas , y
que la expresa. Ahora reemplazamos cada subfrmula de la forma
por la frmula equivalente ( ). El resultado ltimo ser una
frmula cuyas nicas conectivas son y , la cual es equivalente a
y, por ende, expresa la misma funcin de verdad que .
Ejercicio 13
(a) Proporcione una frmula con slo y que sea equivalente a
(pqr)(pq r)(pqr).
(b) Muestre que junto con forman un conjunto funcionalmente
completo de conectivas y que con tambin. (Esta ltima
combinacin es la que eligi Frege en su Begriffsschrift.)
(c) La conectiva (la daga de Quine) puede definirse de acuerdo a
su tabla de verdad. Muestre que es en s misma un conjunto completo
de conectivas.(Sugerencia: intente primero expresar slo con y
luego slo con y .) Qu conjuncin en el lenguaje natural
73
L.T.F. Gamut
corresponde a ?

1 1
1 0
0 1
0 0
Ejercicio 14
Determine la mxima cantidad de frmulas no lgicamente
equivalentes que pueden construirse con dos letras proposicionales p, q
usando slo la implicacin material.
Ejercicio 15
Llmese conservadora a una funcin de verdad binaria f si siempre
f(x,y) f(x,f (x,y)). Llmese a una funcin de verdad genuinamente
binaria si su tabla de verdad no puede definirse usando slo funciones
de verdad unarias. Determine todas las frmulas proposicionales con
dos letras proposicionales p y q con funciones de verdad conservadoras
genuinamente binarias.
Retomaremos ahora los conceptos de conmutatividad y
asociatividad. Desde la perspectiva que estamos desarrollando, la
conmutatividad y la asociatividad de y se reducen sencillamente a
la conmutatividad y a la asociatividad de f y f . Para todos los valores
de verdad de x, y, z tenemos: f (x,y) f (y,x) y f (x,y) f (y,x); f (x,
f (y,z)) f (f (x,y), z); y f (x, f (y,z)) f (f (x,y), z). Estas no son las
nicas conectivas asociativas ya que y son otros dos ejemplos (en
contraste con y ). En lo que concierne a , esto puede apreciarse
fcilmente en (50):
74
( ) ( )
(50)
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
tambin mediante la figura (50) se puede probar la asociatividad de

, por medio de la equivalencia de y ( ) y la de
y (vase ejercicio 6j). La frmula ( ) es
equivalente a ( ) y por lo tanto tambin a ( )
y a ( ) y en vista de la asociatividad de , a ( ).
Usando la conmutatividad de y de , la frmula ( ) es
equivalente a ( ) y, finalmente a ( ). Parece
ahora natural dejar de lado los parntesis en estas expresiones como lo
hicimos con y y escribir sencillamente y .
Sin embargo, hay algo con lo cual se debe ser cuidadoso, nos
inclinamos a leer como sii y sii (en otras palabras,
sii V() V() V()) y entonces suponemos que
slo en el caso de que , y sean lgicamente
equivalentes. Y tambin tendemos a leer como o bien , o
bien . Pero en la tabla de verdad (50) se muestra claramente que es un
error considerarlo as. Lo que muestra lo anterior es que y
son, en efecto, equivalentes. Esto demuestra tambin que
la conjuncin en el lenguaje natural o bien o o es esencialmente
ternaria y no puede concebirse como dos aplicaciones de una conectiva
veritativo-funcional binaria; esta conjuncin se diferencia de la
inclusiva o o que s puede construirse de esta manera. De un modo
75
L.T.F. Gamut
anlogo, puede mostrarse que o bien, , o bien es esencialmente
cuaternaria.
2.7 Conectivas coordinantes y

subordinantes
Desde un punto de vista sintctico, las conectivas de la lgica
proposicional son coordinantes: combinan dos frmulas en una nueva
frmula en la cual ambas desempean el mismo papel. Tambin son
conjunciones coordinantes las conjunciones del lenguaje natural que
corresponden a la conjuncin lgica y y a la disyuncin lgica o. Pero
esto no se aplica a la conjuncin correspondiente a la implicacin si (,
entonces) que, desde un punto de vista sintctico, se considera
subordinante. Junto con una oracin A esta conjuncin forma frases si A
que pueden modificar a otras oraciones B para formar nuevas oraciones
si A entonces B.
Hemos visto en 2.6 que las conectivas pueden interpretarse
directamente por medio de funciones de verdad. Debido a ello, tambin
resulta posible introducir conectivas subordinantes en un lenguaje
proposicional. En este apartado trataremos a la implicacin como
conectiva subordinante y lo haremos de un modo tal que el significado
de las frmulas con implicacin subordinante sea el mismo que el de las
correspondientes frmulas con implicacin coordinante. La ventaja de
esto es que, de este modo, logramos un mejor acuerdo entre las
conjunciones del lenguaje natural y las conectivas de nuestros lenguajes
lgicos.
En lo que sigue proporcionaremos una definicin de los
lenguajes para la lgica proposicional que, hasta un cierto punto, se
aleja de la usual. Realizamos esto no slo para introducir las conectivas
subordinantes, sino tambin para mostrar cmo puede hacerse explcito
el principio de composicionalidad del significado. Este principio puede
formularse del siguiente modo: el significado de una expresin
compuesta est determinado nicamente por el significado de las
expresiones que la componen. Esto supone que debe haber sido
especificado el significado de todas las expresiones no compuestas y
76
que deben haber sido interpretadas las reglas sintcticas. Con esto
queremos decir que debe quedar claro cmo el significado de una
expresin compuesta, formada mediante cualquier regla dada, depende
del significado de las expresiones a partir de las cuales ha sido formada.
Ahora bien, en la sintaxis de los lenguajes de la lgica proposicional es
frecuente no tratar a las conectivas como expresiones independientes,
sino introducirlas sincategoremticamente e interpretarlas
contextualmente. Esto parecera ser contradictorio con el principio de
composicionalidad del significado, pero no es as. Por ejemplo, el
significado de la conectiva , tal como fue dado antes, est oculto en la
regla sintctica por medio de la cual se introduce
sincategoremticamente. Se podra decir que el principio est
implcitamente presente.
Puede explicitarse ms el papel del principio interpretando a las
conectivas en forma directa por medio de funciones de verdad.
Parecera natural, pues, tratarlas tambin como expresiones
independientes del lenguaje. Si lo hiciramos, los lenguajes
proposicionales contaran con al menos dos categoras diferentes de
expresiones: conectivas y frmulas. Sin embargo, las conectivas no
forman un grupo homogneo. La conjuncin y la disyuncin son
binarias: unen dos frmulas entre s produciendo una nueva frmula;
mientras que la negacin es unaria: cuando aparece delante de una
frmula simple, la transforma en otra frmula. De este modo, tenemos
tres categoras de expresiones: frmulas, conectivas unarias y
conectivas binarias. Si, adems de esto, se introduce a la implicacin
como conectiva subordinante, entonces se origina una cuarta categora.
La implicacin subordinante transforma a una frmula en una expresin
que funciona en forma similar a la negacin, en el sentido que
transforma a una nica frmula en otra cuando aparece delante de ella.
Junto con una frmula tal, la implicacin subordinante forma una
conectiva unaria compuesta. As, en dos de estas cuatro categoras
tenemos, adems de expresiones bsicas o no compuestas, expresiones
compuestas: en la categora de frmulas y en la categora de conectivas
unarias.
77
L.T.F. Gamut
Antes de proporcionar una definicin precisa, debemos realizar
un breve comentario sobre los parntesis. En la definicin 1 de 2.3,
afirmamos que ( ) y que son frmulas si y tambin lo son y
en un paso ulterior se quitaban los parntesis. Otro mtodo consistira en
colocar los parntesis del siguiente modo: ()() y (). Esto tambin
garantiza la no ambigedad de las frmulas y, si se omiten los
parntesis alrededor de las letras proposicionales, entonces el resultado
es exactamente el mismo: por ejemplo (p q) se transformara en (p)
(q) y despus de eliminar los parntesis obtenemos una vez ms p q.
Pero si el lenguaje se ampla agregando conectivas subordinantes,
entonces este modo de utilizar los parntesis incrementa la legibilidad.
Ahora daremos una definicin alternativa para lenguajes de la
lgica proposicional.
El vocabulario contiene, adems de los parntesis, expresiones
que pueden clasificarse en las siguientes cuatro categoras:
(i) frmulas: en esta categora las expresiones bsicas son las letras
proposicionales;
(ii) conectivas unarias: la expresin bsica es la negacin ;
(iii) conectivas coordinantes binarias: las expresiones bsicas son la
conjuncin y la disyuncin ;
(iv) conectivas subordinantes: la expresin bsica es la implicacin
.
La sintaxis tiene las siguientes reglas que definen cules son las
expresiones que contienen las diferentes categoras:
(i) Una expresin bsica en cualquier categora es una expresin en
esa categora.
(ii) Si es una frmula y es una conectiva subordinante,
entonces() es una conectiva unaria.
(iii) Si es una frmula y es una conectiva unaria, entonces ()
es una frmula.
(iv) Si y son frmulas y es una conectiva binaria, entonces ()
() es una frmula.
78
(v) Las categoras contienen slo aquellas expresiones permitidas
por un nmero finito de aplicaciones de las clusulas (i)-(iv).
La clusula (ii) nos permite construir conectivas unarias compuestas.
En (51) se proporcionan algunos ejemplos de conectivas unarias:
(51)
conectiva unaria
significado
si p (entonces)
(p q)
si p y q (entonces)
no
(p (q r))
si p o (q y r) (entonces)
(pq)
si (q si p) (entonces)
La clusula (iii) nos permite construir negaciones de frmulas, como

p y (pq) mediante la conectiva no compuesta . Pero, adems,
tambin nos permite construir nuevas frmulas por medio de las nuevas
conectivas unarias compuestas. En (52) consignamos algunos ejemplos:
(52)
subordina
significado
coordinante
pq ( )
si p (entonces) q
pq
(p q)q
si p y q (entonces) q
(p q) q
p(p q)
si p (entonces) p o q
p (p q)
(pq)
no se da que si p(entonces) q
(p q)
(pq) (qp)
si p (entonces) q y si q
(p q) (q p)
(entonces) p
79
L.T.F. Gamut
p(qr)
p (q r)
si p (entonces) si q
(entonces) r
Las frmulas correspondientes con la conectiva coordinante se

dan en la ltima columna de (52).
Ahora que hemos modificado la sintaxis, debemos ajustar la
semntica para adaptarla. Un prerrequisito es que las nuevas frmulas
con la forma ()() deben recibir exactamente la misma
interpretacin que las frmulas originales de la forma . De
acuerdo con el principio de composicionalidad, la interpretacin
semntica es la siguiente: (a) se interpretan las expresiones bsicas; (b)
para cada clusula sintctica que combina expresiones entre s (stas
son precisamente las clusulas (ii), (iii) y (iv)), especificamos cmo se
debe obtener la interpretacin de la combinacin a partir de las
expresiones combinadas de ese modo. Dado que adems de las letras
proposicionales usuales, las expresiones bsicas incluyen ahora a las
conectivas , , y , stas tambin deben interpretarse. Esto
significa que una interpretacin V que sirve slo para frmulas ya no
nos servir. Necesitamos una funcin de interpretacin general I que en
su dominio no slo contenga frmulas sino tambin conectivas bsicas y
compuestas.
En 2.6 cuando se mostr que las conectivas podan
interpretarse directamente, se emple implcitamente el tipo de funcin
de interpretacin que tenemos en mente. All, las conectivas unarias se
interpretaron como funciones de verdad unarias, como funciones que
toman valores de verdad como sus argumentos y arrojan valores de
verdad como sus valores. Las conectivas coordinantes binarias se
interpretaron como funciones de verdad binarias, funciones que admiten
pares ordenados de valores de verdad como sus argumentos y que
arrojan valores de verdad como sus valores. A continuacin se
proporcionar la interpretacin que la funcin de interpretacin I da a
las expresiones bsicas en estas categoras:
80
(53) I() f
I() f
I() f
Las funciones de verdad f , f , f estn definidas como en 2.6. La
funcin de interpretacin I tambin funciona como una valuacin, esto
es, atribuye valores de verdad a las letras proposicionales. De esta
manera, hemos proporcionado la interpretacin de todas las expresiones
bsicas exceptuando a una: la conectiva subordinante . Antes de
discutir su interpretacin, estableceremos la forma en que las
interpretaciones de las totalidades formadas mediante las clusulas
sintcticas (ii) y (iv) dependen de las interpretaciones dadas a las partes
mediante las cuales han sido formadas. Primero, la clusula (iv):
(54) Si y son frmulas y es una conectiva binaria, entonces
I(() ()) I()(I(), I()).
Por ejemplo, sobre la base de (54) y (53), I(pq) I()(I(p), I(q))
f (I(p), I(q)).
La interpretacin de frmulas formadas mediante la regla (iii) es
como sigue:
(55) I(()) I()(I())
Por ejemplo, (55) y (53) determinan que I(p) I()(I(p))
f (I(p)).
Sin embargo, en la categora de conectivas unarias, adems de la
expresin bsica tambin tenemos expresiones compuestas de la
forma (). Estas ltimas expresiones se forman mediante la clusula
sintctica (ii) y esto nos conduce a la cuestin de la interpretacin de
esta regla o, para decirlo de un modo ms preciso, a la cuestin de las
expresiones que pueden formarse por medio de esta regla. Estas
expresiones son todas conectivas unarias y, por tanto, debe
proporcionrseles una interpretacin semntica en tanto que funciones
de verdad unarias. De acuerdo con el principio de la composicionalidad
semntica, la interpretacin de una expresin compuesta depende de las
interpretaciones de sus expresiones componentes. Esto significa que la
81
L.T.F. Gamut
funcin de verdad unaria que es la interpretacin de () debe
depender de la interpretacin de , esto es, del valor de verdad de .
Esto nos conduce a la interpretacin de misma. I() no es en s
misma una funcin de verdad. Debe ser una funcin g que proyecta
valores de verdad sobre funciones de verdad unarias. Pero queremos
que las frmulas de la forma ()() signifiquen lo mismo que las
antiguas frmulas de la forma , lo cual no nos deja muchas
posibilidades para elegir la funcin g . Si el antecedente de una
implicacin es falso, entonces toda la implicacin debe ser verdadera,
con independencia de cul sea el valor de verdad del consecuente. Y si
el antecedente es verdadero, entonces el valor de verdad de toda la
implicacin es igual al de su consecuente. Esto significa que g debe
definirse del siguiente modo:
(56) g (0) f 1
g (1) f id
f 1 y f id son las siguientes funciones de verdad unarias:
(57) f 1 (0) f 1 (1) 1
(58) f id (0) 0; f id (1) 1
La interpretacin de la expresin bsica est dada por:
(59) I() g
Y la interpretacin de la regla sintctica (ii) es entonces:
(60) Si es una frmula y es una conectiva subordinante, entonces
I(()) I()(I()).
De este modo la interpretacin de la clusula sintctica (iii), dada en
(55), ahora est completa y tenemos, por ejemplo:
I(pq) I(p)(I(q)) (I()(I(p)))(I(q)) (g (I(p)))(I(q)).
Recapitularemos ahora las diversas partes de la interpretacin
semntica . Una interpretacin es una funcin I tal que:
(i) (a) I(p) 0 1 para toda letra proposicional del vocabulario;
(b) I() f ;
82
(c) I() f ;
(d) I() f ;
(e) I() g .
(ii) Si es una frmula y es una conectiva subordinante,
entonces I(()) I()(I()).
(iii) Si es una frmula y es una conectiva unaria, entonces
I(()) I()(I()).
(iv) Si y son dos frmulas y es una conectiva binaria, entonces
I(()()) I()(I()), (I()).
La funcin de interpretacin I funciona, pues, como una
valuacin que atribuye valores de verdad a frmulas atmicas (clusulas
(iii) y (iv)) y a frmulas compuestas (clusulas (iii) y (iv)). Pero I
tambin atribuye una interpretacin a todas las otras expresiones, a las
conectivas no compuestas (clusulas (ib-e)) y a las conectivas
compuestas (clusula (ii)).
Para asegurarnos de que las frmulas de la forma ()() son
de hecho interpretadas de la misma manera en que siempre lo fueron las
frmulas de la forma , suponemos que tambin est presente la
conectiva binaria , siendo interpretada de acuerdo con:
(61)
I() f
donde f se define como en 2.6. Mostraremos ahora que para

cualquier funcin de interpretacin I tenemos que I(()())
( ). Con esta finalidad examinamos las cuatro distribuciones
posibles de valores de verdad entre y , asegurndonos, en cada caso,
de que los valores de verdad de ()() y sean idnticos:
(a) Supngase que I() I() 1:entonces I( ) I()(I(),
I()) f (1,1). 1; y I(()()) I( ), (I()) (I()(I()))
(I()) (g (1))(1) f id (1) 1.
(b) Supngase que I() 1 y I() 0: entonces I( ) ...
f (1,0) 0; yI(()()) ... (g (1))(0) f id (0) 0
(c) Supngase que I() 0 y I() 1: entonces I( ) ...
f (0, 1) 1;y I(()()) ... (g (0)) (1) f 1 (0) 1.
83
L.T.F. Gamut
(d) Supngase que I() 0 y I() 0: entonces I( ) ...
f (0,0) 1;y I(()()) .... (g (0)) (0) f 1 (0) 1
Todo esto significa que desde el punto de vista lgico no se
gana ni pierde nada mediante esta forma alternativa de presentar a la
lgica proposicional. Pero esto muestra que hay al menos otras formas
de presentarla. Una ventaja de hacerlo de este modo es que se pueden
enfatizar los paralelismos entre el lenguaje de la lgica proposicional y
la sintaxis del lenguaje natural. Tambin queda claro que otra sintaxis
no conduce necesariamente a otra interpretacin semntica aunque, por
cierto, debern ajustarse los detalles de la presentacin semntica
debido a la relacin directa que hay entre la forma en que se construye
una frmula y la forma en que se construye su interpretacin. Otra
ventaja que no tiene mucha relacin con las conectivas subordinantes y
coordinantes es la siguiente: al no introducir las conectivas de forma
sincategoremtica sino como expresiones independientes con sus
propias interpretaciones semnticas, queda expuesta en forma ms clara
la manera en que funciona el principio de composicionalidad.
Ejercicio 16
Cmo puede la conectiva binaria (conjuncin) ser tratada por
pasos de un modo similar al de la implicacin?
84

Gamut Cap. 2

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Gamut Cap. 2

Încărcat de

Drepturi de autor:

Formate disponibile

2

2.1 Conectivas veritativo-funcionales

Juan se golpe la cabeza y est llorando.

Juan est llorando porque se golpe la cabeza.

Juan est llorando.

Juan se golpe la cabeza.

Supongamos que Juan de hecho se golpe la cabeza y que

2.2 Conectivas y tablas de verdad

Tabla 2.1 Conectivas y sus significados

(6) McX ha sido electo o Wyman ha sido electo y

Al lado de cada combinacin posible de los valores de verdad de y

Zandvoort est al oeste

Haarlem est al oeste de

estn al oeste de Amsterdam.

Juan y Pedro estn casados

Juan est casado con

Pedro est casado

con Ana y Beatriz

Los liberales favorecieron

como los socialistas

Juan est dormido.

Juan est en su casa.

Pedro no est en su casa.

Haca mucho fro.

pero est dormido.

estaba hermoso, Juan

Juan se qued adentro.

As, todas las oraciones de la columna de la izquierda expresan una

Resulta un tanto forzado considerar a esta oracin como una

Hay ms formas de expresar la negacin de una oracin que por

Los potros son domables.

Juan no est ni en su casa ni en la escuela.

Juan est o bien en su casa o bien en la escuela.

No hay nadie en casa.

Alguien est en casa.

Juan nunca est en su casa.

Juan est a veces en su casa.

Juan an no lleg a su casa.

Juan ya lleg a su casa.

Juan no ha estado nunca en su casa.

Juan ha estado en alguna ocasin en su casa.

En (16) consignamos la tabla de verdad de la disyuncin:

sta es la tabla de verdad obvia para y/o. En el lenguaje natural, o

En este libro, o ser entendida como inclusiva, tal como se la

A menudo, si (..., entonces) no puede ser considerada como

La eventualidad de que en el tiempo t Juan (acaba) de golpearse la

Juan est malhumorado slo

Juan est malhumorado.

Juan se acaba de levantar.

El partido funciona mejor.

El partido funciona mejor.

mejor, es suficiente con

En (28) se consigna la tabla de verdad para la equivalencia material:

Las primeras tres clusulas de la definicin dan una receta para

((p p)(q q))

El hecho de que cada frmula tenga un nico rbol constructivo se

Discutiremos ahora la naturaleza de la ltima clusula de la

En general, para cada definicin inductiva hay un tipo de

B() max(B(), A() 1)

para conectivas binarias

para letras proposicionales p

para conectivas binarias

para conectivas binarias