Deducciones con el Teorema de Deducción
Teclea en los recuadros las correspondientes deducciones y su justificación.
1.
p→(q
r)
2.
(q∧r)
s
3.
s→t
4.
t
u
p→u
5.
6.
7.
8.
9.
10.
1.
p→(q
r)
2.
(q∨r)
s
3.
s→(t
u)
4.
(t
u)→(w
q)
p→(w
q)
5.
6.
7.
8.
9.
10.