R6

Relación 6: Temas 1 a 5

---

Ejercicio 1. Demostrar o refutar: Si T es un tablero de S1, I es un modelo de una hoja abierta de T y S2 es un subconjunto de S1, entonces, I es modelo de S2.

---

Solución:

---

Ejercicio 2. Decidir la consistencia del siguiente conjunto de fórmulas, mediante resolución proposicional y tableros semánticos

{p ↔ ¬q, q → p, r → q, q → r ∧ p, (¬q → r) ∨ p }

---

Solución:

---

Ejercicio 3. Demostrar o refutar las siguientes sentencias:

• Existen cláusulas C1, C2 y D tales que D es una resolvente de C1 y C2, D ⊂ C1 y D ≠ C1.
• Existen cláusulas C1, C2 y D tales que D es una resolvente de C1 y C2 y D = C1.
• Existen cláusulas C1, C2 y D tales que D es una resolvente de C1 y C2, C1 ⊂ D y C2 no es una tautología.

---

Solución:

---

Ejercicio 4. Decidir, mediante tableros semánticos, formas normales y resolución

{C → A, G → D, ¬(B ∧ C ∧ G → E)} ⊧ A ∧ B ∧ C,

---

Solución:

---

Ejercicio 5. Formalizar el siguiente razonamiento y probar que es correcto, mediante deducción natural.

Si el general era leal, hubiera obedecido las órdenes, y si era inteligente las hubiera comprendido. O el general desobedeció las órdenes o no las comprendió. Por lo tanto, el general era desleal o no era inteligente.

---

Solución: