Formas Lógicas.

Erratas y correcciones

donde dice debe decir

[pág. 6 Primera edición: noviembre de 2008 Primera edición: octubre de 2003. Segunda edición: noviembre de 2008]
pág. 12 (nada) Pilar Castrillo Criado es autora de los capítulos I, II, III, V y VI y
Amparo Díez Martínez de los capítulos IV y VII.
pág. 29, ej. 7 la premisa sea verdadera las premisas sean verdaderas
pág.60 I(p  q)  p) =0 I((p  q)  p) =0
pág. 63, ej. 1 b) [(p → (¬q→ r)  (p ¬q)] → r b) [(p → (¬q→ r))  (p ¬q)] → r
pág. 81 9 r RE 2, 3-4, 5-6 9 r RE 3, 4-6, 7-8
pág. 83, -2 (r r
pág. 84 supuesto r y supuesto (q supuesto r y supuesto q
pág. 84 7 q RI 4 7 q RI 4,6
pág. 84, ej. 2 p→(st), p, s→p, p→t − q (pr)→(st), p, s→p, p→t − q
pág. 85 16 q RI 14 16 q RI 14,15
pág. 98, ej. Contr. 5 5
6 X RI 3 6 X RI 3
7 Y→X RI→ 2,6 7 Y→X RI→ 2,6
pág. 99 6 6
7 Y RE 6 7 Y RE 6
8 X→Y RI→ 2,7 8 X→Y RI→ 2,7
pág. 101 11 r S 11 r S
12 (pq) S 12 (pq) S
13 r RE→ 1,12 13 r RE→ 1,12
14 rr RI 11,13 14 rr RI 11,13
pág. 109, ej. 14 4.1 p (1) 4.2 q (1) 4.1 p (1) 4.2 q (1)
pág. 109 tipo (, así evitaremos tipo  así evitaremos
pág. 110 4.211 p 4.212 (qr)→(r→p) (1) 5.211 p 5.212 (qr)→(r→p) (1)
pág. 110 1-2-3.2-4.21-4.211 1-2-3.2-4.21-5.211
pág. 111 4.1 p (1) 4.2 q (1) 5. 1 p (1) 5.2 q (1)
 completa y abierta cierra con 2 completa y abierta completa y abierta

pág. 117, ej. 26 c) falso c) verdadero

pág. 135 e) Vx (Lx → Dx) → Vx Lx → VxDx e) Vx (Lx  Dx) → (Vx Lx → VxDx)
pág. 137, ej. 8 Hallar una estructura en la que sean falsas las Para cada una de estas fórmulas, hallar una estructura
siguientes fórmulas: en la que sea falsa:
a) x (Fx  Gx) → x Fx  x Gx a) x (Fx  Gx) → (x Fx  x Gx)
pág. 145 (29a) x (Lx  Mx) → Axa] (29a) x [(Lx  Mx) → Axa]
pág. 147 Esto es: ‘Todo x es tal que si x es un satélite, entones Esto es: ‘Todo x es tal que si x es un satélite, entonces
pág. 149 (Fy → Dxy) (Fy → Txy)
pág. 159 (18a) Vx [(Rx  y (Ry → x = y)] (18a) Vx [Rx  y (Ry → x = y)]
pág. 161 para el descriptor es i para el descriptor es 
pág. 168 complejas de las fórmulas complejas que las fórmulas
pág. 170 que figura en j, que figura en ,
pág. 173 4 Qa S 4 Qa S
pág. 175 ya no es de tipo vxjx ya no es de tipo xx
pág. 176 6 Qa REV 5 6 Qa RE 5
pág. 178 que añadimos en 13 que añadimos en 12
pág. 178 12 x(y(PxRyx)→Vy(QzRyx)) 12 x(Vy(PxRyx)→Vy(QzRyx))
pág. 181 individual a que figura en j a
individual  que figura en 
pág. 181 6 Vx(Px v Qx) REV 2 6 Vx(Px v Qx) REV 2, 3-5
pág. 181 11 Vx(Px v Qx) REV 7 11 Vx(Px v Qx) REV 7, 8-10
pág. 184 x ((x=c→(Px→Qx)) x (x=c→(Px→Qx))
pág. 185 idéntico con a idéntico con 
pág. 185 x ((x=c→(Px→Qx)) x (x=c→(Px→Qx))
pág. 186 P(x(PxQy))  Q(x(PxQy)) P(x(PxQx))  Q(x(PxQx))
pág. 187, nota pie 6 así: ab, como así: (a=b). así: ab, como así: (a=b).
pág. 189, ej. 16 10 y(Fya=y)Pa 10 y(Fya=y)Pa
pág. 189 17 FxFxa=xFx RE 9 17 FxFxa=xFx RE 16
pág. 196 IC,V 3 IC V, 3
pág. 200 7 Rab RE 4 7 Rab RE 6
pág. 204, ej. 28 x(PxQx) ⊨ y(Py→Qx) x(PxQx) ⊨ y(Py→Qy)
1 x(PxQx) 1 x(PxQx)
2 y(Py→Qx) 2 y(Py→Qy)
3 (Pa→Qa) 3 (Pa→Qa)
4 PaQa 4 PaQa
5 Pa 5 Pa
6.1  Pa 6.2 Qa 4 6 Qa
(cerrada 5) (cerrada 6) 7 Pa 4
8 Qa 4
(cerrada 6)

pág. 214 a 2 Vx(PxQx) a,b 2 Vx(PxQx)

pág. 214 6 Qb 3 6 Qb 4 (dos veces)
pág. 214 9.21 Pb 9.22 Qb 10.21 Pb 10.22 Qb
pág. 214 La rama 1-9.21 La rama 1-10.21

pág. 214 (el ejercicio entero está duplicado, hay que eliminar el segundo):

VxPxVxQx ⊨ Vx(PxQx)
 1 VxPxVxQx
a 2 Vx(PxQx)
 3 VxPx 1
 4 VyQy 1
5 Pa 3
6 Qb 3
 7 (PaQa) 2
 8 (PbQb) 2

9.1 Pa 9.2 Qa 7

(5)
9.21 Pb 9.22 Qb 8
(6)
La rama 1-9.21 está abierta y completa.

pág.147.
donde dice
(35b) Λx [Sx → Λy(Py → Gxy)]
Esto es: ‘Todo x es tal que si x es un satélite, entones todo y es tal que si y es un planeta, x gira en torno a y’.
Observemos que el primer cuantificador es necesario para decir de todo satélite que gira en torno a un planeta. Esto significa que debe ligar la ocurrencia
de la variable ‘x’ en ‘Gxy ‘, cosa que indicamos metiendo la fórmula entera entre corchetes. Una consecuencia de este modo de proceder es que el segundo
cuantificador (que por fuerza tiene que ser distinto, ya que su ámbito de aplicación es otro: los planetas) queda dentro del alcance del primero. Por lo demás,
como en ambos casos la cuantificación es universal, la conectiva de la que nos servimos para simbolizar su estructura interna es el condicional.
debe decir
(35b) Λx [Sx → Vy(Py  Gxy)]
Esto es: ‘Todo x es tal que si x es un satélite, entonces hay un y que es un planeta y x gira en torno a y’.
Observemos que el primer cuantificador es necesario para decir de todo satélite que gira en torno a un planeta. Esto significa que debe ligar la ocurrencia de
la variable ‘x’ en ‘Gxy ‘, cosa que indicamos metiendo la fórmula entera entre corchetes. Una consecuencia de este modo de proceder es que el segundo
cuantificador (que por fuerza tiene que ser distinto, ya que su ámbito de aplicación es otro: los planetas) queda dentro del alcance del primero. Por lo demás,
como el primer cuantificador es universal, la conectiva bajo su alcance es el condicional, mientras que el segundo cuantificador, que es particular, cubre una
conjunción.