1

LGEBRA PROPOSICIONAL

El presente capitulo se encuentra dividido en dos partes. La prime-
ra plantea un juego para que te habitues al tipo de objetos con los que
se tratara mas adelante. Basicamente el juego esta inspirado en los
llamados circuitos logicos (de ahi la Iorma en que se simbolizan los
distintos elementos); por supuesto que no es un curso de circuitos, ni
un curso de logica, simplemente es lo que es: un juego con intencion
didactica. Si estas interesado en estos circuitos podes bajar de Internet
un demo del programa Digital Works (por ejemplo en:el sitio
http://www.romalo.250x.com/contenido1/programas2.htm ) que per-
mite disearlos, dibujarlos y probarlos.
La segunda parte usa las ideas del juego para construir los elemen-
tos basicos de la logica simbolica; trata de establecer la validez de un
enunciado complejo analizando la validez de sus componentes, algo
como saber que saldra de un circuito conociendo lo que entra.
Los conceptos involucrados en esta unidad son de gran importan-
cia para la carrera que elegiste, y los encontraras una y otra vez a tra-
ves de tus estudios.
Las ideas de ambas partes estan intimamente relacionadas; un
buen consejo es tomarse el juego en serio y entonces la logica te pare-
cera un juego (sera para tanto?).
Adelante y que te diviertas
2
I. Un juego

1. Angeles, demonios y camaras misteriosas
En cierto pais mitologico convivian angeles y demonios. Cansados de dirimir sus peleas en
sangrientas batallas inventaron un juego para establecer quien gobernaria. En un castillo
especialmente construido, ingresarian integrantes de cada bando, cada uno por una puerta
distinta, recorrerian pasadizos siempre en un sentido, hasta que solo uno de ellos apareciera en
la unica salida, y eso determinaria el bando triunIante. Los pasadizos conectaban camaras
misteriosas que operaban distintos encantamientos sobre los que entraban. Eran de tres tipos:

las camaras angelicales, tenian dos entradas y una unica salida. Cada vez que en ella se en-
contraban dos seres, uno desaparecia. Si los que se encontraban eran de distintos bandos, des-
aparecia el demonio y continuaba el angel.




las camaras demoniacas eran identicas a las anteriores, solo que si entraban un angel y un
demonio, desaparecia el angel.





las camaras de la traicion, que tenian una sola entrada y una sola salida, y todo aquel que
ingresaba quedaba convertido en su enemigo. Si era angel salia demonio, y si era demonio sa-
lia angel.





Para que el juego Iuera mas interesante, una regla adicional establecia que los pasadizos que
partian de las puertas de entrada podian tener biIurcaciones, pero cada vez que un ser se encon-
trara con una, debia duplicarse y tomar ambos caminos:





Una vez de acuerdo en las reglas, convocaron a un constructor humano, llamado Rumas, y
le encargaron la construccion del castillo. Lo instruyeron: 'Debes disear un castillo para noso-
tros, v debes hacerlo de forma que el fuego se interesante v fusto. Si descubrimos que lo has
A
A
A
D
D
D
3
hecho favoreciendo a uno de los bandos, tomaremos vengan:a contra ti v todos tus descendien-
tes hasta la decimonovena generacion`.
A Rumas, que ademas de constructor era aIicionado a los juegos de ingenio y a los acertijos,
le entusiasmo el desaIio pero se tambien se tomo en serio la amenaza de las criaturas. Decidio
entonces poner manos a la obra con empeo y tambien con mucho cuidado.

2. Los primeros pasos

Pensando un poco Rumas rapidamente concluyo que un castillo con una unica camara seria
muy aburrido, ademas en alguno de los casos el juego era justo y en otros Iavoreceria a uno de
los bandos.

Problema 1:
Dibuje los planos de todos los castillos con una sola camara y explique las conclusiones de
Rumas.

Con dos camaras y una sola entrada- la cosa era un poco mas interesante. Por probar, Ru-
mas dibujo el siguiente plano:






Con el plano a la vista, Rumas analizo las posibilidades, y descubrio que este castillo Iavo-
recia a los demonios.

Problema 2:
JustiIique la conclusion de Rumas analizando las distintas posibilidades: el que ingresa es
un angel o el que ingresa es un demonio. Como habria que modiIicar el plano para obtener un
castillo en el que el juego Iuera Iavorable a los angeles?

Continuando con su analisis de los castillos con una entrada, Rumas encontro otras conIigu-
raciones que en un principio le parecieron un poco tontas: en todas ellas lo que salia era lo mis-
mo que lo que entraba. Por ejemplo

O tambien, estas dos, que tienen una sola camara.


4
Problema 3:
1. Hay alguna conIiguracion 'tonta con dos camaras que no sea la de arriba? Explique
su respuesta. Si es aIirmativa muestre un ejemplo.
2. Rumas penso: Si conecto dos conIiguraciones tontas obtengo otra del mismo tipo
Estaba en lo cierto?

A esta altura, Rumas supuso que los castillos con una sola entrada no oIrecerian mayores
variantes. En realidad, independientemente de las camaras y pasadizos que contuvieran, podia
agrupar los castillos en cuatro tipos de acuerdo a lo que salia en Iuncion de lo que entraba. Para
comprobarlo, asocio a cada castillo una tabla de dos columnas y dos Iilas. En la primera anotaba
que entraba, y en la casilla contigua anotaba la salida correspondiente. Por supuesto la primera
columna seria la misma para todos los castillos.

Entrada Salida
A
D

Por ejemplo, este es un castillo con su correspondiente tabla:

Entrada Salida
A D
D D
De acuerdo a las posibles salidas entonces, Rumas clasiIico los castillos con una entrada en
cuatro tipos:

Entrada Salida
A A
D D

Entrada Salida
A D
D A

Entrada Salida
A A
D A

Entrada Salida
A D
D D


1
2
3
4
ejemplo:
5
Problema 4:
1. Para cada uno de los tipos anteriores, de dos ejemplos distintos de castillos. Para cada
uno escriba la tabla correspondiente.
2. Esta claro que si se combinan (esto es se conecta la salida de uno con la entrada del
otro) dos castillos del primer tipo, se obtiene un castillo del mismo tipo. Que pasa si se
combinan dos castillos de cualquier tipo? Complete la tabla siguiente (la entrada es por
el castillo de la primer columna y la salida por el de la primar Iila):



tipo 1 2 3 4
1 1 2 3 4
2 2
3 3
4 4
De acuerdo a lo que obtuvo en la tabla, Importa el orden en el que los castillos se combi-
nan?

3. Las cosas se complican

Concluido su estudio de los castillos con una sola entrada, Rumas considero oportuno to-
marse unos mates. Hizo bien, puesto que cuando empezo a ver que pasaba con dos entradas,
noto que las posibilidades se incrementaban notablemente. Algunos ejemplos:

Recordando el trabajo que le encomendaran, nuestro amigo entendio que debia encontrar
una manera de conocer que ser apareceria por la salida de un castillo dado, y que esa salida es-
taba determinada por las criaturas que entraban. Por ejemplo, con dos entradas el esquema era el
siguiente:




En un castillo particular, por lo tanto, la salida S estaria determinada por las entradas X e Y,
variables estas que podian ser, cada una independientemente de la otra, un angel o un demonio.
El comportamiento de estos castillos podria estar descrito en una tabla, ahora de tres columnas y
cuatro Iilas:



Entrada Salida
X Y S
A A
A D
D A
D D
CASTLLO
X
Y
S
6
El siguiente es un efemplo de un castillo v su correspondiente tabla.










Ahora, se dijo Rumas, tengo una Iorma de describir el comportamiento de un castillo por
medio de una tabla. Y no solo para dos entradas sino para cualquier numero de ellas: cada en-
trada adicional agregara una columna, y al agregar una columna el numero de posibilidades de
entrada se multiplicara por dos! A esta altura, Rumas se sentia poco menos que un genio. Con
esa agradable sensacion Rumas se Iue a dormir. Soo con los angelitos.y con los demonitos.

Problema 5
1. Dibuje el plano de un castillo cuya tabla sea la siguiente:

Entrada Salida
X Y S
A A A
A D D
D A D
D D D


2. Complete la tabla asociada al siguiente castillo de tres entradas:


X
Y Z
S
A A A
A A D
A D A
A D D
D A A
D A D
D D A
D D D







Entrada Salida
X Y S
A A D
A D A
D A A
D D D
X

Y

Z

S
S
7
4. Rumas aprende a escribir un castillo en una lnea.

Cuando desperto, Rumas recordo haber soado con el Problema 5, parte 2. En su sueo
habia completado una tabla de ocho Iilas, y sus ojos estaban doloridos por haber perseguido
criaturas por los malditos pasadizos. Enseguida se dio cuenta: cuando quisiera analizar un casti-
llo con cuatro entradas, su tabla tendria 16 Iilas, y habria 32 Iilas para uno de cinco entra-
das.Esto sin mencionar lo tedioso de dibujar sus planos. Dicen que la necesidad es la madre de
la inspiracion, sobre todo si uno quiere evitar la transpiracion.
Aqui, nuestro amigo penso lo siguiente: una criatura llamemosla X- dentro del castillo esta
en alguna de estas situaciones:
Se encuentra en un pasadizo, lo cual no cambia su caracterstica. Los pasillos en este sen-
tido son neutros.
Pasa por una cmara de la traicin y se transforma en su opuesto. Llamar X al opuesto
de X. Si lo dibujo:


X
X
A D
D A



Se encuentra con otra criatura llammosla Y- en una cmara angelical; de acuerdo a las
reglas sale de la cmara otra criatura cuyo bando est determinado por los de X e Y. Lla-
mar X Y a esa criatura. Dibujo y tabla:

Entrada Salida
X Y X Y
A A A
A D A
D A A
D D D

La ltima posibilidad es similar a la anterior X e Y coinciden en una cmara demonaca. Al
resultado de ese encuentro lo llamar X Y .

Entrada Salida
X Y X Y
A A A
A D D
D A D
D D D

Un castillo en general es una sucesion de estas operaciones, siempre eIectuadas sobre una
criatura ( la traicion) o sobre dos las otras camaras- Podremos describirlo usando variables
(letras) X, Y, Z, W, T, etc. una por cada entrada, e indicando el resultado de cada modiIicacion
hecha por una camara como arriba.
X
X
X

Y
X Y
X Y
X Y
X Y
X

Y
8
Por ejemplo, el castillo:







hace lo siguiente:

entran X e Y a la camara 1: sale X Y .
entran Y y Z a la 2: sale Y Z .
entran X Y a la camara 3: sale el opuesto X Y
entran X Y e Y Z a la camara cuatro: sale
( ) ( ) X Y Y Z
Nuestro castillo, queda por lo tanto, descripto por la expresion:
( )
( ) X Y Y Z

Evaluar la expresion anterior signiIica asignarle a cada variable (X; Y ;Z) un valor particular (A
o D ) y encontrar el resultado segun las reglas. Por ejemplo si hacemos:

X A Y D Z D tenemos: ( ) ( ) A D D D D D A D A = = =


A Rumas ahora, le quedaba en claro lo siguiente: para disear un castillo bastaba con Iabri-
car una expresion como la de arriba. La cantidad de variables (letras) distintas se corresponderia
con la cantidad de entradas. Las variables se conectarian por medio de las operaciones siguien-
tes para construir expresiones sencillas:

NEGACN: X X

CONJUNCN: X,Y X Y

DSYUNCN: X,Y X Y

a su vez, estas expresiones volverian a conectarse entre si para obtener diseos mas compli-
cados. El comportamiento del castillo se estudiaria evaluando la expresion para distintos valores
asignados a las variables.




5. Rumas se libera
Con todos sus avances, Rumas retorno al problema de presentar un castillo suIicientemente
interesante como para salvarse de la maldicion. Recordo un diseo anterior y su tabla:



X

Y

Z

S
9
Entrada Salida
X Y S
A A D
A D A
D A A
D D D

La expresion asociada de este castillo es:

( ) ( )
X Y Y X

Por su tabla, Rumas comprobo que solo sale un angel si exactamente uno de los que ingresan lo
es. Que sucederia si la salida de este castillo se usara como entrada de otro igual? Veamos: el
castillo luciria como sigue:











su expresion asociada sera:
( ) ( ) ( ) ( ) ( )
X Y Y X Z X Y Y X Z








A pesar de lo complicado que parecia, Rumas lo entendio rapidamente:

La salida del primer castillo era un angel unicamente si entraba exactamente un angel.

La salida del segundo castillo era un angel unicamente si Z era un angel y la salida del pri-
mer castillo era un demonio, o bien Z era un demonio y la salida del primer castillo era un
angel. Las posibilidades eran dos: salia un angel unicamente si habia entrado exactamente
un angel o si habian entrado tres angeles.


Agregando otro modulo, y por lo tanto otra entrada, saldria un angel unicamente si la canti-
dad de angeles ingresados (por las cuatro entradas) era: 1 o 3.

Para cinco modulos consecutivos, la salida de un angel, estaba determinada por el ingreso
de un numero impar (1, 3, 5) de angeles, y asi siguiendo.

Para sintetizar su descubrimiento, Rumas creo un simbolo para su modulo basico:

X
Y
Z
( ) ( )
X Y Y X
10
A la Iormula ( ) ( )
X Y Y X
la resumio con el simbolo X Y . Con estos nuevos simbo-
los Rumas diseo un castillo con cinco entradas:









Su Iormula,simplemente era: X Y Z W T , y la salida era angel cuando entraba un nu-
mero impar de angeles o un demonio cuando entraba un numero par de angeles.
Rumas se cuido muy bien de mostrar a las criaturas sus descubrimientos. Simplemente les envio
el siguiente mensaje:
























Ejercicio 7:
1. Piense un diseo del modulo basico de Rumas que involucre solo cuatro camaras.

2. Disee un castillo con dos entradas y cuatro camaras
cuya tabla sea la siguiente:
Entrada Salida
X Y S
A A A
A D D
D A D
D D A

3. Disee un castillo con tres entradas del cual salga un angel cuando entra un numero par de
angeles y un demonio en otro caso.

Mis Seores:
Era vo un pacifico mortal dedicado a su trabafo v su familia, cuando
Juestras Seorias me convocaron para una tarea que estaba mas alla
de mis pocas luces, amena:andome con sinnumeras desgracias en el
caso de no cumplirla.
Durante interminables dias v noches me esforce hasta el agotamiento
sin obtener un resultado que estuviera a la altura de la inteligencia de
Juestras Seorias.
Estaba este servidor a punto de desfallecer, cuando Aquel que Todo lo
Sabe me ilumino con el siguiente mensafe, que aun no comprendo, v
me encomendo que lo comunicara a Juestras Seorias asegurandome
que estarian asi complacidas v me liberarian de esta carga insoporta-
ble.
" .ingresarn las criaturas en nmero de cinco, todas ellas engendrarn un
traidor. Un nico ngel vencer, un solo demonio tambin lo har. Dos ngeles
perdern y dos demonios sern vencidos. 1res ngeles ganarn y tres demonios
tambin lo harn.Las cmaras sern veinte, pero un nico ngel transitar por
todas ellas. Yo he visto ese castillo en los sueos de Rumas."
11
II. lgebra de proposiciones

1. Lo verdadero y lo falso
Lo que entraba a los castillos imaginarios de nuestro juego, solo podria ser un angel o un
demonio; de la misma manera las entradas de los circuitos logicos que son la celulas basicas de
un procesador electronico- solo pueden tomar dos valores, en general simbolizados con los digi-
tos 0 y 1, y la salida o salidas- es tambien uno de esos valores, determinado por la combinacion
de 'compuertas logicas (las camaras de nuestros castillos) que integran el circuito.
El algebra proposicional, que trata de determinar el valor de verdad de una combinacion de
enunciados se basa en reglas analogas. Veamos que es esto. En primer lugar, diremos que un
enunciado una oracion- es una proposicion si es posible asignarle uno solo de los siguientes
valores de verdad: verdadero (V) o Ialso (F).
Antes de dar ejemplos de proposiciones, aclaremos que la mayor parte de las veces los
enunciados adquieren el caracter de proposicion en un contexto determinado; esto es un enun-
ciado puede ser una proposicion en un sistema determinado, y no serlo en otro. Para ser mas
claro: la oracion 'Maria va al teatro no es una proposicion, a menos que yo sepa a que Maria
(de los millones que existen) se reIiere, y si 'va al teatro quiere decir que va habitualmente al
teatro o que lo hace de vez en cuando o que esta yendo al teatro en este instante determinado.
Por otra parte si Maria es mi hermana, y en este momento esta saliendo, la aIirmacion 'Maria va
al teatro es una proposicion, puesto que claramente es verdadera o Ialsa. Entonces, cuando
digamos que cierto enunciado es una proposicion tendremos en claro que lo es en un determina-
do contexto, en el cual es sin lugar a dudas verdadera o Ialsa.
Ejemplo:
Las siguientes son proposiciones:
Hoy es lunes
Llueve
234
235
A D A = (Ejemplo suministrado por Rumas)
A D D = (idem)

No es necesario conocer si una aIirmacion es verdadera o Ialsa (es decir, su valor de verdad)
para saber que es una proposicion. Por ejemplo: 'Hay vida extraterrestre es una proposicion,
independientemente de que algunos crean que es verdadera y otros que es Ialsa, puesto que cla-
ramente o bien existe vida extraterrestre o bien no existe.
Nuestro sencillo estudio de las proposiciones no tratara de establecer el valor de verdad de
una proposicion dada, lo que muchas veces es tarea de los cientiIicos ('el universo se origino en
la gran explosion), los IilosoIos ('pienso, por lo tanto existo), los jueces, o las novias y novios
('te quiero.).
Lo que haremos es analizar el valor de verdad de proposiciones complejas, construidas con
ciertas reglas a partir de proposiciones mas simples, conociendo el valor de verdad de estas ul-
timas. Algo similar a lo que hacia Rumas cuando averiguaba que criatura saldria del castillo,
conociendo quienes entraban y las camaras que atravesaban.
12
2. Conectivos lgicos

Es conveniente para avanzar, designar a las proposiciones con letras: p, q, r, s, etc. Entonces
cuando digamos 'p es una proposicion, estaremos diciendo que p es cualquier enunciado que
tiene un valor de verdad.
Hay varias maneras de construir nuevas proposiciones a partir de una o varias proposiciones
dadas. La primera y mas sencilla Iorma de conseguir una nueva proposicion a partir de una pro-
posicion dada, es negandola. La negacion de una proposicion p la indicaremos con p (se lee
'no pe). Como buena proposicion debe tener un valor de verdad, y como la hemos construido a
partir de p, su valor de verdad dependera de el de esta ultima. Por supuesto, si p es verdadera p
sera Ialsa y viceversa. Se puede resumir esto en un tabla, llamada tabla de verdad de la nega-
cion.
p p
V F
F V
Ejemplos:
La negacion de la proposicion '22 es igual a 4 es la proposicion '22 no es igual a 4.
La negacion de la proposicion 'no hay vida extraterrestre es la proposicion 'hay vida extra-
terrestre.

Ejercicios:
1. Construya la negacion de las siguientes proposiciones:
p: Entro un numero par de angeles
q: Ingresaron todos los aspirantes
r: No hay mas agua
s: El triangulo no es equilatero

2. Cuando p es una proposicion p tambien es una proposicion; por lo tanto podemos ne-
garla, para obtener una nueva. La doble negacion entonces se indicara p . Complete la
tabla de verdad de la proposicion p :
p p
p
V F
F V
Que puede decir de los valores de verdad de las proposiciones p y p ?
13

Ahora, si tenemos dos proposiciones p y q podemos Iormar a partir de ellas dos nuevas pro-
posiciones:
La confuncion de p y q que designamos con el simbolo p q (se lee 'pe y cu)
La disvuncion de p y q que designamos con el simbolo p q (se lee 'pe o cu)
Las tablas de verdad de la conjuncion y la disyuncion son las siguientes (note que el valor
de verdad de esas proposiciones depende ahora de los valores de verdad de las dos proposicio-
nes p y q ):

CONJUNCN

DSYUNCN
p q
p q

p q
p q
V V V

V V V
V F F

V F V
F V F

F V V
F F F

F F F

Asi, la conjuncion es verdadera unicamente cuando ambas proposiciones lo son, y la dis-
yuncion es Ialsa unicamente cuando ambas proposiciones lo son.
Por supuesto que varias proposiciones pueden combinarse por las operaciones de negacion,
conjuncion y disyuncion para Iormar una nueva proposicion (tal como Rumas construia sus
castillos uniendo diIerentes camaras). El valor de verdad de la proposicion asi construida estara
determinado por los valores de verdad de las proposiciones originales. Cuando usamos letras
p,q,r,s...- para simbolizar proposiciones cualesquiera y armamos una proposicion usando las
operaciones anteriores, a la expresion que obtenemos la llamaremos formula proposicional en
las variables p,q,r,s.... Por ejemplo si p,q,r y s son proposiciones, las siguientes son Iormulas
proposicionales:
( ) p q r
r s
p q
Notese el uso de parentesis en el primer ejemplo, que indica el orden en el que las proposi-
ciones Iueron combinadas.
Evaluar una Iormula proposicional signiIica encontrar su valor de verdad, dados los valores
de verdad de las variables que incluye.
Ejemplo:
Consideremos las proposiciones:
p: Rumas entendio el encargo de las criaturas
q. Las criaturas deseaban un juego interesante
r: No era posible construir ese castillo
14
La proposicion:
'Rumas entendio el encargo de las criaturas y era posible construir ese castillo. O bien
las criaturas no deseaban un juego interesante
puede simbolizarse mediante la Iormula proposicional:
( ) p r q
Si evaluamos la Iormula para los valores de verdad p V, q V y r F, obtendremos:
( ) ( ) ( ) p r q J F J J J F J F J = = =
(usamos la Ilechita para indicar la evaluacion).
Para esos valores de verdad, la Iormula proposicional entonces tiene el valor de verdad ver-
dadero.
Una Iormula proposicional, tal como los castillos de Rumas, tiene asociada una tabla de
verdad en la cual se detallan sus valores de verdad para todas las posibles combinaciones de los
valores de las variables que la componen. Para la Iormula anterior, la tabla de verdad asociada
tiene ocho Iilas. La cantidad de columnas es variable...si se quiere construir la tabla paso a paso
habra una columna por cada variable (en este caso tres) y una por cada operacion eIectuada (en
este caso cuatro: dos negaciones, una conjuncion y una disyuncion): en total siete. Veamos:


















Estrictamente hablando, la tabla de verdad de la Iormula proposicional es la tabla de arriba
sin la zona gris (a la que hemos usado como auxiliar para construirla):
















p q r
r
p r q ( ) p r q
V V V F F F F
V V F V V F V
V F V F F V V
V F F V V V V
F V V F F F F
V V F V V F V
F F V F F V V
F F F V F V V
p q r ( ) p r q
V V V F
V V F V
V F V V
V F F V
F V V F
V V F V
F F V V
F F F V
15


Ejercicios:

1. Evalue las Iormulas proposicionales siguientes con los valores de verdad:
p F q J r F
p q
p q
p q
( ) p q r
( ) ( )
p q p r

2. Escriba la tabla de verdad de cada una de las Iormulas anteriores.
3. Equivalencia lgica

En su estudio, Rumas habia notado que distintos castillos podian tener el mismo comporta-
miento. Esto es, dada la misma conIiguracion de entrada se obtenia la misma salida en ambos. A
los eIectos del juego, ambos castillos eran esencialmente iguales. Por ejemplo: los castillos A y
B tienen el mismo comportamiento:


(Compruebelo haciendo las tablas asociadas a cada uno de ellos)

De la misma Iorma, dos Iormulas proposicionales (compuestas por las mismas variables)
pueden tener los mismos valores de verdad para cada seleccion de valores de verdad de las va-
riables. Dicho de otra manera, las tablas de verdad de ambas Iormulas son identicas.

Ejemplo:
Los castillos A y B sugieren las Iormulas proposicionales siguientes con dos variables, di-
gamos p y q:
A : p q
B : p q
Sus tablas de verdad son:

16

Dos Iormulas proposicionales cuyos valores de verdad son los mismos (para los mismos va-
lores de verdad de sus variables) se dicen logicamente equivalentes. Si F y G son dos Iormulas
proposicionales logicamente equivalentes escribiremos FG.
Las tablas de arriba muestran que tenemos:
p q p q
Como todos los valores de verdad posibles para las Iormulas F y G Iorman sus tablas de
verdad, la manera de verificar la equivalencia FC, es construyendo las tablas de verdad
de F y C y comprobando que son iguales.

Ejercicios.

1. Mediante las tablas de verdad correspondientes, muestre que la siguiente es una equivalen-
cia logica :
p q p q
2. Hemos tomado a la negacion, a la conjuncion, y a la disyuncion como las operaciones basi-
cas para construir nuevas proposiciones a partir de proposiciones dadas. Las siguientes
equivalencias logicas muestran que es posible comenzar con la negacion y una de las otras
dos operaciones, y la restante puede ser deIinida a partir de ellas:
p q p q
p q p q
a. Muestre la validez de las equivalencias logicas anteriores.
b. Usando la analogia con los castillos y las camaras dibuje los pares de castillos sugeridos
por las equivalencias anteriores.

3. Suponga que F y G son dos Iormulas proposicionales y que se tiene que F G . Muestre
que entonces sus negaciones tambien son logicamente equivalentes, esto es: F G
4. Si aplica lo anterior a las equivalencias logicas del ejercicio 2, obtendra dos nuevas equiva-
lencias, conocidas como Leyes de De Morgan:
p q p q
p q p q



5. Considere las siguientes proposiciones:

p. Rumas oculto sus descubrimientos
p q
p q
p q
V V V F
V F V F
F V V F
F F F V
p q p q p q
V V F F F
V F F V F
F V V F F
F F V V V
17
q. Las criaturas se sorprendieron
Las proposiciones siguientes, son logicamente equivalentes?
No es verdad que Rumas haya ocultado sus descubrimientos y que las criaturas se hayan
sorprendido
O bien Rumas no oculto sus descubrimientos, o bien las criaturas no se sorprendieron
Simbolice las proposiciones anteriores, y decida si son logicamente equivalentes.
4. Proposiciones condicionales

La negacion, la conjuncion y la disyuncion que son las operaciones basicas que usamos pa-
ra 'Iabricar nuevas proposiciones a partir de unas proposiciones dadas, se denominan generi-
camente conectivos logicos. Si bien nuestra deIinicion en ningun caso hizo reIerencia al signiIi-
cado de las palabras 'no, 'y, 'o en el lenguaje comun, es claro que existe un cierto parentes-
co entre el uso Iormal de esos conectivos y su correlato en el lenguaje comun o coloquial.
Esto es evidente en el caso de la negacion: 'Maria va al teatro y 'Maria no va al teatro son
proposiciones opuestas tanto Iormalmente como coloquialmente.
Para la conjuncion sucede otro tanto: coloquialmente para que sea verdadero que 'Llueve y
truena todo el mundo entiende que deben se verdaderos a la vez 'Llueve y 'Truena.
Para la disyuncion se pone un poco mas conIuso, puesto que coloquialmente algunas veces
se considera Ialsa la proposicion: 'llueve o truena si llueve y truena al mismo tiempo. Esto es,
coloquialmente se hace uso algunas veces de una Iorma excluyente del 'o que es diIerente a la
que hemos adoptado en nuestro enIoque Iormal.
Todo lo anterior viene a cuento de la deIinicion de un nuevo conectivo logico, cuyo correla-
to en el lenguaje coloquial tambien es conIuso. Si p y q son dos proposiciones, deIiniremos el
condicional de p a q tambien llamado la implicacion de p a q- a la proposicion simbolizada
con p q (se lee 'pe implica cu) y cuya tabla de verdad es la siguiente:


p q
p q
V V V
V F F
F V V
F F V


En la proposicion condicional p q a p se lo llama antecedente y a q se lo llama conse-
cuente.
La tabla nos dice que la implicacion de p a q es Ialsa unicamente en el caso de que el ante-
cedente p sea verdadero y que el consecuente q sea Ialso. En todos los demas casos la implica-
cion es verdadera.
Otra Iorma, tal vez la mas usual, de leer p q es: ' Si p entonces q .
18
Ejemplo:
El condicional de p a q Iormado por las proposiciones:
p. Las criaturas se sorprendieron
q. Rumas oculto sus descubrimientos
es la proposicion :
p q : 'Si las criaturas se sorprendieron entonces Rumas oculto sus descubrimientos.
Para los valores de verdad p V y q V resulta p q V

La conIusion mas usual acerca de la implicacion proviene de pensar a la primera proposi-
cion como la causa de la segunda. No es ese el caso, ya que p y q pueden no tener nada que
ver y proposiciones tales como: ' Si 224 entonces hay vida en Marte son diparatadas pero
perIectamente admisibles Iormalmente. El valor de verdad de la proposicion anterior estara
determinado por el valor de verdad de la segunda parte (hay vida en Marte), puesto que la pri-
mera parte es siempre verdadera.
En nuestro enIoque de las cosas, interesara principalmente el aspecto Iormal: la proposicion
condicional p q siempre podra construirse a partir de las proposiciones p y q y su valor de
verdad estara determinado por el de estas ultimas, de acuerdo a la tabla de arriba.
En el parraIo que sigue describiremos dos usos emparentados con el aspecto Iormal- de las
Iormas condicionales que seran habituales en otras materias de la Facultad.
El primero es en el contexto de las Matematicas. En eIecto, los enunciados de casi todos
los teoremas son una Iorma condicional. En este contexto, el antecedente de la proposi-
cion se conoce como la hipotesis del teorema, y el consecuente como la tesis o conclu-
sion. Por ejemplo:
Teorema de Pitagoras: En un triangulo rectangulo la suma de los cuadrados de las lon-
gitudes de los catetos es igual al cuadrado de la longitud de la hipotenusa.
Hipotesis: El triangulo es rectangulo
Tesis: la suma de los cuadrados de las longitudes de los catetos es igual al cuadrado de
la longitud de la hipotenusa.
Demostrar el teorema signiIica establecer la validez de la proposicion condicional que
constituye su enunciado.

El segundo caso es cuando se usa una proposicion condicional como control de un pro-
ceso. En este contexto, una Iorma 'Si p entonces q incluye una condicion p y una ac-
cion q, y el condicional dice que cuando se cumpla la condicion p debe ejecutarse la
accion q. Por ejemplo:
Si hay luz roja entonces detengase.
Si la temperatura del Iluido supera los 50C entonces abra la valvula de la izquierda.

Este uso de la Iorma condicional es comun en todos los lenguajes de programacion.

Dijimos que la proposicion condicional p q podia leerse: 'Si p entonces q. Otras
Iormas usuales de leer a esa proposicion son: 'q es una condicin necesaria para p y tam-
bien 'p es una condicin suficiente para q. Esta Iorma de leer a la implicacion es habitual en
Matematicas.

19
Ejemplo:
Para las proposiciones:
p : El entero x es multiplo de 4
q: El entero x es par
la proposicion condicional p q puede enunciarse de cualquiera de las siguientes Iormas
Si el entero x es multiplo de 4, entonces es par
Que el entero x sea multiplo de 4 es suficiente para que sea par
Que el entero x sea par es necesario para que sea multiplo de 4.

La implicacion de p a q no es un conectivo esencialmente nuevo, si observamos su tabla de
verdad, notamos que es identica a la de la proposicion p q
















O sea, tenemos la equivalencia logica:
p q p q
Esto nos permite 'dibujar la implicacion como el circuito:



Para Rumas, este es un castillo del que sale un demonio unicamente en el caso de que entre
un angel por la puerta de arriba y un demonio por la puerta de abajo.

Ejercicios:
1. Si p es verdadera, q es Ialsa y r es verdadera, determine el valor de verdad de cada una
de las siguientes proposiciones:
( ) p q r
( ) p q r
( ) p q r
( ) p q r
p q p p q
V V F V
V F F F
F V V V
F F V V
20
2. Exprese las aIirmaciones dadas en Iorma simbolica, siendo:
p: 4 2
q: 7 10
r: 6 6
Si 4 2, entonces 7 10
Si (42 y 66), entonces 710
Si no es cierto que (66 y 7 no es menor que 10), entonces 66
Que 710 es necesario para que (66 y 42)

3. La contrapositiva de la proposicion condicional p q es la proposicion q p . Muestre la
equivalencia logica:
p q q p
4. La reciproca de la proposicion condicional p q es la proposicion q p . Son una pro-
posicion condicional y su eciproca logicamente equivalentes?

5. Bicondicional

Dadas dos proposiciones p y q se denomina proposicion bicondicional de p y q a la proposi-
cion que simbolizamos con p q (se lee 'pe si y solo si cu) y cuya tabla de verdad es la
siguiente:



Observando la tabla notamos que el bicondicional distingue si ambas proposiciones tienen
el mismo valor de verdad, o valores de verdad distintos.
Tal como el simbolo lo sugiere, se tiene la siguiente equivalencia logica:
( ) ( ) p q p q q p
En eIecto, la tabla de verdad de la proposicion de la izquierda es:




p q
V V V
V F F
F V F
F F V
21

p q q p
( ) ( ) p q q p
V V V V V
V F F F F
F V V F F
F F V V V


que es identica a la tabla del bicondicional.

Ejercicios:
1. Dibuje un circuito que represente a la Iorma bicondicional.
2. Suponga que tiene dos Iormas equivalentes, digamos F G Que se puede decir del bi-
condicional F G ? De tres ejemplos que ilustren su respuesta.
6. Tautologas

Asi como Rumas encontro castillos de los que siempre sale un angel sin importar lo que en-
tra (dibuje un ejemplo), hay Iormas proposicionales que siempre tienen el valor de verdad V.
Tales Iormas se conocen como tautologias. Algunas tautologias sencillas son:
p p
p p

Una Iorma general de conseguir tautologias es la siguiente: si F y G son Iormas proposi-
cionales equivalentes, entonces ambas contienen a las mismas variables y tienen los mismos
valores de verdad para cualquier evaluacion (esto es para cualquier asignacion de valores de
verdad a las variables) que hagamos. Esto es, si F y G son logicamente equivalentes, entonces
F es verdadera cuando G lo es, y es Ialsa cuando G lo es. Esto nos dice que la Iorma proposi-
cional bicondicional F G es siempre verdadera, o sea es una tautologia. Resumiendo:
Si entonces F G F G es una tautologia
Ejemplos:
Las siguientes Iormulas bicondicionales son tautologias, puesto que las Iormulas en ambos
lados de cada bicondicional son equivalentes logicamente.

( )
( )
p q p q

( )
p q p q

( )
p q p q
Ejercicios:
1. Compruebe que las Iormulas proposicionales anteriores son tautologias. Hagalo a mano
o recurra a lo visto en equivalencia logica.
22
2. Muestre que si la Iormula proposicional F es una tautologia y G es logicamente equivalen-
te a F entonces G tambien es una tautologia.
3. Diga por que todas las tautologias son logicamente equivalentes entre si.
4. Una Iormula proposicional G se dice una contradiccion si su valor de verdad es siempre F
(Ialso).
a) Muestre que si G es una tautologia entonces G es una contradiccion.
b) De tres ejemplos de contradicciones. Lo ayudo con uno: p p
c) Haga las tablas de verdad de los ejemplos del punto anterior.
5. Como deben estar relacionados los valores de verdad de dos Iormulas F y G para que la
Iorma condicional F G sea una tautologia?

7. Razonamientos

El interes de las tautologias proviene del hecho de que son Iormas proposicionales cuyo va-
lor de verdad es V independientemente de las proposiciones que la integran y de los valores de
verdad de estas ultimas. Las tautologias entonces son verdaderas por su forma y no por su con-
tenido.
Esta particularidad las hace utiles para analizar razonamientos o argumentos. En un razona-
miento, alguien enuncia una serie de proposiciones que toma como base de su argumentacion y
deduce una conclusion a partir de ellas. Un ra:onamiento puede pensarse como una Iorma pro-
posicional condicional, en la cual el antecedente son las proposiciones, llamadas premisas, que
Iorman la base de la argumentacion (mas precisamente, la conjuncion de esas proposiciones
basicas) y cuyo consecuente es la conclusion. Esquematicamente:











Ejemplo:
Un ejemplo de razonamiento es el siguiente:
'Si Rumas consiguio conIundir a las criaturas, entonces evito su maldicion. Rumas
consiguio conIundir a las criaturas. Por lo tanto, evito su maldicion.
Si llamamos
p. Rumas consiguio conIundir a las criaturas
q. Rumas evito su maldicion.
consecuente antecedente

( )
p q r c

forma condicionaI
premisas concIusin
razonamiento
23
entonces podemos simbolizar el razonamiento anterior mediante la expresion:



Las premisas son:
p q : 'Si Rumas consiguio conIundir a las criaturas, entonces evito su maldicion
p: 'Rumas consiguio conIundir a las criaturas.
Y la conclusion es
q: 'Rumas evito su maldicion
Observemos dos cosas: en primer lugar el razonamiento anterior nos parece correcto.
Segundo: la Iorma proposicional que lo representa es una tautologia. Veamos:
( )
( ) p q p q




Que nos dice esto? Que nuestro razonamiento es verdadero, independientemente de las
proposiciones que hayamos usado; en particular, si todas las premisas son verdaderas
podemos estar seguros de que la conclusin tambin lo ser, puesto que una Iorma
condicional nuestro razonamiento-, con antecedente verdadero las premisas- y consecuente
Ialso resultaria Ialsa.

Una Iorma de razonamiento general, esto es una Iorma proposicional del tipo:

( )
1 2
...
k
p p p c

se dice valida si es una tautologia.
Ejemplo:
El razonamiento:
'Si ustedes me votan y Dios me ayuda, estare obligado a gobernar bien. Dios no me ayuda.
Por lo tanto, no estare obligado a gobernar bien. es evidentemente sospechoso. Analicemoslo.
Tiene la Iorma:
( ) v d g d g




donde
p q ( )
( ) p q p q

V V ( ) ( ) ( ) J J J J J J J J J = = = V
V F ( ) ( ) ( ) J F J F F J J F J = = = V
F V ( ) ( ) ( ) F J F J J F J F J = = = V
F F ( ) ( ) ( ) F F F F J F F F F = = = V
( )
( ) p q p q

24
v. Ustedes me votan
d: Dios me ayuda
g: Estare obligado a gobernar bien
para los siguientes valores de verdad, por ejemplo:
v V
d F
g V
tendremos:
( ) ( )
[ ]
( ) ( )
( ) ( )
v d g d g J F J J F
F J J F J J F J F F

=


= = = =

Con lo cual vemos que la Iorma de nuestro razonamiento no es una tautologia, y por lo tanto
la validez de las premisas no necesariamente garantiza la verdad de la conclusion. Lo sospeche
desde un principio.
Una Iorma de razonamiento que no es una tautologia se dice forma invalida o falacia.
Resumiendo:
Un razonamiento es una Iormula condicional ( )
1 2
...
k
p p p c
Las proposiciones , ,...,
k
p p p
1 2
son las premisas del razonamiento
La proposicion c es la conclusin del razonamiento
El razonamiento es una forma vlida si
( )
1 2
...
k
p p p c es una tautologia.
El razonamiento es una forma invlida o falacia si ( )
1 2
...
k
p p p c no es una
tautologia.

Es usual escribir un razonamiento verticalmente. Las premisas y la conclusion se escriben en
una columna, y se separa a la ultima de las primeras con una linea. Concretamente, la Iorma
( )
1 2
...
k
p p p c se escribe:
k
p
p
p
c

1
2



Observacin:
Para mostrar que una Iorma de razonamiento es valida hay que demostrar que su Iormula
condicional es una tautologia, lo que en principio debe hacerse construyendo la tabla de verdad
correspondiente. Esto es Iacil y mecanico pero puede ser interminablemente largo! En eIecto,
notemos que las premisas no necesariamente deben ser proposiciones simples, sino que pueden
a su vez contener conectivos; el numero de variables puede ser bastante grande, y sabemos que
cada variable duplica el numero de Iilas y cada conectivo agrega una columna. Veamos un
ejemplo.
Ejemplo:
Si Rumas evito la maldicion entonces, o bien engao a las criaturas o bien construyo el castillo.
25
Si Rumas engao a las criaturas, entonces no construyo el castillo
Por lo tanto: si Rumas evito la maldicion, entonces engao a las criaturas.

Para ver la Iorma llamamos:
p: Rumas evito la maldicion
r: Engao a las criaturas
q: Construyo el castillo

La Iorma de este razonamiento es:

( ) p r q
r q
p r

La tabla asociada tiene 8 Iilas y 8 columnas:


RAZONAMENTO
proposiciones bsicas auxiliares
premisas conclusin

q r
q ( )

VERDADERO VERDADERO VERDADERO VERDADERO FALSO VERDADERO FALSO VERDADERO
VERDADERO VERDADERO FALSO VERDADERO FALSO VERDADERO VERDADERO FALSO
VERDADERO FALSO VERDADERO VERDADERO VERDADERO VERDADERO VERDADERO VERDADERO
VERDADERO FALSO FALSO FALSO VERDADERO FALSO VERDADERO FALSO
FALSO VERDADERO VERDADERO VERDADERO FALSO VERDADERO FALSO VERDADERO
FALSO VERDADERO FALSO VERDADERO FALSO VERDADERO VERDADERO VERDADERO
FALSO FALSO VERDADERO VERDADERO VERDADERO VERDADERO VERDADERO VERDADERO
FALSO FALSO FALSO FALSO VERDADERO VERDADERO VERDADERO VERDADERO

Si la tabla esta bien hecha entonces detectamos una Iila la segunda- para la cual las
premisas son verdaderas y la conclusion Ialsa; esto impide que la Iorma condicional del
razonamiento pueda ser una tautologia (por que?) y por lo tanto la Iorma es invalida.
Nota:
La tabla anterior esta Iabricada en una planilla de calculo (Excel) que maneja expresiones
logicas. Hagalo usted tambien si tiene una maquina, su docente puede orientarlo.
Hay otras Iormas mas sinteticas de analizar la validez de una Iorma de razonamiento, pero
para nosotros es suIiciente con que se comprenda el mecanismo general (el resto se puede hacer
a puro trabajo o en una maquina).
Ejercicios:
1. Determine cuales de las siguientes son Iormas validas de rezonamiento:

a)

b)

c)

26
d)

e)
( ) ( )

2. Una Iorma de razonamiento invalida muy comun es la llamada 'aIirmacion del
consecuente . Un ejemplo es el razonamiento siguiente:
Si entra un angel, entonces sale un demonio. Salio un demonio. Por lo tanto, entro un angel.
a) Encuentre la Iorma simbolica del razonamiento anterior.
b) Muestre que no es una Iorma valida.
3. Explique por que es valida la siguiente propiedad:
Si en una Iorma de razonamiento se sustituye una premisa por otra proposicion logicamente
equivalente, la validez de la nueva Iorma es la misma que la de la Iorma original.
4. Use lo anterior para obtener nuevas Iormas validas de razonamiento a partir de las Iormas
validas siguientes:
a)

b)

c)