Symbolic Logic Rules of Implication

For each line (other than the premises) in the following proofs, state the line or lines which it follows and the valid argument form (MP, MT, DS, or HS) used to obtain it.The boxes on the left are for the applicable lines and the boxes on the right are for the applicable rules.(1)1. A ? B         Premise2. A ? C         Premise3. ~B               Premise4. ~A5. C(2)1. A ? (H ? K)          Premise2. A ? (B ? C)         Premise3. ~ (B ? C)              Premise4. ~A5. (H ? K)(3)1. ~R                         Premise2. ~S ? T                 Premise3. (A ? B) ? ~S     Premise4. ~R ? (A ? B)    Premise5. ~R ? ~S6. ~R ? T7. T(4)For each line (other than the premises) in the following proofs, state the line or lines which it follows and the valid argument form (MP, MT, DS, HS, Simp, Conj, Com, Add, CD) used to obtain it.The boxes on the left are for the applicable lines and the boxes on the right are for the applicable rules.1. A ? B                  Premise2. A ? ~D                 Premise3. B ? C                   Premise4. A5. A ? C6. C7. ~D ? A8. ~D9. C ? ~D(5)1. C                                Premise2. A ? B                        Premise3. C ? D                       Premise4. D ? E                       Premise5. C ? E6. C ? A7. (C ? E) ? (A ? B)8. E ? B(6)Use the first eight rules of inference to derive the conclusion of the following symbolized argument (you can use another sheet of paper). If you can’t access the logical operation signs, just write “dot,” “wedge”, “horseshoe” or “triple bar” wherever applicable.1. ( W ? X ) ? ( Q ? R )2. ( S ? F ) ? ( Q ? W )3. ( S ? G ) ? ( ~ Q ? X )4. Q ? S5. ~ Q ? H                                  /    R