Ejercicios de Lgica II

Daro Scattolini

200610052

19.1.
1. cLarger(a,x).
2. cLarger(cLarger(a,x),x).
3. cLarger(cLarger(cLarger(a,x),x),x).
4. cLarger(cLarger(cLarger(cLarger(a,x),x),x),x).
19.2
1. x Larger(a,x) Larger(a,cLarger(a,x)).
2. x Larger(cLarger(a,x),x) Larger(cLarger(a,x), cLarger(cLarger(a,x),x)).
3. x Larger(cLarger(cLarger(a,x),x),x) Larger(cLarger(cLarger(a,x),x), cLarger(cLarger(cLarger(a,x),x),x)).
4. x Larger(cLarger(cLarger(cLarger(a,x),x),x),x)
Larger(cLarger(cLarger(cLarger(a,x),x),x), cLarger(cLarger(cLarger(cLarger(a,x),x),x),x)).
19.3
Para demostrar que x(Cube(x)Small(x)) y yDodec(y) son consecuencias de primer orden
del conjunto de oraciones T hay que mostrar que si las oraciones del conjunto T son verdaderas,
entonces estas dos oraciones tambin lo son. Asumamos, entonces, que las oraciones de T son
verdaderas.
Sea M una estructura cualquiera tal que MT. Tenemos entonces que MCube(a) y
MSmall(a), por lo cual a es un objeto del dominio de M que pertenece a la extensin del predicado
Cube y a la del predicado Small. Mx(Cube(x)Small(x))[g] si para algn objeto b del dominio
de M, g[b/x] satisface Cube(x)Small(x). Dado que hay tal objeto (es decir, a, como hemos
demostrado), entonces Mx(Cube(x)Small(x))[g], por lo cual Mx(Cube(x)Small(x)).
Tenemos entonces que Mx(Cube(x)Small(x)) y Mx(Cube(x)Small(x))yDodec(y).
Pero si Mx(Cube(x)Small(x))yDodec(y), entonces la asignacin de variables vaca (g)
satisface x(Cube(x)Small(x))yDodec(y). Pero entonces, por la definicin de satisfaccin, g o
bien no satisface x(Cube(x)Small(x)) o bien satisface yDodec(y) (o ambas posibilidades a la
vez). Pero como Mx(Cube(x)Small(x), tenemos que g satisface x(Cube(x)Small(x)), de lo
cual se sigue que satisface yDodec(y). Finalmente, MyDodec(y).
19.4
Asgnese las letras proposicionales P, Q, R y S a las oraciones atmicas que aparecen en T de modo
tal que P corresponda a Cube(a), Q a Small(a), R a xCube(x)Small(x) y S a yDodec(y). De este
modo, T={P, Q, RS}. Asgnese adems la letra proposicional T a la oracin Dodec(c Dodec(y)).
Debemos mostrar que ni R, ni S, ni T son consecuencias tautolgicas de T, es decir, que las
oraciones de T pueden ser todas verdaderas a la vez que R, S y T son falsas. Demostraremos esto
mediante una tabla de verdad (que ha sido recortada de modo que tengamos slo las asignaciones de
verdad relevantes):

En la tabla podemos ver, por ejemplo, que en la ltima fila del recorte citado las oraciones de T son
todas verdaderas pero tanto R como S y como T son falsas. De este modo, estas tres oraciones no
son consecuencias tautolgicas de T.
19.5
La teora de Henkin para T contiene la siguiente oracin de la forma H2:
Cube(a)Small(a) x(Cube(x)Small(x))
y la siguiente de la forma H1:
yDodec(y)Dodec(cDodec(y))
Asignemos letras proposicionales a las oraciones de T y H como en el ejercicio anterior, de modo
tal que:
Cube(a)
P
Small(a)
Q
x(Cube(x)Small(x) R
)
S
yDodec(y)
Dodec(cDodec(y))
T
Con el aadido de esas dos oraciones de la teora de Henkin podemos mostrar que R, S y T son
consecuencias tautolgicas de P, Q, RS, (PQ)R y ST (es decir, de TH). Lo mostramos
utilizando una tabla de verdad completa, en la que slo una asignacin de verdad (representada en
la primera hilera) puede asignar VERDADERO a todas las oraciones de TH, y de la cual resulta
que tanto R como S como T tambin son verdaderos.

19.7
La teora de Henkin contiene todas las oraciones con la forma de los axiomas testigo de Henkin. En
consecuencia, contiene todos los axiomas testigos de Henkin con la siguiente forma: x(c=x)c=d,
en donde c representa a cualquier constante del lenguaje LH y d a la constante testigo
correspondiente a la fbf c=x, la cual es distinta de c. Dado que c es cualquier constante de LH,
entonces se verifica que para cada constante de LH podemos obtener una constante testigo diferente.
19.8
Tomemos los dos siguientes axiomas (con la forma H5) de la teora de Henkin:
(R(c,d)c=c)R(c,d)
(R(c,d)d=d)R(c,d)
Mostraremos que la oracin (R(c,d)c=cd=d)R(c,d) es una consecuencia tautolgica de
estos dos axiomas, y por tanto de H. Asignaremos letras proposicionales a las oraciones atmicas
del siguiente modo:
R(c,d)
P
c=c
Q
R(c,d) R
d=d
S
R(c,d) T
De este modo, tenemos que probar que si (PQ)R y (RS)T son verdaderas, entonces tambin
lo es (PQS)T. Para ello usamos la siguiente tabla de verdad:

Podemos notar que slo hay dos asignaciones de verdad que pueden hacer falsa a (PQS)T
(representadas en la segunda y la sexta fila), ninguna de las cuales asigna verdadero a los dos
axiomas de Henkin a la vez, por lo que (PQS)T es una consecuencia tautolgica de esos
axiomas.

19.9
Supongamos que S es una consecuencia de primer orden de TH. Sea M una estructura en la que
todas las oraciones de T son verdaderas. Por la proposicin 3, M hace verdaderas a todas las
oraciones de H. Por lo tanto, M hace verdadero a TH. Dado que S es una consecuencia de primer
orden de TH, S es verdadero en M. Entonces si M hace verdadero a T, tambin hace verdadero a
S, por lo que S es una consecuencia de primer orden de T.
19.10

19.11

19.12

19.13

19.14 (Demostracin realizada en la exposicin de la prueba de completitud)

19.15 (Demostracin realizada en la exposicin de la prueba de completitud)
19.16

19.17

19.18

19.19
Las oraciones son las siguientes:

x (Cube(x) Small(x))
x Cube(x)
x Cube(x) Cube(c)
x (Dodec(x) Small(x)) (Dodec(d) Small(d))
Small(c) x Small(x)
(Cube(c) Small(c)) x (Cube(x) Small(x))
x (Cube(x) Small(x)) x (Cube(x) Small(x))
Dodec(d) Small(d)
Los objetos del dominio de la estructura Mh sern las clases de
equivalencias [c] y [d] con respecto a la relacin . Se interpreta a
la constante c como designando la clase de equivalencia [c], y a la
constante d como designando la clase de equivalencia [d]. Las
extensiones de los predicados Cube, Small y Dodec son las clases
de equivalencia cuyas constantes correspondientes, al ser
argumentos de esos predicados, hacen que h asigne
VERDADERO a las oraciones resultantes.
Un mundo representado por esta estructura podra ser el siguiente:

19.20
Utilizaremos una tabla de verdad para mostrar que si determinados axiomas de la teora de Henkin
son verdaderos, entonces las oraciones c=c, c=dd=c, y (c=dd=e)c=e son verdaderas, y por
tanto consecuencias tautolgica de H. Asignaremos letras proposicionales a las oraciones atmicas
del siguiente modo:
c=c P
c=d Q
d=c R
d=e S
c=e T
e=c U
e=e V
Los axiomas de H que utilizaremos son:
(H4) c=c
P
(H4) e=e
V
(H5) (c=cc=d)d=c
(PQ)R
(H5) (d=cd=e)e=c
(RS)U
(H5) (e=ee=c)c=e
(VU)T
Sabemos que c=c [P] es verdadera si H es verdadera, ya que es uno de los axiomas de Henkin.
Probemos entonces que tambin c=dd=c [QR] y (c=dd=e)c=e [(QS)T] son verdaderas.
Para simplificar la tabla, dado que P y V son axiomas de H cuya verdad debemos asumir para
nuestra prueba, eliminaremos de la tabla las hileras que asignan FALSO a estas oraciones atmicas:

Ntese que en todos los casos en los QR y (QS)T son falsos (los que estn encerrados en un
rectngulo) tambin al menos uno de los axiomas de Henkin es falso. Por lo tanto, cuando los
axiomas de Henkin son verdaderos, QR y (QS)T tambin son verdaderos, por lo que son
consecuencias tautolgicas de H.
19.21
1. 0
2. 0
3. 1
4. 4
5. 5
6. 0
7. 4
19.22 (Demostracin realizada en la exposicin de la prueba de completitud)
19.23 (Demostracin realizada en la exposicin de la prueba de completitud)