Diferencia entre revisiones de «Relación 2»
De Lógica matemática y fundamentos (2017-18)
(→Relación 2: Deducción natural en lógica proposicional) |
(→Relación 2: Deducción natural en lógica proposicional) |
||
| Línea 43: | Línea 43: | ||
---- | ---- | ||
| − | '''Solución:''' josrodjim2 | + | '''Solución:''' josrodjim2 marloppal3 |
[[https://i.gyazo.com/3c2c9799cfa2c74230d50cb0c1542281.png]] | [[https://i.gyazo.com/3c2c9799cfa2c74230d50cb0c1542281.png]] | ||
| Línea 53: | Línea 53: | ||
---- | ---- | ||
| − | '''Solución:''' josrodjim2 | + | '''Solución:''' josrodjim2 marloppal3 |
[[https://i.gyazo.com/700aa57e081894401d184f5797fb070d.png]] | [[https://i.gyazo.com/700aa57e081894401d184f5797fb070d.png]] | ||
Revisión del 20:16 25 feb 2018
Relación 2: Deducción natural en lógica proposicional
Ejercicio 0. Demostrar mediante deducción natural:
- {p → q, p → r} ⊧ p → r
Solución:
Ejercicio 1. Demostrar mediante deducción natural:
- (p → q) → r ⊧ p → (q → r)
Solución: josrodjim2 marloppal3
[[1]]
![[1]](https://i.gyazo.com/f6ad7b1deab0dd5ba927bcf0b0d73c6f.png){kind=link}
Ejercicio 2. Demostrar mediante deducción natural:
- (p → q) ∧ (p → r) ⊧ p → q ∧ r
Solución: josrodjim2 marloppal3
[[2]]
![[2]](https://i.gyazo.com/cb016e19514071b5c9240f992f970f2d.png){kind=link}
Ejercicio 3. Demostrar mediante deducción natural:
- (p → r) ∧ (q → r) ⊧ p ∨ q → r
Solución: josrodjim2
[[3]]
![[3]](https://i.gyazo.com/d47ef41c989cccab33908c6debdf57dc.png){kind=link}
Ejercicio 4. Demostrar mediante deducción natural:
- {p → r, r → ¬ q} ⊧ ¬(p ∧ q)
Solución: josrodjim2 marloppal3
[[4]]
![[4]](https://i.gyazo.com/3c2c9799cfa2c74230d50cb0c1542281.png){kind=link}
Ejercicio 5. Demostrar mediante deducción natural:
- ¬p ∧ ¬q ⊧ ¬(p ∨ q)
Solución: josrodjim2 marloppal3
[[5]]
![[5]](https://i.gyazo.com/700aa57e081894401d184f5797fb070d.png){kind=link}
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: josrodjim2
[[6]]
![[6]](https://i.gyazo.com/ba9485c972e0d26a49c0502ce8d307c0.png){kind=link}
Ejercicio 8. Demostrar mediante deducción natural:
- ¬(¬p ∧ ¬q) ⊧ p ∨ q
Solución: