Teora de primer orden

Deniciones y ejemplos
Desde ahora "clculos de predicados" signica clculo de predicados con igualdad,
y

indica una deduccin en el clculo de predicados. Los axiomas lgicos son los

axiomas en el clculo de predicados, o sea las instancias de

instancias

E2

E3,

A1

a la

A6, E1

junto con los axiomas adicionales dados por el Ax Gen.

y las
Los

smbolos propios del clculo de predicados son todos los predicados, operaciones y
simbolos de constantes.

T est denida por un conjunto P de smbolos propios

que contiene = y un conjunto X de proposiciones.P se llama el conjunto de smbolos
propios de T y X se llama axiomas propios de T. Las frmulas de T, son todas las
frmulas construibles de T. O sea P es una frmula de T si y solo si cualquier smbolo
propio que ocurra en P, est en el conjunto P . X puede ser cualquier conjunto de
proposiciones de T.
Sea un conjunto nito de frmulas de T, y sea Q una frmula de T. Entonces
`T Q signica que hay una sucesin S1 , S2 , . . . , Sn de frmulas de T tales que Sn
es Q, y cada Si (1 i n) es un axioma lgico, o un axioma propio o se inere por
modus ponens de Sj y Sk para algn j y k menores que i, o est en .
Si es el conjunto vaco, escribimos `T Q y decimos que Q es un teorema de T.
Una teora de primer rden

La nica diferencia entre una deduccin en el clculo de predicados y una deduccin en

es que ciertas proposiciones que tienen que ser nombradas como suposi-

ciones en el clculo de predicados, se nombran como axiomas propios en

T.

Teorema 1 Sea T una teora de primer orden. `T Q si y solo si hay un conjunto

nito {P1 , . . . , Pk } de axiomas propios de T tal que P1 , . . . , Pk ` Q y cada paso de la
deduccin es una frmula de T
Prueba. Supongamos que `T Q. Sea S1 , . . . , Sn una una prueba de Q en T. Sean
P1 , . . . , Pk los pasos que son nombrados como axiomas propios. Renombremos cada Pi
como una suposicin. Entonces S1 , . . . , Sn es una deduccin de Q de {P1 , . . . , Pk } ,
en el clculo de predicados, o sea P1 , . . . , Pk ` Q. Supongamos ahora que hay un
conjunto nito {P1 , . . . , Pk } de axiomas de T, tal que P1 , . . . , Pk ` Q. Sea S1 , . . . , Sn
una deduccin de Q de {P1 , . . . , Pk } en el clculo de predicados. Renombremos cada
Pi como un axioma propio. Entonces S1 , . . . , Sn es una prueba de Q en T. o sea
`T Q
Damos algunos ejemplos de teoras de primer orden. Con una excepcin, todos
los ejemplos son de lgebra moderna.

Ejemplo 2 El conjunto de los smbolos propios de la teora L de los conjuntos linealmente ordenados es {=, <} . Los axiomas propios de L son
L1 x (x < x)
L2 xyz (x < y y < z x < z)
L3 xy (x < y x = y y < x)
Recuerde que = es primer smbolo de predicado de 2 lugares, o sea, r = s es una
abreviatura para ## (r, s) . P es una frmula de L si y solo si cualquier smbolo
propio que ocurra en P est en {=, <}. Los axiomas de igualdad son
E1. x (x = x)
E2=. x1 x2 y1 y2 (x1 = y1 x2 = y2 . .x1 = x2 y1 = y2 )
E3<. x1 x2 y1 y2 (x1 = y1 x2 = y2 . .x1 < x2 y1 < y2 )
Ejemplo 3 El conjunto de smbolos propios de la teora AG de grupos abelianos es
{=, +, 0} . Los axiomas propios de AG son
AG1. xyz ((x + y) + z = x + (y + z))
AG2. x (x + 0 = x)
AG3. xy (x + y = 0)
AG4. xy (x + y = y + x)
+ es el primer smbolo de predicado de 2 lugares, o sea, r + s es una abreviatura
para ## (r, s) . 0 es una abreviatura para el primer smbolo de constante . P es
una frmula de AG si y solo si cualquier smbolo propio que ocurra en P est en
{=, +, 0}. Los axiomas de igualdad son
E1. x (x = x)
E2=. x1 x2 y1 y2 (x1 = y1 x2 = y2 . .x1 = x2 y1 = y2 )
E3+. x1 x2 y1 y2 (x1 = y1 x2 = y2 . .x1 + x2 y1 + y2 )
Ejemplo 4 El conjunto de smbolos propios de la teora R de anilos {=, +, , 0} .donde
+ es el primer smbolo de operaciones de 2 lugares, es el segundo smbolo de operaciones de 2 lugares y 0 es el primer smbolo de constante. Los axiomas propios de R
son
R1. xyz ((x + y) + z = x + (y + z))
R2. x (x + 0 = x)
R3. xy (x + y = 0)
R4. xy (x + y = y + x)
R5. xyz ((xy) z = x (yz))
R6. xyz (x (y + z) = xy + xz)
R7. xyz ((y + z) x = yx + zx)
2

