Adapta los ejercicios resueltos a tu asignatura. Regístrate gratis

Resuelva los siguientes ejercicios mediante el método de deducción natural propuesto por Gentzen para lógica de proposiciones aplicando las reglas básicas de inferencia expuestas en la teoría de la demostración:

NIVEL 1

[Ejercicio 1] [Ejercicio 2]

-1. s → t

 ⊦r -1. p ∧ ¬¬q ⊦q
-2. t  → r   2. ¬¬q E^ 1
-3. s   3. q E¬2
       
       

NIVEL 2

[Ejercicio 3] [Ejercicio 4]

-1. t ∨ m

 ⊦s ∨ (w∧t) -1. p ∨ (r ∧ m) → s ⊦ p→ ( q→ s)
-2. t  → p   -2. q ∧ s → t  
-3. p→ s   -3. s ∧ t → r  
-4. m→ q      
-5. q→ w ∧ t      
┌ 6. t      
| 7. p E→2,6    

┗

 8. s E→ 3,7    
┌ 9. m      
| 10. q E→ 4,9    
| 11. w ∧ t E→ 5,10    
| 12. t E^11    
| 13. p E→ 2,12    
┗ 14. s E→ 3,13    
15.s Ev 1,6-8,9-14    
16. s ∨ (w∧t) Iv 15    

NIVEL 3

[Ejercicio 5] [Ejercicio 6]

-1. q ∨ r → ¬(p ∧s)

 ⊦¬(t ∨ m) -1. p → t ∨ r ⊦ ¬p
-2. t ∨ m → k ∧ m   -2. t → s ∧ m  
-3. k → s   -3. m ∨ r → ¬(t ∨ r)  
-4. m→ r   ┌   4.p  
-5. ¬(p ∧ s) → ¬(t ∨ m)   |   5. t ∨ r E→1,4
    | ┌ 6. t  
    | | 7.s∧m E→2,6
    | | 8. m E^7
    | | 9.m ∨ r Iv 8
    | ┗ 10. ¬(t ∨ r) E→3,9
    | ┌ 11. r  
    | | 12. m ∨ r Iv11
    | ┗ 13. ¬(t ∨ r) E→3,12
    | 14.¬( t ∨ r) Ev5, 6-10, 11-13
    ┗ 15. (t ∨ r) ∧¬( t ∨ r) I∧3,4
    16. ¬p I¬ 4-15

 

 

 

Siguiente>>

 

Adrián López Gómez · Doctor en Filosofía · Lógica formal desde 2006 — pulsa aquí si y solo si necesitas ayuda especializada