Práctica con la Prueba por Casos

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

  1. p∨q  
 
  2. p→r  
 
  3. r→s  
 
  4. q→t  
 
  5. t→s  ⊢s∨w
 
 

6.

7.

7. MP 2,6

8.

8. MP 3,7

9.

10.

10. MP 4,9

11.

11. MP 5,10

12.

12. Cas 1,6-8,9-11

13.

13. Ad 12

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Puedes practicar la prueba por casos en la actividad relaciona.

Actividad relacionada:

Es momento de pasar a la siguiente página, que explica y permite practicar la Doble Negación.