Академический Документы
Профессиональный Документы
Культура Документы
+ x .
Sintcticamente, se puede decir, por ejemplo, que se trata de un polino-
mio suma de tres monomios y el polinomio es de grado . Semnticamente,
se puede decir que en los nmeros racionales el polinomio no tiene factori-
zacin, pero en los nmeros reales se parte como
(x +
+ }(x
+ }.
A continuacin defnimos de manera precisa la sintaxis y la semntica de
la teora de nmeros - esto nos permitir hacer preguntas especfcas acerca
de muchos conjuntos, funciones y relaciones.
Lo que sigue despus es la llamada aritmetizacin de la sintaxis - un proce-
so mediante el cual codifcamos las sentencias mediante nmeros naturales.
Luego demostramos que el conjunto de todas las sentencias se puede codi-
fcar como un conjunto p.r.; luego mostramos que el conjunto de todos los
teoremas se puede codifcar como un proceso p.r., y el conjunto correspon-
diente a las sentencias demostrables resulta ser un conjunto recursivamente
codifcado. El conjunto de los argumentos verdaderos resulta corresponder a
, v
, v
, smbolos de variables .
El conjunto de los trminos aritmticos es el mnimo A tal que
. , , v
, v
, A,
. si t, t
A, entonces (t t
}, (t t
} A.
Ejemplos de trminos aritmticos: v
, (( } }, (( v
} }, etc.
Como siempre sucede con estas construcciones, cada trmino tiene su r-
bol (hay lectura nica?).
Abreviamos los nmeros naturales mediante trminos de la siguiente ma-
nera (defnicin formal por induccin):
Trmino Abreviatura
( }
(( } }
((( } } }
(((( } } } }
etc.
Teorema . El rbol de construccin de un trmino es nico - es decir, cada
trmino se puede escribir de manera nica de la forma , , v
n
, (tt
}, (tt
}
donde n Ny t, t
son trminos.
Dimos1v.ci Ejercicio.
Podemos armar palabras mediante identidades (t t
}, usando el smbolo
de identidad . Las identidades (o igualdades) son los ejemplos ms bsicos
de objetos que llamamos frmulas.
Sean , , , , nuevos smbolos distintos. Los dotamos de los siguientes
roles:
LGICA MATEMTICA - LENGUAJE, INTERPRETACIN Y VERDAD -
smbolo de negacin no
smbolo de conjuncin y
smbolo de disyuncin o
cuantifcador existencial existe
cuantifcador universal para todo
Las frmulas aritmticas son el mnimo conjunto A que satisface:
. A contiene las identidades entre trminos,
. Si , A, entonces (}, ( }, ( } A,
. Si A y n Nentonces (v
n
}, (v
n
} A.
Ejemplos de frmulas (aritmticas) son entonces ( }, (v
((v
}
}} - no son frmulas palabras como (} o por ejemplo v
((v
}},
etc.
De nuevo, unicidad:
Teorema . El rbol de construccin de una frmula es nico, es decir toda
frmula se puede escribir de manera nica de la forma (t t
}, (}, (},
( }, (v
n
} o (v
n
}, donde t, t
}s = ts + t
s
(t t
}s = ts t
s.
De esta manera todo trmino t termina teniendo un valor ts N, que
depende de la funcin de interpretacin s.
Se puede hacer lo mismo para las frmulas. De esta manera, las frmulas
pueden adquirir valor verdadero a falso - el valor de verdad de la frmula.
Al igual que en el caso de los trminos, uno primero debe interpretar las
variables mediante una funcin de interpretacin.
JOUKO VNNEN - TRAD. LIBRE A. VILLAVECES
Usamos la notacin s(n]a} para referirnos a la funcin de interpretacin
que coincide con la funcin s excepto en la imagen del nmero n, que siem-
pre es a, es decir:
s(n]a}(i} = _
s(i}, si i ] = n
a, si i = n.
Defnicin (Defnicin de verdad de Tarski). La satisfaccin de la frmula
segn la funcin de interpretacin s, N s, se defne as:
. N (t t
}s ssi ts = t
s
. N (}s ssi no se tiene que N s
. N ( }s ssi N s y N s
. N ( }s ssi N s o N s
. N (v
n
}s ssi N s(n]a} para algn a N
. N (v
n
}s ssi N s(n]a} para todo a N.
La nocin de subfrmula la podemos captar de manera natural (damos la
defnicin por induccin):
Sub|(t t
}| = (t t
}}
Sub|(}| = Sub|| (}}
Sub|( }| = Sub|| Sub|| ( }}
Sub|( }| = Sub|| Sub|| ( }}
Sub|(v
n
}| = Sub|| (v
n
}}
Sub|(v
n
}| = Sub|| (v
n
}}
Ejemplo: si es la frmula (v
((v
} v
}s(]} = = = s(}
con lo cual se tiene que
N ((v
} v
}s(]},
y por lo tanto
N (v
((v
} v
}}s.
En la frmula anterior las variables v
y v
.
LGICA MATEMTICA - LENGUAJE, INTERPRETACIN Y VERDAD -
Dimos1v.ci Ejercicio.
Teorema . Sean una frmula y s, s
.
Dimos1v.ci Sea A el conjunto de las frmulas para las cuales vale la
conclusin para todo par de valuaciones s, s
}s ssi ts = t
= t
ssi N
(t t
}s
ssi
N (}s
. As, (} A.
Sean , A. N ( }s ssi N s y N s ssi (hip. ind.)
N s
y N s
ssi N ( }s
(n]a}(m}, pues
s(n]a}(n} = a = s
(m} = s
, , x
n
}
para una frmula, para sealar que sus variables libres estn todas en el
conjunto x
, , x
n
}. Similarmente, si a
, , a
n
N, usamos la notacin
N (a
, , a
n
} para expresar que al reemplazar todas las ocurrencias de x
i
por los valores a
i
vale la frmula en N.
.. Ms notaciones. Igualmente usamos la notacin (t
, , t
n
} si los t
i
son trminos para denotar la frmula que se obtiene al reemplazar todas las
ocurrencias de x
i
en (x
, , x
n
} por t
i
. OJO: este reemplazo puede fallar
si en los trminos t
i
ocurren variables ligadas de la frmula . Considere
por ejemplo lo confuso que es tener la funcin f (x} =
, , x
n
} si queremos hacer unreemplazo por trminos, primero cambia-
mos las variables ligadas para evitar repeticiones que generen la confusin
mencionada.
Defnicin . Una sentencia
{v
{v
(((v
} v
} ((v
} v
}}))).
Si a
, , a
n
Ny (x
, , x
n
} es una frmula, entonces reemplazar las va-
riables por los smbolos abreviados a
, , a
n
produce la sentencia (a
, , a
n
}.
No es difcil ver que
N (a
, , a
n
} ssi N (a
, , a
n
}.
Si t es un trmino cuyas variables estn en la lista x
, , x
n
escribimos
t(x
, , x
n
}. Si a
, , a
n
son nmeros naturales, la notacin t(a
, , a
n
} in-
dica el nmero natural que se obtiene al evaluar el trmino t dando a x
i
el
valor a
i
(i = , , n). Si t es un trmino cerrado (i.e., sin variables) se puede
hablar del valor del trmino t
N
- que resulta en este caso completamente in-
dependiente de las interpretaciones - por ejemplo el trmino cerrado t dado
por (( } } tiene valor t
N
igual al nmero .
Como sucede en el resto de la matemtica, una vez que un trmino o una
frmula est defnido, podemos usarlo como abreviatura. Por ejemplo, po-
demos suponer que x y est defnido por la frmula (v
((v
x} y}}...
y usar la abreviatura x y a partir de ah.
Nota: Sentencia en el sentido defnido es un anglicismo [sentence] que usamos ampliamente en Colombia.
En otros pases de Amrica Latina o en Espaa usan enunciado u oracin. Si usted se siente ms cmodo usando
alguna de esas palabras, hgalo.