Deducción con el Modus Ponens

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

1. p→(qr)    
2. s→t      
3. (q∧r)s      
4. p t    
  5.
  6.
  7.

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

1. p∧q    
2. r→s      
3. (r→s)[(pq)¬t] ¬t    
  4.
  5.
Atrás