Deducción con la Doble Negación
Teclea en los recuadros las correspondientes deducciones y su justificación.
1.
¬¬p∧¬¬q
p
r
2.
3.
4.
1.
¬¬r
¬¬s
r∧s
2.
3.
4.
5.
6.
1.
¬¬(p
¬¬q)
2.
p
(p
q)vs
3.
4.
5.
6.
7.