Lógica Matemática y fundamentos (2015-16) Lógica Matemática y fundamentos (2015-16)

Relación 10: 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)) → P(a)
• {∀x(P(x) → Q(x)), ∀y(Q(a) ∨ R(y) → S(a))} ⊧ ∀x (P(x) → S(a))

---

Solución: