Deducción con la Simplificación
Teclea en los recuadros las correspondientes deducciones y su justificación.
1.
p→(q∧s)
2.
s→(m∧r)
p
r
3.
4.
5.
6.
7.
8.
1.
q→(p∧s)
2.
s→(r∧w)
3.
q∧r
w
4.
5.
6.
7.
8.