In: Advanced Math
Construct a derivation (for the following argument) from the premise to the conclusion, only using these :(&I, &E, ∨I, ∨E, ≡ I, ≡ E ,⊃ I, ⊃ E,∼ I, ∼ E)
(a) Premise 1: W ⊃ X
Premise 2: X ⊃ Y
Premise 3: Y ⊃ Z
Premise 4: W
Conclusion: W & Z
(b)Premise 1: (A & B) ≡ C
Premise 2: A ≡ B
Conclusion: A ≡ C
(c)Premise 1: B ⊃ D
Premise 2: C ⊃ D
Conclusion: (B ∨ C) ⊃ D
(d) Premise 1: B ⊃ C
Conclusion: ∼ C ⊃∼ B