[1].

ELEMENTOS DE LGEBRA ABSTRACTA

(c) 2011, Juanmiguel Len-Rojas. Puedes copiar, distribuir y comunicar pblicamente esta obra, y hacer obras derivadas, esto es, puedes alterarla, transformarla o crear nuevas obras a partir de ella. Sin restriccin alguna.
Licencia Gratuidad Cristiana <http://gratuidadcristiana.blogspot.com/>(metalicencia de Creative Commons CC Zero y CC BY).
Me contradigo? Muy bien, entonces me contradigo, (soy grande,
contengo multitudes). Walt WHITMANN (n. 1819, f. 1892). Song
of Myself.
1. LGICA PROPOSICIONAL
(v. Beta 2.4.1)
1.1. Lgica
1
Proposicional (LP)
Denicin 1.1.- Se dene
2
proposicin o enunciado como toda ex-
presin de la cul podamos decir que es verdadera o falsa.
Ejemplo 1.1.- Esta bola roja es verde es una proposicin falsa.
Esta bola es verde es una proposicin, pues si la bola es verde es
verdadera y si es de otro color, falsa. Esta frase es falsa no es una
proposicin, pues si es cierta entonces es falsa, y si es falsa, entonces
es cierta. Esta frase es verdadera es una proposicin verdadera.
Denicin 1.2.- Una proposicin puede ser simple (atmica) o estar
compuesta (molecular) de varias proposiciones, enlazadas entre s
de alguna manera.
Ejemplo 1.2.- Hoy es mircoles y maana viernes es una propo-
sicin compuesta de dos: hoy es mircoles, maana es viernes,
enlazadas por la partcula y. Esta proposicin parece que debe
ser falsa, pues, independientemente del da en que la consideremos,
al menos una de ellas es falsa.
Con el n de abandonar cuanto antes lo informal, se hace necesaria la
formalizacin de una sintaxis y una semntica para la Lgica Pro-
posicional, as como de una teora de la demostracin. Todo ello
conforma la Teora Formal de la Lgica Proposicional.
1.2. Sintaxis
1.2.1. El lenguaje / de la Lgica Proposicional
Las proposiciones, ya sean simples o compuestas, suelen notarse con
letras minsculas p, q, r, . . . , y se les denomina variables (o smbo-
los) proposicionales (o de enunciado).
Denicin 1.3.- Formalmente, el lenguaje / de la Lgica Proposi-
cional se dene mediante un alfabeto
3
compuesto por:
a) un conjunto numerable de variables de enunciado: 1 =
p, q, r, . . . , p
1
, p
2
, p
3
, . . . , p
n
, q
n
, r
n
, . . .
b) un conjunto nito c de smbolos de enlace entre dichas variables,
subconjunto de C = [, , , , , , , , (segn la notacin
que estableceremos ms adelante), conocidos como conectivas
c) un conjunto nito de smbolos de puntuacin: (, ), [, ].
1.2.2. Frmulas bien formadas
Denicin 1.4.- Dado ( C, se denomina frmula (generada por
() a cualquier palabra del alfabeto de /, siendo c = (.
Ejemplo 1.3.- p ) q ( r q es una frmula (generada por
( = , , , ).
Denicin 1.5.- Sea ( C. Una frmula bien formada (fbf)
4
es
toda frmula que satisfaga alguna de las condiciones: (1) las va-
riables de enunciado, p, q, r..., son fbfs; (2) una fbf precedida de la
conectiva es una fbf; (3) una fbf, seguida de una conectiva de (
(distinta de ), seguida de una fbf, y habiendo hecho buen uso de los
parntesis, es una fbf.
nicamente las frmulas obtenidas aplicando (1), (2) o (3) son fbfs.
Las fbfs se notan con letras maysculas A, B, C . . . .
Ejemplo 1.4.- p q y p (p q) son fbfs.
Teorema 1.1.- Si ( = , , , , , mediante la denicin 1.5
se obtiene el conjunto J de todas las fbfs para la Lgica Proposi-
cional
5
.
Denicin 1.6.- Se denomina sub_fbf a cualquier parte de una fbf
que sea a su vez fbf.
1.3. Semntica para /
1.3.1. Teora de modelos
Denicin 1.7.- Se dice que el valor de verdad
6
de una fbf es 1 cuan-
do es verdadera, y 0 cuando sea falsa tambin suele notarse V y F,
respectivamente.
De aqu el nombre de lgica bivalente
7
.
Denicin 1.8.- Una interpretacin es cualquier funcin I : 1
0, 1. Una interpretacin para una fbf A es la restriccin de una
interpretacin al subconjunto de variables de enunciado que inter-
vienen en A esto es, una asignacin de valores de verdad a todas
y cada una de sus variables de enunciado. Esta asignacin de-
terminar como se ver ms adelante el valor de verdad de la
fbf.
De este modo, el valor de verdad de una variable de enunciado p no
es ms que la imagen por alguna interpretacin. Por ello, lo nota-
remos I(p). Cuando se trate de una fbf compuesta, A, abusaremos
del lenguaje y notaremos su valor de verdad tambin por I(A) cfr.
1
La palabra Lgica se deriva del latn logica y sta del griego logik.
2
El concepto de denicin, entendida como el conjunto de atributos que caracterizan una clase determinada de objetos, tiene su origen en ARISTTELES. En toda de-
nicin, se distingue entre lo que hay que denir (deniendum) y la expresin que lo dene (deniens). Los trminos denientes deben preexistir a la denicin, bien porque
hayan sido denidos con anterioridad, bien por haber sido admitidos como primitivas del sistema. La denicin debe ser consistente internamente, en s misma, y con el
sistema donde se realiza. En una denicin explcita, el deniendum y el deniens estn claramente separados por un signo especial. Si notamos D al deniendum y d al
deniens, suele escribirse D =
def
d, D := d, D : d, D : d, D d, D
d
= d, D = d para expresar que D es igual a (o simplemente, es) d, por denicin. Por
ejemplo, la derivada de una funcin en un punto: f

(x
0
) lm
xx
0
f(x) f(x
0
)
x x
0
. En una denicin implcita, el deniendum y el deniens, aunque distinguibles, son
inseparables. Por ejemplo: y = log
a
x a
y
= x (una denicin explcita podra ser: log
a
{(x, y) : a
y
= x}). Un caso particular de denicin implcita, lo constituye la
denicin inductiva o recursiva. Por ejemplo, la funcin potencia (a R

, n N): a
n
=

1 si n = 0
a
n1
a si n > 0
. Frecuentemente, se usa la denicin para permitir
la introduccin de signos nuevos, disminuyendo la complejidad notacional; por ejemplo, se usa a b como abreviatura de a < b a = b. En Lgica de Primer Orden vid.
infra Cap. 2 se demuestra el Teorema de Denibilidad de BETH: Cualquier denicin implcita formulada en el lenguaje de la Lgica de Primer Orden, puede formularse
en forma explcita.
3
Un alfabeto es un conjunto nito no vaco , cuyos elementos son smbolos, frecuentemente llamados letras de , y que estn sujetas a la siguiente restriccin:
no puede contener letras que sean hileras que comienzan con otras letras de . As, se permite = {a, b, c}, = {a, b, ca}, = {a, b, Ab}, pero no, por ejem-
plo, = {a, b, c, ca}. Dado un alfabeto , una palabra (o cadena) es cualquier hilera nita de letras de (esto es, cualquier secuencia nita de letras indexada por
[n] = {1, 2, . . . , n}). Se nota por

al conjunto de todas las palabras que usan todas las letras de . Un lenguaje de es cualquier subconjunto de

. Por , se nota la
palabra vaca o nula. Se dene la longitud de una palabra de

, y se nota long(), como el nmero de letras de en , contando cada letra que aparezca; long() = 0.
La longitud de una letra de es 1. Al conjunto de todas las palabras de longitud k (k n = nmero de letras de ) se nota por
k
. Siendo un alfabeto, es posible
denir

recursivamente: (1) La palabra vaca esta en

; (2) Si est en

y x est en , entonces x est en

. De este modo, tambin la longitud quedara denida

recursivamente: (1) long() = 0; (2) Dada en

, si long() ha sido denida y x est en , entonces long(x) = long() + 1.

4
Una denicin ms formal de fbf precisa de la denicin de conjunto inductivo y clausura inductiva, resultando el conjunto W de todas las fbfs ser la clausura in-
ductiva del conjunto V de las variables de enunciado, para el conjunto de costructores que corresponden a denir las conectivas implicadas por ejemplo, el constructor
correspondiente al conjuntor sera

(
1
,
2
) =
1

2
, siendo
1
y
2
dos palabras cualesquiera del alfabeto. Esta clausura inductiva es, adems, libremente generada.
5
W es una denominacin ms o menos estndar; proviene del ingls well-formed formula (wff).
6
Concepto acuado sobre 1879 por FREGE y PEIRCE.
7
Existen muchos tipos de lgicas, entre ellas, por ejemplo, la lgica polivalente, en la cual, una proposicin puede tener un cierto grado de verdad o falsedad; por ejemplo,
maana llover, no podemos armar que sea verdadera o falsa, y en lgica bivalente no sera una proposicin hasta el da siguiente, que comprobsemos si llueve o no. Pero
en lgica polivalente asignamos al hecho de ser falso el valor 0, al hecho de ser cierto el valor 1 y si, por ejemplo, esperamos que llueva con un 70 % de posibilidades, decimos
que el grado de verdad de la anterior proposicin es 0,7.
1
2 CAPTULO 1. LGICA PROPOSICIONAL
def. 1.18.
Denicin 1.9.- Una tabla de verdad para una fbf es una disposicin
rectangular de los valores de verdad de la misma, para cada una de
sus interpretaciones:
p
1
0
p q p es equivalente a q
1 1 1
1 0 0
0 1 0
0 0 1
Teorema 1.2.- El nmero total de interpretaciones para una fbf de-
pende del nmero de sus variables de enunciado, siendo igual al
nmero de las de su tabla de verdad y correspondiendo cada la
a una nica interpretacin. De hecho, si en una fbf A intervienen n
variables de enunciado, el nmero de interpretaciones para Aes 2
n
.
Denicin 1.10.- Un modelo para una fbf es cualquier interpreta-
cin para la que dicha fbf sea verdadera. Un modelo para un con-
junto de fbfs es cualquier interpretacin para la que todas las fbfs
del conjunto sean verdaderas.
Ejemplo 1.5.- No existe ningn modelo para p, p.
1.3.2. Satisfactibilidad y validez
Denicin 1.11.- Una fbf A es una fbf vlida (una tautologa) si es
verdadera en todas sus interpretaciones esto es, si en su tabla de
verdad guran slo unos. En otras palabras, que toda interpreta-
cin para A sea un modelo para A. Suele notarse 1 o .
Denicin 1.12.- Una fbf A es una fbf insatisfactible (una contra-
diccin
8
) si es falsa en todas sus interpretaciones esto es, si en su
tabla de verdad guran slo ceros. En otras palabras, que ningu-
na interpretacin para A sea un modelo para A. Suele notarse 0 o
.
Ntese que si para identicar las tautologas y contradicciones se uti-
lizan los smbolos 1 y 0, estos tendran dos signicados: por un lado,
representan valores de verdad y por otro son fbfs. Si se adoptan los
smbolos y , el alfabeto de / quedara inmediatamente ampliado
con ellos.
Denicin 1.13.- Una fbf A es una fbf contingente (una contingen-
cia o indeterminacin) si no es ni tautologa ni contradiccin esto
es, si en su tabla de verdad aparecen unos y ceros.
Denicin 1.14.- Una fbf A es una fbf satisfactible
9
(o fbf posible)
si es verdadera en alguna interpretacin esto es, si en su tabla de
verdad aparece algn uno. En otras palabras, que alguna inter-
pretacin para A sea un modelo para A.
nicamente en los casos de tautologa y contradiccin puede ha-
blarse de valor de verdad de una proposicin compuesta (1 y 0, res-
pectivamente). En el caso de ser contingencia se habla, a veces, de
valoracin de verdad.
Teorema 1.3.-
a) A es vlida si y solo si A es insatisfactible.
b) A es contingente si y solo si A es contingente.
c) Que A sea satisfactible no implica que A sea insatisfactible.
Denicin 1.15.- Se dice que es un conjunto satisfactible (o con-
sistente) de fbfs precisamente si existe alguna interpretacin que sea
un modelo para . En caso contrario se dice insatisfactible o incon-
sistente.
Denicin 1.16.- Se dice que es un conjunto nitamente satisfac-
tible de fbfs precisamente si todos los subconjuntos nitos de fbfs de
son satisfactibles.
Teorema 1.4.- Sea = A
1
, A
2
, . . . , A
n
. Entonces: es un con-
junto satisfactible de fbfs si y solo si A
1
A
2
A
n
es una fbf
satisfactible.
Si bien la posibilidad de que en la denicin de conjunto satisfacti-
ble de fbfs, dicho conjunto pudiese ser innito, podra provocarnos
cierta inquietud, el siguiente resultado se encarga de despejarla por
completo.
Teorema 1.5 (Teorema de Compacidad).- Un conjunto de fbfs es
satisfactible si y solo si es nitamente satisfactible.
1.3.3. Conectivas
Denicin 1.17.- A los enlaces entre proposiciones se les denomi-
na conectivas tambin llamadas trminos de enlace, conectores
o juntores
10
. Las conectivas pueden ser unitarias (mondicas) y
binarias (didicas) segn enlacen una o dos proposiciones.
Existen ocho muy habituales en nuestro lenguaje ordinario, la pri-
mera unitaria y las dems binarias. Se denen a continuacin.
Negador (p): expresiones tales como no
p, es falso que ocurra p, ni p, no es cier-
to que p, no es el caso que p. . . , expresan la
idea de negacin de p. Esta idea se nota p y es
verdadera precisamente si p es falsa. Tambin se
la denomina non y a veces, operador NOT.
11
p p
1 0
0 1
p q p q
1 1 1
1 0 0
0 1 0
0 0 0
Conjuntor (pq): expresiones tales como p y
q, p aunque q, p pero q, p sin embargo q,
p, q. . . , expresan la idea de que debe ocurrir p
y q a la vez. p q es verdadera cuando ambas
son verdaderas y falsa en los tres casos restantes.
Tambin se la denomina et, producto lgico y a
veces, operador AND.
12
Disyuntor (p q): expresiones tales como p
o q. . . , expresan la idea de que puede ocurrir
p, o bien q, o bien las dos. Esto se nota p q
(RUSSELL y WHITEHEAD), que es falsa cuando
ambas son falsas y verdadera en los tres casos
restantes. Tambin se la denomina disyuntor in-
clusivo
13
, vel, suma lgica y a veces, operador
OR. Otros notan: p +q.
p q p q
1 1 1
1 0 1
0 1 1
0 0 0
p q pq
1 1 0
1 0 1
0 1 1
0 0 0
Disyuntor exclusivo (pq): expresiones tales
como o p o q, o bien p o bien q. . . , expre-
san la idea de una disyuncin pero sin que puedan
ocurrir los dos a la vez. Esto se nota pq, que es
verdadera cuando una es verdadera y la otra falsa
y falsa en los dos casos restantes. Por ejemplo, su
hija naci en junio o julio. La expresin ir con
l o con ella puede que nos resulte ambiga, pues
podra ir con los dos; pero si nuestra idea es ir slo con uno de los
dos podramos decir: ir, o bien con l, o bien con ella. Tambin
se la denomina aut y a veces, operador EXOR. Otros autores notan:
p q, p q, p >-< q, p , q.
14
p q p q
1 1 1
1 0 0
0 1 1
0 0 1
Implicador (p q): expresiones tales como
p implica q, si p entonces q, cuando p en-
tonces q, solo si q entonces p. . . , expresan la
idea de una condicin. Esta idea se nota p q.
Se llama a p, antecedente (de q) o condicin su-
ciente (para que ocurra q) y a q, consecuente
(de p) o condicin necesaria (para que ocurra
8
La realidad de nuestra lengua natural es que una contradiccin es cualquier proposicin lgicamente imposible, por ejemplo: p p. Esta nota al pie tiene su razn de
ser: es verdadero o falso que un nio de 10 aos puede levantar una tonelada? Si el nio no se ayuda de nada y est en condiciones de gravedad normal, parece imposible;
pero y si se ayuda de un sistema de palancas?, o si est en condiciones de ingravidez?
9
Este concepto fue acuado por TARSKI y tiene su origen en la Matemtica, pues estamos acostumbrados a utilizar expresiones del tipo 7 satisface la ecuacin x+3 = 7.
En el mbito de la Lgica Proposicional, a lo satisfactible tambin se le conoce como consistente y a lo insatisfactible como inconsistente. Esto se debe a que la Lgica
Proposicional es correcta y completa, lo que hace que los conceptos de satisfactibilidad y consistencia coincidan vid. infra teor. 1.23.
10
La denominacin juntor se debe a LORENZEN.
11
Otros autores notan: p , p (PEANO, 1886-1901), p (es una n modicada muy utilizada en el siglo XIX, adems de por RUSSELL y WHITEHEAD), p.
12
Otros autores notan: p&q (HILBERT, 1928), p q o simplemente pq (PEANO, 1886-1901, utilizada por QUINE).
13
En vez del adjetivo inclusivo, se utiliza a veces no-exclusivo, trmino acuado por John C. COOLEY en A Primer of Formal Logic (MacMillan, Nueva York, 1942) y
usado posteriormente, entre otros, por QUINE.
14
Los estoicos (ZENN, CRISIPO. . . ), en su etapa ms antigua, desde el 300 a. C., investigaron la negacin, conjuncin y disyuncin. Petrus HISPANUS, Duns SCOTUS,
George BOOLE (1847) y SCHRDER (1877) continuaron tal estudio.
1.3. SEMNTICA PARA / 3
p). p q es falsa cuando el antecedente es verdadero y el conse-
cuente falso, y verdadera en los tres casos restantes. A tambin
se la denomina condicional, SEQ, y a veces, operador IMP. Otros
autores notan: p q (GERGONNE, 1816).
15
p q p q
1 1 1
1 0 0
0 1 0
0 0 1
Coimplicador (p q): expresiones tales co-
mo p es equivalente a q, p precisamente si
q, p si y slo si q (abreviadamente p sii q),
p cuando y slo cuando q. . . , expresan la idea
de una doble condicin. Se nota p q, que es
verdadera cuando y slo cuando ambas tienen el
mismo valor de verdad. A tambin se la de-
nomina bicondicional, aeq y a veces, operador EQV. Otros autores
notan: p q.
Conectiva de SHEFFER (p[q): expresiones ta-
les como p y q son incompatibles, no p o no
q (el o es inclusivo). . . , expresan la incompati-
bilidad de p y q. Esta idea se nota p[q y es falsa
precisamente si ambas son verdaderas y verda-
dera en los tres casos restantes. A [ tambin se
la denomina incompatibilizador y a veces, ope-
rador NAND. p[q es falsa cuando ambas son ver-
daderas y verdadera en los tres casos restantes.
Otros autores notan: .
p q p[q
1 1 0
1 0 1
0 1 1
0 0 1
Conectiva de PEIRCE (p q): expresiones
tales como ni p ni q, o cualquier otra que ex-
prese la negacin conjunta de p y q, se notan
p q, que es verdadera cuando ambas son fal-
sas y falsa en los tres casos restantes. A tam-
bin se la denomina negador conjunto y a veces,
operador NOR. Otros autores notan:

.
p q p q
1 1 0
1 0 0
0 1 0
0 0 1
Denicin 1.18 (Redenicin de Interpretacin).- Formalmente,
lo que hemos hecho es construir, guiados por la semntica de nuestra
lgica ordinaria, una extensin de la denicin de interpretacin,
de 1 al conjunto de todas las fbfs, sujeta a las siguientes condiciones
(extensin, que abusando del lenguaje, seguiremos notando por I y
llamando interpretacin):
Siendo A y B fbfs,
1) I(A) = 1 si y solo si I(A) = 0
2) I(A B) = 1 si y solo si I(A) = 1 y I(B) = 1
3) I(AB) = 0 si y solo si I(A) = I(B)
4) I(A B) = 1 si y solo si I(A) = 1 o I(B) = 1
5) I(A B) = 0 si y solo si I(A) = 1 y I(B) = 0
6) I(A B) = 1 si y solo si I(A) = I(B)
7) I(A[B) = 0 si y solo si I(A) = 1 y I(B) = 1
8) I(A B) = 1 si y solo si I(A) = 0 y I(B) = 0
1.3.4. Nmero total de conectivas, I
En Lgica Bivalente existe un total de 20 conectivas diferentes, de
las cuales, 4 son unitarias:
p 1 p id
p
0
1 1 0 1 0
0 1 1 0 0
y 16 binarias
16
:
p q 1 p[q p q p p q q p q p q ...
1 1 1 0 1 0 1 0 1 0
1 0 1 1 0 0 1 1 0 0
0 1 1 1 1 1 0 0 0 0
0 0 1 1 1 1 1 1 1 1
... p q pq id
q
(p q) id
p
(p q) p q 0
1 0 1 0 1 0 1 0
1 1 0 0 1 1 0 0
1 1 1 1 0 0 0 0
0 0 0 0 0 0 0 0
1.3.5. Precedencia de conectivas
A qu es igual 1 + 2 3?: 9 7? Casi seguro que un 100 por cien
de nosotros contestar 7; pero dmonos cuenta de que lo hacemos
porque asociamos en la forma 1 +(2 3). La fuerza de la costumbre,
seguro. Y es que existe una regla que nos permite quitar los parnte-
sis, a saber, que el producto acta antes que la suma.
Es cuestin de jar unos criterios; por ejemplo, si se conviniese
en que las ocho conectivas que se han destacado acten segn el
orden , , , , , , [, , y adems, en que el orden de actua-
cin de conectivas iguales es de izquierda a derecha, tendran que
usarse muchos menos parntesis. Por ejemplo, la siguiente expre-
sin (p (q r)) ((p q) ((p r) (p r))), quedara
p q r (p q) (p r p r). Sin embargo, esto puede
provocar una prdida en la claridad de la expresin, y por otro lado,
las convenciones de rdenes de actuacin dependen de cada autor.
En lo que s parece estar la mayora de acuerdo es en la siguiente
denicin:
Denicin 1.19.- Se dice que una conectiva es ms potente que otra
si acta despus (o similarmente, una conectiva es ms dbil que
otra si acta antes).
Obsrvese que esto es anlogo a decir que + es ms potente que en
el ejemplo anterior.
Se acepta que:
(a) es la conectiva de menor potencia,
(b) es la conectiva que sigue en potencia, y sta es igual a la de
y la de ,
(c) [, y las dems (salvo y ) son las que siguen en potencias,
siendo stas iguales,
(d) es la conectiva de mayor potencia y sta es igual a la de ;
y las siguientes reglas de uso de parntesis:
(1) La negacin de una proposicin simple no requiere parntesis,
por ejemplo: (p) queda p;
(2) La negacin de una proposicin compuesta s necesita parnte-
sis, por ejemplo: (p q) no es p q;
(3) Varios consecutivos no requieren parntesis, por ejemplo:
p es ((p));
(4) La coexistencia de conectivas distintas pero de igual potencia s
requiere parntesis, por ejemplo, sin usar parntesis, p q r es
ambga, pues puede interpretarse como (p q) r o (p (q
r);
(5) La coexistencia de conjuntores no requiere parntesis: p
q r s es p (q r) s y tambin p q (r s);
(6) La coexistencia de disyuntores inclusivos no requiere parntesis;
(7) La coexistencia de disyuntores exclusivos no requiere parnte-
sis;
(8) La coexistencia de coimplicadores no requiere parntesis;
(9) La coexistencia de implicadores s requiere parntesis.
Denicin 1.20.- Se dene el grado lgico de una fbf como el nme-
ro de conectivas que posee, contando las repeticiones.
Ejemplo 1.6.- grado(p)= 0, grado((p q) p q)= 3.
Denicin 1.21.- Se denomina smbolo dominante de una fbf (com-
puesta) a la conectiva ms potente de la misma. Por ejemplo, el sm-
bolo dominante de (p q) p q) es (el segundo comenzando
por la izquierda).
Denicin 1.22.- Se llama alcance de una conectiva en una fbf al
conjunto de fbfs o sub_fbfs del cul sea smbolo dominante.
15
Parece ser que fue FILN DE MEGARA quien propuso el uso del implicador, reintroducindolo en la formalizacin actual de la Lgica, FREGE (1879) y PEIRCE (1885).
16
La tabla de verdad de cualquier proposicin en la que aparezcan dos variables proposicionales, p y q, tiene 4 las, correspondientes a {1, 1}, {1, 0}, {0, 1} y {0, 0},
donde el primer elemento es I(p) y el segundo I(q). En realidad, el nmero de las viene dado por el nmero de variaciones con repeticin de 2 elementos {0, 1} tomados
de 2 en 2, esto es, 2
2
. Para conocer el nmero total de conectivas binarias, pinsese que han de generarse todas las posibles tablas de verdad de 2
2
las; tal nmero es el de
variaciones con repeticin de 2 elementos, {0, 1}, tomados de 2
2
en 2
2
, o sea, 2
4
. En general, el nmero de las de la tabla de verdad de cualquier proposicin en la que
intervengan n variables es 2
n
, y el nmero total de conectivas n-arias es 2
2n
.
4 CAPTULO 1. LGICA PROPOSICIONAL
Ejemplo 1.7.- El alcance de en (p q) p q es p q, p.
Denicin 1.23.- Segn las conectivas que dominen se destacan al-
gunos tipos de fbfs:
a) Literal: una variable de enunciado o negacin de una variable
de enunciado (los literales p y p se denominan literales opuestos).
b) Conjuntiva (o de tipo ): una conjuncin de literales.
c) Cubo: un literal o una fbf conjuntiva.
d) Disyuntiva (o de tipo ): una disyuncin de literales.
e) Clusula: un literal o una fbf disyuntiva.
1.3.6. Implicacin lgica
Denicin 1.24.- Sean A una fbf y un conjunto de fbfs. Se dice
que implica lgicamente (o tautolgicamente) a A o que A es
consecuencia (lgica) o que se deduce, deriva o inere semntica-
mente de y se nota [= A
17
, precisamente si todo modelo para
es un modelo para A.
Ejemplo 1.8.- p q [= p q (basta observar sus tablas de verdad).
Que no implique lgicamente A se nota ,[= A.
Al no existir ninguna fbf en = que sea falsa en alguna interpre-
tacin, se admite que toda interpretacin es un modelo para , por
lo que [= A signica que todas las interpretaciones son un modelo
para A, esto es, que A es tautologa. Esto suele notarse [= A.
Ntese tambin que si no existiese ninguna interpretacin que sa-
tisciese a todas las fbfs de por ejemplo, si = A, A,
entonces [= A para cualquier fbf A (y esto porque no puede en-
contrarse un contraejemplo, una interpretacin que sea un modelo
para y no lo sea para A).
Teorema 1.6.- [= A si y solo si A es insatisfactible.
Obsrvese que A [= B es una armacin que dice que A implica l-
gicamente a B, expresando una relacin causa-efecto esto es, que
si lo armado por Aes verdadero, tambin lo es lo armado por B
, mientras que A B es una simple fbf (o a lo sumo, un esquema
de fbf). No obstante, existe varias relaciones entre ellos.
Teorema 1.7.-
a) A [= B si y solo si [= A B.
b) A [= B si y solo si [= A B.
Precisamente el hecho de que A B sea una tautologa justica
que la expresin A [= B puede ser usada como esquema de un ra-
zonamiento vlido (o argumentacin vlida).
De manera similar que en la denicin de conjunto satisfactible de
fbfs, mas ahora en la denicin de [= A, la posibilidad de que el
conjunto pudiese ser innito, podra provocarnos cierta inquietud,
no obstante el siguiente teorema, una versin equivalente del teore-
ma de compacidad, se encarga de despejarla por completo.
Teorema 1.8 (Teorema de Compacidad).- Sea A una fbf y un
conjunto de fbfs. Entonces: [= A si y solo si existe
0
,
0
nito, tal que
0
[= A.
Cuando el conjunto de fbfs es nito, = A
1
, . . . , A
n
, la argu-
mentacin vlida que representa [= A la podemos reescribir equi-
valentemente como:
1) [= A
2) A
1
, . . . , A
n
[= A
3) A
1
, . . . , A
n
[= A
4) A
1
A
n
[= A
Teorema 1.9.- Sean A
1
, . . . , A
n
, B fbfs y = A
1
, . . . , A
n
, en-
tonces (1), (2) y (3) son equivalentes:
(1) A
1
, . . . , A
n
[= B
(2) [= (A
1
A
n
) B
(3) [= (A
1
(A
2
( (A
n1
(A
n
B))))
Teorema 1.10 (Propiedades).- Sean A y B fbfs y y conjuntos
de fbfs, cualesquiera. Se satisface:
1) A [= A (reexiva)
2) Si [= A y , entonces [= A (monotona)
3) Si [= A y A [= B, entonces [= B (transitiva)
1.3.7. Equivalencia lgica
Denicin 1.25.- Se dice que la fbf A es lgica o tautolgicamente
equivalente a la fbf B, y se nota A B
18
, precisamente si A [= B
y B [= A esto es, si para cualquier interpretacin I : 1 0, 1,
I(A) = I(B).
La no equivalencia lgica de A y B se nota A , B.
Teorema 1.11.- Sean A y B fbfs. A B si y solo si [= A B.
Ejemplo 1.9.-
1) p q (p q) (q p)
2) p[q (p q)
3) p q (p q)
4) p q [= p q, pero p q ,[= p q, por lo que por el teorema
1.11, p q , p q.
Teorema 1.12 (Reglas de Sustitucin).-
(1) Si Aes una tautologa y B es una subfrmula de A(B ocurre
en A) y B es reemplazada en A, en todas sus apariciones, por una
fbf cualquiera C, entonces, el resultado es una fbf A

que tambin
es tautologa.
(2) Teorema de Equivalencia: Si B ocurre en A y B es reemplaza-
da en A por una fbf lgicamente equivalente B

, entonces, el resul-
tado es una fbf A

lgicamente equivalente a A.
Ejemplo 1.10.-
1) A = (p q) (pq) es tautologa. Reemplacemos q por p.
Por la 1 regla de sustitucin, (p p) (p p) es tautologa.
2) Sea A = (p q) (p q). Imaginemos que el objetivo es
conseguir una fbf equivalente a A que no utilice la conectiva . Sa-
bemos que p q (p[q) y por tanto, que p q (p[q). Por
la 2 regla de sustitucin, A (p[q) (p[q).
Con respecto a la relacin de potencia entre smbolos, [= y , al
situarse en el metalenguaje (nivel 1), dominan a cualquier conectiva
(nivel 0). Obsrvese tambin que los smbolos y , pertenencen
al nivel 2 del metalenguaje, por lo que dominan a [= y .
1.3.8. Interdenicin de conectivas
Denicin 1.26.- Un conjunto adecuado (o completo) de conectivas
(cac) (o conjunto completamente expresivo de conectivas) es cual-
quier conjunto de conectivas tal que todas las conectivas puedan
representarse en funcin, nicamente, de las del conjunto.
Ejemplo 1.11.- El conjunto de las conectivas ms usuales,
, , , , es un cac, ya que: 1 p p; p[q (p q);
p q (p q); pq (p q); id
q
(p q) (p q);
id
p
(p q) (p q); 0 p p.
Obsrvese que no deberamos utilizar la equivalencia lgica () en
estas ltimas expresiones, pues de lo que se trata en realidad es de
denir nuevas conectivas a partir de unas dadas (las del cac). Por
ello, deberamos utilizar algn smbolo que exprese dicho acto de
denicin. Por ejemplo, p[q (p q). Sin embargo, son motivos
pedaggicos los que nos mueven a hacerlo as, pues la realidad es
que son equivalencias lgicas y hacerlo de otro modo llevara segu-
ramente a confusin a aquellos que toman contacto por primera vez
con la Lgica.
Ejemplo 1.12.- Los conjuntos , , , y , son cacs:
, : p q (p q); p q (p q); p q
(p q) (p q)
, : p q (p q); p q p q; p q
((p q) (p q))
, : p q (p q); p q p q; p q ((p
q) (q p))
17
Aunque algunos autores usan los smbolos |= y indistintamente, nosotros reservamos este ltimo para representar el si..., entonces... de nuestro lenguaje natural
(ntese que a diferencia de , que representa el si..., entonces... de nuestra lgica ordinaria) otros autores diferencian entre implicacin lgica () e implicacin
tautolgica (|=). En una escala de lenguajes y metalenguajes: (nivel 0), |= (nivel 1), (nivel 2).
18
Similarmente a lo comentado en la nota a pie de pgina n. 17, aunque algunos autores usan los smbolos y indistintamente, nosotros reservamos este ltimo para
representar el si y solo si de nuestro lenguaje natural (ntese que a diferencia de , que representa el si y solo si de nuestra lgica ordinaria) otros autores diferencian
entre equivalencia lgica () y equivalencia tautolgica (). En una escala de lenguajes y metalenguajes: (nivel 0), (nivel 1), (nivel 2).
19
En Lgica, el trabajar con un cac de dos elementos, o incluso de uno, slo tiene inters terico, pues hara el clculo lgico demasiado complejo. Sin embargo, por
ejemplo, la importancia de los cacs pequeos es enorme en la construccin de circuitos digitales secuenciados: cada variable de enunciado se representa por un interruptor,
1.4. TEORA DE LA DEMOSTRACIN 5
Ejemplo 1.13.- Los conjuntos [ y son cacs
19
:
[
p p[p p p
p q (p[q)[(p[q) (p p) (q q)
p q (p[p)[(q[q) (p q) (p q)
p q p[(q[q) ((p p) q) ((p p) q)
De estas reglas de interdenicin, se destacan clsicamente, las leyes
de Morgan
20
:
p q (p q) (p q) p q
p q (p q) (p q) p q
y los principios de Filn y Crisippo:
p q p q p q (p q)
1.3.9. Nmero total de conectivas, II
La Lgica Proposicional no necesita de ms conectivas de las 20 ya
vistas, pues cualquier conectiva n-aria podra denirse a partir del
conocimiento de su semntica. A modo de ejemplo, si dicha semnti-
ca vienese expresada por la tabla de verdad:
p q r (p, q, r)
1 1 1 0
1 1 0 0
1 0 1 1
1 0 0 1
0 1 1 0
0 1 0 1
0 0 1 0
0 0 0 1
bastara hacer la disyuncin de los modelos para obtener una fbf l-
gicamente equivalente a (p, q, r) en el cac , , : (p, q, r)
(p q r) (p q r) (p q r) (p q r).
1.3.10. Formas normales
Desde la Semntica (Teora de Modelos), podran mostrarse en este
momento muchas ms equivalencias, as como sus correspondientes
fbfs vlidas, pero preferimos hacer ms adelante su presentacin des-
de la Sintaxis (Teora de la Demostracin), como reglas de inferencia
y sus correspondientes teoremas lgicos.
No obstante, s que tratamos a continuacin las formas normales,
debido a su amplio inters como procedimiento de reduccin a una
estructura semntica comn.
Se trata de reducir la fbf original a otra que slo contenga elementos
del cac , , .
Aunque se expone desde la Semntica, lo que se expone a conti-
nuacin tiene una expresin inmediata en la Sintaxis
21
como una
estrategia de deduccin ms (cfr. 1.6).
Se distinguen dos formas normales: conjuntiva y disyuntiva.
Denicin 1.27.- Una fbf est en forma normal conjuntiva (FNC)
si tiene la forma A B C , donde A, B, C, . . . son fbfs del
cac , .
Teorema 1.13.- Una fbf en FNC es una fbf vlida precisamente si
en cada miembro de las conjunciones aparece una variable y su ne-
gacin.
Denicin 1.28.- Una fbf est en forma normal disyuntiva (FNC) si
tiene la forma AB C , donde A, B, C, . . . son fbfs del cac
, .
Teorema 1.14.- Una fbf en FND es una fbf insatisfactible precisa-
mente si en cada miembro de las disyunciones aparece una variable
y su negacin.
Ejemplo 1.14.-
1. p y (p p q) (p q q) estn en FNC.
2. p y (p p q) (p q q) estn en FND.
Mtodo para obtener la forma normal de una fbf:
FN1) Eliminar y : A B A B B A; A B
A B (A B).
FN2) Interiorizar : A A; (AB) AB; (AB)
A B.
FN3) Exteriorizar u (obtencin de la forma normal): A (B
C) (A B) (A C) (si se busca FNC); A (B C)
(A B) (A C) (si se busca FND).
FN4) Simplicar y ordenar los resultados (opcional): suprimir las
redundancias mediante las reglas de indempotencia: A A A y
A A A; ordenar alfabticamente, mediante conmutativas: si se
tiene FNC, sus disjunciones miembro: A B B A; si se tiene
FND, sus conjunciones miembro: A B B A.
Ni que decir tiene que si en cualquier momento es necesaria alguna
otra equivalencia, puede utilizarse.
Ejemplo 1.15.- Es (p (q p)) contradiccin?
Resolucin: Hallemos su FND y decidamos:
1. (p (q p)) [DF1]
2. (p (q p)) [DF3][FN1] a 1]
3. p (q p) [DF3][FN2] a 2]
4. p q p [DF3][FN2] a 3]
5. p q p [DF3][FN2] a 4]
6. p p q [DF3][FN4] a 5]
La FND slo tiene una disyuncin, y efectivamente, aparece una va-
riable, p, y su negacin, p, luego la expresin (p (q p)) es
contradiccin.
Obsrvese que, en este caso, su FND es tambin su FNC.
Por otro lado, si (p (q p)) es contradiccin, debe ser cierto
que p (q p) es tautologa. Como se ha obtenido que (p
(q p)) p p q, se tiene que p (q p) (p p q);
hallemos su FNC:
1. (p p q) [DF1]
2. p p q [DF3][FN2] a 1]
3. p p q [DF3][FN2] a 2]
Su FNC slo tiene una conjuncin, y efectivamente, aparece una va-
riable, p, y su negacin, p, luego p (q p), o la fbf lgicamente
equivalente, (p p q), es una fbf vlida.
1.4. Teora de la demostracin
Aunque al dar un valor a una variable de enunciado, por ejemplo,
al decir, p es "la Tierra es un planeta" nos preocupamos de inter-
pretar de alguna manera los enunciados lgicos, esto es, del aspecto
semntico
22
, nos interesa en este momento el anlisis sintctico de
la lgica bivalente de enunciados. Si bien la Semntica nos guiar
ineludiblemente en el mismo, el tratamiento formal ser exclusiva-
mente sintctico.
1.4.1. Deducciones formales
Denicin 1.29.- Sean A una fbf y = A
1
, . . . , A
n
un conjunto
nito de fbfs. Una regla de inferencia (o de deduccin o de deriva-
cin) de a A es una relacin que establece el hecho de ser A
una consecuencia inmediata de . Son habituales las siguientes
notaciones:
1) A
2) A
1
, . . . , A
n
A
3) A
1
, . . . , A
n
A
con dos posiciones: 0, abierto y 1, cerrado; la conexin en serie representa la conectiva y la conexin en paralelo, la conectiva ; as, por ejemplo, un circuito que representa
p q (circuito AND) consiste en dos interruptores p y q conectados en serie, un circuito OR consiste en dos interruptores, p y q, conectados en paralelo y un circuito NOT es
un circuito cerrado con un interruptor, p, que permite abrirlo. En los tres casos, la presin del interruptor representa la seal de entrada, mientras que el ujo de corriente por
el circuito, la seal de salida.
20
Las leyes de Morgan se extienden a n variables, por ejemplo: (p
1
p
2
... p
n
) p
1
p
2
... p
n
.
21
Y esto es as porque la Lgica Proposicional es correcta y completa vid. infra teor. 1.23.
22
Dentro del estudio semntico, suele considerarse la diferencia entre uso y mencin. Se dice que se usa una palabra o expresin cuando se emplea teniendo en cuenta
su signicado y que se menciona si slo se la considera como un mero conjunto de smbolos primitivos. Por ejemplo, gato tiene cuatro patas y gato tiene cuatro letras;
en la primera aparicin de la palabra gato
i
se est usando, mientras que en la segunda slo se menciona. Tambin se diferencia entre sentido (intensin o connotacin)
y signicado (extensin o denotacin). Por ejemplo, las expresiones al que madruga, Dios le ayuda y the early bird catches the worm tienen el mismo signicado; sin
embargo, para una persona que no domine el ingls, la segunda dice el pjaro tempranero atrapa el gusano, cuyo sentido es distinto a la primera. Por otro lado, si la persona
domina el ingls, el sentido de ambas tambin es el mismo.
i
En este mismo instante estamos mencionando la palabra gato. La notacin entre comillas cuando se menciona una expresin y no se usa, debe su origen a TARSKI.
6 CAPTULO 1. LGICA PROPOSICIONAL
4) A
1
A
n
A
5)
A
1
.
.
.
A
n
A
El smbolo se sita en el mismo nivel metalingstico
23
que los
smbolos [= y (nivel 1), por lo que las consideraciones con respec-
to a la precedencia o uso de parntesis son las mismas que las comen-
tadas anteriormente para estos dos, a saber, que domina a cualquier
conectiva.
Denicin 1.30.- Se dice que una fbf A, se deduce, deriva o inere
inmediatamente
24
de un conjunto nito de fbfs , precisamente si
existe la regla de inferencia A.
Denicin 1.31.- Sea A una fbf y un conjunto de fbfs. Se deno-
mina deduccin (derivacin o inferencia) formal de A a partir de
, a toda secuencia nita de fbfs, tales que cada una de ellas sea
DF1) una fbf de , o DF2) una fbf vlida, o DF3) una fbf que se
inera inmediatamente de un conjunto nito de fbfs anteriores en la
secuencia.
Teorema 1.15.- Toda regla de inferencia es una deduccin formal.
Pero an ms, la deduccin formal es un procedimiento que pro-
porciona nuevas reglas de inferencia (reglas derivadas). Por esto no
presenta inconsistencia notar, como es habitual, por A el he-
cho de que A se deduzca formalmente de esto es, que A sea el
ltimo trmino de una deduccin formal desde .
1.4.2. Sistemas deductivos
Denicin 1.32.- Un sistema deductivo Test formado por dos con-
juntos: (1) un conjunto vaco, nito o innito numerable, de fbfs,
denominadas axiomas de T, y (2) un conjunto 1no vaco, de reglas
de inferencia.
Grosso modo, se distinguen dos tipos de sistemas deductivos, los
sistemas de deduccin natural (tipo Gentzen-Jaskowski), si es
vaco, y los sistemas axiomticos (tipo Hilbert), si no es vaco.
Denicin 1.33.- Sea un conjunto de fbfs. Se denomina teorema
de en T a cualquier fbf Aque sea deducible formalmente de
mediante las reglas de inferencia de 1. Se nota
D
A o simple-
mente Asi no ha lugar a confusin. Las fbfs de se denominan
premisas o hiptesis del teorema. A es la conclusin o tesis.
Si todas las premisas son fbfs vlidas, entonces la conclusin es una
fbf vlida.
Si todas las premisas son axiomas, es decir, si , entonces
A no es ms que A. Esto suele notarse A y denominarse
teorema lgico.
Teorema 1.16.- Sean, T un sistema deductivo, un conjunto de fbfs
y T el conjunto de todos los teoremas de en T. Entonces:
(1) T.
(2) T es cerrado para todas y cada una de las reglas de inferencia
(bsicas y derivadas).
(3) T es el menor (en el sentido de la inclusin) de todos los conjun-
tos de fbfs que satisfacen (1) y (2) (en realidad, es la interseccin de
todos ellos).
(4) Principio de Induccin para Teoremas (PIT): Si S T y S
satisface (1) y (2), entonces S = T.
Teorema 1.17 (Propiedades).- Sean A y B fbfs y y conjuntos
de fbfs. Se satisfacen las siguientes propiedades:
1) Monotona: Si y A, entonces A.
2) Compacidad: A si y solo si existe
0
,
0
nito, tal
que
0
A.
3) Transitiva (Regla T): Si A y para toda fbf B de , B,
entonces A.
Teorema 1.18 (Teorema de la Deduccin (TD)).- Si A B,
entonces A B.
Teorema 1.19 (Teorema Recproco del de la Deduccin (TRD)).-
Si A B, entonces A B.
Obsrvese que si = , TD y TRD establecen que armar que de
A se deduce formalmente B equivale a armar que A B es un
teorema lgico. En particular, armar A A (A se deduce de A)
equivale a armar el teorema lgico A A.
Ejemplo 1.16.-
1) Si A
1
, . . . , A
n
A, entonces A
1
, . . . , A
n1
A
n
A.
2) Si A
1
, . . . , A
n1
A
n
A, entonces A
1
, . . . , A
n
A.
Denicin 1.34.- Se denomina teora formal a un sistema deductivo
ms un conjunto de fbfs no axiomas.
Uno de los nes implcitos en el desarrollo de cualquier teora for-
mal es que su teora de modelos y su de la demostracin coincidan
en su expresividad, en el sentido de que lo que sea derivable semn-
ticamente lo sea tambin sintcticamente, y viceversa.
1.4.3. Correccin
Denicin 1.35.- Una teora formal satisface la propiedad de co-
rreccin, rectitud o validez (es correcta), precisamente si para to-
do conjunto de fbfs y para toda fbf A: si A, entonces
[= A esto es, la derivabilidad sintctica asegura la derivabi-
lidad semntica. En particular, todo teorema lgico, A, es una
fbf vlida, [= A.
Que se satisfaga la propiedad de correccin es extremadamente im-
portante, pues simplica enormemente la demostracin. Pinsese
que para asegurar [= A deberamos corroborar que todas las in-
terpretaciones son modelos, mientras que para asegurar A es
suciente con encontrar una deduccin formal desde a A.
1.4.4. Consistencia
Denicin 1.36.- Un sistema deductivo consistente es aqul en el
que A y A no pueden ser teoremas lgicos simultneamente y
se dice inconsistente en caso contrario.
Denicin 1.37.- Sea un conjunto de fbfs. Si existe una fbf A tal
que A y A, se dice que es conjunto inconsistente de
fbfs. Caso contrario se dice consistente.
Teorema 1.20.- Si es un conjunto inconsistente de fbfs, entonces,
para toda fbf A, A.
Teorema 1.21.- Un enunciado equivalente de la propiedad de co-
rreccin es el siguiente: Todo conjunto inconsistente de fbfs es un
conjunto insatisfactible de fbfs.
Teorema 1.22 (Reduccin al absurdo (RAA)).- Que A sea
un conjunto inconsistente de fbfs equivale a que A.
1.4.5. Completitud
Denicin 1.38.- Una teora formal satisface la propiedad de com-
pletitud (es completa), precisamente si para todo conjunto de fbfs
y para toda fbf A: si [= A, entonces A esto es, la derivabi-
lidad semntica asegura la derivabilidad sintctica. En particular,
toda fbf vlida, [= A, es un teorema lgico, A.
Teorema 1.23.- La Lgica Proposicional es correcta teorema de
rectitud (Post) y completa teorema de completitud (Kalmar).
En otras palabras, los teoremas lgicos
25
son precisamente las fbfs
vlidas.
Teorema 1.24.- La Lgica Proposicional es consistente pues, ca-
so contrario, si existiese una fbf A tal que A y A, simult-
neamente, entonces, por la propiedad de correccin, [= A y [= A,
simultneamente, en contra de la denicin de interpretacin.
1.4.6. Dualidad
Denicin 1.39.- Dada una fbf A del cac , , , se denomina
fbf dual de A, y se nota A

, a la que resulta de cambiar en A to-

23
Algunos autores utilizan la tipografa en itlica para el lenguaje objeto y la normal para el metalenguaje: as, (p q) p q es del lenguaje objeto y (p q)p q
es del metalenguaje. Otros usan letras latinas para el lenguaje objeto y letras griegas para el metalenguaje: as, (p q) p q es del lenguaje objeto y
( ) es del metalenguaje. Nosotros, distinguimos las dos situaciones de la siguiente manera: siempre que en una expresin aparezca uno o varios de los
smbolos |=, , , , , A, B, C, . . . , es del metalenguaje; en caso contrario, es del lenguaje objeto.
24
Si A p y B p, se dice que B se inere inmediatamente de A, pues existe una regla de inferencia, ya conocida por nosotros, p p, que nos permite deducir
p a partir de p.
25
Ntese que los teoremas lgicos son los axiomas y los teoremas propios.
1.5. SISTEMA DE DEDUCCIN NATURAL (SDN) 7
das las apariciones de por , y las de por , sin modicar las
apariciones de los .
Teorema 1.25 (Principios de dualidad).-
DU1) A

A.
DU2) A B A

.
DU3) A B B

.
Ejemplo 1.17.-
a) Si A A, entonces, por DU1, (A A)
b) Si A B B A, entonces, por DU2, A B A B
c) Si A B A, entonces, por DU3, A A B
1.5. Sistema de Deduccin Natural (SDN)
La presente exposicin se fundamenta en un sistema de deduccin
natural
26
, elaborado, independientemente por GENTZEN y JAS-
KOWSKI, en 1934. En l, a partir de unas reglas bsicas de inferencia,
es posible resolver cualquier problema deductivo.
1.5.1. Reglas bsicas de inferencia
Las reglas bsicas de inferencia del SDN son:
Introduccin de (II): A B (A B)
Eliminacin de (EI)
27
: (A B) A B
Introduccin de (IC): A, B A B
Eliminacin de (EC): A B A A B B
Introduccin de (ID): A A B B A B
Eliminacin de (ED): A B, A C, B C C
Introduccin de (IN): A B, B A
Eliminacin de (EN): A A
El ejemplo 1.17.c proporciona una formulacin alternativa del sis-
tema de deduccin natural, a saber, si se admite DU3 y las reglas
bsicas de eliminacin de , sobran las de introduccin de .
1.5.2. Reglas derivadas, I
Aunque con las ocho reglas es posible resolver cualquier problema
de deduccin formal, el proceso, a veces, sera bastante arduo. Pue-
de facilitarse esta labor aumentando el nmero de reglas que puedan
utilizarse; se denominan reglas derivadas (de las anteriores). Un
concepto que ayuda a la generacin de estas reglas derivadas es el
visto ya de dualidad.
Las que estn formuladas con son realmente dos, una en cada
sentido.
De implicacin:
Transitiva de (TI): (A B) (B C) (A C)
Identidad o repeticin (R): A A
Mutacin de premisas (MPr): A (B C) B (A C)
Carga de premisa (CPr): A (B A)
De conjuncin y disyuncin:
Conmutativa: A B B A
A B A B
Asociativa: (A B) C A (B C)
(A B) C A (B C)
Idempotencia: A A A
A A A
Absorcin: A (A B) A
A (A B) A
Distributiva: A (B C) (A B) (A C)
A (B C) (A B) (A C)
De negacin:
De contraposicin: A B B A
Introduccin de doble negacin: A A
Principio de no contradiccin: (A A)
Modus tollens (MT): (A B) B A
Eliminacin dbil de negador: A A B
Ley del tercio excluso: A A
Ms de de conjuncin y disyuncin:
Ley de importacin (LImp): A (B C) (A B) C
Ley de exportacin (LExp): (A B) C A (B C)
Silogismo disyuntivo (Modus
tollendo ponens, MTP):
(A B) B A
(A B) A B
Dilemas constructivos y destructivos, simples y complejos:
DCS: (A B) (A C) (B C) C
DCC: (A B) (A C) (B D) C D
DDS: (A B) (C A) (C B) C
DDC: (A B) (C A) (D B) C D
De coimplicacin:
Introduccin de : (A B) (B A) A B
Eliminacin de : A B A B A B B A
(A B) A B (A B) B A
Reexiva de : A A
Simtrica
28
de : A B B A
Transitiva de : (A B) (B C) A C
1.5.3. Reglas derivadas, II
Absurdos: A 0 A A A A
Neutras: A 0 A A 1 A
Absorbentes: A 0 0 A 1 1
Principios
constructivos:
(A C) (B C) A B C
(A B) (A C) A B C
(A B) (C D) A C B D
(A B) (C D) A C B D
Principios de
sumacin:
A B A C B C
A B A C B C
A B (B C) (A C)
Principios
destructivos:
(A B) (C D) B D A C
(A B) (C D) B D A C
Silogismo
hipottico:
(A B) A B (Modus ponendo ponens, MPP)
(A B) B A (Modus tollens, MT)
Silogismo
disyuntivo:
(A B) A B (Modus tollendo ponens, MTP)
(A B) A B (Modus ponendo tollens, MPT)
Reduccin al absurdo: A B (A B) 0
Regla de intercambio
29
: A B C
A
C
B
Regla de sustitucin
30
: A
q
1 A
B
1
Ejemplo 1.18.- Es vlida la siguiente argumentacin?: Si estudio
o soy un genio, aprobar esta asignatura. Si apruebo esta asignatu-
ra, tendr los crditos correspondientes a ella. Como no tengo los
crditos, esto signica que no estudi.
Resolucin: Su formalizacin podra ser: p estudio, q soy
un genio, r apruebo esta asignatura, s tengo los crditos
correspondientes. Se trata, pues, de encontrar una deduccin formal
de p desde p q r, r s, s:
1. p q r [DF1]
2. r s [DF1]
3. s [DF1]
4. p p q [DF2 (introd. de )]
5. p r [DF3 (transitiva de ) a 4, 5]
6. p s [DF3 (transitivade ) a 5, 2]
7. p [DF3( Modus tollens) a 6, 3]
Por tanto, p q r, r s, s p.
26
Estos sistemas se denominan as porque en ellos las deducciones imitan, de alguna manera, la deduccin intuitiva que posee cualquier ser humano. Ms adelante,
estudiaremos sistemas axiomticos (menos naturales que stos).
27
Modus ponendo ponens (MPP).
28
El recproco de la simtrica tambin es vlido, por lo que se tiene la conmutativa de : A B B A.
29
Se corresponde con el teorema de equivalencia cfr. supra teor. 1.12.2. La regla de intercambio dice en palabras: si una proposicin compuesta C
A
contiene una
proposicin A y se reemplaza A por una proposicin lgicamente equivalente, B, entonces el resultado es una proposicin C
B
, lgicamente equivalente a C
A
. Por ejemplo:
C
A
(p q) (p q), y reemplazando A (p q) por B p q, se obtiene C
B
(p q) (p q), lgicamente equivalente a C
A
.
30
Se corresponde con la primera regla de sustitucin cfr. supra teor. 1.12.1. La regla de sustitucin dice en palabras: si una proposicin compuesta A
q
es una tautologa
y si cada vez que aparece una variable de A
q
, digamos q, se sustituye por una proposicin B, siempre la misma, entonces el resultado es una proposicin compuesta A
B
que tambin es tautologa. Por ejemplo: A
q
(p (p q)) q es tautologa, y reemplazando por B q r, se obtiene A
B
((q r) ((q r) q)) q,
tambin tautologa.
8 CAPTULO 1. LGICA PROPOSICIONAL
1.6. Decidibilidad
Se dice que la Lgica Proposicional es decidible en el sentido de que
siempre existe un mtodo que decide si una fbf es o no vlida.
Hasta ahora conocemos cuatro formas de hacerlo:
DE1) Utilizar las reglas de sustitucin.
DE2) Utilizar formas normales.
DE3) Utilizar los principios de dualidad.
DE4) Derivar formalmente tal fbf de una fbf vlida.
Mas puede ocurrir que no seamos capaces de decidir slo con estos
mtodos.
Ejemplo 1.19.- Es vlida la siguiente argumentacin?: Si el pro-
grama no falla, entonces el programa debe empezar y acabar. El
programa empez y fall. Por lo tanto, el programa no acab.
Resolucin: Su formalizacin podra ser: f el programa falla,
e el programa empieza, a el programa acaba. Se tra-
ta, pues, de encontrar una deduccin formal de a desde f
e a, e f:
1. f e a [DF1]
2. e f [DF1]
3. e a a [DF2 (elim. de )]
4. f a [DF3 (transit. de ) a 1, 3]
5. f e [DF3 (conmutativa de ) a 2]
6. f [DF3 (elim.de ) a 5]
7. a [?]
Es posible deducir 7 de 4, 6? Para hacer tal cosa necesitaramos
la regla de inferencia A B, A B. Es vlida esta regla
de inferencia? Esto es un nuevo problema de hallar una deduccin
formal. Y la respuesta, en este caso, es que, en realidad, esta regla
de inferencia no es vlida. Ahora bien, lo nico que quiere decir sto
es que no hemos sido capaces de encontrar una deduccin formal,
lo cual no indica que no la haya.
Para resolver este tipo de situaciones, dispondremos de tres mtodos
alternativos (en el caso de que por cualquiera de ellos se deduzca que
la fbf A dada es vlida, se estar entonces ante un teorema, A):
DE5) Hallar la tabla de verdad de la fbf.
DE6) Mediante tablas semnticas.
DE7) Mediante reduccin al absurdo: A 0 A.
1.6.1. Tablas de verdad
Consiste en hallar la tabla de verdad
31
de la expresin dada y as
sabremos si es una fbf vlida, contingente o insatisfactible.
Retomando el ejemplo anterior, hemos de hallar la tabla de verdad
de (f e a) e f a:
f e a ( f e a) e f a
0 0 0 1 0 0 0 0 1 1
0 0 1 1 0 0 0 0 1 0
0 1 0 1 0 0 0 0 1 1
0 1 1 1 1 1 0 0 1 0
1 0 0 0 1 0 0 0 1 1
1 0 1 0 1 0 0 0 1 0
1 1 0 0 1 0 1 1 1 1
1 1 1 0 1 1 1 1 0 0
de donde la expresin es una fbf contingente, y por tanto, no se trata
de un teorema.
Ejemplo 1.20.- Supongamos que A y B son fbfs lgicamente equi-
valentes. Sea C una fbf cualquiera. Es (A C) (B C)?
Resolucin: Veamos si (A C) (B C) es o no una fbf vlida.
Como A y B son lgicamente equivalentes, A B es una fbf vli-
da, por lo que los valores de verdad de A y B son iguales, y por tan-
to, la tabla de verdad queda:
(A C) (B C)
0 1 0 1 0 1 0
0 1 1 1 0 1 1
1 0 0 1 1 0 0
1 1 1 1 1 1 1
as, (A C) (B C) es una fbf vlida, y por tanto se tiene el
teorema A C B C.
1.6.2. Tablas semnticas
32
Se trata de un mtodo que se utilizar, fundamentalmente, para pro-
bar la validez de una fbf A o de una inferencia A. Las fbfs
implicadas y sub-fbfs suyas, se organizan como etiquetas de los no-
dos de un rbol, rbol que se ir extendiendo, todo ello de acuerdo a
lo que se indica a continuacin.
Denicin 1.40.- Considrese el cac , , , , . Cada fbf
conjuntiva (de tipo ) o disyuntiva (de tipo ) tiene asociadas dos
componentes, de tal forma que
1

2
y
1

2
.
Se distinguen dos tipos de patrones, los patrones de extensin de
tipo (conjuntivos): doble negacin (DN), conjuncin (C), ne-
gacin de la disyuncin (ND) y negacin de la implicacin (NI):

1

2
DN : A A A
C : A B A B
ND : (A B) A B
NI : (A B) A B
y los patrones de extensin de
tipo (disyuntivos): negacin de la conjuncin (NC), disyuncin
(D), implicacin (I), equivalencia (E) y negacin de la equivalencia
(NE):

1

2
NC : (A B) A B
D : A B A B
I : A B A B
E : A B A B A B
NE : (A B) A B A B
Denicin 1.41.- Una rama insatisfactible (cerrada o clausurada)
es aquella en la que el conjunto de fbfs que etiquetan sus nodos es
un conjunto insatisfactible de fbfs en particular pinsese en un
conjunto que incluya a una fbf y a su negacin, o a cualquier fbf
insatisfactible. Caso contrario, se trata de una rama abierta. Un
rbol insatisfactible (o cerrado) es aqul en el que toda rama es
insatisfactible.
Denicin 1.42.- Una rama satisfactible es aquella en la que el con-
junto de fbfs que etiquetan sus nodos es un conjunto satisfactible de
fbfs. Un rbol satisfactible es aqul en el que existe alguna rama
satisfactible.
Denicin 1.43.- Las reglas de extensin, () y (), permiten ex-
tender un rbol, introduciendo subfrmulas de las fbfs que etiquetan
nodos de dicho rbol. Sea A una fbf que etiqueta un nodo hoja; si la
rama de la cual es nodo hoja,
A
, es abierta y el nodo de A no est
etiquetado con

, entonces:
Regla (): Si A es una fbf conjuntiva (de tipo ), se extiende
A
,
con dos nuevos nodos consecutivos
1
y
2
(si
1
=
2
, slo se
aade un nodo).
Regla (): Si A es una fbf disyuntiva (de tipo ), se extiende
A
,
con dos nuevos nodos, uno izquierdo y otro derecho,
1
y
2
(si

1
=
2
, slo se aade un nodo).
La norma para la aplicacin de las reglas de extensin es la si-
guiente: (1) Tanto la regla () como la () slo se aplican una vez
a cada nodo, tras lo que se etiqueta el nodo con el signo

. (2) La
regla () tiene prioridad sobre la regla (). (3) Una vez cerrada una
rama, se etiqueta con el signo y no se extiende ms.
Denicin 1.44.- Una rama completa es aquella que satisface:
(1) Si est en , tambin lo estn
1
y
2
. (2) Si est en ,
entonces, o
1
est en o lo est
2
.
Denicin 1.45.- Un rbol terminado es aqul en el que toda rama
es insatisfactible o completa.
Teorema 1.26.- Para cualquier conjunto de fbfs es posible obtener,
en un nmero nito de extensiones, un rbol terminado.
Denicin 1.46.- Sea = A
1
, . . . , A
n
un conjunto de fbfs. El
rbol inicial para es de una nica rama con raz A
1
y nodos con-
secutivos, en orden, A
2
, . . . , A
n
. Se nota T

. Se dice que T es un
31
Ms o menos fue sobre 1880 cuando se inici esta pauta de razonamiento segn las tablas de verdad; se debe, principalmente, a FREGE, PEIRCE y SCHRDER. A partir
de 1920. La forma ms compacta de hacerlo, que ilustra el ejemplo 2, es de QUINE (Mathematical Logic, 1940 -traducido en Revista de Occidente, Madrid, 1972-).
32
E. W. BETH (1959) The Foundations of Mathematics. North-Holland.
1.7. EJERCICIOS 9
rbol para si existe una secuencia nita de rboles T
1
, . . . , T
n
, de
tal forma que: (a) T
1
= T

, (b) T
i
se obtiene de T
i1
por aplicacin
de una regla de extensin, y (c) T
n
= T.
Denicin 1.47.- Dado un conjunto de fbfs, se denomina refuta-
cin para a cualquier rbol insatisfactible para .
Teorema 1.27.- Sea A una fbf y un conjunto de fbfs. Entonces:
a) A si y solo si existe una refutacin para A.
b) A si y solo si existe una refutacin para A.
Resumiendo, el mtodo de las tablas semnticas es el siguiente:
1) Si se trata de probar si una fbf A es vlida, se etiqueta la raz
del rbol con A. Si se trata de probar si una inferencia A es
vlida, se disponen todas las fbfs de como etiquetas de nodos con-
secutivos, comenzando por la raz, y a continuacin, se etiqueta el
siguiente nodo con A.
2) Se extiende el rbol aplicando las reglas de extensin y la norma
para su aplicacin (cfr. def. 1.43), hasta obtener un rbol terminado.
3) Si el rbol terminado es insatisfactible, entonces ya est probado
que la fbf o inferencia, segn sea el caso, es vlida.
4) Si el rbol terminado es satisfactible, entonces, ya est probado
que la fbf o la inferencia no es vlida.
No obstante, puede aadirse algo ms al paso (4) del mtodo de las
tablas semnticas, a saber, en el caso de que un rbol terminado no
sea cerrado, se puede encontrar, para cada rama abierta, un modelo
para la fbf A o para el conjunto de fbfs de la inferencia, A.
Esto es posible por el teorema de existencia de modelos.
Teorema 1.28 (Teorema de Existencia de Modelos (TEM)).-
a) Si una rama es abierta y completa, entonces es satisfactible.
b) Todo rbol terminado y no cerrado, es satisfactible.
En efecto, TEM asegura que, dado un conjunto de fbfs, todo r-
bol para , terminado y no cerrado, proporciona tantos modelos para
como ramas abiertas tenga. Para cada rama abierta , un modelo
para es la siguiente interpretacin: para toda p, variable de enun-
ciado de cualquier fbf de , I(p) = 1 si p etiqueta algn nodo de
e I(p) = 0 si p etiqueta algn nodo de .
Ejemplo 1.21.- Demostremos, mediante rboles semnticos, la vali-
dez de la ley de exportacin: (A B) C A (B C)
Resolucin:
(A B) C A
1

7,8
(A (B C)) A
2

3,4
A A
3
NI (A
2
)
(B C) A
4

NI (A
2
);

5,6
B A
5
NI (A
4
)
C A
6
NI (A
4
)
(A B) A
7

I (A
1
);

9,10
A A
9
I (A
7
)

B A
10
I (A
7
)

C A
8
I (A
1
)

Al ser un rbol cerrado, es una refutacin para (A B)

C, A (B C), por lo que queda demostrado que es vlido
inferir A (B C) de (A B) C.
1.6.3. Reduccin al absurdo
Se persigue demostrar el teorema A B. El procedimien-
to se basa en la regla derivada (A B) 0 A B. Si
(A B) 0, entonces, aplicando la regla, A B. Caso
de que ((A B) 0), como A B (A B) 0, se
tendra (A B).
Ejemplo 1.22.- (p q) 0 p q?
Resolucin: Veamos si ((p q) 0) (p q)
es o no una fbf vlida. Razonemos con una interpretacin:
((p q)
1
0)
2
(p
3
q)
1 0 0 1 0 1 0 1 1 0 0
3

Representando algunas fbfs por sus conectivas dominantes:

1) Si I(
2
) = 0, entonces, , I(
1
) = 1 y I(
3
) = 0.
2) I(
3
) = 0 implica I(p) = 1 y I(q) = 0.
3) Se propagan los valores I(p) e I(q) por toda la fbf en cuestin.
4) El valor de verdad de una contradiccin es 0.
5) Como I(
1
) = 1 y el valor de verdad de su consecuente es 0,
el de su antecendente debe ser tambin 0.
6) Tenemos p q. Como I(q) = 0, I(q) = 1. Por otro lado,
como I() = 0 e I(p) = 1, necesariamente I(q) = 0. De este
modo, I(q) es a la vez 0 y 1.
Hemos llegado a una contradiccin, y por tanto, ((p q) 0)
(p q) es tautologa, y el teorema correspondiente, vlido.
1.6.4. Resolucin
..........
1.7. Ejercicios

1.1 .- Demuestre que p q es una fbf satisfactible y que p q

(p q) es una fbf vlida.

1.2 .- Sea Auna fbf tal que, para toda fbf B, AB es una fbf vlida.
Puede armarse algo sobre A?

1.3 .- Es p q r) (p q) una tautologa?

1.4 .- Una madre le dijo a su hija: Si no terminas tu cena o no te

tomas la medicina, te irs directa a dormir y no vers la televisin.
La nia termin su cena y se tom la medicina, pero fue enviada di-
rectamente a la cama. Enfadada, acusaba a su madre de mentirosa.
Quin tiene razn?

1.5 .- Demuestre que , , 1 y , son cacs.

1.6 .- Encuentre una fbf cuya tabla de verdad sea

[1, 0, 1, 1, 1, 0, 0, 1].

1.7 .- Si A y B son fbfs lgicamente equivalentes y C es una fbf

cualquiera, es (A C) (B C) una fbf vlida?

1.8 .- Demuestre la inconsistencia de p q, q, p y de p

q, p r, q r.

1.9 .- Demuestre que si H

1
, . . . , H
n
C, entonces H
1

(H
2
( (H
n1
(H
n
C)))).

1.10 .- Aplique los principios de dualidad para determinar si es v-

lida: A A.

