考えてみたが、集合がわからないので教えてください。
｢問題｣自然演繹法の推論規則を用いて、以下の定理を証明しろ。
(1)：├(P⊃(Q⊃R))⊃((P⊃Q)⊃(P⊃R))
(2)：P⊃Q├¬Q⊃¬P
(3)：├∃y∀xA(x)⊃∀x¬A(x)
(4)：├¬∃xA(x)⊃∀x¬A(x)

vdashを表現できないので├であらわしたが、正しい表現の仕方がわからなかった。
そこらへんも教えていただきたい。