2.

1 Conectivas veritativo-funcionales

conectivas y la las primeras vinculan dos

introducir el concepto de valor de verdad. Decimos que el valor de verdad de una

llorando (asumimos que esto es lo que significa

Juan

(2) bien puede ser verdadera, pero ciertamente no es necesario que lo sea (tal vez

Esta diferencia entre el comportamiento de y y el de porque puede ser

oraciones, (3) y (4), que la componen. De las conectivas que dan lugar a oraciones

29
 L .T .F . G am ut

se dice que son veritativo-funcionales. De manera que y es una conectiva

veritativo-funcional mientras que porque no lo es.

veritativo-fiincionales y las correspondientes conjunciones del lenguaje natural.

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
A,
A. Esta

productiva.

2.2 Conectivas y tablas de verdad

conectivas

letras proposicionales o variables proposicionales. En general las designaremos

2 , q 3,

Las letras proposicionales y las expresiones compuestas formadas a partir de las

mismas por medio de las conectivas se clasifican conjuntamente como oraciones o
Estas se designan mediante las letras < j>y i//, etc. Respecto de estas

La tabla 2.1 resume las conectivas que encontraremos en los lenguajes

A, V,
 2 INTRODU CCION A LA LO GIC A

Tabla 2.1 C onectivas y sus significados

Significado

no es el caso que p

(p A pyq
poq

si p entonces q

++ ( equivalencia) (p q) (equivalencia material de p y q)

Decimos que p es el primer miembro (o conjuntivo) d e la A q) y q es

el segundo. Lo m i s m o se aplica a las implicaciones, disyunciones y equivalencias, a
pesar
denomina su antecedente y su consecuente respectivamente, mientras que los dos
disyuntivos.
Nuestra
obviamente importantes. Nos ocuparemos de las cinco en forma separada y
examinaremos
pueden considerarse como veritativo-funcionales. Asimismo, haremos algunos
comentarios sobre otras conectivas posibles que no han sido incluidas en esta lista.
Las
mediante
denomina

de A y y/, etc.; se refiere en forma

natural a la A y ) se
refiere a la
seguido por la conectiva A, seguido por la
derecho.
Los
p V q A

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.
El ejemplo (5 )corresponde a (p V (q A (6)
a ((p V q) A volveremos sobre estas
ulas

_________ .3 1
 L.T .F . Gam ut

significados de las diversas conectivas.

de verdad de las oraciones componentes y de la conectiva empleada. Para cada

conectiva, esto queda prescripto en una tabla de verdad.

(7):
(7) (0Ai/O
1 1 1
1 0 0
0 1 0
0 0 0

consigna el valor de verdad resultante de (0 A y).

A es enteramente concordante con el de y del
lenguaje natural. Sin embargo, el acuerdo no es perfecto. De acuerdo con la tabla

verdadera:

también el orden en que sucedieron los eventos descriptos. Con todas lasotras
conectivas surgen complicaciones similares. En el capítulo 6 discutiremossies
condiciones de uso.
La columna de la izquierda de (10) es una lista de oraciones que tienen las

su derecha.

( 10)
Zandvoort y Haarlem
de Amsterdam. Amsterdam.

con Ana y Beatriz Ana. con Beatriz.

respectivamente.
Tanto los liberales Los liberales favorecieron Los socialistas
como los socialistas favorecieron

32
 2 IN T R O D U C C IO N A LA L O G IC A

pero

Juan

pero

ftio, Juan no se adentro.

A pesar de que afuera Afuera estaba

estaba hermoso, Juan hermoso.

de dos y entre ellas. Evidentemente, las

connotaciones que tienen pero , si bien y a pesar de no alteran las condiciones de
verdad de
toda
no lo es:
(11) Juan y Pedro son amigos.
Resulta un
digamos, Juan es amigo y Pedro es amigo.
mismo
(12) Pedro y Pablo son divertidos en las fiestas.
(13) Pedro es divertido en las fiestas y Pablo es divertido en lasfiestas.

La
consta
(14) 0
1 0
0 1
no o no
es el caso que.

Los potros son domables.

Juan no
No hay nadie en casa.

33
 L .T .F. G a m u t

<t> V 0 V y'
1 1 1
1 0 1
0 1 1
0 0 0

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
o
bieti...o bien, y entonces se dice que o es exclusiva. A veces se introduce una

en (17):
<t> V 0
1 1 0
1 0 1
0 1 1
0 0 0

En este libro, o

( 1?) Llueve o no llueve.

o fuera
inclusiva o no, dado que no puede llover y no llover. Lo que necesitamos es un
ejemplo de la forma A o Be.n el que haya una posibilidad real de que se cumplan

la o, o bien... o bien. Por ejemplo:

o bien iremos a la playa por la tarde.

la que emplea a menos que.

verdad que la (20 ).

34
 2 IN T R O D U C C IO N A LA L O G IC A

a menos que vayamos a la playa por la tarde.

0 0 -
1 1 1
1 0 0
0 1 1
0 0 1
A menudo, si entonces) no puede ser considerada como veritativo-ftmcional
en

(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

entonces evidentemente es verdadera si Juan acaba de golpearse la cabeza y de

hecho

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 la alternativa menos indeseable y digamos que los condicionales
materiales son verdaderos si su antecedente no es verdadero. Luego, lo que
obtenemos es (21).

puede
razones de claridad la expresamos como (25):

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
ambas verdaderas; 4 > 5 es falsa y 4 > 3 esverdadera, mientrasque2 >

35
 L .T .F . Ga mut

son ambas falsas. Suponiendo que buscamos una tabla de verdad para la

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

llorando queda descartada porque hemos supuesto la verdad de (22). A partir de

(27) se consigna una lista de oraciones que pueden ser consideradas como
implicaciones:
(27)
p ( antecedente) q ( consecuente)
Juan llora si se ha Juan se ha golpeado Juan llora,
golpeado la cabeza la cabeza.

si se acaba de levantar.
Para que el partido El partido funciona mejor. Se ha establecido mayor
funcione mejor, contacto con el electorado.
es necesario que se
establezca mayor contacto
con el electorado.
El partido funciona mejor.
mejor, es suficiente con

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

(28)
1 1 1
1 0 0
0 1 0
0 0 1
tienen ambos el mismo valor de
verdad y falsa si sus valores de verdad difieren. Otra forma d e d ecir e s to e s que
 2 I N T R O D U C C IO N A LA LO GIC A

(ji <j>implica materialmente a i// y que i//

implica materialmente a 0. 5Vy

misma tabla de verdad es siempre y cuando-.

siempre y cuando la vajilla haya sido lavada.

habitualmente se escribe <=> y

Un
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

elementos conforman el vocabulario de L. En la sintaxis se define lo que significa

expresiones (
misma para todos los lenguajes proposicionales.

(i)

y/
A y/), (0 V y/), (0 -* y) y)

cadenas que no pueden ser consideradas bien formadas. De acuerdo con la

37
 L .T .F . Gam ut

ejemplo, ((-i(pVq)->

Ciertamente pq, esto es, la letra proposicional p seguida inmediatamente por la

- >qV

Ejercicio 1

proposicional.
(i) '( p v q)
(ii) P V (q)
(iii) ->(q)
(iv)

(V) (P - ((P - q)))

(vi) ((p - p M q - q))
((P 2 - P3) 4)
( p - ( p - q)-q)

38
 2 IN TR ODUC C ION A LA L O GIC A

(ix) - (pV(qVr))
(x) (p V q V r)

(xii) (p V p)

com o y, 0 V y/, x)<

e tc.
La 1 a cada

con

<- r (iii,~)

(-,(p V q) - (iii, -0 r (i)

(30) | |
p Vq .q (ii)

!
q(i)

nodo

signo principal

m ie n tr a s (- .(p V
p V q, -i(p V q), >(p .(p V q)
0 la
 L .T .F. G a mu t

y
y

Ejercicio 2
2) V->P2 , de pi <->(p2 V - p 2) y de ((p V q)

(i) P -q (vi) (p -* q) V
(ii) ->p (vii) p4
(iii) p 2
(iv) (p A q) A (q A p) A p 2) A-^P 2
(v) '(p - q) (x) (p A (q A r)) V p

afirma:

de una

de dos ovejas es circular.

0 , en el sentido de que contiene menos

conectivas, o lo que es equivalente, que puede generarse en menos pasos mediante

proposicionales.

propiedad. Tales definiciones se denominan inductivas o recursivas.

40
 2 I N T R O D U C C IO N A LA L O G IC A

La mayor parte de lo que sigue se aplica a todos los lenguajes proposicionales

proposicional en particular, nos referiremos a

proposicional.

con mostrar que:

(i) Todas las letras proposicionales tienen la propiedad A.

(ii)

(iii)
v vO,

cual(es) hereda la propiedad A. A una prueba de este tipo se le denomina prueba

(o

(i)

-.0

(iii)

(0

p rueb a.
 L .T .F. G a mu t

1 nos permite dar definiciones inductivas estrictas de las

((0 0 2 , para cada conectiva binaria*.

0.
Ejercicio 3 O
a) El operador profundidad

A(p) =1 B(p) = 1
A = A(i 1 B(->y/) = max(B(y/), A(iy) + 1)
A(y/ o x) = max(A(y/), (A*)) +1 B(i max(B(i//), B(*),

Ejercicio 4 O

p* = 0 para letras proposicionales p

(-,0 )* = 0*
(0 o y/)* = 0 * + [y* +1 para conectivas binarias o
P+ = l
( '0)+ = 0 +
(0 o tf/)+= 0 + + y*
0, <
j>+= <j>*+1 .
Ejercicio 5

>roposicional. Le proporcionamos un ejemplo de lo que se espera. Debemos

42
 2 IN TR ODUC C ION A LA LOG IC A

Diccionario: p: Puedo hacer un movimiento, q: H e perdido.

posible de su estructura y en cada caso consigne el diccionario.

(6

(8
(9) Carlos y Elsa son hermano y hermana o primo y prima.
(10) Carlos va a trabajar en auto, o en bicicleta y tren.

si es de tarde o de noche.

(18) Carlos viene si Elsa lo hace y viceversa.

(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.

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

2.4 Funciones

interpreta. Lo anterior muestra que lo que tenemos en mente cuando hablamos de

len g u a je proposicional e s d e valores de verdad
 L .T .F . Gamut

a sus oraciones. Dichas atribuciones son denominadas valuaciones. Pero estas

valuaciones son funciones, de manera que primero debemos ocuparnos de las
funciones.

valor (a veces se le denomina, imagen) a cada entidad de un cierto tipo

argumentos
conjunto forman su dominio. Las entidades que figuran como los valores posibles
rango. Si x es un argumento
se
aplica f a x . No debe considerarse que la palabra valor

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
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

Funciones D ominio Rango
Fecha de nacimiento de x Personas Fechas
Madre de x Personas Mujeres
Personas
Rodado de x Bicicletas

Ciudad capital de x Ciudades

Sexo de x Personas Los dos sexos
(masculino, femenino)

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

posible atribuirle un valor a todo argumento. Progenitor de x tampoco es una

que todos tienen, o al menos tuvieron, no menos de dos progenitores. Por

objeto

44
 2 IN T R O D U C C I O N A LA LOGIC A

directo de x
verbo de x

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
/j-arias. El cociente de x e y

para toda x si se toma 0 como y.

Las funciones pueden aplicarse a sus propios valores o a los de otras funciones

Fecha de nacimiento de la madre de Juan,

madre del je fe de Estado de Francia, madre de la madre de la madre de
Pedro, sexo de 1a 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

Dom inio Rango
Suma de x e y
Diferencia entre x e y
Ciudades Rutas
Momentos del tiempo

decimos que f es una y que f proyecta (mapea) A en B. Hay

todos los valores posibles

necesitaba: en el caso de madre de x

aquellas que son madres, en je fe de Estado de x a todas las personas en lugar de
 L .T .F . Gamut

sobre B. De las
funciones de la tabla 2 .2 sexo de xes
2.3

diferencia entre 1 y 3 es -2, mientras que la diferencia entre 3 y 1 es +2. Se dice que

conmutativa.
suma de x e y siempre es igual a la suma de y y x. El mismo objeto puede aparecer
2
y 2.

generalmente en ..... x n), a pesar de que para algunas

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.
asociativa si para objetos cualesquiera x, y, z de

otras palabras, f es asociativa si no importa si se la aplica primero a los dos primeros

2fx 3

ejemplo, tenemos: (Xi+X2)+(X3+X4) = Xi+((X2+X3)+X4). Primero tenemos

(Xi+X2)+(X3+X4) = xi+(x 2+(x3+x 4)), dado que (x+ y) +z =x +(y+z) para x, y, z
= x j , y = x2, y z = x +x4. Y xj + (x +(x 3+x4)) =
xi+((x 2+x 3)+x4), dado que x 2+(x3+ x4) = (x 2+x 3)+x4.

valor 1

(i) V(-4) = 1 sii V(0) = 0 .

46
 2 I N T R O D U C C IO N A LA L O G IC A

Esto ij>
en el caso que se escriba 0 bajo 0. Dado que
valor
la siguiente forma:

1.
O sea, se escribe un 0 debajo de -,0 1 debajo de
En forma similar, de acuerdo con las otras tablas de verdad tenemos:
(ii) V(0 A y) = 1 sii V(0) = 1 y V(i//) = 1.
(iii) V(0 V y/) //) = 1.
(iv) V(0 - vO = 0 sii V(0) = l y V(v0 = 0.
(v) V(0 ~ y/) = 1 sii V(0) = V(y/).
y / o.
parafraseada como V(0 V
sii (o = y/o).
los valores de verdad 1 y 0
(iv) como: 1 sii V(0)< V(y/) (dado que mientras que 0<0, 0<1 y 1< 1, no
se da 1 < 0).

V
<t> <t>.Si, por ejemplo, V(p) = 1 y V(q) = 1,

aparecen en 0 pueden tener influencia sobre V(0). De manera que, para apreciar
0 con las valuaciones, es suficiente con trazar lo
que se denomina su tabla de verdad compuesta, en la cual se calculan los valores
<j>
valores de verdad de las letras proposicionales que aparecen en <j>.Para seguir con el

1 2 3 4 5 6
p q -^p ->q -p A -iq a ->q)
Vi 1 i 0 0 0 i
v2 1 0 0 i 0 i
v3 0 i 1 0 0 i
V4 0 0 1 i 1 0

verdad entre p y q. En las columnas 3 y 4 se dan los valores de verdad

 L .T .F . Gamut

calculados a partir de las columnas 3 y 4 empleando la tabla de verdad de la

6 se dan los valores de verdad de

valores de verdad entre p y q, que se calculan a partir de la columna 5 mediante la

Dos letras proposicionales diferentes dan lugar a cuatro filas y en general, podemos
decir que n letras proposicionales dan lugar a 2"
distribuciones diferentes de los dos valores de verdad entre n proposiciones. Cada

restringimos a las letras proposicionales p y q, hay solamente cuatro valuaciones

posibles: las Vi ,V2 ,V3 y V 4

<j>queda totalmente

aparecen en 0. Esto significa que podemos agregar nuevas columnas en (31) a fin de

y q conjuntamente con conectivas. Esto es importante, como veremos a

de las letras proposicionales p o q sea verdadera y falsa si tanto p como q son falsas.

verdad compuesta (32):

1 2 3 4 5 6 7
p q -ip A -iq -n(-,p A -.q) P V q
V, 1 1 0 0 0 1 1
V2 1 0 0 1 0 1 1
V3 0 1 1 0 0 1 1
v4 0 0 1 1 1 0 0
Hemos agregado una nueva columna a la tabla de verdad anterior. En la columna

verdad entre p y q y esto se calcula de acuerdo con la tabla de verdad de la

Vi(-i(-ip A ->q)) = V 1(p V q) = 1;

V2 V q) = 1;
( p V q ) = 1;
V q) = 0.
A ->q)) = V(p V q). Las
A -,q) y p V q son
claramente: se dice que y y/ son

A8
 2 IN TR O DUCC ION A LA LOGIC A

agrega para evitar toda

equivalencia material.

if/)

0 V -10 -.(-.0 A -.1/0 0 V y/

>
J

J
1 1 0 0 0 1 1
1 0 0 1 0 1 1
0 1 1 0 0 1 1
0 0 1 1 1 0 0
En esta tabla de verdad se puede ver con claridad que la equivalencia entre

<j> y 0 son
equivalentes, como se aprecia en (34):
(34) 0
-o.
r

r
r

1 0 1
0 1 0
Esta equivalencia es conocida como la
ejemplo que daremos es la tabla de verdad que demuestra que (0 V w)'JX es
equivalente a V (i// V x) y (0 A y lo es a 0 A (i// A
0 V X 0 Vy (0 v y) V X V V X 0 V iwMx)
i 1 1 1 1 1 1
i 1 0 1 1 1 1
i 0 1 1 1 1 1
i 0 0 1 1 0 1
0 1 1 1 1 1 1
0 1 0 1 1 1 1
0 0 1 0 1 1 1
0 0 0 0 0 0 0

an
 L .T .F . Gamut

0 V X 0 Ay (0 A 1//) A X V' A* 0 A (y/A*)

1 1 1 1 1 1 1
1 1 0 1 0 0 0
1 0 1 0 0 0 0
1 0 0 0 0 0 0
0 1 1 0 0 1 0
0 1 0 0 0 0 0
0 0 1 0 0 0 0
0 0 0 0 0 0 0
asociatividad de A y la

y A x>
x)Kx x
sean todas verdaderas mientras que 0 V y V %
alguna de ellas sea verdadera.
Ejercido 6

deben cumplirse dichas equivalencias, dados los significados de las conectivas. Al

<j>, y/ y x Por oraciones
derivadas del lenguaje natural.

representadas por 0 , y/ y xY
(a) 0, -v-,0, 0 A 0, 0 V A (0 V y/), 0 V (0 A yO

( c ) -,(0 V y/), -i0 A ->i// (ley de D e Morgan)

(d) i(0 a v0> V (ley de D e Morgan)

(e) 0 V V', V' V 0, -.0 - y, i( i0 A -iyO, (0 - y) -

(0 0 A y, y A 0, -i(0 - -ii//), i( '0 V -iv)

Y, -10 V y/,

50
 2 IN TR ODUC C ION A LA L O G IC A

(h) 0 ->0 (ley de

(i) 0 y/, (0 y/)A(y/-> <t>), (0 A v') V (-10 A -.i/O

-10 y, a pesar de que

(k) 0 A (y/ V *), (0 A y/) V (0 A *) (ley distributiva)

(1) 0 V (y/ A *), (0 V y/) A (0 V *) (ley distributiva)

(m) (0 V y/) - *, (0 - *) A ( r - *)

(n) 0 - (y/ A x), (<

t>- VO A(0 - *)

Las equivalencias d e 0 V y / y y / V 0 y d e 0 A y / y y / A 0 que se mencionan en (e) y (f)

del ejercicio 6 , se conocen como la conm utatividad de V y A, respectivamente.

mencionada en (h) como la equivalencia de 0 dada en (g) del

ejercicio 6 se conocen como ley de

x '<
x Esto se
debe a que el valor de verdad de x! depende del valor de y/ del mismo modo en que
el valor de % depende del valor de 0. Por ejemplo, si 0y y/ sonequivalentes,
9 y y/ -+ 9
(0 A y)Ax
A y/ A x) &en lugar de
((0 A y/)Ax)^ 8 y 0- ((0 V/)A(V' ~ x)Mx V y/)) en lugar de

que sabemos que se cumplen. A manera de ejemplo, demostraremos que

0 x) es equivalente a y/ De acuerdo con el ejercicio 6(o),
0 ~Kv/ X) es equivalente a (0 A y/)-* X- De acuerdo con la ley de conmutatividad
de A, 0 A y/ es equivalente a y/ A 0, de manera que (0 A y/)-> Z es equivalente a
(y/ A 0)-> Aplicando el 6
V y Xi obtenemos que (y/ A 0)-> x es equivalente a y/ -*(0 -> ^). Si ahora unimos
todas estas equivalencias, apreciamos que (0 A

Ejercicio 7 o
Sobre la base de las equivalencias del ejercicio 6 , muestre que las siguientes
 L .T .F . Gam ut

(a) <j> *-* y/y i

(b) 0 -.0 y -.0
(c) <
j>A i y A x ) y *A(i //A 0)
(d)0 (0 - i//) y 0 - y
(e) 0 y/ y 0
(f) 0 0 *** y/ y 0 y/

significado. En ese caso decimos que 0 y y/ tienen el mismo

Merece la pena detenerse un momento en la equivalencia de 0 y/

(ejercicio 7e). Lo que esto significa es que A a m enos que B y que A siempre y
cuando no B
(36) significa lo mismo que (37) (=(20)):

playa por la tarde.

la tarde.
A a m enos que
no B y no A a m enos que B A siempre y
cuando B, lo cual significa, entre otras cosas, que (38), (39) y (40) (=(29)) expresan

lavada.

lavada.

sido lavada

:ontexto dado. La equivalencia de (38), (39) y (40) m uestra que las razones no

aturaleza peculiar de oraciones como:

depAqyqAp ** (qAp), es

52
 2 I N T R O D U C C IO N A LA L OGIC A

figuras (41) y (43 );

P ~ -H-^P
1 0 1 1
0 1 0 1

p q pAq q a p (p A q) <- (q A p)
1 1 1 1 1
1 0 0 0 1
0 1 0 0 1
0 0 0 0 1
En
la equivalencia material, a saber, 1. Esto, obviamente, no es una coincidencia.
A q) = V(q A
p), A Ap)) = 1. Ahora, es
posible formular esta idea como un teorema general:
Teorema 1
^ YV = 1.

Prueba. Engeneral, la prueba de un teorema de la forma A sii B se divide en dos

partes: (i) ljpmeba de que si A entonces B y (ii) la prueba de que si B entonces A.
La
primero A j luego se muestra que inevitablemente se sigue B. La
encabezada p0r <=: generalmente se procede suponiendo primero B y luego
mostrando que inevitablemente se sigue A. De esta forma, la prueba de nuestro
primer

Para <j>y en y/,

yp)
V(0 4-* y/)= 1

/). Por
nsigulente, ^ y y

tal que V(0) = 1 para

Que 0 es una
 L .T .F . Gamut

I= 0 <-+ y / sii yy /

ejemplo {{<t> V y/)V*) ** (<t>V(y/ V x))< (<t> las leyes de Morgan,

N siempre que b
<p *-> y/.

forma {{</>V y) -> x) x))

como queda
de manifiesto en la figura (44):
<t> Y Y - <t> 0 - - 0)
1 1 1 1
1 0 1 1
0 1 0 1
0 0 1 1

Ejercicio 8
x)'-
(i) (esto de hecho se sigue de la equivalencia de consigo misma)

(ii) (0 A w) -

(iii) 0 - (0 V y/)
(iv) -.0 (<j>-* y/) {ex falso sequitur quodlibet)
(v) 0 V -4 (ley del tercero excluido)

(vi) (0 x)) - ((0 (0 - *))

(viii) ((0 -> y/) ^ <j>)$ (ley de Peirce)

=1
y V(y/) = 1 siempre, entonces ciertamente tenemos siempre que V(0) = V(y/).
<f>,entonces

denomina

0 1P- * ~iq), que puede considerarse como el esquema del siguiente

 2 INTRODU CCION A LA L O G IC A

p q ->p - q p -q
1 i 0 0 1 1 i
1 0 0 i 0 1 i
0 i i 0 1 0 0
0 0 i i 1 1 i
Es evidente que tt

0 y V(q) = 1

Debemos dejar en claro que a pesar de lo anterior no podemos afirmar si una

-> y/)->(-,0
<j>y de y/. Por ejemplo, si reemplazamos tanto <j>como y/ por

reemplazamos
((pV-ip)->q)-*(-'(pV-ip)-> ->q). Pero si reemplazamos por p y y/ por q, entonces

Ejercido 9

0 y y/ como el ejercicio 8?)

(i) (p - q) - (q - p) (iv) ((p V q) A (-.p - -iq)) - q
(ii) p V (p - q) (v) ((p - q) - p) - ((p - q) - q)
(iii) (-.p V -.q) - -.(p V

contradicciones.

0 A ~4
-0 0 A -i0
(46) 1 0 0
0 1 0
Podemos obtener muchas contradicciones a partir del
Teorema 2
<<
j>

Prueba:

55
 L .T .F . Gamut

y)*-*(y A 0)), ->(0 <t>)Y ^(0 V ->0) son

Teorema 3

no
Todas las contradicciones son equivalentes, al igual que en el caso

denominan
2
con V 2(0) = 0. En otras
0 tiene escrito debajo de ella almenos un
1 y un 0.
p, q, pAq, p-*q, pVq, etc. Debe quedar claro que no todas las contingencias son

Teorema 4
0 es una contingencia sii -,0 es una contingencia.

Prueba: (puede darse una prueba diferente a partir de los teoremas 2 y 3, pero

<j>es una contingencia. Entonces hay un Vi con Vi(0)

= 1 y un V2 con V2(0) = 0. Pero entonces tenemos que V2 1 0 ) = 0, de
donde se desprende que - 10 es contingente,

Ejercicio 10
y %

%>.
(1) 0 A x >
‘ (2) 0 V (3) y A (4) y V (5) 0 V y , (6) x y-
Ejercicio 11
(i) Probar las siguientes afirmaciones generales:
y
y
(b) 0 A y y

no se cumpla.
Si 0 V y o y es

Si 0 y y y es una
0 o y es

ntelectuales tales como la Las valuaciones de

56
 2 INTR OD UCC ION A LA LO G IC A

de) estados del mundo, o situaciones, en tanto puedan expresarse en este

v o c a b u la r io .

posibilidades, como lo muestra la figura (47).

(47)

Ejercicio 12 O
Determine las valuaciones para los siguientes tres estadios sucesivos de un discurso

(1) -.(pA(q-r)); (2) -.(pA(q-r)), (p-*r)-r; (3) -.(pA(q-r)), (p -r)-r, r-(pVq).

2.6 Funciones de verdad

y una
vez fijadas las interpretaciones para 0 y para y/. Sin embargo, es posible interpretar
A y las otras conectivas en forma directa, como funciones de verdad,

fv (l,l) = , fv(l, 0) = , fv(0 ,l) = 1 y fv(0 ,0) = 0 .

f - ( l,l) = f-( 0 ,l) = f-.(0 ,0) = 1 1 ,0) = 0 .
M l , l ) = f~( 0 0.

= f_,(V(0)); y si o es cualquiera de nuestras conectivas binarias, entonces para cada

 L .T .F . Gamut

la inversa, se puede introducir una conectiva que sea interpretada como cualquier

Pero en cierto sentido todo esto es innecesario, dado que ya poseemos

a. fi b. f2 c. f3 d. U

X fi(x) X f2(x) X f 3(x) X f4(x)

1 1 1 1 1 0 1 0
0 1 0 0 0 1 0 0

2 , f3 y U

/ 2-arias es 22". 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

tabla es la misma. Esto se prueba por el siguiente teorema:

Teorema 5
7 n variables

f(V(pi).......

Bosquejo de prueba.

verdad (49):
 2 IN T R O D U C C IO N A LA L O G IC A

proposicionales p, q y r cuya tabla de verdad sea (49). Se supone que 0 tiene el valor
de verdad 1 en tres filas diferentes de la tabla de verdad (tercera, quinta y sexta fila).
02
de verdad 1
sexta fila respectivamente) y exactamente en los mismos lugares donde se supone
que 0 tiene 1. Esto es, 0 1 debe ser verdadera sii p es verdadera, q es falsa y r es

representar a 02 y 03
0 1, 02 y <t>y- 0 = 0iV02V03 =

0 0 , tiene el valor de verdad 1 en la tercera fila de su tabla

de verdad, 0 1 en la tercera fila de su tabla de
verdad; dado que 02 tiene 1 en la quinta fila de su tabla de verdad, 0
1 en la quinta fila de su tabla de verdad; y dado que 02 tiene 1 en la sexta fila de su
tabla de verdad, 0 1 en la sexta fila de su tabla de verdad; mientras
que 0 tiene 0 0 1 , 02 y 03
tienen 0

0 , pero en ese caso podemos

0).D

funcionalm ente
completo cuando puede expresar todas las funciones de verdad. Debido a que el

suficientes para expresar toda posible conectiva veritativo-funcional.

A partir de lo anterior resulta sencillo mostrar que y V conforman un sistema
 L .T .F . Gamut

cualesquiera <
j>y y/, 0 A f
6 %con las conectivas A, V y -i
A y/ por la
V % cuyas
% Y, Por ende, expresa la
x-
Ejercicio 13

(pA-iqAr)V(->pAqA r)V(-.pAqA-tf).
(b) Muestre que -> junto con A forman un conjunto funcionalmente completo de

en su Begriffsschrift.)
(c) La conectiva [ (la daga de Quine) puede defmirse de acuerdo a su tabla de
verdad. Muestre que [
[

0 y/ y/
1 i 0
1 0 0
0 i 0
0 0 1
Ejercicio 14 O

material.
Ejercicio 15 0
conservadora
binaria si su tabla de

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 V
y A se reducen sencillamente a la conmutatividad y a la asociatividad de fv y fA.
Para todos los valores de verdad de x, y, z tenemos: fv(x,y) = fv(y,x) y fA(x,y) =
fA(y,x); fv(x, fv(y,z)) = fv(fv(x,y), z); y fA(x, fA(y,z)) = fA(fA(x,y), z). Estas no son las
 2 IN T R O D U C C IO N A LA L O G IC A

0 y X 0 y/ (0 <- y/) X x 0 (v x)
1 i 1 1 1 1 1
1 i 0 1 0 0 0
1 0 1 0 0 0 0
1 0 0 0 1 1 1
0 i 1 0 0 1 0
0 i 0 0 1 0 1
0 0 1 1 1 0 1
0 0 0 1 0 1 0
***, por medio
de la equivalencia de 9 *** 9' y -i(0 ++ 9') y la de -B 91 y 9 9'
6 *** x
a (0 <-+ y/) 0
*** yr)*** x es
equivalente a Y> finalmente a Parece ahora natural

escribir sencillamente Sin embargo, hay algo con lo cual

se debe ser cuidadoso, nos inclinamos a leer 0 *-+ y/ *-* x como 0 sil y/ y y/sil x (en
y/ ++ x sii V(0) = V(i//) = V(^)) y entonces suponemos que N
0 [// <j>, y y X
y/ *** x como o bien 0, y/ o bien x- Pero en la tabla de

lo anterior es que son> en efecto, equivalentes. Esto

o bien ... o ... o es
esencialmente ternaria y no puede concebirse como dos aplicaciones de una

o ... o
mostrarse que o bien ............. o bien es esencialmente cuaternaria.

2.7 Conectivas coordinantes y subordinantes

coordinantes,

o.
si(..., entonces)
subordinante. A si A que
pueden modificar a otras oraciones B para formar nuevas oraciones si A entonces
B.

61
 L .T .F . Gamut

conectivas subordinantes en un lenguaje proposicional. En este apartado trataremos

de este modo, logramos un mejor acuerdo entre las conjunciones del lenguaje

la componen. Esto supone que debe haber sido especificado el significado de todas
las expresiones no compuestas y que deben haber sido interpretadas las reglas

significado de las expresiones a partir de las cuales ha sido formada. Ahora bien, en

conectivas como expresiones independientes, sino introducirlas

A vO y
jue -i 0 0

62
 2 IN T R O D U C C IO N A LA L O G IC A

es exactamente el mismo: por ejemplo (p A q) se transformaria en (p) A (q) y

A q. Pero si el lenguaje

proposicional.
El vocabulario

(ii)
(iii) Ay
la
(iv)

La sintaxis

(i)
(ii) Si 0) es una
conectiva unaria.
(iii) Si <
t>
(iv) Si < j>y y (y) es una

(51)

conectiva unaria significado

no

*Pq) si (q si p) (entonces)

mediante la conectiva no compuesta

En (52) consignamos algunos ejemplos:

 L .T .F . Gamut

(52)

subordina significado coordinante

(0 x) si p (entonces) q p - q

si p y q (entonces) q (P A q) -* q
si p (entonces) p o q P-(pVq)
no se da que si p(entonces) q

1 (p - q) A (q - p)
(entonces) p

si p (entonces) si q P - (q -* r)
(entonces) r

columna de (52).

deben

y.

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

( 53
I(A ) = f A
I(V ) = f v

64
 2 IN TR ODUCC ION A LA L OG IC A

verdad a las letras proposicionales. De esta manera, hemos proporcionado la

las
(54) Si (y/)) =
m i
Por ejemplo, sobre la base de (54) y (53), I(pAq) = I(A)(I(p), I(q)) = fA(I(p), I(q)).

compuesta depende de las interpretaciones de sus expresiones componentes. Esto

<j>. Esto nos

y/, lo cual no nos deja muchas

sea el valor de verdad del consecuente. Y si el antecedente es verdadero, entonces el

(56) g~(0) = f,
g~(D = fid

(57) f,(0) = f i ( l ) = l

(59) I(~ ) = g~
 L .l.F . G a mu t

Ki x m

I(~p q) = I(~p)(I(q)) - (I(~)(I(p)))(I(q)) = (g~(I(p)))(I(q)).

(i) (a) I(p) = 0

(b) I(->) = f - .;
(c) I(A) = fA;

(d) I(V) = fv;

K IXK0).

K+XIW).
(iv) Si 0 y y
= l(oX iW ),(l(r))-

<->(<t>)(y) son de hecho

forma 0 y,
interpretada de acuerdo con:

(61) I ( - ) = f_

y)- Con esta finalidad

examinamos las cuatro distribuciones posibles de valores de verdad entre 0 y y,
0)(y/) y 0 y

M U ) . = l; y iO-K0XVO) = i o - 0), O W ) = (IO-XIW )) ( K w ) ) = ( g - ( i) X i) =

1(0) = 1 y I(y/) = 0 : entonces 1(0 1 ,0) = 0 ;

66
 2 IN T R O D U C C IO N A LA L O G IC A

0) = fid(0) = 0

0)) (i) = fi( 0) = i.

-* f ) = ... = f_(0,0) = l;y
K-K0X*)) = .. =(g-(0)) (0) =f,(0) = 1
Todo
mediante
muestra que hay al menos otras formas de presentarla. Una ventaja de hacerlo de
este modo

sintaxis
cierto,

en que
las conectivas subordinantes y coordinantes es la siguiente: al no introducir las

sus
manera en que funciona el principio de composicionalidad.
Ejercicio 16

modo
 3

Un lenguaje

predicados
Las afirmaciones simples en que estamos pensando son, en primer lugar,
afirmaciones individuales con una clara estructura sujeto-predicado, como:

(4) Esta tetera gotea.

Cada una de estas oraciones tiene una parte que hace referencia a una propiedad
(ser un hombre, ser mortal, estar cacareando y estar goteando) y otra parte que hace
referencia
de predicados tenemos que siempre se
interpretan en forma tal que hagan referencia a una entidad (esto es, un individuo o
un objeto) y constantes de predicado o letras de predicado que siempre se
interpretan de manera tal que hagan referencia a toda clase de propiedades que las
entidades
individuo y las constantes de predicado son variables 1 .3 ).
Usaremos
a-v (luego
de predicado.
bien formada
predicado a
las
H i p i , M is, Cgi y respectivamente.
Hasta finales del siglo XIX las afirmaciones con estructura sujeto-predicado
fueron

de vista
Lpredicado. Un caso de este tipo lo constituyen las oraciones en las que se dice que