Deducción con el Producto
Teclea en los recuadros las correspondientes deducciones y su justificación.
1.
p→(q∧s)
2.
p∧w
3.
p→(t∧r)
q
t
4.
5.
6.
t
r MP 3,4
7.
q Simp 5
8.
9.
1.
(p∧r)→q
2.
p
3
r
4.
r
s
q∧s
5.
6.
7.
s MP 4,3
8.
1.
p→(q∧r)
2.
p∧s
3.
s→t
r
t
4.
5.
6.
r Simp 5
7.
8.
9.