Вы находитесь на странице: 1из 6

LGICA MATEMTICA - LENGUAJE, INTERPRETACIN Y VERDAD -

JOUKO VNNEN - TRAD. LIBRE A. VILLAVECES


. H.ci. i. icomvii1i1Uu ui i. .vi1mi1ic.
La lgica se caracteriza por centrar su atencin en el lenguaje y la impor-
tancia de expresiones lingsticas. Si Aes un conjunto de nmeros reales, una
pregunta natural en lgica es si es defnible mediante una frmula, o incluso
si es conjunto de soluciones de una ecuacin. Esas preguntas pueden tener
signifcado matemtico. Por ejemplo, la medibilidad de Apuede desprender-
se de saber que A es defnible de cierta manera especfca.
Enfocar el lenguaje lleva a hacer una distincin importante entre sintaxis
y semntica. De manera burda, se puede decir que la sintaxis se refere a la
estructura de una sentencia como hilera de smbolos mientras que la semn-
tica de la sentencia se refere a expresar la oposicin entre verdad y falsedad,
estructuralmente.
Revisemos la sintaxis y la semntica para clarifcar la diferencia en la ex-
presin algebraica
x

+ 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

JOUKO VNNEN - TRAD. LIBRE A. VILLAVECES


un conjunto no defnible de nmeros naturales (teorema de la indefnibilidad
de la verdad de Alfred Tarski).
. Avi1mi1iz.ci ui i. si1.xis
En esta seccin, los nombres de nmeros naturales los tratamos de manera
independiente de sus signifcados. En esta etapa, tratamos expresiones como

como si fueran nmeros distintos: estamos por ahora construyendo el


lenguaje.
Sean , , , , (, }, v

, v

smbolos distintos entre s. La convencin


es que
, designan los nmeros y .
, designan la suma y la multiplicacin.
(, } parntesis
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

son trminos, , son frmulas y


n N.
.. Evaluar trminos, interpretar frmulas. Entra poco a poco la se-
mntica: evaluamos trminos e interpretamos frmulas en la estructura
(N, +, , , }.
Si en el trmino no aparecen variables, se puede de manera natural evaluar
llevando a cabo los clculos del caso:
(( } ( }} (( + } ( + }} = .
Si en el trmino s aparecen variables, no podemos dar un valor fjo - el
valor depende de la variacin de las variables a lo largo de los naturales. Lla-
mamos funcin interpretacin a cualquier s N N. El valor interpretado
mediante s del trmino t se defne as:
s =
s =
v
n
s = s(n}
(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

}}, y la funcin interpretacin


s est dada por s(n} = n + , entonces (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

ocurren de maneras muy


distintas: la variable v

ocurre ligada (pues est bajo el alcance del cuantif-


cador existencial) y la variable v

ocurre libre pues no queda bajo el alcance


de ningn cuantifcador. Esto es anlogo a lo que ocurre cuando en Clculo
decimos (x} =
b
a
f (x, y}dy. El rol de x es muy distinto del de y: como in-
tegramos con respecto a y, la variable y como tal desaparece y la funcin
depende solamente de x.
Algunos hechos con respecto a las variables que ocurren en trminos u
ocurren libres en frmulas:
Lema . Sean t un trmino y s y s

funciones de evaluacin tales que s(n} =


s

(n} siempre que v


n
ocurre en el trmino t. Entonces ts = ts

.
LGICA MATEMTICA - LENGUAJE, INTERPRETACIN Y VERDAD -
Dimos1v.ci Ejercicio.
Teorema . Sean una frmula y s, s

funciones de evaluacin tales que


s(n} = s

(n} siempre que v


n
ocurre libre en la frmula . Entonces
N s ssi s

.
Dimos1v.ci Sea A el conjunto de las frmulas para las cuales vale la
conclusin para todo par de valuaciones s, s

. Es sufciente demostrar por


induccin que A es cerrado bajo las construcciones de frmulas.
N (t t

}s ssi ts = t

s ssi (por el lema) ts

= t

ssi N
(t t

}s

. Entonces A contiene todas las atmicas.


Sea A. N (}s ssi N ] s ssi (hip. ind.) N ] 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

. De manera similar con


( }. Se concluye que ( } y ( } pertenecen a A.
Sean A y n N. Supongamos primero que N (v
n
}s, es
decir para algn a N se tiene N s(n]a}. Si v
m
es una varia-
ble que ocurre libre en entonces s(n]a}(m} = s

(n]a}(m}, pues
s(n]a}(n} = a = s

(n]a}(n} y en el otro caso s(n]a}(m} = s(m} =


s

(m} = s

(n]a}(m}. Por lo tanto, por la hiptesis de induccin, N


s

(n]a}, de lo cual se sigue por la defnicin de verdad de Tarski


que N (v
n
}s

(n]a}. La direccin opuesta, al igual que el caso


del cuantifcador universal, se demuestran de manera similar.

Este teorema muestra que en realidad el valor de verdad de una frmula


solamente depende de las interpretaciones de sus variables libres. De ah se
sigue que tiene sentido la notacin
(x

, , 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} =

g(x, t}dt y ahora


el trmino h(t} = f (

t}... ! La convencin es entonces que en una frmula


JOUKO VNNEN - TRAD. LIBRE A. VILLAVECES
(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

es una frmula en la cual no ocurren variables


libres.
Se puede entonces decretar, en el caso de una sentencia ,
N
si y solo si N s, para alguna (y por lo tanto para toda) s. Si una sentencia
es tal que N se dice que es una sentencia verdadera. Expresa un hecho
verdadero de la teora de nmeros. Un ejemplo de sentencia verdadera es
[v

{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.

Вам также может понравиться