1.11 .- Establezca una conclusin de forma que el teorema resul-

tante sea vlido y demuestre su validez: {Si los pjaros no volasen,
el mar no se vera azul, El mar se ve azul, luego los elefantes saben
patinar, Los elefantes no saben patinar} . . . ?

1.12 .- Demuestre o refute, utilizando tablas de verdad o reduccin

al absurdo, lo siguiente:
a) Si el hombre fuese un pjaro o los cmicos llorasen, entonces
los crculos seran cuadrados. Si los crculos fuesen cuadrados, en-
tonces las autoridades prohibiran andar por las paredes. Por consi-
guiente, si las autoridades permiten andar por las paredes, entonces
los cmicos no llorarn.
b) Si estudio o soy un genio, entonces aprobar el curso. No me
permitirn comenzar el curso siguiente. Si apruebo el curso, enton-
ces me permitirn comenzar el curso siguiente. Por lo tanto, no es-
tudi.
10 CAPTULO 1. LGICA PROPOSICIONAL
c) Si no especico las condiciones iniciales, entonces mi programa
no empezar. Si programo un ciclo innito, entonces mi programa no
terminar. Si el programa no empieza o si no termina, entonces el
programa fallar. De ah que si el programa no falla, entonces es-
peciqu las condiciones iniciales y no program un ciclo innito.

