Diferencia entre revisiones de «R2»
De Lógica matemática y fundamentos (2018-19)
m |
|||
| (No se muestran 3 ediciones intermedias del mismo usuario) | |||
| Línea 9: | Línea 9: | ||
'''Solución:''' | '''Solución:''' | ||
| − | + | [[Archivo:R2-ej1.png]] | |
| − | |||
---- | ---- | ||
'''Ejercicio 2.''' Demostrar mediante deducción natural: | '''Ejercicio 2.''' Demostrar mediante deducción natural: | ||
| Línea 58: | Línea 57: | ||
---- | ---- | ||
'''Ejercicio 8.''' Demostrar mediante deducción natural: | '''Ejercicio 8.''' Demostrar mediante deducción natural: | ||
| − | : (p ∧ q → r) ⊧ | + | : (p ∧ q → r) ⊧ p → (q → r) |
---- | ---- | ||
'''Solución:''' | '''Solución:''' | ||
Revisión actual del 11:02 1 mar 2019
Relación 2: Deducción natural en lógica proposicional
Ejercicio 1. Demostrar mediante deducción natural:
- p ⊧ q → p
Solución:
Ejercicio 2. Demostrar mediante deducción natural:
- (p → q) → r ⊧ p → (q → r)
Solución:
Ejercicio 3. Demostrar mediante deducción natural:
- (p → q) ∧ (p → r) ⊧ p → q ∧ r
Solución:
Ejercicio 4. Demostrar mediante deducción natural:
- (p → r) ∧ (q → r) ⊧ p ∨ q → r
Solución:
Ejercicio 5. Demostrar mediante deducción natural:
- ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧ r )
Solución:
Ejercicio 6. Demostrar mediante deducción natural:
- (p → r) ∨ (q → s) ⊧ (p ∧ q) → (r ∨ s)
Solución:
Ejercicio 7. Demostrar mediante deducción natural:
- (p → r) ∧ (q → r) ⊧ (p ∨ q) → r
Solución:
Ejercicio 8. Demostrar mediante deducción natural:
- (p ∧ q → r) ⊧ p → (q → r)
Solución: