Diferencia entre revisiones de «Relación 3»
De Lógica matemática y fundamentos (2018-19)
| Línea 7: | Línea 7: | ||
---- | ---- | ||
| − | '''Solución:''' | + | '''Solución:''' sofsanfer |
| + | |||
| + | [[Archivo:ej1rel3.png]] | ||
| Línea 15: | Línea 17: | ||
---- | ---- | ||
| − | '''Solución:''' | + | '''Solución:''' sofsanfer |
| + | |||
| + | [[Archivo:ej2rel3.png]] | ||
| Línea 23: | Línea 27: | ||
---- | ---- | ||
| − | '''Solución:''' | + | '''Solución:''' sofsanfer |
| + | |||
| + | [[Archivo:ej3rel3.png]] | ||
---- | ---- | ||
| Línea 30: | Línea 36: | ||
---- | ---- | ||
| − | '''Solución:''' | + | '''Solución:''' sofsanfer |
| + | |||
| + | [[Archivo:ej4rel3.png]] | ||
---- | ---- | ||
| Línea 37: | Línea 45: | ||
---- | ---- | ||
| − | '''Solución:''' | + | '''Solución:''' sofsanfer |
| + | |||
| + | [[Archivo:ej5rel3.png]] | ||
Revisión del 20:01 27 feb 2019
Relación 3: Deducción natural en lógica proposicional
Ejercicio 1. Demostrar mediante deducción natural:
- {p → r, r → ¬ q} ⊧ ¬(p ∧ q)
Solución: sofsanfer
Ejercicio 2. Demostrar mediante deducción natural:
- ¬p ∧ ¬q ⊧ ¬(p ∨ q)
Solución: sofsanfer
Ejercicio 3. Demostrar mediante deducción natural:
- p ∨ q ⊧ ¬(¬ p ∧ ¬ q )
Solución: sofsanfer
Ejercicio 4. Demostrar mediante deducción natural:
- ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )
Solución: sofsanfer
Ejercicio 5. Demostrar mediante deducción natural:
- {p → r, r → ¬ q} ⊧ ¬(p ∧ q)
Solución: sofsanfer
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:
Ejercicio 8. Demostrar mediante deducción natural:
- p → (q ∧ r) ⊧ (p → q) ∨ (p → r)
Solución: