Elementos de logica y

calculabilidad

Xavier Caicedo F.

Departamento de Matematicas
Universidad de los Andes
 Contenido

Introduccion, ix

Primera parte
EI cl'Iiculo de proposiciones

Capitulo 1
Sintaxis,3 1.1 Simbolizacion 3

1.2 Formulas bien formadas, induccion en formulas 8

1.3 Descomposicion tinica, conectivo principal 12

1.4 El arbol de una formula, definiciones recutsivas 16

1.5 Supresion de parentesis 20

1.6 Notacion polaca 21

1.7 Decidibilidad 28
I"~-"--------"-"-~

Capitulo 2
Deduccion formal, 35 2.1 calculo Proposicional Axiomatico 37

2.2 Deducci6n con premisas, reglas derivadas 40

2.3 Teorema de 1a deducci6n 44

2.4 Reducci6n al absurdo 48

Capitulo 3
Semantica, 55 3.1 Valuaciones, validez 56

3.2 Completitud 62

Capitulo 4
Equivalencia,71 4.1 Algebra Proposicional 71

,4.2 Conjuntos completos de conectivos 76

14.3 Formas normales, funciones booleanas 80

Capitulo 5
Resolucion en el cruculo
de proposiciones, 89

Capitulo 6
Compacidad, Conjuntos
infinitos de premisas, 95 6.1 Lema de Konig 96

6.2 Compacidad 100

Segunda parte
Calculo de predicados

Capitulo 1
Simbolizacion,.107 1.1 Predicruios, relacio!leS, cuantificadores 108
1.2 Igualdad, funciones 116

1.3 Conceptos primitivos y definidos 121 :i

1.4 Sintaxis 126

Capitulo 2
Semantica, 135 2.1 Estructuras 135
2.2 Validez 143

2.3 Isomorfismo 149

Capitulo 3
Deducci6n Formal, 155 3.1 kdomatizaci6n del Calculo de Predicados 155

3.2 Validez del sistema axiomatico 164

3.3 Especi£icaci6n existencial 169
3.4 Equivalencia, Forma Prenexa 173

Capitulo 4
Resoluci6n en el
calculo de predicados, 181 4.1 Forma Normal de Skolem 181
4.2 Teorema de Herbrand 185
r
,

4.3 Metodo de Resoluci6n 190

4.4 Demostraci6n del Teorema de Herbrand 193

Tercera parte
CaIculabilidad

Capitulo 1
Enumerabilidad efectiva,
deddibilidad, 199 1.1 Conjuntos enumerables y no enumerables 200

1.2 Conjuntos efectivamente enumerables 206

!.
1.3 Existencia de conjuntos no efectivamente
enumerables 212

1.4 Conjuntos decidibles 216

Capitulo 2
Funciones recursivas, 221 2.1 Funciones recursivas primitivas 221

2.2 Funciones r.ecursivas 228

2.3 Conjuntos f,-o/.:ursivos 231

2.4 Funciones defmidas de relaciones 235

2.5 Conjuntos recursivamente enumerables 239

2.6 Funciones recursivas parciales 244

Capitulo 3
Maquinas de Turing, 247 3.1 Maquinas de Turing 247

3.2 Ejemplos 256

3.3 Turing- Calculabilidad de Funciones recursivas 266

Capitulo 4
Elproblema
de Ia parada, 279 4.1 Maquinas Universales 279

4.2 EI problema de Ia parada 288

Capitulo 5
Recursividad de funciones
Turing-calculables, 293 5.1 Codificacian recurslva de sucesiones finitas 293

5.2 Recursividad de Ia [uncian de Ackermann 298

5.3 Toda [uncian Turing-calculable es recursiva 301

5.4 Forma normal de Kleene 309

B1iobliografia, 315
 r:
I!I,
,I
Explicar el sentido en que se toman las palabras, I''!
determinar bien su significado, es ir por el atajo de la i'
11
verdad, es suprimir obstaculos y disputas interminables,
tan prerjudiciales como inUtiles.

F.J. de Caldas, "Del inJlujo del clima sobre los seres r

organizados"

II
i!
!! 1

ir
,

1~r
J
,
;:.1

f
I':!
r
,~ :

;;:'

*'~"
'JI
 Introducci6n

Cuando se habla de l6gica moderna se usa referirse a ella como "L6gica

Formal", "L6gica Simb6lica", "L6gica Matematica". Hist6ricamente tal
terminologfa ha aparecido en el orden indicado. Podemos afirmar que la
L6gica Formal es par 10 menos tan antigua como los escritos de Arist6teles,
en donde ya se observa que la validez de los silogismos depende de su forma
y no del significado particular de las proposiciones que los componen. En
esta etapa los sfmbolos son meros auxiliares en la clasificaci6n de las
diversas formas de argumen,tos. La L6gica Simb6lica en cambia tiene su
precursor en Leibnitz, uno de los creadores del Calculo Infinitesimal, quien
se interes6 por el problema 4e descubrir una "characteristica universa lis ",
es decir un metoda para simbolizar proposiciones y argumentos de Mate-
matica y Metaffsica y "calcular" can las formas simb6licas en orden a
averiguar su verdad 0 validez. Este deseo se cristaliza, apoyado par los
progresos del Hamada "metoda axiomatico", en el siglo XIX can los
trabajos de George Boole, De Morgan, Frege, Shroeder, Pierce, y Peano.
Puede decirse que esta etapa culmina en 1910 - 1913 can la monumental
Principia Mathematica de Whithead y Russell, en donde una gran porci6n
del raciocinio matematico se reduce a un calculo simb6lico. El desarrollo
posterior corresponde ala L6gica matemdtica, cuando los sistemas formales
mismos se convierten en objetos de estudio par metodos matematicos .
(Metamatemiitica). Son Hilbert, LOwenheim, SkoIem, Godel, y Tarski,
entre otms, los principales propiciadores en Ia primera mitad del siglo XX
de este desarrollo,. el cual nos ha dado resultados muy profundos en los
Fundamentos de la Matematica y en la Teorfa de Calculabilidad Efectiva,
resutados que inciden radicalmente en areas que van desde la pura especu-
x

laci6n filos6fica hasta las aplicaciones practicas de la Matematica. Por otra

parte la L6gica se ha convertido er un instrumento poderosfsimo para el
estudio de las Matematicas mismas, de manera que ha IIegado a conformar
una de las grandes areas en que se divide su estudio, junto con las tradicio-
nales como Analisis y Algebra.

]
Primera parte

E1 Calculo
de
Proposiciones
 Capitulo 1

1.\-,'.
Sintaxis

1.1 Simbolizaci6n

La idea de simbolizar proposiciones 0 partes de las proposiciones dellenguaje

'1
ordinario con el objeto de hacer explfcitas sus conexiones l6gicas se remonta I
par 10 menos hasta Arist6teles (384 - 322 A.C.). Expresiones como "todo S
es P" fueron usadas por Arist6teles para simbolizar todas las afirmaciones de
la forma: "todo hombre es mortal", "todos los metales brillan", "todos los
gatos son pardos", etc .. Esto permiti6 establecer la validez de ciertos argu-
mentos de una forma dada, independientemente de los significados del sujeto
S y predicado P de cada proposici6n involucrada. Este es d caso, por ejemplo,
del silogismo : si "Todo S es P" y "Ningun P es Q" entonces "Ningun S es
Q", el cual en notaci6n tradicional se podrfa expresar:

Todo S es P
Ningun P es Q
Ningun S es Q.

Otro ejemplo mas sencillo seria : de "Algun S es P" se sigue "Algun P es S".

EI anal isis 16gico de las proposiciones a traves de la conexi6n sujeto-pre-

dicado esta incluido en el Ca1culo de Predicados que estudiaremos mas
adelante (Cap. II). El Calculo de Proposiciones que presentamos en este
capitulo estudia por el contrario las conexiones logic as de las proposiciones
dcsde un punta de vista mas general. Analizaremos las proposiciones
 4 Sintaxis

i
solamente en cuanto estas puedan estar compuestas 0 ser combinaci6n de I
proposiciones mas sencillas. Este analisis nos llevara a ciertas proposiciones .!
at6micas que no se dejan descomponer mas, y que simbolizaremos por letras
como p, q, r, etc. Ciertas partfculas y expresiones lingiifsticas que conectan
proposiciones se simbolizaran tambien por sfmbolos especiales. Sera claro
que la validez de muchos argumentos s610 depende de la forma como las
proposiciones involucradas se combinan a partir de las at6micas por medio
de estos "conectivos". Considere por ejemplo el argumento siguiente:

Juan tiene 20 afios 0 22 afios

Si Juan tiene 22 afios,
entonces naci6 antes que Pedro.
Juan no naci6 antes que Pedro.
Juan tiene 20 afios.
1;-
't
i,I
Evidentemente las cuatro oraciones estan formadas por combinaciones de
I las siguientes proposiciones at6micas:
I

p: Juan tiene 20 afios

q: Juan tiene 22 afios
II , r: Juan napi6 antes que Pedro

II en la forma:
I,
i
l l.p6q
2. Si q entonces r.
3. No es el caso que r.
p

Ahora bien, el argumento es correcto no importa eual sea el significado de

p, q, r. Si llamamos proposicion a cualquier expresi6n para la cual tenga
sentido decir que es verdadera 0 falsa (aunque no tengamos manera de saber
cual es el caso), y suponemos que p, q, r representan cualesquiera propos i-
ciones, tenemos la siguiente demostraci6n informal del argumento simb6-
lico anterior: si las premisas 1, 2, 3 son verdaderas, entonces p debe ser
verdadera ; de fo contrario par la premisa 1, al ser fa/sa p deberia ser
 1.1 Simbolizaci6n 5

verdadera q; ahora, por fa premisa 2 al ser verdadera q serla verdadera r;

pero esto contradirfa fa premisa 3 que estamos suponiendo cierta.

Es claro que la validez del argumento se basa solamente en el significado

de los conectivos: "_ 6 _", "si _ entonces _"; "no es el caso que _",
y no en el de lasproposiciones p, q, r.

Muchas expresiones del lenguaje ordinario conectan proposiciones para

formar nuevas proposiciones, pero desde cierto punto de vista todas son
substituibles por los siguientes conectivos cuya simbolizaci6n indicamos:

P 6 q (incluye el caso en que ambos p y q son ciertos ) pv q

si p entollces q (de p se sigue q, p implica, ...) p::)q
IW es el CGJO que p (no es cierto p, es falso p, ...) ~p

pyq pAq
P si y solamente si q p-q

EI anterior argumento quedarfa:

p~q
q ::) r

I
Tambien podrfa expresarse como una sola proposici6n compleja:

((p v q) A (q ::)r) A ( ..... r)) ::)p.

i
Esta ultima oraci6n es siempre verdadera, es decir es verdadera cualquiera I
I,.

que sea el significado de p, q y r, como 10 hemos demostrado en el parrafo

anterior. Podrfamos decir que e[ objeto de la Logica es hallar estas formas
absolutamente verdaderas, estas verdades logicas.
"

Note la importancia de los panSntesis para evitar ambigiiedades. La propo-

6 Sintaxis

slClOn: "Viene Ana y si viene Luis viene Marfa" debe simbolizar-

se p 1\ (q :J r). Si omitimos los parentesis queda p 1\ q :J r, que podrfa
interpretarse alternativamente como: "Si vienen Ana y Luis entonces viene
Marfa", alterandose el significado de la frase. La ultima proposicion debe
simbolizarse (p 1\ q) :J r, y puede darse el caso de que esta proposicion sea
verdadera y la primera falsa.

Ejemplo
La proposicion compuesta : "Si x es par entonces x2 es par. Si x2 es par
entonces no es impar. Ademas, x es par 0 impar. Por 10 tanto, si x2 es impar
entonces x es impar." se puede simbolizar a partir de las proposiciones
atomicas: p: x es par r: x2 es par q: x es impar s: x 2 es impar como:

«p :J r) 1\ (r :J ~ s) 1\ (p V q»:J (s :J q).
3
A pesar de que la conclusion de esta implicacion es verdadera si se entiende
que hablamos de numeros naturales, Ia forma proposicional completa no es
siempre verdadera, se puede dar significados a las Ietras p, q, r, s bajo los
cuales la proposicion es falsa. Utilice por ejemplo los significados originales
dados arriba, pero cambiando x 2 por 3x.

Finalmente observamos que cuando hem os hablado aquf de argumentos,

validez, demostraciones, etc. nos hem os referido a 'su significado intuitivo
en el raciocinio ordinario, matematico 0 extramatematico. Uno de los
objetivos principales de la logica es dar un sentido preciso a estos conceptos.

Ejercicios

1. Simbolice de Ia forma mas fina posible, es decir use letras s6lo para aquellas
proposiciones que no son compuesta de otras (proposiciones at6micas).
a. Si Juan viene a la fiesta, Luis vendra. Si Luis viene Marfa tam bien. Pero
Marfa viene solo si Juan viene. Par 10 tanto, Luis no vendra a la fiesta.
b. x es primo si y solo si x no es 1 y no tiene divisores propios.
1.1 Simbolizacion 7

c. Si ella es alta 0 rubia entonces debe llamar la atenci6n. Por 10 tanto,

si el portera estaba en la puerta y no dorm fa, es imposible que ella
haya entrado sin que ella haya visto .
.d. Si 12 divide any amy si cuando x divide tanto a m como n, se tiene
que x oS 12, entonces existen a y b tales que 12 =am+bn.

2. Demuestre que el argumento:

p:::lq
q:::l...,r
svp
r:::ls

. es correcto, independientemente del significado de p, q, r, s. ii

I,
il
3. Simbolice: :
:1,
!

x es par 0 impar pero no ambos

x es par si y solo si x 2 es par
si x es impar entonces x 2 es impar

Demuestre que el argumento simbolizado no es correcto inde-

pendientemente del significado de las proposiciones. l Que premisa se
podrfa aiiadir para que el argumento resulte correcto, inde-
pendientemente de su significado?

4. Cad a uno de los conectivos siguientes es expresable como p:::l q 0 como

q :::l p. Indique cUlil es el caso:
a. p, si q
b. P solamente si q
c. peon la condici6n de que q
d. pes condici6n suficiente para q
e. p es condici6n necesaria para q
I
f. P se sigue de q. I.1:
I·
!
t
8 Sintaxis 1.:

5: Simbolice de la manera mas fina posible: Maria no vendra a la fiesta a d(

menos que Luis venga. 0

6. EI simbol.o v se reserva para la interpretaci6n inclusiva de la disyunci6n

6, es decir p v q incluye como posibilidad eI caso en que ambas
proposiciones son verdaderas. Suponga que v simboliza el 6 exclusivo
(p v q significa : s61.o p 6 s610 q)
a. Exprese p v q en terminos de v, ~ e 1\ •

b. Exprese p v q en terminos de v. e 1\ •

1.2 Formulas bien formadas,induccion en formulas

Definimos en esta secci6n de una manera precisa el lenguaje formal con
que vamos a trabajar. Como hem os visto en la secci6n anterior la forma y
las relaciones estructurales entre las expresiones simb6licas reflejan de
alguna manera las propiedades y relaciones de [as conceptos que elias
pretenden denotar. Esto justifica el estudio de las expresiones mismas como
combinaciones de sfmbolos.

El alfabeto del lenguaje del Ca1culo de Proposiciones consiste de los

siguientes sim bolos:

Conectivos proposicionales
Parentesis ()
Letras proposicionales pqrstuvw
Pi PZ P3···
qi qZ q3···

Los conectivos proposicionales se IIaman respectivamente negaci6n, con-

juncian, disyunci6n, implicacian y equivalencia. Los parentesis se distin-
gucn como parentesis izquierdo "(" y derecho ")". Si V denota el conjunto
1.2 F6nnulas bien fonnadas, inducci6n en f6nnulas 9

de sfmbolos de este alfabeto, llamaremos y* al conjunto de todas las cadenas

o sucesiones finitas de sfmbolos de V, con posibles repeticiones, por ejemplo: .

. . . . '.'-'

IncluiremQsppr conveniencia en Y· una cadena vaC£a que no contiene.

sfmbolos y' que denotaremos A. Utilizaremos letras griegas a, ~,y ';.;'
para denotar cadenas arbitrarias de sfmbolos. Si a = al ... a n E Y· Y ~ =
bl ... bk E Y· entonces aj3= al ... anb1 ... bk sera la yuxtaposici6n 0 concatena-
cion de a y 13. En particular para ·Ia cadena vacfa tendremos Aa =aA = a .

Entre todas esas cadenas especificaremos par medio de la definici6n

siguiente ciertas expresiones que lIamaremos formulas bien formadas 0
fufs. La definici6n es constructiva ya que da "instrucciones" para construir
fufs.

Definicion 1. Una cadena de sfmbolos es una fbf si y solo 51 puede

obtenerse par medio de las reglas siguientes:
Flo Las letras proposicionales son fbfs.
F2. Si a es fbf entonces ~(a) es fbf.
F3. Si a y 13 son fbfs, entonces (a)A(j3), (a)v(j3), (a)::>(j3) y (a)-(j3) son
fbfs.

Ejemp[o
Las expresiones de las lfneas siguientes son fbfs. Las de la primera !fnea 10
son por (FI). Las demas provienen de fbfs en lfneas anteriores, de acuerdo
con (F2) y (F3), ',j
'I'.',

p q r s
(P)A (q) ~(q) (r) v (s)
«~(q) v (r) ~ «r) v (s»
«p) " (q» « ~(q») vCr»~

«(p) " (q» ...... «~(q)) v (r») :::l (~ «r) v (s»

 -
10 Sintaxis

En cambio, la expresi6n p)1I q::>::>(q) no es fbf. Basta observar que (Fl) s610
produce letras proposicionales y las reglas (F2) y (F3) s610 producen
cadenas que comienzan en "~" 0 en "(". La siguiente cadena tam poco es
bien formada, hecho cuya demostraci6n es mas diffcil:
~(~(~(P) II «r)v (s»::> (P»).

La siguiente propiedad de las fufs esta implfcita en la definici6n. Nos dice

que toda fbf se puede "analizar" por medio de fufs mas simples:

F4. Toda fbf es una letra proposicional 0 tiene una de las formas ~ (a),
(a)1I (13), (a)v (13), (a)::> (13) 0 (a)::> (13), en donde a y 13 son tambien
fbfs.

L1amamos ;:s al conjunto de las fbfs. Para cada conectivo proposicional

podemos definir UEa operacion en V*:

F ~ :a I-~ (a)
F II : a, j3l-(a) 11(13)
F v : a, j3l-(a) v (13)
F::>: a, f I-(a)::> (13)
F ++ : a, 131-(a) ++(13)

Un subconjunto J de V* es induetivo si es cerrado bajo tales operaciones.

Por supuesto ;:s y V* mismo son inductivos. El siguiente lema muestra que
;:s es el conjunto inductivo mas pequeno que contiene las letras proposicionales.
Lema 1. Si J es un conjunto inductivo que contiene las letras proposicio-
nales entonces ;:s C J

Demostraci6n. Por inducci6n en n demos tram os que si una fbf a de ;:s tiene
n ocurrencias de conectivos entonces a EJ.
n = O. Entonces a es letra proposicional y a EJ por hip6tesis.
Suponga la hipotesis de inducci6n cierta para toda k<n y sea a una fbf con
k ocurrencias de conectivos. Por (F4) hay 2 casos:
a es ~ (a') 0 a es (a') 0 (a") con a', a" ECS, donde 0 tienen menos que
1.2 F6nnulas bien fonnadas, inducci6n en f6nnulas 11

n ocurrencias de conectivos. Par hip6tesis de inducci6n: a', a" EJ PeroJ

es inductivo, por 10 tanto ~ (a') E J y (a') 0 (a")E J . l1li

EI lema anterior tiene como corolario el siguiente importante teorema que

tendremos ocasi6n de usar muchas veces.

Principio de inducciqn,(!n formulas. Sea ffJ una propiedad que se apliea ... ,
a eiertas sueesiones de sfmboLos y taL que:
1. Cada Letra proposieionaL tiene La propiedad,
II. (a) Si a es una fbf que tiene fa propiedad entonees ~ (a) La tiene.
(b) Si a y (3 son fbfs que tienen La propiedad entonees (a) 0 ((3) tiene
La propiedad, para eualquier eoneetivo binario O.
Entonees coda fbf tiene La propiedad.

Demostracwn. Sea J = {a E ~ Ia
tiene la propiedad ffJ}, entonces J
contiene las letras proposicionales por (I) y es inductivo par (II). Por tanto
~ CJ. I!li!

Ejemplo
EI numero de sfmbolos en toda fuf qs de la forma 3n + 1. Basta comprobar
I y II. Sea L[a] eI numero de sfmbolos en a.
1. Si a es letra proposicional. L[ a] = 1 = 3 -0 + 1
II. (a) Si L[ a] = 3n +1 entonces L[ ~ (a)] = 3 + (3n + 1) = 3(n + 1) + 1.
(b) Si L[a] = 3n + 1 Y L[(3] = 3k + 1, entonces
L[(a) 0 «(3)] =5 + 3n + 1 + 3k + 1 = 3(n + k + 2) + 1.

Ejercicios

1. Demuestre rigurosamente que las cadenas siguientes no son fufs:

(P), ~, p A q, (pp) 1\ (q), ~(~(~(p) 1\ «r) v (s»::> (p»),
« ~ «p) ~ (q») ::> (r» ::> «( ~ (.., (P» 1\ (r» ::> (q)).

2. Demuestre por inducci6n en f6rmulas:

12 Sin taxis

a. Si N[a] = # negaciones en a y B[a] = # de conectivos binarios,

entonces el numero de parentesis de a es 2N[a] + 4B[a].
b. Toda ocurrencia de ")" en una fbf va precedida de ")" 0 de una !etra
proposicional.
c. Toda fbf que no es letra proposicional term ina en ")".
d. En toda fbf el numero de parentesis izquierdos es igualal de derechos.

3. Demuestre que ;s = n{J IJ es inductivo y contiene las letras proposi-

cionales }.

4. Un conjunto X.de cadenas de sfmbolos es proposicional si todo elemen-

to de X. es una letra proposicional 0 tiene una de las form as ~ (a),
(a)O«(3), donde a y f3 pertenecen a X. y 0 es un conectivo.
a. Demuestre por inducci6n en el numero de conectivos de los elemen-
tos de X. que X. C ;So
b. Demuestre que ;s = u{x.1 x. es proposicional}.
c. *Demuestre que si X. ;=! 0 entonces X. debe contener letras proposi-
cionales. (Ayuda: considere un elemento de X. de longitud mfnima.)
d. *Demuestre que siJ es un conjunto no vacfo inductivo y proposicional
entonces J = ;s', donde ;S' es el conjunto de fbfs que se obtienen
utilizando solamente las letras proposicionales de J.

Demostraremos en esta secci6n que el lenguaje formal introducido es .

inambiguo, es decir no es posible que una fbfa tenga dos descom posiciones
distintas, v.gr.:

a = C••. tL.) II ( •..Y ••• )

a =(... f3' ...) v ( .•. y' ...)
1.3 Descomposicion (inica, ronectivoprincipai 13

en fbfs mas sencillas ~,y 0 W, y'.

Sea a una cadena de sfmbolos arbitraribs;la cadena (3 es un segmento inicial
de a si existe otra cadena y tal que a =(3 y. Denotaremos esta relaci6n par
~,;; a. La cadena vacfa, A, es un segmento inicial de a (a = A a), a mismo
es un segmento. inicial de a (a = a A).,SiA.,;; a y A. ¢ a, A. es un segmento
inicial propio de a, y esto se denota X<a.:bada una cadena de sfmbolos A.,
sea I(A.) el numero de parentesis izquierdos que ocurren en A. y D(A.) el
numero de parentesis derechos. Note que si A. es fbf entonces I(A.) = D(A.)
(Sec. 1.2, Ejerc. 2(d).

Lema 2. Sea a una fbfy A. un segmento inicial propio de a, entonces:

(1) A.noesfbf
(2) I (A.) 2! D(A.).

Demostracwn. Demostramos ambas afirmaciones simultaneamente por in-

ducci6n en la f6rmula a.
I. a = p letra proposicional. El unico segmento propio es A, y las afirma-
ciones son triviales.
II. (a) Suponemos el lema para todos los segmentos propios de a y 10
mostramos para ~ (a). Hay varios casos para un segmento inicial de ~ (a):
Caso 1: A. = A, A. ="~". Trivial.
Caso 2: . A.= "~(y", donde y ,;; a. Si y<a tenemos por hip6tesis de
inducci6n (2) que I[y] 2! D[y]. Si Y= a, tam bien I[y = D[a]. En cualquier
caso, I[ ~(y] ¢ D[ ~(y] el segmento no puede ser fbf. Esto demuestra (2)
y (1).
(b) Suponga (1) y (2) eierto para todo segmento inicial propio de a y ~.
La demostraremos para (a) 0 ( (3).
, Caso 1: y = A. Trivial.
Caso 2: A. = "(y", con y ,;; a. Similar al easo 2 de (a).
Caso 3: A. = "(a)". (2) vale,trivialmente. P~ra mostrar (1) suponga que
(a) es fbf, entpneesJa) = «(3) 0 (!-l) donde (3 y !-l son fbfs, por (F4). Esto
implica que f3<a y (3 es fbf, eontradiciendo la hip6tesis de indueei6n (1)
para a.
Caso 4: A. = "(a) 0". Trivial (Sec. 1.2, Ejere. 2(e).
Caso 5: A = "(a) 0 (y" can y,;;~. Como I[y] 2! D[y] por hip6tesis de
inducci6n (2) aplieado a (3, y ad~mas D[aJ = I[a] (enemas que
 -
14 Sintaxis

I[A1 = 2 + I[a1 + 1[y];;: 2 + D[aJ+ D[y] = 1 + D[APD[A1, 10 cual implica

(2) y (1) para A. II

Teorema de la. Descomposicion unica. Toda fbf a es una letra proposi-

donal, es de'laforma ...,(a ') con a' fbI, ose puede expresar de una manera
unica en laforma a = (a ') 0 (a") con a', a" fbfs yO un conectivo binario.

Demostraci6n. Par (F4) a tiene una de las tres formas indieadas. Suponga
que existen a', a", ~', W' E:s y conectivos binarios * y # tales que a = (a')
* (a") = (W) # (W')· Mostraremos que a' = W, a" = W' y * = #. Suponga
a' '" W, entonces a'< W0 W< a'. En cualquier caso §e contradice el lema
anterior pues un segmento inieial propio de una fbf'resulta fbf.
Por 10 tanto, a' = W. Esto fuerza los segmentos )*(a") y )#(~") a ser
iguales. Por 10 tanto: * = #, a') = W') y asf a" =: I)". III

Note que si nuestra definici6n de fbf no incluyera parentesis el teorema

serfa falso, pues a = p A q V r tendrfa dos descomposiciones con a' '" W,
a" '" W' y * '" #.

La primera ocurrencia de la negaci6n en una fbf de la forma ...,(a),o la

ocurrencia del conectivo 0 en la descomposici6n liniea: a =(a') 0 (a") se
llama el conectivo principal, 10 seiialamos con una flecha en el ejemplo
siguiente:

«p) A « ""(r» v (s)})", «""(P»::> (...,( ...,(r»».

j

. En f6rmulas muy complicadas puede ser diffcil encontrar a simple vista el

conectivo principal. Daremos un algoritmo que podrfa programarse facil-
mente en una computadora parahallarlo.

Algoritmo. Si la f6rmula comienza por ..., ese sfmbolo es el conectivo

principal; de 10 contrario la f6rmula debe comenzar por un parentesis
izquierdo. Recorra la formula de izquierda a derecha. Asigne al primer
parentesis izquierdo el numero 1. Asigne a cada parentesis izquierdo el
valor asignado al parentesis anterior mas 1. A cada derecho, el valor del
parentesis anterior menos 1. EI conectivo principal es el simbolo inmedia-
;\ tamente despues del primer parentesis al que se asigne O.
"Lil
1.3 Descomposicion unica, conectivo principal 15

Ejempio:
«p) A «~(r)) V (S»)) A «~(pn::>(~(..,{~(r))))
12 1 23 432 3 2 10

Tenemos el algoritmo. l.Que nos garantiza que fU!:lQrpna?

Detnls de cada algoritmo no trivial hay un teoreina.que garantiza que al
aplicarJo se obtiene realmente 10 que se pretende.

Demostracwn de la validez del algoritmo. Note que si 'A. es un segmento inicial

de una fbf a, el numero asignado al ultimo parentesis de 'A. segun las ;

instrucciones del algoritmo es I['A.] - D['A.]. Por ellema 2 este numero es ;;;:
,

i
O. De manera que Ie numero asignado al i-esimo parentesis de a es ni ;;;: O. i
.1
En particular, como los parentesis izquierdos y derechos estan balanceados
en a, el numero asignado al Ultimo parentesis de a es I[ a] - D[ a] = O.
Considere ahora (a) 0 ({3). AI aplicar el algoritmo a esta nueva f6rmula, se
comienza con un pan§ntesis izquierdo adicional a los que pueda haber en a
al cual se Ie asigna 1, de manera que al i-esimo parentesis de a se asigna ni
+ 1 >0. En particular, al ultimo de (a se asigna 0 + 1 = O. Por 10 tanto, al
parentesis ")" que Ie sigue se asigna 1 - 1 = 0, siendo este el primer cero. III

Ejercicios

1. Demuestre que la relaci6n :s; es un orden parcial en V*, es decir es

reflex iva, transitiva y antisimetrica.

2. Demuestre que en todo segmento inicial 'A. de una fbf D['A.] :!: # de ,I
·i!

conectivos binarios en 'A.. .,

3. Sea a una fbf y 'A. una cadena arbitraria de sfmbolos, demuestre que si
a
(a) 'A. es una fbf entcinces 'A. tiene la forma 0 ({3) donde es un conectivo
binario y f3 es una fbf.

4. Defina segmento final de una cadena de forma apropiada y demuestre

que si 'A. es segmento final de una fbf, I ['A. ] s D['A.].
 -
16 Sintaxis

1.4 El arbol de una formula, definiciones recursivas

Una vez que sabemos c6mo hallar el conectivo principal, tenemos un
metoda algorftmico para descomponer una fbf en todas sus subf6rmulas,
es decir aquellas fbfs que entran en su formaci6n, como 10 indica el ejemplo
siguiente:

«p) II « ~ (r)) v (s))) II « ~ (P)) ::J ( ~ ( ~ (r))))

12 1 23 432 3210 1
I
I

(p)
I«
1\ ~ (r)) v (s)) (~(P))::J( ~ (~(r)))

10 I 1 210 i
I I l ( ~ (r))
P (~(r)) v (s) J(p) ( ~

I
I \
1 2 10
1
(r) s
I (r)
p ~

\'r
~
\
\
•
r

La descomposici6n solo se detiene en las letras proposicionales. Si conec-

tamos cad a subf6rmula can la f6rmJla de la cual se hi} desprendido
obtenemos un arbol cuyos nodos son f6rmulas. Si colocamos en cada nodo
solamente el conectivo principal de cada subf6rmula tenemos el arbol de
laf6rmula:

I
I
I
I
!

r r

cuyos nod os tcrminales son las Ictras proposicionales.

1.4 El arrol de unaf6rmula, definiciones recursivas 17

Es posible reconstruir la formula a partir de su arbol; basta comenzar en los

nodos terminales (Ietras proposicionales) y aplicar la operacion sintactica
indicada por cad a nodo. por ejemplo:

/\ ./ . .fi
. . .··.L·.·
. . ·. .·.···.
··.·.·.v.··.·

r
f-> .•....•...••.. ~ ( ~ (r))v (s)
s -, (r) s

El arbol de una formula es mas fundamental que la formula misma pues

indica la (unica) forma como esta es combinacion de operaciones aplicadas
a las letras proposicionales, yes independiente del tipo de notacion que se
use, como veremos en la secci6n 1.6.

Considere ahara la siguiente definicion de una funcion C : 5S - IN,

1. c [p] = 0 si p es letra proposicional
2. C [ ~ (a)] =C [a] + 1
3.C [(a)O(~)]=C [a]+C [~]1+1
La 'definicion anterior se llama recursiva porque permite calcular el valor
en una formula en terminos de los valores en las subf6rmulas que la
componen. Como la longitud de las subformulas va disminuyendo, el
calculo debe terminar en una numero finito de pasos. La funcion C del
ejemplo simpiemente cuenta el numero de conectivos que ocurren en la
formula. Sin embargo, hay otras funciones recursivamente definidas que
.no tienen una interpretacion tan sencilla. Considere

1. f[p] = 0 si p es letra proposicional

2. f[ ~(a)] =f[a] + 1
3. f[(a) 0 (~)] = Max(f[a],f[~]) + 1

Dada una fbf a podemos calcular f[ a] de la manera siguiente.

18 Sintaxis

Determinamos si es letra proposicional, comienza en "~" 0 comienza en

"(". En el primer caso f[ a J = 0, en el segundo caso a = ~ (a') y debemos
calcular f[a'). En el tercer caso debemos hallar el conectivo principal,
escribir a = (a') 0 (a") y calcular f[a'], f[a"]. Para hallar f[a'], 0 f[a'] y
f[ a"] debemos Jepetir el analisis con cada uno de ellos. Debemos construir .
pues el arbol dela formula! Si a es la formula del ejemplo que consideramos.
al comienzode esta seccion, f]a J se calcula construyendo el arbol y luego
calculando de las proposicionales hacia arriba segun la definicion de la
funcion:

:
1~ Os
oi

En cad a node se da el valor de fen la subformula correspondiente a ese

nodo.

Note que es el teQrema de descomposicion unica el que garantiza que una

funcion definida por recurrencia esta bien definida. Si este no valiera y
tuvieramos a = (a') * (13') = (a") # (P") con a' ;>< 13', a";>< 13", entonces al
aplicar (3) del ejemplo anterior tendrfamos:

f[a] = Max(f[a'],f[WD + 1
f[ a] = Max(f[ a"],f[!3"]) + 1

lo.cual pod ria dar dos valores diferentes.

Se puede demostrar, por induccion en formulas, que la funcion f definida

anleriormente da la longitud m,lxima (en numero de arcos) de las ramas del /
arbol de la formula. Por ejemplo, l1(p 1\ q) V (D s)] = 2 mientras que f[p 1\
(qV(DS))J = 3 (Ejerc.3).