1.13 .- Determine el valor de verdad de la expresin ((pq)(q

r) r) p mediante tablas de verdad y reduccin al absurdo.

1.14 .- La persona A le dice a la persona B: Iremos donde te he

dicho nicamente si hace buen tiempo. Y hay algo que est claro, o
hace buen tiempo o hace mal tiempo. Si hace mal tiempo, entonces
iremos pasado maana. As que, vamos donde te he dicho maana
o pasado maana. Sin embargo, la persona B le dice que no le
convence su razonamiento. Por qu?

1.15 .- Determine el valor de verdad de la expresin ((p

q) (q r)) (p r) mediante tablas de verdad, reduccin
al absurdo y formas normales.

1.16 .- Tras diversas consultas sesudas el ministro correspondiente

razona as: Una manera de lograr que la contaminacin sea acep-
table es conseguir que circulen menos automviles por las carrete-
ras. Una manera de que circulen menos automviles es cobrar por
usar las carreteras. Si circulan menos coches por las carreteras, la
temperatura atmosfrica del pas descender. Esta primavera ha he-
cho ms fro. Conclusin: la contaminacin es aceptable. Hasta
qu punto tiene razn el ministro?
33

1.17 .- Utilice tablas de verdad para demostrar si las siguientes ar-

gumentaciones son vlidas: (A) p q, r p q p r, (B)
p q, r p q p r.

1.18 .- Demuestre que la fbf pq pq no es vlida y proporcione

interpretaciones para ella que sean modelos y que no lo sean.

1.19 .- Demuestre, mediante el mtodo de las tablas semnticas, si

las siguientes fbfs o inferencias son o no vlidas:
a) p p 1
b) p p 0
c) p q p q
d) p q p q
e) A B 0 A B
f) A p, B p, B A p
g) (A B) (((A C) (B C)) ((B C) (A
C))) (cfr. ejemplo 1.20)

1.20 .- Utilizando cualquier mtodo de decidibilidad de la Lgica

Proposicional, demuestre si es o no vlido el siguiente razonamiento.
Hiptesis 1: El programa compilar siempre que hayamos decla-
rado las variables. Hiptesis 2: Declararemos las variables si y
slamente si no se nos olvida hacerlo. Hiptesis 3: El programa
no compila. Conclusin: Se nos ha olvidado declarar las varia-
bles.

1.21 .- p q p est en forma normal disyuntiva, apareciendo

una variable y su negacin; sin embargo, no es tautologa. Qu
explicacin tiene esto?

1.22 .- La fbf dual de Modus Ponendo Ponens, es tautologa, con-

tradiccin o contingencia?

1.23 .- Ana, Isabel y Jos reciben como regalo un perro, un gato

