EJERCICIOS DE LÓGICA 2

DEMOSTRAR LA VALIDEZ DE LOS SIGUIENTES ESQUEMAS DE INFERENCIA

1. (p Λ q)→r 2. p →q 3. p →q 4. r →s

p rVs r →p pVq

├q →r s →¬q ¬r →¬t ¬ (¬p →s)

¬r ¬ (s Λ ¬r) ├q Λ ¬r

├ ¬p tVs

├q V u

5. p → (q → r) 6. s↔ t 7. (q V ¬s) →t 8. (p V q) → (r V s)

q tVp ¬q →r ¬ (¬p V ¬r)

├p →r s →¬w p →¬s ¬t →¬(p Λ s)

w t →s ├t

├p ├ p →r

9. p →q 10. r →s 11. P →q 12. ¬p ↔q

q →r pVq s →t ¬(¬q V r)

s →t ¬ (¬p →s) r →s pVs

sVp ¬p →q ├q V t ├s V t

├r V t ├q Λ ¬r

1
13. (p Λ q) → r 14. (p Λ q) → (r V s) 15. p V q 16. (p Λ ¬q Λ r) →s

r →s ¬(t Λ ¬p) r →¬p t

q Λ ¬s t s →r (s Λ t) →u

├ ¬p t ↔q ¬t →s p → (u →¬w)

├ ¬r →s r ↔¬q w

├t ├ (p Λ r) →q

17. p↔ (q V r) 18. s →r 19. (p Λ q) →r 20. p V ¬r

p →s sVt ¬ (p V r) →s ¬r →s

q ¬t p →q p →t

├s ˫rVq ˫ ¬s →r ¬s

├t

21. p Λ q→ (r V s) 22. p → (q Λ r)

¬ (t → ¬p) (q V r) →s

t ├p →s

t ↔q

├ ¬r →s