I.   The rules that were used, and the lines they were derived from.

           A.   Derive S from

               1.   P v Q                   Premiss
               2.   P -> S                  Premiss
               3.   Q -> T                  Premiss
               4.   ~T                      Premiss
               5.   ~Q                      3, 4, MT
               6.   P                       1, 5, DS
               7.   S                       2, 6, MP

           B.   Derive (~Q v ~T) from

               1.   P                       Premiss
               2.   P -> (~Z v ~F)          Premiss
               3.   Q -> Z                  Premiss
               4.   G -> F                  Premiss
               5.   T -> G                  Premiss
               6.   ~Z v ~F                 1, 2, MP
               7.   T -> F                  4, 5, HS
               8.   (Q -> Z) & (T -> F)     3, 7, Conj.
               9.   ~Q v ~T                 6, 8, DD

          II.   Formal derivations for the following arguments:
                Note: It is possible for you to have correct answers that
                differ from the ones I give, since there are many ways to
                derive the same proposition.

           A.   Derive P from

               1.   P v Q                   Premiss
               2.   Q -> R                  Premiss
               3.   ~R & S                  Premiss
               4.   ~R                      3, Simp.
               5.   ~Q                      2, 4, MT
               6.   P                       1, 5, DS

           B.   Derive (Q v S) from

               1.   P -> R                  Premiss
               2.   R -> Q                  Premiss
               3.   P v T                   Premiss
               4.   (P v T) -> (T -> S)     Premiss
               5.   T -> S                  3, 4, MP
               6.   P -> Q                  1, 2, HS
               7.   (P -> Q) & (T -> S)     5, 6, Conj.
               8.   Q v S                   3, 7, CD