y un bho, querindose quedar cada uno con un animal. Estn de
acuerdo en lo siguiente:
a) Ana no se queda con el perro.
b) Si Jos se queda con el bho, Ana no se queda con el gato.
c) Si Isabel se queda con el perro, Ana se queda con el gato.
d) Si Ana se queda con el gato, Isabel se queda con el perro.
Deduzca todos los posibles repartos de las mascotas en estas condi-
ciones.

1.24 .- Si Ana dice que no, Beln dir que s. Es imposible que, a la
vez, Ana diga que s y Carmen dude. De hecho, si Beln dice que s,
Ana dir tambin que s y Carmen no dudar. Dudar Carmen?

1.25 .- Es vlido el siguiente razonamiento? Esta ley ser apro-

bada en esta sesin si y solo si es apoyada por la mayora. O es
apoyada por la mayora o el presidente se opone a ella. Si el presi-
dente se opone a ella, ser propuesta en la deliberacin del comit.
Por tanto, o esta ley ser aprobada en esta sesin o ser propuesta
en la deliberacin del comit.

1.26 .- Es vlido el siguiente razonamiento? Si mis clculos son

correctos y pago el recibo de la luz, me quedar sin dinero. Si no lo
pago, me cortarn la luz. Por tanto, si no me he quedado sin dinero
y no me han cortado la luz, es que mis clculos son incorrectos.

1.27 .- Para el acceso a un puesto directivo en una empresa quedan

tres nalistas empatados. La empresa les propone el siguiente pro-
blema: se les muestra tres nmeros cero y dos nmeros uno, hechos
de papel, dicindoles: Se les va a colgar de la espalda un nmero
de stos, al azar. Ninguno podr ver su nmero pero sabr el de los
otros. El que acierte su nmero ser el ganador, pero si se equivoca
no podr volver a optar a este puesto ni a ningn otro de nivel igual
o superior (o sea, si no se est seguro, mejor callarse). El tribunal
coloc a los tres nalistas un nmero cero, sin sortearlos, en con-
tra de lo que haba dicho, y les pregunt a cada uno por turno; los
dos primeros interrogados dijeron que no lo saban, mientras que el
tercero respondi acertadamente. Estaba ste enchufado?

1.28 .- Imagnese que es un prisionero encerrado en una sala don-

de hay dos puertas con un guardin en cada una de ellas. Puede que
las dos puertas conduzcan a la libertad, o bien slo una o bien nin-
guna. De los guardianes se sabe que o bien ambos dicen la verdad o
bien ambos mienten. El guardin de la puerta 1 le dice: Al menos
una puerta conduce a la libertad. El guardin de la puerta 2 le di-
ce: La puerta 1 conduce a la libertad. Si usted desea conseguir su
libertad, qu puerta debe elegir?

