Diferencia entre revisiones de «Relación 2»
De Lógica matemática y fundamentos (2017-18)
(Página creada con ' === Relación 2: Deducción natural en lógica proposicional === ---- '''Ejercicio 1.''' Demostrar mediante deducción natural: : (p → q) → r ⊧ p → (q → r) ---- '''...') |
(→Relación 2: Deducción natural en lógica proposicional) |
||
| Línea 1: | Línea 1: | ||
=== Relación 2: Deducción natural en lógica proposicional === | === 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:''' | ||
| + | |||
| + | [[Archivo:R2E0a.png]] | ||
---- | ---- | ||
Revisión del 13:38 19 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:
Ejercicio 2. Demostrar mediante deducción natural:
- (p → q) ∧ (p → r) ⊧ p → q ∧ r
Solución:
Ejercicio 3. Demostrar mediante deducción natural:
- (p → r) ∧ (q → r) ⊧ p ∨ q → r
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 ∧ ¬q ⊧ ¬(p ∨ q)
Solución:
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) ⊧ p ∨ q
Solución: