自然演繹法の推論規則を用いて、以下の定理を証明せよ。
(a)　(P⊃(Q⊃R))⊃((P⊃Q)⊃(P⊃R))
(b)　P⊃Q├¬Q⊃¬P
(c)　├∃y∀xP(x,y)⊃∀x∃yP(x,y)
(d)　├¬∃xA(x)⊃∀x¬A(x)