Lógica matemática y fundamentos (2017-18) Lógica matemática y fundamentos (2017-18)

Relación 2: Deducción natural en lógica proposicional

---

Ejercicio 0. Demostrar mediante deducción natural:

{p → q, p → r} ⊧ p → r

---

Solución:

---

Ejercicio 1. Demostrar mediante deducción natural:

(p → q) → r ⊧ p → (q → r)

---

Solución: josrodjim2 marloppal3

[[1]]

---

Ejercicio 2. Demostrar mediante deducción natural:

(p → q) ∧ (p → r) ⊧ p → q ∧ r

---

Solución: josrodjim2 marloppal3

[[2]]

---

Ejercicio 3. Demostrar mediante deducción natural:

(p → r) ∧ (q → r) ⊧ p ∨ q → r

---

Solución: josrodjim2

[[3]]

---

Ejercicio 4. Demostrar mediante deducción natural:

{p → r, r → ¬ q} ⊧ ¬(p ∧ q)

---

Solución: josrodjim2

[[4]]

---

Ejercicio 5. Demostrar mediante deducción natural:

¬p ∧ ¬q ⊧ ¬(p ∨ q)

---

Solución: josrodjim2

[[5]]

---

Ejercicio 6. Demostrar mediante deducción natural:

⊧ ((p → q) → p)

---

Solución:

---

Ejercicio 7. Demostrar mediante deducción natural:

(p → q) ∨ (q → p)

---

Solución: josrodjim2

[[6]]

---

Ejercicio 8. Demostrar mediante deducción natural:

¬(¬p ∧ ¬q) ⊧ p ∨ q

---

Solución: