“LÓGICA I”

EJERCICIOS RESUELTOS – 7

TEMA 7 – ÁRBOLES LÓGICOS

EJERCICIO 7.01
Usando el método de árboles, comprobar si la siguiente fbf es o no satisfacible:
¬(¬p → ¬q)
 1. ¬(¬p → ¬q) (fbf inicial)
2. ¬p (de
 3. ¬¬q 1)
4. q (de 3)
El árbol está terminado y abierto. Luego la fbf inicial es satisfacible (puede ser V).

EJERCICIO 7.02
Usando el método de árboles, comprobar si la siguiente fbf es o no satisfacible:
¬(p → q) ∨ (¬p ∧ ¬q)
 1. ¬(p → q) ∨ (¬p ∧ ¬q) (fbf inicial)

 2. ¬(p → q)  3. ¬p ∧ ¬q (de 1)
4. p (de
5. ¬q 2)
6. ¬p (de
7. ¬q 3)
El árbol está terminado y abierto. Luego la fbf inicial es satisfacible (puede ser V).

EJERCICIO 7.03
Usando el método de árboles, comprobar si la siguiente fbf es o no tautológica:
╞ (p → q ∧ ¬q) → ¬p
La fbf será tautológica (siempre V) sii su negación es insatisfacible (siempre F):

1
  1. ¬((p → q ∧ ¬q) → ¬p) (¬conclusión)
 2. p → q ∧ ¬q (de
 3. ¬¬p 1)
4. p (de 3)

5. ¬p  6. q ∧ ¬q (de 2)
 7. q (de
8. ¬q 6)

El árbol cierra. Luego, la fbf inicial es insatisfacible. Y sin la negación será tautológica.

EJERCICIO 7.04
Usando el método de árboles, comprobar si la siguiente fbf es o no tautológica:
╞ (p → ¬q) ∨ (q → ¬r)
La fbf será tautológica (siempre V) sii su negación es insatisfacible (siempre F):
 1. ¬((p → ¬q) ∨ (q → ¬r)) (¬conclusión)
 2. ¬(p → ¬q) (de
 3. ¬(q → ¬r) 1)
4. p (de
 5. ¬¬q 2)
6. q (de
 7. ¬¬r 3)
8. q (de 5)
9. r (de 7)
El árbol está terminado y abierto. Luego, la fbf inicial es satisfacible. Y sin la negación
no será una tautología.

EJERCICIO 7.05
Usando el método de árboles, comprobar si la siguiente fbf es o no contingente:
(p ∨ q) ∧ (¬q → p)
En primer lugar comprobamos si es satisfacible (si puede ser V):
 1. (p ∨ q) ∧ (¬q → p) (fbf inicial)
 2. p ∨ q (de
 3. ¬q → p 1)

4. p 5. q (de 2)

 6. ¬¬q 7. p  8. ¬¬q 9. p (de 3)

10. q (de 6)
11. q (de 8)

2
El árbol está terminado y abierto. Luego, la fbf inicial es satisfacible (puede ser V).
En segundo lugar, comprobamos si su negación es también satisfacible (si puede ser V),
con lo que la fbf podría ser F:
 1. ¬((p ∨ q) ∧ (¬q → p)) (fbf inicial)

 2. ¬(p ∨ q)  3. ¬(¬q → p) (de 1)

4. ¬p (de
5. ¬q 2)
6. ¬q (de
7. ¬p 3)
El árbol está terminado y abierto. Luego, la fbf inicial es satisfacible (puede ser V). Y
sin negación puede ser F.
Luego, la fbf que nos interesa es contingente (puede ser V y puede ser F).

EJERCICIO 7.06
Usando el método de árboles, comprobar si la siguiente fbf es o no contingente:
p ∨ (p → q ∧ r)
En primer lugar comprobamos si es satisfacible (si puede ser V):
 1. p ∨ (p → q ∧ r) (fbf inicial)

2. p  3. p → q ∧ r (de 1)

4. ¬p  5. q ∧ r (de 3)
6. q (de
7. r 5)
El árbol está terminado y abierto. Luego, la fbf inicial es satisfacible (puede ser V).
En segundo lugar, comprobamos si su negación es también satisfacible (si puede ser V),
con lo que la fbf podría ser F:
 1. ¬(p ∨ (p → q ∧ r)) (fbf inicial)
2. ¬p (de
 3. ¬(p → q ∧ r) 1)
4. p (de
5. ¬(q ∧ r) 3)

El árbol cierra. Luego, la fbf inicial es insatisfacible (siempre F). Y sin negación será
siempre V.
Luego, la fbf que nos interesa no es contingente (puede ser V, pero no puede ser F).

3
EJERCICIO 7.07
Usando el método de árboles, comprobar si las siguientes fbfs son o no simultáneamen-
te satisfacibles:
¬(p → q) p∨q
 1. ¬(p → q) (fbfs
 2. p ∨ q iniciales)
