Lógica I- 2023

TP 6
Deducción Natural. Reglas de Transformación Básicas.
_______________________________________________________________
1. Resolver los siguientes ejercicios aplicando sólo reglas básicas.

A)
-1 t → p
-2 s → t
-3 s ⊢p

B)
-1 r ∨ q → t
-2 t → p
-3 r ∨ q ⊢p

C)
-1 (s → t) → r ∨ s
-2 r ∨ s → w
-3 s → t ⊢w

D)
-1 s → p
-2 p → q
-3 q → r
-4 r → m ⊢s→m

F)
-1 r → s
-2 s → p ∧ q
-3 t ∧ r ⊢q

G)
-1 s → p ∧ t
-2 t → w ∧ q ⊢s→q

N. Ludmila Barta
H)
-1 (q → s ∧ t) → r ∧ t
-2 q → s ∧ t
-3 r → (s ∧ t→ p)
-4 q ∧ w ⊢p∧t

I)
-1 r → p ∧ q
-2 p ∧ q → (s ∨ t → w)
-3 (s ∨ t → w) → w
-4 r ⊢r∧w

N. Ludmila Barta