Captulo 11

Tableaux para lgica de

primer orden

11.1. Introduccin
Ya hemos visto los tableaux para la lgica proposicional (frmulas construi-
das a partir de tomos usando slo las conectivas booleanas , , , , ).
Ahora extenderemos este trabajo a la lgica de predicados (de primer orden)
Slo necesitamos aadir algunas reglas para lidiar con los cuantificadores y la
identidad.
De todos modos, la construccin de un tableau (si hay alguno) para una
frmula ya no ser automtica.

11.1.1. Contenidos
Revisin rpida de la lgica de primer orden
Reglas de Tableau para la lgica de primer orden
Ejemplos
Correccin y completud
Dificultades del caso de primer orden
Conclusin.

11.2. Nuevas reglas de tableau para la lgica de

predicados
Sea L un lenguaje con un nmero infinito de constantes, y sea A una L-
frmula. Hacemos un tableau para A empezando con A y aplicando las reglas de
los tableau.
Las reglas son exactamente las de la lgica proposicional, con dos reglas mas
para los cuantificadores (y dos reglas mas para la identidad vase mas tarde):

159
160 CAPTULO 11. TABLEAUX PARA LGICA DE PRIMER ORDEN

-reglas:
1. Si t es un trmino cerrado y x una variable, entonces de xA(x) podemos
deducir A(t).
2. Si t es un trmino cerrado y x una variable, de xA(x) podemos deducir
A(t).
-reglas: sea x una variable.
1. De xA(x) podemos deducir A(c) para cualquier constante c L que no haya
sido usada an en la rama.
2. De xA(x) poemos deducir A(c) para cualquier constante c L que no
haya sido usada an en la rama.

11.3. Ejemplos
Practiquemos con las nuevas - y -reglas.

11.3.1. Un ejemplo sencillo

Este es un tableau para xyP xy.
1. xyP xy
2. yP cy 1
3. P cd 2
Notas

La lnea 2 se obutvo de la lnea 1 usando la -regla de xA(x) se deduce

A(t) para cualquier trmino cerrado t. Aqu, A(x) era yP xy. Eleji-
mos que t fuese una constante, c. (Podramos haber usado cualquier otro
trmino cerrado.)

La lnea 3 se obtuvo de la lnea 2 aplicando la -regla de yA(y) se de-

duce A(c) donde c es una constante nueva. Aqu, A(y) era P cy. Usamos
la constante nueva d. No podamos haber usado c porque ya haba sido
previamente usada en la rama (lnea 2).

11.3.2. Otro tableau para xyP xy

Podramos haber seguido aplicando las reglas:
1. xyP xy
2. yP cy 1
3. P cd 2
4. yP dy 1
5. yP f (c, a, d), y 1
6. P de 4
7. P f (c, a, d), b 5
es tambin un tableau para xyP xy, y as sucesivamente.
Cmo sabemos cundo tenemos que parar?
11.3. EJEMPLOS 161

Intentamos cerrar el tableau, como en la lgica proposicional. Paramos cuando

todas las ramas estn cerradas (contienen una contradiccin explcita).
Desde luego, puede ocurrir que no seamos lo suficientemente listos como para
conseguir cerrarlo Vase mas tarde.

11.3.3. ` para la lgica de predicados

Sea A una sentencia. Escribimos ` A si existe un tableau cerrado para A.
Esto es como en la lgica proposicional.

Ejemplo 109 Probamos ` xP x xP x.

1. (xP x xP x)

2. xP x 1
3. xP x 1
4. Pc 2
5. xP x 3
6. P c 5
cerrado(4,6)

Notas

xP x xP x es obviamente vlida.

Las antiguas reglas proposicionales (aqu, ) tambin se usan.

Mejor usar las -reglas antes que las -reglas, puesto que tienen restric-
ciones.

11.3.4. Las -reglas son mas difciles de aplicar que las

-reglas
En la lnea 4, la constante c deba ser nueva en la rama. (Sin problemas
no se ha usado todava ninguna constante!)
Una constante nueva es como cualquier otra. Por lo tanto no importa cul
usemos. Una vez que decidimos aplicar una -regla a una frmula, hay
esencialmente una nica forma de hacerlo.

En la lnea 6, podramos haber sustituido x por cualquier trmino cerrado

en la frmula xP (x).
Por qu elejimos c?
Esta es una cuestin profunda. La respuesta es: nos dimos cuenta de que
nos poda servir para cerrar el tableau! La prctica ayuda a hacer esto.
Pero no hay un mtodo general (algoritmo) para hacerlo. Despus habla-
remos ms de esto.
162 CAPTULO 11. TABLEAUX PARA LGICA DE PRIMER ORDEN

11.3.5. Otro tableau cerrado

Probamos ` xyCxy yxCxy.
1. (xyCxy yxCxy)
2. xyCxy 1
3. yxCxy 1
4. yCay 2
5. xCxb 3
6. Cab 4
7. Cab 5
cerrado(6,7)
Notas

En la lnea 4, la constante a tena que ser nueva en la rama. (Sin proble-

mas!)

En la lnea 5, la constante b tena que ser nueva en la rama. No podamos

haber usado a.

En la lnea 6, podemos usar un trmino cerrado para sustituir y en yCay

(lnea 4). Miramos la lnea 5 y conjeturamos b, con la esperanza de cerrar
el tableau.

En la lnea 7, podemos usar cualquier trmino cerrado para sustituir y en

xCxb (lnea 5). Elejmos a, para cerrar el tableau.

11.3.6. Y otro tableau cerrado

Probamos ` x(P x Qx) xP x xQx.
1. (x(P x Qx) xP x xQx)
2. x(P x Qx) 1
3. (xP x xQx) 1
4. xP x 3
5. xQx 3
6. P c Qc 2
X X
XX
7. P c 6 9. Qc 6
8. P c 4 10. Qc 5
cerrado(7,8) cerrado(9,10)

11.4. Reglas de Tableau para la igualdad

1. Podemos introducir t = t en una rama, en cualquier momento, para cual-
quier trmino cerrado t.

2. Si A(x) es atmica y t, son trminos cerrados, entonces de A(t) y = t

(o bien t = ) podemos deducir A( ).
11.4. REGLAS DE TABLEAU PARA LA IGUALDAD 163

Es decir, podemos sustituir un trmino cerrado por otro en una frmula

atmica si hemos probado que son iguales.
(Esta regla no se limitar a las frmulas atmicas; es decir, A(t) pudiera
no serlo)
Y esto es todo!

11.4.1. Ejemplo
Probamos ` x(x = x).
1. x(x = x)
2. (c = c) 1
3. c = c =
cerrado(2,3)

Similarmente probamos ` x(x = x).

1. x(x = x)
2. (c = c) 1
3. c = c =
cerrado(2,3)
Escribimos = para justificar la regla 1.

11.4.2. Otro ejemplo

Probamos ` xy(x = y y = x).
1. xy(x = y y = x)
2. y(c = y y = c) 1
3. (c = d d = c) 2
4. c = d 3
5. (d = c) 3
6. c = c =
7. d = c =(4,6)
cerrado(6,7)
La lnea 7 se obtuvo sustituyendo d por c en la lnea 6, usando la lnea 4
(c = d) y =-regla 2. En este uso de la igualdad aplincando la regla 2,
t es c
es d
t = es c = d lnea 4
A(x) es x = c esto es atmico, como requiere la regla.
A(t) es c = c lnea 6
A( ) es d = c lnea 7.
164 CAPTULO 11. TABLEAUX PARA LGICA DE PRIMER ORDEN

11.5. Correccin y completud

Como en la lgica proposicional puede mostrarse que

Teorema 110 Para toda L-sentencia A : A es vlida syss ` A.

No probaremos esto formalmente. La idea de la prueba es la misma que en

la lgica proposicioanl, pero mas complicada porque una rama abierta podra
ser infinita, y por la presencia de trminos y de la igualdad Vase un libro de
texto para los detalles.

11.6. Ejercicios
Probad lo siguiente construyendo tableaux cerrados:

1. xyCxy ` xyCyx.
2. x(yF xy Gbx), xyF yx ` xGxx.
3. xy(zF yz F xy), F ab ` yxF yx.
4. xy(P xy P yx) ` xP xx.
5. x(Gx Hx), x(Hx F x), Ga ` x(Gx F x).
6. Cb Cc, Ca xCx ` Ca.
7. xF xb xGx, xF ax ` x(Hxc Gx).
8. xy(zAyz Axy), Att ` Ats.
9. xy(Ayx Cxy), Awh ` xChx.
10. xy(Cx P y Axy) ` x(Cx y(P y Axy)).
11. xy(Cx P y Axy) ` x(Cx y(P y Axy)).
12. Ga, x(Gx M x), x(M x F x) ` x(Gx F x).
13. x(Sx F x Bx), Sj Lj ` x(Sx Lx F x) Bj.
14. x(Bxa Bxb) ` x(y(Cxy Bya) z(Bzb Cxz)).
15. x(Cx F x) ` x(y(T xy Cy) z(T xz F z)).
16. x(Bxh Bxw) ` x(y(Bxh M yx) z(Bxw M zx)).
17. x(Rx Bx Cx), x(Gx Cx) ` x(Rx Bx Gx).
18. x(Sx M x y(Gy M y Dy) Cx), x(Gx Dx M x y(Gy
M y Dy)) ` xy((Sx M x) (Gy Dy M y) Cx).
11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS 165

19. x(Gx P x Rx), x(F x T x) ` (x(P x Rx F x) x(Gx

T x)).
20. x(Cxj Cxm Bxm), x(Cxm Bxm) ` x(Cxm Cxj).

11.7. Solucin a los ejercicios propuestos

(1).- xyCxy ` xyCyx.

1. xyCxy
2. xyCyx
3. yCby 1
4. yCya 2
5. Cba 4
6. Cba 3
closed(5,6)

(2).- x(yF xy Gbx), xyF yx ` xGxx.

1. x(yF xy Gbx)
2. xyF yx
3. xGxx
4. yF by Gbb 1
5. yF yb 2
6. F bb 5
7. Gbb 3
XXX

X
X
8. yF by 4 10. Gbb 4
9. F bb 8 closed(7,10)
closed(6,9)

(3).- xy(zF yz F xy), F ab ` yxF yx.

1. xy(zF yz F xy)
2. F ab
3. yxF yx
4. xF cx 3
5. F ca 4
6. y(zF yz F cy) 1
7. zF az F ca 6
XXX
X
X
8. zF az 7 10. F ca 7
9. F ab 8 closed(5,10)
closed(2,9)
166 CAPTULO 11. TABLEAUX PARA LGICA DE PRIMER ORDEN

(4).- xy(P xy P yx) ` xP xx.

1. xy(P xy P yx)
2. xP xx
3. P aa 2
4. y(P ay P ya) 1
5. P aa P aa 4
XXXX

6. P aa 5 7. P aa 5
closed(3,6) closed(3,7)

(5).- x(Gx Hx), x(Hx F x), Ga ` x(Gx F x).

