Relación 3
De Lógica matemática y fundamentos (2017-18)
Revisión del 23:49 14 mar 2018 de Javferrod5 (discusión | contribuciones) (→Relación 3: Deducción natural en lógica proposicional)
Relación 3: Deducción natural en lógica proposicional
Ejercicio 1. Demostrar mediante deducción natural:
- ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧ r )
Solución: file:///Users/apple/Desktop/Captura%20de%20pantalla%202018-03-14%20a%20las%2023.21.47.png
Ejercicio 2. Demostrar mediante deducción natural:
- p ∨ q ⊧ ¬(¬ p ∧ ¬ q )
Solución:
Ejercicio 3. Demostrar mediante deducción natural:
- ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )
Solución:
Ejercicio 4. Demostrar mediante deducción natural:
- {p → r, r → ¬ q} ⊧ ¬(p ∧ q)
Solución:
Ejercicio 5. Demostrar mediante deducción natural:
- (p → r) ∨ (q → s) ⊧ (p ∧ q) → (r ∨ s)
Solución:
Ejercicio 6. Demostrar mediante deducción natural:
- p → (q ∧ r) ⊧ (p → q) ∨ (p → r)
Solución: