Derive conclusions using MP, MT, HS, DS, DM, DN and Simp write what method you are using and from which lines you obtained given letters. a) 1. - X...

Derive conclusions using MP, MT, HS, DS, DM, DN and Simp

write what method you are using and from which lines you obtained given letters. 

a)

1.                - X -> Y

2.                - X

___________

     3.

b)   

1.                - X -> ( - Y -> Z)

2.                - X

3.                - Y 

____________

     4.

     5.