First version:
1. x(Gx Hx)
2. x(Hx F x)
3. Ga
4. x(Gx F x)
5. Ga Ha 1
((hhhhh
(((( h
6. Ga 5 7. Ha 5
8. Ha F a 2
closed(3,6)
```
``
9. Ha 8 10. F a 8
11. (Ga F a) 4
closed(7,9) XXX
X
12. Ga 11 13. F a 11
closed(3,12) closed(10,13)

Second version:
1. x(Gx Hx)
2. x(Hx F x)
3. Ga
4. x(Gx F x)
5. (Ga F a) 4
((hhhhh
(((( h
6. Ga 5 7. F a 5
8. Ga Ha 1
closed(3,6) ````
`
9. Ga 8 10. Ha 8
11. Ha F a 2
closed(3,9) XXX
X
12. Ha 11 13. F a 11
closed(10,12) closed(7,13)
11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS 167

(6).- Cb Cc, Ca xCx ` Ca.

1. Cb Cc
2. Ca xCx
3. Ca
4. Cb 1
5. Cc 1
XXX
X
6. Ca 2 7. xCx 2
closed(3,6) 8. Cb 7
closed(4,8)

(7).- xF xb xGx, xF ax ` x(Hxc Gx).

1. xF xb xGx
2. xF ax
3. x(Hxc Gx)
XXX
X
X
4. xF xb 1 7. xGx 1
5. F ab 4 8. (Hdc Gd) 3
6. F ab 2 9. Hdc 8
closed(5,6) 10. Gd 8
11. Gd 7
closed(10,11)

(8).- xy(zAyz Axy), Att ` Ats.

1. xy(zAyz Axy)
2. Att
3. Ats
4. y(zAyz Aty) 1
5. zAtz Att 4
XXX
X
X
6. zAtz 5 8. Att 5
7. Ats 6 closed(2,8)
closed(3,7)

(9).- xy(Ayx Cxy), Awh ` xChx.

1. xy(Ayx Cxy)
2. Awh
3. xChx
4. y(Ayh Chy) 1
5. Aah Cha 4
6. Aah 5
7. Cha 5
8. Cha 3
closed(7,8)
168 CAPTULO 11. TABLEAUX PARA LGICA DE PRIMER ORDEN

(10).- xy(Cx P y Axy) ` x(Cx y(P y Axy)).

1. xy(Cx P y Axy)
2. x(Cx y(P y Axy))
3. (Ca y(P y Aay)) 2
4. Ca 3
5. y(P y Aay) 3
6. y(Ca P y Aay) 1
7. Ca P b Aab 6
XXXX

X
8. Ca 7 9. P b Aab 7
closed(4,8) 10. (P b Aab) 5
closed(9,10)

(11).- xy(Cx P y Axy) ` x(Cx y(P y Axy)).

1. xF x xGx
2. x(Gx F x)
3. (Ga F a) 2
4. Ga 3
5. F a 3
XXX
XX
6. xF x 1 8. xGx 1
7. F a 6 9. Ga 8
closed(5,7) closed(4,9)

(12).- Ga, x(Gx M x), x(M x F x) ` x(Gx F x).

1. Ga
2. x(Gx M x)
3. x(M x F x)
4. x(Gx F x)
5. Gb M b 2
6. Gb 5
7. M b 5
8. M b F b 3
````
`
9. M b 8 10. F b 8
11. (Gb F b) 4
closed(7,9) XXX
X
12. Gb 11 13. F b 11
closed(6,12) closed(10,13)
11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS 169

(13).- x(Sx F x Bx), Sj Lj ` x(Sx Lx F x) Bj.

1. x(Sx F x Bx)
2. Sj Lj
3. (x(Sx Lx F x) Bj)
4. x(Sx Lx F x) 3
5. Bj 3
6. Sj Lj F j 4
(( ( (hhhh
(((( hhhh
7. (Sj Lj) 6 8. F j 6
9. Sj F j Bj 1
closed(2,7) ((hhhhh
(((( h
10. (Sj F j) 9 15. Bj 9
XXX
X closed(5,15)
11. Sj 10 14. F j 10
12. Sj 2 closed(8,14)
13. Lj 2
closed(11,12)

(14).- x(Bxa Bxb) ` x(y(Cxy Bya) z(Bzb Cxz)).

1. x(Bxa Bxb)
2. x(y(Cxy Bya) z(Bzb Cxz))
3. (y(Ccy Bya) z(Bzb Ccz)) 2
4. y(Ccy Bya) 3
5. z(Bzb Ccz) 3
6. Ccd Bda 4
7. Ccd 6
8. Bda 6
9. (Bdb Ccd) 5
((hhhhh
((((
( hh
10. Bdb 9 14. Ccd 9
11. Bda Bdb 1
XXX closed(7,14)
X
12. Bda 11 13. Bdb 11
closed(8,12) closed(10,13)
170 CAPTULO 11. TABLEAUX PARA LGICA DE PRIMER ORDEN

(15).- x(Cx F x) ` x(y(T xy Cy) z(T xz F z)).

1. x(Cx F x)
2. x(y(T xy Cy) z(T xz F z))
3. (y(T ay Cy) z(T az F z)) 2
4. y(T ay Cy) 3
5. z(T az F z) 3
6. T ab Cb 4
7. T ab 6
8. Cb 6
9. (T ab F b) 5
````

`
`
10. T ab 9 11. F b 9
12. Cb F b 1
closed(7,10)
XXX
X
13. Cb 12 14. F b 12
closed(8,13) closed(11,14)

(16).- x(Bxh Bxw) ` x(y(Bxh M yx) z(Bxw M zx)).

1. x(Bxh Bxw)
2. x(y(Bxh M yx) z(Bxw M zx))
3. (y(Bah M ya) z(Baw M za)) 2
4. y(Bah M ya) 3
5. z(Baw M za) 3
6. Bah M ba 4
7. Bah 6
8. M ba 6
9. Bah Baw 1
````
`
10. Bah 9 11. Baw 9
12. (Baw M ba) 5
closed(7,10) X X
XX
13. Baw 12 14. M ba 12
closed(11,13) closed(8,14)

(17).- x(Rx Bx Cx), x(Gx Cx) ` x(Rx Bx Gx).

11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS 171

1. x(Rx Bx Cx)
2. x(Gx Cx)
3. x(Rx Bx Gx)
4. (Rc Bc Gc) 3
5. Rc Bc 4
6. Gc 4
7. Rc Bc Cc 1
(( ( (hhhh
(( hh
8. (Rc Bc) 7 9. Cc 7
10. (Gc Cc) 2
closed(5,8) XXX
X
11. Gc 10 12. Cc 10
closed(6,11) closed(9,12)
 172 CAPTULO 11. TABLEAUX PARA LGICA DE PRIMER ORDEN

(18).- x(Sx M x y(Gy M y Dy) Cx), x(Gx Dx M x

y(Gy M y Dy)) ` xy((Sx M x) (Gy Dy M y) Cx).
1. x(Sx M x y(Gy M y Dy) Cx)
2. x(Gx Dx M x y(Gy M y Dy))
3. xy((Sx M x) (Gy Dy M y) Cx)
4.y((Sa M a) (Gy Dy M y) Ca)3
5.((Sa M a) (Gb Db M b) Ca) 4
6.(Sa M a) (Gb Db M b) 5
7.Ca 5
8.Sa M a 6
9.Gb Db M b 6
10.
Gb Db M b y(Gy M y Dy) 2
( ( ( (hhhh
(((( hhhh
( (( hhh
11. (Gb Db M b) 10 12. y(Gy M y Dy) 10
13. (Sa M a) y(Gy M y Dy) Ca 1
closed(9,11) (hhhh
(((( hhh
(((( h
h
14. ((Sa M a) y(Gy M y Dy)) 13 17. Ca 13
((hhhhh
((((
( h
h closed(7,17)
15. (Sa M a) 14 16. y(Gy M y Dy) 14
closed(8,15) closed(12,16)

(19).- x(Gx P x Rx), x(F x T x) ` (x(P x Rx F x)

x(Gx T x)).
1. x(Gx P x Rx)
2. x(F x T x)
3. (x(P x Rx F x) x(Gx T x))
4. x(P x Rx F x) 3
5. x(Gx T x) 3
6. (Gc T c) 5
7. Gc 6
8. T c 6
9. Gc P c Rc 1
( (( ((hhhhh
(( hh
10. Gc 9 11. P c Rc 9
12. P c Rc F c 4
closed(7,10)
( ( ( ((hhhhh
( h
13. (P c Rc) 12 14. F c 12
15. F c T c 2
closed(11,13) XXX
X
16. F c 15 17. T c 15
closed(14,16) closed(8,17)
11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS 173

(20).- x(Cxj Cxm Bxm), x(Cxm Bxm) ` x(Cxm Cxj).

1. x(Cxj Cxm Bxm)
2. x(Cxm Bxm)
3. x(Cxm Cxj)
4. Cqm Bqm 2
5. Cqm 4
6. Bqm 4
7. (Cqm Cqj) 3
( (( ((hhhhh
((( hhh
8. Cqm 7 9. Cqj 7
10. Cqj Cqm Bqm 1
closed(5,8) ( ( (hhh
(( ( h hh
11. (Cqj Cqm) 10 14. Bqm 10
XXXX
closed(6,14)
12. Cqj 11 13. Cqm 11
closed(9,12) closed(5,13)

11.7.1. Ejercicios propuestos sin solucin

Demostrad mediante tableaux:

1. uv((Ru Rv) u = v) xRx ` yx(Rx x = y)

2. xy(Rxy f x = y) ` xyz(Rxy Rxz y = z)

3. xy(Rx x = y) ` uv(Ru Rv u = v)

4. x(P x Qx), x(P x Rx) ` x(Rx Qx)

5. x(F x Ra) ` xF x Ra

6. xy (F xy F yx) ` xyF xy

7. xP x Qa ` x (P x Qa)

8. x(P x Rx) ` xP x xRx

9. x(M xa M xb), x(M xa M xc) ` x(M xb M xc)

10. {a = b a = c, b = c} ` xa = x

11. {xyf x = y, xyz(Rxy Ryz Rxz)} ` xyz(Rxf xy Rf yxz Rxz)

12. {x(Rx f x = a), xRx} ` f a = a

13. x(Ox y(Ry Exy), x(Ox y(Hy Exy), xOx} ` x(Hx

Rx)
174 CAPTULO 11. TABLEAUX PARA LGICA DE PRIMER ORDEN

11.7.2. Ejercicios de formalizacin y deduccin en primer

orden
EJERCICIO 1.-

1. Formalizad en primer orden:

Si todos los justos (Jx x es justo) merecen el respeto de sus
compatriotas (Rx x merece el respeto de sus compatriotas), entonces
Cipriano (c Cipriano) mereci su destino (Dx x merece su destino).
Todos los magnnimos (M x x es magnnimo) y slo ellos, merecen
el respeto de sus compatriotas. Todos los magnnimos son justos.
Por consiguiente,
Cipriano mereci su destino.
2. Es correcto el razonamiento?. Justifica tu respuesta deduciendo la conclu-
sin de las hiptesis en un clculo deductivo o (en su caso) mediante una
prueba de independencia. (Nota: en el primer caso, demuestra {, , } `
. en el segundo, demuestra que {, , } 2

EJERCICIO 2.-

1. Formaliza en primer orden. Usando las siguientes claves: Dx x es un

demcrata. Lx x es un liberal. Sx x es un socialista. Cx x es un
conservador. Rx x acepta la revolucin industrial. P x x defiende la
institucin de la propiedad privada de los medios de produccin. M x x
defiende el establecimiento de una economa de mercado autorregulada.
T x x defiende la conversin del trabajo en mercanca
En el siglo XIX un demcrata poda ser tanto liberal como socialista.
Los liberales aceptaban la revolucin industrial y defendan la institucin
de la propiedad privada de los medios de produccin, el establecimiento
de una economa de mercado autorregulada y la conversin del trabajo
en mercanca. Los socialistas aceptaban tambin la revolucin industrial,
pero rechazaban esos tres puntos de la ideologa liberal. Los conservadores,
por su parte, rechazaban la revolucin industrial. De ello se desprende que
ni los liberales ni los socialistas eran conservadores, que ningn liberal era
socialista y que ningn conservador era demcrata.
2. Es correcto el razonamiento?. Justifica tu respuesta deduciendo la con-
clusin de las hiptesis en un clculo deductivo o (en su caso) mediante
una prueba de independencia.

EJERCICIO 3.-

1. Formaliza en primer orden.

Todos los escritores (Ex x es un escritor) que comprenden la naturaleza
humana (Cx x comprende la naturaleza humana) son inteligentes (Ix
x es inteligente).
Nadie es verdadero poeta (P x x es un verdadero poeta) a menos que
11.8. REFERENCIAS BIBLIOGRFICAS 175

pueda mover los corazones de los hombres (M x x puede mover los

corazones de los hombres).
Shakespeare (a Shakespeare) escribi (E 2 xy x escribe y) Hamlet (b
Hamlet).
Ningn escritor que no comprenda la naturaleza humana puede mover los
corazones de los hombres.
Nadie sino un verdadero poeta poda haber escrito Hamlet.
Shakespeare era inteligente.
2. Es correcto el razonamiento?. Justifica tu respuesta deduciendo la con-
clusin de las hiptesis en un clculo deductivo o (en su caso) mediante
una prueba de independencia.

EJERCICIO 4.-

1. Formalizad en porimer orden.

Slo hay un sofista (Sx x es un sofista) que ensea gratuitamente
(Gx x ensea gratuitamente), y ste es Scrates (a Scrates). Scras-
tes argumenta mejor que (A2 xy x argementa mejor que y) ningn otro
sofista. Platn (b Platn) argumenta mejor que algn sofista que ensea
gratuitamente. Si una persona argumenta mejor que otra segunda, enton-
ces esta segunda no argumenta mejor que la primera. Por consiguiente,
Platn no es un sofista.
2. Es correcto el razonamiento?. Justifica tu respuesta deduciendo la con-
clusin de las hiptesis en un clculo deductivo o (en su caso) mediante
una prueba de independencia.

EJERCICIO 5.-

1. Formaliza en primer orden. Usa las claves de formalizacin siguientes: a

Lancelot. b Ginebra. c Arturo. Axy x ama a y. Bxy x es amigo
de y
Lancelot ama a la Reina Ginebra.
Lancelot no ama a ninguno de sus amigos.
El Rey Arturo es amigo de Lancelot.
Los amigos de Lancelot odian a aquellos a quienes Lancelot ama.
Por consiguiente,
El Rey Arturo odia a la Reina Ginebra.
2. Es correcto el razonamiento?. Justifica tu respuesta deduciendo la con-
clusin de las hiptesis en un clculo deductivo o (en su caso) mediante
una prueba de independencia.

11.8. REFERENCIAS BIBLIOGRFICAS

Vase 4.8