Ejercicios Resueltos de Lógica Proposicional: Demostraciones Paso a Paso
Clasificado en Otras materias
Escrito el en
español con un tamaño de 3,68 KB
Ejercicios de Lógica Proposicional
1º) ⊢ r
- 1. p → q
- 2. ¬s
- 3. x → (p ∨ ¬z)
- 4. ¬q ∨ r
- 5. z ∧ (x ∨ s)
- 6. x ∨ s (Simpl. 5)
- 7. x (S.D. 2 y 6)
- 8. p ∨ ¬z (M.P. 3 y 7)
- 9. z (Simpl. 5)
- 10. p (S.D. 8 y 9)
- 11. q (M.P. 1 y 10)
- 12. r (S.D. 4 y 11)
2º) ⊢ z
- 1. ¬q → ¬p
- 2. r → (t ∨ u)
- 3. s → ¬(t ∨ u)
- 4. q → r
- 5. ¬s → z
- 6. p
- 7. q (M.T. 1 y 6)
- 8. r (M.P. 4 y 7)
- 9. t ∨ u (M.P. 2 y 8)
- 10. ¬s (M.T. 3 y 9)
- 11. z (M.P. 5 y 10)
3º) ⊢ z
- 1. s → t
- 2. (r → t) → (y ∨ z)
- 3. (p → q) ∧ (r → s)
- 4. ¬z ∨ x
- 5. (p → q) → (y → w)
- 6. z → u
- 7. ¬s → ¬w
- 8. t → ¬(w ∨ u)
- 9. p → q (Simpl. 3)
- 10. r → s (Simpl. 3)
- 11. y → w (M.P. 5 y 9)
- 12. r → t (S.H. 1 y 10)
- 13. y ∨ z (M.P. 2 y 12)
- 14. w ∨ u (T.P. 6, 11 y 13)
- 15. ¬t (M.T. 8 y 14)
catalán con un tamaño de 3,11 KB
vasco con un tamaño de 2,35 KB