Deducción con el Modus Ponens

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

1. p(qr)    
2. st      
3. (qr)s      
4. p t    
  5.
  6.
  7.

1. ¬s    
2. (¬p¬q)(¬s¬r)      
3. ¬p¬q ¬r    
  4.
  5.

1. pq    
2. rs      
3. (rs)[(pq)¬t] ¬t    
  4.
  5.
Atrás