Demostración con reglas de inferencia

1. ¬r V ¬s
2. ¬s → ¬p
3. ¬r → ¬q
4. ¬q

       ----------------

       .·. ¬p ^ ¬q 

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

       -------------------------

       .·. ¬r