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...