R15

Relación 15: Tableros semánticos en LPO

---

Ejercicio 1. Decidir por tableros semánticos, si:

∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x))

---

Solución:

---

Ejercicio 2. Decidir por tableros semánticos, si:

⊧ ∀x (P(x) → R(x,x)) → ∀x ∃ y (R(x,y) ∨ ¬ P(y))

---

Solución:

---

Ejercicio 3. Decidir por tableros semánticos, si:

∀x ∃ y (R(x,y) ∨ ¬ P(y)) ⊧ ∀x (P(x) → R(x,x))

---

Solución:

---

Ejercicio 4. Decidir por tableros semánticos, si:

∀x ∀ y (R(x,y) → R(y,x)) ⊧ ∀x ∀y ∀z (R(x,y) ∧ R(x,z) → ∃u (R(y,u) ∧ R(z,u)))

---

Solución:

---

Ejercicio 5. Decidir por tableros semánticos, si:

∀x (P(x) → R(x,x)) ⊧ ∀x ∃y (R(x,y) ∨ ¬P(y))

---

Solución: