Deducción Natural sin hacer uso de la Reducción al Absurdo.

Soluciones

11.
(p  q) → (r  s)
t→p
u→q
r

t→u

1 (p  q) → (r  s) premisa
2 t→p premisa
3 u→q premisa
4 r premisa
5 rs RI 4
6  (r  s) Interdef. , 5
7  (p  q) MT 1,6
8 p→q Interdef. ,→ 7
9 t→q transitiva 2,8
10  q →  u Contr. 3
11 t →  u transitiva 9,10

12
(p  q) → ( r   s)
rt
ts

 (p  q)

1 (p  q) → ( r   s) premisa
2 rt premisa
3 ts premisa
4 r S (primer caso de 2)
5 rs RI 4
6 t S (segundo caso de 2)
7 s IA 3,6
8 rs RI 7
9 rs RE 2, 4-5, 6-8
10  ( r   s) Interdef. , 9
11  (p  q) MT 1,10
13
pq
t → (r   p)
r→q
 (q → s)

t

1 pq premisa
2 t → (r   p) premisa
3 r→q premisa
4  (q → s) premisa
5 qs Interdef. →, 4
6 q RE 5
7 s RE 5
8 p IA 1,6
9 r MT 3,6
10  r  p RI 8,9
11  (r   p) Interdef. , 10
12  t MT 2,11

14
p → (q → (r → s))
t→r
p

 (q → s) →  t

1 p → (q → (r → s)) premisa
2 t→r permisa
3 p premisa
4  (q → s) S (objetivo: ¬t, para construir el condicional)
5 (q → (r → s)) MP 1,3
6 qs Interdef. →, 5
7 q RE 6
8 s RE 6
9 r→s MP 5,7
10  r MT 8,9
11  t MT 2,10
12  (q → s) →  t RI→ 4,11
15
(p  q)  (r  s)
 (q  s)
t → ( p   r)

t

1 (p  q)  (r  s) premisa
2  (q  s) premisa
3 t → ( p   r) premisa
4 (p  r)  (q  s) Asociativa 1
5 pr IA 2,4
6  ( p   r) Interdef. , 5
7 t MT 3,6