Академический Документы
Профессиональный Документы
Культура Документы
LOGICA
DE
PRIMER
ORDEN
A R IE L
Jess M ostern
COLECCION CONVIVUM - 11
COLECCION CONYIVIUM
1.
2.
Metafsica
por Emerich Coreth
3.
Literatura latina
por Jean Bayet
4.
5.
ABC de la grafologa
por J. Crpieux-Jamin
7.
8. La investigacin cientfica
por Mario Bunge
9.
Historia de la filosofa
por Frederick Copleston
y al anlisis formal
por Manuel Sacristn
11.
12.
14.
16.
JESS MOSTERlN
LGICA
DE PRIMER ORDEN
EDITORIAL ARIEL
BARCELONA - CARACAS - MXICO
1.
2.
* edicin: 1970
a edicin: septiembre de 1976
PRLOGO
PROLOGO
PROLOGO
NDICE
Prlogo a la primera edicin
..............................................
Prlogo a la segunda e d i c i n .....................................................................
5
8
INTRODUCCIN
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
N o m b re s...................................................................................................
Functores....................................................................................................
S e n t e n c i a s ......................................... ..................................................
P r e d i c a d o s ............................................................................................
C o n e c t o r e s ............................................................................................
V ariables...................................................................................................
Trminos y frmulas .............................................................................
C u a n tific a d o re s ....................................................................................
Descripciones...........................................................................................
P a r n t e s i s ...........................................................................................
F o r m a l i z a c i n ....................................................................................
F o rm alism o s............................................................................................
Lenguaje y metaleriguaje.....................................................................
13
14
15
16
17
19
19
21
22
24
25
27
27
P a r t e pr im er a
31
32
34
35
37
39
41
43
P a r t e segunda
P a r t e te r c er a
SEMNTICA
111.1.
111.2.
111.3.
111.4.
111.5.
111.6.
111.7.
111.8.
111.9.
Interpretaciones .
Denotacin y satisfaccin.............................................................................. 109
Interpretacin y su stitu ci n ...................................................................... 111
Satisfacibilidad, validez y c o n s e c u e n c ia ................................................115
I n d e p e n d e n c i a ..............................................................................................117
Ejercicios de prueba de in d e p e n d e n cia ................................................119
Correccin sem ntica......................................................................................127
Consistencia y s a tis fa c ib ilid a d ............................................................... 129
Completud s e m n t i c a .............................................................................. 136
Bibliografa .
139
107
IN T R O D U C C I N
1. Nombres
L a cadena sonora que sale de nuestras bocas al hablar puede ser seg
mentada de diversas maneras. De la mayora de los segmentos no tendra
sentido preguntar por el objeto o individuo al que se refieren o designan.
No designan objeto alguno. A los segmentos de la cadena sonora que se
refieren a algn objeto o individuo les llamamos designadores.
Si en vez de analizar la cadena sonora analizamos textos escritos, nos
encontraremos en una situacin parecida. Podremos segmentar los textos
(o sucesiones finitas de signos grficos del alfabeto de que se trate, ampliado
para abarcar los signos de puntuacin y el espacio de separacin) de
muchas maneras. Algunos segmentos de texto designarn quizs algo o a
alguien, y les llamaremos designadores. La mayora no designan nada, no
se refieren a nada.
Hay muchos tipos de designadores. Uno de los ms sencillos est cons
tituido por los nombres.
Todos conocemos ejemplos de nombres. Por ejemplo, 1, 2 , 3 , 4 ,
5, 6 ... son nombres de nmeros. Pars, Roma, Barcelona, Reus,
Sao Paulo, Yokohama... son nombres de ciudades. Pablo Picasso, An
dr Gide, Jos Mara de Porcioles, etc., son nombres de personas.
Marte, Tierra, Venus ... son nombres de planetas. R E N F E ,
UNESCO, ONU, NATO ... son nombres de empresas u organiza
ciones.
Los nombres son limitando ahora nuestra atencin al lenguaje escri
to sucesiones de signos grficos que designan algo un nmero, una
ciudad, una persona, un planeta, una empresa... . En esto se comportan
como el resto de los designadores, de los que se diferencian por ser gene
ralmente ms cortos, ms sencillos, ms unvocos, ms independientes del
contexto.
Si digo: yo he comido machacamoya, yo acta como designador,
es un designador que se refiere a m. Pero su referencia variar con el
contexto, con la persona que pronuncie esa sentencia. Podra decir lo
mismo, diciendo Jess Mostern ha comido machacamoya, utilizando el
14
INTRODUCCION
SENTENCIAS
15
L GIC A
DE
PRIMER
ORDEN
16
INTRODUCCION
CONECTORES
17
18
INTRODUCCION
19
siempre as con las expresiones del lenguaje ordinario. Pero nosotros slo
usaremos los nuevos signos aqu introducidos cuando esto ocrra.
i A ser verdadero, si A es falso. En los dems casos, falso.
A a B ser verdadero, si tanto A como B son verdaderos. En
los dems casos, falso.
A v B ser falso, si tanto A como B son falsos. En los dems
casos, verdadero.
A B ser falso, si A es verdadero y B falso. En los dems
casos, verdadero.
A * > B ser verdadero, tanto si A y B son los dos verdaderos,
como si A y B son los dos falsos. En los dems casos,
falso.
6. Variables
Los matemticos utilizan con frecuencia variables, sobre todo cuando
quieren decir algo bastante general, como que la ecuacin
x + y = y + x
siempre resulta satisfecha, cualesquiera que sean los nmeros reales que
pongamos en vez de las variables.
En el lenguaje ordinario, los pronombres juegan con frecuencia el papel
de variables. l ha sido el asesino. l? Quin? Es como decir: x ha
sido el asesino. Lo he visto con mis propios ojos. Lo? Qu? Es como
decir: He visto x con mis propios ojos.
En realidad, a la hora de analizar textos del lenguaje ordinario y simbo
lizarlos adecuadamente, nos daremos cuenta de que las variables constituyen
un valioso recurso de simbolizacin. Como variables utilizaremos las ltimas
letras minsculas del alfabeto latino: u, v, w, x, y, z. Si es necesario usare
mos subndices de diferenciacin: x0, xu x2, X?.. ... 7
7. Trminos y frmulas
Si en una sentencia sustituimos un designador por una variable (o va
rios desgnadores por otras tantas variables), el resultado es lo que llamamos
una frmula abierta.
As, sustituyendo el designador Juan por la variable x en la senten
cia Juan ama a su prima, obtenemos la frmula abierta x ama a su
prima. Del mismo modo, sustituyendo el designador la madre de Luis
por y en la sentencia la madre de Luis se pasa el da cosiendo, obte
nemos la frmula abierta y se pasa el da cosiendo. Sustituyendo el
20
INTRODUCCIN
frmula
CUANTIFICADORES
21
8. Cuantificadores
A veces nos encontramos con expresiones lingsticas que nos sirven
para decir algo de todos los objetos de una clase determinada. Por ejemplo,
la expresin todos los en todos los chinos aman a Mao, o la expresin
cada en cada uno tiene sus gustos, o la expresin el en el hombre
es un mamfero. Otras expresiones nos sirven para decir algo de algunos
objetos de una clase determinada, para afirmar que en esa clase hay al
menos un objeto que cumple lo que se dice. Por ejemplo, la expresin
unos en unos tipos sospechosos me seguan, o la expresin algunos
en algunos chinos aman a Liu Chao-chi, o la expresin hay en hay
personas que pesan ms de 120 kg. A todas estas expresiones las llama
remos cuantificadores. A las primeras (todo, cada, el ...), cuantifica
dores universales, alas segundas (algn, unos, hay, ...), cuantificado
res particulares.
Al cuantificador universal lo representaremos por A , al particular
por V . Despus del cuantificador escribiremos siempre una variable, a
la que llamaremos variable cuantificada:
Ax, Ay, Vz, \/w ...
A partir de frmulas abiertas podemos construir frmulas cuantificadas,
anteponiendo cuantificadores, seguidos cada uno de una variable. Si digo
todos mis amigos son gentes de fiar quiero decir que, de cualquier x,
se puede afirmar la frmula abierta:
si x es amigo mo, entonces x es de fiar
es decir,
x es amigo rno > x es de fiar.
Para simbolizar enteramente la sentencia todos mis amigos son gente
de fiar, he de aadir el cuantificador universal:
Ax (x es amigo mo x es de fiar).
O, simbolizando los relatores ... es amigo mo y ... es de fiar por P
v Q, respectivamente:
A x (Px - Qx).
Obsrvese que, desde el punto de vista grfico, el cuantificador univer
sal, A, es como un conyuntor ms grande, mientras que el cuantificador
particular, V, parece un disyuntor de gran tamao. Tambin a nivel intui
tivo existe una semejanza funcional entre estos dos pares ds signos. En
efecto, si tomamos una clase finita como mbito de referencia, entonces
la cuantificacin universal equivale a una conyuncin repetida, mientras
que la cuantificacin particular es como una disyuncin iterada.
09
INTRODUCCIN
As, por ejemplo, si en un club slo hay tres socios: Juan, Pedro y Enri
que, decir todos los socios spn honrados equivale a decir Juan es honrado
y Pedro es honrado y Enrique es honrado; y decir algn socio es un
ladrn equivale a decir Juan es un ladrn o Pedro es un ladrn o Enrique
es un ladrn. Simbolizando Juan por a, Pedro por b y Enrique
por c, el relator " ... es honrado por H y ...e s un ladrn por L, y convi
niendo que nuestras variables se refieren a socios del club, tenemos que
Ax Hx equivale a Ha
H '>a He
Vx Lx equivale a La v Lb v Le
Claro est que esto slo ocurre, como ya hemos indicado, en el caso de
que hablemos de una clase finita, como la de los miembros de un club. En
el caso de clases infinitas, como la de los nmeros naturales, la cuantificacin es insustituible. Si queremos decir que todos los nmeros naturales
poseen una determinada propiedad P, podemos escribir:
A xPx
Pero si quisiramos escribirlo como conyuncin repetida
P1
P2
P3
P4
P5
P6
P7
...
9. Descripciones
A veces nos referimos a un individuo indicando una caracterstica que
slo l posee, caracterizndolo, describindolo unvocamente. La expresin
lingstica que empleamos para ello es un designador, pues designa un
individuo. Pero es un designador un tanto peculiar.
Consideremos la frmula abierta
x mat a Robert Kennedy
Supongamos que Robert Kennedy fue asesinado por una sola persona.
En ese caso, la frmula abierta que acabamos de escribir caracteriza o des
cribe unvocamente a un individuo: al asesino de Robert Kennedy, al que
mat a Robert Kennedy, al x tal que x mat a Robert Kennedy.
Para simbolizar las caracterizaciones o descripciones unvocas de un
individuo, introducimos el signo i (la iota griega), al que llamaremos el
descriptor. El descriptor, como los cuantificadores, siempre va seguido de
una variable.
El designador el que mat a Robert Kennedy ser simbolizado as:
tx x mat a Robert Kennedy
23
DESCRIPCIONES
~ i V i/ (Hy
Myx))
y m
<*) )
24
INTRODUCCIN
10. Parntesis
Las mismas palabras, colocadas en el mismo orden, pueden dar lugar a
sentencias distintas, segn las pausas que hagamos al pronunciarlas o los
signos de puntuacin que empleemos al escribirlas. Si, refirindonos a nues
tro amigo John, decimos: John habla en francs, o John habla en ingls y
Pedro no le entiende, damos a entender que Pedro no entiende el ingls,
pero posiblemente s el francs. Al decir: John habla en francs o John
habla en ingls, y Pedro no le entiende, queremos ms bien indicar que
Pedro no entiende ni el francs ni el ingls, que son los idiomas que habla
nuestro amigo, por lo que en cualquier caso no le entiende.
Tratemos de formalizar estas dos sentencias, usando H para ... habla
francs, N para " ... habla ingls, E para ... entiende a . . . , a para
nuestro amigo John y b para Pedro.
Las dos sentencias arriba citadas podran formalizarse de momento as:
Ha v Na
~ i Eba
Ahora bien, una de esas sentencias podra ser falsa y la otra verdadera.
No pueden ser formalizadas de la misma manera. Al pronunciarlas, marc
bamos la diferencia mediante las pausas; al escribirlas, mediante las comas;
al formalizarlas, marcaremos la diferencia mediante la distinta colocacin
de los parntesis.
Ha v (Na
(Ha v Na)
i Eba)
~ i Eba
que
(8 -|~ 7) 5
FOBMALIZ ACION
25
MOx).
11. Formalizacin
Formalizar las expresiones del lenguaje ordinario significa simbolizarlas
de acuerdo con las normas hasta ahora expuestas. Para formalizar unas
expresiones hay que empezar por analizarlas, es decir, por ver si son
sentencias, designadores, etc., y cules son sus componentes. A continua
cin hay que indagar cules son los nombres, functores y relatores distintos
que en ellas aparecen, asignando una letra distinta correspondiente a cada
uno de ellos. Finalmente, y por medio de ios siglos lgicos (conectores,
cuantificadores y descriptor), las variables y los parntesis, hay que tradu
cir simblicamente la estructura de las expresiones de que partimos.
26
INTRODUCCIN
.5
Bx)
Bx)
Bx)
27
i Mi)
Gx)
y
algunos europeos no son griegos como
\/x(Ex
- i Gx).
12. Formalismos
Podemos llegar a determinadas frmulas o trminos simblicos como
resultado de un proceso de formalizacin de textos del lenguaje ordinario,
movidos, por ejemplo, por el deseo de aclarar o controlar una determinada
argumentacin.
Pero tambin podemos interesarnos por las posibilidades que hay de
construir trminos y frmulas a partir de determinados signos, con inde
pendencia del lenguaje ordinario. Podemos definir propiedades de frmulas
y relaciones entre frmulas. Podemos, en una palabra, interesarnos por los
formalismos.
Un formalismo no es sino eso: un conjunto de signos y de determinadas
combinaciones de esos signos. Aqu vamos a considerar un tipo peculiar de
formalismos: los de primer orden.
Todos los formalismos de primer orden tienen ciertos signos comunes:
los conectores, los cuantificadores, el descriptor, el relator didico de igual
dad, = , y las variables. Pero unos formalismos se diferencian de otros en
los distintos nombres, functores y relatores que poseen.
Un formalismo es, en principio, un mero juego de signos y de combina
ciones de signos, desprovisto de toda significacin. Sin embargo, podemos
interpretar un formalismo, cuando as nos interesa, atribuyendo significados
a sus signos. Un formalismo as interpretado se convierte en un lenguaje
formal. Claro que un mismo formalismo es susceptible de ser interpretado
de muy diversas maneras, dando lugar a diferentes lenguajes formales.
En la sintaxis estudiaremos los formalismos con independencia de toda
interpretacin. El estudio de las interpretaciones ser objeto de la se
mntica.
13. Lenguaje y m etalenguaje
Cuando un grupo de espaoles vamos a clase de latn, el profesor nos
habla en espaol acerca del latn. Utiliza la lengua espaola para hablar
nos de la lengua latina. En ese sentido decimos que el espaol est siendo
28
INTRODUCCIN
PARTE PRIMERA
SINTAXIS:
GRAMATICA DE LOS FORMALISMOS
tercera
cuarta
(
(
*
*
La forma concreta que tengan las variables nos resulta indiferente, pues
nosotros no las usaremos, sino nicamente las mencionaremos. Para refe
rirnos indistintamente a variables, introducimos como metavariables las
3. -LO G IC A
DE
PRIMER
ORDEN
32
ltimas letras minsculas del abecedario latino (provistas, cuando sea nece
sario, de subndices de diferenciacin): u, v, w, x, y, z,
un, u u ti2, th
2, V3 ,
Los signos lgicos son 8: 5 conectares, 2 cuantificadores y 1 descriptor.
Constituyen, pues, un conjunto finito, disjunto con el de las variables. Es
decir, no hay signos comunes, cada signo lgico es distinto de los dems
y de cada una de las variables.
Como estos signos son pocos, podemos darles nombres. A cada uno
de los 5 conectares le llamaremos respectivamente: negador, conyuntor,
disyuntor, condicionador y bicondicionador. A los cuantificadores les lla
maremos universal o generalizador y existencial o particularizador, respec
tivamente. Al descriptor le seguiremos llamando as.
Los signos lgicos pueden tener cualquier forma grfica compatible con
las anteriores exigencias. Por ejemplo, el negador podra tener la forma
de una pirmide roja o de una locomotora o de una golondrina.
La forma concreta que tengan los signos lgicos nos resulta indiferente,
pues nosotros no los usaremos, sino nicamente los mencionaremos. As nos
ahorramos el tener que estar escribiendo constantemente los signos entre
comillas. Para referimos distintamente a los signos lgicos, introducimos
como metanombres los siguientes signos:
1 como
como
A
como
V
> como
como
nombre
nombre
nombre
nombre
nombre
para
para
para
para
para
el
el
el
el
el
negador
conyuntor
disyuntor
condicionador
bicondicionador
A
V
, conectores
j\ piiQriHpllnrpQ
LLtuiilJilLuvtUl vo
33
Los signos peculiares son las constantes individuales, los funetores y los
relatores. El nmero de ellos es variable, segn los formalismos. Puede
haber desde ninguno hasta una cantidad infinita numerable.
fin formalismo determinado puede no tener ninguna constante indivi
dual, o tener una, o dos, o tres, ..., etc., hasta un nmero infinito numerable
de ellas.
Para cada nmero natural n (n > 1), un formalismo determinado puede
no tener ningn functor n-dieo, o tener un funetor n-dico, o tener dos,
0 tres, ..., etc., hasta un nmero infinito numerable de ellos.
Igualmente, para cada nmero natural n (n > 1), un formalismo deter
minado puede no tener ningn relator n-dico, o tener uno, dos, tres, etc.,
relatores n-dicos y hasta llegar a tener un nmero infinito numerable de
ellos. (De todos modos, para n = 2, es seguro que cada formalismo tiene
al menos un relator didico: el igualador).
Si un formalismo determinado tiene constantes individuales, stas han
de poseer un ndice o estar numeradas. Ha de poder hablarse de la pri
mera constante individual, de la segunda, etc. Y lo mismo puede decirse de
los funetores o relatores n-dicos, caso de que los haya. Tambin entonces
ha de poder hablarse del primero, segundo, tercero, etc., funetor o relator
n-dico. Pero mientras que las constantes individuales de un formalismo
vienen caracterizadas slo por un nmero: su ndice, los funetores y rela
tores vienen caracterizados por dos: su nmero dico y su ndice.
Todos estos conjuntos de signos peculiares (de constantes individuales,
de funetores n-dicos, y de relatores n-dicos para cada nmero n) han de
ser disjuntos entre s y con el conjunto de los signos lgicos y las variables.
Es decir, todos los signos han de ser distintos entre s.
Los signos peculiares de un formalismo pueden tener cualquier forma
grfica compatible con las anteriores exigencias. Sin embargo, tampoco aqu
necesitamos preocuparnos por ella.
La forma concreta que tengan los signos peculiares nos resulta indife
rente, pues no vamos a usarlos, sino nicamente a mencionarlos. Para re1 crirnos indistintamente a constantes individuales de un formalismo, intro
ducimos como metavariables las primeras letras minsculas del alfabeto
latino (provistas, cuando sea necesario, de subndices de diferenciacin):
a, b, c, ..., a0, au a-2, ..., b 0, b u b 2, ..., c, c u c2, ...
Para referirnos indistintamente a funetores n-dicos de un formalismo,
introducimos como metavariables las letras f y h cubiertas de un sobre
ndice n (y provistas, cuando sea necesario, de un subndice de diferen
ciacin): /", h n, f"
f y ..., /i, hnv /i;;, ...
Para referirnos indistintamente a relatores n-dicos de un formalismo, in
troducimos como metavariables las letras maysculas P, Q, R, S,
cubiertas
de un sobrendice n (y provistas, cuando sea necesario, de un subndice de di
ferenciacin): Pn,Q n , S, ..., P, P", P ..., Qj. (), (), ... (Recurdese
34
= u z
n ~
si y slo si
e Z^,
3.6. Decimos que las filas de signos 1 y 2 son idnticas cuando son la
misma fila de signos, es decir, cuando 1 y 2 tienen igual longitud y en
cada lugar correspondiente aparece el mismo signo. Introducimos en el
metalenguaje el signo = para indicar la identidad de filas de signos.
Mediante 1 = 2 indicaremos que las filas de signos 1 y 2 son idnticas.
35
TRMINOS Y FRMULAS
1.4.
Trminos y frmulas
3.
4.
5.
6.
7.
36
4.3.
Segn se desprende de la definicin 4.1, todo trmino comienza por
una variable, una constante individual, un functor o un descriptor.
Un trmino se llama variable, constante individual, trmino functorial
o descripcin, segn que su primer signo sea una variable, una constante
individual, un functor o un descriptor, respectivamente.
Las variables y las constantes individuales son trminos simples (constan
de un solo signo). Los trminos functoriales y las descripciones son trminos
compuestos (constan de varios signos).
Respecto a cada trmino, es decidible si se trata de una variable, una
constante individual, un trmino functorial o una descripcin. Basta con
ver si el primer signo del trmino es ua variable, una constante individual,
un functor o un descriptor.
4.4. Segn se desprende de la definicin 4.1, toda frmula comienza
por un relator o por un signo lgico distinto del descriptor. Una frmula se
llama predicativa, negacin, conyuncin, disyuncin, condicional, bicondicional, generalizacin o particularizacin, segn que su primer signo sea
un relator, el negador, el conyuntor, el disyuntor, el condicionador, el bieondicionador, el generalizador o el particularizado!', respectivamente.
Respecto a cada frmula fes decidible si se trata de una frmula predi
cativa, negacin, conyuncin, disyuncin, condicional, bicondicional, genera
lizacin o particularizacin. Basta con ver si el primer signo de la frmula
es un relator, un negador, un conyuntor, un disyuntor, un condicionador, un
bicondicionador, un generalizador o un particularizador.
El igualador es un relator didico. Por tanto, una frmula que empiece
por el igualador ser una frmula predicativa. Una frmula predicativa
cuvo primer signo es el igualador se llama una ecuacin.
4.5. Cuntos trminos hay en un formalismo? Siempre hav un nmero
infinito numerable de trminos.
En efecto, por lo menos hay un nmero infinito numerable, pues todas
las variables son trminos y hay un nmero infinito numerable de variables.
A lo sumo hay un nmero infinito numerable de trminos, pues todos los
trminos son filas de signos y slo hay un nmero infinito numerable de
filas de signos, ya que stas son variaciones con repeticin de elementos del
alfabeto, ste es infinito numerable y slo hay un nmero infinito numera
ble de variaciones con repeticin de elementos de un conjunto infinito
numerable. Por tanto, hay un nmero infinito numerable de trminos.
Cuntas frmulas hay en un formalismo? Siempre hay un nmero infi
nito numerable de frmulas.
Esto se puede probar con consideraciones parecidas a las del caso
anterior.
INDUCCIN SEMITICA
37
/ (1)
(2)
(3)
(4)
(5)
si
entonces
38
5.4.
Demostracin del teorema de la induccin semitica. En esta de
mostracin damos por sentada la validez del principio de induccin arit
mtica, que aqu utilizaremos en la siguiente versin:
Si algo vale para cualquier nmero natural m suponiendo que valga
para todos los nmeros menores que m, entonces eso vale para todos los
nmeros naturales.
A continuacin procedemos a demostrar 5.3 por induccin aritmtica
sobre la longitud de las expresiones.
Toda expresin, como fila de signos que es, tiene una longitud deter
minada. Probaremos que para cualquier nmero natural m el teorema vale
para toda expresin de longitud m, suponiendo que ya valga para las de
longitud menor. Con ello quedar probado que el teorema vale para todas
las expresiones.
9 \ y AL sean propiedades que renen las condiciones (1), (2), ..., (8)
requeridas por el teorema.
8 sea una expresin cualquiera de longitud m.
El teorema est ya probado para todas las expresiones de longitud menor
que m (supuesto inductivo).
T esis: tiene la propiedad 9 \ (si $ es un trmino) o la propiedad AL
(si es una frmula).
La tesis puede ser demostrada examinando los casos posibles.
= x. Entonces, tiene 9 \ , por (1).
= a. Entonces, tiene 9 i , por (2).
$ = / f'i,..., f. Entonces, fi,
tienen 9 i (por el supuesto inductivo,
ya que long (t) < long (fntu ..., tn) para l < Z i 9 n). Luego tiene 9 i ,
por (3).
^=P ntu ... ,f. Entonces, tx, ...,f2 tienen 9 \ (por el supuesto inductivo,
ya que long (t) < long (Pntu . . . , tn) para l < t < n ) . Luego tiene 9->,
por (4).
S = i a. Entonces, a tiene 9 2 (por el supuesto inductivo, ya que long
(a) < long ( i a)). Luego tiene AL, por (5).
S = a a /3. Entonces, a tiene 9 2 y P tiene 9 2 (por el supuesto inductivo,
ya que long ( a ) < long ( a a /3) y long (/3) < long ( a a /3 )). Luego tiene 9-2,
por (6).
Del mismo modo se muestra que si -S = v a /3, s - > a p, o -S =
a /3,
entonces tiene 9%.
= Ax a. Entonces, a tiene AL (por el supuesto inductivo, ya que
kmg (a) < long (Axa)) y x tiene
(pues long (x) < (A x )). Luego tie
ne 9-2, por (7).
Del mismo modo se muestra que si &==Vxa, -8 tiene 9 2 tx a. Entonces, a tiene 9 - , (por el supuesto inductivo, ya que long
(a) < long (ix a)) y x tiene A L (pues long (x) < long ( t x a)). Luego & tie
ne 9 \ , por (8).
AL
39
para P"ti, ..., tn, suponiendo que *^'1 ya est definido para
4. Definir
ti,
tn.
5. Definir c 2 para
1 a,
6. Definir ^ 2 para a a /3, v a /3, -> a /3, <- a /3, suponiendo que
est definido para a y para /3:
7. Definir
para a.
^2
^2
ya
ya est definido
1.6.
6.1.
Los cuantificadores y el descriptor siempre van seguidos de una
variable. De esta variable se dice que queda ligada por ellos. As, si en una
expresin aparece la variable x detrs de un cuantificador o de un descrip
tor, decimos que x est ligada en esa expresin.
Los cuantificadores y el descriptor son, pues, signos ligadores. Tambin
en el lenguaje matemtico normal nos encontramos con frecuencia con
signos ligadores y variables ligadas. As, en la expresin
40
y 1m <}
el signo j... |...j es un ligador que liga la variable 3.
Si en una expresin aparece una variable que no est ligada, decimos
que est libre. Tambin puede ocurrir que est tanto libre como ligada en
ella. A eontinuacin pasamos a definir inductivamente la estancia libre o
ligada de una variable en un trmino o una frmula.
6.2. Definicin de la estancia libre de una variable en una expresin.
x est libre en 3 syss x = z
(en especial,
a nunca
f h , . . . , tn syss x est libre en algn t
(l<i<n)
syss x est libre en algn t
(1 < i < n)
syss x est libre en A o en t>)
= t\t-
syss x est libre en a
i a
syss x est libre en a o n 3
a a /3
syss
v ad
syss
> oe /3
syss
<- a /3
syss x est libre en a y i ^ z
Az a
syss
Vz a
syss
tZ a
Pntu
(en especial,
= tt->
ia
a a /3
a 3
v a 3
> <x/3
A3 a
Vz a
tz a
41
| trmino
l frmula
j trmino abierto
( designador
| frmula abierta
I sentencia
~ 1 Rfafa
42
s in t a x is :
g r a m t ic a
de
los
f o r m a l is m o s
Sin embargo, hay casos en que esto no ocurre as, a fin de que la
sustitucin no vare la estancia libre o ligada de las variables que ocupan
determiandos lugares. Supongamos, por ejemplo, que queremos sustituir
x por fy en Ay(Px v Qy). Si nos limitsemos a borrar x y escribir en su
lugar fy, obtendramos: Ay(Pfy v Qy). Pero entonces la primera variable
estara ahora ligada, mientras que antes estaba libre. Esto es algo que
queremos evitar. Para ello, antes de borrar x y escribir en su lugar fy,
cambiamos la variable cuantificada. En vez, de Ai(Px v Qy) escribimos
Az(Px v Qz). Entonces borramos x y escribimos en su lugar fy, obteniendo:
Az(Pfy v Qz). Ahora la primera variable sigue estando libre y la segunda
ligada, exactamente como en la frmula de que habamos partido. Es pre
cisamente a esta preocupacin a lo que se debe la relativa complejidad de
la definicin de la sustitucin en los casos de expresiones que empiezan por
ligadores.
S ' z - f - S l X~ Z
j z, si
"
# z
5 X a = a
..., tn = fn 5 fi, ..., 5(. t
i,
5*X
5'
y.
5(,
5( 3
5 ( y (3
5* y 5* 3
Av 5 -V
f 5"2 a
si
sj
j
/
I
si /
I
l
x
x
z
x
z
v
no est libre en Az y
est libre en Az a
no est libre en t
est libre en Az a
est libre en t
no est en Az a ni en t (y es la variable de mnimo ndice que satisface esta condicin).
43
CONVENCIONES NOTACIONALES
Vz a
si
Vz 5*X a
si
Vv 5* 5" a
si
tz a
si
iz 5*X a
si
tu 5* 5* a
si
5 'X Vz a =
5 'X tz a =
7.4.
x
x
z
x
z
v
no est libre en V z a
est libre en V z
no est libre en t
est libre en Vz a
est libre en t
no est en Vz a ni en t (y es la va
riable de mnimo ndice que satis
face esta condicin).
x
x
z
x
z
v
no est libre en tz a
est libre en iz a
no est libre en t
est libre en tz a
est libre en t
no est en tz. a ni en t (y es la va
riable de mnimo ndice que satis
face esta condicin).
Para cada expresin S1, cada variable x y cada trmino t hay siempre
una expresin S-, unvocamente determinada, tal que 5*. $ 1 = 2
(1) : Para cualquier x y cualquier -3: 5 3 = 3.
(2) : Si x no est libre en 3, entonces 5 * $ = $.
(3) : Si x est libre en 3, entonces t est en 5 ) , y cada variable que
est libre en t est libre en 5 'X .
(4) : Si z no est en , entonces 5^ 5^ 3 = 3.
(5) : Si x no est libre en t, entonces x no est libre en 5 * 3 .
(6) ;
Z est
a) z est libre en y z # x.
presen an. <j ^ x esj. ]jy,re en 3 y z est libre en t.
Todas estas observaciones pueden demostrarse fcilmente por induccin
semitica.
Respecto a cualesquiera x, t, 3i, $ 2, es decidile si
#1
o no.
44
s in t a x is :
g r a m t ic a
de
lo s
f o r m a l is m o s
(a
= en vez de = t 1 U
a a /3
a /3)
v /3)
(a -> /3)
v a 3
a /3
o-a/3
(a
(a > / 3 )
/3
es
(a a /8) v 7
a
(/3 -> 7) "
una abreviatura de (a
/3)
((* a /3) v y)
(a -e (/3 - T))
2.
" Condicin ador y bicondicionador separan ms que conyuntor y
disvuntor. Por tanto, si el antecedente o consiguiente de un condicional es
una conyuncin o disyuncin, pueden suprimirse los parntesis correspon
dientes en la escritura abreviada. Lo mismo en el bicondicional.
Ejemplos:
aA jfl - > 7
es una abreviatura de ((a a /3) 7 )
a -> d v 7
" ( ->(|8 v 7 ))
a v /3 - 7 A o
(-l(A ^ )o (n s v -i))
3.
" Los parntesis intemos de una conyuncin o disyuncin iterada
por la izquierda pueden suprimirse en la escritura abreviada.
Ejemplos:
o. a /3 a 7 a
"iav8 v
e s u n a a b r e v i a t u r a d e ( (( a
7
/3)
a 7
((( i a v /3) v
a 0)
~ 17 )
8)
45
CONVENCIONES NOTACIONAI.ES
locando los parntesis necesarios para evitar equvocos. Esto ocurre sobre
todo con algunos functores y relatores didicos. Por eso, a veces escribi
remos :
(i/ 2t2) en vez de
en vez de P - t , t A
( h P % )
8.4.
A veces abreviaremos una fila de cuantificadores del misino tipo,
escribiendo Axi, ...,x en vez de A x1;
Ax o \ /x u
x , en vez
de " V x i ,..., Vx.
Repitamos, finalmente, que esta relajacin de nuestras convenciones
notacionales se refiere nicamente a los nombres metalingsticos de las
expresiones del formalismo, y no a estas expresiones mismas.
5*j;
5 /
X
Hu -* Vx Rxz) = A u ( P x
=
=
=
5 'e
5
5 X
5*
5 /*
=
=
=
=
A u (P x
Vx Rxz)
Hu -> Vx Rxz)
A u (P x
Hu
Hu
Vx Rxz)
-> Vx R x z )
A u ( P f c a Hu Vx Rxz)
A u ( P iy P y a H u
Vx Rxz)
A y (P u a H y -> Vx R x z )
A u ( P x a Hu
> Vt/ Ryx)
A u (P x a Hu > V;/ R y fx )
A u ( P fx
Hu
46
SINTAXIS:
5
5
y
Efy Py
u
Si 5 Au(Px
5 ' 5
5/.r 5 A!
5"V 5r
5>
,r 5z
5 / 5
5*
ctyPy
PARTE SEGUNDA
SINTAXIS:
UN CALCULO DEDUCTIVO
a
Ifegla de repeticin R : ------
a /3
a
7, > 3
Regla
O del modus tollens MT:
->P
a
50
i i a
Reglas de la doble negacin D N :----------a
a
---------- i ~i a
a
----(
A jS )
-----
/3
oc
Reglas de introduccin del disyuntor ID: ^------- 8
'
(a v /3)
<x
-------- (/3 V ce)
(a v /3)
1 a
----------/3
(a v /3)
i /3
----------a
/
Reglas de eliminacin del disyuntor E D :
(/3 - a)
Regla de introduccin del bicondicionador I B : -----------(a o- /3)
Reglas de eliminacin del bicondicionador EB :
(a o- /3)
(a o- /3)
-------- r(/3 -> a)
-7---------r-
(a -> /3)
5' a
Regla de introduccin del particularizador IP: -
Ax a
^
** x = Adonde y no est
S ixaa
libre en a
X
1 \J 1i A x
((x > x 1 )
--------------------- -
tx = iz z = z
Vx a
a
donde y
no esui
libre en a
DEDUCCIONES
51
1.3.
Reglas normales de inferencia son las reglas de inferencia distin
tas de EP. Regla crtica es EP.
Al inferir 5 cc de V i a por EP, decimos que u es la variable crtica
de esta inferencia.
Obsrvese que EP slo nos autoriza a inferir 5 a, donde u ha de ser
una variable; a diferencia de EG, que nos autoriza a inferir 5* a de Ax a,
donde / es un trmino cualquiera.
1.4. Ejemplos:
(A:c Px v x = y) es inferible de Ax Px por ID
fcy. ..., cn := k es inferible de Ax (x = fc u ..., cn x = k) por E l
tx Gxk = .tv tv w es inferible de i Vi/ Ax (Gxk <^-x ij) por DI
i c, = Co es inferible de (cj = c 2 > Rcjx) y i Rcx por MT
(Ax Px <-> Pa) es inferible de (Ax Px > Pa) y (Pa Ax Px) por IB
a ix Rxa es inferible de (Raa v a = tx Rxa) y ~i Raa por ED
Rfc es inferible de Ay Ry por EG
11.2. Deducciones
2 .0 . Cuando alguien trata de probar algo, por ejemplo, cuando un ma
temtico trata de probar un teorema, qu hace? Procede paso a paso,
utilizando las premisas de que parte o los datos ya probados. De vez en
cuando se para a considerar qu es lo que en ese momento quiere probar.
A veces trata de probarlo directamente, infiriendo unas sentencias de otras
hasta que llega a la que buscaba. Otras veces encuentra ms cmodo el
ofrecer una prueba indirecta. Para ello, supone lo contrario de lo que
quiere probar y trata de obtener una contradiccin a partir de ese supuesto.
Si lo que quiere probar es un enunciado del tipo si A, entonces R, es
probable que inicie una prueba condicional, suponiendo que A y probando
entonces B. Finalmente, si ha de probar algo para todos los elementos de
una clase en general, puede limitarse a probarlo para uno cualquiera.
Esta manera de proceder se refleja en las reglas de construccin de
deducciones del presente clculo. Pero antes de presentar estas reglas, con
viene introducir el concepto de lnea.
52
Una lnea marcada es una fila formada por una lnea utilizable precedi
da de n (n > 1) marcas |: [a, j [ 3, j f a, j 1 1 f /3, ...
Una lnea interrogada es una fila formada por una frmula precedida
de un interrogante intachado ?: ? a, ? /3,...
Una lnea es una lnea utilizable o una lnea marcada o una lnea inte
rrogada.
a
7. Si ? a es la ltima lnea interrogada, entonces se pueden marcr todas
las lneas siguientes y tachar el interrogante de ? <x, si uno de estos cuatro
casos ocurre:
53
DEDUCCIONES
(8
7.
Definicin:
Una deduccin en
de a partir de F es una semideduccin en
a
partir de F, tal que su primera lnea es ? a y sus restantes lneas estn todas
marcadas.
2.6. Definicin:
a es deducible en 5 a partir de T si y slo si hay una deduccin
en i ? de a partir de F.
T tj? a sea una abreviatura para a es deducible en 5 a partir de F .
Cuando la referencia a ^ no sea relevante, escribiremos simplemente
T 1- a.
ai, ..., aij?/3 sea una abreviatura para ja1; ..., an\ \e 3.
2.7. Una frmula a de f es un teorema lgico de
si y slo si a es
deducible sin premisas en
es decir, si y slo si 4>
a.
15? a sea una abreviatura para <j>\s a.
2.8. Teorem a de finitud para la deducibilidad:
F \<g a si y slo si hay un nmero finito de frmulas
que 7 1 , ..., 7 -*. a.
71,
..., 7 de F, tales
ot.
54
71,
ya ii a, entonces
(71
...
y)
cr.
a.
f (a a ~~i /3)
1 (a A
1 (3)
5
6
a
fp
7
8
10
{a a - 1 /3)
1 (a a ~ 1 3)
o (a -> /3)
C. 5, 7
R, 3
R ,1
55
(a v ~i a)
( 2 v i a)
3
4
5
( v
a
(a v ~i a)
(
ID, 4
R ,2
ID. 3
a)
-> /3
T~/3
a v y > /3
Justificacin: 1
2
MT, I. 6
ED , I. 7
MT, 2, 6
8
9
t= t
Regla de identidad I :
Justificacin: 1
2
3
4
5
?tt
j f A x (x = t - > x t)
=
|x = t
t = t
E l,
x no est en t
SI :
t, = U
U
ti
ty = U
f U t,
t-2 = t,
I
3
4
Ax (x = i2 > ;. = x) II, 3
5
ti t-2-* u ~ ti
EG, 4
f2 = ti
MP, 5,1
6
Justificacin: 1
2
x no est en U
ti = t-2
til
t-i
t-2 i
ts = t3
t-2 =
ti
ti = h
ty = U
ti t-2
til t-2
56
Justificacin:
1
2
3
4
5
6
h = 2
t, = #3
^ .l = *3
Ax (x =
*1 = #2 ->
t] fu
x 3) II, 2
= t3
EG, 4
MP, 5 ,1
x no est en t-
NG :
. Ax a
\/x i a
Vx ~i a
>Ax a
i Ax a
f V x ~i a
i Vx ~i a
f Ax a
?<x
Justificacin:
I (X
Vx
a
- .V x - .
Ax a
Justificacin: 1
2
3
4
5
6
Vx
f . Ax a
>. Ax a
Ax a
. 5 a
5 X a
IP, 6
R, 3
R, 1
DN, 3
EP, 1; it no est en a
EG, 4
3
4
5
Ax . a
? >Vx a
. . Vx z
Vx a
5 X <x
- .5 a
NP :
Vx a
Ax
Ax
DN, 4
IP, 5
R ,1
DN, 3
EP, 4;
EG, 1
u no est en a
Vx i
57
EJERCICIOS DE DEDUCCION
GIC :
A xu ..., x
5 f
a;i,
Sh,
Gran regla de introduccin del par.ticularizador GIP
GEP :
Vxi, ..., x a
Vxt, ..., x a
5!. , a
xx , ....
donde u ly
son variables distintas entre s que no aparecen en lnea an
terior alguna.
Gran regla de negacin del particularizador GNP :
i V x t, ...,x a
Axj,
xi a
A *i,
i a
i Vx-i, . .. ,xn a
53
1 ? Ax (a - a)
3
? (a > a)
3
Ejercicio nmero 2.
*i s A xy (Rxy v Ryx)
a-, = Ax fxx
Prubese: ax i a2.
Deduccin correspondiente al ejercicio nmero 2.
1
? Ax fxx
A xy (Rxy v Ryx)
prem. ax
Rxx v Rxx
GEG, 2
? fxx
-i Rxx
Rxx
ED, 3, 5
Ejercicio nmero 3.
i s Ax (Px
Qx)
?.>- - Vx Px > Vx Qx
Prubese: ax i a2.
59
EJERCICIOS DE DEDUCCION
1
2
Vx Px
fu
EP, 2
Ax (Px - Qx)
prem. j
Fu
EG, 4
Qu
MP, 5 ,3
Vx <?x
IP,
Qu
Ejercicio nmero 4.
a i = Vy (Fy > A x Fx)
Prubese: i at .
Deduccin correspondiente al ejercicio nmero 4.
1
? Ay (Fy
i (Fy
Fy
~i
NP, 2
i Ax Fx)
Ax Fx)
EG, 3
Ax Fx
NGC, 5
Ax Fx
EG, 4
.> A x F x
Fx
Fx
EC ,
10
Fx
11
-i Ax F x
i Ax
Fx
Ejercicio nmero 5.
ax = Vy (Vx Fx Fy)
Prubese: h- i.
EG, 4
EC , 10
i Vi/ (Vx Fx F y )
Ay ~i (Vx Fx - Fy)
NP, 2
i (Vx Fx Fy)
EG, 3
V/ x Fx a i F ij
NGC, 4
Vx Fx
EC, 5
Fz
EP,
f Vx Fx -> Fz
10
Fz
R ,7
Ejercicio nmero
ai = Vx (Rxx
IP,
a2 = Ax Rxx
Prubese: ai 1 2.
Deduccin correspondiente al ejercicio nmero
1
t A xR xx
f Rxx
t Rxx
Vx (Rxx
? i Vx (Rxx
6.
prem. ai
Rxx)
i i Vx (Rxx
Vx (Rxx a
Riw
Ruu
EC ,
i Ruu
EC ,
10
i Rxx)
Rxx)
i Ruu
DN,
EP, 7
11
ED, 4 ,5
12
Rxx v Rxx
GEG, 11
13
Rxx
ED, 12, 3
61
EJERCICIOS DE DEDUCCION
Ejercicio nmero 7.
a] = Ax (Vi/ (Lije
2 1 s-
prem. a2
EP, 2
EG, 3
f Lwc Ax Vw Cxu
Lwc
Lwc v Lwm
ID,
Cxw
MP, 4, 7
Lwc
Cx0w
IC, 6 ,
10
Vy (Lyc
11
Ax (Vy (Lyc
12
Vy (Lyc
13
i Ay (L y m > Cxy)
14
? A y (L y m - ^ C x 0y)
15
f Lym Cx0y
Cx 0y)
a
IP, 9
prem. i
EG, 11
MP, 12,10
16
Lym
17
Lyc v Lym
ID, 16
18
EG, 3
19
Cx0y
MP, 18,17
20
IP, 5
Ejercicio nmero
8.
R / u )
> Rxy)
a2 = Ax Vy Rxy
oc:t = Axyz (Rxy
8.
? Rxy
Rxy
Ryz
Rxy
EC , 3
Ryz
EC, 3
AxVyRxy
prem. a2
Vt/ Rzy
EG,
Rzto
EP, 7
Rzto
R, 8
10
Rzw
11
Vu (Rzu
12
13
Vu (Rzu
14
Rzz
15
Rzz
16
Vu (Rzu
Ryu)
IP, 15
17
Vu (Rzu
Ryu) Rzy
GEG, 12
18
Rzy
19
Rxy
20
Vu (Rxu
21
Vu (Rxu
22 !
Rxz
Rzu;
a
IC, 8 , 9
Rzu)
a
IP, 10
Ryu) - Rxy)
Rzu)> Rzz
prem. ctj
CEG,
12
MP, 13,
a
Ryz
11
IC, 14, 5
MP, 17,16
a
IC, 4 , 1 8
Rzy
a
a
Rzu)
Rzu)- Rxz
IP, 19
GEG,
12
MP, 21,
20
63
EJERCICIOS DE DEDUCCION
Ejercicio nmero 9.
x = Ax (Acx
Hx
Axx)
a2 = H e
a 3 = i Vx Acx
Prubese:
a2 i a3.
f i Vx Acx
Hx
Axx)
Ax (Acx
le
Acc
He
i Acc
EG, 2
Acc > H e
Acc
EB, 4
He
EB , 4
? Acc
prem. ai
prem. a 2
i Acc
He
10
Acc
i Acc
IC, 3,
MP, 6 , 9
11
He
12
i Acc
Acc
MP, 5, 7
EC , 11
'
Bxy)
i Ax Rxy)
V y (F y
A xR xy)
prem.
PuA
GEP, 3
Ay (Fy
t i A y (Py
Ay (Py
Rxy))
1 Rwu
prem. i
EG , 2
Rwy)
Ay (Py
Pu - Rwu
EG,
10
Pu
EC , 4
11
Rwu
MP, 9 ,1 0
12
i Rwu
EC , 4
DN, 7
Rwy)
13
~i A y (F y -* R w y )
MT, 5,
14
NG, 13
15
EP, 14
16
Fy 0 a
NCC, 15
17
Fy0
E C , 16
18
i Rwy0
EC , 16
19
Vx ~
i Rxy,,
IP, 18
20
i Ax Rxy
NG, 19
21
Fy0 a
'IC, 17, 20
22
Vy (Fy
Rwy0
"i
A i Rxy,,
a h
Ax Rxy)
IP, 21
Gy -> Hz)
65
Deduccin correspondiente al ejercicio nmero 11.
1
2
? (Vx Px > (Vx Gx -> Ax Hx)) > Axyz (Px a Gy > Hz)
Px a Gy Hz
Px
Px
EC ,
Vx Px
IP, 7
Vx Gx Ax Hx
MP, 3,
10
Gy
EC,
11
Vx Gx
IP, 10
12
Ax Hx
MP, 9 ,1 1
13
Hz
EG, 12
Gy
14
Axyz (Px a Gy
15
Axyz (Px
16
Hz)
> ('Vx
Gy -> Hz)
17
Vx Px
18
? Vx Gx > Ax Hx
19
Vx Gx
20
? A xH x
21
f Hx
22
Pu
EP, 17
23
Gw
EP, 19
24
Pu
Gw
IC, 22, 23
25
Pu
Gw Hx
GEG, 15
26
Hx
27
MP, 25,24
Axyz (Px a G/ - Hz) IB, 2 ,1 4
66
Ax
( ( Bx
~i (Bx
N x) a
a N
x ))
i ~i Ax Nx
Ax Nx
DN, 2
Na
EG, 3
Ax (jx = a - Bx)
prem. s2
fa = a -+ B a
EG, 5
fa = a
prem. a3
Ba
MP, 6, 7
Ax ((Bx v Nx)
10
11
12
(Ba v Na)
i (Ba
(Ba
~i (Bx
i (Ba
Nx))
Na)
Na)
Na)
prem. 0
EG, 9
EC , 10
IG, 8, 4
67
EJERCICIOS DE DEDUCCION
Ax H x
Ax (Pa a i Hx)
(Ay (y =
prein. a t
prem. aL>
NP, 2
EG, 5
Hx)
i Hx
Ay (y = a > Py)
Ay (y = o -> Py)
EC , 7
Pa
E l,
10
i Hx
EC , 7
11
Pa a i Hx
IC, 9 ,1 0
12
i i Ax (Pa
13
Vx - i Hx
14
Ax ~i i Hx
NP, 13
15
i Hx
EG, 14
16
NCC,
i Hx)
DN, 4
MT, 3 ,1 2
Hx
DN, 15
xez) -> y = z)
Ex
a)
(xetu <- Ex
a) u = tv)
Prubese: ai i a2.
N o t a : a ! se puede interpretar como el axioma de extensionalidad de la
teora de conjuntos. a2 se puede interpretar del mismo modo como el
teorema de la teora de conjuntos (tipo Quine) que dice que para cada
condicin a hay a lo sumo una clase de todos los elementos que satisfacen a.
s in t a x is :
un
ca lcu lo
d e d u c t iv o
Ax (xeu <- Ex
Ax (xeu o Ex
Ax (xeu <- Ex
Ax (xew <h>Ex
(xew -o- Ex
a)
A x (xew ++ E
a)
a)
Ax (xeu ** xew)
xeu -o- Ex
xeu; -o Ex
10
xeu >Ex
11
Ex
12
xeu> Ex
13
Ex
a)
(xew <-> Ex
a)
a)
a) >u = w)
u
EC, 3
EC, 3
EG, 4
EG, 5
a > xeu
EB,
EB,
EB, 9
a xeu>
EB, 9
14
xeu - xet
15
xeu
16
Ex
17
xew
18
xew >xeu
19
xew
20
Ex
21
xeu
22
a ) a A
MP, 10,15
MP, 13,16
MP, 12,19
MP, 11, 20
IB, 14,18
23
prem.
24
GEG, 23
25
u= w
MP, 24, 6
69
EJERCICIOS DE DEDUCCION
3 = 1a he
1Rcc Rcc
4 =
a = hfec v Ax Rxx
prem. aj
Ax fcx c
prem. a2
i a = 7c
prem. a3
/cc = c
EG, 3
Ax (x = c - > i = hx)
11,4
/c c = c - i a = hfee
EG, 6
~i a /i/cc
MP, 7, 5
Ax Rxx
ED, 2, 8
Rcc
EG, 9
10
fa ~ fb v ~i Ufa)
f fa = fb
i fa fb
( if a
ID, 4
f b v ~ i Ufa)
II
J
1
3^
i (~i
<
j
R, 2
f Hfa
i Hfa
(i fa ^ f b v i Hfa)
i Hfa )
ID, 8
R, 2
10
i (i fa = : fb v
11
Ax (x = fa^> Hx)
11,7
12
fb = /a - Hfb
EG, 11
13
fb = fa
SI, 3
1 4
Hfb
MP, 12, 13
70
Prubese: h- i-
Vi/ (a y
? Pa
Pa
a =
a =
Vy ( a y
p Vy
Py)
Vy (o = y
(a
Py)
I
a
[ = 5 ( a = y
Pa
= y
Py)]
IC, 3, 4
IP, 5
Py)
Py) > Pa
V y (a = i/A Py)
a =
Pu
EP, 8
10
Pu
[ = 5* Px]
EC , 9
11
a u
12
A x (x =
13
d = u - Pa
EG, 12
14
Pa
MP, 13,11
15
Pa
^ Vy
EC , 9
-> Px)
(a
= y
II, 10
Py)
Myx))
a2 = i Ge - i Ay (Py - i Myc)
a 3 ^ Ct C
IB, 2, 7
7J
EJERCICIOS DE DEDUCCION
i Ge
Ax (x = c +* ~i Vy (Py a Myx))
prem. a,
c = c - i Vy (Py a Myc)
EG, 3
EB, 4
c c
i Vy (Py a Myc)
MP, 5, 6
prem. 2
Ay (Py - i Myc)
10
Myc)
11
12
NG, 9
EP, 10
Pu A ~ l ~ l Muc
13
MP, 8, 2
NGC, 11
i Muc
EC , 12
14
Fu
EC , 12
15
Muc
DN, 13
16
Pu A Muc
IC, 1 4 ,1 5
17
Vy (Py
IP, 16
Myc)
Av Rvx)
Prubese: a, i a2.
A x (Exw
Vy Ryx) u = te
72
EC , 2
EC , 2
prem. at
Ax (Exu Exw) u = tu
GEG, 5
Ax (Exw
Vy Ryx) -> u = io
EG, 3
Exu -* Av Rvx
EB,
10
Exw o V y Ryx
EG, 4
11
EB, 10
12
Exu Exu;
13
Exu
14
Av Rvx
MP, 9 ,1 3
15
Rvx
EG, 14
18
y y Ryx
IP, 15
17
Exw
MP, 11,16
18
uw
MP, 6 , 7
Vz Ax (fxz = x a Vy fxy = z)
x <- w - _ z)
Prubese: a, a. i a.
N o t a : ai y c:;. son dos teoremas de la teora de grupos, que en los
ejercicios 23 y 22, respectivamente, son deducidos a partir de los axiomas
de esa teora. a:, es el teorema de la teora de grupos que afirma la existen
cia unvoca de un elemento neutro.
73
EJERCICIOS DE DEDUCCION
Vz A w (A x f x w = x <r>iv = z)
Vz Ax (fxz = x a V y fx y = z)
prem. >
EP, 2
w = z 0 > Ax fxw = x
in = z 0
Ax f x w x
fxz0
= x a Vy fx y = z0
EG, 3
fxz0
EC ,
10
Aw (m = z 0 -> /xw = x)
11,9
11
tD = Z0 > f x w -
EG, 10
12
fxw =
13
A x fxw
14
Ax f x w = x
II
fxz0
MP, 1 1 ,6
X > tD =
z0
EG, 14
16
15
EG, 3
= x a Vy f x y = z0
19
/xzo x a fxw = x ^ z = w
GEG, 18
20
fxz0 = x a fxw = x
IC, 17,15
21
z0 = w
MP, 19, 20
22
w = z0
SI, 21
24
II
A x y u w (fxu y
18
EC , 16
17
23
fxw y - > u =
Ax fxw = x <- mj = z0
Vz Au> (Ax fxw = x <- 1 i= z)
= Ax f x h x k
w)
prem.
IB, 13, 5
IP, 4
74
ot3 = Ax fkx = x
Xi = Ax?/ Vz fxz = y
Prubese: xu a2, xs h- o4.
N o ta : i , a2 y x?, constituyen una axiomatizacin posible de la teora
de grupos. a 4 sera en esta interpretacin el teorema que dice que siempre
hay un cociente por la derecha.
p rem . !
A x fxhx = k
p rem . a2
Ax fkx = x
p rem . a 3
j :
e a
LT1
EG, 4
11,5
fxhx = k ~ * ffxhxy = y
EG,
fxhx = k
EG, 3
ffxhxy = y
MP, 7,
10
A z ffxhxz = fxfhxz
GEG, 2
11
ffxhxy = fxfhxy
EG, 10
12
fxfhxy = y
TI, 9 ,1 1
13
II
A x (x = k -+ fx y = y)
<
'-k
8
1!
IP, 12
A xy V z fxz = y
a-< = A xy V z fzx = y
a 4 = Vz Ax (fxz x
V y fxy = z)
Vz Ax (fxz =
Axy Vz fxz y
prem. <z2
V z/yz = y
GEG, 2
fyu = y
EP, 3
? Ax (fxu = x
V;/ /xy
i a
z)
Vy /xy = ti)
Axy V z fzx = y
prem. a3
V z /z y = x
GEG,
EP, 7
Au (u = y > fwv = x)
1 1 ,8
10
fyu = y f w f y u = x
EG, 9
11
fwfyu x
MP, 10,4
12
prem. i
13
fwfyu = ffwyu
GEG, 12
14
ffwyu
TI, 13,11
15
Au (u = fwy - fvu = x)
II, 14
16
x = fwy *fxu - x
EG, 15
17
x = fwy
SI,
18
fxu =
MP, 16,17
19
>
GEG, 2
20
fxz0 = n
E P , 19
21
V y /xy = n
IP, 20
22
fxu = x
IC, 18,21
41
23
II
-x
Vy /xy =
Vz Ax( fxz = x
Vy /xy = z)
VZ
fzx = y
o4 = Axyuw (fxu y
fxw y - u = m)
IP, 5
a->,
Prubese:
i a*.
(f x u = y a f x w =
y -> u ~ w )
fx u = y a fx w =
y > u w
fx u ~
fx u = y
EC , 3
fx w = y
EC , 3
fx w fx u
TI, 5, 4
Ax y V z f z x
Vz
f z xu = t
EP,
10
11
Ax y u w
a
h*
>
GEG, 7
11
fz-vx =
sj
12
Axy V z f x z
13
V z /uz =
14
fu z s =
15
Au
(0
= Z] -> f v u u )
16
f z 2x =
Zx -> ffZ tX U = u
17
f f z 2x u =
18
Ari/z
19
fz-> f x u f f z x u
GEG, 18
20
f z 2 fx u =
TI, 19, 17
21
A v ( v = f x u - f z 2v =
22
/xu) =
23
fz 2 fx w u
fzu =
prem. a:
GEG, 7
EP, 10
=
prem. a 2
GEG, 12
EP, 13
U)
11,9
EG, 15
MP, 16, 11
prem.
fx fy z = ffx y z
u)
x,
1 1 ,2 0
EG, 21
MP, 22,
II
f x u > /z 2 f x w u
K
H
PS
24
y a fx w =
GEG, 18
77
EJERCICIOS DE DEDUCCION
25
ffz2xw = u
TI, 24,23
26
II, 25
27
EG, 26
28
Zj = /z2x
SI, 11
29
fzxW ~ u
M P,27,28
30
Ao (v w -> /Zj = u)
II, 29
31
EG,30
32
fzi fuza = u
MP, 31,14
33
GEG, 18
34
//ziz 3 =
TI, 32, 33
35
II, 34
36
EG, 35
37
u = fz-_u
SI, 9
38
fuza = u
MP, 36 ,3 7
39
u= w
TI, 38,14
Vy (Ax (Sx
a2 = Ax (Sx
Gx <->x = y)
y = r)
i x = c > Arx)
a3 = Vx (Sx a Gx a Apx)
a4 - Axy (Axy > i Ayx)
ar, = ~ >Sp.
Prubese: o, a2, *: a* t- * 5.
N o t a : Este ejercicio puede considerarse como una Ormalizacin de la
siguiente argumentacin: Slo hay un sofista que ensea gratuitamente, y
ste es Scrates. Scrates argumenta mejor que ningn otro sofista. Platn
argumenta mejor que algn sofista que ensea gratuitamente. Si una per
sona argumenta mejor que otra segunda, entonces, esta segunda no argu
menta mejor que la primera. Por consiguiente, Platn no es un sofista.
i Sp
i i Sp
Sp
Vx (Sx
Su
Ax (Sx a Gx
Ax (Sx
Su a Gu <r*U = w
EG,
10
Su A Gu MI = w
EB, 9
11
Su a Gu
EC, 5
12
u= w
MP, 10,11
13
wr
EC , 7
14
r= u
TI, 13,12
15
Apu
16
Ax (x = u >Apx)
II, 15
17
r u > Apr
EG, 16
18
Apr
MP, 17,14
19
20
GEG, 19
21
i Arp
MP, 20,18
22
Ax (Sx a
23
P i p r
DN, 2
Gu
EP, 4
Apu
x = w) a w = r
x o x
;)
[ = 5" Apx]
Ayx)
x ~ r > Arx)
EP,
EC , 7
8
EC , 5
prem. a 4
prem. a2
-4
prem.
p r
DN, 24
26
p u
TI, 25,14
27
p = w > App
EG, 16
II
25
24
prem. a 3
Gx a Apx"1
79
EJERCICIOS DE DEDUCCION
28
App
MP, 2 7 ,2 6
29
App i App
GEG, 19
30
i App
MP, 29, 28
31
5p a i p = r > Arp
EG, 22
32
Sp a ~i p
IC, 3, 23
(Sp
33
~i p = r)
MT, 31,21
Ax (Px <- x = a)
Vt/ Ax (Px * * x =
PlX Px
DP, 3
P IX Px * * tx Px a
EG, 2
Ptx Px > tX Px = a
EB, 5
[X
Px =
y)
6.
----- L G I C A
DE
PR IM ER
ORDEN
IP, 2
MP, 6 ,4
80
.x a = >.u u = u
J
<
? i Vy Ax (a -o x = y) *
i i Vy Ax (a
Vy Ax (a -o x = y)
DN, 4
5^a a
DP, 5
Vx a
IP,
i Vx a
R,
x = y)
DI, 3
tx a = tw u u
R ix Rxfafa
Rcfa
A x (x = c
A x (Rxfa - * x = c)
f A x (Rxfa <- x = c)
prem. ai
Rx fa)
1 1 ,2
prem. a2
x = c - Rxfa
EG, 3
Rxfa >x = c
EG, 4
Rxfa <-> x = c
IB, 6 , 7
9
10
Vy Ax (Rx/a <- x = y)
IP, 5
R >.x Rxfafa
DP, 9
81
EJERCICIOS DE DEDUCCION
B tx Hx
at.
By) - B ix Hx
By)
Ax (Hx<-> x = u)
EC , 3
Vy Ax (Hx <r>x = y)
IP, 4
H ix Hx
DP, 5
H tx H x
ix H x u
EG, 4
H tx Hx - * tx Hx = u
EB, 7
tx Hx = u
MP, 8, 6
10
Bu
EC , 3
11
Ax (x = u - Bx)
II, 10
12
tx Hx = u - B tx Hx
EG, 11
13
B tx Hx
MP, 12, 9
EP, 2
Bu
[= 5 "B x ]
Prubese: i ax.
Deduccin correspondiente al ejercicio nmero 29.
1 ? Vi/ (Ax (a
x y)
By)
B tx a
V y ( A x (<x+>x = y) a By)
Ax (<x
Ax (a <-> x = )
EC, 3
Vi/ A x (a
IP, 4
x = u)
Bu
=y)
EP, 2
82
5'-ca a
5' a
ex a = u
EG, 4
5 XIcla! a > tx a = u
EB, 7
t xa = u
MP, 8, 6
10
Bu [ = 5 Bx]
EC, 3
11
Ax (x = u > Bx)
II, 10
12
tx a = u > B ix a
EG, 11
13
B tx a
MP, 12, 9
DP, 5
Ax (Px <-> X =
? A x (Px
II
x = !/)
* = !/)
Ax (Px
x =
y)
Ax (Px <r+x =
y)
A x (Px <- x = )
EP, 6
P a Px
DP, 6
Px <- IX Px = u
EG, 7
10
(X
Px !X Px = U
EB, 9
11
IX
Px = u
12
Aw (w = u - Ax (Px *-> x =
13
tx
14
Ax (Px
15
Px =
IP, 3
-> Ax (Px <-> x == tx Px)
MP, 10, 8
id
11,7
))
EG, 12
MP, 13,11
Ax (Px <-> x =
!X
tX
Px)
/)
IB, 2, 5
83
EJERCICIOS DE DEDUCCION
Y ix Axa p
Am ix Axa
prem. a 4
V / A x (Amx <->x = y)
prem. ax
Am tx Amx
DP, 3
Ax (Amx <- x = u)
EP, 3
Am ix Amx
EG, 5
EB,
tx Amx = u
MP, 7, 4
EG, 5
10
Am tx Axa tx Axa u
EB , 9
11
tx Axa = u
MP, 1 0,2
12
tx Amx tx Axa
TI, 8 ,1 1
13
tx Amx tx Aax
prem. a2
14
tx Axa = tx Aax
TI, 12, 13
15
tx Aax = p
prem. 7
16
tx Axa = p
TI, 14, 15
tx Amx = u
84
Axc)
a4 = V y Ax (Axc <- x ~ y)
a5 = t = r
Prubese: a1; a 2, a8, a 4 i a 5.
N o ta : Este ejercicio puede considerarse como una formalizacin de la
siguiente argumentacin: Toribio es el hombre que ama a Clotilde. A Ro
berto no le cae simptica Carina. Todo el mundo que no simpatiza con
Carina ama a Clotilde. nicamente una persona ama a Clotilde. Por con
siguiente, Toribio y Roberto son la misma persona.
^tr
prem. a 8
~i Srk
EG, 2
i Srk
prem. a2
Are
MP, 3 ,4
V y A x (Axc <7x = y)
prem. a4
DP,
Ax (Axc <r*x = u)
EP,
tx
Axc c -o-
EG,
10
tx
Axc c t x Axc = u
11
tx
Axc = u
12
Are * * r = u
EG,
13
Are >r = u
EB, 12
14
ru
MP, 13, 5
15
tx
16
t=
17
t= r
ix
Are
Axcc
Axc = r
tx
Axc
tx
Axc u
EB , 9
MP, 10, 7
8
TI, 11,14
prem. i
TI, 16,15
85
EJERCICIOS DE DEDUCCION
Py
i x = y) -> ix Px = iz z = z
Prubese: i ax.
~ i x = tj) > tx Px iz z = z
Vxy (Px a Py a i x ~ y)
Pu A PlO A
t i V y Ax (Px <->x = y)
~1U
i i V y Ax (Px <->x = y)
Vy Ax (Px <- x = y)
DN, 5
Ax (Px <- x = o)
EP,
Pu<r>u = v
EG, 7
Pu > u =
EB,
10
Pu
11
12
Pw <H*W =
13
Pto > t V
EB, 12
14
Pw
EC , 3
15
16
M=
TI, 11,15
17
I U
EC , 3
18
EC , 3
MP, 9 ,1 0
tx Px = IZ z = z
GEP, 2
- V x (Px
Ex)
EG, 7
MP, 13,14
DI, 4
86
a4 Ax (Px a Ex
0:5 = ^1
Ay (Py A~>Ey
Mxy))
E d - * V z (Pz a Mz
x - i
V y (Py
Myx))
1 E d
Vx (Px A Ex)
prem. at3
Pu A E u
EP, 3
Ax (Px
Pu a E u -> Ay (Py
Ay (Py
Pd a
Pd
10
Pd
11
Mud
MP, 8 ,1 0
12
Aw (w = d - Muw)
II, 11
13
ix ~i Vy (Py
14
tx i
15
Mu ix 1 Vy (Py a Myx)
MP, 14,13
16
Pu
EC, 4
17
Pu
18
a ~ 1 Ey
1 Ed
Ey Muy)
a ~1
> Muy)
prem.
EG, 5
MP, 6 , 4
> Mud
EG, 7
prem. a2
1 Ed
IC, 9, 2
Myx) = d
Vy (Py a Myx) =
Mu ix 1 Vy (Py
prem. ai
> Mu x 1 Vy (Py a Myx)
Myx)
EG, 12
IC, 16,15
IP, 17
87
EJERCICIOS DE DEDUCCION
Ax fx iy Ax fxy = x = x
f A x fx iy A x fxy -= x x
Vz Ax fxz - - x
prem. ai
Ax fxz0 = x
EP, 2
? Ay (A xfxy = x * * y = z0)
? Ax fxy = x <-> y = z 0
? Ax fxy = x - y = z0
Ax fxy = x
fxy = x
EG, 7
fxzt) = x
EG, 3
10
Axyuw (fxu = y
11
GEG, 10
12
fxy = x a fx%o = *
IC, 8 ,9
13
y = z0
MP, 11,12
14
fxw = y > u = w)
prem. a2
t y = z0 - * A x fxy = x
15
y = z0
16
Au (u = z 0 - Ax / xm - x)
11,3
17
t/ = z 0 A x fxy - x
EG, 16
18
Ax fxy = x
MP, 17,15
19
Ax fxy = x
y = z0
IB, 6 ,1 4
20
IP, 4
21
Ax fx ty A x fxy = x x
DP, 20
88
+ n
? n
3
3+ 1
a
?
DN, 2
3 + n
cuyas lneas 3 + 1 , ..., 3 + n slo se diferencian de las n lneas de
en
poseer una marca ms. En los lugares de 3 2 correspondientes a aquellos
89
de
en que a haba sido introducida como premisa obtenemos a por apli
cacin de la regla de repeticin a la lnea 3. As, pues, las nicas premisas
introducidas en S)< son las que provienen de T y, por tanto, T v-x ~i a.
Con lo que (1 ) queda probado. De igual modo se prueba (2),
5.4. Teorema:
Si t es un trmino de P, entonces js V x x t.
Prueba:
1 f V xx = f
2
\V x x t
Ax x = t
it = t
tt
3
4
5
NP, 2
EG, 3
I
5.5. Teorema:
Si x no est libre en <x y
(a -> /3).
1 ? (a - Ax /3)
2
3
4
m
Luego
(a
I a
? Ax/3
'? a > /8
MP, 4,2
Ax /3).
5.6.
Teorem a: Sean A, A y /A, ..., t trminos de Jz?, en los que ninguna
de las variables x, y, x ... xn est libre. Sea Pt%, ..., t una frmula de f .
Entonces:
a) i-s;Ptu . ..,t n * + V x u ...,X n(x = h a . . . a x = a Pi 1 , . . . , x)
b)
c)
i-a, A = #2 -<- V x y (x =
Aa y
= f 2 a x = t/)
Prueba de
1
2
c) :
t x = t . < ^ > V x y (x t x a y =
'? J = t 2 - * \ /x ij (x = #,
IJ = t
x =
A X
y)
= y)
= o
t,
? V x y (x = #i a y = t2 a x = y)
V x y (r = , a (/ =
x y)
Axy i (x = fj
i/= t2 a x =
i (j = t
t2 = t-2 a i= G)
j = !
#2 =
GNP, 5
y)
GEG,
10
fi = fj a t2 = t->
IC, 8 , 9
11
(fi = ti
IC, 10, 3
12
? V xy (x = tx
13
(x -
V xy
fi
i 2 = fi> a b = G)
y =
G. a x = y) , = t2
y = f 2 a x = y)
2 u= w
GEP, 13 ,
EC , 14
t t
15
t x a
16
u = tx
EC , 15
17
u = w
EC, 14
18
ti = w
TI, 16,17
19
w=
t->
EC , 15
20
ti =
TI, 18,19
21
t i
t ->
<- V x y
w=
14
(x
tj
y)
IB, 2 ,1 2
no estn en f(, .,
Prueba:
A x
(x
A x
A x / 3
premisa
< - /3)
- *
A x
? Ax/3
A x / 3
< - /3
EG, 2
> /3
EB, 7
EG, 4
MP, 8, 6
10
f Ax / 3
11
A x
12
- *
A x
/3
A x
13
i A x
14
V x
15
- i
5 "
NG, 13
EP, 14
16
5 x ^ 5 /3
17
18
- > 5 /3
19
s ; /3
20
A x
/3
A x
5 "
EG, 2
EB, 16
MT, 17,15
EG, 11
IB, 3, 10
/3
no est en tz x.
Entonces:
iy x = :z x < > (A z (a <- z = x) v (i Vtu A z(a^ > z
w) a x =
iy y = y)).
Prueba:
1
i = ! z s e (A z (a
AX =
2
3
4
z x) v (i Vto Az (a
z = w)
t y y = y))
jc)
v (i Vin A z (a <-> z = w)
x = iza
i Vw Az (a <-> z = tn) -
(Az ( a <-z = x) v (i Vw Az (a ^ z w)
~i Vw Az (a<->z = w)
iz a = u y y = y
x = iy y = y
1 Vw
Az (a <->z = x) v (i Vw Az (a ** z = w) a
10
a x
iy y = y))
DI, 5
t i , 3 ,6
Az (a <- z w)
a x
ly y = y
Vw Az (a - z = w) ->
(Az (a -*- z = x) v (i Vw Az (a
11
Vw A z ( a - > z = w)
12
5 ot a
13
Az (a
IC, 5 ,7
x
=-
z = w) a
uj y = t/)ID, 8
x
= iy y = y))
DP, 11
z = t) (donde u no est en a y w # z),
pues 5 a = a, ya que w no est en a
14
5 / a t o i z a =
15
5Z
m a > iz a = u
16
tz a = u
17
u= x
EP, 11
EG,13
EB >14
MP, 15,12
TI, 16, 3
18
A z (a <- z = x)
19
- i A z ( o z = r) [ = 5 J i Az ( a <->z = ),
ya que 5* a = a, porque w no est en
20
Au (u = a;
i Az (a <- z= tt))
21
u = x i Az (a
22
i Az (a <-> z = )
23
Az(a<->z = u)
z = )
]
II,19
EG,20
MP, 21,17
R,13
93
CUASIELIMINACION DE DESCRIPTOBES
A z (a
24
z = x) v (i V id Az (a <-> z = w)
a x
= nj y _= y)
ID, 18
25
26
27
Az (a <-> z = x) v (i V id Az (<x+* z = w)
28
ax
TND
= ty y = y)
MP, 25, 26
f Az (ot <r> z = x) - x = tz a
29
Az (ot <- z = x)
30
V id A z (a -o z = id )
31
5 a
DP,30
32
5 za [ z = x
EG,29
33
a > iz a = x
EB , 32
IP,29
34
tz ot = x
35
x = tz ot
36
~i V id A z (a <-> z id ) a x = .y y = y > x = tz a
37
38
i V w Az
39
tz ot =
40
x = ,y y = y
41
x = tz a
42
43
MP, 3 3 ,3 1
SI,34
Vw Az (a <->z = w)
11/
(ot
<- z =
id
ax =
tyy = y
EC , 37
DI, 38
y y
E C , 37
TI, 39, 40
= ty y y))
IDA, 28, 36
IB, 2, 42
94
\ - z
i = t>oi = r
1x
x = v -o- x = v
por 2.9, c)
Luego hay una frmula sin descriptores 9 de S6, con las mismas varia
bles libres que x = o y tal que c = ty y yt^ x = t<r^<f; a saber,
9
= x = v.
Sea t = a.
x no puede estar en t, pues una variable nunca est en una constante
individual.
1z x a
c
= iy y y
^ ^ x
a <^>x
= a
por 2.9,
c)
Luego hay una frmula sin descriptores 9 de 3?, con las mismas varia
bles libres que x = a y tal que c = .y y y \e x = # <- 9 ; a saber,
tf =
x = a.
CUASIELIMINACIN
Por 2.9,
c
c)
95
d e d e s c r ip t o r e s
obtenemos
= iy y = y
x = fh ,
V x , , x (x, = t
... a x , = tn a x =
f x x,
ay y = y v - z x =
f a
Este ltimo paso est justificado porque de lo que damos por supuesto
para <p1; ..., <pn se sigue que
c
Luego hay una frmula sin descriptores 9 de Jz?, con las mismas varia
bles libres que x = f t l t
t n y tal que
c aj y
= y \ z
9 = V x 1; . . . , X ( 9 i A ... A <p A X =
f x u . . . , X n)
Sea a = P t lt ...,
Xi, ...,x sean n variables distintas que no estn en a.
Por hiptesis inductiva, hay n frmulas sin descriptores 9,,
<pn de <
2?,
tales que para cada i (1 <2 i < n), 9,; tiene las mismas variables libres que
Xi ti y c = iy y = y \ - z xt = <
h>
- 9.
Ahora bien, por 5.6, a)
|-^Pl, ...,# -CA- Vxi, ..., X (Xi = t, A ... A X,, = tn A PXj, ..., X)
Por 2.9,
c =
c)
obtenemos
i^ ^*1,...,
iy y = y
Px^ ..., x)
iy y = y
...
9 a P x i , ..., x).
Sea a = - 1j8.
Por hiptesis inductiva, hay una frmula sin descriptores /3 ' de Jz?, con
las mismas variables libres que /3 y tal que
c = ly y =
y t - x P + * / 3 '.
Entonces,
iy y = y \ - z
1,8 <- 1
96
Por hiptesis inductiva, hay dos frmulas sin descriptores /3' y 7 ' de f,
con las mismas variables libres que /3 y 7 , respectivamente, y tales que
c ty y = y i^ /3 <h>3'
c = ny y = y \z 7 -o- 7 '. Por tanto,
c = ty y = y ^ 0 a j ^ / 3 ' a YLuego hay una frmula sin descriptores a' de .5?, con las mismas varia
bles libres que (/3 a 7 ) y tal que
c = ay y y \-z
= 03
7)
cc=
(J3<h> 7 ).
Sea a = Ax /3.
Por hiptesis inductiva, hay una frmula sin descriptores f3' de J2?, con
las mismas variables libres que /3 y tal que
c = ly y = y
(3
/3'- Por tanto,
c = 1y y = y
(J3 /3')
ii? c = ty y = y > A x ((3 <-> 3')
c ~ ty y = y
A x (J3
/3')
A x (J3 <-> 3') i# Ax 13 <-> Ax 3'
c = tyy = y \-z A x 3 <-> Ax /3'
por 5.1
por 5.5
por 5.7
por 2.9, b)
Luego hay una frmula sin descriptores a' de , con las mismas varia
bles libres que A x (3, y tal que
tu ) a
= ty y y))
Por tanto,
c=ty y = y
-s?
c=ty y = y
Az (a <-> z = w)
a x
= c))
A X
= c))
( ~ 1 Vio
c ty y = y
97
CONSISTENCIA Y CONTRADICCION
Luego hay una frmula sin descriptores <j> de S, con las mismas varia
bles libres que x iz a, y t a l . que
c iy y = y N x = t
a saber, cp= Az ('
q.e.d.
f;
z x) v (~i Vw Az (a' <->z = w)
= c)
7.1. Definicin:
Un conjunto F de frmulas de Jz? es contradictorio en S si y slo si cada
frmula de S es deducible de F.
Un conjunto F de frmulas de Jz? es consistente en 2 ? si y slo si Y no
es contradictorio en Jz?.
Es decir, un conjunto F de frmulas de Jz? es consistente en S si y slo
si hay alguna frmula de Jz? que no es deducible de F.
Una frmula a de Jz? es contradictoria (resp., consistente) en Jz? si y slo
si jaj es contradictorio (resp., consistente) en ?.
7.2. Teorema:
a) Si T es consistente en 2 ? y A C F, entonces A es consistente en [.
h) Si F es contradictorio en 2 ? y F C A, entonces A es contradictorio
en S.
Prueba de a): Sea Y consistente. Si A fuese contradictorio en S. enton
ces toda frmula de S sera deducible a partir de A y, por 2.9, a) a partir
98
7.3.
Teorema: F
e s c o n t r a d i c t o r i o e n Jz? s i y s l o s i h a y u n a f r m u l a a
T \-<e ( a a
a).
Prueba: F sea contradictorio en . Entonces, cualquier frmula de .'
es deducible a partir de F. En especial, la frmula de Jz? (a a a) es deducible de T : T
(a a ~ i a).
Sea r i s (a a a). Entonces, cualquier frmula /3 de i es deducible a
partir de F. En efecto,
de
ta l q u e
r p
? (a.
i a)
pues
r i z (
EC 2
EC 2
a
i a
cc
U Ji oej
a
<l>lse a
1sg a
por 5.3
Sea
a. Entonces
a es contradictoria, pues para cualquier frmula
de , i <xis /3- En efecto,
1
2
-)- n
/3
f a
pues is a
ict
premisa
/3
99
CONSISTENCIA Y CONTRADICCION
Si
1 J 5 ? U { C }
entonces:
-1
5^*
por 5.3.
Ti
...
s'j (*} 5 (7 ,
7 a
V x a 5 5 ~ 1 a
por
1 5. a
5 .2
. . . A 7 A V x a 5 l a )
pues u no est en
1 i- ( 7 1 A . . .
m a =
A Vx a > 5 1 a)
r U jVxaj ^ 1 5 a
,, . . . , 7 , Vx a
por 7.5
pues 5 - i a = - i 5 a
15 a
100
contra la hiptesis.
- t c iy y ~ y
A ...
por
5.3
e T, tales que
i c = I.y
aT
y - y )
u no est en Ti, , T
5 -i M= !!/
pues 5 - i u= t/ y y 3= - i c = ty t/ = y
y-s uto 5 ; ( ti a ... A - T n ^ - i - ty t/ = y)
por 7.5
por 5.5
y = y)
A i u = iy y = y
2
3
4
5
Au iu = iy y = y
i i A ti \u iy y = y
A u i u = iy y = y
-n y
y =
iy y =
y =
ty y =
y , iy y = y
F y-x i A u i u = iy y = y
Th
A u iu = tt/ y ~ y
DN, 2
EG, 3
I
por 2.9, c)
A u tu = ity y = y
por IC
Luego r sera contradictorio en jz?, por 7.3, contra la hiptesis. Por con
siguiente, r U je = ly y = y\ es consistente e n ? U jcj.
q.e.d.
101
Si r ia, entonces a e F
Si ia, entonces a e T
a e r si y slo si a <$. T
(a
j3) e r syss a e T y /3 e F
(a v /3) e T syss a e T o j3 e F
(a -^/3) e T syss si a e T , entonces 3 T
( a * * / 3 ) r syss: a e T syss 3 e T
a
r U jaj es contradictorio
F U {j i
T i ( a A
> o)
e r.
Prueba de (2): Si i a, entonces T i o, por 2.9, c). Luego a T, por (1).
Prueba de (3): Sea ~i a e T.
Si a F, T sera contradictorio, contra la hiptesis. Luego a $ T.
Sea ct r .
Si i i T, entonces T U ji aj es contradictorio, pues T es mximamen
te consistente
r u {iotj i
<x
Ty-a
a eT
por 5.3
por ( 1 )
/3) e T.
pues (a
por (1)
,8 ) e T
102
s in t a x is :
un
c lcu lo
d e d u c t iv o
Sea a g F y /3 e T
,i3h(A|3)
T i (a a /3)
(a a /3) e F
pues a, /3 e T
por (1)
(2)
pues Ax a e T
q.e.d.
8.4.
Teorem a: Para cada conjunto consistente T de sentencias de ?
sin descriptores hay un conjunto P mximamente consistente y ejempli-
103
, si
r 3 U 0 ,-j es contradictorio
( r , U j<x\ es consistente
U 5;!, si )
,
c es la constante de mnimo menee
'
de 7 ? , que no est en r_,- U \ocj\.
1
r * = u r,
}=0
A laT unin
a)
C r * . de todos los conjuntos que forman esta sucesin le llamare
mos r * .
En efecto, T = r 0 y T0 C U T; = r * . Luego T C T*.
i-o
h) Para cada /, T, es consistente.
Prueba por induccin aritmtica sobre /.
To es por hiptesis consistente, ya que I,, = P.
r e es consistente.
104
sentencia <x de
U g', tal que r i (a a i a). Por 2.8, habra n sentencias
Ti, . . . , 7 e r 4, tales que
Tu
T i (a a "t ce)
i a)
r k sera contradictorio, por 7.3, contra lo que hemos probado en b). Luego
P es consistente.
d) Sea a una sentencia de <2? U 9?. Si a i r, entonces T U jaj es con
tradictorio.
Sea a T*.
ce es una sentencia de 5S U s . Por tanto, a ocupar un lugar en la suce
sin d que partimos. Sea a = a.
ce $ r
<x i T)+1, pues si no, <xj e r * .
Vj U <xj\ es contradictorio, pues si no, ce e r +i .
r U ja,-} es contradictorio, por 7.2, b),
pues Pj U ja;- C P* U \a\
r * U ja es contradictorio, pues a = a.
e) r es mximamente consistente.
Se sigue de c) y d), por definicin.
f) r * es ejemplificado.
Sea : = Vx a una sentencia de =? U f.
Sea Vx a e T.
Tj U jV xaj es consistente, por 7.2, a), pues r ;- U jVx aj C T* y T* es
consistente.
Vx ae r m , por construccin de T+1, en el tercer caso. Para algn c,
5" a e r +i, por construccin de r ;+i, en el tercer caso de la definicin.
Luego hay un designador t de S U ^ (a saber, t = c), tal que 5* a e F3+i ,
y, por tanto, tal que S^oteT, pues P3+i C T.
As, pues, P* es ejemplificado.
En r no hay descriptores, pues no los haba en r o ni se han introducido
en la sucesin de los Pj. Con esto y con a), e) y f) queda probado que T*
es un conjunto mximamente consistente y ejemplificado de sentencias sin
descriptores de ,5? U c , donde ? es una clase numerable y disjunta con
de constantes individuales, tal que T C T.
PARTE TERCERA
SEMANTICA
III.1. Interpretaciones
1.0.
El alfabeto de los formalismos est constituido por un conjunto
ele signos. Colocando unos signos detrs de otros formamos filas de signos.
Y de entre las filas de signos elegimos algunas los trminos y las frmu
las y les prestamos especial atencin. Con ayuda de las frmulas forma
mos lneas. A determinadas sucesiones de lneas les llamamos semideducciones, y a determinadas semideducciones, deducciones. As establecemos la re
lacin de deducibilidad entre frmulas. Hasta aqu todo ha sido, pues, como
un juego ms o menos complicado con figuras grficas.
Ahora, gracias a la introduccin de las interpretaciones, nuestros for
malismos se convertirn en lenguajes formales, nuestro juego con figuras
adquirir una dimensin significativa o, al menos, referencial.
Interpretar un formalismo consiste principalmente en indicar un universo
o conjunto no vaco de individuos, al que se referirn nuestras variables,
y en asignar a cada constante individual del formalismo un individuo del
universo, a cada functor n-dico del formalismo una funcin n-dica en
el universo, y a cada relator n-dico del formalismo una relacin n-dica
en el universo. La interpretacin de un formalismo consta, pues, fundamen
talmente, de dos partes: la indicacin de un universo al que se refieran las
variables y la asignacin de significados o referencias adecuadas a los
signos peculiares del formalismo.
Adems, habr que elegir en cada caso un individuo cualquiera del
universo como cabeza de turco al que atribuir todas las descripciones
impropias que propiamente no designaran nada, a fin de que cada designador del formalismo designe efectivamente un individuo del universo.
Con estos tres elementos (determinacin de un universo, asignacin de
referencias a los signos peculiares y eleccin arbitraria de un individuo
108
SEMANTICA
1.1. Definicin:
17 es una interpretacin del formalismo i ? si y slo si 17 <U, 9 7 , a>,
donde
1. 91 es una clase no vaca, es decir, 91 7=- </>.
2.
W es una aplicacin o asignacin tal, que a cada constante indivi
dual de ? le asigna un individuo de 91, a cada functor n-dico de le
asigna una funcin n-dica en 91, a cada relator n-dico de ! le asigna
una relacin n-dica en 91, y a cada variable le asigna un individuo de 91.
3. a es un individuo de 91, a e 91.
1.2. De ahora en adelante, para referirnos al individuo de 91 que la
aplicacin
asigna a una constante a de
o a una variable x, en vez de
escribir W(} o W (x) escribiremos 17 (a) e 17ix). Igualmente, en
vez de
o ffl(P ), escribiremos 17(f) e 17(P). No hay confusin
posible.
1.3. Si 17 es una interpretacin del formalismo Jz?, mediante
(donde x $ 9 / ) designaremos la interpretacin que coincide con 17 absoluta
mente en todo, con la posible excepcin del individuo que asigna a la va
riable x. 17* asigna a la variable x el individuo x en cualquier caso, y cual
quiera que sea la asignacin que 17 le atribuya. Es decir, para toda
variable z:
J 17(z), si z # x
j x
, si z = x
J"*7 ~ , 7 7-
177X
109
DENOTACIN Y SATISFACCION
e s p e c ia l,
sat
Pnti,
t2
s a t #i =
sat ~i
s a t (a
/3)
syss 7
sat a y 7
sat /3
sat
(a
/3)
syss 7
sat a o 7
s a t./3
(a
syss no 7
syss (si 7
sat a
sat
sat ( a
sat
Ax a
sat
Vx <x
/3)
-/3)
sat /3)
, si no
2.3.
La definicin de satisfaccin es al mismo tiempo una definicin
precisa del concepto semntico de verdad en los lenguajes formales. Una
sentencia a es verdadera en una interpretacin 7 si y slo si 7 satisface a.
2.4. Teorema;
Si x no est libre en t, entonces 7 * (t ) = 7 (i)
Si x no est libre en a: 7 xX sat os svss 7
sat a
110
SEMANTICA
2.5.
Demostracin de 2.4 por induccin semitica simultnea. En cada
paso suponemos que x no est libre en el trmino o frmula considerado.
. 7 *(2 ) = J (z)
j\ (a ) = J ( a )
= - 7 * (f ) J f r ) , ...,
= J (/") J ( t i ) , . . . , J ( t n) [supuesto inductivo]
= J l f nty,
syss C7(A),
e J7(P") [sup. induct.]
syss .7 sat Pntu . .. , t n
(en especial, J '* sat A = f2
syss . 7 ^ ) = -7*(f2)
[sup. induct.]
= 2)
syss no 7 * sat a
syss no .7 sat a
syss .7 sat 1 a
[sup. induct.]
J * sat (a a 0)
syss J
sat a y 7
sat /3
[sup. induct.]
7* sat (a -/3)
sat a
syss
J sat a
[por 1.4.(1)]
syss
J * sat a
[sup. induct.]
syss .7 sat A z a
b) sea z = x
J * sat A z a syss para todo z zU\ J ** sat a
syss
syss CT sat Az a
J7* sat a
[por 1.4.(2)]
INTERPRETACIN Y SUSTITUCION
111
De igual modo:
.7 * sat V% a syss J
sat V z a
sat a
J (tz <x)
[por 1.4.(1)]
[sup.induct.]
= J7(t% a)
c) Sea
[por 1.4.(2)]
J H z a) = a
No hay un nico z, tal que .7** sat a
, tal que .7** sat a
, tal que J * sat a
[por 1.4.(1)]
[su. induct.]
7 (iz a) = a = 7 x(tz a)
d) Sea * = t y no haya un nico z tal que . 7 sat a.
7 x(iz a) = a
No hay un nico z, tal que 7 sat <x
, tal que J z sat a
[por 1.4.(2)]
\7(tz a) = a = , 7 x(iz a)
q.e.d.
III.3.
Interpretacin y sustitucin
3.1. Teorema:
Para todo trmino t0: .7;[[(,(fo) = .7(5[to)
Para toda frmula a:
sat a syss J
sat S*a
3.2.
Demostracin de 3.1 por induccin aritmtica sobre la longitud
de las expresiones.
8. ----LGICA DE PR IM ER ORDEN
112
SEMNTICA
y'> (z) = y (t ) = J ( S * z )
Sea t0 = a.
J ^ ( a ) = J ( a ) = J\ S \ a )
E l teorema vale para las expresiones de longitud m, suponiendo que
valga para las expresiones de longitud menor que m (supuesto inductivo):
y ^ ( f nh , ..., tn) = y ^ > ( f ) y >(*i),
(/ ")
* 7 (5 ^ ti),
C T (5 * t )
[s u p .
in d u c e ]
= .7 ( f 5 ^ ...5 > )
= .7 ( 5 f t i , . . . , t ft)
sat pntl, . . . , t n syss < ^ (> ( f i ) , . . . , ^ (<)(B)> e y ( P n)
syss KJT(5 ^ fi),..., y (5 tn)> e y (P*) [sup. nduc
syss y
sat ti = t2
y ^ V ffo )
[s u p .
in d u c t .]
[s u p .
in d u c t .]
.7 ( 2)
saf (a A y3)
sat 5^, a
syss y
sat i 5* <z
svss J
sat 5*
r'
syss
ia
sat a y y * w sat /3
syss J
syss J
sat (5* a
syss y
sat 5* (a a /3)
a 5(^ )
113
INTERPRETACION Y SUSTITUCION
sat A z a
[por 2.4]
syss CT sat 5* A z a
2.
[pues 5^ Azi a = Az a]
syss
sat a
sat
[pues
=
por 2.4, ya que s no
est en f]
syss
syss J
sat A s 5 *
syss J
sat 5* As a
sat a
X
VZ
sat a
[por 2.4, ya que o no
est en a]
^ 1 sat
syss
[pues J r^(t^(v) = z]
syss
syss
jz jh
VX
VX
sat 5 zV a
[pues J l { t ) = J ( t ) ,
por 2.4, ya que v no
est en f]
114
semntica
syss
syss 7
sat Av 5 [,5 a
syss 7
sat 5* A z a
[sup. induct.]
sat 5 V z a
Para mostrar que el teorema vale para las descripciones iza, distingui
remos los tres casos posibles: l. que x no est libre en iza; 2.: que x s
est libre en iz a, pero z no est en t (en cuyo caso distinguiremos las dos
posibilidades de que haya o no haya en el universo de la interpretacin 7
un nico individuo z, tal que 7 x (t>zz sat a); 3.: que x est libre en iza
y z est en t (en cuyo caso volveremos a distinguir las dos posibilidades
indicadas). En cada uno de estos casos probamos lo que afirma el teorema:
7 Jx w (iz a) = J (5* iz a)
1. " caso: x no est libre en iz a.
7 x (t) (tz
a) = J
(tz a)
[por 2.4]
[pues iz a = 5* iz a, ya
que x no est libre en
tz a]
7 (5* iz a)
2.
a) Hay un nico
7 Jx {t)(iz a) =
tal que 7 ^ T
x {t) sat a[por 1.4.1,
pues z ^ r ]
= y (iz 5 > )
= 7 ( tza)
h) No hay un nico
7 - 7x w (tz a) = a
No hay un nico z, tal que 7 x (t>z sat a
, tal que 7 zfx{t) sat a
tal que 7 Z^
7 (iz 5* a) a
sat a
tal que
T. 7 ZZ sat 5*X a
7 (5 tz a) = a = .7^< >(tz a)
115
, tal que
sat a
[por 2.4, pues v no est
en a]
a?
A ' Sat a
[pues 7 x (t)*(v) = z]
[sup. induct.]
7 z
(A
[sup. induct.]
= 7 (tu 5* 5 )
=
y (
5 tz a)
(iz a) = a.
.7 (tu 5 (5 a) = a
y (5* tz a) = a = ^7yxw (tz <*)
q.e.d.
III.4.
4.1.
Una interpretacin 7 de <S? satisface un conjunto 1' de frmulas
de syss 7 satisface cada frmula de I'.
Toda interpretacin satisface al conjunto vaco 4> de frmulas de =?.
En efecto:
116
SEMANTICA
7 sat 4> syss para toda a: si a e f entonces .7 sat a, y, puesto que para
todo a,
resulta que .7 sat <f>.
; anj i= /3.
4.4. Teoremas:
a) t= a syss a es lgicamente vlida.
Prueba:
i= a syss <f>\= a
syss para toda 7 : si 7
syss para toda 7 : 7
sat a
sat a
(por 4.1)
sat T, ent.. 7
syss
: si 7
syss
: si J7" sat i a, 7
no sat a, 7
sat a
no sat V
no sat T
que satisfaga n a y T.
syss F U ji aj es insatisfacible.
INDEPENDENCIA
117
c) i= a si y slo si i ot es insatisfacible.
Se sigue de h), para r = <fr.
d) o es lgicamente vlida si y slo si i a es insatisfacible.
Se sigue de a) y c).
) r es insatisfacible si y slo si para alguna frmula a del mismo len
guaje: r t= (* a n ),
Prueba:
r t= ( a
: si 7
syss
: 7 no sat F
syss T es insatisfacible.
4.5.
Teorema: Si todos los signos peculiares del formalismo 7 i lo son
tambin de JS?2, ^ es un conjunto de frmulas de 7 \ y T2 es un conjunto
de frmulas de 7-, Fj C T2 y r 2 es satisfacible en 7 - sobre un universo >I,
entonces Ti es satisfacible en
sobre el mismo universo tl.
Prueba: Sean todos los signos de 7 - l tambin signos de 7 1 , F x sea un
conjunto de frmulas de 7 \ y T2 de JS?2, sea Fi C F2 y sea T2 satisfaci
ble en 7 z sobre un universo U.
Hay una interpretacin 7 sobre IL de 7 2, tal que:
Para toda a e T2: 7
Para toda a e T !: 7
sat a
sat a, pues Ti C r 2.
III.5.
Independencia
5.1.
Si una sentencia a de 7 no es una consecuencia de un conjunto F
de sentencias de 7 , decimos que es independiente de F. Por tanto, dada
una sentencia cualquiera a y un conjunto cualquiera F de sentencias, siem
pre ocurre que a es una consecuencia de T o que a es independiente de F.
118
SEMNTICA
5 .2 .
Definicin:
a es in d e p e n d ie n te d e T
si y
s lo s i a n o e s u n a
con
s e c u e n c ia d e F.
<x e s
Definicin:
in d e p e n d ie n te
F e s i n d e p e n d i e n t e si y s lo s i p a r a c a d a S e n t e n c i a a e T :
de
j ctj.
119
Ejercicio nmero 1.
ox = Ax (Sx - Mx)
a2 = i Sa
= i Ma
Prubese: a3 es independiente de jai, a2j
120
SEMANTICA
<U = 0}
7 (a) 0
7 (S ) = *
J { M )
jO j
Ejercicio nmero 2.
i =
a., =
a3 =
a4 =
a = 0}
7 {c ) = o
y ( j) =
oj
7 (R ) = 7 ( D ) = 7 ( M ) = *
Como fcilmente se compnieba,
.7 sat ji, a2, a3j
7 no sat a4
121
Ejercicio nmero 3.
ai = Axy (Vu (Rxu aRyu) -> Rxy)
a2 = Ax Vy Rxy
a3 = A xyz (Rxy a Ryz -> Rxz)
( 1 ) : a2 es
Prubese:
N
o ta
(2 ): a i
: a3 no
es
in d e p e n d ie n te
de
ja i,
es in d e p e n d ie n te
de
j a 2, a 3j
in d e p e n d ie n te
de
ja i,
a 3j
a 2J, s i n o
una
c o n s e c u e n c ia
de
j a i , a 2j. R e c u e r d e e l l e c t o r q u e e n e l e j e r c i c i o d e d e d u c c i n n m e r o 8 p r o
bam os:
j* i,
a 2j f a 3
7 i(R ) =
Como fcilmente se comprueba,
^ i
sat
i no
ja i,
sat
a 3j
a2
jO, l j
Ejercicio nmero 4.
ai =
a2 =
a3 =
ai =
a,-, =
a6 =
a7 =
xs =
i V x a jx
A xy (fx = fy > x = y)
Pa a Ax (Px - Pfx) -> Ax Px
Axy (Px a Py -> Rxy v Ryx)
V xy (x= y a Rxy)
Ax (Rxx -> Ay (Rxy v Ryx))
Ax Vy (x= y a Rxy)
Ax (Rax v Px)
SEMANTICA
122
Prubese: a7 y ot8 son independientes de jai, a2, a3, a4> a5, a6J.
Prueba de independencia correspondiente al ejercicio nmero 4.
Sea 7
ll 6)
7 (a) =
7 (f) ~
7 (P ) =
7 (R ) =
(R) ni que
Ejercicio nmero 5.
a i = tx i V r / (Py a Myx) d
a2 = Pd
03 = Vx (Px A Ex)
a 4 = Ax (Px a Ex > A y (Py a
ag = E d
Ey
>
Mxy))
123
^ = 1 0 , 1}
a= 0
7 (d ) =
7 (P ) =
7 (E ) =
7 (M ) =
0
|0, 1|
\1\
\<1, 0>, <1, l>j
Ejercicio nmero 6.
Ax Rxx
= Axy (Rxy > Ryx)
a s = Axyz (Rxy a Ryz - Rxz)
r = j a i , 2, a 3J
ai
a2
o ta
: P
es u n
c o n ju n to
de
a x io m a s
que
d e fin e u n a
r e la c i n
de
v a le n c ia .
7 \
sea
ai
es in d e p e n d ie n te
una
U = j0}
,7i(R ) = 4>
7 1 s a t j a 2,
2.
7
in te r p r e ta c i n
a 3j, p e r o
de
j a 2, a 3j
con
i no
sat
ai
: a2 es independiente de jai, a3
2 sea un a
in te r p r e ta c i n
con
^ = { 0 , 1}
7 2(fl) = J<0, 0>, <1, 1>, <0, 1>J
7 2
sat
j a x, a 3j, p e r o
7 2
no
sat
a2
e q u i
124
SEMANTICA
3.:
Ejercicio nmero 7.
ax =
a, =
3 =
A=
":
no sat a3
Ejercicio nmero
8.
ax = Axy (x y y
P x a Py - > V z (Rz a E
o2 =
Axyuz (x 7= y a P x
Py
xz a
Etjz))
Ru a R z
a
Exu
Eyu
Exz
Eyz - > u ~ z )
125
Vxzi/ ( x ^ y
i =
y =z
Px a Py
E xz a Et/z))
z a Px a Py
a x
a
T
| a i,
a 2,
3,
Pz
i V m (Rw a E xu a Eyu
E z u ))
4|
1) Para cada dos puntos distintos hay una recta en la cual esos dos
puntos estn.
2) Para cada dos puntos distintos no hay ms de una recta en la cual
esos dos puntos estn.
3) Para cada recta hay al menos dos puntos distintos que estn en ella.
4) Hay tres puntos distintos que no estn en la misma recta.
Pruebas de independencia correspondientes al ejercicio nmero
1.
8.
<U = jO, 1, 2, 3, 4, 5,
6j
7 d P ) = jO, 1, 2}
j r 2(R) = j3, 4, 5, 6 j
J 2(E) = j<0, 3>, <0, 4>, <1, 3>, <1, 5>, <1,
6 >,
no sat a2
a3 es independiente de jai, a, 4j
6 >j
126
SEMANTICA
= o
7
4()
= 4>
Ji(E ) =
<f>
no sat a4.
Ejercicio nmero 9.
a! s
a2 =
a3 5=
xi =
A = ai, 2, a3,
Prubese la independencia del conjunto A.
Pruebas de independencia correspondientes al ejercicio nmero 9.
1 .:
es independiente de ja2, a, o4
sea una interpretacin con
aa ~ jo, ij
y i (t) = o
y 1 (p) = o
AA(S) = JO, lj
AA(G) = {lj
7 X(A) = j<0, l>j
y
2.
au = o,
ij
7 2(r) = o
7 3(p) = 1
7 2(S) = j0, 1
72(G) = 0!
7 2(A) = 5<1, 0>j
y 2 sat jai, a3, a4j pero
3.:
no sat a2
CORRECCIN SEMNTICA
127
ll = jOj
7s(f) = 0
7(p) = 0
7s(S) = |0
7*(G) = |0|
7S(A) = 4>
J : sat jai, a2, a4 j, pero
no sat a 3
1II.7.
Correccin semntica
128
SEMNTICA
a.
Para probar 7.2. tendramos que mostrar que siempre que una senten
cia es deducible a partir de otras en el clculo deductivo, la primera es
na consecuencia de las ltimas. Para ello habramos de examinar todas
las reglas de inferencia y construccin, etc. De las reglas de inferencia, la
nica que podra presentar dificultades es EP, pero su correccin en el
clculo queda garantizada por el teorema 7.3. que a continuacin proba
remos. De todos modos, aqu renunciamos al desarrollo detallado de
la prueba de 7.2. El lector interesado la podr encontrar en el artculo
Remarks on Descriptions and Natural Deduction, de R. Montague y
D. Kalish (1957).
7.3. Teorema:
u no est en Y, z, 3; u ^ x
r u 5 " t= R
Y \ = \ /xz
Entonces, r t= /3
Prueba de 7.3: u no est en z, 3, Y; u ^ x.
Sea T U j5 aj t=3 y T
Vx a.
sat Vx a
pues T i= Vx a
sat a
, tal que
sat a
sat a
sat T
pues 7 r* (u) = x
por 3.1
por 2.4, pues 7 r sat T y u no
no est en T
CONSISTENCIA Y SATISFACIBILIDAD
sat /3
CT sat 3
129
pues P U 5 aj i= 3
por 2.4, pues u no est en 3
As, pues, r i= 3.
q.e.d.
130
SEMNTICA
por definicin
7 (c) = c
por definicin
por definicin
sat a si y slo si a g I\
131
CONSISTENCIA Y SATISFACIBILIDAD
syss Ptu
(En especial, 7
sat t- t-.
syss 7 ( t i ) 7 (ti)
pues 7 (t) t
syss
syss ti ~ 2
por definicin
syss ti -2 e T)
syss no 7 sat a
7 sat i a
supuesto inductivo
sys no e r
syss ctfT
syss ~i a e F
7 sat (a a /3)
7 sat (a v /3)
syss 7
sat a y 7
sat P
syss a e T y /3 e T
supuesto inductivo
syss (a
/3) e T
sat /3
supuesto inductivo
por II.8.2, (5)
syss (a v /3) F
De igual modo:
7 sat (a
/3)
7 sat (a -/3)
syss (a
7 sat Ax a
/3) e T
designador t: 7 ^ sat a
syss
syss
: 7 JW sat a
pues 7 ( t ) = t
syss
:7
syss
: 5* a e F
sat 5 ' a
por 3.1
sup. inductivo
syss Ax a e T
7 sat Vx a
syss
, tal que 7
syss
pues 7 (i) ~ t
sat 5(, a
por 3.1
tal que 5* a e V
sup. induct.
syss Vx a e r
132
SEMNTICA
es satis
Prueba de 8.3.
T sea un conjunto consistente de sentencias de y . c sea una constante
individual que no pertenece a y .
T U je = ti/ y y\ es consistente en y U jej por II.7.7.
Definicin: A = \<x' a' es una frmula de y U {c}; hay un a 6 F, tal que
c = ay y = y
a <- <x'; a' carece de descriptores y tiene las mismas
variables libres que ocj.
Como las frmulas de T son sentencias y las de A tienen las mismas va
riables libres que ellas, A es un conjunto de sentencias.
A es, pues, el conjunto de las sentencias sin descriptores a' de y U {c}
para las que existe una l e f , tal que c = ty y = y i
.
CONSISTENCIA Y SATISFACBILIDAD
133
c = iy y = y
c = iy y = y i
o
lJ
a - a'
y = y, ai-^ufe) a'
F U je iy y y J iifujcj a
pues a e T
<>
por 7.2
sat c = %y y = y
sat a'
sat '
sat a
As, pues, y
sat T.
134
SEMANTICA
por II.7.3
por 7.2
sat /3 a i /3
pues J
sat /3 y J
sat T
sat i /3
COMPLETUD SEMNTICA
135
136
SEMNTICA
F U ji cej is a
r U {i aj i ~i ~i
e
r i c i ~ i
q.e.d.
De 7.2 y 9.2 se sigue:
por DN
por II.5.3
por DN
COMPLETUD SEMNTICA
137
9.3.
Teorema de equivalencia entre deduoibilidad y consecuencia: Sea
r un conjunto de sentencias de y * una sentencia de ,5?.
T i=^ a syss r
a
Es decir, una sentencia es una consecuencia de otras sentencias si y slo
si es deducible a partir de ellas.
De ah se sigue, para r = </>:
\=x X syss is? a
Es decir, una-sentencia es lgicamente vlida si y slo si es un teorema
lgico.
De II.2.8 y 9.3 se sigue:
9.4.
Teorema de finitud para la consecuencia: Sea T un conjunto de
sentencias de =5? y a una sentencia de
.
E 1=^ a si y slo si hay un subconjunto finito A C I', tal que A 1= a.
9.5.
El teorema 8.3, que dice que todo conjunto consistente de senten
cias es satisfacible sobre un universo numerable, es llamado a veces teo
rema de Henkin, por haber sido Len Henkin el primero en formularlo y
probarlo de un modo parecido al aqu expuesto. En realidad, los teoremas
que le siguen se obtienen como meros corolarios del teorema de Henkin:
tanto el teorema de completud semntica de Godel (9.2.), como el teorema
de satisfacibilidad numerable de Skolem (8.7.) y el teorema de finitud para
la satisfacibilidad o corwpactness theorem. (8.6.).
El teorema de Skolem tiene profundas repercusiones en la filosofa de la
matemtica pues implica, entre otras cosas, que cualquier teora formal
construida para caracterizar una estructura de universo infinito supernumerable es tambin satisfecha por interpretaciones sobre universos numerables,:
por lo que lo supernumerable no es caracterizable en la lgica de primer
orden e importantes aplicaciones en la metateora de conjuntos. El teo
rema de finitud para la satisfacibilidad tiene mltiples aplicaciones en metamatemtica, tales como la obtencin de modelos no-standard de la aritmtica
es decir, de sistemas no isomorfos con el de los nmeros naturales pero
que, sin embargo, cumplen cuanto exigen los axiomas de la aritmtica de
primer orden' .
De hecho, ambos teoremas el de Skolem y el de finitud constituyen
la base de la teora de modelos, una de las ramas ms florecientes de la
lgica actual. Incluso es posible probar ambos teoremas sin hacer uso para
nada de un clculo deductivo ni, por tanto, de los teoremas de Henkin y
Godel. En efecto, el teorema de Skolem puede ser probado directamente
a partir del de finitud y ste, a su vez, puede ser probado dentro de la
138
SEMNTICA
BIBLIOGRAFA
Trabajos aludidos en este libro:
F o rm elsp ra ch e
G d el , K., D ie V o llsta n d igk eit d e r A x io m e d e s lo g isch en F u n k tio n en k a lk ls. Monatshefte fr M athematik und Physik (vol. 3 7 ), 193 0 .
G odet ., K., U e b e r fo rm a l u n e n ts c h e id b a re Sa tz e d e r P rin cip ia M a th em a tica u n d
v erw a n d ter S y stem e . Monatshefte fr M athematik und Physik (vol. 3 8 ), 1 9 3 1 .
195 3 .
140
BIBLIOGRAFA
T arski, A., Der Wahrheitshegriff in den formalisierten Sprachen. Studia Philosophica (vol. 1), 193 6 .
M anuel Sacristn
INTRODUCCIN
A LA LGICA
Y AL ANLISIS FORMAL
No hace mucho ms de siglo y medio que un gran
filsofo consideraba la lgica como perfecta y con
clusa en lo esencial desde los tiempos de Arist
teles. Hoy la lgica, tras haber mostrado, con los
espectaculares progresos conseguidos en ese siglo
y medio, que no estaba, ni mucho menos, perfecta,
sigue adems sin concluirse.
Uno de los captulos ms interesantes, tiles y no
conclusos de la lgica moderna es la aclaracin de
conceptos frecuentemente usados en las ciencias
particulares, como los de sistema terico o teora,
clculo o algoritmo, funcin, isomorfas, estructu
ras, etc. Para precisar esos conceptos hay que
familiarizarse, por de pronto, con el punto de vista
lgico formal, y debe aclararse la relacin entre la
lgica y las ciencias reales. Este manual de intro
duccin, que se abre precisamente con unas pgi
nas dedicadas a las relaciones entre la lgica for
mal y las ciencias reales, se destina a dar una vi
sin general del punto de vista lgico, sobre todo
en la medida necesaria para estudiar aquellos con
ceptos formales que son de aplicacin general en
las ciencias. Sus destinatarios no son, pues, princi
palmente, los gremios tradicionales de cultivadores
de la lgica los filsofos y los matemticos ,
sino los estudiosos de ciencias reales que, cada vez
en mayor nmero, notan la conveniencia de aten
der tambin a los fundamentos formales de sus
conceptos y mtodos.