Diferencia entre revisiones de «Relación 3»
De Lógica matemática y fundamentos (2017-18)
(→Relación 3: Deducción natural en lógica proposicional) |
(→Relación 3: Deducción natural en lógica proposicional) |
||
| (No se muestran 10 ediciones intermedias de 2 usuarios) | |||
| Línea 7: | Línea 7: | ||
---- | ---- | ||
| − | '''Solución:''' | + | '''Solución:''' marmedmar3 |
| + | [https://i.gyazo.com/684b64b4146fa9d7e3e766350a6e3e81.png] | ||
| Línea 16: | Línea 17: | ||
'''Solución:''' | '''Solución:''' | ||
| + | marmedmar3 [https://i.gyazo.com/11c29761ca9713a9c5e73da5cceb2325.png] | ||
---- | ---- | ||
| Línea 23: | Línea 25: | ||
'''Solución:''' | '''Solución:''' | ||
| − | + | marmedmar3 [https://i.gyazo.com/e98547a9c91132882d5401cc34744d4c.png] | |
---- | ---- | ||
'''Ejercicio 4.''' Demostrar mediante deducción natural: | '''Ejercicio 4.''' Demostrar mediante deducción natural: | ||
| Línea 30: | Línea 32: | ||
'''Solución:''' | '''Solución:''' | ||
| − | + | marmedmar3 [https://i.gyazo.com/d9718d155692f74046b33426645db94f.png] | |
---- | ---- | ||
| Línea 38: | Línea 40: | ||
'''Solución:''' | '''Solución:''' | ||
| − | + | marmedmar3 [https://i.gyazo.com/491d65b063dd124899cb4ce409d6e10a.png] | |
---- | ---- | ||
| Línea 46: | Línea 48: | ||
'''Solución:''' | '''Solución:''' | ||
| + | marmedmar3 [https://i.gyazo.com/91d8560cc5d5a221916c5dfd29e35348.png] | ||
Revisión actual del 20:16 15 mar 2018
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: marmedmar3 [1]
![[1]](https://i.gyazo.com/684b64b4146fa9d7e3e766350a6e3e81.png){kind=link}
Ejercicio 2. Demostrar mediante deducción natural:
- p ∨ q ⊧ ¬(¬ p ∧ ¬ q )
Solución: marmedmar3 [2]
![[2]](https://i.gyazo.com/11c29761ca9713a9c5e73da5cceb2325.png){kind=link}
Ejercicio 3. Demostrar mediante deducción natural:
- ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )
Solución: marmedmar3 [3]
![[3]](https://i.gyazo.com/e98547a9c91132882d5401cc34744d4c.png){kind=link}
Ejercicio 4. Demostrar mediante deducción natural:
- {p → r, r → ¬ q} ⊧ ¬(p ∧ q)
Solución: marmedmar3 [4]
![[4]](https://i.gyazo.com/d9718d155692f74046b33426645db94f.png){kind=link}
Ejercicio 5. Demostrar mediante deducción natural:
- (p → r) ∨ (q → s) ⊧ (p ∧ q) → (r ∨ s)
Solución: marmedmar3 [5]
![[5]](https://i.gyazo.com/491d65b063dd124899cb4ce409d6e10a.png){kind=link}
Ejercicio 6. Demostrar mediante deducción natural:
- p → (q ∧ r) ⊧ (p → q) ∨ (p → r)
Solución: marmedmar3 [6]
![[6]](https://i.gyazo.com/91d8560cc5d5a221916c5dfd29e35348.png){kind=link}