Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Geoffrey Hunter, Metalógica
Geoffrey Hunter, Metalógica
Snior Lecturer
METALOGICA
Introduccin a la metateora
de la lgica clsica de
primer orden
1981
Coleccin:
LOGICA Y TEORIA DE LA CIENCIA
dPARANINFO
MADRID
3JI0UOTKCA CENTS
A, M.
Ttulo original:
MITALOGIC An Introduction to the Metatheory
of Standard First Order Logic
Reservados los derechos de edicin,
reproduccin o adaptacin.
IMPRESO EN ESPAA
l'RINTED IN SPAIN
ISIJN: 333.11590.2 (edicin inglesa)
ISBN: 84-283-1102-1 (edicin espaola)
Depsito Legal: M-4561-1981
Magallanes, 25 - Madrid-15
Aleo, artes grficas. Jaspe, 34. Madrid-26
(2,5-2750)
Indice
Prefacio
11
Primera parte: Introduccin: nociones generales
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
Lenguajes formales
Interpretaciones de lenguajes formales. Teora de modelos .
Mecanismos deductivos. Sistemas formales. Teora de la demostracin
'Sintctico', 'Semntico'
Metateora. La metateora de la lgica
Uso y mencin. Lenguaje-objeto y metalenguaje. Demostraciones en un sistema formal y demostraciones acerca de un
sistema formal. Teorema y metateorema
La nocin de mtodo efectivo en lgica y matemtica
C o n j u n t o s decidibles
Correspondencia uno a uno (1-1). Tener el mismo nmero
cardinal que. Tener un n m e r o cardinal mayor (o ms pequeo) que
C o n j u n t o s finitos. Conjuntos enumerables. Conjuntos numerables. Conjuntos no-numerables
Demostracin de la no-numerabilidad del conjunto de todos los subconjuntos del conjunto de los nmeros naturales
Secuencias. Enumeraciones. Enumeraciones efectivas
Teoremas acerca de conjuntos infinitos
Demostracin informal de la incompletud de cualquier sistema formal finitista de la teora no-restringida de los nmeros naturales
18
20
21
23
24
25
28
30
31
32
37
41
42
44
47
7
INDICE
Funciones
Funciones de verdad
Un lenguaje formal para la lgica proposicional veritativofuncional: el lenguaje formal P
18. Convenciones (notacionales): 1. Uso de comillas. 2. Eliminacin de parntesis
19. Semntica de P. Definiciones de interpretacin de P, verdadero/falso para una interpretacin de P, modelo de una frmulaconjunto de frmulas de P, frmula lgicamente vlida de P,
frmula consistente desde el punto de vista de la teora de
modelos/conjunto de frmulas de P, consecuencia
semntica
(en frmulas de P), tautologa de P
20. Algunas verdades acerca de f:p. El Teorema de Interpolacin
para P
21. Potencia expresiva de P. Conjuntos adecuados de conectivas
22. Un mecanismo deductivo p a r a P: el sistema formal SP. Definiciones de demostracin en SP, teorema de SP, derivacin
en SP, consecuencia sintctica en SP, conjunto de SP, consistente desde el punto de vista de la tera de la demostracin
23. Algunas verdades acerca de hsp
24. Conceptos de consistencia
25. Demostracin de la consistencia de SP
26. El teorema de deduccin para SP
27. N o t a acerca de las demostraciones por induccin matemtica
28. Algunos metateoremas de la teora de modelos acerca de
- SP
29. Conceptos de completud semntica. Importancia para la lgica de una demostracin de la adecuacin y de la completud semntica de un sistema formal de la lgica proposicional veritativo-funcional
30. Esquema de la demostracin de Post de la completud semntica de un sistema formal de lgica proposicional veritativo-funcional
31. Demostracin de la completud semntica de SP por el mt o d o de Kalmr
8
64
66
72
74
75
79
80
90
96
97
98
103
108
111
112
115
116
35.
36.
37.
126
138
141
142
144
147
40.
II.
12.
H.
I I.
IS.
161
165
176
192
194
195
199
199
9
INDICE
46.
47.
48.
49.
50.
222
224
229
234
237
59.
247
259
261
263
265
267
279
282
285
289
Referencias
293
305
Prefacio
Mi principal propsito es el de poner al alcance de aquellos lectores que
no tienen ningn entrenamiento especial en matemticas, y que slo
dispongan de un conocimiento elemental de la lgica moderna, demostraciones completas de los metateoremas fundamentales de la lgica clsica de primer orden (bsicamente veritativo-funcional), incluyendo una
demostracin completa de la indecidibilidad de un sistema de la lgica
de predicados de primer orden con identidad.
Muchos libros elementales de lgica se detienen precisamente cuando el tema se pone interesante. Este libro comienza en ese punto y se
ocupa de las partes interesantes hasta llegar a incluir u n a demostracin de
que:
es imposible p r o g r a m a r un ordenador que d la respuesta correcta (y
ninguna respuesta equivocada) a toda pregunta de la forma Es
una verdad puramente lgica?
El libro est pensado para n-matemticos y va explicando conceptos matemticos y de teora de conjuntos a medida que stos van siendo
necesarios.
Los temas principales son los siguientes: demostraciones de la consistencia, completud y decidibilidad de un sistema formal de lgica p r o p o sicional veritativo-funcional clsica. Las mismas demostraciones respecto de la lgica de predicados mondicos de primer orden. Demostraciones de la consistencia, completud e indecidibilidad de un sistema formal de la lgica de predicados de primer orden con identidad. U n a
demostracin de la existencia de un modelo no clsico de un
sistema formal de la aritmtica.
Supondremos que el lector se encuentra en posesin de un conocimiento elemental de las conectivas veritativo-funcionales, de las tablas
de verdad y de los cuantificadores. P a r a el lector que desconozca la
11
PREFACIO
llaves
'{Juan, Pedro}' significa 'El conjunto cuyos nicos elementos son Juan
y Pedro' '{3, 2, 1, 3, 2}' significa 'El c o n j u n t o cuyos nicos elementos
son los nmeros 3, 2, 1, 3, 2' (y este ltimo c o n j u n t o es el mismo conjunto que el conjunto {1, 2, 3}, es decir, el c o n j u n t o cuyos nicos elementos
son los nmeros 1, 2 y 3).
2.
La notacin de la pertenencia
a un conjunto mediante
psilon
3.
El criterio de identidad
de
conjuntos
PREFACIO
HUNTER
St. Andrews,
Diciembre de 1969
1
13
PREFACIO
1972
14
PRIMERA PARTE
Introduccin:
Nociones generales
NOCIONES GENERALES
verdades de la lgica.
utilizadas
para expresar
verdades
de la lgica.
(Dos oraciones distintas, por ejemplo una en francs y otra en castellano, podran utilizarse para expresar la misma verdad de la
lgica.)
Consideremos ahora
(3)
la teora de las
gica.
oraciones-utilizadas-para-expresar-verdades-de-la--
de la lgica.
La mayor diferencia entre metateora en este sentido amplio y metateora en el sentido empleado en esta obra se encuentra en (2). En este
libro, las oraciones-utilizadas-para-expresar-verdades-de-la-lgica deben
ser frmulas de un lenguaje formal, es decir, un 'lenguaje' que pueda
especificarse completamente sin ninguna referencia en absoluto, ni directa ni indirecta, el significado de las frmulas del 'lenguaje'. El resultado
de insistir sobre este requisito fu que la metateora de la lgica, despus
de u n a historia larga e interesante pero inconexa, lleg a proporcionar
en este siglo resultados profundos, nuevos y exactos, con el anuncio de
un crecimiento sistemtico.
Comenzaremos, por lo tanto, con los lenguajes formales.
NOCIONES GENERAL.ES
1.
Lenguajes formales
NOCIONES GENERAL.ES
Es-
EJERCICIOS
1.
3.
NOCIONES GENERAL.ES
RESPUESTAS
1. S.
2. No. La definicin de frmula de X entraa esencialmente una
referencia al significado, ya que una cosa es una palabra castellana slo
si tiene un significado. (Para saber que u n a cosa es una palabra no hay
que saber qu es lo que significa, sino slo que tiene un significado. Pero
esta dbil referencia al significado es suficiente p a r a impedir que X sea
un lenguaje formal.) (Otra forma de decirlo: podramos p r o g r a m a r una
mquina para que nos dijera si la cadena de smbolos era una palabra
en algn diccionario castellano determinado, y la mquina nos lo podra
decir sin saber el significado de ninguna palabra. Pero, con algunas
excepciones que podemos dejar de lado, slo se incluye algo en un
diccionario si tiene u n o o varios significados.)
3. No. P a r a decir si una cadena de smbolos del alfabeto de Y es o
no una frmula de Y tenemos que saber si es una palabra castellana o
no, y, por lo tanto, si tiene un significado o no. Por ejemplo, cmo se
podra decir que 'cae', o 'gafe', o 'de', o 'becada', o 'geg', o 'fea', es una
frmula de Y? Slo descubriendo que es una palabra castellana d o t a d a
de significado. (De hecho, parece que 'geg' es la nica cadena que no es
una palabra castellana, y, por lo tanto, es la nica que es u n a frmula
de Y.)
2.
EJERCICIO
-i
NOCIONES GENERALES
RESPUESTA
3.
(2)
el establecimiento por decreto de un conjunto de reglas de transformacin (llamadas tambin reglas de inferencia) que determina
qu relaciones entre frmulas de L constituyen relaciones de
consecuencia inmediata en S (Intuitivamente, las reglas de transformacin autorizan la derivacin de algunas frmulas a partir
de otras).
y/o
NOCIONES GENERAL.ES
EJERCICIOS
22
1.
Es Z un sistema formal?
2.
Es
fc
fc
ADDD'?
NOCIONES GENERAL.ES
3.
4.
5.
6.
RESPUESTAS
1. Si.
2. S.
3. S.
4. No. Slo las frmulas que acaban en '... A
cuencias inmediatas en Z.
4.
'Sintctico', 'Semntico'
NOCIONES GENERAL.ES
EJERCICIOS
1.
Sintctica.
5.
NOCIONES GENERAL.ES
6.
Uso y mencin. Lenguaje-objeto y metalenguaje. Demostraciones en un sistema formal y demostraciones acerca de un sistema formal. Teorema y metateorema.
escribiremos simplemente
El conjunto
A, V}
NOCIONES GENERAL.ES
National
La
NOCIONES GENERAL.ES
Development,
p.
5. La proposicin
N o t o d a cadena f o r m a d a por varios kA' y ' ' es una frmula del
sistema formal Z [de la secc. 3]
es un teorema de Z, un teorema acerca de Z, o un metateorema?
6. Puesto que, p a r a cualquier sistema formal S, todo lo que es un
axioma de S, o una consecuencia inmediata en S de un axioma de S, es
un teorema de S, establecer si cada una de las siguientes (cadenas) es, o
no, un teorema del sistema Z de la secc. 3. [Nota. N o se pretende que
esto sea una definicin de la nocin de teorema formal, sino meramente
una simplificacin por razn del ejercicio. La definicin usual permite
que muchas otras cosas sean teoremas.]
(a)
(b)
(c)
(id)
ADA
A
[ P a r a el Sistema Z, ver p.
A
'
k
A
es un teorema de Z.
.]
7. 'Sean A y B frmulas cualesquiera de un lenguaje formal L \ Explicar la funcin de las letras 'A' y B' en este enunciado.
8. En los ejercicios de la secc. 3 se encuentran colocadas las comillas en todos los lugares en los que deben estar, y slo en ellos?
RESPUESTAS
1.
{a)
(b)
Uso.
Mencin.
2.
(a)
{b)
(c)
Mencionado.
Usado.
Mencionado.
3.
(a)
(b)
(c)
Usado.
Mencionado,
Mencionado.
27
NOCIONES GENERAL.ES
7.
NOCIONES GENERAL.ES
EJERCICIOS
NOCIONES GENERAL.ES
4. 'Decir primero "Si", despus decir " N o " ' es un mtodo efectivo
para resolver un problema cuya respuesta correcta resulta que de hecho
es 'S'?
5. 'Comprubalo con papel tornasol' es un mtodo efectivo (en el
sentido definido) para establecer si algo es un cido o no?
6. ' N o se ha encontrado ninguna solucin para este problema, de
forma que no existe ningn mtodo efectivo p a r a resolverlo'. Es ste un
argumento vlido?
RESPUESTAS
computacin.
8.
Conjuntos decidihles
NOCIONES GENERAL.ES
T o d o conjunto finito es decidible. Pinsese intuitivamente en los elementos del conjunto como si estuvieran alineados en fila. P a r a determinar entonces si algo es un elemento del conjunto, habr que c o m p r o b a r
si es idntico a* alguna de las cosas que estn en la fila.
A partir de aqu abreviaremos 'si y slo si' como 'sii'.
EJERCICIO
9.
NOCIONES GENERAL.ES
U n conjunto A tiene un nmero cardinal ms pequeo que un conjunto B sii B tiene un n m e r o cardinal mayor que A.
El nmero cardinal de un conjunto se simboliza escribiendo dos
lneas paralelas encima del a o m b r e de un conjunto. As, el n m e r o cardinal de un conjunto A es , y ' = B' significa 'Los conjuntos A y B
tienen el mismo n m e r o cardinal'. (Esta notacin, que es la de Cantor,
fue utilizada por l p a r a significar una doble abstraccin: (1) una abstraccin de la naturaleza de los elementos del conjunto, (2) una abstraccin del orden en el que se consideran; es decir, cuando hablamos del
nmero cardinal de un conjunto, no nos interesa ni la naturaleza ni el
orden de los elementos.)
EJERCICIO
10.
U n conjunto es finito sii tiene solamente un nmero finito de elementos; es enumerable sii existe una correspondencia uno a uno entre l y el
conjunto de los nmeros naturales (de forma que un conjunto enumerable es un conjunto infinito); es numerable sii es finito o enumerable; y es
no-numerable sii no es finito ni enumerable (de forma que un c o n j u n t o
no-numerable es un c o n j u n t o infinito).
Se considera que 0 es un nmero finito, de forma que el c o n j u n t o
vaco es un conjunto finito.
En la secc. 11 demostraremos la existencia de un conjunto no-numerable, suponiendo el Axioma del C o n j u n t o Potencia (secc. 11.1). (En el
32
NOCIONES GENERAL.ES
l
0
t
1
r
9
t
16
I
25
t
36
I
49
Esta correspondencia particular fue conocida por Galileo (1638). El reconocimiento ms o menos claro de que un conjunto infinito puede
tener una correspondencia uno a uno con (alguno de) sus subconjuntos
propios parece remontarse por lo menos hasta los Estoicos (Crisipo?)
en el siglo tercero a. C. Pueden encontrarse referencias, por ejemplo, en
Kleene (1967, p. 176, nota 121).
Ningn c o n j u n t o finito puede guardar una correspondencia u n o a
uno con ninguno de sus subconjuntos propios. De igual manera, C. S.
Peirce consider en 1885 [Collected Papers, iii, secc. 402] la inexistencia
de tal correspondencia c o m o una propiedad definitoria de los conjuntos
finitos, en tanto que Dedekind consider su existencia como u n a propiedad definitoria de los infinitos. (Dedekind public su definicin en 1888.
Afirma que la remiti a C a n t o r en 1882 y a Schwarz y Weber varios
aos antes: cf. Dedekind (1887, n o t a la secc. 64).)
EJERCICIOS
1.
NOCIONES GENERAL.ES
(b) El
(c) El
(d) El
(e) El
(/) El
conjunto
conjunto
conjunto
conjunto
conjunto
de
de
de
de
de
los
los
los
los
los
Mostrar que
5.
M o s t r a r que
X 0 1 = No y que N 0 + l =
d o n d e n es un n m e r o natural.
y que, por lo
X o = No-
RESPUESTAS
1.
(a) El comienzo de u n a correspondencia u n o a uno entre el conj u n t o de los nmeros naturales y el conjunto de los enteros
positivos es el siguiente:
0
1 i
7 ...
6 ...
Para demostrar la existencia de una correspondencia uno a u n o entre un c o n j u n t o A y el c o n j u n t o de los nmeros naturales, basta con
mostrar c o m o se genera una secuencia infinita de elementos de A que
contenga, sin repeticiones, a todos los elementos de A, y que no contend nada que no sea un elemento de A. As, p a r a las demostraciones
siguientes nos limitaremos a escribir los trminos iniciales de las correspondientes secuencias generadas segn la regla, aadindole explicaciones ocasionales. (Para ms informacin sobre secuencias ver secc. 12.)
(b)
ic)
(d)
14
2, 4, 6, 8,...
1, 3, 5, 7,...
0, 1, 1, 2, 2, 3, 3,... (En este caso no intentamos considerar
los elementos del c o n j u n t o en orden de magnitud.)
NOCIONES GENERAL.ES
1 1 2
(e)
3 1 2 3 4 1
5'
5 1
4'
3'
2'
I ' 6"
(Primero escribimos todos los racionales positivos cuyo numerador y denominador suman 2. Slo hay uno,
Despus escribimos todos aquellos cuyo n u m e r a d o r y denominador suman 3,
colocando los nmeros que tienen numeradores ms pequeos
delante de los nmeros que los tienen ms grandes. Despus
hacemos lo mismo con los racionales cuyo numerador y denominador suman 4, y as sucesivamente. C a d a vez que encontramos en este proceso un nmero que ya ha aparecido en la
secuencia, lo omitimos: as, los nmeros entre parntesis cuadrados no estn en la secuencia; estn puestos simplemente para
mostrar cmo se obtiene la secuencia.)
(/)
'
'
1
1
' 2' ~ 2 '
1
1
' 3' ~ 3 '
'
'
1
12
23
4' ~ 4 ' 3' ~ 3 ' 29
7 ...
t t I t t I
8 ...
3. Pueden enumerarse comenzando en un cuadrado cualquiera y siguiendo la ruta en espiral indicada en la siguiente figura:
35
NOCIONES GENERALES
-X
i
1
I
11tu m HHH
te
r/////
xxra
f
vA
36
NOCIONES GENERAL.ES
II.
Este axioma no puede considerarse verdadero con certeza, pero parece muy plausible, y lo daremos por supuesto de ahora en adelante.
I 1.2
Demostracin. Resulta claro que el conjunto de todos los subconjunlos del c o n j u n t o de los nmeros naturales no es finito, ya que a cada
nmero natural le corresponde el conjunto que tiene a ese nmero natural como elemento nico; existe una cantidad enumerable de tales conjuntos, y cada u n o de ellos es un subconjunto del conjunto de los nmeros naturales.
Supongamos ahora que alguien pretende que ha descubierto una
correspondencia uno a u n o entre el conjunto de los nmeros naturales y
el conjunto de todos los subconjuntos del c o n j u n t o de nmeros naturales. Vamos a mostrar cmo puede refutarse tal pretensin.
Supongamos que la susodicha correspondencia uno a u n o comienza
37
NOCIONES GENERALES
de la siguiente forma:
0
()< >el con unto de todos los nmeros naturales
I k'I conjunto vaco
.N >c\ conjunto de todos los nmeros pares
^ >cl conjunto de todos los nmeros impares
>d conjunto de todos los nmeros primos
S k-1 conjunto de todos los cuadrados de los
nmeros naturales
(x >el conjunto de todos los cubos de los nmeros naturales
S S S S S S S S S
No No No No No No No No No
N o N o S N o S N o S N o S
N o S N o S N o S N o S N o
N o N o S S N o S N o S N o
S
S N o N o
S N o N o N o N o
S N o N o N o N o N o N o
...
...
...
...
...
...
No
No
38
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
N o
No
No
No
No
No
No
No
No
No
\
^
No
^ S
NOCIONES GENERAL.ES
Bajando por la diagonal, vemos que entre los elementos de este subconjunto estarn los nmeros 1, 4, 5 y 6. El c o n j u n t o as definido es un
subconjunto del c o n j u n t o de los nmeros naturales que se diferencia de
cada conjunto del emparejamiento original en al menos un elemento.
Este era slo un ejemplo particular. Sin embargo, resulta claro que,
para cualquier pretendido emparejamiento u n o a uno de los subconjuntos del c o n j u n t o de los nmeros naturales con los nmeros naturales, un
argumento de la diagonal semejante a ste proporcionara un subconjunto del c o n j u n t o de los nmeros naturales que no est en el emparejamiento. As tenemos en general que:
N o existe ninguna correspondencia uno a uno entre el c o n j u n t o de
los nmeros naturales y el conjunto de todos los subconjuntos del
conjunto de los nmeros naturales.
De esta forma, resulta que el conjunto de todos los subconjuntos del
conjunto de los nmeros naturales no es enumerable. Hemos visto que
no es finito. Luego es no-numerable.
Q.E.D.
El lector puede pensar por un m o m e n t o que podramos soslayar el
argumento de la diagonal aadiendo un nuevo subconjunto al comienzo
de la lista, emparejndolo con el nmero 0, y haciendo que los restantes
subconjuntos se muevan un lugar hacia abajo. Pero esto n o servira de
nada, ya que u n a nueva aplicacin del argumento de la diagonal a la
nueva lista producira otro subconjunto que n o estuviera en la lista. Y
as sucesivamente, sin acabar jams. Cualquier intento de emparejar los
subconjuntos del c o n j u n t o de los nmeros naturales con los n m e r o s
naturales omite n o uno, sino una cantidad infinita de subconjuntos (en
realidad, una cantidad no-numerable: cf. 13.6, ms adelante).
Existe u n a correspondencia u n o a uno entre el c o n j u n t o de los nmeros naturales y el c o n j u n t o cuyos elementos son {0}, {1}, {2}, {3}, y
as sucesivamente. Este ltimo subconjunto es un subconjunto propio
del conjunto de todos los subconjuntos del c o n j u n t o de los nmeros
naturales. As tenemos que: Existe una correspondencia uno a uno entre
el conjunto de los nmeros naturales y un subconjunto propio del conjunto de todos los subconjuntos del conjunto de los nmeros naturales,
pero no existe ninguna correspondencia uno a u n o entre el c o n j u n t o de
los nmeros naturales y el c o n j u n t o de todos los subconjuntos del conjunto de los nmeros naturales. Por lo tanto, el conjunto de todos los
subconjuntos del conjunto de los nmeros naturales tiene un nmero cardi39
NOCIONES GENERAL.ES
NOCIONES GENERAL.ES
A tiene tres elementos. E conjunto potencia de A tiene ocho elementos. No existe ninguna correspondencia uno a uno entre A y su conjunto potencia; pero existe u n a correspondencia uno a uno entre A y un
subconjunto propio de su conjunto potencia: considrese, por ejemplo,
el subconjunto {{1}, {2}, {3}}.
El Teorema de Cantor resultaba ms o menos obvio p a r a conjuntos
finitos. Lo que hizo C a n t o r fue mostrar que tambin vale para conjuntos
infinitos.
12.
En matemtica, una secuencia es una funcin de un tipo determinado. Pero nosotros usaremos dicha palabra de una manera intuitiva. Una
secuencia es una ordenacin de objetos, llamados trminos de la secuencia. Una misma cosa puede aparecer en la ordenacin ms de una vez;
por ejemplo <1, 2, 3, 1} es una secuencia de cuatro trminos en la que el
nmero 1 aparece como primer trmino y c o m o cuarto trmino. Una
secuencia s es idntica a u n a secuencia s' sii s y s' tienen exactamente el
mismo nmero de trminos y adems el primer trmino de 5 es el mismo
que el primer trmino de s\ el segundo trmino de s es exactamente el
mismo que el segundo trmino de s\ y as sucesivamente. De esta forma,
por ejemplo, <1, 2, 1 > # < 1 , 2> y <1, 2, 3 > # < 3 , 2, 1>.
Una secuencia de n trminos tambin recibe el n o m b r e de rc-tupla.
Una secuencia puede ser finita o infinita. U n a secuencia enumerable
es una secuencia que tiene una cantidad enumerable de trminos, y que
puede simbolizarse escribiendo los primeros trminos y, a continuacin,
puntos suspensivos; por ejemplo, <1, 2, 3,...) y <1, 1, 1,...) y <1, 2, 1, 2, I,
Y <4, 9, 13, 5, 5, 5, ..., 5,...) son secuencias enumerables. En la
ltima, todos los trminos a partir del cuarto son el n m e r o 5.
En los ejemplos anteriores, todos los trminos de todas las semencias son nmeros. Pero existen conjuntos que tienen como elementos cosas que no son nmeros, de forma que existirn secuencias que
tienen como trminos cosas que n o son nmeros.
Una enumeracin de un c o n j u n t o A es una secuencia finita o enumelable en la cual cada u n o de los elementos de A es un trmino y cada
termino es un elemento de A. P o r ejemplo, las secuencias <3, 1, 2 ) y <1,
\ 3, I ) son enumeraciones del conjunto {1, 2, 3}.
41
NOCIONES GENERAL.ES
EJERCICIOS
RESPUESTAS
1.
2.
{a) S.
(b) Calcular el primer trmino de la antigua secuencia. Colocarlo
como primer trmino de la nueva. Calcular el segundo trmino de la antigua. Colocarlo como segundo trmino de la
nueva, a menos que sea idntico a un trmino anterior de la
nueva secuencia. Despus de cada adicin a la nueva secuencia, c o m p r o b a r cuntos trminos hemos puesto en ella. Tarde
o t e m p r a n o tendremos que llegar al n-sim trmino de la
nueva secuencia (si es que existe un trmino n-simo), y sabremos entonces que es el n-simo trmino.
13.
13.1
NOCIONES GENERAL.ES
I L.S
NOCIONES GENERAL.ES
A B es el c o n j u n t o que tiene como elementos todos aquellos elementos de A que no son elementos de B.
13.6
numerable
Demostracin
(a) [En el caso de que quitemos una cantidad finita de elementos.]
Sea A cualquier c o n j u n t o no-numerable, y B cualquier c o n j u n t o finito
de elementos de A. S u p o n g a m o s que A B fuera numerable. Entonces,
por 13.4, la unin de A B con B sera numerable. Pero la unin de A
- B con B es el mismo A, y por hiptesis A es no-numerable. De esta
forma, A B debe ser no-numerable.
(b) [En el caso de que quitemos enumerablemente muchos elementos.] Sea A cualquier c o n j u n t o no-numerable, y B cualquier c o n j u n t o
enumerable de elementos de A. Supongamos que A B fuera numerable.
Entonces, por 13.5, la unin de A - B con B sera numerable. Pero la
unin de A - B con B es el mismo A, y, por hiptesis, A es no-numerable. As, A - B debe ser no-numerable.
14.
Demostracin informal de la incompletud de cualquier sistema formal finitista de la teora no-restringida de los nmeros
naturales
NOCIONES GENERAL.ES
Cualquier sistema formal finitista tiene solamente una cantidad numerable de fbfs y, por lo tanto, slo tiene una cantidad numerable de
teoremas
Demostracin
Paso 1. Un alfabeto enumerable no tiene una potencia de expresin
mayor que un alfabeto finito, ni siquiera mayor que un alfabeto de dos
smbolos. Ya que, supongamos que tenemos un alfabeto enumerable con
los smbolos au a2, a 3 , ... Existe entonces una correspondencia uno a
uno entre l y el c o n j u n t o {10, 100, 1000, ...} de cadenas de smbolos del
alfabeto cuyos nicos smbolos son 0 y 1. Y estas cadenas del alfabeto
finito pueden usarse para hacer t o d o lo que pueda ser hecho con los
smbolos del alfabeto enumerable.
Paso 2. El c o n j u n t o de distintas fbfs de longitud finita que puede
obtenerse a partir de un alfabeto finito es numerable. Demostracin.
Reemplacemos cada smbolo del alfabeto por un T seguido por una
cadena de u n o o ms ceros, como en el Paso 1. Cada fbf se convierte
entonces en un numeral compuesto exclusivamente de unos y ceros, y
que comienza por un uno 5 . A cada fbf diferente le corresponde un numeral diferente. C a d a uno de estos diferentes numerales ocupa el lugar de
un nmero natural diferente. Existe slo una cantidad enumerable de
nmeros naturales, de forma que existe como mximo una cantidad
enumerable de fbfs. Entonces, el conjunto de las fbfs de cualquier sistema
formal finitista es numerable. En cualquier sistema formal, t o d o teorema
es una fbf. Luego el c o n j u n t o de los teoremas de cualquier sistema formal finitista es tambin numerable.
45
NOCIONES GENERAL.ES
14.2
no-res-
Demostracin. A cada u n o (de la totalidad no-numerable) de los subconjuntos del conjunto de los nmeros naturales [ver 11.2] le corresponde una verdad diferente de la teora no-restringida de los nmeros naturales, esto es, la verdad de que cero 6 es (o no es, como puede suceder) un
elemento de ese subconjunto. Por lo tanto, existen al menos tantas verdades de la teora no-restringida de los nmeros naturales como subconjuntos del conjunto de los nmeros naturales y, por lo tanto, existe una
cantidad no-numerable de tales verdades.
14.3
NOCIONES GENERAL.ES
-7
!
- 6
-5
-4
-3
-2
-1
tr
1I 1
NOCIONES GENERAL.ES
[Cantor,
0-ddddddd...
0-ddddddd...
0-ddddddd...
NOCIONES GENERAL.ES
El
El
El
El
El
conjunto
conjunto
conjunto
conjunto
conjunto
de
de
de
de
de
los
los
los
los
los
nmeros
nmeros
nmeros
nmeros
nmeros
reales
reales
reales
reales
reales
x tales que
O^x^l
x tales que 0 < x ^ 1
x tales que 0 ^ x < l
x tales que 0 < x < l
no negativos
Demostracin
(Conjuntos A, B, C, D) A es B con algo adicional: el n m e r o 0. ( es
A con un elemento menos: el nmero 1. D es C con un elemento menos:
el nmero 0. Ya hemos d e m o s t r a d o que B tiene el nmero cardinal del
continuo [en el desarrollo de la demostracin del Teorema A4]. Luego,
por el Teorema A2, A tambin lo tiene. Luego, por el Teorema A.1
aplicado al resultado obtenido para A, C tambin lo tiene. Luego, por
A2 aplicado al resultado obtenido para C, D tambin lo tiene.
(Conjunto E) E contiene a D
existe ninguna correspondencia
definicin de < para cardinales
dencia uno a uno, D = E. Pero o
NOCIONES GENERAL.ES
Luego
c ^ E ^ c.
Luego
E= c.
fc
0\
10
NOCIONES GENERAL.ES
1 1 0
2
0
8
l6
1
+
32
0
+
64
25
es decir, el nmero real . C a d a cadena enumerable compuesta por '1' y
"0\ precedida de un p u n t o binario, representa un nmero real ^ 0 y ^ 1,
y cada n m e r o real > 0 y
se representa mediante alguna cadena.
Pero no se trata de una correspondencia uno a uno, puesto que algunos
nmeros se representan mediante ms de u n a cadena. Por ejemplo, el
nmero - se representa tanto mediante
0 1 0 0 0 0 0
como mediante
0 0 1 1 1 1 1
Sin embargo, si quitamos del c o n j u n t o de cadenas el conjunto de todas
las cadenas que, desde algn p u n t o determinado en adelante, constan
slo de repeticiones de '0', existira una correspondencia uno a u n o entre
el conjunto de las cadenas que quedan y el conjunto de los nmeros
reales > 0 y < 1 . Pero puede enumerarse el c o n j u n t o de todas las cadenas enumerables compuestas de '1' y '0' que, desde algn p u n t o determinado en adelante, constan slo de repeticiones de '0' (dejamos la demostracin correspondiente como un ejercicio para el lector). Y sustraer un
conjunto enumerable de un c o n j u n t o no-numerable nos deja con un
conjunto que tiene la misma cardinalidad que el conjunto no-numerable
[Teorema A3]. Luego, u s a n d o 4
como smbolo para 'guarda u n a correspondencia u n o a uno con', tenemos que:
El c o n j u n t o de los subconjuntos del conjunto de los nmeros naturales ~ El conjunto de cadenas enumerables compuestas por 'S' y
' N o ' ~ El c o n j u n t o de cadenas enumerables compuestas p o r T y IV
~ El c o n j u n t o de cadenas enumerables compuestas de '1' y '0', y que
no son aquellas cadenas que, desde un p u n t o determinado en adelante, consisten repetidamente en
El c o n j u n t o de los nmeros
reales > 0 y ^ 1 ~ . El conjunto de los nmeros reales.
Luego el c o n j u n t o de los subconjuntos del conjunto de los nmeros
naturales tiene el nmero cardinal del continuo.
Q.E.I).
51
NOCIONES GENERAL.ES
Teorema A8. Cada uno de los siguientes conjuntos tiene el nmero cardinal
del continuo:
F.
El conjunto de puntos de una recta que tiene una unidad cualquiera de longitud.
G.
El conjunto de puntos de una recta que tiene dos unidades cualesquiera de longitud.
H.
I.
(infinita).
(infinita).
Demostracin
F. U s a m o s el Teorema ^46^4 y la ya familiar correspondencia u n o a
uno ilustrada mediante la figura (sea AB una unidad cualquiera de longitud):
vi
%
4
A|
1I
/
/
//
\
\
A/U-1
//?'
\
/
/
i
.
\B
\
\
A cada p u n t o de la recta de dos unidades de longitud, CD, le corresponde un nico punto de la recta de una unidad de longitud, AB, y viceversa. Por ejemplo, al p u n t o P de CD le corresponde el p u n t o nico P' de
AB, y viceversa.
H. Podemos construir una demostracin mediante la ya conocida
correspondencia uno a u n o entre el c o n j u n t o de puntos de la semirrecta
52
NOCIONES GENERAL.ES
53
NOCIONES GENERAL.ES
C u a t r o pasos:
IZ
El c o n j u n t o de los puntos de X Y tiene el n m e r o cardinal c. El conjunto de los puntos de YZ tiene el nmero cardinal c. La unin de esos
conjuntos es el c o n j u n t o de todos los puntos de X Z , que tambin tiene
el n m e r o cardinal c. Luego c - f - c = c . ]
En los pasos 2, 3 y en la mayor parte del 4, que vienen a continuacin, escribiremos en aras de la brevedad, ' p u n t o del cuadrado' para
significar 'punto del c u a d r a d o que no est en AB ni en AD\
54
NOCIONES GENERALES
2. La p r i m e r a idea bsica de la demostracin es q u e cualquier p u n to del c u a d r a d o ABCD c o r r e s p o n d e a un p a r de decimales q u e n o tienen fin, que d e n o t a n n m e r o s reales > 0 y
esto es, los n m e r o s que
son las c o o r d e n a d a s cartesianas del p u n t o c u a n d o t o m a m o s c o m o ejes
AB y AD:
0.660606
y
0.30606
NOCIONES GENERAL.ES
NOCIONES GENERAL.ES
Subconjuntos
del
conjunto
1.
2.
3.
4.
5.
6.
7.
8.
{1, 2, 3}
{2, 3}
{1, 3}
{3}
{1, 2}
{2}
{1}
El conjunto vaco, (j)
Si
No
Si
No
Si
No
Si
No
3
Si
Si
Si
Si
No
No
No
No
2
Si
Si
No
No
Si
Si
No
No
a.
naturales
N0.
A partir de A7 y de A15.
N{)
Demostracin. El conjunto de todos los puntos de (por ejemplo) el espacio tridimensional tiene el n m e r o c3. El c o n j u n t o de todos los puntos
57
NOCIONES GENERAL.ES
Mo=2No[Ai0]
c.
58
NOCIONES GENERAL.ES
N O T A S A LA P R I M E R A P A R T E
1
En la Segunda Parte restringimos la nocin de interpretacin a interpretaciones para
las cuales cada frmula es verdadera o falsa. En la Tercera Parte existe una restriccin
anloga.
2
Al menos en un sentido clsico de 'modelo', que es el que seguimos en este libro. En
la Tercera Parte mencionaremos otro sentido, estrechamente relacionado con el nuestro.
3
Hablando en sentido estricto, esto vale slo bajo el supuesto del Axioma de Eleccin,
que es un axioma que se hace valer por s mismo tanto por su plausibilidad intuitiva como
porque 'tiene aplicaciones tan importantes en prcticamente todas las ramas de la matemtica que no aceptarlo parecera un defecto intencionado del matemtico prctico' (Mendelson, 1964, p. 201). [Para el Axioma de Eleccin, ver la secc. 59.]
4
Un nmero racional es un nmero que puede expresarse como una proporcin (razn,
a
1 39
f
-15]
ratio) de dos enteros, - en donde 6 ^ 0 : por ej., - , , 15 =
.
b
2 17
L
1 J
5
P <= ( )
Reemplacmoslos en cualquier fbf respectivamente por
10
100
1000
10000
1000101001010000
6
N o sucede en este caso nada peculiar con el cero; cualquier otro nmero natural
servira de igual modo.
7
La justificacin del Teorema A13 es ms complicada de lo que sugiere esta indicacin: vase, por ej., Fraenkel (1961, cap. II, secc. 7).
59
SEGUNDA PARTE
Lgica proposicional
veritativo-funcional
15.
Funciones
U n a funcin es una relacin que satisface ciertas condiciones. (Una funcin es algo abstracto. N o hay que identificarla con ninguna expresin
lingstica. Por ejemplo, existe una cantidad no-numerable de funciones,
mientras que slo existe u n a cantidad numerable de expresiones lingsticas actuales o posibles.)
P a r a mayor simplicidad nos limitaremos de momento a funciones de
un argumento y a relaciones de dos trminos.
El dominio de una relacin de dos trminos es el conjunto de todas
las cosas que guardan esa relacin respecto a otra cosa. El rango de una
relacin de dos trminos es el conjunto de todas las cosas respecto a las
cuales otra cosa mantiene esa relacin.
Ejemplo 1. El dominio de la relacin ser marido de es el c o n j u n t o
de todos los maridos; su rango es el c o n j u n t o de todas las esposas.
Definicin. U n a funcin de un argumento es una relacin de dos trminos
que asigna a cada elemento de su dominio un elemento de su rango, y
slo uno.
Ejemplos:
2. La relacin de dos trminos ser marido de no es una funcin,
ya que en algunos pases un marido puede tener ms de una esposa.
Por el contrario, la relacin estar casado monogmicamente con es
una funcin.
3. La relacin / que tiene como dominio suyo el c o n j u n t o de los
enteros positivos, y como rango el conjunto de los nmeros pares, y
que se define mediante la regla
A*) = 2*
es una funcin. (A cada entero positivo se le asigna un nmero y slo
uno, que es el p r o d u c t o de 2 y el entero dado.)
4.
64
)=(x>
y
(2) f y g tienen el mismo valor para la misma n-tupla de argumentos, para cada rc-tupla del dominio.
Esto equivale a decir que una funcin / y una funcin g pueden ser la
misma funcin aunque sean descritas en trminos muy diferentes. T o d o
lo que hay que tener en cuenta para la identidad de / y g es (1) la
identidad de sus dominios, y (2) la identidad de las cosas escogidas por /
y g para cada elemento del dominio.
16.
Funciones de verdad
y valores son
Ejemplos:
1. La funcin q, que tiene como dominio el conjunto de todas
las secuencias de dos trminos, que pertenecen al conjunto {V, F},
V) =
V) =
F) =
F) =
V
V
F
V
V,
V,
F,
F,
V,
V,
F,
F,
V) = V
V) = F
VHF
V) = F
F) = F
F) = F
F) = F
F) = F
A=>B
V
F
V
F
V
V
F
F
V
V
F
V
le corresponde la funcin
r 4(v, v) = v
) 4(F, V) = V
) 9(V, F) = F
l q ( F , F) = V
es decir, la implicacin material.
(El orden en el que se escriben las cuatro filas carece de importancia.)
U n a conectiva mondica es una conectiva que se combina con una
proposicin o fmula para formar otra nueva; una conectiva didica, o
68
binaria, es una conectiva que se combina con dos proposiciones (frmulas) para formar otra nueva; y as sucesivamente.
es una conectiva
mondica; fc=>', ' A ' y WV' son conectivas didicas (binarias) 2 . N o existe
ninguna conectiva tridica que resulte familiar, puesto que (como mostraremos) todo lo que puede expresarse mediante conectivas tridicas o
todava ms complicadas puede expresarse utilizando slo conectivas
didicas.
Existen 2 2 = 4 funciones de verdad totales 2
bis
de un argumento:
fc(V)=v
nombre
|/ 1 (F) = V
/ 2 (V) = V
y2(F) = F
/ 3 (V) = F
V3(F)=V
[Identldad]
[Negacin]
/ 4 (V) = F
|y-(p) = p
nomt
>re]
V) = V
V) = V
F) = V
F) = V
rg2(V,
1 g2(F,
) 0 2 (V,
U2(F,
V) = V
V) = V
F) = V
F) = F
etc.
1. D a r una regla que defina la funcin de verdad de tres argumentos que tiene el valor verdad cuando el segundo argumento tiene el valor
verdad, y el valor falsedad en caso contrario.
2. Cules de las conectivas siguientes son (en su contexto) conectivas proporcionales veritativo-funcionales?
' N o es el caso q u e , en la oracin No es el caso que Napolen
gan la batalla de Waterloo'.
(b) 'Y' en "2 + 2 = 4 y Napolen gan la batalla de Waterloo'.
(c) 'Y despus' en 'Se quit la ropa y despus se tir al agua'.
(d) 'Hunter cree que' en 'Hunter cree que Napolen gan la batalla
de Waterloo'.
(e) 'Si' en 'Si T o m s se casa con Mara, Susana se apenar'.
( f ) 'O..., o...' en '2 + 2 = 4, luego o 2 + 2 = 4, o existe vida en Marte'.
(g) "O..., o...' en ' O cogi el autobs, o tuvo que caminar',
(ih) 'Si' en "Si l es millonario, yo soy holands'.
(a)
RESPUESTAS
1.
V)=V
V) = V
V) = F
V) = F
F) = V
F) = V
F) = F
F) = F
(b)
III
N o es el caso que A
V
F
F
V
(c)
(d)
A y B
V
F
V
F
V
V
F
F
V
F
F
F
A y despus B
V
F
V
F
V
V
F
F
?
F
F
F
V
F
(c)
(/)
?
?
S A, entonces B
V
F
V
F
V
V
F
F
?
?
F
?
o A o B
V
F
V
F
V
V
F
F
V
V
V
F
71
(ig)
o A o B=
V
F
V
F
V
V
F
F
?
?
?
F
Si n o A, entonces B
?
?
?
F
17.
Definimos a h o r a un lenguaje formal que ser capaz, bajo la interpretacin adecuada, de expresar verdades de la lgica proposicional veritativo-funcional. Pero nuestra definicin no har ninguna referencia esencial
a esa interpretacin ni a ninguna otra. Los trminos 'smbolo proposicional', 'conectiva', 'parntesis' que se usan p a r a describir el lenguaje hay
que considerarlos por lo tanto meramente como etiquetas convenientes, se
describen teniendo a la vista, ciertamente, la interpretacin propuesta,
pero son susceptibles de ser reemplazadas por cualquier conglomerado
de letras, c o m o 'schlumpf', 'torticiego' o 'zbarg'. Daremos a este lenguaje el n o m b r e de lenguaje ' P ' (por 'lgica proposicional').
El lenguaje formal
Smbolos de P
P tiene seis smbolos:
P
(
)
smbolo p
acento
tilde
herradura
parntesis izquierdo
parntesis derecho
2.
.1
(p"'=>P')
~{p"'=>p') => ~p")
Las (expresiones) siguientes no son fbfs de P:
73
p
~(p")
(~p )
p"'=>p'
q"
(p^q)
(A=>B)
18.
[ N o hay acento]
[Sobran los parntesis]
[Sobran los parntesis]
[ N o hay parntesis]
no es un smbolo de P ]
[Obvio]
['A' y
no son smbolos de P ]
Si seguimos estrictamente los requisitos que nosotros mismos hemos establecido acerca del uso de comillas y de parntesis, el resto de este
libro resultara incluso menos legible de lo que ya resulta 3 . Por ello, de
ahora en adelante a d o p t a r e m o s las convenciones siguientes:
1.
Uso de comillas
Eliminacin de
parntesis
Semntica de P. Definiciones de interpretacin de P, verdadero/falso para una interpretacin de P, modelo de una frmula/conjunto de frmulas de P, frmula lgicamente vlida
de P, frmula consistente desde el punto de vista de la teora
de modelos/conjunto de frmulas de P, consecuencia semntica (en frmulas de P), tautologa de P
l'.sla seccin consiste sobre todo en una enunciacin abstracta de lo que
se explica normalmente mediante las tablas de verdad usuales.
Definicin. U n a interpretacin de P es una asignacin a cada smbolo
proposicional de P de uno de los dos (no ambos) valores veritativos
verdad y falsedad, y una asignacin a las conectivas de P de sus significados veritativo-funcionales habituales (que definiremos ms adelante de
manera ms precisa en las clusulas 2 y 3 de la definicin de verdadero
uira una interpretacin de P).
Para n smbolos proposicionales distintos existen 2n interpretaciones
posibles distintas. Por ejemplo, p a r a el smbolo p\ existen 2 1 = 2 interpretaciones posibles, esto es:
(1) a p' se le asigna V
(2) a p' se le asigna F.
Tara el par p\ p" existen 2 2 = 4 interpretaciones posibles:
(1)
(2)
(3)
(4)
a
a
a
a
V
a p" se le asigna V
a p" se le asigna F
F.
Puesto que P tiene N 0 (una cantidad enumerable de) smbolos proposic lonales, existen 2- /K =c (una cantidad no-numerable de) diferentes interpretaciones posibles de P. (Para 8 0 y c, ver Apndice 1.)
Definicin de verdadero para una interpretacin
( - ! / = > ~p")=>(p"=>p')
Las siguientes (expresiones) no son fbfs lgicamente vlidas de P:
P'
~ p
(Onsecuencias
19.2
de estas
definiciones
19.3
19.4
19.5
19.6
Si \.PA y \:pA^B,
19.7
dada,
entonces \:PB.
es lgicamente
vli-
dada,
[PB.
20.
20.1
20.2
20.3
20.4
20.5
AtpA.
Si r I p A , entonces
TuA^A
Si
A
y
A\L
B,
entonces
r\:PB.
P
p
Si Y\LPA y rf:p^=>B, entonces T ^ B .
Si \.pA, entonces Tf:pv4,
Si \.PA y
A[PB sii
entonces
^ P B.
tpA^B.
Demostracin
informal
CENTRAL79
? Me A ML
sustituye por ~{q=>q) en A. Entonces A ^ B y A 2 D B son ambas lgicamente vlidas (Ai es el resultado de sustituir p por V en A; A 2 es el
resultado de sustituir p por F en A). U n sencillo razonamiento por
tablas de verdad mostrar que, dadas las definiciones de Ai y de A 2 ,
A= d (A 1 VA 2 ) es una tautologa segn tabla de verdad, y por lo tanto,
puesto que tanto A x ^ B c o m o A 2 =>B son tautologas de P (como acabamos de ver ms arriba), (A1 V A 2 ) D B ser tambin una tautologa segn
tabla de verdad. Pero ' V ' no es un smbolo de P. Sin embargo, para
frmulas cualesquiera A y B se cumple
(A VB) = (~A=>B).
De forma que podemos volver a escribir A x V A 2 como ~ A x ==) A 2 . Tenemos entonces:
Si |=PA=>B, entonces \:PA=>(~A1 =>A2) y
AX =>A2)=^B. Obtenemos
as nuestra frmula C: (~A 1 =>A 2 ).
3. Si hay ms de un smbolo proposicional en A que n o aparezca
en B, haremos que la frmula obtenida a partir de A al reemplazar cada
uno de tales smbolos por (q => q) ~ (q => q) sea AJA2. El resto del argumento discurrir entonces de la misma forma.
En la respuesta al ejercicio de la secc. 27 se ofrece una demostracin
rigurosa de este teorema mediante induccin matemtica sobre el nmero de smbolos proposicionales que estn en A pero que no estn en B.
21.
Vamos a demostrar (Teorema 21.1) que el lenguaje P es capaz de expresar cualquier funcin de verdad, en el siguiente sentido:
A cada funcin de verdad le corresponde siempre una tabla de verdad completa. A cada tabla de verdad completa le corresponde (no
necesariamente de f o r m a unvoca) una frmula de P (le corresponde'
en el sentido de que esa tabla de verdad es su tabla de verdad).
Ejemplos:
1.
tabla
80
p"
V
F
V
F
V
V
F
F
p'^p":
p'^p"
V
V
F
V
de forma que:
p'
V
F
V
F
V
F
V
F
P"
p'"
V
V
F
F
V
V
F
F
V
V
V
V
F
F
F
F
~(
~p'
~ p")
~ ~p"')
F
F
F
F
F
V
F
F
El conjunto
=>} resulta adecuado para expresar cualquier funcin de verdad [luego P puede expresar cualquier funcin de verdad']
La demostracin del metateorema 21.1 se hace en dos pasos. Primero demostramos que el c o n j u n t o
V, A} es adecuado (Metateorema
21.2); y despus d e m o s t r a m o s que si el conjunto
V, A} es adecuado, entonces el c o n j u n t o
^ } tambin lo es.
21.2
El conjunto
V, A } es
adecuado
3.
4.
5.
82
V
F
V
F
V
F
V
F
V
V
F
F
V
V
F
F
V
V
V
V
F
F
F
F
F
F
V
F
F
F
F
F
=
=
=
=
=
=
=
=
Entonces la frmula
p' A ~p" A p'"
est en F N D y tiene la misma tabla de verdad que f . Tiene el valor V
sii p' tiene V, p" tiene F, y p'" tiene V. En todos los dems casos tiene
el valor F.
Caso 3 (Que en la ltima columna haya ms de una V)
Construyamos una frmula igual que en el caso 2 para cada fila que
acabe en una V. F o r m e m o s la disyuncin de todas esas frmulas.
La frmula resultante estar en F N D y tendr la misma tabla de
verdad que f .
Ejemplo: Sea / la funcin de tres argumentos que tiene la tabla
Y
F
V
F
V
F
Y
F
V
V
F
F
V
V
F
F
V
V
V
V
F
F
F
F
=
=
=
=
=
=
=
=
F
F
V
F
F
V
F
V
Entonces la frmula
{pf A ~p" A p"') V ( ~ p ' A p" A
V ( ~ p ' A ~p" A
~p'")
Demostracin
del Metateorema
=>} es
adecuado)
B)=~(A=>~B)
Sea C una frmula cualquiera en la que aparece A. Entonces si reemplazamos cada subfripula de C que tenga la forma (A A B) por una
subfrmula de la forma (A=>~B) obtenemos una frmula en la que
110 aparece A y que tiene la misma tabla de verdad que C.
2. Lo mismo sucede en el caso de V. Cualquier disyuncin de dos
frmulas A y B tiene la misma tabla de verdad que una frmula en la
que A y B estn relacionadas mediante y => en vez de estarlo mediante V , de forma que:
(A V B) = (~A=>B) [por ejemplo ([~A]=>B)].
3. Sea W una frmula cualquiera en la que aparece o bien A, o bien
V, o bien ambos signos. Si llevamos a cabo sucesivamente las operaciones de sustitucin descritas en (1) y (2), obtenemos una frmula W' en la
que no aparecen conectivas distintas de ~ y
y que tiene la misma
tabla de verdad que W.
4. As, puesto que el conjunto
A, V} resulta adecuado para
expresar cualquier funcin de verdad [21.2], tambin resulta adecuado
el conjunto
==>}.
Q.E.D.
Mediante argumentos del mismo tipo tambin podemos mostrar que
otros conjuntos de conectivas resultan adecuados.
21.3
El conjunto
Demostracin.
gico
V } es adecuado
21.4
El conjunto
Demostracin.
A} es
adecuado
co
(AVB)=~(~AA~B)
85
piq
Demostracin.
gico
~ A = A 1 A,
21.6
(A A B) = (A | A) 1 (B 1 B)
El smbolo | expresa lo que habitualmente recibe el n o m b r e de 'funcin barra de Sheffer' (ver el comentario que precede a 21.5). A | B tiene
el valor F sii tanto A c o m o B tienen el valor V. As, p \ q puede leerse
' N o a la vez p y q\ o tambin O bien no p o bien no q, o bien no p y no
m
(*) Esta ltima lectura no es sino la expresin de la correspondiente tabla de verdad
(FVVV) (NT).
86
Demostracin.
gico
El conjunto { A , V } no es
adecuado
El conjunto {A,
=>} no es
adecuado
El conjunto {=>, V} no es
adecuado
El conjunto
=}
no es
adecuado
La demostracin es semejante a la de 21.7, pero en este caso mostramos que, por ejemplo, la implicacin material (tambin nos servirla la
conjuncin o la disyuncin) no puede expresarse mediante ninguna combinacin de los smbolos proposicionales ~ y = , ya que la tabla de
verdad de la implicacin material tiene cuatro filas y una columna final
disy. excl. B
V
V
F
F
F
V
V
F
A*B
V
F
V
F
V
V
F
F
?
?
?
?
A*B
V
F
V
F
V
V
F
F
F
?
?
V
J^
f/i(V)=v
l/i(F) = V
/4(V) = F
1/4(F) = V
22.
U n mecanismo deductivo para P: el sistema formal SP. Definiciones de demostracin en SP, teorema de SP, derivacin en SP,
consecuencia sintctica en SP, conjunto consistente de S P desde el
punto de vista de la teora de la demostracin
A=>(B=>A)
(A (B => O )
((A => B) ^ (A 3 C))
(~A=>~B)=>(B=>A)
90
(p'^P'WP'^W^P"))
[por
[por
[por
[por
[por
SP
SP
SP
SP
SP
1]
1]
1]
3]
1]
[ n o es una frmula de P ]
[
lo mismo
]
[
lo mismo
]
[no autorizado por SP 3 ]
o, de forma abrevia-
Ejemplos:
1. p' es una consecuencia inmediata en SP de p" y de {p'^p').
2. p' es una consecuencia inmediata en SP de p' y de (p , Z D p f ),
pero no slo de p'.
91
3. (p,ZDp')
es una consecuencia inmediata en SP
(P //=) (P'=>?')) Y de p".
4.
es una consecuencia inmediata en SP de ( ~ p '
~ p ' ) y de ~ p ' .
de
[1]
[2]
[3]
P , = D ((P , : D P') = D P , )
( P ' 3 ((p' => p') ID (p'
[Axioma, por SP 1]
p')) 3 (p' ID p'))
[Axioma, por SP 2]
( ( P ' ^ P ' ^ P ' M ^ P ' ^ P ' ) ) [Consecuencia inmediata en SP,
por M o d u s Ponens, de las fbfs que llevan los nmeros [1] y
[2]]
[4]
p'iD(p'=Dp')
[5]
[Axioma, por SP 1]
p'^{p,=>p')
[Axioma, por SP 1. Por s sola, esta fbf constituye una demostracin completa en SP.]
[1]
[2]
[ S P 3]
[3]
[4]
[5]
[6]
[7]
92
(~ p'
[ S P 1]
[ M P , 1, 2]
(( ~ p>
(~
p" 3
p'))
p")))
3
[SP
[ M P , 3,
[SP
[ M P , 6,
2]
4]
i]
5]
Comentarios
1. Las frmulas que se mencionan en la definicin de demostracin
en SP deben ser frmulas completas, no meramente subfrmulas de frmulas. Por ejemplo, la demostracin del ejemplo 1 es una cadena de
cinco frmulas, y la demostracin del ejemplo 2 es una cadena de una
frmula.
2. Segn la definicin, una demostracin es una cadena, y podramos escribir la cadena sin dejar ningn hueco entre las frmulas. Por
ejemplo, la demostracin del ejemplo 1 podra comenzar de la siguiente
forma [poniendo todos los parntesis que corresponden]:
El conjunto T puede tener infinitos elementos, un nmero finito de elementos, o ningn elemento en absoluto.
Ejemplo: La cadena
P'
P'^P"
P"
93
Comentarios
1. U n conjunto V de frmulas de P puede ser un conjunto d-inconsistente de SP aunque, para toda frmula A, ni A ni A sean elementos
de T. Los conjuntos d-consistentes y d-inconsistentes se definen en trminos de lo que puede ser derivado a partir de ellos con la ayuda de los
axiomas y/o de las reglas de inferencia de SP, y una frmula puede ser
derivable en SP a partir de un conjunto de frmulas sin que sea un
elemento del conjunto.
2. La definicin de conjunto a-consistente de SP hace una importante referencia al mecanismo deductivo de SP, en contraste con la definicin de conjunto m-consistente, que no hace dicha referencia.
3. La nocin de conjunto d-consistente puede definirse de igual
forma para otros sistemas formales. n conjunto de frmulas que es un
conjunto d-consistente de un sistema formal S puede ser un conjunto dinconsistente de otro sistema formal S' que tenga el mismo lenguaje
formal que S. Todo depende de los mecanismos deductivos de S y S'. A
diferencia de esto, un conjunto m-consistente de frmulas de un lenguaje
formal L sigue siendo un conjunto m-consistente de frmulas de L 8 , sin
importar cul sea el mecanismo deductivo aadido a L.
95
2.1
/I (- $ >A.
y\
.M.4
,M.S
.M,6
Si r|-SPA, entonces
r\jA\-SPA
Si r\-SpA y A\-SPB, entonces Y\-SPB
Si r|- S P A y r|- S P A=>B, entonces T|- sp B
(Recurriremos con frecuencia a esta ltima)
Si \-SPA, entonces r\-SPA
\-SpA sii (f) [spA
liste metateorema se sigue de nuestra exigencia de que una derivacin debe ser una cadena finita de frmulas.
1,1 Metateorema 23.7 guarda una perfecta analoga con otro MetaIrorema de la teora de modelos:
|
III
24.
Conceptos de consistencia
simple
absoluta
Un sistema S es absolutamente
de S no es un teorema de S.
24.1
Demostracin. Sea S cualquier sistema formal que satisface la hiptesis del teorema. Supongamos que S es simplemente consistente. Entonces
no existe ninguna frmula A de S tal que tanto A como A' sean teoremas de S. Luego, p a r a alguna determinada frmula B de S, o bien B no
es un teorema de S, o bien B' no es un teorema de S. Pero t a n t o B como
B' son frmulas de S. Luego S es absolutamente consistente.
97
24.2
25.
Demostracin de la consistencia de SP
(a)
utilizando
detalles
para esta
interpretacin.
A
A
A
A
es
es
es
es
verdadera
falsa y B
verdadera
falsa y B
y
es
y
es
B es verdadera;
verdadera;
B es falsa;
falsa.
demostracin
utilizando
Detalles
1. C o m o propiedad X a d o p t a m o s una propiedad a la que llamaremos 'tautologieidad sintctica'. La nocin lgica normal de la tautologa
es una nocin semntica, que tiene que ver con la verdad y la falsedad y,
por lo tanto, con la interpretacin de las frmulas. P a r a construir la
nocin de tautologa sintctica t o m a m o s la nocin normal de tautologa
y la vaciamos de todos sus elementos semnticos. As, en vez de hablar
acerca de los valores de verdad V y F, hablamos acerca de smbolos (sin
interpretar) '1' y '0' (o culesquiera otros smbolos arbitrarios). Por ejemplo, en vez de decir que p'=>p' es una tautologa porque su tabla de
verdad slo presenta V en todas las posiciones de su columna final,
decimos que es una tautologa sintctica porque tiene la propiedad (sintctica) de que la tabla 1-0 que est asociada a ella (y que es el anlogo
sintctico de una tabla de verdad) slo presenta T en todas las posiciones de su columna final.
De lo expuesto en el ltimo prrafo se deriva que, para nuestra demostracin sintctica, tenemos que dar construcciones sintcticas de carcter anlogo al de las tablas de verdad de las conectivas de P. En esle
caso sern:
Tabla para
A
~A
B
1
1
0
0
A=>B
1
1
0
1
2.
sintctica.
A
A
A
A
est
est
est
est
asociado
asociado
asociado
asociado
con
con
con
con
1'
'0'
1'
'0'
y
y
y
y
B
B
B
B
con T ;
con T ;
con kQ';
con fc0\
En cada caso, A=>(B=>A) est asociado con el smbolo T . Luego cualquier frmula de P que sea un axioma por SP 1 estar asociada con T
para toda asociacin a P; es decir, ser una tautologa sintctica. Lo
mismo sucede con los otros dos esquemas de axiomas.
3. La (nica) regla de inferencia de SP preserva
sintctica.
la
tautologicidad
Demostracin.
5.
sintctica.
Directamente a partir de 2 y 3.
SP es simplemente
consistente.
6. SP es absolutamente
consistente.
Demostracin. La frmula p' (por ejemplo) n o es tautologa sintctica. Por lo tanto, por 4, n o es un teorema de SP.
Nota histrica
Emil Post (1920) fue el primero en dar u n a demostracin de la consistencia del clculo proposicional clsico. Su demostracin tena un
carcter semntico: mostr que t o d o s los teoremas del sistema que estaba estudiando (se t r a t a b a del sistema proposicional de los Principia
Mathematica) eran tautologas. Jan ^ukasiewicz parece haber sido el
primero en encontrar u n a demostracin p u r a m e n t e sintctica, del tipo
esbozado en (b). La idea clave que es comn a estas dos demostraciones
de consistencia (esto es, la idea de mostrar que existe alguna propiedad
que pertenece a t o d o axioma, que es preservada p o r las reglas de inferencia, y que n o pertenece a ninguna frmula contradictoria) se remonta
a David Hilbert: cfr. Hilbert (1904).
26.
El Teorema de Deduccin es un metateorema que es bastante utilizado para demostrar otros metateoremas. Parece que fue Alfred Tarski en
1921 quien lo demostr p o r primera vez [cfr. Tarski, 1923-28, p. 32 |,
pero la primera demostracin publicada (para un sistema de lgica de
predicados: el resultado incluye la demostracin p a r a un sistema d'e
lgica proposicional) fue la de Jacques H e r b r a n d en 1930 [cfr. Her
brand, 1929, pub. 1930]. H e r b r a n d , que hizo sobresalientes contribuciones a la lgica matemtica, muri en un accidente de m o n t a a en 1931,
a la edad de veintitrs aos.
26.1
r\-srA
> 11.
[2]
[3]
B=>(A=>B)
A^B
[Axioma, por SP 1]
[ M P , 1, 2]
B
B^(A=>B)
A=>B
[ D a d o como un elemento de T]
[Axioma, por SP 1]
[ M P , 1, 2]
B es un axioma.
B es el conjunto T.
B es el mismo A.
B es una consecuencia inmediata por M P de dos frmulas que le
preceden en D.
D j ) => (A = B))
[Axioma, por SP 2)
Por lo tanto, usando 23.4 y 23.5 sobre 2 y 3
4
r> S P (A=> D l .MA=>B)
y usando de nuevo 23.4 y .23.5 sobre 1 y 4
5
FhspA^B
que es lo que queramos obtener.
Esto completa el Paso de la Induccin, y con l la demostracin del
Teorema de Deduccin para SP.
[Hemos mostrado (en la Base) que el Teorema de Deduccin vale
para todas las derivaciones de longitud 1, y tambin hemos mostrado (en el Paso de la Induccin) que si vale para todas las derivaciones de longitud menor que k (donde k es un nmero cualquiera),
entonces vale para todas las derivaciones de longitud k. Y esto significa que hemos mostrado que el Teorema vale para derivaciones en
SP de cualquier longitud finita, es decir, para todas las derivaciones
en SP.]
Un anlisis de esta demostracin del Teorema de Deduccin mostrar que las nicas propiedades especiales de SP a las que hemos recurrido
son las siguientes:
1.
2.
3.
Luego nuestra demostracin muestra que el Teorema de Deduccin valdr en cualquier otro sistema formal que tenga estas tres propiedades
(utilizaremos esta indicacin ms adelante).
Resulta claro que si | - S P A ^ B entonces A|- S pB. A partir de esta verdad y del Teorema de Deduccin obtenemos el til metateorema:
26.2
A\-SPB sii
|-VA=>B
27.
RESPUESTAS
1.
Demostracin
Base: n = 0
Entonces C es el mismo A.
Paso de la
Induccin
B ) M A => C)
Demostracin
Base: n= 1 (Si n = 0, la tabla de verdad slo tendra dos filas).
IW
C
V
V
F
F
B= C
V
F
F
V
Induccin
Supongamos que el Teorema vale para todas las frmulas que tienen
menos de k apariciones de conectivas. Hay que mostrar que vale para
todas las frmulas que tienen k apariciones.
2 casos: 1.
2.
A es B.
A es B = C.
Caso 1: A es B.
Obvio.
Caso 2: A es B = C.
9 subcasos:
1.
2.
3.
4.
5.
6.
7.
8.
9.
B
B
B
B
B
B
B
B
B
tiene
tiene
tiene
tiene
tiene
tiene
tiene
tiene
tiene
todo V, C tiene
todo V, C tiene
todo V, C tiene
todo F, C tiene
todo F, C tiene
todo F, C tiene
dos V y dos F,
dos V y dos F,
dos V y 2 F, C
todo V.
todo F.
dos V y dos F.
todo V.
todo F.
dos V y dos F.
C tiene todo V.
C tiene todo F.
tiene dos V y dos F.
Los subcasos 1-8 son obvios. El subcaso 9 puede demostrarse recorriendo todas y cada una de las finitas combinaciones posibles.
110
28.
28.1
vlido
A
A
A
A
es
es
es
es
verdadera
falsa y B
verdadera
falsa y B
y
es
y
es
B es verdadera;
verdadera;
B es falsa;
falsa.
enlon
Demostracin. Supongamos Tf-SPA. Entonces, por 23.7, existe un subconjunto finito A de T tal que A|-SPA.
(i) Si A es vaco, entonces |-SPA y, por lo tanto, por 28.3, (:PA y, por lo
tanto T|: P A (por 20.5).
(ii) Si A no es vaco, sean A{ . . . , A (n^l) los elementos de A. Entonces, Ai . . . A|-SpA. Por lo tanto, por el Teorema de Deduccin, aplicado tantas veces como resulte necesario, BSPAI => (A 2 =>(.. . ( A ^ A ) ) )
[naturalmente, si n = l el resultado ser b s p A i ^ A ] . Por lo tanto, por
28.3, 1-PAI = D ( A 2 = ) ( . . . (A=>A))). P o r lo t a n t o , p o r la c l u s u l a 3 d e la
32.14.
28.5
Demostracin. Supongamos que no. Entonces, para alguna interpretacin I, t a n t o A como A => B seran verdaderas, mientras que B no sera
verdadera. Pero esto es imposible. [Tambin podramos haber apelado
simplemente a 19.5].
Utilizaremos posteriormente este metateorema, especialmente en la
secc. 35.
29.
Conceptos de completud semntica. Importancia para la lgica de una demostracin de la adecuacin y de la completud
semntica de un sistema formal de la lgica proposicional
veritativo-funcional
La completud
en general
a cualquier frmula F estara correlacionada, de una forma que esperamos que el lector admita c o m o razonablemente natural, u n a nica frmula de P que tenga la misma tabla de verdad. As (pretendemos que):
T o d a frmula veritativo-funcional est (puede estar) representada de
una forma natural por alguna frmula de P.
En segundo lugar, mostraremos (en la secc. 31) que t o d a tautologa
de P es un teorema de SP. Lo cual, considerado conjuntamente con lo
que acabamos de decir, arroja el siguiente resultado:
T o d a tautologa veritativo-funcional est (puede estar) representada
de una forma natural mediante algn teorema de SP.
Este resultado hubiera llenado de satisfaccin a los lgicos estoicos,
que fueron los primeros que t r a b a j a r o n sistemticamente en la lgica
proposicional veritativo-funcional, y los primeros que proclamaron la
completud de su estudio. 1 0
Segn esto, vamos a definir la siguiente nocin de completud para
sistemas formales cualesquiera de la lgica proposicional veritativo-funcional:
Definicin. U n sistema formal S que tenga un lenguaje L es complemento
respecto a la clase de todas las tautologas veritativo-funcionales
sii (1)
L es adecuado para la expresin de cualquier funcin de verdad y (2)
toda tautologa de L es un teorema de S.
De igual forma para SP:
Definicin. SP es completo respecto a la clase de todas las tautologas
veritativo-funcionales sii (1) P es adecuado para la expresin de cualquier
funcin de verdad y (2) toda tautologa de P es un teorema de SP.
Es habitual en la literatura lgica que las demostraciones de completud supongan tcitamente resultados conocidos acerca de la adecuacin
[para expresar cualquier funcin de verdad] y que se limiten sencillamente a mostrar que t o d a tautologa susceptible de ser expresada en el
lenguaje del sistema es un teorema. Seguiremos esta costumbre y, por
lo tanto, teniendo en cuenta que, en el caso de P, el c o n j u n t o de las
tautologas es el mismo que el conjunto de todas las frmulas lgicamente vlidas, formulamos la siguiente definicin:
Definicin. SP es semnticamente completo sii toda frmula lgicamente
vlida de P es un teorema de SP [es decir, sii si f:PA entonces b SP A].
114
107
Una indicacin acerca de la
terminologa
Puesto que no existe ninguna terminologa en la que estn de acuerdo todos los autores, la frase 'completud semntica' no ser interpretada
por todos ellos de la misma manera. Muchos hablan simplemente de
'completo', y dan a continuacin una explicacin breve. En todos casos
dejan que el contexto revele cul es el sentido de 'completo' que ellos
proponen.
Sobre las demostraciones de completud semntica de los sistemas
de la lgica proposicional
veritativo-funcional
formales
30.
Esquema de la demostracin de Post de la completud semntica de un sistema formal de lgica proposicional veritativofuncional
Esquema de la demostracin
de Post
En lo que respecta a la formulacin de Whithehead-Russell del clculo proposicional (al que llamaremos ? M ' ) :
(1) Post ofrece un mtodo efectivo para encontrar, p a r a cualquier
frmula A de P M , u n a frmula A D que est en forma normal disyuntiva
[ F N D ] y p a r a la cual | - P M A D = A .
(2) Post ofrece un m t o d o efectivo para demostrar en P M cualquier
tautologa de P M que est en F N D .
Supongamos a h o r a que A es una tautologa de P M . Si ya est en
F N D , entonces, por (2), existe un procedimiento que permite su demostracin en P M . Si n o est en F N D , entonces, por (1), existe un procedimiento que permite encontrar una frmula A D que est en F N D tal que
|-P M AD = A, y, por (2), existe un procedimiento para demostrar A D en
P M . As tenemos:
hpM^D
31.
Esta demostracin fue presentada por primera vez por Lzsl Kalmr
en 1935, para un sistema que tena conectivas adicionales y algunos
axiomas distintos.
Para desarrollar la demostracin necesitamos saber que, p a r a frmulas cualesquiera A, B y C de P, las siguientes frmulas son teoremas de
SP:
[ N m e r o 1]
[ N m e r o 2]
116
A=>A
A=>(B^A)
[Nmero
[Nmero
[Nmero
[Nmero
[Nmero
3]
4]
5]
6]
7]
(A =>(B = > C ) ) ^ ( ( A C ) )
- A => (A => B)
A=>~ ~ A
A =>(~B => ~ ( A =>B))
(A => B) ( ( - A => B) => B)
U n a demostracin tipo K a l m r resultar adecuada para cualquier sistema en el cual todas las frmulas que se ajusten a cualquiera de estos
siete patrones sean teoremas y M P sea una regla de inferencia. Mostrar
que todas las frmulas de P se ajustan a cualquiera de esis siete patrones es un ejercicio bastante pesado que n o incluye ninguna nueva idea
fundamental. El lector que slo busca las ideas bsicas de la demostracin podra saltarse las siguientes pginas p a r a ir directamente al enunciado del lema que constituye el corazn de la demostracin, es decir, el
metateorema 31.14 de la p.
Ya hemos demostrado el N m e r o 1 en el curso de la demostracin
del Teorema de Deduccin en la secc. 26 (ver el Caso 3 de la Base:
p.
) 1 2 . Los nmeros 2 y 3 son precisamente los esquemas de axioma
SP 1 y S P 2. Por lo tanto, slo falta por demostrar los N m e r o s 4-7. Si
demostramos antes el metateorema 31.1, ste nos servir de ayuda para
la demostracin de esos cuatro metateoremas.
Las demostraciones de los Nmeros 4-7 son demostraciones en el
metalenguaje que tienen por objeto comprobar que ciertas frmulas son
teoremas de SP.
En lo que sigue, A, B y C han de ser frmulas cualesquiera de IV
Para a h o r r a r tinta, eliminaremos el subndice SP de
31.1.
A =>B, B ^ C b A = > C
A
A=>B
B
B=>C
C
[Supuesto]
[Supuesto]
[ M P , 1, 2]
[Supuesto]
[ M P , 3, 4]
Por lo tanto, A=>B, B=>C, A|-C. Por lo tanto, por el Teorema de Dedilicin A=>B, B=>CbA=>C.
Abreviaremos
31.2.
[ N m e r o 4]
Demostracin
Luego
~A=>(A=>B)
1
2
3
|-~A=>(~B=>~A)
|-(~B^~A)=>(A=>B)
f-~A^(A=>B)
[ S P 1]
[ S P 3]
31.1, 1, 2]
Tambin podemos usar la demostracin formal de ~ p ' =>(// ^ p " ) dada en el ejemplo 3 de las pp.
- , secc. 22, para proporcionar la base de
una demostracin en el metalenguaje de que f - ^ A ^ A ^ B )
31.3.
Demostracin
1
2
Luego
3
4
Luego
Luego
6
7
31.4.
~ A = > ( ~ A ^ ~ A)
|-(~A=>
A)=>(~
~A=>A)
^~~A=>(~~A=>A)
~ A = > ( ~ ~A=>A))=>
-A=>A))
~
~A)=>(~
~A=>A)
|-~~A=>~~A
|-~~A=>A
[ N m e r o 5] y A
Demostracin
1
2
Luego
[31.2 = N m 4]
[ S P 3]
[31.1, 1, 2]
[ S P 2]
[ M P , 3, 4]
[ N m . 1]
[ M P , 5, 6]
~ ~ A
~ ^ A ^ A
~
~A)=>(A=> -A)
|-A=>~~A
[31.3]
[ S P 3]
[ M P , 1, 2]
31.5.
Demostracin. ~ ~ A|-~ ~ A ==> A, puesto que
~A=>A. Luego existe una derivacin que comienza por
y acaba en A=>A, que
vamos a representar de la siguiente forma (pasos 1 y 2):
1 ~ A
[Supuesto]
[ H u e c o que tiene que rellenarse con alguna demostracin de ^ A ^ A , por ej., igual que indicamos en la demostracin del metateorema 31.3]
2 -~A=>A
[31.3]
Y sigue:
3 A
118
[ M P , 1, 2]
4
5
A=>B
B
...,
6
7
B=>~~B
~ ~B
[Supuesto]
[ M P , 3, 4 ]
[ H u e c o que tiene que rellenarse con alguna demostracin de B^ 1 ~ ~ B , p o r ej., c o m o se indic
en la demostracin de 31.4]
[31.4]
[ M P , 5, 6)
Luego ~ ~ A , A = B ( - ~ ~ B
31.6.
Demostracin.
cin.
31.7.
[(A^B)=>(~B=>~A)
Demostracin
Luego
31.8.
1
2
3
|-(A => B) = ( ~ ~ A
Luego
~ ~ B)
|-(A=>B)=>(~B=>~A)
[ N m e r o 6] \-A=>(~B=>
Demostracin.
nes de T D :
31.9.
[31.6]
[ S P 3]
[31.1, 1, 2 |
~(A=>B))
P o r M P , A, A=>B|-B. P o r lo t a n t o , p o r dos a p l i c a d o
1
f.A=>((A=>B)=>B))
2
3
K(A=>B)=>B)=>(~B=>~(A=>B))
f.A=>(~B=> ~(A=>B))
[31.7]
[31.1, I, 2 |
K ~ / 1 = M ) = > ( B => A)
Demostracin
1
2
Luego
Luego
3
4
5
31.10.
[(~A=>A)=>A
Demostracin
1
2
Luego
|-~A=>(A=> ~ B )
K~A=>(A=> ~B))=>
((~A=>A)=>(~A=~B))
k ~ A = A)=>~A=>~B)
K~A=>~B)=>(B=>A)
K~A=>A)=(B=>A)
[N." 4 - 31.21
(SP 2]
M P , 1, 2 |
[ S P 3]
[31.1, 3, 4 |
K ~ A = A)=>((~A=>A) = A)
[31.9]
K ( ~ A = A)=>((~A=>A) = A))=>
(((~ A => A) => ( ~ A => A)) => ( ( ~ A => A) A))
[ S P 2]
K(~A=>A)=>(~A=>A))=>
((~A=>A)=>A)
[ M P , I, 2 |
I l<>
4
5
Luego
31.11.
K~
|-(~A=>A)=>(~A=>A)
K~A=>A) = A
[N. 1]
[ M P , 3, 4]
A=>B,
~A=>B[B
[Nmero 7] KA=>B)=>((~A=>B)=>B)
Esto completa la demostracin de que cualquier frmula que se ajuste al p a t r n de cualquiera de los Nmeros 1-7 es una teorema de SP.
Ahora podemos seguir adelante p a r a establecer y demostrar el lema que
constituye el corazn de la demostracin de Kalmr. Lo ms difcil de
toda la demostracin es comprender exactamente qu es lo que establece
este lema.
31.14
Explicacin.
Sea A cualquier frmula de P con k smbolos proposicionales distintos. Escribamos la tabla de verdad de A en la forma habitual. Entonces,
para cada fila de la tabla de verdad vale en SP una relacin de consecuencia sintctica diferente. P a r a cada fila dicha relacin es la siguiente:
Si a un smbolo proposicional se le asigna V, entonces lo escribimos a la
izquierda del signo [-; si se le asigna una F, escribimos su negacin a la
izquierda del signo
Si a A se le asigna V, escribimos A a la derecha del
signo
Si a A se le asigna una F, escribimos ~ A a la derecha del signo
h
Ejemplo. Sea A
p"'. N o importa cul de los p\ p'\ p"'
tomemos como B l 5 B 2 , B 3 . Sea B ^ p ' , B 2 = p" B 3 = p ,,/ . Entonces A
= (B! => ~B 2 )=> ~ B 3 , y su tabla de verdad es
Bi
B2
B3
V
F
V
F
V
F
V
F
V
V
F
F
V
V
F
F
V
V
V
V
F
F
F
F
V
F
F
F
V
V
V
V
121
1]
2]
3]
4]
5]
6]
7]
8]
Resulta vital darse cuenta del siguiente detalle: 7 oda relacin de consecuencia sintctica vale simplemente en virtud de las propiedades sintcticas de SP. Al demostrar el Lema nos referimos a interpretaciones de P,
pero toda relacin de consecuencia sintctica establecida mediante el
Lema vale independientemente de cualquier interpretacin de P. As, por
ej., las ocho relaciones de consecuencia sintctica del ejemplo pertenecen
a la pura teora de la demostracin de SP, y al establecerlas se eliminan
simplemente todas las referencias a interpretaciones de P. La presencia,
tanto en el enunciado del Lema como en su demostracin, de referencias
a interpretaciones de P, tiende a obscurecer este detalle vital.
Demostracin
del Lema
Supongamos que el Lema vale para todas las frmulas que tengan
menos de m conectivas [sta es la hiptesis de la induccin]. Hay que
demostrar que vale para una frmula A cualquiera que tenga m conectivas.
Hay que considerar los dos casos siguientes:
122
1
2
Bi, . . B i h C 1
es decir
B, . . B [ | - ~ C
Pero por 31.2, b~C=>(C=>D). Luego por M P
B , . . . , BU-C=>D
es decir
B, . . ., Bif-A1, que es lo que queremos.
Subcaso 2b: D es verdadera p a r a I.
Entonces A es verdadera p a r a I y A I = A = C : D D . Por la hiptesis de
la induccin
BJ, . . B [ \ - D
Pero |-D=>(C=>D) [ S P 1]. Luego por M P
B,..., BbC^D
es decir
B, . . ., BU-A1, que es lo que queremos.
Subcaso 2c: C es verdadera p a r a I y D es falsa p a r a I.
Entonces A es falsa p a r a I y A [ = A = ^ ( C ^ D ) . Por la hiptesis de la induccin
B...Bjy-C
y tambin
B...BH-~D
Pero f-C=>(~D=> ( C ^ D ) ) [31.8]. Luego por dos aplicaciones de M P
BJ . . . BJJ-~(C=>D): es decir BJ . . . Bil-A1.
Y con ello da fin el Paso de la Induccin y, a la vez, la demostracin
del Lema.
31.15
(Teorema de completud semntica para SP) Toda frmula lgicamente vlida de P es un teorema de SP [o: Si \.pA, entonces SPA~\
Demostracin. Sea A una frmula cualquiera de P que sea lgicamente vlida, y que tenga smbolos proposicionales distintos Bi...
Bk
1).
B[ = Bk.
B{=~Bk.
U n anlisis de esta demostracin de completud muestra que cualquier sistema formal con lenguaje P, que tenga el M o d u s P o n e n s c o m o
regla de inferencia, y que satisfaga las siete condiciones [ N m e r o 1-7|
ser semnticamente completo: P a r a frmulas cualesquiera A, B y ( '
1.
2.
3.
hA=^A
^A=>(B=>A)
K A => (B 3 O )
((A =3 B) ^ (A ^ O )
125
4.
5.
6.
7.
32.
b~A=>(A=>B)
|-A=>
A
bA=>(~B=>~(A=>B))
b(A=>B)=>((~A=>B)=>B)
Demostracin
son teoremas de SP
A=>A
A=>(B=^A)
3.
4.
5.
6.
7.
Si A, B\~SPC y A, C\-SPD,
entonces A, Bf-SP D
Demostracin
Luego
Luego
1
2
3
4
Luego
5
6
A=>A, A=>
~A=> ~ B
(-(~~A=>~B)=>(B=>~A)
~ ~ A = > A , A=>~Bf-B=>~A
|-(~ ~ A ^ A ) = >
((A=>~B)=>(B=>~A))
KA=>~B)^(B=>~A)
[31.1]
[ S P 3]
[ M P , 1, 2]
[3, T D dos veces)
[31.3]
[ M P , 5, 4 ]
32.3
Demostracin
1
2
3
Luego
Luego
Luego
[31.7]
[31.10]
[31.1]
32.4
\-(A^B)^{(A-
' B) => ~ A)
Demostracin
I Aiego
Luego
Luego
Luego
32.5
1
2
3
4
A=>B, B=>~A(-A=>'
K A 3 ~A)=> - A
A=>B, B = > ~ A h ~ A
A ^ B , A=> ~BbA=> B
5
6
7
8
f-(A=>~B)=>(B=>~A)
A ^ B , A=> ~BbB=> ~ A
A=>B, A=> ~ B b ~ A
KA=>B)=>((A=>~B)^~A)
[{~A=>B)=>{(~A:
[31.1]
[32.3]
[ M P , 1, 2]
[ P r o p i e d a d general de
cfr. 23.1 y 23.2]
[32.2]
[ M P , 4, 5]
[32.1, 6, 3]
[7, T D dos veces]
B)=>A)
Demostracin
Luego
l -uego
~A=>B,
2
3
4
B^
[ P a s o 7 de
tracin de
~ A en vez
[31.3]
[ M P , 1, 2]
[3, T D dos
conjuntos d-consistentes
la demos32.4, con
de A]
veces]
mximos, y algunos
Demostracin. Sea T cualquier c o n j u n t o de frmulas de P. Supongamos que T tiene un modelo, pero que no es un c o n j u n t o d-consistente de
SP. Entonces, p a r a alguna frmula A de P sucede que T|-SpA y T|- S p~A.
Entonces, por 28.4, [si rf- s p A, entonces r|=pA] TfipA y
A; es decir,
lodo modelo de T es un modelo de A y t o d o modelo de T es un modelo
de A. Pero hemos supuesto que T tiene un modelo. Luego en ese
modelo A es verdadera y ~ A es verdadera. Pero eso es imposible. Por
lo tanto, si T tiene un modelo, es un c o n j u n t o d-consistente de SP.
128
r u { ~ - 4 } es un conjunto
d-inconsistente
de SP sii r | - S P A
Demostracin
{a) S u p o n g a m o s I> S P A. E n t o n c e s r,~A[ssA
[23.2]. P e r o r , ~ A ( - S P
~ A [23.1, 23.2]. Luego T U { ~ A } es un c o n j u n t o d-inconsistente de SP.
(b) S u p o n g a m o s que r u { ~ A } es un c o n j u n t o d-inconsistente de
SP. Entonces r , ~ A | - S p B y T , ~ A | - S P ~ B para a l g u n a f r m u l a B. P o r lo
tanto, p o r el T e o r e m a de Deduccin, r j - s p ^ A ^ B y r f - s p ~ A = > ~ B . P e r o
b S p(~A => B) =3 ( ( - A 3 ~ B ) => A) [32.5]. Luego, p o r M o d u s P o n e n s
dos veces, T|- SP A.
32.8
ruM}
es un conjunto
d-inconsistente
de SP sii
r\-SP~A
P es un conjunto d-consistente
de SP
Demostracin
(a) C a d a uno de los
es d-consistente, ya que, T 0 es (ex hypothesi)
d-consistente y, por la forma en que hemos construido los r, si T n es dconsistente, entonces tambin lo es
(b) Supongamos ahora que P es d-inconsistente. Entonces, para
alguna frmula A existe una derivacin de A a partir de P y tambin
una derivacin de
a partir de P . C a d a una de esas dos derivaciones
consta de un n m e r o finito de frmulas. Sea A la frmula con mayor
nmero de nuestra enumeracin [32.11] que aparece en ambas derivaciones, y sea ella la rc-sima frmula de la enumeracin. Entonces r(- sp A
y r f - S P ~ A : es decir, r es d-inconsistente. Pero esto contradice lo establecido anteriormente en (a). Luego P debe ser d-consistente.
Comentario. El simple hecho de que toda demostracin y toda
vacin en los sistemas formales que nos interesan deba tener
mente un nmero finito de frmulas, quiz sea secundario slo
la induccin matemtica en su uso en metateora [ya la hemos
zado en la demostracin de 28.4].
(ii)
P es un conjunto d-consistente
derisolapara
utili-
mximo de SP
Parte principal de la
32.13
demostracin
de SP tiene un modelo
para P
Queremos demostrar en cada caso (l. fl etapa) si A es verdadera para I, entonces A est en P , y (2.a etapa) si A est en P , entonces A es
verdadera para I.
Caso 1. A es
~B
32.15.
Demostracin.
32.17.
de SP
Demostracin.
ces T[:SpA].
Demostracin.
Demostracin.
Puesto que la conversa de 32.20 es trivialmente verdadera, podramos escribir 32.20 escribiendo 'sii' en vez de "si9.
C u a n d o se aplica 32.17 a 20.6, se obtiene la versin sintctica del
Teorema de Interpolacin:
32.21.
Demostracin.
Demostracin del Teorema de Compacidad de P (32.20) desde el punto de vista de la teora de modelos.
Vamos a definir una interpretacin parcial de P c o m o una asignacin de
valores de verdad a, como mximo, un subconjunto propio de los smbolos proposicionales de P. Decimos que una interpretacin o interpretacin parcial X' de P es una extensin de u n a interpretacin o interpretacin parcial X de P sii cada asignacin que X hace de un valor de
verdad a un smbolo proposicional, tambin la hace X'. Decimos que
una interpretacin parcial X hace falsa un c o n j u n t o A de frmulas de P
sii no existe ninguna extensin de X que sea un modelo de A. En vez de
p' escribiremos p 1? en vez de p" escribiremos p2, etc.
Supongamos ahora que t o d o subconjunto finito de un c o n j u n t o de
frmulas de P tiene un modelo. Definimos una secuencia de interpretaciones parciales, X 0 , X u X 2 . .
de la siguiente forma:
X0 es una asignacin de valores de verdad simplemente al c o n j u n t o
vaco, es decir, no asigna ningn valor de verdad a ningn smbolo proposicional de P.
Xi+ ha de ser X ms la asignacin de verdad a pi+1 si la interpretacin parcial resultante n o hace falso ningn subconjunto finito
de T; en otro caso, X i + tiene que ser X ms la asignacin de F a
Pi+iM o s t r a m o s por induccin que ninguna de las X hace falso ningn
subconjunto finito de T. Base: X0 no hace falso ningn subconjunto
finito de T. Hiptesis de la induccin: Xi no hace falso ningn subconjunto finito de V. Hay que demostrar que Xi + 1 tampoco hace falso a
ninguno de tales subconjuntos. Supongamos que Xi + 1 hace falso a algn
subconjunto finito A de T. Entonces, por construccin, Xi+1 debe ser X
ms la asignacin de F a pi + u y adems Xt ms la asignacin de V a
pi+l debe hacer falso algn subconjunto finito, digamos
de T. Luego
tenemos:
Ninguna extensin de X j u n t o con la asignacin de F a pi+l
modelo de A, o en consecuencia t a m p o c o de A l j .
es un
es un
33.
esquema,
SP es sintcticamente
completo
Demostracin. Sea
cualquier frmula de P que no es un teorema
de SP. Supongamos que la adicin de A como axioma a SP da lugar a
un sistema que no es consistente. Entonces, para alguna frmula B se
cumple A|- S P B y A|- SP B. Luego, por el Teorema de Deduccin, |-SI,A 'H
y | - S P A = > ~ B , para algn B. Pero, por 32.4, |- S P (A=>B)=>((A=>-) '
~A). Luego, por dos aplicaciones de MP, | - S P ~ A . Pero esto contradice
nuestro supuesto de que ~ A no era un teorema de SP. Luego: Si ^ A es
I3(>
ID ^
Esquemas de axiomas:
1.
~(A=>BpA
2.
~(A=>B)^~B
Reglas de inferencia:
[Advirtase la exigencia de que las premisas deben ser teoremas]
1. Si A ^ B y B ^ C son teoremas, entonces tambin lo es A=>C.
2. Si A ^ F B ^ C ) y A D B son teoremas, entonces tambin lo es
A^C.
3. S i A d B y
B son teoremas, entonces A tambin lo es.
T o d a s las tautologas de P son teoremas de este sistema, de forma
que es sintcticamente completo (cfr. la demostracin de 33.1), pero resulta posible aadir al sistema el esquema no susceptible de demostracin A sin que se llegue a u n a inconsistencia absoluta: es decir, ningn
smbolo proposicional sin negacin es un teorema del sistema ampliado.
2. Si un sistema tiene c o m o una de sus reglas de inferencia una
regla de substitucin (clsica), entonces, aadirle como axioma u n a frmula que no sea un teorema equivale a aadirle un esquema que
previamente no es susceptible de demostracin, puesto que la regla de
substitucin permitir substituir los smbolos proposicionales de la frmula aadida por frmulas cualesquiera. Luego si un sistema de ese tipo
es sintcticamente completo, no se le p o d r aadir ninguna frmula conservando la consistencia (es decir, no vale p a r a l ninguna versin de
33.2). En este aspecto, existe una diferencia fundamental entre sistemas
sintcticamente completos que cuentan con la regla de substitucin como
regla de inferencia, y sistemas (como SP) que no disponen de ella.
140
34.
SP es decidible
35.
pertenecen a la clase que estamos considerando', donde lo que determina principalmente de qu clase se trata ser (1) el conjunto especfico
de valores que las interpretaciones de la clase pueden adoptar para sus
asignaciones a los smbolos proposicionales, y (2) los sentidos especficos
dados a ~ y => (invariables para una clase d a d a de interpretaciones).
Luego: presentaremos una clase M de interpretaciones de P especificando o exhibiendo:
1. U n conjunto no vaco W de las cosas llamadas valores, que son los
valores que pueden asignarse a los smbolos proposicionales de P:
2.
designados.
(i)
(ii)
El c o n j u n t o W es finito.
T o d o axioma de S es vlido para la clase M, es decir, es verdadero p a r a todas las interpretaciones de la clase M.
. C a d a regla de inferencia de S preserva la validez para i la clase
M.
. C a d a regla de inferencia de S preserva la verdad para una interpretacin dada.
C o m o ilustracin: T o d a interpretacin de P que pertenece a la clase
de las interpretaciones que estbamos considerando en las secciones anteriores es t a n t o un modelo finito fuerte como un modelo finito dbil del
sistema SP. Puesto que (1) el conjunto {V, F} es finito; (2) los axiomas
de SP son verdaderos para todas las interpretaciones de esa clase; (3a) el
M o d u s Ponens para => preserva la caracterstica de verdad para todas
las interpretaciones de esa clase [28.2]; y (3b) el M o d u s Ponens preserva
la caracterstica de verdad para I [28.5].
36.
(a) Desde el p u n t o de vista de la teora de modelos. Sea A el axioma cuya independencia queremos demostrar. Si podemos mostrar que
existe una interpretacin p a r a la cual todos los dems axiomas resultan
verdaderos, y para la cual la(s) regla(s) de inferencia preserva(n) la verdad, pero para la cual A n o resulta verdadero, entonces esto demuestra
que A no es derivable a partir de los restantes axiomas, es decir, que A
es independiente de los restantes axiomas.
(b) Desde el p u n t o de vista de la teora de la demostracin. Sea
nuevo A el axioma en el que estamos interesados. Si podemos mostrar
que todos los dems axiomas tienen una cierta propiedad, entonces A es
independiente de los dems axiomas.
Si nos limitamos al primer sentido, ms estricto de 'interpretacin', no
podramos utilizar el m t o d o (a) para demostrar la independencia de los
axiomas de SP, puesto que en este primitivo sentido estricto de kinterpretacinf t o d o axioma de SP es verdadero p a r a toda interpretacin. Pero
veremos que en el nuevo sentido ampliado de 'interpretacin' es posible
encontrar interpretaciones para las cuales alguno de los axiomas no resulta verdadero.
En lo que sigue hablaremos libremente de que los esquemas son kv lidos' o 'no vlidos', lo que constituye una forma abreviada de decir que
todas las frmulas que tienen la forma del esquema son vlidas, o respectivamente, que no todas las frmulas que tienen esa forma son vlidas. Y lo mismo hay que entender en el caso de 'susceptible de demostracin'.
36.1 '"El esquema de axioma SP 1 es independiente del conjunto de los
esquemas de axioma {SP 2, SP 3}
Demostracin. Sea M la clase de las interpretaciones de P que tiene
W = {0, 1, 2}, D{0} y T I y T2 de la siguiente forma:
TI
A
0
1
2
T2
~ A
A=>B
1
1
0
0
0
0
1
1
1
2
2
2
0
1
2
0
1
2
0
1
2
0
2
2
2
2
0
0
0
0
14")
SP 1
A=>(B
0 0 0
0 2 1
0 0 2
1 0 0
1 0 1
1 2 2
2 0 0
2 0 1
2 0 2
*
0
2
0
2
2
0
2
0
0
SP 2
A)
0
0
0
1
1
1
2
2
2
(A=(B
0 0 0
0 2 0
0 2 0
0 2 1
0 2 1
0 0 1
0 0 2
0 0 2
0 0 2
1 2 0
1 0 0
1 0 0
1 0 1
1 0 1
1 2 1
1 2 2
1 2 2
1 2 2
2 0 0
2 0 0
2 0 0
2 0 1
2 0 1
2 0 1
2 0 2
2 0 2
2 0 2
0
2
2
2
2
0
0
0
0
0
2
2
2
2
0
0
0
0
0
2
2
2
2
0
0
0
0
Q)
0
i
2
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
= B)=(A=>C))
0 0 0 0 0 0 0
0 0 0 2 0 2 1
0 0 0 2 0 2 2
0 2 1 0 0 0 0
0 2 1 0 0 2 1
0 2 1 0 0 2 2
0 2 2 0 0 0 0
0 2 2 0 0 2 1
0 2 2 0 0 2 2
1 2 0 0 1 2 0
1 2 0 0 1 2 1
1 2 0 0 1 0 2
1 2 1 0 1 2 0
1 2 1 0 1 2 1
1 2 1 0 1 0 2
1 0 2 2 1 2 0
1 0 2 2 1 2 1
1 0 2 0 1 0 2
2 0 0 0 2 0 0
2 0 0 0 2 0 1
2 0 0 0 2 0 2
2 0 1 0 2 0 0
2 0 1 0 2 0 1
2 0 1 0 2 0 2
2 0 2 0 2 0 0
2 0 2 0 2 0 1
2 0 2 0 2 0 2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
*
146
(~A=>
1 0 2
1 0 2
1 0 2
1 1 2
1 1 2
1 1 2
0 2 2
0 2 2
0 2 0
SP 3
n (B ^ A)
0 0 0 0
0 1 2 0
0 2 0 0
0 0 2 1
0 1 2 1
0 2 0 1
0 0 2 2
0 1 0 2
0 2 0 2
~B)
1 0
1 1
0 2
1 0
1 1
0 2
1 0
1 1
0 2
*
36.2
El esquema SP 2 es independiente
T2
~A
1
0
2
A
0
0
0
1
1
1
2
2
2
2
B
0
1
2
0
1
2
0
0
1
2
A=>B
1
1
1
0
1
2
2
2
1
1
SP 3 es independiente
Demostracin. P a r a cambiar, vamos a utilizar otro mtodo de demostracin. Sea L* el esquema que resulta b o r r a n d o en un esquema L todos
los signos de negacin. As, Si L es (~A=> ~ B ) entonces L* es (A=>B).
Llamemos L* al esquema asociado de L. Entonces (1) los esquemas
asociados de SP 1 y SP 2 son esquemas tautolgicos [en ambos casos
L* = L]; (2) El M o d u s Ponens preserva la tautologicidad de los esquemas asociados [represe en que (A => B)* es (A => B*)]; (3) es esquema
asociado de SP 3 no es un esquema tautolgico [es (A=>B)=>(B^A)|.
Luego SP 3 es independiente de {SP 1, SP 2}.
37.
~AVB
B
~ A
[Supuesto] }
contradiccin formal
AVB
Segn esto, Anderson y Belnap presentaron en 1959 un sistema formal de lgica proposicional veritativo-funcional que n o empleaba el
M o d u s Ponens para V (ni ningn equivalente suyo). Este sistema, que
es una simplificacin de sistemas anteriores de K u r t Schtte, admite una
demostracin de completud muy fcil y tiene un sencillo procedimiento
efectivo de demostracin.
[Comentarios filosficos. Estoy de acuerdo con Anderson y Belnap en
cuanto a (c). Pero no creo que, para lo que ahora nos proponemos, tengamos que estar de acuerdo con (a). Considero la regla de inferencia de SP
no c o m o algo que bajo la interpretacin habitual, tenga que ser u n a
regla vlida de inferencia, sino simplemente c o m o una regla para generar
frmulas que, bajo la interpretacin habitual, expresan verdades de la
lgica. P a r a lo que ahora nos proponemos n o importa cmo se han
generado esas frmulas, d a d o que todas ellas son generadas (y que no
148
El sistema
AB
Smbolos
AB tiene slo 4 smbolos: p
'
proposicio-
La barra,
, expresa, bajo la interpretacin propuesta, la negacin. Su uso nos permite prescindir de parntesis.
Fbfs
1.
2.
3.
4.
Definicin de disyuncin
primitiva
disyuntiva
Axiomas
U n a fbf A es un axioma sii es una disyuncin primitiva y, para algn
smbolo proposicional B, t a n t o B como B son pares disyuntivas suyas.
Ejemplos: p' V p" V pf" V p' es un axioma; p' V p' V p" V p'" no lo es
(porque no es una disyuncin primitiva).
Reglas de inferencia
I. D(A) es una consecuencia inmediata de D(A)._
II. D ( A V B ) es una consecuencia inmediata de D (A) y D(B). P a r a
mayor legibilidad, en vez de p\ p p ' n escribiremos p, q, r.
Ejemplos:
I.
II.
p V q V r es una consecuencia de p V q V r.
p V q V r es una consecuencia inmediata d e p V g y p V r .
Definicin de demostracin
en AB:
p V r V p V q
p V r V p V q
3
4
V r V
V #
p V q V r V p V q
[Axioma]
[A partir de 1 por la
Regla I]
[Axioma]
[A partir de 2 y 3 por
la Regla II]
2. Comencemos la construccin de un rbol, que tenga en su vrtice la frmula que hay que demostrar, y en las dos puntas de la primera
bifurcacin las dos frmulas que acabamos de mencionar:
2
p V q V p
q V q V p
p V q V q V p
p V q V p
p y q \/ p
q y q y p
py q y qyp
p V q V p
p V q V p
q \/ \ V p
V q V
p V q V q V p
7. Las dos ramas del rbol acaban en frmulas completamente reducidas que de hecho son axiomas. P a r a obtener la demostracin que se
nos peda slo tenemos que escribir las frmulas del rbol siguiendo el
orden inverso, de la siguiente forma:
[5]
[4]
[3]
[2]
[1]
q
p
|
p
p
V
V
V
V
V
q
q
q
q
q
V
V
V
V
V
p
p
p
p
q V p
[Axioma]
[Axioma]
[A partir de 5, por la Regla I]
[A partir de 4 por la Regla I]
[A partir de 2 y 3 por la Regla II]
de AB
de la consistencia
de AB
la
tautologicidad
Demostracin
(a) Regla I. D e m o s t r a r que si D(A) es u n a tautologa, entonces
tambin lo es D().
Casos: 1.
2.
. 3.
4.
Caso
entonces
Caso
Casos
(b)
D(A)
D(A)
D(A)
D(A)
es
es
es
es
A
A V B
B V A
B V A V C
AB es
consistente
de la completud
semntica
de AB
Regla II.
AB es semnticamente
AB es
decidible
Dos demostraciones:
1. Puesto que una frmula de AB es un teorema de AB sii es una
tautologa, el mtodo habitual de tablas de verdad es un mtodo efectivo
de decisin para AB.
2. Sea A cualquier frmula de AB de la que queremos saber si es un
teorema o no. Construimos un rbol (completo) para A en la forma
indicada anteriormente. Si todas las ramas del rbol acaban en un axioma, A es un teorema de AB. Si al menos u n a r a m a del rbol acaba en
una frmula que no es un axioma, entonces A n o es un teorema.
37.6
Existe
un procedimiento
efectivo de demostracin
para
AB
IS6
V p V r
y V de la frmula
r
f
r
V
V
V
<? V
q V
V
q V
rV
q V
pV
pV
pV
pV
q V
PV
PV
V
q V
pV
pV
q V
pV
PV
PV
PV
pV
q V
pV
PV
r V
P V
q V
pVr
pVr
pVr
pVr
pVr
pVr
q V p V r
q V p V r
q v p V r
pVr
PVr
PV r
q V p V r
PV q V p Vr
q V.P V r
r Vp V q Vp V r
[Axioma]
[Axioma]
[16, Regla I ]
[Axioma]
[Axioma]
[13, Regla I]
[11, 12, Regla II]
[14, 15, II]
[10, I]
[Axioma]
[Axioma]
[7, I ]
[5, 6, II]
[8, 9, II]
[4, I ]
[2, 3, II]
N O T A S A LA S E G U N D A P A R T E
1
Para ejemplos de conectivas que pueden definirse de esta forma y conectivas que no
pueden definirse de esta forma, vase el ejercicio 2 al final de la seccin.
2
' A ' es un smbolo que representa la conjuncin, y ' V ' es un smbolo que representa la disyuncin [inclusiva].
2
(bis) Una funcin total de verdad de n argumentos es una funcin de verdad cuyo
dominio es el conjunto de todas las secuencias de n trminos, los cuales proceden del
conjunto {V,F}. En lo que sigue, hay que entender 'funcin de verdad' c o m o una abreviatura de 'funcin total de verdad'.
3
Cf. Hobbes: 'Ya he refutado en muy pocas hojas su Tratado acerca del Angulo de
Contacto. Y en cuanto a su Secciones Cnicas, est de tal manera cubierto por una costra
de smbolos que no tuve la paciencia suficiente para examinar si estaba bien o mal
demostrado.' (Six Lessons to the Professors of the Mathematiques... in the University of
Oxford, Lesson v, p. 49 [1656]; en The English Works of Thomas Hobbes, ed. Sir William
Moresworth, vol. vii (1845), p. 316).
4
El 'o..., o...' de esta oracin intenta ser puramente veritativo-funcional. La clusula 3
podra expresarse de la siguiente forma: ...sii ni A es verdadera para I, ni tampoco B es
verdadera para I'.
5
La definicin de consecuencia semntica en el caso de lenguajes adecuados para la
lgica de predicados es ms complicada. Ver la 3.a Parte, secc. 39.
6
Desde este lugar, y hasta el final de la seccin, 'frmula' se utiliza no slo para
hacer referencia a las frmulas de P, sino tambin a frmulas de lenguajes con conectivas
proposicionales veritativo-funcionales distintas de las de P.
7
Una conectiva proposicional veritativo-funcional es un smbolo dotado de significado, y no un smbolo puramente formal.
8
Suponiendo que se mantengan constantes las nociones de interpretacin de L y de
verdadero para una interpretacin de L
9
Entonces: Puesto que A es un subconjunto de T, r = T U A. Luego todo lo que
tenemos que mostrar es que si A(:pA entonces T U A|: P A. Pero esto es simplemente una
variante notacional de 20.2. ('Si r ^ p A , entonces T U A(zpA'.]
10
Por diversas razones, resulta difcil saber si su pretensin es correcta o no: cf. Benson Mates, Stoic Logic, pp. 81-2.
11
Por ej., la de Jerzy Los (1951). Vase tambin las referencias en la nota 223, p. 285,
do Kleene (1967). Stoll (1963, cap. 6, secc. 8-9) ofrece un tratamiento algebrico-booleano
de la metateora de la lgica proposicional veritativo-funcional.
12
Esto equivale a utilizar la demostracin formal de p'
p' dada en el ejemplo 1, p.,
de la secc. 22, para disponer - de la base de una demostracin en el metalenguaje de
que |- S P A= : , A para una frmula cualquiera A.
13
En las Partes 3 y 4 usamos frecuentemente una modificacin de este concepto que
llamamos completud respecto de la negacin: vase, por ej., la definicin que precede a
45.10 y los metateoremas 45.10, 45.13, 45.14, 46.4, 48.3, 51.12, 51.13 (Teorema de Gdel
Generalizado).
158
TERCERA PARTE
Lgica de Predicados
de Primer Orden:
Consistencia y Completud
CONSISTENCIA Y COMPLETUD
38.
Smbolos
p
'
=>
predicativos:
5 *
F*', F*f\
F*"\ . ..,
F**\
F**'\
F**"\ . .
,...,...
es decir, la letra itlica mayscula F seguida de uno o ms asteriscos y, despus, uno o ms acentos, es un smbolo predicativo (***).
U n smbolo predicativo que tenga n asteriscos es un smbolo predicativo n-dico.
Conectivas:
~
=>
Cuantificador universal: A
Parntesis:
(
)
(*) Se mantiene el nombre de Q para este lenguaje ('Quantification'), sin traducirlo por
('Cuantificacin') dada la mencin posterior de otro lenguaje 'C' (NT).
(**) Utilizaremos tambin la terminologa 'smbolo de funcin' (NT).
(***) Utilizaremos tambin la terminologa 'smbolo de predicado' (NT).
161
CONSISTENCIA Y COMPLETUD
Trminos: U n a constante individual es un trmino. U n a variable individual es un trmino. U n smbolo funcional n-dico seguido por
n trminos es un trmino. Ninguna otra cosa es un trmino.
Trminos cerrados: U n trmino es (est) cerrado sii no aparece en l
ninguna variable.
Fbfs
1.
2.
3.
4.
5.
6.
Alcance
En
A.
Ejemplos:
1.
En
alcance
del
cuantificador
es
variables
bien
est
suya
caso
CONSISTENCIA Y COMPLETUD
Ejemplos:
1. En A x'(F*'x' => F*'x') las dos apariciones de x' estn ligadas,
mientras que la aparicin de x' est libre.
2. En (A x'F*'x'=>F*'x') las dos primeras apariciones de x' estn ligadas, mientras que la tercera est libre. Luego la variable x'
est a la vez libre y ligada en esta frmula.
De nuestras definiciones se sigue que cualquier aparicin de una
variable en u n a fbf atmica (es decir, en una fbf sin cuantificadores) est
libre.
Notacin
Si A es una fbf, t es un trmino y v una variable, entonces Av/t es la
fbf obtenida a partir de A substituyendo todas las apariciones libres de v
en A por t.
Ejemplos:
1. Si
A es ' ( A x ' P ' x ' D P ' x ' ) ,
entonces
Ax'/x'"
es
( A x/F*V=>F*/x"/).
2. Si A es A x'(F*'x' => F*'x'), entonces Ax'/x" es el mismo A,
puesto que no existe ninguna aparicin libre de x'en A.
Definicin, t est libre para v en A
t est libre para v en A si (1) si t es una variable, entonces t aparece
libre en Av/t siempre que v aparece libre en A, y (2) si t es un trmino en
el que no aparece ninguna variable, entonces siempre que las apariciones
libres de v en A se substituyen por t, todas las apariciones de las variables de t siguen estando libres. Si t es un trmino cerrado, entonces t est
libre para v en cualquier frmula A.
Ejemplos:
1.
2.
3.
4.
En
En
En
En
Fbfs (u oraciones)
cerradas
Una fbf cerrada es una fbf en la que no hay ninguna aparicin libre
de ninguna variable. U n a fbf que no sea cerrada es una fbf abierta.
163
CONSISTENCIA Y COMPLETUD
Cierre
1. Si A es una fbf en las que las variables Vi ' ' " v tienen apariciones libres, entonces A, precedida de A v x .. . A v es un cierre de A.
[Puesto que no exigimos que las variables v x ' ' v aparezcan libres
en A en ese orden, se sigue que, por ej., t a n t o
A x ' A x'F**'x'x'
como
Ax'A
son cierres de
JF**'X'X".]
2. Si A es una oracin [fbf cerrada], entonces A es un cierre de A, y
tambin lo es A vA, d o n d e v es cualquier variable.
3.
V (cuantificador existencial)
existencial
particular.
Comentarios
Suponemos que el lector tiene ya cierta familiaridad con el simbolismo de la lgica de predicados de primer orden, de forma que slo vamos
a hacer dos indicaciones:
1. Queremos que los smbolos funcionales simbolicen las partes en
itlica de las siguientes oraciones:
(a) El sucesor de 0 es 1 [se simboliza mediante un smbolo funcional mondico (1-dico)]
(b) La suma de 2 y 2 es 4 [se simboliza mediante un smbolo funcional didico (2-dico)]
(c) La suma del producto de 4 y 5 y el producto de 8 y 10 es 100
[que podra simbolizarse mediante un smbolo funcional tetrdico (4dico): /(a, b, c, d) = (a-b) + (c-d)]
164
CONSISTENCIA Y COMPLETUD
2. 'Primer orden' se distingue de 'segundo orden' y de 'orden superior'. La siguiente explicacin de lenguajes y predicados de orden superior pasa por alto las complicaciones conectadas con smbolos funcionales, variables funcionales y variables proposicionales. Los smbolos predicativos de Q son de primer orden. Un smbolo predicativo que puede
aceptar un smbolo predicativo de primer orden c o m o a r g u m e n t o suyo,
pero que n o admite c o m o argumento suyo ningn smbolo predicativo
de segundo orden o de orden superior es un smbolo predicativo de
segundo orden; un smbolo predicativo de tercer orden admitir c o m o
argumentos suyos smbolos predicativos de segundo orden, pero no admitir como argumentos suyos smbolos predicativos de un orden superior al de segundo orden; y as sucesivamente. U n lenguaje de primer
orden permite que los cuantificadores liguen solamente variables individuales; un lenguaje de segundo orden tambin les permite que liguen
variables de predicado de primer orden, pero no de orden superior; un
lenguaje de tercer orden les permite que liguen tambin variables predicativas de segundo orden, pero no de orden superior; y as sucesivamente. Para decirlo semnticamente (que es lo que nos proponemos):
Primer orden: cuantificacin slo sobre individuos.
Segundo orden: cuantificacin sobre propiedades de 2 individuos, de
la misma forma que sobre individuos.
Tercer orden: cuantificacin sobre propiedades de 2 propiedades de 2
individuos, de la misma forma que sobre propiedades de 2 individuos y sobre individuos.
(T
Se dice que cualquier sistema formal que se diferencia de Q slo en
que tiene una cantidad enumerable de constantes individuales que no
estn en Q (supuesto que se d una enumeracin efectiva de esas constantes nuevas) es un lenguaje Q + .
39.
CONSISTENCIA Y COMPLETUD
Nuestra papeleta ms importante de la Tercera Parte es una demostracin de la completud de un sistema de la lgica de predicados de primer
orden, es decir, una demostracin de que todas las frmulas lgicamente
vlidas de Q son teoremas del sistema. P a r a ello nos hace falta una
definicin exacta de frmula lgicamente vlida de Q. Y p a r a esto no
podemos a d o p t a r la nocin de tautologa de la Segunda Parte, puesto
que hay frmulas lgicamente vlidas de Q que no son instancias de
esquemas tautolgicos (para el significado de 'instancia de un esquema
tautolgico de Q', ver ms adelante la definicin que precede a 40.10).
De este hecho proceden la mayora de las complicaciones que encontraremos a continuacin.
Explicacin
preliminar
2.
3.
4.
A cada smbolo predicativo se le asigna alguna propiedad o relacin definida respecto a objetos del dominio.
Les d a m o s a las conectivas sus significados veritativo-funcionales habituales 4 . Los cuantificadores se leen como si se refirieran exclusivamente
a elementos del dominio de la interpretacin; por ej.,
A x'
se lee c o m o
P a r a cada cosa, x', del dominio
y Ax'F*'x' es verdadera p a r a una interpretacin d a d a I sii todo elemento del dominio de I tiene la propiedad asignada por I al smbolo predicativo F*'.
P a r a poder dar cuenta de frmulas en las que las variables aparecen
libres, la definicin entera de interpretacin de Q (Q + ) tiene que ser
bastante complicada. La nocin clave de la definicin es la de satisfaccin de u n a frmula por una secuencia enumerable de objetos. Adems,
166
CONSISTENCIA Y COMPLETUD
completa
Vamos a definir en primer lugar qu es, para una secuencia 5, satisfacer una frmula A. Vamos a considerar sucesivamente todas las formas
que puede adoptar A.
Satisfaccin de una frmula A por una secuencia s (para una interpretacin dada I)
Sea I una interpretacin cualquiera de Q (Q + ) y sea D su dominio.
Sea s una secuencia enumerable cualquiera cuyos trminos son elementos de D. Sea A una frmula cualquiera de Q ( Q + ) .
En la definicin de satisfaccin utilizaremos la siguiente enumeracin
invariable de las variables de Q (Q + ): x' ha de ser la primera variable de
nuestra enumeracin; x seguida por un nmero k de acentos ser la A
sima variable de nuestra enumeracin.
1. Supongamos que A es un smbolo proposicional. Entonces s satisface A sii I asigna a A el valor veritativo verdad.
Ejemplos: Sea I una interpretacin de Q (Q + ) cuyo dominio es el
conjunto de los enteros positivos. Asigne I a p' el valor veritalivo
verdad, y a p" el valor veritativo falsedad (falso). P a r a una ms fcil
lectura, escribiremos p' como p, y p" como. q. As tenemos: I asigna
V a p y F a q. Sea 5 la secuencia enumerable con repeticiones <5, 10,
15, 5, 10, 15, 5...). Entonces:
5 satisface p
s no satisface q
\W!
CONSISTENCIA Y COMPLETUD
Entonces:
s n o satisface ~p
s satisface ~q
3. Supongamos que A es de la forma (B =>C). Entonces s satisface A
sii 5 no satisface B o s satisface C (o ambas cosas). [El 'o' se entiende
desde un p u n t o de vista puramente veritativo-funcional.]
Ejemplos: Sean I y s igual que antes. Entonces:
5
s
s
s
satisface q
p, q => q, q
= p, q
satisface p=>p, ^ p ^ p , ~q=>p K
satisface
p^^q,
n o satisface p^q,
^q^q,
=q
4. Supongamos que A es una fbf atmica cerrada sin smbolos funcionales, y sin smbolos proposicionales. Entonces tiene la forma
FC ... C, donde F es un smbolo predicativo rc-dico y cu ..., cn, donde F es un smbolo predicativo n-dico y c 1? . . c son constantes individuales (no necesariamente distintas). Por definicin, I asigna algn
elemento de D a cada constante individual: sean d l 5 . . . d los elementos
de D asignados respectivamente a las constantes c l 5 . . . , c (siendo dichos elementos no necesariamente distintos). Entonces 5 satisface A sii
la rc-tupla ordenada <d l 9 . . . d> es un elemento del conjunto de rc-tuplas
ordenadas asignado por I al smbolo predicativo F.
Ejemplos: Sean I y 5 igual que antes. Asigne I el n m e r o 1 a la
constante a' el n m e r o 2 a la constante a", y as sucesivamente.
Asigne I a F**" la relacin de ser mayor que ( > ) . Abreviamos F"
mediante G. Entonces:
s
5
s
s
CONSISTENCIA Y COMPLETUD
satisface Ga29x0
(puesto que 29 es mayor que el dcimo trmino de 5, que es 5).
no satisface Ga9xu
(puesto que 9 no es mayor que el undcimo
trmino de 5, que es 10).
169
CONSISTENCIA Y COMPLETUD
3.
4.
5.
Definicin. U n a frmula A de Q es satisfacible sii existe alguna interpretacin I de Q para la cual se satisfaga A [es decir, si existe una interpretacin I tal que A sea satisfecha por al menos una secuencia enumerable
de elementos del dominio de I].
Ejemplos [para mayor simplicidad, escribimos F, x, y en vez de F* r ,
x', x " ] :
1.
2.
3.
Fy es satisfacible.
Fx => Fx es satisfacible.
^ ( F x ^ F x ) no es satisfacible.
Definicin. Un conjunto T de frmulas de Q es simultneamente satisfacible sii para alguna interpretacin I de Q alguna secuencia 5 satisface a
todo elemento de T.
172
CONSISTENCIA Y COMPLETUD
Ejemplos:
1. {Fx, ~ F y } es simultneamente satisfacible.
2. {Fx, ~ F x } no es simultneamente satisfacible.
Definicin. U n a fbf A de Q es verdadera para una interpretacin dada I de
Q sii toda secuencia enumerable de elementos del dominio de I satisface
A.
Definicin. U n a fbf A de Q es falsa para una interpretacin dada I de Q
sii ninguna secuencia enumerable de elementos del dominio de I satisface A.
U n a frmula en la que alguna variable tenga alguna aparicin libre
puede que no resulte ni verdadera ni falsa para una interpretacin dada.
Por ej., Fx=> ~Fy no es ni verdadera ni falsa para una interpretacin I
en la que D es el conjunto de los nmeros naturales y "F" significa bes
par'. Cfr. 40.6 y 40.7, en las pp. 152, 153.
N. B. Satisfacer' no significa "hacer verdadero\ U n a secuencia s puede
satisfacer una frmula A, p a r a una interpretacin I, sin que A sea verdadera para I. Por ejemplo: Sean I, 5, G, x1 y x 2 c o m o en los ejemplos de
las pp. 143-4, ms arriba. Entonces s satisface Gx2x{ (puesto que 10 es
mayor que 5), pero Gx2x{ no es verdad p a r a I (puesto que no toda
secuencia de elementos del dominio de I satisface Gx2x1: por ejemplo, la
secuencia <2, 1, 1, 1, 1, 1, 1, 1, . . . ) no la satisface).
Definicin. U n a interpretacin I de Q es un modelo de una frmula A de
Q sii A es verdadera para I.
Definicin. U n a interpretacin I de Q es un modelo de un conjunto I de
frmulas de Q sii toda frmula de T es verdadera para I.
Definicin. Un sistema formal tiene un modelo sii el c o n j u n t o de todos sus
teoremas tiene un modelo.
Definicin. U n a frmula A de Q es una frmula lgicamente vlida de {)
H=(v)A] sii A es verdadera para toda interpretacin de Q.
[Recurdese que toda interpretacin de Q debe, por definicin, tener
un dominio no-vacio.].
Definicin. U n a frmula B de Q es una consecuencia semntica de una
frmula A de Q [A|=QB] sii para toda interpretacin de Q, toda secuencia
que satisface A satisface tambin B: es decir, si no existe ninguna sccucn
cia que satisfaga A y no satisfaga tambin B.
173
CONSISTENCIA Y COMPLETUD
Cfr. 19.1.
Nota final a la secc. 39
P a r a la secc. 39 resultan bsicas:
I.
La
(1)
(2)
(3)
diferencia entre
s satisface A,
A es verdadera para /, y
A es lgicamente
vlida.
CONSISTENCIA Y COMPLETUD
EJERCICIOS
(vi)
A
Es
lx
un
modelo
del
conjunto
de
frmulas
{Gx 5 x 5 ,
X72GX72X72}?
AX2FX2)7
1. (i) S.
(ii) N o .
I7.S
CONSISTENCIA Y COMPLETUD
(iii) N o . U n a f r m u l a es verdadera p a r a
sii es satisfecha p o r t o d a
secuencia enumerable de enteros positivos. La secuencia, <2, 8, 2, 2,
2 , . . . . >, p o r ejemplo, n o satisface Gx2x3.
(iv) S: p e r o n o slo p o r q u e 5 ^ 5 , sino porque, p a r a c a d a entero
positivo n, n ^ n .
(v) N o . Si Ii tiene q u e ser un modelo de este c o n j u n t o , toda secuencia
e n u m e r a b l e de enteros positivos tiene que satisfacer simultneamente
a m b a s frmulas. U n a secuencia (entre m u c h a s otras) q u e n o satisface
GX 4 9 X 1 0 7 es u n a secuencia cuyo 49-simo t r m i n o sea 2 y cuyo 107simo t r m i n o sea 1. L u e g o I j n o es un m o d e l o de este c o n j u n t o .
(vi) S.
(vii) N o . Es verdad p a r a 19 pero n o es verdad p a r a toda interpretacin de Q; p o r ejemplo, n o es verdad p a r a u n a interpretacin en la cual
se asigne a G la relacin > .
(viii) S.
(ix) S.
(x) N o .
(xi) S. N i n g u n a secuencia satisface ^ ( A x 2 F x 2 D A x2Fx2).
2. (i) P o r ej., la secuencia <2, 4, 6, 8, 10,. . . ) o la secuencia <2, 4, 6,
8, 8, 10, 12, . . . > , o la secuencia <8, 6, 4, 2, 4, 6, 8, 6, 4, 2, 4, . . . >.
(ii) P o r ej., la secuencia <2, 4, 6, 8, 6, 4, 2, 4, 6, . . . ) .
(iii) P o r ej., A
x5Gx5x5.
(iv) P o r ej., Gx1x2.
(v) P o r ej., { G x 1 7 x l 7 , A x9Gx9Gx9}
o {Gxllxl,
A x9Gx9x9,
p'^p'}.
(v) P o r ej., {GX 1 7 X 1 7 , A X9GX9X9. GXXx2} O
{GX 1 7 X 1 7 , A X9GX9X9,
~(p'=>p')}.
(vii) P o r ej., Fxl^>Fx
o Fxl=> A x2Fx1 [Cfr. 40.13, m s adelante].
(viii) P o r ej., Fx1
A xFxl
[tmese, p o r ej., u n a interpretacin I 3
con d o m i n i o {1, 2} q u e asigne a F la p r o p i e d a d de ser un nmero par.
Entonces, la secuencia <2, 2, 2, 2, 2 , . . . . > satisface F x x p e r o n o satisface
A x^xj.
(ix) P o r ej.
(x) P o r ej., - ( F x ^ f x J .
40.
176
CONSISTENCIA Y COMPLETUD
Si A es lgicamente
vlida, entonces
~ A no es
satisfacible
40.2.
40.3.
40.4.
40.6.
40.7
para
verdadero
40.8
40.9
I sii A es
satisfacible
CONSISTENCIA Y COMPLETUD
40.10
Esquema de la demostracin. Sea X un esquema tautolgico cualquiera de Q. Sea s una secuencia enumerable cualquiera de elementos del
dominio de una interpretacin cualquiera de elementos del dominio de
una interpretacin cualquiera de Q (Q + ). C o m o consecuencia de la definicin de satisfacin se deriva que, para cualquier fbf A de Q ( Q + ) , o
bien s satisface A, o bien 5 no satisface A. Construimos una tabla para X
que es igual que una tabla de verdad, salvo en que en vez de escribir fcV'
y T \ escribimos 'S' (con el significado de \s satisface') y fcNo' (con el
significado de 's no satisface'). Entonces, por las clusulas 3 y 4 de la
definicin abreviada de satisfaccin (p. 172), X tendr un 'S' en todas las
asignaciones de 'S' y ' N o ' a sus letras esquemticas. Pero s era una
secuencia cualquiera. Luego toda secuencia satisface cualquier instancia
de X.
Ejemplo: Sea X el esquema A ^ ( ~ B = > ~ A = 3 B ) )
A
Si
No
S
No
r>
(~
S
S
No
No
S
No
S
No
S
S
S
S
No
No
S
S
178
B
S
S
No
No
ZD
S
S
S
No
No'
No
S
No
(A
ZD
S
No
S
No
S
S
No
S
B))
S
S
No
No
CONSISTENCIA Y COMPLETUD
40.11
Avk(A^B)=>(AvkA=>
AvkB) es lgicamente vlida, para fbfs cualesquiera A y B, y una variable cualquiera vk.
Demostracin. Supongamos que no es as. Entonces para alguna interpretacin existe una secuencia s que satisface [una instancia de]
Avk{A => B) y [la correspondiente instancia de] A v k A , pero que no satisface [la correspondiente instancia de] Av fe B. Tenemos que s satisface
Av*(A => B) y A v k A sii t o d a secuencia que se diferencie de s en c o m o
mximo el /c-simo trmino satisface A => B y A. Pero por 40.2, todas
las secuencias de ese tipo tambin satisfacen B, y por lo tanto, s satisface- A v^B. Pero esto contradice nuestro supuesto inicial.
Notacin:
Sea I u n a interpretacin, D su dominio, y s una secuencia enumerable de elementos de D.
s(k/d) es la secuencia que resulta de reemplazar el k-simo trmino
de la secuencia s por el objeto d.
t*s es el elemento de D asignado por I al trmino t para la secuencia
5, como en la secc. 39: es decir:
Si t es una constante individual c, entonces t*s es el elemento de D
asignado por I a c.
Si t es vk9 entonces t*s es el /c-simo trmino en 5.
Si t es un smbolo funcional n-dico / seguido por n trminos,
ti, t, y / e s la funcin asignada por I a f, entonces t*5 = [fti . . . t]*s
. . ., t *s).
40.12
CONSISTENCIA Y COMPLETUD
A es ~ B .
A es B=>C.
A es A vPB[vp es una variable. En este caso no utilizamos kk'
como subscripto porque en la demostracin del Caso
3, k y p p o d r n ser distintas.]
CONSISTENCIA Y COMPLETUD
lgicamente
Demostracin. Supongamos que s satisface A. Sea s' cualquier secuencia que se diferencie de s en como mximo el /c-simo trmino. Entonces
la hiptesis de 40.12 se aplica a s y a s', y por lo tanto s' satisface A.
Pero s' era una secuencia cualquiera que se diferencia de 5 en c o m o
mximo el /c-simo trmino. Luego toda secuencia que se diferencie de s
en como mximo el /c-simo trmino satisface A. Luego s satisface
A v,A.
40.14.6 Sean t y u trminos. Sea t' el resultado de reemplazar por u cada
aparicin de vk en t. Sea s una secuencia, y sea U*s = d: es decir
sea d el elemento de D asignado por I a u para la secuencia s. Sea
s\ s(k/d): es decir, sea s' la secuencia que resulta de substituir el ksimo trmino de s por el d. Entonces t'*s = t*s': es decir, el elemento de D asignado por I a t' para la secuencia s es el mismo que el
elemento de D asignado por I a t para la secuencia sf.
Ejemplo: Sea t, v k . Sea u, v,. Entonces t' es v,. Entonces d es el /simo trmino de 5; y s' se diferencia como mximo de 5 en que c o m o
/c-simo trmino tiene a d. Entonces el teorema dice que el elemento
de D asignado por I a t' para s (en este caso, el y-simo trmino de \
es decir, d) es el mismo que el elemento de D asignado por 1 a t para
s' (en este caso, el /c-simo trmino de s', es decir, d).
Demostracin. Se trata de una demostracin por induccin sobre la
longitud de t, en donde la longitud de t viene d a d a por el nmero de
apariciones en t de smbolos individuales (es decir, constantes individua
les o variables individuales) y smbolos funcionales.
Base: n = 1
Entonces t es una constante individual o una variable individual. 3 ca
sos:
1. t es una constante
IKI
CONSISTENCIA Y COMPLETUD
2.
3.
t es una variable vy y j ^ k
t es una variable v y j = k
(secc. 38)
CONSISTENCIA Y COMPLETUD
Paso de la Induccin
Supongamos que el teorema vale para todas las fbfs que tienen menos de q conectivas y cuantificadores. Hay que demostrar que vale para
todas las fbfs que tienen q conectivas y cuantificadores. Hay 3 casos:
1.
2.
3..
A es
A es B=>C
A es Av ; B
Caso 1. A es ~ B . Entonces Avfc/t es ~Bv/t. 5 satisface luego tambin est libre para vk en B. Luego, por la hiptesis de la induccin, s no
satisface Bvfc/t sii s' no satisface B. Pero s' no satisface B sii s' satisface A.
Luego s satisface vjt sii s' satisface A.
vk
Caso 2. A es B ^ C . Trivial.
Caso 3. A es AvyB. Entonces Avfc/t es Av ; Bv f c /t y t est libre para
en B.
IX'l
CONSISTENCIA Y COMPLETUD
Demostracin
(a) Supongamos que A=>B es verdadera p a r a I. Entonces una secuencia cualquiera s satisface A => B. Luego 5 n o satisface A o 5 satisface
B. Si s n o satisface A, entonces A no es verdadera para I, y por lo tanto,
por 40.17, A es falsa para I. Si s satisface B, entonces B n o es falsa para
I, y por t a n t o por 40.17 B es verdadera para I.
(b) Supongamos que A es falsa para I o B es verdadera para I. (i) Si
A es falsa p a r a I, entonces ninguna secuencia satisface A y por lo t a n t o
toda secuencia satisface A ^ B . (ii) Si B es verdadera para I, entonces
toda secuencia satisface B, y por tanto toda secuencia satisface A=>B.
Luego en a m b o s casos A D B es verdadera para I.
40.19
Demostracin. Si A y B son fbfs cerradas, entonces tambin lo esA=>B. Por 40.17, A ^ B es falsa p a r a I sii A ^ B no es verdadera para I, y
184
CONSISTENCIA Y COMPLETUD
CONSISTENCIA Y COMPLETUD
Posibilidades
Ilustracin
sx satisface Fx3
s2 satisface F x 3
2 s no satisface Fx3
s 2 satisface Fx3
Si satisface Fx3
s 2 no satisface Fx3
4 Sj no satisface Fx3
s2 no satisface Fx3
dl5
d2,
d2,
dl5
...).
. . .).
. . .).
. . .).
CONSISTENCIA Y COMPLETUD
Posibilidades
Si
Si
S3
s4
satisface
satisface
satisface
satisface
Ilustracin
A?
A?
Al
A?
1
S
S
S
S
2
No
S
S
S
3
S
No
S
S
4
No
No
S
S
15
S
No
No
No
16
No
No
No
No
<di,
<di,
<d 2 ,
<d 2 ,
<d 2 ,
<d 3 ,
<d 3 ,
<d 3 ,
s9
d 2 , >
d 3 , . >
d . >
d 2 , . >
d 3 , >
di, . >
d 2 , . >
d 3 , . >
i satisface Al
2 satisface /l?
3 satisface .4?
1
S
S
S
2
No
S
S
3
S
No
S
. . . 511
. . . S
. . . No
. . . No
satisface A?
...
Ilustracin
No
512
No
No
No
No
CONSISTENCIA Y COMPLETUD
1.
2.
3.
4.
I
I
I
I
asigna
asigna
asigna
asigna
d,
d1
d2
d2
t a n t o a a'
a y d2
t a n t o a a'
a y dx
como a a"
a a"
como a a"
a a"
a"
di
d2
d2
di
s
s
s
s
satisface
satisface
satisface
satisface
B?
Bl
F?
Bl
1
S
S
S
S
2
No
S
S
S
3
S
No
S
S
...
...
15
S
No
No
No
16
No
No
No
No
Ax'F*'x'
S
No
F*'x'=> Ax'F*'x'
S
S
CONSISTENCIA Y COMPLETUD
s2
sx
s2
2
no satisface
satisface
4
no satisface
no satisface
Ax"F**'x'x"))?
CONSISTENCIA Y COMPLETUD
d 2 ,.. > y
Sea I una interpretacin de esta clase. Entonces, puesto que por (i) el par
190
CONSISTENCIA Y COMPLETUD
1. (a) Es 1-vlida la
I=> A x ^ x J ?
(b) Y es 2-vlida?
frmula
[Ax,/\\-
RESPUESTA
~Fxx
No
S
A x1^Fx1
No
S
- A xi~Fx1
S
No
A xFx1
S
No
=> A .v, /*
\,
~ Ax1^Fx
S
S
CONSISTENCIA Y COMPLETUD
41.
Un mecanismo deductivo para Q: El sistema formal SQ. Definiciones de demostracin en SQ, teorema de SQ, derivacin
en SQ, consecuencia sintctica en SQ, conjunto consistente
(desde el punto de vista de la teora de la demostracin) de
SQ
[SQ 1]
(A=>(B=>A))
[ S Q 2]
[ Q S 3]
[ S Q 4]
192
(A = C))
CONSISTENCIA Y COMPLETUD
[ S Q 5]
[ S Q 6]
Adems:
[ S Q 7]
~ A
X2FX2X2
fc
xFx
CONSISTENCIA Y COMPLETUD
42.
42.1.
Demostracin de la consistencia de SQ
SQ es
consistente
Demostracin. Sea A cualquier fbf de Q. Definiremos su frmula proposicional asociada, A prop , de la siguiente manera: Borramos todos los
cuantificadores de A; b o r r a m o s todos los trminos de A; reemplazamos
cada smbolo predicativo por el smbolo proposicional p'. A prop es una
fbf del lenguaje P.
Si A es un axioma de SQ en virtud de u n o de los esquemas axiomticos SQ1, SQ2, SQ3, entonces A prop ser un axioma de SP en virtud de
uno de los esquemas axiomticos [de S P ] SP1, SP2, SP3. Si A es un
iixioma de SQ en virtud de SQ4, SQ5 o SQ6, entonces A prop ser un
teorema de SP que tendr la forma ( B ^ B ) . Si A es un axioma de SQ en
virtud del esquema axiomtico SQ7, entonces A prop ser o bien un axioma de SP, o bien un teorema de SP de la forma ( B ^ B ) .
Si B es u n a consecuencia inmediata, en virtud de la regla de inferencia de SQ, de A y (A =>6), entonces B prop ser u n a consecuencia inmediata, en virtud de la regla de inferencia de SP, de A prop y (A=>B)prop, ya que
(A=>B) prop es Aprop:=:>Bprop.
Supongamos ahora que SQ n o es consistente (que SQ es inconsistente). Entonces, para alguna fbf A de Q existe una demostracin en SQ de
A y tambin una demostracin en SQ de ~ A . Sustituimos en estas
194
CONSISTENCIA Y COMPLETUD
demostraciones cada fbf por su frmula proposicional asociada. Tendremos como resultado dos cadenas de fbfs de P. Si una cualquiera de estas
cadenas no es una demostracin en SP, ser p o r q u e en algn lugar de la
cadena aparece una fbf de la forma ( B ^ B ) que n o es una consecuencia
inmediata en SP de fbfs que la precedan en la cadena. A a d a m o s tales
fbfs (sabemos que podemos hacerlo, puesto que (B=>B) es un esquema de
teorema de SP); obtendremos como resultado unas demostraciones en
SP de A prop y ~A p r o p , en donde ~ A p r o p es la negacin de A prop .
Luego tenemos que: Si S Q no es consistente, tampoco lo es SP.
Pero SP es consistente. Luego SQ tambin lo es.
U n a variante de la demostracin: Cualquier teorema de S Q tendr
como frmula proposicional asociada una tautologa de P (cualquier
axioma de SQ tiene como f.p.a. una tautologa de P, y el M o d u s P o n e n s
en SQ preserva la tautologicidad de las frmulas proposicionales asociadas). Tenemos que F*'x' es una fbf de Q que n o tiene como f.p.a. u n a
tautologa de P. Por lo t a n t o no es un teorema de SQ. Por lo tanto, S Q
es consistente.
O t r a demostracin de la consistencia de S Q puede obtenerse utilizando 43.5: Si HSOA, entonces |=qA. (Sin embargo, existe un sentido de
'finitista' en el cual las anteriores demostraciones de consistencia son
finitistas, en t a n t o que la demostracin de 32.5 no lo es: ver adems
Kleene (1952, pp.
43.
174-5).]
El Teorema de Deduccin
vale para SQ
El Teorema
de Deduccin
vale para SQ
CONSISTENCIA Y COMPLETUD
en la
Demostracin. S u p o n g a m o s I ^ q A ^ B . Entonces F, A ^ q A ^ B . P e r o
F, A|- SQ A. Luego, p o r M o d u s Ponens, F, A|- SQ B.
43.3.
Si A es un conjunto
de fbfs cerradas,
entonces
si A|~s^/4
entonces
A H S O A vA
Induccin
A
A
A
le
es un axioma.
est en A.
es u n a consecuencia inmediata, p o r M P , de dos f r m u l a s que
preceden.
Los Casos
CONSISTENCIA Y COMPLETUD
lgicamente
CONSISTENCIA Y COMPLETUD
43.6.
Si Y[SQA,
entonces Y\-QA
entonces
\LqA=>B
de SQ, entonces
F|" Se A
Demostracin. S u p o n g a m o s que T U { ~ A } es un c o n j u n t o inconsistente de SQ. Entonces T, ~ A ( - S Q B y F, A | - S Q ~ B p a r a alguna frmula B. Luego, por el T D , r P S Q ~ A ^ B y r - S Q ~ A = > ~ B. Pero
b s Q ( ~ A ^ B ) ^ ^ A = > ~B)=>A) (que es u n a instancia de un esquema
tautolgico). Luego, por M P dos veces F|- S Q A.
En la seccin siguiente (secc. 44) definimos la nocin de teora de
primer orden, y en la larga seccin que sigue a sta (secc. 45) d e m o s t r a mos diversos m e t a t e o r e m a s acerca de teoras cualesquiera de primer orden. A travs de las teoras de primer orden la lgica m o d e r n a encuentra la m a y o r parte de sus aplicaciones. P o r ejemplo, la teora de c o n j u n tos p u e d e presentarse c o m o u n a teora de primer orden interpretada, y
prcticamente t o d a (toda?) la matemtica p u r a puede expresarse en el
lenguaje de la teora de conjuntos.' Pero n o s o t r o s nos interesamos por
las teoras de primer orden por u n a razn diferente. N u e s t r o objetivo
principal es d e m o s t r a r el T e o r e m a 45.15, Cualquier teora consistente; de
primer orden tiene un modelo enumerable, a partir del cual se sigue la
198
CONSISTENCIA Y COMPLETUD
44.
45.
Algunos metateoremas acerca de teoras cualesquiera de primer orden. Completud respecto de la negacin. Teoras cerradas de primer orden. El Teorema de Lwenheim-Skoleni
El Teorema de Compacidad
CONSISTENCIA Y COMPLETUD
45.1
El teorema de Deduccin
orden
de primer
de Deduccin
cual-
induccin,
AvA). L u e g o ,
p o r M P d o s veces |- K AVA.
45.3.
Demostracin.
45.4.
Si |>k/4, entonces
SQ' y
por
K\
\-KA vA
A => AvA [ K 5 : A es c e r r a d a ]
AvA
Paso de la
Induccin
200
A es un axioma.
A es u n a consecuencia inmediata, p o r M P , de dos fbfs que la
preceden.
CONSISTENCIA Y COMPLETUD
\-KA
sii
\-KAC
v A para
necesario,
K 4 en la
|- K A.
Notacin
Sea K u n a teora cualquiera de primer orden. Sea A u n a fbf de K.
Entonces K + {A} ha de ser el sistema que resulta de aadir A a K c o m o
un axioma adicional [ n o hay que entender en este caso 'aadir' y 'adicional' c o m o excluyendo el caso en el que A ya es un axioma de K |.
45.6. (a) Si A es una fbf cerrada de K que no es un teorema de K,
entonces K +
A) es una teora consistente de primer orden
Demostracin. Abreviaremos K + { ~ A} mediante K'. Puesto que K
es u n a teora de primer orden y ^ A es cerrada, K ' es u n a teora de
primer orden; y resulta evidente que |-K B sii ~ A|- K B, p a r a cualquier Ib!
B. S u p o n g a m o s a h o r a que K ' es inconsistente. Entonces f-K C y |-K.
para alguna fbf C. P o r lo tanto, ~ A | - K C y ~ A | - K ~ C P o r lo tanto,
por el T e o r e m a de Deduccin, | - K ~ A = > C y f - K ~ A
Pero
|- K (~A=>C)=>((~A=> ~C)=>A). Por lo tanto, por M P dos veces, f-K A.
Pero esto contradice nuestra hiptesis de que A n o era un teorema de
K.
45.6. (b) Igual que p a r a (a), pero intercambiando A y ~ A. La demostracin utilizar |-K
45.7.
Demostracin.
S u p o n g a m o s que { ~ A } es un c o n j u n t o inconsistente
201
CONSISTENCIA Y COMPLETUD
de K. Entonces - A | - K C y ~ A | - K ~ C para algn C. El resto de la demostracin es igual que en el caso de 45.6 (a).
45.7
-A
45.8
Demostracin. Sea K u n a teora cualquiera de primer orden. Supongamos que K tiene un modelo M. Y supongamos que K es inconsistente.
Entonces |- K A y f-K ~ A para alguna frmula A. Entonces A es verdadera
para M y A es verdadera para M. Pero esto es imposible. Luego si K
tiene un modelo, K es consistente.
45.9
Demostracin
A. Supongamos que K tiene el lenguaje Q. Asignamos numerales a
los smbolos de Q de la forma siguiente:
x
a
/
10
100
1000
10000
100000
1000000
*
-
10000000
100000000
1000000000
10000000000
(
)
100000000000
1000000000000
1. El resto de la demostracin es exactamente igual que la demostracin del Teorema de Enumeracin para fbfs del lenguaje P. Sea E la
enumeracin resultante de las fbfs de Q.
202
CONSISTENCIA Y COMPLETUD
CONSISTENCIA Y COMPLETUD
K^ es
consistente
es completo
respecto
de la negacin
204
CONSISTENCIA Y COMPLETUD
CONSISTENCIA Y COMPLETUD
CONSISTENCIA Y COMPLETUD
AvA n
donde bjn es la primera constante de nuestra enumeracin que no aparece en ninguna de las S x " S_! ni en A.
207
CONSISTENCIA Y COMPLETUD
consistente
cerrado
CONSISTENCIA Y COMPLETUD
Demostracin. Sea T cualquier teora de primer orden q u e sea consistente, c o m p l e t a y c e r r a d a respecto de la negacin. Sea I la siguiente
interpretacin de T:
1. El d o m i n i o D de I es el c o n j u n t o de los trminos cerrados de T.
P o r 45.9, es enumerable.
2. I asigna a c a d a c o n s t a n t e c de T el m i s m o c (como su propia
interpretacin, p o r decirlo de alguna manera).
3. A c a d a smbolo funcional rc-dico f, I le asigna la funcin / , que
tom
* a a r g u m e n t o s y valores en D, y que est definida mediante la regla:
El valor de /j(x, . . xn) p a r a los a r g u m e n t o s x=t1
. . . . xM = t, en
d o n d e t x . . tw son trminos cerrados de T, es el trmino c e r r a d o f,t,
4. A c a d a smbolo predicativo n-dico F I le asigna el c o n j u n t o de
t o d a s las rc-tuplas o r d e n a d a s <t l 5 . . ., t> de trminos cerrados de T tales
que \-JFit1 . . . t.
CONSISTENCIA Y COMPLETUD
Induccin
A es
A es B ^ C
A es A \j B
es verdaen virtud
n o es un
I.
CONSISTENCIA Y COMPLETUD
B es cerrada
1. S u p o n g a m o s |-TA. Entonces |-TB (por K 4 y M o d u s Ponens). Luego por la hiptesis de la induccin, B es verdadera p a r a I. Luego por
40.6, A VYB es decir, A, es verdadera p a r a I. Luego si |-TA, entonces A es
verdadera p a r a I.
2. S u p o n g a m o s que A es verdadera p a r a I. Entonces, p o r 40.6, H
tambin lo es. Luego, por la hiptesis de la induccin, |-TB. Luego por
45.4, h - A v j B , es decir, |-XA. Luego si A es verdadera p a r a I, |-TA.
II. B es abierta. Puesto que A es cerrada, la nica variable libre de
B es Vj, p a r a algn j.
1. S u p o n g a m o s |-TA, es decir, |- T Av:B. Entonces, por K4,
Bv,/t
para c a d a trmino cerrado t de T. Luego, por la hiptesis de la induccin, Bvy/t es verdadera p a r a I p a r a cada trmino cerrado t de T. Luego
por 40.21, AvyB es decir, A, es verdadera p a r a I. Luego si |-TA, entonces
A es verdadera p a r a I.
2. S u p o n g a m o s que A, es decir, AvyB, es verdadera p a r a I. Entonces, por 40.6, B tambin lo es. Luego, por 40.20, B v / t es verdadera para
I p ^ r a t o d o trmino cerrado t de T. Luego, p o r la hiptesis de la induccin, f-TBVj/t, p a r a t o d o t r m i n o cerrado t de T. Luego, en virtud del
cierre de T, I-tAV^B, es decir, |-tA. Luego si A es verdadera p a r a I, f- ,A.
Comentario: P a r a mostrar que I es un m o d e l o de T, nos basta con
establecer: Si |-tA, entonces A es verdadera p a r a I. Si d e m o s t r a m o s la
proposicin m s fuerte, |-tA sii A es verdadera p a r a I es p o r q u e el "su
nos hace falta en la hiptesis de la induccin p a r a demostrar la proposicin m s dbil. Cf. un c o m e n t a r i o semejante a ste en la demostracin
de 32.13 (ms atrs, p.
).
Esta demostracin se acerca peligrosamente al borde de
vicioso sin incurrir por c o m p l e t o en l. Q u e r e m o s demostrar
frmula de T es un teorema, entonces es verdadera p a r a u n a
cin determinada; y entonces definimos esa interpretacin
un crculo
que si una
interpretac o m o una
CONSISTENCIA Y COMPLETUD
Directamente a partir de
Si K es una teora consistente de primer orden, entonces existe una teora de primer orden K' que es una extensin de K
consistente, cerrada y completa respecto de la negacin
y
45.14.
Cualquier teora que sea consistente, cerrada y completa respecto de la negacin tiene un modelo enumerable
juntamente con el hecho de que si S' es una extensin de S, entonces
cualquier modelo de S' es un modelo de S.
De forma alternativa 1 1 , recapitulando los pasos de la demostracin
de 45.13:
Sea K una teora consistente cualquiera de primer orden.
1.
2.
3.
212
CONSISTENCIA Y COMPLETUD
~F*'x"}
~Fy}
es un conjunto consistente de SQ que no tiene ningn modelo. Demostracin. Supongamos que {Fx, ~Fy} es un c o n j u n t o inconsistente de
SQ. Entonces Fx, ~Fy\-SQA, donde A es una frmula cualquiera de Q.
Sea A, la frmula ~(p,ZDp' que no es satisfecha por ninguna secuencia.
Entonces Fx, Fy\-SQ = (p' ^ p'). Entonces, por 43.7, Fx, ~ F y F Q ~
Pero esta ltima proposicin es ciertamente falsa: hay secuencias que satisfacen {Fx, ~Fy} pero que no satisfacen ^ ( p ' ^ p ' j (Por ej.,
Sea I una interpretacin de Q cuyo dominio es el conjunto de los nmeros naturales. Asigne I verdad a p' y la propiedad de ser un nmero par
al smbolo predicativo F (es decir F*')- Entonces la secuencia <2, 3, 4,
5, . . .) satisface t a n t o Fx como ~Fy [es decir Fx' y ~ F x " ] pero no
satisface ~(p / = 3 p')-) Luego {Fx, ~Fy} es un conjunto consistente de SQ.
Pero {Fx, ~ F y } no tiene ningn modelo. Demostracin: Supongamos
que existiera un modelo M de {Fx, Fy}. Entonces t a n t o F x como Fy
seran verdaderos para M. Luego por 40.6 A x F x y A y~Fy
seran
213
CONSISTENCIA Y COMPLETUD
Cualquier conjunto consistente de fbfs de una teora de primer orden es simultneamente satisfacible en un dominio enumerable
[Gdel, 1930].
CONSISTENCIA Y COMPLETUD
Lema 2. Sea una fbf en la que alguna variable v tiene una o ms apariciones libres. Sea c una constante que no aparece en A ni en ningn axioma
especfico de K. Entonces si |- K Av/c, entonces f-KA.
Demostracin. S u p o n g a m o s |-KAV/C. Sea A 1? . .., A alguna demostracin
que n o aparece en ninguna de las frmulas Au . . A . Sea A'l9 . . A'n el
resultado de sustituir todas las apariciones de c en A l 5 . . A por la
variable u. Entonces A'u . .., A'n es una demostracin en K de Av/u, en
virtud de un a r g u m e n t o que ya nos es conocido (para cada Ah si A, es
un axioma lgico de K, entonces A tambin lo es, y si A, es un axioma
especfico de K, entonces c n o aparece en A, y por lo t a n t o A\ es Ah por
lo t a n t o es un axioma especfico de K). Luego f- K Av/u. Luego, por 45.4,
|-K A vAv/u. Pero |-K AuAv/u=>A (axioma lgico de K, por K4: v est libre
para u en Av/u). Luego por M P , |-KA.
D e m o s t r a m o s a h o r a que el c o n j u n t o que se obtiene al colocar nuevas constantes en lugar de las apariciones libres de las variables en un
c o n j u n t o consistente de u n a teora de primer orden, es a su vez un
c o n j u n t o consistente de u n a teora de primer orden:
Sea F un c o n j u n t o consistente cualquiera de fbfs de una teora cualquiera K de primer orden. Sean v l 5 . .., vk todas las variables que tienen
apariciones libres en Y. Sea K ' la teora de primer orden que resulta de
aadir a K u n a cantidad enumerable de nuevas constantes c 1 ? c 2 , c 3 ,
Sea Yf el c o n j u n t o de fbfs cerradas que se obtiene al sustituir en los
elementos de Y las apariciones libres de las nuevas constantes substituyendo variables distintas por constantes distintas. Entonces Y' es un
c o n j u n t o consistente de K'; ya que, s u p o n g a m o s que Y' fuera un conjunto inconsistente de K'. Entonces p a r a algn s u b c o n j u n t o finito A de Y' y
alguna frmula B de K' tendramos tanto A|-K, B c o m o A|-K ~ B . Sean
A 3 , . . ., A los elementos de A. Entonces tendramos
A l 9 . . ., , AbK'B
y
A i , . . ., , Af- K '~B
y por lo tanto, por el T e o r e m a de Deduccin, aplicado n veces,
M A ! = > ( . . . , ( A = > B ) . . . , ))
y de igual f o r m a
K ( A I = > ( . . . , ( A = > ~ B ) . . . , ))
Entonces por el Lema 2, aplicado tantas veces c o m o resulte necesario,
tendramos
215
CONSISTENCIA Y COMPLETUD
216
(Teorema de Ivwenheim-Skolem)
Si una teora de primer orden tiene un modelo, entonces tiene un modelo
enumerable
CONSISTENCIA Y COMPLETUD
histrica
Si existe alguna interpretacin I para la cual todo axioma especfico de una teora K de primer orden es verdadero, entonces K tiene
un modelo
CONSISTENCIA Y COMPLETUD
(Se trata
Demostracin (Es una sencilla modificacin y extensin de la demostracin de 45.4). Supongamos que F|- K A y que v no aparece libre en F.
Mostraremos que Ff- K AvA, por induccin sobre la longitud, n, de una
derivacin de A a partir de F.
Base: n = 1
H a y tres posibilidades:
1.
A es un axioma lgico de K.
2.
A es un axioma especfico de K.
3.
A est en F.
CONSISTENCIA Y COMPLETUD
Induccin
libre en B,
entonces
5.
6.
7.
8.
Pf- K Av(A=^B)
b K Av(A=>B)=>(A=>B)
PbKA^B
P(-k~B=>~A
[ P es Av(A=>B)]
K4
1, 2, M P
A partir de 3, por lgica proposicional [es decir, utilizando solamente instancias de esquemas tautolgicos, y M P ]
PbKAv(~B=>~A)
A partir de 4 por 45.21 [v n o aparece libre en P ]
|-KAv(~B=>~A)=>(Av~B=>Av~A)
K6
Pf-KAv~B=> A v ~ A
5, 6, M P
I-k^B^ Av^B
K5 [v n o aparece libre en B]
219
CONSISTENCIA Y COMPLETUD
9. P f - K ~ B = > A v ~ A
10. P b K ~ A v ~ A = > B
i.e. Vv(A=>B)|- K VvA=>B
7, 8, lgica proposicional
9, lgica proposicional
Demostracin.
AuAv/u.
ces
1.bKAu~Av/u=> ~ A
2.|" K A =d ~ A u ~ A v / u
i.e. f-KA=> V u A v / u
3.bKAv(A^ VuAv/u)
45.22 [ v n o t i e n e
n i n g u n a aparicin
libre en V u A v / u ]
5.b K VvA=3 V u A v / u
45.24.
3, 4, M P
Sea K una teora cualquiera de primer orden. Sea K' una teora de
primer orden que resulta simplemente de aadir a K una cantidad
enumerable de nuevas constantes individuales. Sea A una frmula
de K en la que una variable v tiene una o ms apariciones
libres.
Entonces si V\-K\/vA y \\ Av/c\-K, B, en d o n d e c es u n a de las
constantes que estn en K ' pero no en K, y c no aparece en B,
entonces
I]-KB
CONSISTENCIA Y COMPLETUD
Si t es un trmino cerrado
de K, entonces
Demostracin
1. |-K A v ~ A = > ~ A v / t K 4 [ P u e s t o que t es un trmino cerrado, t
est libre p a r a v en A]
2. A v / t = > ~ A v ~ A A partir de 1, por lgica proposicional, es
decir, |- K Av/t=> VvA
Nota
orden'
CONSISTENCIA Y COMPLETUD
cerradas.
46.
46.1
222
CONSISTENCIA Y COMPLETUD
Demostracin
1. Supongamos que C es una fbf cerrada de Q que n o es un teorema de SQ. Entonces SQ + { ~ C } es una teora consistente de primer
orden, por 45.6. Luego SQ-f { ~ C } tiene un modelo, por 45.15. Luego
~ C tiene un modelo. Luego C no es lgicamente vlida. Luego si C es
una fbf de Q cerrada y lgicamente vlida, entonces C es un teorema de
SQ.
2. Supongamos que A es u n a fbf de Q (abierta o cerrada) que es
lgicamente vlida. Entonces u n a clausura cualquiera de A, A c , es lgicamente vlida, por 40.8. Luego A c es un teorema de SQ, por el anterior
Paso 1. Luego A es un teorema de SQ, por 45.5. Luego si A es una fbf
de Q lgicamente vlida, entonces A es un teorema de SQ.
Demostracin
alternativa
1. Supongamos que C es una fbf cerrada de Q que no es un teorema de SQ. Entonces { ~ C } es un conjunto consistente [de fbfs cerradas]
de SQ, por 45.7. Luego { ~ C} tiene un modelo, por 45.16. El resto de la
demostracin es como la anterior.
46.2
Ff-SQ A sii
Demostracin.
ces F|:Q A).
A
Directamente a partir de 46.2 y 43.7 (si F|~SQ A enton-
SQ no es completo
respecto
de la negacin
CONSISTENCIA Y COMPLETUD
46.5
SQ no es sintcticamente
Demostracin.
completo
El esquema
VvA=> AvA
47.
Un sistema formal de la lgica de predicados de primer orden con identidad: El sistema SQ = . Demostracin de la consistencia de SQ = . Modelos normales. Demostracin de la
adecuacin de SQ =
224
A x[x = x]
T o d o cierre de x = y=>(A=>A'), donde A y A' son c o m o se
ha explicado.
CONSISTENCIA Y COMPLETUD
Consistencia
de SQ
de"Q tiene como f.p.a. ^ ( p ' ^ p ' ) , que no es una tautologa de P. Luego
~F**'x'x' no es un teorema de SQ = . Luego S Q = es consistente. Queda
por demostrar que cada axioma de S Q " tiene c o m o f.p.a. una tautologa de P.
Es obvio que todo lo que sea un axioma en virtud de cualquiera de
los esquemas SQ 1-3 tendr como f.p.a. una tautologa de P.
T o d o lo que sea un axioma de S Q " por SQ 4 [ A v A ^ A v / t si t est
libre para v en A] se convierte en el primer paso de la transformacin
A'=> A'v/t en donde A' n o tiene ningn cuantificador y A'v/t es como A'
excepto en que el trmino t puede reemplazar a la variable v en alguna
de sus apariciones en A'. En el siguiente paso tenemos A"
en donde
A" resulta de A' o A'v/t reemplazando cada trmino de A' o de A'v/t por
x7. A partir de ese m o m e n t o en adelante todos los cambios afectan de
igual forma a los dos lados de =>, y el resultado final es la tautologa
\ prop ^ A
prop
AvA ^ A vl | se
22.S
CONSISTENCIA Y COMPLETUD
QS=
Al A
es
consistente
Definicin. I es una interpretacin normal de Q ( Q + ) sii I es u n a interpretacin de Q ( Q + ) e I asigna la relacin de identidad, definida p a r a
elementos del dominio de I, al smbolo predicativo F**'.
Diremos que u n a teora K de primer orden es u n a teora de primer
orden de identidad si K tiene a S Q = 1 c o m o axioma, y a S Q = 2 (aplicado
a las fbfs del lenguaje de K) c o m o un esquema axiomtico suyo.
Definicin. I es un modelo normal de una teora K de primer orden con
identidad sii I es u n a interpretacin normal del lenguaje de K e I es un
modelo de K.
47.2
enton-
CONSISTENCIA Y COMPLETUD
de SQ =
Q u e r e m o s que S Q
(1)
tenga c o m o teoremas las fbfs lgicamente vlidas de Q y adems t o d a s las fbfs de Q que, a u n q u e n o sean lgicamente vlidas, sean verdaderas p a r a t o d a interpretacin de Q p a r a la cual
F**' se interprete c o m o fces idntico a';
(2)
Esto es:
1.
2.
CONSISTENCIA Y COMPLETUD
47.3.
interpretacin
Demostracin
1. Supongamos que C es una fbf cerrada de Q que es verdadera
para t o d a interpretacin normal de Q. Sea S Q = + { ~ C } el resultado de
aadir ~ C a SQ = c o m o un axioma especfico. Si M es cualquier modelo
normal p a r a S Q = + { ~ C } , entonces tanto C como
son verdaderas
para M. Esto es imposible. Luego S Q = + { ~ C} n o tiene ningn modelo
normal. Pero S Q = + { ~ C } no tiene ningn modelo normal. Pero
S Q = + { ~ C } es una teora de primer orden con identidad, luego por 47.2,
es inconsistente. Luego, por 45.6, C es un teorema de SQ = .
2. Sea A una fbf de Q (abierta o cerrada) que es verdadera para
t o d a interpretacin normal de Q. Entonces, por 40.7, A c es verdadera
para t o d a interpretacin normal de Q. Luego A c es un teorema de SQ = ,
en virtud del anterior P a s o 1. Luego A es un teorema de S Q = , por 45.5.
47.4.
normal
CONSISTENCIA Y COMPLETUD
48.
CONSISTENCIA Y COMPLETUD
Isomorfismo
de modelos
Intuitivamente hablando, dos modelos de un sistema formal son isomorfos si tienen exactamente la misma forma y como mximo se diferencian en su contenido. En el caso de teoras de primer orden cocebidas
en el nuevo sentido (es decir, sin smbolos proposicionales), el siomorfismo consiste en lo siguiente:
Sea K una teora de primer orden. Sean M y M'un dominio D'. P a r a
cada constante c de K, sea d el elemento de D que M le asigna, y sea d'
el elemento de D' que M ' le asigna. P a r a cada smbolo funcional f de K,
sea / l a funcin que M le asigna, y / la funcin que M' le asigna, y sea R'
la relacin que M' le asigna. Entonces M es isomorfo respecto a M' sii
existe u n a correspondencia u n o a uno entre D y D ' que empareje cada
elemento d de D con un elemento d' de D ' de forma que:
M asigna d a una constante c sii M' asigna d' a c.
/ ( d 1 , . . . , d ) = d sii / ' (d'l5 . . . , d'n) = d'
d 1 ? . .., d (en ese orden) estn en la relacin R sii
d^, . . ., d' (en ese orden) estn en la relacin R'.
De la definicin se sigue que dos modelos de una teora de primer
orden no pueden ser isomorfos si sus dominios tienen cardinalidades diferentes.
Establecemos sin demostracin que
48.2. Si M y M' son modelos isomorfos de una teora de primer orden,
entonces una frmula A de K es verdadera para M sii es verdadera
para M'
Categoricidad
En la literatura se utiliza la palabra 'categrico' en diversos sentidos:
1. Se dice que un sistema formal es categrico sii todos sus modelos
son isomorfos.
En este sentido de 'categrico' ninguna teora consistente de primer
orden es categrica, ya que, en virtud de los anteriores puntos 1 y 3
cualquier teora consistente de primer orden tiene modelos de toda
cardinalidad infinita.
2. Se dice que una teora de primer orden con identidad es categrica sii todos sus modelos normales son isomorfos.
En este sentido de 'categrico', ninguna teora de primer orden quetenga un modelo infinito es 'categrica' (en virtud del Teorema As230
CONSISTENCIA Y COMPLETUD
cendente de Lwenheim-Skolem). Pero algunas teoras de primer orden que tienen solamente modelos normales finitos son categricas:
por ej., cualquier teora de primer orden con identidad, consistente y
completa respecto de la negacin, que tiene la frmula
A x A y[x = y]
como un axioma especfico tendr solamente modelos normales finitos (cualquier modelo normal finito de ella debe tener un dominio de
un solo elemento), y todos sus modelos normales sern isomorfos.
3. Se dice que una teora de primer orden es a-categrica (alfacategrica), en donde a es un nmero cardinal, sii tiene un modelo
normal de cardinalidad a y dos modelos normales cualesquiera de cardinalidad a son isomorfos.
Las teoras de primer orden mencionadas en el a p a r t a d o 2 son
1-categrica.
48.3. Si todos los modelos normales de una teora de primer orden con
identidad son isomorfos, entonces la teora es completa respecto de
la negacin (es decir, si una teora de primer orden con identidad es
categrica, en el segundo de los sentidos anteriores, entonces es
completa respecto de la negacin)
Demostracin. Sea K una teora de primer orden con identidad que
no es completa respecto de la negacin. Entonces para alguna fbf cerra
da D ni |-KC ni
Por lo tanto, por 45.6, tanto
como
K + { s o n teoras consistentes de primer orden (con identidad). Por lo
tanto, por 47.2, ambas tienen modelos normales. Sea M cualquier inode
lp normal de K + { ~ C } y M' cualquier modelo normal de K | ( .
Entonces C es falsa en M y verdadera en M'. Luego M y M' no son
isomorfos, por [48.2]. Luego si todos los modelos normales de K son
isomorfos, K es completa respecto de la negacin.
Modelos
no-clsicos
AxAy(Sx = Sy^x
Ax[0^Sx]
= y)
23 I
CONSISTENCIA Y COMPLETUD
3
4
5
6
7
A
A
A
A
A
x'
x"
f*'
/^*/t1t2
f**"tt2
F**'t1t2
-F**,t1t2
~ A v~
en vez de 0
en vez de x
en vez de y
en vez de S
en vez de t x + t 2 , d o n d e t t y t 2
son trminos de Q
en vez de V t 2
en vez de 1 1 = t 2
en vez de t ^ t 2
en vez de Vv, donde v es una
variable de Q
232
CONSISTENCIA Y COMPLETUD
C#3
T o d o conjunto finito de estos nuevos axiomas tiene un modelo. Por
ej., t o d o elemento del subconjunto { c ^ 0 , c ^ l ,
resulta verdadero
si se considera que fcc' denota el nmero 3. En general [suponiendo que
R tiene su modelo propuesto], t o d o subconjunto finito del c o n j u n t o de
los axiomas especficos de R' tiene un modelo. Por lo tanto, en virtud del
Teorema de Compacidad (45.20) R' tiene un modelo. Puesto que R' es
una teora de primer orden con identidad (y consistente, puesto que
tiene un modelo), por 47.2 tiene un modelo normal, al que llamaremos
M'.
T a n t o M como IVT son modelos de R. Pero no son isomorfos. Su
pongamos que lo son. Entonces habr una correspondencia uno a uno
(1 1) entre D = 0, 1, 2, ..., que es el dominio del modelo clsico M, v
D \ que es el dominio de M', correspondencia que satisface las condiciones de isomorfismo. Supongamos que, en tal correspondencia uno a uno
"(1 1), d' 0 corresponde a 0, d\ a 1, d 2 a 2, y as sucesivamente, en
d o n d e d'0, d' l9 d 2 , ... son elementos de D'. Puesto que M asigna los
nmeros naturales 0, 1, 2, ... a los numerales 0, 1, 2, ... de R, bajo el
isomorfismo IVT que hemos supuesto asignar a los numerales de R los
elementos d' 0 , d'u d 2 , ... Pero entonces qu asigna M' a la constante c?
Supongamos que asigna a c un objeto d'. Puesto que IVT es un modelo
normal de los axiomas de R', d' no puede ser idntico a ninguno de
los d' 0 , d j , d 2 , ... Pero esto es imposible, puesto que d' tiene que ser un
elemento de D', y d'0, d' l5 d 2 , ... agotan la pertenencia a D'. Luego el
spuesto de que M y M' son isomorfos lleva a contradiccin. Luego K
tiene un modelo no-clsico.
Consideraremos R meramente como un ejemplo. Resulta evidente
que podemos ejecutar esta maniobra sobre cualquier teora de primer
orden con identidad que se proponga como una axiomatizacin de
(cualquier parte de) la aritmtica: si la teora tiene su modelo propuesto,
entonces tambin tiene su modelo normal que no es isomorfo respecto a
su modelo propuesto. Luego:
48.4
CONSISTENCIA Y COMPLETUD
- 49.
49.1
modelo
natura-
49.2
como
Demostracin. Si K tiene siquiera un modelo, tiene un modelo normal cuyo d o m i n i o n o son nmeros, sino un c o n j u n t o de trminos cerrados.
49.4
234
CONSISTENCIA Y COMPLETUD
B.
AX2(FX2^>X2=X1))
V x j Vx2{{((Fx1
A FX2)
A XJ
X2) A A X 3 ( F X 3 = > ( X 3 = X 1
v x 3 = x2))))
Desarrollos
Vv
X i
x2
x3
^ Av~
x'
x"
x'"
~(A=>~B)
(~A=>B)
F**' uv
UV
CONSISTENCIA Y COMPLETUD
x2^x3
N + 1
Cualquier adjetivo numeral, pero ningn nombre numeral, puede definirse sin ambigedad en el lenguaje Q, interpretado solamente respecto de los cuantificadores, las conectivas y un smbolo de identidad
La Paradoja
de Skolem
CONSISTENCIA Y COMPLETUD
50.
SQM
CONSISTENCIA Y COMPLETUD
50.1.
Demostracin. T o d o teorema de S Q
teorema de SQ es lgicamente vlido.
50.2. SQM es
vlido
constante
(Teorema de completud semntica para SQ14) Toda jbf de M lgicamente vlida es un teorema de SQM
SQM no es completo
Demostracin.
respecto
de la negacin
>SQM>
50.5.
SQM no es sintcticamente
Demostracin.
^gQivr y
pQr
Decidibilidad
completo
fc
SQ' por
de SQ
Esquema de la
demostracin
CONSISTENCIA Y COMPLETUD
CONSISTENCIA Y COMPLETUD
4.
5.
1.
2.
3.
4.
5.
6.
7.
8.
Cosas
Cosas
Cosas
Cosas
Cosas
Cosas
Cosas
Cosas
que
que
que
que
que
que
que
que
son
son
son
son
son
son
son
son
p i y p 2 y p3pi
pi
pi
pi
Pi
px
pi
y
y
y
y
y
y
y
CONSISTENCIA Y COMPLETUD
2.
CONSISTENCIA Y COMPLETUD
Demostracin.
vos distintos.
1.
distintos es liji
SQM es
decidible
CONSISTENCIA Y COMPLETUD
N O T A S A LA TERCERA PARTE
1
Es decir, una aparicin del cuantificador. Lo mismo sucede en todos los dems sitios.
O relaciones entre.
3
Este tipo de semntica se origin con Tarski. Vase, por ej., Tarski (1923-38), artculo
VIII) (que fue comenzado ms o menos en 1931) o, para una presentacin ms sencilla,
Tarski y Vaugh (1956, pp. 84-5).
4
Pero con esta extensin: pueden establecerse entre frmulas que para una interpretacin dada no son ni verdaderas ni falsas.
5
Si A es falsa para I, entonces A vA es falsa para I. Pero la conversa no es verdadera;
si A contiene una variable libre, AvA puede ser falsa para I mientras que A no es ni
verdadera ni falsa para I.
6
Puede omitirse en una primera lectura.
7
Se usa en la demostracin de la completud, aunque puede omitirse en una primera
lectura.
8
Se usa en la demostracin de la decidibilidad de un sistema de lgica de predicados
mondicos, en la secc. 50.
9
Para comprobar que no es lgicamente vlida, tmense como dominio los nmeros
naturales, y asgnese a Fxy el significado de x>y.
10
Hemos elegido este conjunto de axiomas porque con l podemos obtener algunos
otros conjuntos de axiomas de la lgica de predicados no tienen esta propiedad.
11
Esta es, en esencia, la demostracin de Henkin (Henkin, 1947).
12
N o hay ninguna reclamacin de propiedad en este 'nuestro'. La idea esencial se
debe a Frederic B. Fitch (1938, pp. 144-5), y pueden encontrarse sistemas tipo Fitch en
Quine (1940), Rosser (1953), Mates (1965) y Margaris (1967).
13
Es decir, las variables que siguen inmediatamente a los cuantificadores.
14
Este conjunto de axiomas se debe a R. M. Robinson (1950), y a veces recibe el
nombre de 'aritmtica de Robinson', o Q\
15
Si M y M' son modelos isomorfos de una teora K de primer orden, entonces una
frmula A de K es verdadera para M sii es verdadera para M'.
16
La Aritmtica es la rama de la Matemtica que se ocupa de los nmeros naturales y
de otros conjuntos numerables de objetos. El Anlisis se ocupa de los nmeros reales y de
conjuntos no-numerables.
2
244
CUARTA PARTE
Lgica de Predicados de
Primer Orden:
Indecidibilidad
INDECIDIBILIDAD
51.
En esta seccin demostramos algunos resultados acerca de la decidibilidad utilizando nicamente la nocin informal de mtodo efectivo explicada en la secc. 7.
N o s ocuparemos en primer lugar de establecer un tope mximo para
el nmero de mtodos efectivos que existen.
En general se est de acuerdo en que cualquier mtodo efectivo (en
lgica y matemtica) debe ser susceptible de ser detallado sin ambigedad mediante una cadena finita de palabras y/o smbolos. Si no pudiera
ser detallado finitamente, entonces ni siquiera podra ser expresado como un p r o g r a m a de un ordenador real o posible, y por lo t a n t o no seria
un mtodo de computacin.
F o r m u l a r e m o s un supuesto ms fuerte, el de que algn lenguaje existente (como el espaol, francs ingls o alemn), j u n t o con los smbolos
(interpretados) de la lgica y la matemtica disponibles, y complementa
do, si fuera necesario, con un conjunto finito de nuevas palabras y/o
nuevos smbolos (interpretados) es adecuado para detallar sin ambigedades todos los mtodos afectivos.
P a r a justificar parcialmente este supuesto (que es una forma primitiva
de la Tesis de Church: cf. secc. 52, ms adelante), diremos que:
1.
2.
INDECIDIBILIDAD
51.1.
numerable
de mtodos
efectivos
Existen conjuntos
enumerables
de nmeros naturales
que no son
efectivamente
INDECIDIBILIDAD
conjuntos
indecidibles
de nmeros
naturales
Demostracin.
Existe u n a c a n t i d a d n o - n u m e r a b l e de s u b c o n j u n t o s
del c o n j u n t o de los n m e r o s naturales, p e r o slo u n a c a n t i d a d n u m e r a ble de m t o d o s efectivos. Luego existen c o n j u n t o s de n m e r o s n a t u r a l e s
p a r a los q u e n o existe ningn m t o d o efectivo q u e p e r m i t a decir si un
n m e r o n a t u r a l cualquiera es un elemento o no.
Definicin. El complemento de u n c o n j u n t o S es el c o n j u n t o de t o d a s las
cosas que n o son elementos del c o n j u n t o S. El complemento de un conjunto S respecto a, o relativo a, un conjunto T e s el c o n j u n t o de t o d o s los
elementos de T que n o son elementos de S.
Si S es un c o n j u n t o de n m e r o s naturales, p o r c o m p l e m e n t o relativo
de S e n t e n d e r e m o s e L c o n j u n t o de t o d o s los n m e r o s naturales que no
son elementos de S [en smbolos: S].
51.5.
Demostracin.
1.
Sea S un c o n j u n t o de n m e r o s naturales.
S u p o n g a m o s que S es decidible.
INDECIDIBILIDAD
computables
de
INDECIDIBILIDAD
Demostracin. Es obvio que existe al menos una cantidad enumerable: consideremos, por ej., la secuencia de funciones definida por las
reglas f0(x) = x-1-0, /i(x) = x + 1 , / 2 (x) = x + 2, . . . Puesto que slo existe
una cantidad numerable de mtodos efectivos, existe como mximo una
cantidad numerable de funciones computables de nmeros naturales a
nmeros naturales. Luego existe precisamente una cantidad enumerable
de ellas.
51.7.
no-computables
de nmeros naturales
INDECIDIBILIDAD
g(k)=m
(1)
El conjunto de las funciones computables de un argumento, de nmeros naturales a nmeros naturales, no es efectivamente
enumerable.
si se
1.
El sistema es consistente.
2.
3.
representado
INDECIDIBILIDAD
en un sistema formal S sii existe una frmula A(v) de S con slo una
variable libre v, tal que p a r a cada n m e r o natural n:
hsA() sii n e X
d o n d e A() es el resultado de sustituir todas las apariciones libres de la
variable v en A(v) por el numeral . [O, utilizando u n a notacin que ya
hemos usado anteriormente: . . . sii existe u n a frmula A de S con slo
una variable libre v tal que p a r a cada n m e r o natural n:
|-sAv/ sii n e X ]
[' e X' significa kn es un elemento del c o n j u n t o X'.]
51.10
notable de la aritmtica
es
indecidible
Demostracin. Sea S un sistema formal de la aritmtica. C a d a frmula A de S determina una funcin / de la forma siguiente:
An) = 0 si I a frmula obtenida al reemplazar todas las apariciones
J
libres de variables en A por el numeral es un teorema de S.
) j[n) = 1 en los dems casos.
La condicin 3 de la definicin
asegura que existe una enumeracin
demostracin de 32.11. Sea <A 0 , A 1?
de las frmulas de S, y sea (fo,fufi>
diente de las funciones determinadas
h la funcin definida por la regla
INDECIDIBILIDAD
de
Gdel
INDECIDIBILIDAD
INDECIDIBILIDAD
demostracin
efectivamente
en S, entonces
enumerable
el conjunto
de los teoremas
de S es
Demostracin. Sea S un sistema formal que satisface t o d a s las hiptesis del teorema. P u e s t o q u e el c o n j u n t o d e f r m u l a s de S es decidible, las*
f r m u l a s deben ser secuencias finitas de smbolos, y el c o n j u n t o de t o d o s
los smbolos que aparecen realmente en las f r m u l a s debe ser decidible.
Los smbolos, las secuencias finitas de smbolos, y las secuencias finitas
de secuencias finitas de smbolos de este c o n j u n t o decidible a d m i t e n u n a
n u m e r a c i n de Gdel. L a n u m e r a c i n de Gdel, j u n t o con la decidibilid a d del c o n j u n t o de f r m u l a s de S aseguran q u e el c o n j u n t o de t o d a s las
secuencias finitas de f r m u l a s de S es efectivamente enumerable. Puesto
que existe un m t o d o efectivo que permite establecer si algo es o n o es
u n a d e m o s t r a c i n en S, u n a d e m o s t r a c i n en S debe tener u n a longitud
finita, y p o r lo t a n t o ser u n a secuencia finita de frmulas de S. Sea <S l 5
S 2 , S 3 , . . . ) u n a e n u m e r a c i n efectiva de t o d a s las secuencias finitas de
f r m u l a s de S. E n t o n c e s p o d e m o s obtener de la f o r m a siguiente u n a
e n u m e r a c i n efectiva de los teoremas de S: C o m p r o b e m o s si S j es u n a
demostracin en S. Si lo es, c o l o q u e m o s el t e o r e m a que d e m u e s t r a S x
c o m o primer t r m i n o de u n a secuencia de t e o r e m a s (que hay q u e construir). H a g a m o s despus la misma c o m p r o b a c i n p a r a S 2 . Si es u n a
demostracin, c o l o c a m o s el teorema que d e m u e s t r a c o m o siguiente trm i n o de la secuencia de t e o r e m a s (o c o m o primer trmino, en el caso de
que Si n o fuera u n a d e m o s t r a c i n en S). Y as sucesivamente, en la
f o r m a q u e resulta obvia. La secuencia resultante' es u n a e n u m e r a c i n
efectiva de los t e o r e m a s de S. (Si S n o tiene teoremas, entonces la secuencia est vaca. Pero, p o r convencin, u n a secuencia vaca se consid e r a c o m o si fuera u n a e n u m e r a c i n efectiva del c o n j u n t o vaco, y, p o r
convencin, el c o n j u n t o vaco es efectivamente enumerable.)
51.12.
Demostracin. Sea S un sistema formal que satisface t o d a s las hiptesis del teorema. Sea A u n a frmula cualquiera de S cuyo carcter de
t e o r e m a q u e r e m o s c o m p r o b a r . Sea A c un cierre cualquiera de A. P o r
51.11 los teoremas de S son efectivamente enumerables. P u e s t o q u e S es
c o m p l e t o respecto de la negacin, o bien A c o bien la negacin d e - A c
274>
INDECIDIBILIDAD
INDECIDIBILIDAD
Si alguna extensin
tambin lo es SQ
finita de SQ
[SQ=]
es indecidible,
entonces
de SQ [SQ
condiciones:
en
l;
entonces
SQ [SQ
] es
indecidible.
Demostracin. S u p o n g a m o s que S es ese sistema. Entonces la condicin 1 asegura que S es u n a teora de primer orden, y entonces (puesto
q u e p o r 45.5 p a r a cualquier teora de primer orden L|-A sii |- K A C ) S
satisface la tercera condicin de la notabilidad, esto es, que u n a f r m u l a
con variables libres es un t e o r e m a sii hay algn cierre de ella. Las condiciones 2-4 aseguran q u e S satisface las d e m s condiciones necesarias
p a r a q u e sea un sistema formal de ese tipo es indecidible. S es ex hypothesi u n a extensin finita de S Q [ S Q = ] . Luego, p o r 51.14, S Q [ S Q = ] es
indecible [ r e c o r d e m o s q u e t o d o esto sucede s u p o n i e n d o q u e existe dic h o sistema S]. Luego si existe dicho sistema, S Q [ S Q = ] es indecidible.
274>
INDECIDIBILIDAD
52.
de nmeros naturales es
recursivo.
INDECIDIBILIDAD
INDECIDIBILIDAD
53.
INDECIDIBILIDAD
Funciones
iniciales
1.
2.
3.
4.
5.
funcin
funcin
funcin
funcin
funcin
La
La
La
La
La
/5(x, jO = x-j>)
se aplican
a funciones
computables,
producen
Combinacin
x, . . , y, . . . ) = / ( . . , x, . . , g(. .
y, ...),.
. .)
(donde cualquier variable del lado derecho de la ecuacin t a m b i n a p a rece en el l a d o izquierdo) ha sido o b t e n i d a p o r combinacin d e las f u n ciones / y g.
2.
La /i-operacin
[mu-operacin]
. . . . x, y) = 0},
INDECIDIBILIDAD
recursivos
54.
k n ) = k n + 1 sii hsAki . . . . kw + 1 ),
274>
INDECIDIBILIDAD
p a r a c a d a n m e r o n a t u r a l n,f(n)=0
sii n e X. Sea S u n sistema formal
en el cual est r e p r e s e n t a d a t o d a funcin recursiva. Entonces / est rep r e s e n t a d a en S; es decir, existe u n a f r m u l a A(v 1? v 2 ) de S tal q u e p a r a
c a d a p a r de n m e r o s n a t u r a l e s ra, n
f(m) = n sii f-sA (m, )
y p o r lo t a n t o tal q u e
f(m) = 0 sii hsA(m, 0)
[0 es el n u m e r a l en S p a r a 0]
As tenemos:
ra e X sii f{m) = 0 sii bsA(m, 0)
P e r o A(v, 0) es u n a f r m u l a con slo u n a variable libre, v. Luego existe
u n a f r m u l a A(v, 0) de S con slo u n a variable libre tal que, p a r a c a d a
n m e r o n a t u r a l ra, ra e X sii b s A(w, 0): es decir, X est r e p r e s e n t a n d o
en S.
Representacin
fuerte
si f(kl
. . . k ;i ) = kH + 1 , entonces bsA(k\
k,I + 1 )
(ii) si j{ k i . .
k)^kll
+ 1,
entonces b s ^ A ( k i . . . . k n + 1 )
de funciones
en un sistema
formal
INDECIDIBILIDAD
(ii)
(iii)
enton-
(A(x, z) 3 y = z))
55.
rt
/**' t , t 2
/**" t,t2
/""'t,t2
F**'t,t2
F**"t,t2
(~ADB)
INDECIDIBILIDAD
B a j o la interpretacin p r o p u e s t a
expresa la funcin sucesor; los
smbolos funcionales / * * ' , / * * " , / * * " ' expresan respectivamente la f u n cin s u m a (adicin), la funcin p r o d u c t o (multiplicacin), y la funcin
potencia (exponenciacin); y los smbolos predicativos F * * ' y F * * " expresan respectivamente las relaciones de identidad y ser menor que.
Sistema H
Axiomas:
T o d a s las fbfs de Q q u e son axiomas de S Q p o r cualquiera de los
esquemas S Q 1-7
T o d a s las fbfs de Q q u e son axiomas de S Q = p o r el e s q u e m a S Q = 2
Y adems:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21 5
22 6
23
24
A x [ x = x ] [es decir, S Q = 1]
Ax Ay Az(x = y^>(y = z^x = z))
Ax Ay Az(x = y^>(x = z^>y = z))
AxAy(x = y=>Sx = Sy)
Ax[0<Sx]
Ax[~x<0]
Ax
Ay(x<y=>Sx<Sy)
A x A y(x < y => ~ x = y)
AxAy(x<y=>~y
= x)
AxAy(x<y=>=y<x)
A x A y ( ~ x < y = > ( = y < x = > x = };))
A x A y(y < Sx (y < x v y = x))
Ax[x + 0 = x]
A x A y\_x + Sy = S [ x + y ] ]
A x A y Az A w(x = y^>(z + x = w^z + y = w))
A x A y Az A w(x = j/=>(z = x + w=>z = y + w))
A x [ x - 0 = 0]
A x A y [ x Sy = [ x y~\ + x ]
AxAyAzA
w(x = y=>(z-x = w=>z- y = w))
A x A y A z A w(x = y:D(z = x-w^z = y-w))
A x[PxO = SO]
A x A y[PxSy = [Pxy] x]
A x A y A z A w(x = y =>(Pzx = w => Pzy = w),|
A x A y A z A w(((y < x AX = y + z) v( - y < x AZ = 0))
(((y < x A x = y + w) v( y < x A w = 0)) => z = w))
INDECIDIBILIDAD
de H
56.
Demostracin de la indecidibilidad de H
INDECIDIBILIDAD
|-m = n
P o r el a x i o m a 1.
m<n
nmeros naturales
m. n, si m<n
entonces
\-m<n
Para cualesquiera
| m = n.
\-m<n.
entonces
Demostracin.
S u p o n g a m o s m^n. Entonces, o bien m<n o bien
n<m. Luego p o r 56.2, t e n e m o s que o bien \-m< o bien | - < m . Luego
p o r el a x i o m a 8 o el a x i o m a 9,
56.4.
Para cualesquiera
|- = mc
~m = n.
entonces
Demostracin.
S u p o n g a m o s m < n . Entonces o bien n<m o bien
m = n. Luego o bien | - n < m p o r 56.2, o bien \-m = n por 56.1. Entonces, por
el a x i o m a 10, o p o r el a x i o m a 8, y por lgica ^proposicional, |- m < n .
274>
56.5. Para cualquier
Demostracin.
El n u m e r a l Sm es el m i s m o n u m e r a l que ra + 1. Luego
p o r el a x i o m a 1, \-Sm = m + 1.
INDECIDIBILIDAD
nmeros naturales
m, n, |-m + n = m + n
induccin
ra-b/c-bl.
nmeros
Induccin
(I)
ra
( l)
(4)
p)
((.)
INDECIDIBILIDAD
nmeros
Demostracin.
P o r induccin.
Base: H a y que d e m o s t r a r f-Pm 0 = ra.
P o r el a x i o m a 21_ f-PraO = SO
___
Induccin
+ l = mk+.
P o r el a x i o m a 22 |-PraS/c = [Pra
(1)
(2)
(3)
(4)
(5)
(6)
L o q u e c o m p l e t a el P a s o de la Induccin y la demostracin.
Definibilidad
en H de las funciones
56.9. La funcin
sucesor
es definible
la frmula
Sx = y
Demostracin
Condicin (i). S u p o n g a m o s que ra + 1 = n. Entonces ra + 1 es n. Luego
p o r el a x i o m a 1, | - r a + 1 = n . P e r o ra + 1 es Sra. Luego (-Sm = n. Luego si
ra-f l = n, entonces (-Sm = n.
INDECIDIBILIDAD
x+ yz
Demostracin
Condicin (i). Supongamos m + n = k. Entonces ra + rc_es k. Luego por
el axioma 1, \-m + n = k. Luego, puesto que por 56.6 [m + n = m + n, por
el axioma 2 \-m + n = k.
Condicin (ii). Supongamos que ra-frc//c. Entonces, por 56.3,
\-~m + n = k. Entonces, puesto que \-m-\-n = m-\-n, por el axioma 3 y por
lgica proposicional | - ~ m + n = k. Luego si m + n^/c, entonces \-~m + n
= k.
Condicin (iii). Por el axioma 3 y 45.5
|- A x Ay Az A w(x + y = z^>(x + y = w=>z = w)).
56.11. La funcin producto es definible en H mediante la frmula
x.y
Demostracin
Condicin (i). Supongamos que m.n = k. Entonces \-m.n=k, por el
axioma 1. Luego puesto que por 56.7 \-m.n = m.n, por el axioma 2 |-///.//
= k. Luego si m.n = k, entonces \-m.n = k.
Condicin (ii). Supongamos que m.n^k. Entonces | - ~ m . w = f c . Entonces, puesto que |-m.n = m.n, por el axioma 3 y lgica proposicional
\-m.n = k. Luego si m.n^k, entonces
m.n = k.
Condicin (iii). Por el axioma 3 y 45.5
A x A y A z A w(x.y = z => (x.y = w=>z = w)).
56.12. La funcin potenciacin
Pxy = z
Demostracin
Condicin (i). Supongamos mn = k. Entonces f-mw = /c, por el axioma
1. Entonces, puesto que f - P m n = m" (56.8), \-P m n = k, por el axioma \
Luego si m" = /c, entonces f-P m n = k.
Condicin (ii). Supongamos que m n ^ k . Entonces |- ~ m n ~ k . Enlon
ees puesto que | - P m n = m'\ por el axioma 3 y lgica proposicional
| - ~ P m n = k. Luego si mn^k,
entonces
m n = k.
INDECIDIBILIDAD
la
Demostracin
Condicin (i). S u p o n g a m o s que m n = k. Existen dos casos posibles:
(1) n<m (2) m^n.
1. S u p o n g a m o s n<m. Entonces m n = m n. Luego m = n + (m n).
Entonces tenemos \-n<m y \-m = n + (m n) y, p o r lo t a n t o , p o r 56.6 [-ra
= n-\-m n. Luego [n<m Am = n-\-m n. P e r o m n es k. Luego |-n
<m Am = n + k.
__2. S u p o n g a m o s m^n. Entonces m n = 0. Y tenemos |- ^n
< r a Am-n
= 0. P e r o m n es k. Luego
~n<m Ak = 0.
Luego tenemos:
Si ra rc = /c y n c r a , entonces \-n<m Am = n + k.
Si m n = k y ra^rc, entonces f- ~n<m Ak = 0.
Luego si ra n = /c, entonces o \-n<m Am = n + k, o bien - ~n<mAk
= 0.
P e r o si f- A o |- B, entonces, o bien f- A v C, o bien f- B v D, d o n d e C y
D son fbfs cualesquiera. Luego si \- A o |- B, entonces o bien |- A v B, o
bien |-B V A. Pero \-{B v A)=>(A V B). Luego si o bien |-A o bien |-B
entonces o bien |-A v B o bien |-A V B; es decir, si |-A o |-B, entonces
|-A v B.
Luego si ra n = /c entonces \-(n<m Am = n + k)V (~n<m
Condicin (ii). S u p o n g a m o s que
casos posibles: (1) n<m (2) m^n.
ra-n^/c.
Ak = 0).
T e n e m o s de nuevo d o s
1. S u p o n g a m o s non.
Entonces, c o m o suceda en (i) 1, tenemos
m = n + (ra n) y p o r lo t a n t o , puesto que m n ^ /c, ra ^ n + k. As tenemos
= + k. Luego, c o m o en el caso de (i), tenemos: \-<ra. Luego
|- < ra A ra = + k.
2.
k^O.
\-~<m
Supongamos
Luego
ra^/z.
|-~/c = 0.
asimismo
\-~<m.
Luego
tenemos
A ~k = 0.
A ~/c = 0).
INDECIDIBILIDAD
Demostracin.
Condicin (i). S u p o n g a m o s que /(ra) = n. Entonces f(m) es . Luego si
p o d e m o s mostrar que |- s A(ra,/(ra)), habremos m o s t r a d o que bsA(>", "h y
por t a n t o que se ha satisfecho la condicin (i) de la definibilidad.
Condicin (ii). S u p o n g a m o s que f(m)^n.
Entonces, puesto que e\
hypothesi la identidad est fuertemente representada en S medanle
*x = y\ entonces |-s ~ff(m)=.
Tambin ex hypothesi tenemos [-s A(ra,
/(ra)) P (A(ra, ) P / ( r a ) = ). Luego por lgica proposicional P ( ~/(///)
= P ~ A (ra, )). Luego si p o d e m o s mostrar que f-s A (ra,/(ra)), obtenemos, p o r doble aplicacin del M o d u s P c n e n s |-s ~A(ra,
y por lo
t a n t o la condicin (ii) estar satisfecha.
Condicin (iii). Est satisfecha ex hypothesi.
Puede generalizarse el Lema a funciones con ms de un argumento.
Combinacin
P a r a m a y o r simplicidad consideramos simplemente funciones con un
argumento. La demostracin puede generalizarse fcilmente de forma
que c u b r a funciones con ms de un argumento.
Sea / u n a funcin definible en H mediante una frmula A(x, y) y i
u n a funcin definible en H mediante u n a frmula B(x, y). M o s t r a r e m o s
que la funcin mediante la regla B(x, y). M o s t r a r e m o s que la funcin 11
definida mediante la regla
Kx)=Mx))
es definible en H mediante la frmula
Vw(B(x, w)AA(W, y))
27 1
INDECIDIBILIDAD
274>
Condicin
(iii)
T e n e m o s ex
hypothesi
VwS
M o s t r a r e m o s ms adelante que
(2)
Rb'/w,
V vvS(-H' y = z
VwR, VwS,
y= z
T a m b i n es obvio que
(5)
VwR, VwS hn V w R
VwR, VwS|- H y = z
),
INDECIDIBILIDAD
(7)
b H V w R ^ ( V w S ^ > - = z)
2.
3.
T|-hB(X, b')
4.
5.
6.
7.
8.
J[H,b' = c'
|- H ,' = c'=>
(A(b\ y)^A(c\
y))
Th H -A(b\ y)=>A(c't y)
T(- H -A(b', y)
9.
10.
11. T\-WA(C, y)
12. bH"A(C, y)=>
(A(c\ z)=>y = z)
13. T|-hA(C, z)=>y = z
14. Tb H "A(c', z)
15.
Th H.y = z
274>
INDECIDIBILIDAD
t es
un trmino
cerrado
de
X,
entonces
V w(B(m, w)AA(w,/(^(m))))
que es lo que q u e r a m o s obtener.
Antes de considerar la -operacin, v a m o s a d e m o s t r a r un Lema.
56.15
|-x</c =>(x = 0 v . . .
Demostracin
Base: k = 0
En virtud de la t a u t o l o g a
~A=>(A=>B)
Induccin
S u p o n g a m o s que el L e m a p a r a t o d o k d o n d e
H a y que d e m o s t r a r \-x<m+
k^m.
1 =>(x = 0 v. . . v x = m).
i-operacin
INDECIDIBILIDAD
z-~y<z.
(I)
hypothesi
Para cada nmero natural ra existe un nmero natural n tal que /(//#,
n) = 0
{?.)
y por definicin
g{m) = m{f(m, n) = 0}
O)
263
274>
INDECIDIBILIDAD
A partir de 2 y 3 t e n e m o s
/(ra, g{m)) = 0 p a r a t o d o n m e r o natural
ra
(4)
A partir de 1 y 4 t e n e m o s
bA(m,
0)
(5)
(6)
entonces b ~ A ( r a , , 0)
(7)
(8)
2. S u p o n g a m o s q u e g{m)> 0. P o r S Q
2, \-z = 0^>(~ A(ra, 0, 0)=>
~A(ra, z, 0)). Luego p o r lgica proposicional f-~A(m, 0, OJ^z. ^
~ A(ra, z, 0)). P u e s t o que, ex hypothesi, 0 < #(ra), a partir de 7 o b t e n e m o s
b ~ A(m, 0, 0). Luego p o r M o d u s P o n e n s bz = 0=> ~ A(ra, z, 0). Y de igual
m a n e r a sucede p a r a c a d a n<g(m). P o r t a n t o :
b(z = 0 = > ~ A ( m , z, 0)) A. . . A(z = /(ra) 1 :=> ~A(ra, z, 0)).
P o r lgica proposicional
K(z = 0 = > ~ A ( w ,
D
Luego por M o d u s P o n e n s
b(z = 0 v. . . vz = g(m)-l
=> - A ( m , z, 0)
(9)
A(ra, z, 0)
(10)
INDECIDIBILIDAD
(II)
A partir de 8 y 11
(-Az(z<0(>O=> ~A(m, z, 0))
(12)
~ A(m, z, 0))
Q.E.D.
P a r a recapitular:
56.16.
representada
56.18.
56.19.
en H
en H
representado
representado
indecidible
57.
INDECIDIBILIDAD
57.1
SQ = es
Nota.
indecidible
T o d a v a e s t a m o s b a j o el s u p u e s t o de la Tesis de C h u r c h .
indecidible
Asimismo:
[57.3]
U n sistema formal q u e tenga c o m o t e o r e m a s exactamente ese conj u n t o de fbfs recibe a veces el n o m b r e de 'clculo de p r e d i c a d o s puro'.
[57.3] dice que tal clculo es indecidible.
57.4
Demostracin
1. El c o n j u n t o de las frmulas de S Q =
decidible y existe un
m t o d o efectivo p a r a establecer si algo es u n a d e m o s t r a c i n en S Q = o
n o lo es. Luego, p o r 51.11, los teoremas de S Q = son efectivamente
enumerables. Y lo m i s m o pasa con SQ.
2. D e la f o r m a q u e se indica a continuacin, p o d e m o s e n u m e r a r
c a d e n a s cualesquiera de smbolos de Q:
274>
INDECIDIBILIDAD
En primer
bolo. Hay
De ahora
mados en
lugar t o m a m o s todas las cadenas que slo tienen un smdoce cadenas de ese tipo: p, ', x, a , f F, *,
=>, A, (, ).
en adelante consideraremos que estos doce smbolos, toese orden, estn ordenados lexicogrficamente.
T o m a m o s todas las cadenas que tienen dos smbolos, en orden lexicogrfico, es decir, en el orden
PP, P\ px, pa...,
INDECIDIBILIDAD
58.
prenexa
INDECIDIBILIDAD
1. A x ~
(Fx=>Gy)
2. A x A A z ~ Aw((p'
3.
Fxy\jFzy
4. p'=>p"
Ax~~A
y~{Fx^>Gy)
( A x A j / ~ A z ~ Aw(p' =>Fxy)=> = Fzy)
[El alcance de los cuantificadores n o llega hasta el final de la
frmula: o, lo que es lo mismo, la parte de la frmula que sigue a
los cuantificadores:
(p' => Fxy) => = Fzy)
n o es u n a fbf.] [Nota:
exteriores.]
7.
8.
INDECIDIBILIDAD
Forma normal de
Skolem
Si A es una fbf de Q sin smbolos funcionales o constantes individuales, entonces existe un mtodo efectivo para encontrar una fbf
B de Q en forma normal de Skolem tal que \-SQA sii bso o:
tal que |:A sii |:B] (N. B. P e r o en c o n t r a s t e con [58.3] n o tenemos
necesariamente bsoA = B ) [Skolem, 1919].
INDECIDIBILIDAD
59.
INDECIDIBILIDAD
Omega-incompletud
Sea S un sistema formal que tiene al c o n j u n t o de los n m e r o s n a t u rales c o m o d o m i n i o de su interpretacin propuesta. Entonces:
(1) Se dice que S es (D-inconsistente [omega-inconsistente] si existe
u n a fbf A(v) de S, c o n u n a variable libre v, tal que \-sA() p a r a c a d a
n m e r o n a t u r a l n y t a m b i n | - s ~ AvA(v). Se dice que S es co-consistente
si n o existe tal fbf.
Si u n a teora de primer orden es co-consistente entonces es consistente, p e r o la inversa n o es verdadera.
(2) Se
fbf A(v) de
natural n
c-completo
Los teoremas
1.
de
El teorema
Gdel
de completud
de
Gdel
En su artculo kDie Vollstndigkeit der Axiome des logischen Funktionenkalkls,10 [1930] G d e l d e m o s t r la c o m p l e t u d (semntica) de un sistem a de la lgica de p r e d i c a d o s de primer orden que era esencialmente el
de los Principia Mathematica de Whitehead y Russell. En el curso de la
demostracin m o s t r t a m b i n que t o d o c o n j u n t o consistente de fbfs del
sistema es s i m u l t n e a m e n t e satisfactible en u n d o m i n i o n u m e r a b l e , lo
que constituye un resultado clave p a r a el t r a b a j o posterior.
274>
INDECIDIBILIDAD
2.
de Gdel
En su artculo *Uber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme V (1930, publ. en 1931) Gdel demostr
que cualquier sistema formal S que satisfaga las tres condiciones siguientes:
1. S es co-consistente
1. S tiene un conjunto recursivamente definible de axiomas y reglas
de inferencia
3. T o d a relacin recursiva es definible en S
es incompleto, en el sentido de que existe u n a fbf cerrada de S, de la
forma A v F v tal que ni | - s A v F v ni | - s ~ AvFv, en donde, bajo la interpretacin propuesta, se asigna a F una propiedad recursivamente definida de los nmeros naturales.
Este es el teorema de Gdel ms famoso y el nico al que se hace
referencia normalmente cuando se habla del T e o r e m a de G d e l \
3.
'Segundo
INDECIDIBILIDAD
recursivamente
enumerables
INDECIDIBILIDAD
enumerable sii
I.
A.
Lgica
proposicional
LGICA
veritativo-funcional
Lgica
de predicados
mondicos de primer
orden
INDECIDIBILIDAD
C.
Lgica
de predicados
identidad)
D e m o s t r a c i n de consistencia (Hilbert y A c k e r m a n n , 1928), complet u d semntica (Gdel, 1930), indecidibilidad (Church, 1936; s u p o n i e n d o
la Tesis de Church).
N o es sintcticamente completa, o c o m p l e t a respecto de la negacin.
G o t t l o b Frege, en su Begriffsschrift (1878, publ. en 1879) fue el que
present p o r p r i m e r a vez u n c o n j u n t o c o m p l e t o de a x i o m a s y reglas
p a r a la lgica de p r e d i c a d o s de primer orden.
II.
A.
B.
1.
Teora
elemental
TEORAS MATEMTICAS 1 5
pero sin
multiplicacin
Teora
elemental
pero sin
adicin
naturales,
INDECIDIBILIDAD
5.
Demostracin de consistencia (Gentzen, 1935, apelando a un principio [de induccin transfinita] que no pertenece ni a la lgica de predicados de primer orden ni a la misma teora elemental de nmeros, y por lo
tanto es tan cuestionable como la teora en cuya demostracin de consistencia se utiliza). Demostracin de que cualquier formalizacin consistente de la teora con un mtodo efectivo que permita establecer si algo
es, o no es, una demostracin en el sistema, es semnticamente incompleta (generalizacin de Gdel, 1930, publ. en 1931, que exiga la co-consistencia y un conjunto recursivo primitivo de axiomas. Rosser mostr en 1936 que la co-consistencia poda ser reemplazada por la consistencia. La formulacin que presentamos implica una apelacin a la Tesis
de Church). Demostracin de indecidibilidad (Church, 1936; asumiendo
la Tesis de Church y la consistencia del sistema).
6.
INDECIDIBILIDAD
N O T A S A LA CUARTA PARTE
1
Gran parte de lo que se presenta en esta seccin ha sido tomado de Shepherdson
(1967, esp. p. 3 y nota).
2
Esta presentacin de las funciones recursivas se apoya marcadamente en Andrej
Grzegorczyk (1961, cap. I). Puede encontrarse una presentacin ms completa de las funciones recursivas en Pter (1951), Kleene (1952), Hermes (1961), Rogers (1967). Cf. tambin
Davis (1958), y sobre algoritmos en general, Markov (1954).
3
Para evitar ms adelante complicaciones formales, estableceremos que 0 o , que normalmente se deja sin definir, sea por definicin igual a 1.
4
'n e X' significa "n es un elemento del conjunto X\
5
En la interpretacin propuesta, 21 significa: T a r a todo nmero natural x, x = l \
6
En la interpretacin propuesta, 22 significa: T a r a todo par de nmeros naturales x e
y + 1
y, x
= xy xx. 1
7
Esta parte de la demostracin sigue estrechamente la demostracin de Grzegorczyk
de que toda relacin recursiva est fuertemente representada en su sistema Ar (Fonctions
rcursives, cap. V).
8
Dado que, naturalmente, satisface las dems condiciones de la notabilidad.
9
Los ICneale manifiestan su desacuerdo (1962, pp. 706-7) arguyendo que 'La reserva
mediante la cual se excluyen de toda consideracin los dominios vacos... en realidad no
constituye ninguna restriccin en absoluto, puesto que no puede haber ningn dominio de
individuos que est vacio'.
10
Trad. inglesa de J. van Heijenoort, From Frege to Gdel.
11
La hiptesis generalizada del continuo implica el axioma de eleccin. Luego la
Teora de Conjuntos no-Cantoriana tiene como teorema la negacin de la hiptesis generalizada del continuo.
REFERENCIAS
Referencias
ACKERMANN, WILHELM
1927
1928
1954
(1896-1962)
1930)
1959 'A simple treatment of truth functions', Journal of
Logic, vol. 24 (1959) 301-2.
Symbolie
1927
(L>.
Ma
CANTOR, G E O R G ( 1 8 4 5 - 1 9 1 8 )
1873
REFERENCIAS
1932
CHURCH, A L O N Z O ( n a c .
1903)
1935a 'An unsolvable problem of elementary number theory. Preliminary report', Bulletin of the American Mathematical
Society
(Mayo de 1935), vol. 41, pp. 332-3. Recibido el 22 de M a r z o de
1935.
1935b *An unsolvable problem of elementary number theory', American Journal of Mathematics, vol. 58 (1936) 345-63. Presentado a
la Sociedad el 19 de Abril de 1935. Reimpreso en Davis (1965,
pp. 89-107).
1936 "A note on the Entscheidungsproblem', Journal of Symbolic Logicvol.
1 (1936) 40-1 (correccin pp. 101-102). Recibido el 15
de Abril de 1936. Correccin recibida el 13 de Agosto de 1936.
Reimpreso en Davis (1965, pp. 110-15).
1956 Introduction
to Mathematical
Logic (Princeton University
Press, 1956).
C O H N , PAUL JOSEPH ( n a c .
1963
1966
1934)
1967
DAVIS, MARTIN ( n a c .
1958
1965
1966
1967
294
1928)
Computability
and Unsolvability (McGraw-Hill, New York,
1958).
(ed.), The Undecidable (Raven Press, Hewlett, N.Y., 1965).
'Recursive Functions - An Introduction', en E. R. Caianiello
(ed.), Autmata Theory (Academic Press, New York and London, 1966) pp. 153-63.
k
Recursive Function Theory', en Paul Edwards (ed.) Encyclope-
REFERENCIAS
1887
Was sind tind was sollen die Zahlen? (Vieweg, Brunswick, 1888).
Prefacio con fecha del 5 de Octubre de 1887. Traduccin al
ingls en Richard Dedekind, Essays on the Theory of Numbers
(Open Court, Chicago, 1901; Dover, New York, 1963).
1928)
1938
F R A E N K E L , ABRAHAM A D O L F
1961
1908)
Set
Theory,
of Symbolic
(1891-1965)
Amsterdam,
F R A E N K E L , ABRAHAM A D O L F ( 1 8 9 1 - 1 9 6 5 ) y B A R - H I L L E L , YI IIOSIIUA
(nac. 1915)
1958 Foundations
1638
(1564-1642)
1935
REFERENCIAS
1930
1930,
1933
1934
1938
GRZEGORCZYK,
1961
ANDRZEJ
1964
1947
296
1926)
REFERENCIAS
1950
1929, publicado en 1930 'Recherches sur la thorie de la d m o n s t r a tion', tesis doctoral p a r a la University of Paris, publicado en
Travaux de la socit des sciences et des lettres de Varsovie,
Classe III, Sciences m a t h m a t i q u e s et physiques, N r 33 (Warsaw, 1930) 128 pp. Tiene fecha del 14 de Abril de 1929. Reimpreso en sus Ecrits logiques (Presses Universitaires de France,
Paris, 1968) pp. 35-153. P a r a la demostracin del T e o r e m a de
Deduccin, ver p r r a f o 2.4 del captulo 61 en el original,
pp. 90-1 en la reimpresin de 1968). Hay u n a traduccin al
ingls del captulo 5 en Van Heijenoort, pp. 529-67.
HERMES, HANS (b. 1912)
1961
Aufzhlbarkeit,
Entscheidbarkeit,
Berechenbarkeit
Berlin, 1961). Trad. Ingl. con el ttulo Enumerability,
lity, Computability (Springer, Berlin, 1965.
(Springer,
Decidabi
1904
b e r die G r u n d l a g e n der Logik u n d der Arithmetik\ Verhandlungen des Dritten Internationalen Mathematiker-Kongresses
in
Heidelberg vom 8. bis 13. August 1904 (Teubner, Leipzig, 1905).
Traduccin al ingls en Van Heijenoort, pp. 129-38.
1925 fcber das Unendliche' (conferencia p r o n u n c i a d a en Mnstcr el
4 de j u n i o de 1925), Mathematische
Annalen, vol. 95 (I92(>)
161-90. Traduccin al ingls Van Heijenoort, pp. 369-92.
1927 fcDie G r u n d l a g e n der M a t h e m a t i k ' (artculo p a r a el seminario
de H a m b u r g o , Julio de 1927), Abhandlungen aus dem mathema
tischen Seminar der Hamburgischen
Universitt, vol. 6 (1928)
65-85. Reimpreso en su libro Die Grundlagen der Mathematik
(Teubner, Leipzig, 1928) y en su Grundlagen der Geomerie
(Teubner, Leipzig and Berln, 1930). Traduccin al ingls en
van Heijenoort, pp. 464-79.
HILBERT, D A V I D (1862-1943) y ACKERMANN, WLHELM (1896-19(0.)
1928
REFERENCIAS
Matemtica
Elemental.
Ma-
1969
of Mathematics
1957
'Complete Sentential Calculus Admitting Extensions', Summaries of talks presented at the Summer Institute for Symbolic
Logic, Cornell University, 1957, pp. 260-2. Resumen en Notices
of the American Mathematical Society, vol. 5 (1958) 29. 'Extendible sentential calculus', Journal of Symbolic Logic, vol. 24
(1959) 193-202.
H O B B E S , THOMAS (1588-1679)
1656 Six Lessons to the Professors of the Mathematiques... in the
University of Oxford (Andrew Crook, London, 1956).
HUGHES, G E O R G E E. a n d CRESSWELL, M . J.
1968
1932
1935
1936
1952
1967
1962
298
REFERENCIAS
1966
LEMMON, EDWARD J O H N ( 1 9 3 0 - 6 6 )
1965
Se-
I/os, JERZY
1951
'An algebraic proof of completeness for the twovalued propositional calculus', Colloquium Mathematicum, vol. 2 (1951) 236-
40.
LWENHEIM, L E O P O L D (1878-C. 1940)
1915
I/UKASIEWICZ, JAN ( 1 8 7 8 - 1 9 5 6 )
1929
MARGARIS, A N G E L O
1967
Com-
1951
1954
1953
1965
MENDELSON, ELLIOTT
1964
Introduction
1964).
to Mathematical
1967
theory\
2{>{)
REFERENCIAS
1964
1975)
T h i r t y years of foundational studies', Acta Philosophica Fennica fase. XVII (1965); tambin en Blackwell, Oxford, 1966. Lecciones p r o n u n c i a d a s en 1964.
1889
1951
POST, E M I L L E N ( 1 8 9 7 - 1 9 5 4 )
1920
Tesis doctoral, Columbia University, 1920. Resumen presentad o en u n a reunin de la American Mathematical Society, el 24
de Abril de 1920. Publicado con el ttulo 'Introduction to a
general theory of elementary propositions', en American Journal of Mathematics, vol. 43 (1921) 163-85. Reimpreso en Van
Heijenoort, pp. 265-83.
1936 T i n i t e c o m b i n a t o r y processes. Formulation I', Journal of Symbolic Logic, vol. 1 (1936) 103-5. Recibido el 7 de O c t u b r e de
1936. Reimpreso en Davis (1965, pp. 289-91).
1942, pub. 1943 ' F o r m a l reductions of the general combinatorial decisin problem', American Journal of Mathematics,
vol. 65
(1943) 197-215. Recibido el 14 de Noviembre de 1941. Revisado el 11 de Abril de 1942.
1944 'Recursively enumerable sets of positive integers and their decisin problems 1 , Bulletin of the American Mathematical
Society,
vol. 50 (1944) 284-316. Presentado a la Sociedad el 26 de Febrero de 1944. Reimpreso en Davis (1965, pp. 305-37).
PRESBURGER,
k
MOJZESZ
REFERENCIAS
1966
Non-standard
1974)
1950
ROGERS, HARTLEY
1957
1967
1950
Elements of Mathematical
1950, pub. 1951).
Logic
1936
1953
1963
1919
Introduction
to Mathematical
Philosophy
(Alien and
IJnwin,
301
REFERENCIAS
Matemti-
SCHTTE, K U R T ( n a c . 1909)
1933
1950
'Untersuchungen zum Entscheidungsproblem der mathematischen Logik', Mathematische Annalen, vol. 109 (1934) 572-603.
Recibido el 30 de Junio de 1933.
'Schlussweisen-Kalkle der Prdikaten Logik', Mathematische
Annalen,
1954
'Ein System des verknpfenden Schliessens', Archiv fr mathematische Logik und Grundlagenforschung, vol. 2 (1956) 55-67.
Recibido el 9 de Diciembre de 1954.
1912
SHEPHERDSON, J O H N C E D R I C ( n a c . 1926)
1967
'Algorithms, Turing Machines and Finite Autmata; An Introductory Survey', en D. J. Stewart (ed.), Automaton Theory and
Learning Systems (Academic Press, London and New York,
1967) pp. 1-22.
1967
Mathematical
SKOLEM, T H O R A L F ( 1 8 8 7 - 1 9 6 3 )
Todos los artculos de Skolem reseados a continuacin pueden encontrarse, en alemn, en sus Selected Works in Logic, ed. J. E. Fenstad (Universitets-forlaget, Oslo-Bergen-Troms, 1970).
1919 'Logisch-kombinatorische Untersuchungen ber die Erfllbarkeit oder Beweisbarkeit mathematischer Stze nebst einem
Theoreme ber dichte Mengen', Videnskapsselskapets
Skrifter,
I. Matematisk-naturvidenskabelig Klasse, 1920, no. 4 (Kristiania, 1920) 36 pp. Presentado el 21 de M a r z o de 1919. Traduccin al ingls de la 1 en Van Heijenoort, pp. 254-63.
1922 'Einige Bemerkungen zur axiomatischen Begrndung der Mengenlehre', Confrences faites au cinquime congrs des mathmaticiens scandinaves tenu Helsingfors du 4 au 1 juillet 1922
(Helsingfors, 1923). Primera publicacin de la P a r a d o j a de
Skolem. Traduccin al ingls en van Heijenoort, pp. 291-301.
1923 'Begrndung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Vernderlichen
mit unendlichem Ausdehnungsbereich',
Videnskapsselskapets
302
REFERENCIAS
1928
1930
1933
1934
SMULLYAN, RAYMOND M .
1968
First-Order Logic
York, 1968).
STOLL, ROBERT R.
1963
1952
1957
1960
TARSKI, A F R E D ( n a c . 1902)
REFERENCIAS
1953
Undecidable
1956
1936
'On computable numbers, with an application to the Entscheidungsproblem', Proceedings of the London Mathematical
Society, series 2, vol. 42 (1936-7) 230-65 (correcciones en el vol. 43
(1937) 544-6). Recibido para su publicacin el 28 de Mayo de
1936. Ledo el 12 de Noviembre de 1936. Reimpreso en Davis
(1965, pp. 116-51) (correcciones en las pp. 152-4).
1967
WHITEHEAD,
ALFRED
NORTH
(1861-1947)
RUSSELL,
Logic,
BERTRAND
(1872-1970)
1910-13 Principia Mathematica, 3 vols (Cambridge University Press,
1910-13; segunda ed., con nueva introduccin y apndices,
1925-7).
ZYLISKI, EUSTACHY
1924
304
'Some remarks concerning the theory of deduction', Fundamenta Mathematicae, vol. 7 (1925) 203-9. Con fecha de M a y o de
1924.
UTILIZADOS
A prop , 225
Argumentos de una funcin, 65-66
Aritmtica, 233-234 y n. 244
sistema formal de la, 252
no-clsica, 233-234
de Robinson, 233-234
Aritmtica, diferencia -, 262
Aritmtica, funcin de diferencia-,
262
Ascendente, Teorema - de Lwenheim
- Skolem, 229
Asociacin a P, 101
Atmicas, fbfs - de Q, 162
Av/t (notacin), 163
Axioma multiplicativo, es decir, el
Axioma de Eleccin, q.v.,
Axioma de Eleccin, 18 y n. 59, 48,
287-288
Axioma del Conjunto Potencia, 3233, 37, 40, 58
Axiomas
de AB, 150
de C, 257
de H, 266
de Q (aritmtica de Robinson),
231-232 y n. 244
de R (aritmtica de Robinson),
231-232 y n. 244
de SP, 90-91
de SQ, 192-193
de SQM, 237
de S Q = , 224
de Z , 22
305
306
demostraciones
algebraicas
de-,
115 y n. 158
omega-, 286
semntica, 112-116
sintctica, 138-140
teorema de completud fuerte para
SP, 126, demostracin, 134
teorema de completud fuerte para
SQ, demostracin, 223
Computables, funciones-, 250
Computacin, 29
Conjuncin, 67, 69 y n. 158
Conectivas
binarias ( = didicas), 69
conjuntos adecuados de-, 80-90
de P, 72-73
de Q, 161
didicas ( = binarias), 69
mondicas, 68
proposicionales veritativo - funcionales, definicin, 67-68
tridicas, 69
Conjuntos
Axioma de Eleccin, 33 y n. 59,
48, 287-288
Axioma del Conjunto Potencia,
32-33, 37, 40, 58
cardinalidad, 31-34
complemento, 249
complemento relativo, 249
correspondencia uno a uno (1 1)
entre-, 31
criterio de identidad para-, 12
decidibles, 30
el conjunto vaco, 12, 32, 77, 174
enumerables, 32
enumeracin de, 41
enumeracin efectiva de los-, 42
finitos, 32, definicin de Peirce, 33
infinitos, 32-33, definicin de Dedekind, 33
los conjuntos finitos son decidibles, 31
no-numerables, 32
ra de la demostracin, vase
Sintctica, consecuencia desde
el punto de vista de la teora
de modelos, vase Semntica,
consecuencia-,
inmediata, 21
lgica, vase
Semntica, consecuencia-,
semntica, 20
sintctica, 22, 94
Consistencia, 24, 97
absoluta, 97
de AB, demostracin, 153-154
de H , 267
de la teora de conjuntos, 58, 236,
267 '
de SP, simple y absoluta, demostracin, 98-103
de SQ, demostracin, 194-195
de S Q M , demostracin, 238
de SQ = , demostracin, 225-226,
228-229
307
omega-, 286
simple, 97
Consistente, conjunto - de SQ, 194
Constantes
individuales, 161
Continuo, 47
nmero cardinal del-, 47
lineal, 47
real, 47
Continuo, Hiptesis del-, 58
Generalizada, 58, 288 y n. 292
Convenciones
sobre comillas, 74
sobre la eliminacin de parntesis,
74
Correspondencia uno a uno (1 1), 31
Cresswell, M. J., 13, 298
Crisipo, 33
Crossley, J. N., 13
Cuantificacin, 161
Cuantificador
existencial, 164
particular, 164
universal, 161
D (A), 149
Davis, M., 261 y n. 292, 289, 294,
296, 300, 301, 304
d-consistente (es decir, consistente
desde el punto de vista de la teora de la demostracin), frmula/conjunto de frmulas-de S P , definicin, 94-95
Dbil, induccin matemtica-, 105
Decidibilidad, 24, 30-31
de AB, demostracin, 155
de conjuntos finitos, 31
de la geometra elemental, sin la
nocin general de nmero natural, 290
del lgebra elemental de los nmeros reales, con adicin y multiplicacin, pero sin la nocin general de nmero natural, 290
308
fbfs de longitud finita que pueden obtenerse a partir de un alfabeto enumerable es numerable, 45
de que el conjunto de todos los
subconjuntos del conjunto de
los nmeros naturales es no-numerable, 37-39
de que el conjunto potencia de un
conjunto siempre tiene un nmero cardinal mayor que el
conjunto mismo (Teorema de
Cantor), 40-41
en AB, definicin, 150
en S P , definicin, 92
en SQ, 193
Demostracin, teora de la, 19, 22
Derivacin
en SP, 94
en SQ, 193
en un sistema, 22
Derrick, J., 13
Desde el punto de vista de la teora
de la demostracin, conjunto consistentede SP-, definicin, 94, 128, 131,
132, 133, 134, 135
de SQ, 194
Desde el punto de vista de la teora
de la demostracin, conjunto inconsistente- de S P , definicin, 94-95
de SQ, 194
Desde el punto de vista de la teora
de la demostracin, consecuencia-,
vase Sintctica, consecuencia-,
Desde el punto de vista de la teora
de modelos, formula/conjunto de
frmulas de P consistente/inconsistente-, 77
Desde el punto de vista de la teora
de modelos, consecuencia-, vase
Semntica, consecuencia-,
Designados, valores-, 143
Didica, conectiva-, 68-69
E , regla-, 220
Edwards, P., 294
Efectiva, enumeracin-, 42
Efectivo, mtodo-, 28-30, 247 ss.
Efectivo, procedimiento - de demostracin
definicin, 142
para AB, 150-153, 156
Ejercicios, 19-20, 20-21, 22-23, 24, 2628, 29-30, 31, 32, 33-36, 42, 58, 7072, 175-176, 191-192
Eleccin, Axioma de-, 33 n. 60, 48,
287-288
Eleccin, Regla de-, 220
Elemental, lgebra - de los nmeros
reales, resultados metatericos, 290
Elemental, geometra, resultados metatericos, 290
Elemental, teora - de nmeros, resultados metatericos, 291
Elementales, teoras-, 290, n. 292
En, est en, utilizado para significar
es un elemento de, 105, 133
Enumerable, conjunto-, 32
Enumerable, secuencia-, 41
Enumeracin, 41
efectiva, 42
Enumeracin, teoremas de para P, 203
para teoras de primer orden, 130
Epsilon, notacin - para pertenencia
a conjuntos, 12
Especficos, axiomas - de una teora
de primer orden, 199
Esquema, 139
Estoicos, 33, 114 y n. 158, 115
Euclides, 28, 288
Existencial, cuantificador-, 164
Exponenciacin, funcin, 262
Extensin de un sistema, 203
finita, 258
310
26
Formales, sistemas-, 21-23
cerrados, definicin, 207
de la aritmtica, 252-253, 265-267
(H)
notables de la aritmtica, 252
Formales, teoremas-, 22, 26
Frmula
proposicional
asociada
(F.p.a), 225
Frmulas (fbfs), 18
abiertas, 163
cierre de una fbf, 164
conjunto simultneamente satisfacible de-, 172-173
de A B , 149
de M , 237
de P, 73
de Q, 162
de W , 19
de X, 19
de Y, 19
de Z , 22
fbfs atmicas de Q, 162
fbfs cerradas, 163
indecidibles, 141
satisfacibles, 172
vlidas para todo dominio finito
no vaco pero no lgicamente
vlidas, 191
Frmulas bien formadas (fbfs), vase
Frmulas
F.p.a. (frmula proposicional asociada), 225
Fraenkel, A. A., 12, 56, 57 n. 60, 287,
288, 291, 295
de diferencia
aritmtica,
262
funcin exponenciacin, 262
funcin producto, 262
funcin sucesor, 262
funcin suma, 262
iniciales, 262
lambda-definibles, 259-260
no-computables. 251
rango de, 64
recursivas, 259, 261-263, definicin,
263
recursivas generales, 259
recursivas parciales, 261
recursivas primitivas, 259, 261
representacin de - en un sistema
formal, 263-264
representacin fuerte de - en un
sistema formal, 264
totales, de nmeros naturales a
nmeros naturales, 251
Turing-computables, 263
valores de las-, 66
311
312
Lambda-definibles,
260
funciones-,
259-
313
Mencin, 25-27
Metalenguaje, 25
Metateorema, 13, 26
Metateora, 24
de la lgica, 24
Metatericos, resumen de resultados-,
289-291
Meyer, R. K., 286, 299
m-inconsistente (es decir, inconsistente
desde el punto de vista de la teora de modelos), frmula/conjunto
de frmulas de P-, 77
Modelo, 20
de una frmula/conjunto de frmulas de P, 76
de una frmula/conjunto de frmulas de Q, 173
de un sistema formal, 173
enumerable, 209
finito, 209
finito dbil, 144
finito fuerte, 144
isomorfismo de modelos, 230
no-clsico, 231 ss.
no-numerable, 209
normal, 226
numerable, 209
Modelos, teora de-, 19, 20
Modus Ponens ( M P )
para
en SP, 91
para ^ o V , problema filosfico
acerca del, 148-149
Mondica, conectiva-, 68
Mostowski, A., 287, 289, 290 n. 292,
300, 304
M P , vase Modus Ponens
Muestra, 18, 19
Multiplicativo, Axioma, es decir, el
Axioma de Eleccin, q.v.
i-operacin (mu-operacin), 262
O..., o..., 70
Objeto, lenguaje-, 25
314
12
Omega-completud, 286
Omega-consistencia, 286
Omega-incompletud, 286
Omega-inconsistencia, 286
Oraciones (fbfs cerradas), 163
Orden superior, predicados y lenguajes de-, 165
P (un lenguaje formal para la lgica
proposicional), 72-73
asociacin a-, 101
m-consistente (es decir, consistente
desde el punto de vista de la
teora de modelos), frmula/conjunto de frmulas de-, 77
m-inconsistente (es decir, inconsistente desde el punto de vista de
la teora de modelos), frmula/conjunto de frmulas de-, 77
semntica, consecuencia - para-, definicin, 77
semntica para-, 75-79
tautologa de-, 78
Parciales, clculos proposicionales (Harrop), 141
Parciales, funciones recursivas-, 261
Parntesis, convencin acerca de la
eliminacin de-, 74
Particular, cuantificador-, 164
Peano, G., 261, 287, 300
Peirce, C. S., 33, 86, 300
Peirce, definicin de - de un conjunto
finito, 33
Pter, R., 261 n. 292, 300
Post, E. L., 85, 86, 103, 115, 116, 249,
260, 289, 300
Potts, T . C., 13
Potencia, conjunto-, 37
Potencia, Axioma del Conjunto-, 3233, 37, 40, 58
Predicados, clculo de - puro, 280
Predicados de orden superior, 165
Predicados de segundo orden, 165
Predicados de tercer orden, 165
222
con identidad, 226
conjunto consistente de una teora
de primer orden, 199
consecuencia sintctica en una teora de primer orden, 199
demostracin en una teora de primer orden, 199
derivacin en una teora de primer
orden, 199
Lema de Lindenbaum para -, demostracin, 203-204
modelo de una teora de primer
orden, 199
resultados metatericos para-, 289290
teorema de compacidad para -, demostracin, 217-218
teorema de deduccin para -, demostracin, 200
e
teorema de una teora de primer
orden, 199
teorema de enumeracin para-,
202
Primitiva, disyuncin-, 149
Primitivas, funciones recursivas-, 259,
261
Principia
Mathematica
(Whitehead y
Russell), 86, 103, 115, 286, 287, 304
Producto, funcin-, 262
Propio, subconjunto-, 31
Proposicionales, smbolosde P, 72-73
de Q, 161
315
Proposicin, 21, 63
Puro, clculo de predicados-, 280
Satisfaccin
de una frmula por una secuencia
enumerable de objetos, 167 ss,
172
y verdad, 173
Satisfacibles, frmulas-, 172
Schoenfield, J. R.,
Schnfinkel, M , 284
Schtte, K., 115, 148, 284, 302
Schwarz, K . H. A , 33
Secuencias, 41, 167
enumerables, 41
trminos de las-, 41
Syupecki, J , 299
Smith, R. N. W., 13
Smullyan, R. M., 13, 303
S P (un sistema formal para la lgica
proposicional), 90-95
axiomas de-, 90
formal, 21-23
formal cerrado, 207
H , 265-267
Q (aritmtica de Robinson), 231 y
n. 244
R (aritmtica de Robinson), 232
(cf. 231, n. 244)
SP, 90-91
SQ, 192-193
SQM, 237-238
S Q = , 224
Z , 22
s(k/d), 179
Skolem, T., 216, 217, 233, 236, 261,
284, 290, 302-303
Skolem, forma normal de-, 284
Skolem, paradoja de-, 236-237, 302303
317
318
Turing-computables, funciones-,
263
Turing, mquinas de-, 260
260,
Unin (U), 43
Universal, cuantificador-, 161
U n o a uno, correspondencia-, 31
Uso y mencin, 25 ss.
definicin, 68
diferencias con las conectivas del
discurso ordinario, 13, 70-72
Veritativos, valores-, 66
von'Neumann, J., 291
BC135/H8518
320
50384