rs es una abreviatura para r s, y rs + rt es una abreviatura para (rs) + (rt) . Los

enteros y los reales son anillos con el signicado usual de =, +, , y 0. Note que

R1 a R4 son los mismos que AG1 a AG4. Por esto, cualquier anillo es un grupo
abeliano.La teora de anillos conmutativos es el resultado de adjuntar a R le axioma
propio xy (xy = yx) . Los axiomas de igualdad de R son E1, E2=, E3+, y E3.

Ejemplo 5 El conjunto de smbolos propios de la teora LA de reticulados es {=, <, , } ,

donde < es el segundo de los smbolos de predicados de dos lugares y y son los
primeros dos smbolos de operaciones de dos lugares. Los axiomas propios de LA
son
LA1 x (x < x)
LA2 xyz (x < y y < z x < z)
LA3 xy (x x y y x y)
LA4 xy (x y x y x y)
LA5. xyz (x z y z x y z)
LA6. xyz (z x z y z x y)
r s es una abreviatura para r < s r = s. r s se llama la menor cota superior
de r y s. r s se llama la mayor cota inferior de r y s. Los enteros y los reales son
reticulados con el signicado usual de = y <, con a b el mayor de a y b y a b el
menor de a y b.
Ejemplo 6 El conjunto de los simbolos propios de la teora de grupos G es {=, , 1}
donde es el primer simbolo de operacin de dos lugares y 1 es el primer simbolo de
constante. Los axiomas propios de G son
G1. xyz ((x + y) + z = x + (y + z))
G2. x (x1 = x)
G3. xy (xy = 1)
rs es una abreviatura de r s. Note que G1 a G3 son exactamente los mismos que
AG1 a AG3 cuando en ambos se los escribe sin abreviaturas. De aqu se deduce
que los grupos abelianos son grupos. Un grupo abeliano es un grupo en el que la
operacin conmuta. La prctica matemtica es reservar la notacin aditiva + y 0
para los grupos abelianos y la notacin multiplicativa y 1 para todos los grupos,
abelianos o no.
Ejemplo 7 El conjunto de los smbolos propios de la teora de cuerpos F es {=, +, , 0, 1} ,
donde + y son los primeros smbolos de operaciones de 2 lugares, y 0 y 1 son los
primero smbolos de constante. Es usual escribir rs en vez de r s. y rs + rt en vez
de (rs) + (rt) . Los axiomas propios de F son
F1. xyz ((x + y) + z = x + (y + z))
3

F2. x (x + 0 = x)
F3. xy (x + y = 0)
F4. xy (x + y = y + x)
F5. xyz ((xy) z = x (yz))
F6. x (x1 = x)
F7. x (x 6= 0 z (xz = 1))
F8. xy (xy = yx)
F9. xyz (x (y + z) = xy + xz)
F10. 0 6= 1
Los nmeros racionales, los reales y los complejos son cuerpos con el signicado usual
de =, +, , 0, y 1. Los enteros no forman un curepo porque F7 falla. F1 a F4 aseguran
que los cuerpos son grupos abelianos con + y 0. F5 a F8 establecen que los elementos
distintos de cero de un cuerpo forman un grupo abeliano con y 1. La teora de anillo
de divisin es el resultado de reemplazar F8 por xyz ((y + z) x = yx + zx)

Ejemplo 8 En la teora F de cuerpos, sea n una abreviatura para el trmino 1| + 1 +{z + 1}.
n veces

En los cuerpos familiares, n 6= 0 para cualquier entero positivo n. Tales cuerpos se

llaman de caracterstica 0. En lgebra se prueba que si un campo no es de caracterstica 0, entonces hay un primo p tal que n 6= 0 si y solo si n es mltiplo de p. Tal
cuerpo se dice de caracterstica p. Existen cuerpos de caracterstica p para cualquier
primo p. La teora F p de cuerpos es el resultado de adjuntar a F el axioma propio
p = 0. La teora F 0 de cuerpos de caracterstica cero es el resultado de adjuntar a F
como axioma propio todos los enunciados p 6= 0 :
1 + 1 6= 0, 1 + 1 + 1 6= 0, 1 + 1 + 1 + 1 + 1 6= 0,

Ejemplo 9 La teora ACF de cuerpos algebraicamente cerrados es el resultado de

agregar a la teora de cuerpos un axioma propio para cada entero positivo n que dice
que cada polinomio de grado n tiene una raiz. Para n = 3, el axioma es



