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

  1. p→¬q  
 
  2. ¬q→r  
 
  3. ¬r ⊢¬p
 
 

4.

5.

5. MP 1,4

6.

6. MP 2,5

7.

7. Prod 6,3

8.

8. Abs 4-7

 
 
 
 
 
 
 
 
 

Puedes seguir practicando en la sección de Actividades.