1

ÁLGEBRA PROPOSICIONAL

El presente capitulo se encuentra dividido en dos partes. La prime-
ra plantea un iuego para que te habitues al tipo de obietos con los que
se tratara mas adelante. Basicamente el iuego 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 iuego con intencion
didactica. Si estas interesado en estos circuitos podes baiar de Internet
un demo del programa Digital Works (por eiemplo en:el sitio
http://www.romalo.250x.com/contenido1/programas2.htm ) que per-
mite diseñarlos. dibuiarlos y probarlos.
La segunda parte usa las ideas del iuego para construir los elemen-
tos basicos de la logica simbolica; trata de establecer la validez de un
enunciado compleio 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 conseio es tomarse el iuego en serio y entonces la logica te pare-
cera un iuego (¿sera para tanto?).
Adelante y que te diviertas
2
I. Un iuego

1. Angeles. demonios y camaras misteriosas
En cierto pais mitologico convivian angeles y demonios. Cansados de dirimir sus peleas en
sangrientas batallas inventaron un iuego 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 iuego 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 diseñar un castillo para noso-
tros. v debes hacerlo de forma que el iuego se interesante v iusto. Si descubrimos que lo has
A
A
A
D
D
D
3
hecho favoreciendo a uno de los bandos. tomaremos venganza contra ti v todos tus descendien-
tes hasta la decimonovena generacion`.
A Rumas. que ademas de constructor era aIicionado a los iuegos de ingenio y a los acertiios.
le entusiasmo el desaIio pero se tambien se tomo en serio la amenaza de las criaturas. Decidio
entonces poner manos a la obra con empeño 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 iuego era iusto y en otros Iavoreceria a uno de
los bandos.

Problema 1:
Dibuie 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 dibuio 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 iuego 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 eiemplo

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 eiemplo.
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 eiemplo. 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 eiemplos 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 eiemplos:

Recordando el trabaio 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 eiemplo. 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
CASTÌLLO
X
Y
S
6
El siguiente es un eiemplo de un castillo v su correspondiente tabla.










Ahora. se diio 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. Soño con los angelitos.y con los demonitos.

Problema 5
1. Dibuie 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 línea.

Cuando desperto. Rumas recordo haber soñado con el Problema 5. parte 2. En su sueño
habia completado una tabla de ocho Iilas. y sus oios 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 dibuiar 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 característica. Los pasillos en este sen-
tido son neutros.
• Pasa por una cámara de la traición 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 ÷ llamémosla Y- en una cámara angelical; de acuerdo a las
reglas sale de la cámara 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 cámara demoníaca. 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 eiemplo. 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 eiemplo 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 diseñar 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:

NEGACÌÓN: X X →

CONJUNCÌÓN: X.Y X Y → ∧

DÌSYUNCÌÓN: X.Y X Y → ∧

a su vez. estas expresiones volverian a conectarse entre si para obtener diseños 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 diseño 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 diseño 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 mensaie:
























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

2. Diseñe 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. Diseñe un castillo con tres entradas del cual salga un angel cuando entra un numero par de
angeles y un demonio en otro caso.

Mis Señores:
Era vo un pacifico mortal dedicado a su trabaio v su familia. cuando
Juestras Señorias me convocaron para una tarea que estaba mas alla
de mis pocas luces. amenazandome 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 Señorias.
Estaba este servidor a punto de desfallecer. cuando Aquel que Todo lo
Sabe me ilumino con el siguiente mensaie. que aun no comprendo. v
me encomendo que lo comunicara a Juestras Señorias asegurandome
que estarian asi complacidas v me liberarian de esta carga insoporta-
ble.
" .ingresarán las criaturas en número de cinco, todas ellas engendrarán un
traidor. Un único ángel vencerá, un solo demonio también lo hará. Dos ángeles
perderán v dos demonios serán vencidos. 1res ángeles ganarán v tres demonios
también lo harán.Las cámaras serán veinte, pero un único ángel transitará por
todas ellas. Yo he visto ese castillo en los sueños de Rumas."
11
II. Álgebra de proposiciones

1. Lo verdadero y lo falso
Lo que entraba a los castillos imaginarios de nuestro iuego. 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 eiemplos 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
• 2¹3÷4
• 2¹3÷5
• A D A ∨ = (Eiemplo 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 eiemplo: '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 iueces. o las novias y novios
('te quiero.¨).
Lo que haremos es analizar el valor de verdad de proposiciones compleias. 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 lógicos

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 '2¹2 es igual a 4¨ es la proposicion '2¹2 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 coniuncion 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 coniuncion 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 ):

CONJUNCÌÓN

DÌSYUNCÌÓN
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 coniuncion 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.
coniuncion 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 eiemplo 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 eiemplo. 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 iuego 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 iuego 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 coniuncion 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 lógica

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 iuego. ambos castillos eran esencialmente iguales. Por eiemplo: 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 F≡G.
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 F≡C. 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 coniuncion. 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 dibuie 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 eiercicio 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 coniuncion 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 lenguaie comun. es claro que existe un cierto parentes-
co entre el uso Iormal de esos conectivos y su correlato en el lenguaie 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 coniuncion 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 lenguaie 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 2¹2÷4 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 eiemplo:
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 eiecutarse la
accion q. Por eiemplo:
• Si hay luz roia entonces detengase.
• Si la temperatura del Iluido supera los 50°C entonces abra la valvula de la izquierda.

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

Diiimos que la proposicion condicional p q ⇒ podia leerse: 'Si p entonces q¨. Otras
Iormas usuales de leer a esa proposicion son: 'q es una condición necesaria para p¨ y tam-
bien 'p es una condición 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 'dibuiar¨ 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 abaio.

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 (4·2 y 6·6). entonces 7·10
• Si no es cierto que (6·6 y 7 no es menor que 10). entonces 6·6
• Que 7·10 es necesario para que (6·6 y 4·2)

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. Dibuie 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 eiemplos que ilustren su respuesta.
6. Tautologías

Asi como Rumas encontro castillos de los que siempre sale un angel sin importar lo que en-
tra (dibuie un eiemplo). 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 eiemplos de contradicciones. Lo ayudo con uno: p p ∧
c) Haga las tablas de verdad de los eiemplos 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 razonamiento 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 coniuncion de esas proposiciones
basicas) y cuyo consecuente es la conclusion. Esquematicamente:











Ejemplo:
Un eiemplo 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 concIusión
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 conclusión también 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 eiemplo:
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 conclusión del razonamiento
• El razonamiento es una forma válida si
( )
1 2
...
k
p p p c ∧ ∧ ∧ ⇒ es una tautologia.
• El razonamiento es una forma inválida 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



Observación:
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
eiemplo.
Ejemplo:
Si Rumas evito la maldicion entonces. o bien engaño a las criaturas o bien construyo el castillo.
25
Si Rumas engaño a las criaturas. entonces no construyo el castillo
Por lo tanto: si Rumas evito la maldicion. entonces engaño a las criaturas.

Para ver la Iorma llamamos:
p: Rumas evito la maldicion
r: Engaño 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:


RAZONAMÌENTO
proposiciones básicas auxiliares
premisas conclusión

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 maneia 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 trabaio 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 eiemplo 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)










Master your semester with Scribd & The New York Times

Special offer for students: Only $4.99/month.

Master your semester with Scribd & The New York Times

Cancel anytime.