yy1 y2 y3 y3 6= 0 x y + y1 x + y2 x2 + y3 x3 = 0

donde xk es una abreviatura para x

| x{z x}
k veces

El cuerpo de nmeros complejos es algebraicamente cerrado. El cuerpo de los racionales

y de los reales no es algebraicamente cerrado. El cuerpo de nmeros algebraicos es
algebraicamente cerrado. Un nmero algebraico es es un nmero
complejo que es
raiz de un polinomio
con
coecientes
racionales.
Por
ejemplo
2 e i son nmeros

2
2
algebraicos pues 2 es raiz de x 2 y i es raiz de x + 1. El conjunto de los nmeros
4

reales es no numerable mientras que el conjunto de los algebraicos es numerable. La

idea de la prueba es que el conjunto de todos los polinomios con coecientes racionales
es numerable, y todo polinomio tiene solo una cantidad nita de raices

Ejemplo 10 La teora OF de cuerpos ordenados es el resultado de adjuntar a la

teora de cuerpos el smbolo de predicado de dos lugares <, los axiomas L1 a L3 de
la teora de conjuntos ordenados y los axiomas propios siguientes
OF1. xyz (x < y x + z < y + z)
OF2. xyz (x < y 0 < z xz < yz)
Los nmeros racionales y los reales son cuerpos ordenados con el signicado usual
de < . El cuerpo de los nmeros complejos no est ordenado porque no hay forma de
denir < tal que los axiomas de OF se mantengan. Bosquejaremos una prueba. x
es positivo en el sentido de 0 < x. En un cuerpo ordenado, el cuadrado de cualquier
nmero no nulo, es positivo y la suma de dos positivos es positiva. Supongamos
por contradiccin que el cuerpo de los complejos es ordenado. Entonces 1 y 1 son
positivos por porque 1 es el cuadrado de 1 y 1 es el cuadrado de i. Entonces 1+(1)
es positivo. O sea que 0 < 0. Pero por L1 (0 < 0)
Ejemplo 11 La teora RCF de los cuerpos cerrados reales, es el resultado de adjuntar a la teora de cuerpos ordenados el axioma propio
RCF1. x (0 < x y (y 2 = x))
que dice que todo elemento positivo tiene una raiz cuadrada, y adjunta para cada
entero positivo impar n, el axioma propio que dice que el polinomio de grado n tiene
una raiz. El cuerpo de los reales es un cuerpo de cerradura real. Los complejos no
son de cerradura real pues no son ordenados y para los racionales falla RCF1. Por
ejenplo el dos no tiene raiz cuadrada en los racionales.
Ejemplo 12 La teora DL de los conjuntos linealmente ordenados densos sin
primer ni ltimo elemento es el resultado de adjuntar a los axiomas propios de
L:

L4. xy (x < y z (x < z z < y))

L5. xy (y < x)
L6. xy (x < y)
Los racionales y los reales con el signicado usual de = y < son conjuntos densos
sin primer ni ltimo elemento.

Ejemplo 13 El clculo de predicados es une teora de primer orden. sus smbolos

propios son todos los smbolos propios y no tiene axiomas propios.
5

Ejemplo 14 El conjunto de smbolos propios de la teora BA de las algebras booleanas

es {=, , ,0 , 0, 1} , donde y son los dos primeros simbolos de operaciones de dos
lugares, 0 es el primer smbolo de operacin de un lugar, y 0 y 1 son los primeros dos
smbolos de constante. Los axiomas propios de BA son:
BA1. xyz ((x y) z = x (y z))
BA2. xyz ((x y) z = x (y z))
BA3. xy (x y = y x)
BA4. xy (x y = y x)
BA5. xyz (x (y z) = (x y) (x z))
BA6. xyz (x (y z) = (x y) (x z))
BA7. x (x 0 = x)
BA8. x (x 1 = x)
BA9. x (x x0 = 1)
BA10. x (x x0 = 0)
BA11. 0 6= 1
Sea A cualquier conjunto, y sea D el conjunto de todos los subcionjuntos de A.Entonces
D es un lgebra booleana con la siguiente interpretacin de =, , , 0, 1. = es
la igualdad de conjuntos, y es la union y la interseccin de conjuntos, B 0 =
{x A | x
/ B} , 0 es el conjunto vaco y 1 es A.
Una teora de primer orden est nitamente axiomatizada si y solo si su conjunto
de axiomas propios es nita
Un conjunto

de proposiciones es decidible si y solo si hay in procedimiento

efectivo para decidir si un enunciado est o no, en

X.

Cualquier conjunto nito es decidible y algunos conjuntos innitos son decidibles.

