もうひとつ聞きたいことがあるのですが、ごちゃごちゃになりそうなのでまとめます。

①なぜ A/B は A→B とできるのに、A/∀xA は A→∀xA とできないのですか。
　ようするに、このようなことを引き起こしている、命題論理と述語論理の違いを教えてください。

②（証明できる論理式、つまり真な論理式を表す記号を ∧ とします。）
　　　　　　　　　　　　　　A→∧≡A　
の証明を教えてください。
その際、次の公理を使用してよいです。
　A→（B→A)