Práctica con la Adición
Teclea en los recuadros las correspondientes deducciones y su justificación.
1.
r→s
2.
p∧r
s
(q
t)
3.
4.
5.
1.
(p∧q)
(r
s)
2.
q
p
(s
t)
3.
4.
5.
6.
7.
8.
1.
r→(p
q)
2.
(p∧m)
s
3.
q→m
4.
r
t
s∨n
5.
6.
7.
8.
9.
10.
11.
12.