Por ejemplo, el conjunto de axiomas propios de la teora de cuerpos de clausura
algebraicas es es decidible.
Una teora de primer orden es formal si y solo si, su conjunto de axiomas propios es
decidible. Todos los ejemplos dados arriba son teoras formales. Estamos interesados
solamente en teoras formales, porque la nocin de prueba es efectiva para teoras
de primer orden si y solo si la teora es formal. Necesitamos considerar teoras no
formales porque ellas entran en la prueba de los principales teoremas acerca de las
teoras de primer orden.
Lo que distingue a una teora de primer orden de una teoria de orden superior es
que en la interpretacin, todas las variables recorren un dado dominio. Un ejemplo de
una frmula de segundo orden es el siguiente enunciado de la induccin matemtica:

M.0 M x (x M x + 1 M ) x (x M )

Aqu la variable

recorre conjuntos de nmeros. En la prctica, la teora de grupos

por ejemplo no trata solamente con elementos de un grupo, sino con conjuntos de
elementos y conjuntos de conjuntos de elementos.

La contraparte formal es una

teora de tercer orden.

Restringiremos nuestra atencin a las teoras de primer orden por tres razones.
Primero, se conoce mas sobre las teoras de primer orden que sobre las teoras de
orden superior. Segundo, la lgica de orden superior es esencialmente la misma que
la de primer orden. O sea, los procedimientos fundamentales mantienen la remocin
e insercin de cuanticadores y el uso de enunciados de clculo.

Tercero, todo lo

que puede hacerse con cualquier teora matemtica puede hacerse con la teora de
conjuntos, y la teora de conjuntos puede enunciarse como una teora de primer orden.
Cualquier entidad matemtica (funcin espacio secuencia, nmero, etc.) puede ser
construida de una forma u otra como un conjunto. Luego, solamente una clase de
variable es necesaria, porque un conjunto de conjuntos es en si mismo un conjunto.
No solo se puede formular la teora de conjuntos como una teora de primer orden,
sino tambien como una teora nitamente aximatizada. No daremos detalles para no
alejarnos del tema.

n lugares de una teora de primer orden puede

n + 1 lugares, y cualquier simbolo de constante
por un smbolo de predicado de un lugar. Ilustraremos el procedimiento con AG.
Sea G el primer smbolo de predicados de tres lugares y H el primer smbolo de
predicado de un lugar. Reemplacemos + por G y 0 por H. G (r, s, t) se interpreta
como r + s = t y H (r) se interpreta como r = 0. Necesitamos axiomas adicionales
Cualquier smbolo de operacin de

ser reemplazado por un predicado de

xy!zG (x, y, z)
!xH (x)
los axiomas AG2 y AG1 se traqducen a
AG2'.
AG3'.

xy (H (y) G (x, y, x))

xz (H (z) yG (x, y, x))

La traduccin de AG1 y AG4 se deja como ejercicio. La estructura del clculo de

predicados y las teoras de primer orden pueden ser simplicadas descartando todos
los simbolos de operaciones y de constantes. Sin embargo, la formulacin resultante
de las teoras de primer orden se separaran mucho de de la formulacin familiar.

Ejercicios
1. Dar los axiomas de igualdad para las teoras R, F, LA, BA.

2. Dar axiomas AG1' y AG4' correspondientes a AG1 y AG4, usando los smbolos
de predicados

en lugar de

3. Dar la formulacin de R usando los smbolos de predicados

de

+, ,

G, H , y K

en lugar

4. Damos abajo tres deniciones de grupo que aparece en la literatura. Dos son
correctas, y una no tiene sentido. Establezca cual no tiene sentido y por qu,
y formule las otras dos como teora de primer orden.
(a) Un grupo es un conjunto no vaco

junto con una operacin binaria en

(para el cual usamos el lenguaje multiplicativo) tal que

i. Para todo

x, y, z

ii. Hay un elemento

A.

xz = x

D, (xy) z = x (yz)
z de D tal que

en

para cualquier

B. Para cualquier

en

en

hay un

en

tal que

xy = z

(b) Lo mismo que en (a) excepto que ii. se reemplaza por

2'. Hay un elemento

2. Para cualquier

de

en

xz = x para cualquier x
y en D tal que xy = z

tal que

hay un

en

D.

(c) Lo mismo que en (a) excepto que ii. se reemplaza por

x y y en D hay un z en D tal que xz = y

cualquier x y y en D hay un z en D tal que zx = y .

2*. Para cualquier

2**. Para

5. Probar que si un cuerpo no es de caracterstica cero, entonces es de caracterstica

para algn primo

p.

6. Sea la teora de primer orden

axiomas propios de

T.

Probar que

cada paso una frmula de

P1 , . . . , Pk los
` P1 Pk Q, con

nitamente axiomatizada, y sea

`T Q

T.

si y solo si