求高手解答分析哲学问题求高手帮忙解答几个有关分析哲学的问题。本人手贱选错专业课，不想挂科啊。需要详细解答过程，一共五题，

求高手解答分析哲学问题
求高手帮忙解答几个有关分析哲学的问题。本人手贱选错专业课，不想挂科啊。需要详细解答过程，一共五题，报偿好好商量！
1.∀y（F（y）→ G（y））
∀y（H（y）→ G（y））
∴∀y（F（y）∨ H（y）→ G（y））

2.∀x（M（x）→ ∀y（N（y）→ H（x , y）））
∀y（N（y）→ I（y））
∴∀x（M（x）→ ∀y（N（y）→ H（x , y）∧ I（y）））

3.¬∀x（P（x）→ Q（x））
（2）∀x（P（x）→（S（x）→ Q（x）））
∴ ∃x ¬ S（x）

4.∀x（A（x）∨∃y（G（y）→ H（x , y）））
¬∃y ¬ G（y）
∴∀x（¬ A（x）→ ∃yH（x , y））

5.∃x（B（x）∨D（x））↔ ∃xB（x）∨∃xD（x）