1.29 .- Demuestre que de p q 0 se deduce p q, de dos for-

mas: mediante una derivacin formal y por reduccin al absurdo.

1.30 .- La isla de Catru es la isla de los caballeros y truhanes. No

hay ms seres humanos que ellos. Un caballero siempre dice la ver-
dad, mientras que un truhn siempre miente.
a) Se encuentra con dos catrunianos A y B. A le dice: si B es un
caballero, entonces yo soy un truhn. Puede estar seguro de lo
que son A y B?
b) A otro catruniano le pregunta si hay tigres en la isla. l te res-
ponde: Hay tigres en la isla si y solo si soy un caballero. Qu es
l, caballero o truhn? Hay tigres en la isla?
c) Se encuentra con tres catrunianos A, B y C. Le pregunta a A,
es usted caballero o truhn? A le responde en el dialecto de Catru,
que usted no conoce. Le pregunta a B, qu ha dicho A? y B le res-
ponde que ha dicho que es un truhn. C le dice que no crea a B, que
le est mintiendo. Qu son A, B y C?
d) Usted no ha conseguido averigarlo. Decide preguntar a A,
cuntos caballeros hay entre ustedes? De nuevo le responde en ca-
truniano. Al requerir la respuesta de B, le dice que Ale dijo que hay
un caballero entre ellos. Otra vez C le dice que no crea a B, que le
miente. Qu son A, B y C?
e) Siguiendo su camino, se encuentra con otros tres. A le dice: To-
dos somos truhanes; B le dice: Uno slo de nosotros es un caba-
llero. Qu son A, B y C?

1.31 .- La isla de Ay es algo diferente. Tiene slo dos tipos de habi-

tantes humanos, los panis y los manis, los cuales pueden estar bien
locos o cuerdos. Los cuerdos son absolutamente cuerdos, esto es,
saben que todos los enunciados verdaderos son verdaderos y que to-
dos los falsos son falsos. Los locos, por el contrario, creen que todos
los enunciados verdaderos son falsos y todos los falsos verdaderos.
Todos son siempre sinceros, esto es, creen en lo que dicen.
a) Se encuentra con dos ayenses, A y B. Le pregunta a A: es B
pani o mani? Le dice: mani. Le pregunta a B: es A pani o mani?
Le dice: pani. Qu son A y B?
b) A otro ayense C, le pregunta: es usted pani? Le dice: creo que
33
Adaptado de T. CRILLY (2009). 50 cosas que hay que saber sobre Matemticas. Ariel.
1.7. EJERCICIOS 11
s. Qu es C?
c) Se encuentra a otros dos ayenses A y B. Le pregunta a A: es
usted pani? Le dice: s. Le pregunta a B: eres pani? Te dice: creo
que creo que s. Qu son A y B?

1.32 .- Utilice el mtodo de reduccin al absurdo para demostrar la

validez del siguiente argumento. Hiptesis 1: Si hace calor, enton-
ces paso calor. Hiptesis 2: Si paso calor, entonces no paso fro.
Conclusin: Si paso fro, entonces no hace calor.

1.33 .- Si aplicando el mtodo de reduccin al absurdo a una ex-

presin no surge una contradiccin, entonces la expresin es una
contradiccin. Es esto verdadero o falso?

1.34 .- Utilizando cualquier mtodo de Lgica de Proposiciones,

demuestre si es o no vlido el siguiente razonamiento. Hiptesis 1:
Si hay luz, entonces veo. Hiptesis 2: Si no hay luz, entonces no
veo. Conclusin: Veo o no veo.

1.35 .- Utilizando cualquier mtodo de Lgica de Proposiciones,

demuestre o refute el siguiente razonamiento: El hecho de que el
telfono suene indeca que hay lnea. El telfono suena si y solo si
la alarma no est conectada. No hay lnea. Luego, la alarma est
conectada.