3. p (de
4. ¬q 1)

5. p 6. q (de 2)

El árbol está terminado y abierto. Luego las fbfs iniciales son simultáneamente satisfa-
cibles.

EJERCICIO 7.08
Usando el método de árboles, comprobar si las siguientes fbfs son o no simultáneamen-
te satisfacibles:
¬(p → q) (¬q → ¬p)
 1. ¬(p → q) (fbfs
 2. ¬q → ¬p iniciales)
3. p (de
4. ¬q 1)

 5. ¬¬q 6. ¬p (de 2)
7. q  (de 5)

El árbol cierra. Luego, las fbfs iniciales son simultáneamente insatisfacibles.

EJERCICIO 7.09
Usando el método de árboles, comprobar si es o no válido el siguiente esquema argu-
mentativo:
p→q╞ p∨q→q
El esquema será válido sii la premisa y la negación de la conclusión son simultánea-
mente insatisfacibles (de modo que no pueda ser V la premisa y no la conclusión):

4
  1. p → q (premisa)
 2. ¬(p ∨ q → q) (¬conclusión)
 3. p ∨ q (de
4. ¬q 2)

5. ¬p 6. q (de 1)


7. p 8. q (de 3)
 
El árbol cierra. Luego, las fbfs iniciales son simultáneamente insatisfacibles. Por tanto,
el esquema argumentativo es válido.

EJERCICIO 7.10
Usando el método de árboles, comprobar si es o no válido el siguiente esquema argu-
mentativo:
p → q, r → s, p ∨ r ╞ q ∨ ¬s
El esquema será válido sii las premisas junto con la negación de la conclusión son si-
multáneamente insatisfacibles (de modo que no puedan ser V a la vez todas las premisas
y no la conclusión):
 1. p→q (premisa)
 2. r→s (premisa)
 3. p∨r (premisa)
 4. ¬(q ∨ ¬s) (¬conclusión)
5. ¬q (de
 6. ¬¬s 4)
7. s (de 6)

8. ¬p 9. q (de 1)


10. p 11. r (de 3)



12. ¬r 13. s (de 2)


El árbol está terminado y abierto. Luego, las fbfs iniciales son simultáneamente satisfa-
cibles. Por tanto, el esquema argumentativo es inválido.

EJERCICIO 7.11
Usando el método de árboles, comprobar si las dos fbfs siguientes son o no equivalen-
tes:

5
 (p → q) → q ╡╞ p ∨ q
Las fbfs serán equivalentes (tendrán siempre el mismo valor) sii el bicondicional entre
ambas es una tautología (siempre V). Y ese bicondicional será tautológico sii su nega-
ción es insatisfacible (siempre F):
 1. ¬(((p → q) → q) ↔ p ∨ q) (¬conclusión)

 2. (p → q) → q  4. ¬((p → q) → q) (de
 3. ¬( p ∨ q)  5. p ∨ q 1)
6. ¬p (de
7. ¬q 3)

 8. ¬(p → q) 9. q (de 2)
10. p  (de
11. ¬q 8)
  12. p → q (de
13. ¬q 4)

14. p 15. q (de 5)



16. ¬p 17. q (de 12)

 
El árbol cierra. Luego, la fbf inicial es insatisfacible. Por tanto, esa fbf sin la negación
(el bicondicional) es una tautología. De lo que se sigue que las dos fbfs que lo compo-
nen son equivalentes.

EJERCICIO 7.12
Usando el método de árboles, comprobar si las dos fbfs siguientes son o no equivalen-
tes:
p ∧ ¬q ╡╞ ¬(p ↔ q)
Las fbfs serán equivalentes (tendrán siempre el mismo valor) sii el bicondicional entre
ambas es una tautología (siempre V). Y ese bicondicional será tautológico sii su nega-
ción es insatisfacible (siempre F):

6
  1. ¬(p ∧ ¬q ↔ ¬(p ↔ q)) (¬conclusión)

 2. p ∧ ¬q  4. ¬(p ∧ ¬q) (de

 3. ¬¬(p ↔ q)  5. ¬(p ↔ q) 1)
6. p (de
7. ¬q 2)
 8. p ↔ q (de 3)

9. p 10. ¬p (de
11. q 12. ¬q 8)
 

13. p 14. ¬p (de

15. ¬q 16. q 5)

17. ¬p  18. ¬¬q 19. ¬p  20. ¬¬q (de 4)

 21. q (de 18)
 22. q (de 20)
El árbol está terminado y abierto. Luego, la fbf inicial es satisfacible. Por tanto, esa fbf
sin la negación (el bicondicional) no es tautológica. De lo que se sigue que las dos fbfs
que lo componen no son equivalentes.