Deducciones con el Teorema de Deducción

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

1. p→(qr)    
2. (q∧r)s      
3. s→t      
4. tu p→u    
5.
6.
7.
8.
9.
  10.

1. p→(qr)      
2. (q∨r)s      
3. s→(tu)      
4. (tu)→(wq) p→(wq)
5.
6.
7.
8.
9.
  10.
Atrás