Deducción con la Doble Negación

Teclea en los recuadros las correspondientes deducciones y su justificación.

         
1. ¬¬p∧¬¬q pr    
  2.
  3.
  4.

       
1. ¬¬r¬¬s r∧s    
  2.
  3.
  4.
  5.
  6.

1. ¬¬(p¬¬q)      
2. p (pq)vs
  3.
  4.
  5.
  6.
  7.
Atrás